QBF Solver Evaluation Portal
qbflib.orgInstances of family s510 solved by QuBE6.1
QBFEVAL'08
| Instance | Result | Time | |
|---|---|---|---|
| s510_d2_s | SAT | 0.16 | |
| s510_d3_s | SAT | 0.7 | |
| s510_d4_s | SAT | 1.77 | |
| s510_d5_s | SAT | 3.62 | |
| s510_d6_s | SAT | 12.65 | |
| s510_d7_s | SAT | 20.15 | |
| s510_d8_s | SAT | 40.96 | |
| s510_d10_s | SAT | 70.08 | |
| s510_d9_s | SAT | 127.32 | |
| s510_d11_s | SAT | 193.35 | |
| s510_d31_s | SAT | 225.27 | |
| s510_d47_u | FAIL | 600 | |
| s510_d12_s | FAIL | 600 | |
| s510_d30_s | FAIL | 600 | |
| s510_d40_s | FAIL | 600 | |
| s510_d23_s | FAIL | 600 | |
| s510_d16_s | FAIL | 600 | |
| s510_d17_s | FAIL | 600 | |
| s510_d39_s | FAIL | 600 | |
| s510_d13_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_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_d48_u | 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 |