QBF Solver Evaluation Portal
qbflib.orgSota solver results for family s510
QBFEVAL'08
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| s510_d10_s | QuBE6.1 | SAT | 70.08 |  |
| s510_d11_s | QuBE6.1 | SAT | 193.35 | |
| s510_d2_s | QuBE6.1 | SAT | 0.16 | |
| s510_d31_s | QuBE6.1 | SAT | 225.27 | |
| s510_d3_s | QuBE6.1 | SAT | 0.7 | |
| s510_d4_s | QuBE6.1 | SAT | 1.77 | |
| s510_d5_s | QuBE6.1 | SAT | 3.62 | |
| s510_d6_s | QuBE6.1 | SAT | 12.65 | |
| s510_d7_s | QuBE6.1 | SAT | 20.15 | |
| s510_d8_s | QuBE6.1 | SAT | 40.96 | |
| s510_d9_s | QuBE6.1 | SAT | 127.32 | |