Instance | Solver | Result | Time | |
---|---|---|---|---|
hex_hein_4x4_04 | prefix-opt-depqbf | SAT | 0 | |
hex_hein_4x4_06 | heretiq | SAT | 57.05 | |
hex_hein_4x4_07 | heretiq | SAT | 300.1 | |
hex_hein_4x4_09 | prefix-opt-depqbf | SAT | 4.97 | |
hex_hein_4x4_12 | caqe_2017_v2 | SAT | 9.36 | |
hex_hein_7x7_18 | rev_qfun0.1 | SAT | 0.2 | |
hex_rand_6x6-20m-1 | xb-qsts_xbqsts1.0 | SAT | 443.93 | |
hex_rand_6x6-20m-3 | xb-qsts_xbqsts2.0 | SAT | 482.55 | |
hex_rand_6x6-20m-4 | heretiq | UNSAT | 47.4 | |
hex_rand_6x6-20m-5 | xb-qsts_xbqsts1.0 | SAT | 355.37 | |
hex_rand_6x6-20m-6 | caqe_2017_v3 | SAT | 442.84 | |
hex_rand_6x6-20m-7 | heretiq | UNSAT | 120.08 | |
hex_rand_6x6-20m-8 | heretiq | UNSAT | 392.9 |