Instance | Result | Time | |
---|---|---|---|
ci.e#1.a#3.E#40.A#60.c#288.w#6.s#2.asp | SAT | 9.63 | |
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#2.asp | UNSAT | 48.73 | |
ci.e#1.a#3.E#40.A#60.c#416.w#2.s#3.asp | UNSAT | 48.98 | |
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#1.asp | UNSAT | 156.41 | |
ci.e#1.a#3.E#40.A#60.c#384.w#6.s#8.asp | SAT | 222.98 | |
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#1.asp | FAIL | 900 |