Differences between revisions 2 and 7 (spanning 5 versions)
⇤ ← Revision 2 as of 2007-04-09 18:20:17 →
Size: 1077
Editor: fw
Comment:
← Revision 7 as of 2007-04-09 22:20:55 → ⇥
Size: 2246
Editor: yakko
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. However it appears that he implemented the correct procedure and other than the above it look good. 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.
Line 7: Line 7:
19    * testSimpleSat: Failed
   * testSimpleUnsat: Passed
   * testDiffUnsat: Passed
   * testDiff2Sat: Failed
   * testAddUnsat: Passed
   * testAddSat: Failed

Recommend: 18
Line 13: Line 20:
17    * testSimpleSat: Passed
   * testSimpleUnsat: Passed
   * testDiffUnsat: Passed
   * testDiff2Sat: Passed
   * testAddUnsat: Failed
   * testAddSat: Failed

Recommend: 17
Line 18: Line 32:
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. You only implemented difference constraints. But a very nice program interface!
Line 20: Line 34:
18    * testSimpleSat: Passed
   * testSimpleUnsat: Passed
   * testDiffUnsat: Passed
   * testDiff2Sat: Passed
   * testAddUnsat: Failed
   * testAddSat: Failed

4/6

Recommend: 18
Line 24: Line 47:
You only implemented difference constraints. Passes all difference tests. Fails x+y>=b tests and -x-y>=b tests. You only implemented difference constraints.
Line 26: Line 49:
18    * testSimpleSat: Passed
   * testSimpleUnsat: Passed
   * testDiffUnsat: Passed
   * testDiff2Sat: Passed
   * testAddUnsat: Failed
   * testAddSat: Failed

4/6

Recommend: 17
Line 30: Line 62:
You only implemented difference constraints. Passes all difference tests. Fails x+y>=b tests and -x-y>=b tests. You only implemented difference constraints.
Line 32: Line 64:
18    * testSimpleSat: Passed
   * testSimpleUnsat: Passed
   * testDiffUnsat: Passed
   * testDiff2Sat: Passed
   * testAddUnsat: Failed
   * testAddSat: Failed

Recommend: 17
Line 36: Line 75:
You only implemented difference constraints. Passes all difference tests. Fails x+y>=b tests and -x-y>=b tests. You only implemented difference constraints.
Line 38: Line 77:
18    * testSimpleSat: Passed
   * testSimpleUnsat: Passed
   * testDiffUnsat: Passed
   * testDiff2Sat: Passed
   * testAddUnsat: Failed
   * testAddSat: Failed


Recommend: 17
Line 42: Line 89:
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.
Line 44: Line 91:
18    * testSimpleSat: Passed
   * testSimpleUnsat: Passed
   * testDiffUnsat: Passed
   * testDiff2Sat: Passed
   * testAddUnsat: Failed
   * testAddSat: Failed

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)