QBF Solver Evaluation Portal
qbflib.orgUnique instances for ASPQ2
QBFEVAL'17 - Prenex 2QBF Track
| Instance | Time | Result |
|---|---|---|
| ctrl.e#1.a#3.E#118.A#48.c#.w#5.s#7.asp | 14.3 | SAT |
| ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#7.asp | 83.86 | SAT |
| ctrl.e#1.a#3.E#134.A#48.c#.w#9.s#40.asp | 371.5 | SAT |
| ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#60.asp | 282.25 | SAT |
| ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#60.asp | 8.34 | SAT |
| ctrl.e#1.a#3.E#128.A#48.c#.w#9.s#1.asp | 188.03 | SAT |