Differences between revisions 3 and 10 (spanning 7 versions)
⇤ ← Revision 3 as of 2007-04-09 22:03:16 →
Size: 1705
Editor: yakko
Comment:
← Revision 10 as of 2007-04-09 22:32:46 → ⇥
Size: 2948
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.5 (90%). Everyone else got 18. If you want to bump them down by 1 than please bump Yue down .5 points.

Of course for those that didn't turn it in... 0.
Line 5: Line 9:
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 11:
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 14: Line 18:
3/6 3/6*
Line 16: Line 20:
18 Recommend: 18
Line 20: Line 24:
Implemented the book sat method which only does difference constraints. You only implemented difference constraints.
Line 22: Line 26:
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 31: Line 35:
17 Recommend: 18
Line 36: Line 40:
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 38: Line 42:
testSimpleSat: Passed
testSimpleUnsat: Failed
testDiffUnsat: Failed
testDiff2Sat: Passed		    * testSimpleSat: Passed
   * testSimpleUnsat: Passed
   * testDiffUnsat: Passed
   * testDiff2Sat: Passed
   * testAddUnsat: Failed
   * testAddSat: Failed
Line 43: Line 49:
Although I'm not absolutely certain, I belive you are not reaching a fixpoint when you use log10 in the satisfiable method. 4/6
Line 45: Line 51:
2/6

18 		Recommend: 18.5
Line 51: Line 55:
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 53: Line 57:
18    * testSimpleSat: Passed
   * testSimpleUnsat: Passed
   * testDiffUnsat: Passed
   * testDiff2Sat: Passed
   * testAddUnsat: Failed
   * testAddSat: Failed

4/6

Recommend: 18
Line 59: Line 72:
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 66: Line 79:
18 4/6

Recommend: 18
Line 72: Line 87:
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 79: Line 94:
4/6
Line 80: Line 96:
18 Recommend: 18
Line 84: Line 100:
You only implemented difference constraints. Passes all difference tests. You only implemented difference constraints.
Line 86: Line 102:
   * testSimpleSat: Passed
   * testSimpleUnsat: Passed
   * testDiffUnsat: Passed
   * testDiff2Sat: Passed
   * testAddUnsat: Failed
   * testAddSat: Failed
Line 87: Line 109:
4/6
Line 88: Line 111:
18 Recommend: 18

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.5 (90%). Everyone else got 18. If you want to bump them down by 1 than please bump Yue down .5 points.

Of course for those that didn't turn it in... 0.

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

3/6*

Recommend: 18

Augustyn

You only implemented difference constraints.

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

4/6

Recommend: 18

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.5

Sadofsky

You only implemented difference constraints.

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

4/6

Recommend: 18

Neo

You only implemented difference constraints.

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

4/6

Recommend: 18

Miao

You only implemented difference constraints.

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

4/6

Recommend: 18

Ramsey

You only implemented difference constraints.

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

4/6

Recommend: 18

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