Differences between revisions 6 and 8 (spanning 2 versions)
Revision 6 as of 2007-04-09 22:19:10
Size: 2036
Editor: yakko
Comment:
Revision 8 as of 2007-04-09 22:29:05
Size: 2847
Editor: yakko
Comment:
Deletions are marked like this. Additions are marked like this.
Line 1: Line 1:
This is remarks for grading the project: Everyone except Hodges implemented the Gap-Graph algorithm for SAT p 175 in the book. This works great for Difference constraints, but not for Addition constraints. However everyone who turned that in did it right.

Hodges has some problems and I'd like to talk to him(I think its a him) about it. I gave him an 18because it appears like he tried to do the right algorithm. If he can show me where I need to change my tests to suit his solution I'll give him a 20. Yue went above and beyond with his interface. It looks really nice! Even though he only implemented difference constraints I gave him an 18 (90%). Everyone else got 17. If you want to bump them up than please do the same for Yue.
Line 7: Line 9:
testSimpleSat: Failed
testSimpleUnsat: Passed
testDiffUnsat: Passed
testDiff2Sat: Failed
testAddUnsat: Passed
testAddSat: Failed
   * testSimpleSat: Failed
   * testSimpleUnsat: Passed
   * testDiffUnsat: Passed
   * testDiff2Sat: Failed
   * testAddUnsat: Passed
   * testAddSat: Failed
Line 18: Line 20:
Implemented the book sat method which only does difference constraints. You only implemented difference constraints.
Line 20: Line 22:
testSimpleSat: Passed
testSimpleUnsat: Passed
testDiffUnsat: Passed
testDiff2Sat: Passed
testAddUnsat: Failed
testAddSat: Failed
   * testSimpleSat: Passed
   * testSimpleUnsat: Passed
   * testDiffUnsat: Passed
   * testDiff2Sat: Passed
   * testAddUnsat: Failed
   * testAddSat: Failed
Line 34: Line 36:
testSimpleSat: Passed
testSimpleUnsat: Passed
testDiffUnsat: Passed
testDiff2Sat: Passed
testAddUnsat: Failed
testAddSat: Failed
   * testSimpleSat: Passed
   * testSimpleUnsat: Passed
   * testDiffUnsat: Passed
   * testDiff2Sat: Passed
   * testAddUnsat: Failed
   * testAddSat: Failed
Line 49: Line 51:
testSimpleSat: Passed
testSimpleUnsat: Passed
testDiffUnsat: Passed
testDiff2Sat: Passed
testAddUnsat: Failed
testAddSat: Failed
   * testSimpleSat: Passed
   * testSimpleUnsat: Passed
   * testDiffUnsat: Passed
   * testDiff2Sat: Passed
   * testAddUnsat: Failed
   * testAddSat: Failed
Line 64: Line 66:
testSimpleSat: Passed
testSimpleUnsat: Passed
testDiffUnsat: Passed
testDiff2Sat: Passed
testAddUnsat: Failed
testAddSat: Failed
   * testSimpleSat: Passed
   * testSimpleUnsat: Passed
   * testDiffUnsat: Passed
   * testDiff2Sat: Passed
   * testAddUnsat: Failed
   * testAddSat: Failed
Line 77: Line 79:
testSimpleSat: Passed
testSimpleUnsat: Passed
testDiffUnsat: Passed
testDiff2Sat: Passed
testAddUnsat: Failed
testAddSat: Failed
   * testSimpleSat: Passed
   * testSimpleUnsat: Passed
   * testDiffUnsat: Passed
   * testDiff2Sat: Passed
   * testAddUnsat: Failed
   * testAddSat: Failed
Line 89: Line 91:
You only implemented difference constraints. Passes all difference tests. You only implemented difference constraints.
Line 91: Line 93:
testSimpleSat: Passed
testSimpleUnsat: Passed
testDiffUnsat: Passed
testDiff2Sat: Passed
testAddUnsat: Failed
testAddSat: Failed
   * testSimpleSat: Passed
   * testSimpleUnsat: Passed
   * testDiffUnsat: Passed
   * testDiff2Sat: Passed
   * testAddUnsat: Failed
   * testAddSat: Failed

Everyone except Hodges implemented the Gap-Graph algorithm for SAT p 175 in the book. This works great for Difference constraints, but not for Addition constraints. However everyone who turned that in did it right.

Hodges has some problems and I'd like to talk to him(I think its a him) about it. I gave him an 18because it appears like he tried to do the right algorithm. If he can show me where I need to change my tests to suit his solution I'll give him a 20. Yue went above and beyond with his interface. It looks really nice! Even though he only implemented difference constraints I gave him an 18 (90%). Everyone else got 17. If you want to bump them up than please do the same for Yue.

Hodges

Apparently you implemented <= instead of >=. This should not be a problem, however the satisfiable tests fail. It appears that you implemented the correct procedure (SAT for Addition constraints not just difference constraints) and other than the above it look good. I would like to see you about a possible better grade. If you can show me that you can modify my tests to pass, I'll give you a 20/20.

  • testSimpleSat: Failed
  • testSimpleUnsat: Passed
  • testDiffUnsat: Passed
  • testDiff2Sat: Failed
  • testAddUnsat: Passed
  • testAddSat: Failed

Recommend: 18

Augustyn

You only implemented difference constraints.

  • testSimpleSat: Passed
  • testSimpleUnsat: Passed
  • testDiffUnsat: Passed
  • testDiff2Sat: Passed
  • testAddUnsat: Failed
  • testAddSat: Failed

Recommend: 17

Yue

You only implemented difference constraints. But a very nice program interface!

  • testSimpleSat: Passed
  • testSimpleUnsat: Passed
  • testDiffUnsat: Passed
  • testDiff2Sat: Passed
  • testAddUnsat: Failed
  • testAddSat: Failed

4/6

Recommend: 18

Sadofsky

You only implemented difference constraints.

  • testSimpleSat: Passed
  • testSimpleUnsat: Passed
  • testDiffUnsat: Passed
  • testDiff2Sat: Passed
  • testAddUnsat: Failed
  • testAddSat: Failed

4/6

Recommend: 17

Neo

You only implemented difference constraints.

  • testSimpleSat: Passed
  • testSimpleUnsat: Passed
  • testDiffUnsat: Passed
  • testDiff2Sat: Passed
  • testAddUnsat: Failed
  • testAddSat: Failed

Recommend: 17

Miao

You only implemented difference constraints.

  • testSimpleSat: Passed
  • testSimpleUnsat: Passed
  • testDiffUnsat: Passed
  • testDiff2Sat: Passed
  • testAddUnsat: Failed
  • testAddSat: Failed

Recommend: 17

Ramsey

You only implemented difference constraints.

  • testSimpleSat: Passed
  • testSimpleUnsat: Passed
  • testDiffUnsat: Passed
  • testDiff2Sat: Passed
  • testAddUnsat: Failed
  • testAddSat: Failed

Recommend: 17

Cse913ProjS107 (last edited 2007-04-09 22:32:46 by yakko)