Instance | Result | Time | |
---|---|---|---|
s499_d2_s | SAT | 0.11 | |
s499_d3_s | SAT | 0.77 | |
s499_d4_s | SAT | 2.57 | |
s499_d5_s | SAT | 4.45 | |
s499_d9_s | SAT | 10.35 | |
s499_d6_s | SAT | 11.25 | |
s499_d8_s | SAT | 12.33 | |
s499_d7_s | SAT | 12.38 | |
s499_d10_s | SAT | 16 | |
s499_d11_s | SAT | 19.98 | |
s499_d14_s | SAT | 22.52 | |
s499_d12_s | SAT | 26.65 | |
s499_d15_s | SAT | 28.57 | |
s499_d13_s | SAT | 33.35 | |
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 | |
s499_d21_s | FAIL | 600 | |
s499_d18_s | FAIL | 600 | |
s499_d20_s | FAIL | 600 | |
s499_d23_u | FAIL | 600 |