Instance | Solver | Result | Time | |
---|---|---|---|---|
hex_hein_4x4_04 | Qute_default | SAT | 0 | |
hex_hein_4x4_06 | Hiqqer2019_1 | SAT | 46.63 | |
hex_hein_4x4_07 | Hiqqer2019_2 | SAT | 70.43 | |
hex_hein_4x4_09 | Hiqqer2019_1 | SAT | 3.27 | |
hex_hein_4x4_12 | Hiqqer2019_1 | SAT | 7.58 | |
hex_rand_6x6-20m-0 | Hiqqer2019_2 | SAT | 801.73 | |
hex_rand_6x6-20m-1 | Hiqqer2019_3 | SAT | 352.24 | |
hex_rand_6x6-20m-3 | Hiqqer2019_1 | SAT | 364.22 | |
hex_rand_6x6-20m-4 | Hiqqer2019_1 | UNSAT | 13.17 | |
hex_rand_6x6-20m-5 | Hiqqer2019_2 | SAT | 219.44 | |
hex_rand_6x6-20m-6 | Hiqqer2019_1 | SAT | 447.52 | |
hex_rand_6x6-20m-7 | Hiqqer2019_3 | UNSAT | 54.43 | |
hex_rand_6x6-20m-8 | Hiqqer2019_3 | UNSAT | 106.65 |