Differences between revisions 5 and 6
Revision 5 as of 2007-04-09 22:18:20
Size: 2037
Editor: yakko
Comment:
Revision 6 as of 2007-04-09 22:19:10
Size: 2036
Editor: yakko
Comment:
Deletions are marked like this. Additions are marked like this.
Line 27: Line 27:
Recommend: 18 Recommend: 17
Line 43: Line 43:
Recommend: 19 Recommend: 18
Line 58: Line 58:
Recommend: 18 Recommend: 17
Line 71: Line 71:
Recommend: 18 Recommend: 17
Line 85: Line 85:
Recommend: 18 Recommend: 17
Line 98: Line 98:
Recommend: 18 Recommend: 17

This is remarks for grading the project:

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

Implemented the book sat method which only does 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. Passes all difference tests.

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)