QBF Solver Evaluation Portal
qbflib.orgUnique instances for rareqs
QBFEVAL'16 - Prenex CNF Track.
| Instance | Time | Result |
|---|---|---|
| query42_query06_1344n | 34.26 | UNSAT |
| c2_Debug_s3_f2_e1_v3 | 281.05 | SAT |
| c1_Debug_s5_f1_e1_v2 | 544.76 | SAT |
| Instance | Time | Result |
|---|---|---|
| query42_query06_1344n | 34.26 | UNSAT |
| c2_Debug_s3_f2_e1_v3 | 281.05 | SAT |
| c1_Debug_s5_f1_e1_v2 | 544.76 | SAT |