QBF Solver Evaluation Portal
qbflib.orgInstances of family s510 solved by QuBE7
QBFEVAL'10 - Competitive Track.
| Instance | Result | Time | |
|---|---|---|---|
| s510_d4_s | SAT | 172.54 | |
| s510_d12_s | FAIL | 1200.06 | |
| s510_d31_s | FAIL | 1200.11 |
| Instance | Result | Time | |
|---|---|---|---|
| s510_d4_s | SAT | 172.54 | |
| s510_d12_s | FAIL | 1200.06 | |
| s510_d31_s | FAIL | 1200.11 |