Instance | Result | Time | |
---|---|---|---|
s499_d2_s | SAT | 1.16 | |
s499_d3_s | SAT | 2.04 | |
s499_d4_s | SAT | 5.24 | |
s499_d5_s | SAT | 6.86 | |
s499_d9_s | SAT | 13.05 | |
s499_d6_s | SAT | 13.87 | |
s499_d8_s | SAT | 15.04 | |
s499_d7_s | SAT | 15.18 | |
s499_d10_s | SAT | 18.81 | |
s499_d11_s | SAT | 22.57 | |
s499_d14_s | SAT | 25.24 | |
s499_d12_s | SAT | 28.96 | |
s499_d15_s | SAT | 31.57 | |
s499_d13_s | SAT | 35.99 | |
s499_d21_s | FAIL | 600 | |
s499_d18_s | FAIL | 600 | |
s499_d20_s | FAIL | 600 | |
s499_d23_u | FAIL | 600 | |
s499_d22_u | FAIL | 600 | |
s499_d24_u | FAIL | 600 | |
s499_d25_u | FAIL | 600 | |
s499_d17_s | FAIL | 600 | |
s499_d16_s | FAIL | 600 | |
s499_d19_s | FAIL | 600 | |
s499_d26_u | FAIL | 600 |