QBF Solver Evaluation Portal
qbflib.orgUnique instances for QuAbS_2017
QBFEVAL'17 - Prenex non-CNF Track
| Instance | Time | Result |
|---|---|---|
| k_branch_p-16 | 8.01 | UNSAT |
| k_branch_n-12 | 98.77 | SAT |
| k_branch_n-10 | 15.77 | SAT |
| Umbrella_tbm_05.tex.module.000039 | 469.89 | SAT |
| ci.e#1.a#3.E#40.A#60.c#304.w#4.s#7.asp | 355.82 | SAT |
| ci.e#1.a#3.E#40.A#60.c#304.w#6.s#8.asp | 129.64 | SAT |
| JP-sat-03-09-4 | 857.39 | UNSAT |