Sota solver results for family PositionalGames_hex
QBFEVAL'19 - Prenex CNF Track


InstanceSolverResultTime
hex_hein_4x4_04Qute_defaultSAT0
hex_hein_4x4_06Hiqqer2019_1SAT46.63
hex_hein_4x4_07Hiqqer2019_2SAT70.43
hex_hein_4x4_09Hiqqer2019_1SAT3.27
hex_hein_4x4_12Hiqqer2019_1SAT7.58
hex_rand_6x6-20m-0Hiqqer2019_2SAT801.73
hex_rand_6x6-20m-1Hiqqer2019_3SAT352.24
hex_rand_6x6-20m-3Hiqqer2019_1SAT364.22
hex_rand_6x6-20m-4Hiqqer2019_1UNSAT13.17
hex_rand_6x6-20m-5Hiqqer2019_2SAT219.44
hex_rand_6x6-20m-6Hiqqer2019_1SAT447.52
hex_rand_6x6-20m-7Hiqqer2019_3UNSAT54.43
hex_rand_6x6-20m-8Hiqqer2019_3UNSAT106.65