QBF Solver Evaluation Portal
qbflib.orgInstances of family Model_instances solved by Qute_hybrid
QBFEVAL'17 - Prenex non-CNF Track
| Instance | Result | Time | |
|---|---|---|---|
| ci.e#1.a#3.E#40.A#60.c#208.w#6.s#8.asp | SAT | 0.17 | |
| ci.e#1.a#3.E#40.A#60.c#424.w#2.s#1.asp | UNSAT | 3.65 | |
| ci.e#1.a#3.E#40.A#60.c#432.w#2.s#8.asp | UNSAT | 5.22 | |
| ci.e#1.a#3.E#40.A#60.c#400.w#2.s#1.asp | UNSAT | 16.17 | |
| ci.e#1.a#3.E#40.A#60.c#416.w#2.s#3.asp | UNSAT | 20.27 | |
| ci.e#1.a#3.E#40.A#60.c#200.w#6.s#6.asp | SAT | 653.45 | |
| ci.e#1.a#3.E#40.A#60.c#312.w#2.s#3.asp | FAIL | 877.11 | |
| ci.e#1.a#3.E#40.A#60.c#280.w#6.s#7.asp | FAIL | 877.21 | |
| ci.e#1.a#3.E#40.A#60.c#264.w#4.s#2.asp | FAIL | 877.32 | |
| ci.e#1.a#3.E#40.A#60.c#296.w#6.s#7.asp | FAIL | 877.38 | |
| ci.e#1.a#3.E#40.A#60.c#288.w#4.s#8.asp | FAIL | 877.42 | |
| ci.e#1.a#3.E#40.A#60.c#304.w#4.s#7.asp | FAIL | 877.51 | |
| ci.e#1.a#3.E#40.A#60.c#320.w#4.s#8.asp | FAIL | 877.81 | |
| ci.e#1.a#3.E#40.A#60.c#376.w#2.s#4.asp | FAIL | 877.81 | |
| ci.e#1.a#3.E#40.A#60.c#344.w#4.s#5.asp | FAIL | 877.87 | |
| ci.e#1.a#3.E#40.A#60.c#304.w#6.s#8.asp | FAIL | 878.01 | |
| ci.e#1.a#3.E#40.A#60.c#336.w#4.s#5.asp | FAIL | 878.12 | |
| ci.e#1.a#3.E#40.A#60.c#384.w#6.s#8.asp | FAIL | 878.5 | |
| ci.e#1.a#3.E#40.A#60.c#392.w#6.s#4.asp | FAIL | 878.71 | |
| ci.e#1.a#3.E#40.A#60.c#408.w#4.s#3.asp | FAIL | 879.06 |