Instance | Solver | Result | Time | |
---|---|---|---|---|
hex_hein_4x4_04 | Cued_3_2018 | SAT | 0 | |
hex_hein_4x4_06 | Heretiq-cube | SAT | 57.54 | |
hex_hein_4x4_07 | Caqe-bloqqer | SAT | 155.33 | |
hex_hein_4x4_09 | depqbf_prefix_opt_qdo | SAT | 4.15 | |
hex_hein_4x4_12 | depqbf_prefix_opt_qdo | SAT | 11.21 | |
hex_rand_6x6-20m-4 | Heretiq-cube | UNSAT | 47.56 | |
hex_rand_6x6-20m-5 | Caqe-bloqqer-qdo | SAT | 455.47 | |
hex_rand_6x6-20m-6 | Caqe-bloqqer | SAT | 784.57 | |
hex_rand_6x6-20m-7 | Heretiq-cube | UNSAT | 107.07 | |
hex_rand_6x6-20m-8 | Heretiq-cube | UNSAT | 298.68 |