QBF Solver Evaluation Portal
qbflib.orgSota solver results for family s499
QBFEVAL'08
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| s499_d10_s | QuBE6.1 | SAT | 16 |  |
| s499_d11_s | QuBE6.1 | SAT | 19.98 | |
| s499_d12_s | QuBE6.1 | SAT | 26.65 | |
| s499_d13_s | QuBE6.1 | SAT | 33.35 | |
| s499_d14_s | QuBE6.1 | SAT | 22.52 | |
| s499_d15_s | QuBE6.1 | SAT | 28.57 | |
| s499_d2_s | QuBE6.1 | SAT | 0.11 | |
| s499_d3_s | QuBE6.1 | SAT | 0.77 | |
| s499_d4_s | QuBE6.1 | SAT | 2.57 | |
| s499_d5_s | QuBE6.1 | SAT | 4.45 | |
| s499_d6_s | QuBE6.1 | SAT | 11.25 | |
| s499_d7_s | QuBE6.1 | SAT | 12.38 | |
| s499_d8_s | QuBE6.1 | SAT | 12.33 | |
| s499_d9_s | QuBE6.1 | SAT | 10.35 | |