QBF Solver Evaluation Portal
qbflib.orgSota solver results for family Model_instances
QBFEVAL'18 - Hard Instances Track
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| ci.e#1.a#3.E#40.A#60.c#336.w#4.s#5.asp | aspq3_hit18 | SAT | 110.11 |  |
| ci.e#1.a#3.E#40.A#60.c#352.w#4.s#8.asp | aspq3_hit18 | SAT | 482.77 | |
| ci.e#1.a#3.E#40.A#60.c#368.w#2.s#3.asp | caqe_hit18 | SAT | 1082.94 | |
| ci.e#1.a#3.E#40.A#60.c#368.w#2.s#7.asp | caqe_hit18 | SAT | 705.34 | |
| ci.e#1.a#3.E#40.A#60.c#368.w#6.s#7.asp | depqbf_hit18 | SAT | 2124.11 | |
| ci.e#1.a#3.E#40.A#60.c#376.w#2.s#4.asp | caqe_hit18 | SAT | 2805.81 | |
| ci.e#1.a#3.E#40.A#60.c#376.w#4.s#3.asp | aspq3_hit18 | SAT | 3326.88 | |
| ci.e#1.a#3.E#40.A#60.c#376.w#4.s#6.asp | aspq3_hit18 | SAT | 1005.78 | |