|
Size: 1077
Comment:
|
Size: 1705
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 7: | Line 7: |
| 19 | testSimpleSat: Failed testSimpleUnsat: Passed testDiffUnsat: Passed testDiff2Sat: Failed testAddUnsat: Passed testAddSat: Failed 3/6 18 |
| Line 12: | Line 21: |
testSimpleSat: Passed testSimpleUnsat: Passed testDiffUnsat: Passed testDiff2Sat: Passed testAddUnsat: Failed testAddSat: Failed 4/6 |
|
| Line 19: | Line 37: |
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 |
|
| Line 30: | Line 57: |
| You only implemented difference constraints. Passes all difference tests. Fails x+y>=b tests and -x-y>=b tests. | You only implemented difference constraints. testSimpleSat: Passed testSimpleUnsat: Passed testDiffUnsat: Passed testDiff2Sat: Passed testAddUnsat: Failed testAddSat: Failed |
| Line 36: | Line 70: |
| You only implemented difference constraints. Passes all difference tests. Fails x+y>=b tests and -x-y>=b tests. | You only implemented difference constraints. testSimpleSat: Passed testSimpleUnsat: Passed testDiffUnsat: Passed testDiff2Sat: Passed testAddUnsat: Failed testAddSat: Failed |
| Line 42: | Line 84: |
| You only implemented difference constraints. Passes all difference tests. Fails x+y>=b tests and -x-y>=b tests. | You only implemented difference constraints. Passes all difference tests. |
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