QBF Solver Evaluation Portal
qbflib.orgUnique instances for QuBE7
QBFEVAL'10 - Competitive Track.
| Instance | Time | Result |
|---|---|---|
| ev-pr-4x4-17-3-0-0-1-s | 169.84 | SAT |
| ev-pr-4x4-11-3-0-0-1-s | 81.88 | SAT |
| ev-pr-4x4-15-3-0-0-1-s | 137.85 | SAT |
| k_ph_p-12 | 620.26 | UNSAT |
| ev-pr-4x4-9-3-0-0-1-s | 58.48 | SAT |
| ev-pr-4x4-7-3-0-0-1-s | 36.76 | SAT |
| ii8d1-00 | 180.1 | SAT |
| k_ph_p-11 | 21.36 | UNSAT |
| ev-pr-4x4-13-3-0-0-1-s | 96.1 | SAT |