Instance | Result | Time | |
---|---|---|---|
ci.e#1.a#3.E#40.A#60.c#368.w#6.s#7.asp | SAT | 2124.11 | |
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#7.asp | FAIL | 3600 | |
ci.e#1.a#3.E#40.A#60.c#376.w#6.s#7.asp | FAIL | 3600 | |
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#8.asp | FAIL | 3600 | |
ci.e#1.a#3.E#40.A#60.c#392.w#6.s#4.asp | FAIL | 3600 | |
ci.e#1.a#3.E#40.A#60.c#400.w#4.s#5.asp | FAIL | 3600 | |
ci.e#1.a#3.E#40.A#60.c#376.w#2.s#4.asp | FAIL | 3600 | |
ci.e#1.a#3.E#40.A#60.c#400.w#6.s#4.asp | FAIL | 3600 | |
ci.e#1.a#3.E#40.A#60.c#336.w#4.s#5.asp | FAIL | 3600 | |
ci.e#1.a#3.E#40.A#60.c#376.w#2.s#5.asp | FAIL | 3600 | |
ci.e#1.a#3.E#40.A#60.c#408.w#4.s#3.asp | FAIL | 3600 | |
ci.e#1.a#3.E#40.A#60.c#352.w#4.s#8.asp | FAIL | 3600 | |
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#1.asp | FAIL | 3600 | |
ci.e#1.a#3.E#40.A#60.c#424.w#4.s#2.asp | FAIL | 3600 | |
ci.e#1.a#3.E#40.A#60.c#360.w#4.s#1.asp | FAIL | 3600 | |
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#3.asp | FAIL | 3600 | |
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#3.asp | FAIL | 3600 | |
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#6.asp | FAIL | 3600 |