QBF Solver Evaluation Portal
qbflib.orgInstances of family s510 solved by quantor3.0
QBFEVAL'08
| Instance | Result | Time | |
|---|---|---|---|
| s510_d2_s | SAT | 0.97 | |
| s510_d3_s | FAIL | 191.06 | |
| s510_d4_s | FAIL | 419.72 | |
| s510_d16_s | FAIL | 600 | |
| s510_d17_s | FAIL | 600 | |
| s510_d39_s | FAIL | 600 | |
| s510_d9_s | FAIL | 600 | |
| s510_d6_s | FAIL | 600 | |
| s510_d13_s | FAIL | 600 | |
| s510_d10_s | FAIL | 600 | |
| s510_d36_s | FAIL | 600 | |
| s510_d19_s | FAIL | 600 | |
| s510_d15_s | FAIL | 600 | |
| s510_d43_s | FAIL | 600 | |
| s510_d32_s | FAIL | 600 | |
| s510_d31_s | FAIL | 600 | |
| s510_d24_s | FAIL | 600 | |
| s510_d29_s | FAIL | 600 | |
| s510_d34_s | FAIL | 600 | |
| s510_d35_s | FAIL | 600 | |
| s510_d26_s | FAIL | 600 | |
| s510_d42_s | FAIL | 600 | |
| s510_d20_s | FAIL | 600 | |
| s510_d33_s | FAIL | 600 | |
| s510_d21_s | FAIL | 600 | |
| s510_d37_s | FAIL | 600 | |
| s510_d25_s | FAIL | 600 | |
| s510_d8_s | FAIL | 600 | |
| s510_d48_u | FAIL | 600 | |
| s510_d11_s | FAIL | 600 | |
| s510_d5_s | FAIL | 600 | |
| s510_d50_u | FAIL | 600 | |
| s510_d28_s | FAIL | 600 | |
| s510_d46_s | FAIL | 600 | |
| s510_d49_u | FAIL | 600 | |
| s510_d45_s | FAIL | 600 | |
| s510_d44_s | FAIL | 600 | |
| s510_d22_s | FAIL | 600 | |
| s510_d41_s | FAIL | 600 | |
| s510_d51_u | FAIL | 600 | |
| s510_d14_s | FAIL | 600 | |
| s510_d38_s | FAIL | 600 | |
| s510_d27_s | FAIL | 600 | |
| s510_d18_s | FAIL | 600 | |
| s510_d47_u | FAIL | 600 | |
| s510_d12_s | FAIL | 600 | |
| s510_d30_s | FAIL | 600 | |
| s510_d40_s | FAIL | 600 | |
| s510_d7_s | FAIL | 600 | |
| s510_d23_s | FAIL | 600 |