Instance | Result | Time | |
---|---|---|---|
s510_d2_s | SAT | 1.36 | |
s510_d3_s | SAT | 3.14 | |
s510_d4_s | SAT | 4.52 | |
s510_d5_s | SAT | 6.14 | |
s510_d6_s | SAT | 15.43 | |
s510_d7_s | SAT | 22.9 | |
s510_d8_s | SAT | 42.84 | |
s510_d10_s | SAT | 73.18 | |
s510_d31_s | FAIL | 599.24 | |
s510_d32_s | FAIL | 599.6 | |
s510_d33_s | FAIL | 599.66 | |
s510_d34_s | FAIL | 599.81 | |
s510_d36_s | FAIL | 599.97 | |
s510_d35_s | FAIL | 600 | |
s510_d16_s | FAIL | 600 | |
s510_d17_s | FAIL | 600 | |
s510_d39_s | FAIL | 600 | |
s510_d9_s | FAIL | 600 | |
s510_d13_s | FAIL | 600 | |
s510_d19_s | FAIL | 600 | |
s510_d15_s | FAIL | 600 | |
s510_d43_s | FAIL | 600 | |
s510_d24_s | FAIL | 600 | |
s510_d29_s | FAIL | 600 | |
s510_d26_s | FAIL | 600 | |
s510_d42_s | FAIL | 600 | |
s510_d20_s | FAIL | 600 | |
s510_d21_s | FAIL | 600 | |
s510_d37_s | FAIL | 600 | |
s510_d25_s | FAIL | 600 | |
s510_d48_u | FAIL | 600 | |
s510_d11_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_d23_s | FAIL | 600 |