QBF Solver Evaluation Portal
qbflib.orgInstances of family s510 solved by Nenofex
QBFEVAL'08
| Instance | Result | Time | |
|---|---|---|---|
| s510_d32_s | FAIL | 146.69 | |
| s510_d34_s | FAIL | 148.3 | |
| s510_d31_s | FAIL | 149 | |
| s510_d30_s | FAIL | 149.88 | |
| s510_d33_s | FAIL | 150.57 | |
| s510_d35_s | FAIL | 150.84 | |
| s510_d27_s | FAIL | 151.53 | |
| s510_d28_s | FAIL | 151.62 | |
| s510_d26_s | FAIL | 152.66 | |
| s510_d37_s | FAIL | 154.82 | |
| s510_d38_s | FAIL | 155.43 | |
| s510_d36_s | FAIL | 156.46 | |
| s510_d39_s | FAIL | 156.83 | |
| s510_d40_s | FAIL | 158.98 | |
| s510_d41_s | FAIL | 160.24 | |
| s510_d42_s | FAIL | 161.33 | |
| s510_d43_s | FAIL | 161.81 | |
| s510_d51_u | FAIL | 162.13 | |
| s510_d44_s | FAIL | 162.18 | |
| s510_d45_s | FAIL | 162.73 | |
| s510_d50_u | FAIL | 162.75 | |
| s510_d49_u | FAIL | 163.35 | |
| s510_d47_u | FAIL | 163.98 | |
| s510_d48_u | FAIL | 164.14 | |
| s510_d46_s | FAIL | 164.89 | |
| s510_d29_s | FAIL | 193.97 | |
| s510_d2_s | FAIL | 351.87 | |
| s510_d6_s | FAIL | 481.67 | |
| s510_d4_s | FAIL | 494.28 | |
| s510_d19_s | FAIL | 556.71 | |
| s510_d20_s | FAIL | 566.96 | |
| s510_d10_s | FAIL | 581.18 | |
| s510_d22_s | FAIL | 600 | |
| s510_d14_s | FAIL | 600 | |
| s510_d18_s | FAIL | 600 | |
| s510_d12_s | FAIL | 600 | |
| s510_d7_s | FAIL | 600 | |
| s510_d23_s | FAIL | 600 | |
| s510_d16_s | FAIL | 600 | |
| s510_d3_s | FAIL | 600 | |
| s510_d17_s | FAIL | 600 | |
| s510_d9_s | FAIL | 600 | |
| s510_d13_s | FAIL | 600 | |
| s510_d15_s | FAIL | 600 | |
| s510_d24_s | FAIL | 600 | |
| s510_d21_s | FAIL | 600 | |
| s510_d25_s | FAIL | 600 | |
| s510_d8_s | FAIL | 600 | |
| s510_d11_s | FAIL | 600 | |
| s510_d5_s | FAIL | 600 |