|
Size: 260
Comment:
|
Size: 1705
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 5: | Line 5: |
| Apparently implemented <= instead of >=. Consequently one of my simple tests does not run. | Apparently implemented <= instead of >=. Consequently one of my simple tests does not run. However it appears that he implemented the correct procedure and other than the above it look good. testSimpleSat: Failed testSimpleUnsat: Passed testDiffUnsat: Passed testDiff2Sat: Failed testAddUnsat: Passed testAddSat: Failed 3/6 |
| Line 13: | Line 22: |
| testSimpleSat: Passed testSimpleUnsat: Passed testDiffUnsat: Passed testDiff2Sat: Passed testAddUnsat: Failed testAddSat: Failed 4/6 |
|
| Line 15: | Line 33: |
== Yue == You only implemented difference constraints. But a very nice program interface! Passes all difference tests. Fails x+y>=b tests and -x-y>=b tests. testSimpleSat: Passed testSimpleUnsat: Failed testDiffUnsat: Failed testDiff2Sat: Passed Although I'm not absolutely certain, I belive you are not reaching a fixpoint when you use log10 in the satisfiable method. 2/6 18 == Sadofsky == You only implemented difference constraints. Passes all difference tests. Fails x+y>=b tests and -x-y>=b tests. 18 == Neo == You only implemented difference constraints. testSimpleSat: Passed testSimpleUnsat: Passed testDiffUnsat: Passed testDiff2Sat: Passed testAddUnsat: Failed testAddSat: Failed 18 == Miao == You only implemented difference constraints. testSimpleSat: Passed testSimpleUnsat: Passed testDiffUnsat: Passed testDiff2Sat: Passed testAddUnsat: Failed testAddSat: Failed 18 == Ramsey == You only implemented difference constraints. Passes all difference tests. 18 |
This is remarks for grading the project:
Hodges
Apparently implemented <= instead of >=. Consequently one of my simple tests does not run. However it appears that he implemented the correct procedure and other than the above it look good.
testSimpleSat: Failed testSimpleUnsat: Passed testDiffUnsat: Passed testDiff2Sat: Failed testAddUnsat: Passed testAddSat: Failed
3/6
18
Augustyn
Implemented the book sat method which only does difference constraints.
testSimpleSat: Passed testSimpleUnsat: Passed testDiffUnsat: Passed testDiff2Sat: Passed testAddUnsat: Failed testAddSat: Failed
4/6
17
Yue
You only implemented difference constraints. But a very nice program interface! Passes all difference tests. Fails x+y>=b tests and -x-y>=b tests.
testSimpleSat: Passed testSimpleUnsat: Failed testDiffUnsat: Failed testDiff2Sat: Passed
Although I'm not absolutely certain, I belive you are not reaching a fixpoint when you use log10 in the satisfiable method.
2/6
18
Sadofsky
You only implemented difference constraints. Passes all difference tests. Fails x+y>=b tests and -x-y>=b tests.
18
Neo
You only implemented difference constraints.
testSimpleSat: Passed testSimpleUnsat: Passed testDiffUnsat: Passed testDiff2Sat: Passed testAddUnsat: Failed testAddSat: Failed
18
Miao
You only implemented difference constraints.
testSimpleSat: Passed testSimpleUnsat: Passed testDiffUnsat: Passed testDiff2Sat: Passed testAddUnsat: Failed testAddSat: Failed
18
Ramsey
You only implemented difference constraints. Passes all difference tests.
18