QBF Solver Evaluation Portal
qbflib.orgInstances of family Model_instances solved by aspq3_hit18
QBFEVAL'18 - Hard Instances Track
| Instance | Result | Time | |
|---|---|---|---|
| ci.e#1.a#3.E#40.A#60.c#336.w#4.s#5.asp | SAT | 110.11 | |
| ci.e#1.a#3.E#40.A#60.c#352.w#4.s#8.asp | SAT | 482.77 | |
| ci.e#1.a#3.E#40.A#60.c#376.w#4.s#6.asp | SAT | 1005.78 | |
| ci.e#1.a#3.E#40.A#60.c#376.w#4.s#3.asp | SAT | 3326.88 | |
| 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#368.w#6.s#7.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#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#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#368.w#2.s#3.asp | FAIL | 3600 | |
| 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 |