QBF Solver Evaluation Portal
qbflib.orgInstances of family Model_instances solved by depqbf_pre_QxQBH
QBFEVAL'19 - Prenex CNF Track
| Instance | Result | Time | |
|---|---|---|---|
| ci.e#1.a#3.E#40.A#60.c#416.w#2.s#3.asp | UNSAT | 416.66 | |
| ci.e#1.a#3.E#40.A#60.c#400.w#2.s#1.asp | UNSAT | 492.22 | |
| ci.e#1.a#3.E#40.A#60.c#408.w#2.s#1.asp | UNSAT | 580.16 | |
| ci.e#1.a#3.E#40.A#60.c#288.w#6.s#2.asp | FAIL | 900.01 | |
| ci.e#1.a#3.E#40.A#60.c#408.w#2.s#2.asp | FAIL | 900.02 | |
| ci.e#1.a#3.E#40.A#60.c#384.w#6.s#8.asp | FAIL | 900.07 |