Sota solver results for family PositionalGames_hex
QBFEVAL'18 - Hard Instances Track


InstanceSolverResultTime
hex_hein_5x5_08caqe_hit18SAT1713.38
hex_hein_5x5_19depqbf_hit18SAT689.17
hex_rand_6x6-20m-0caqe_hit18SAT901.44
hex_rand_6x6-20m-9caqe_hit18SAT2686.04