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


InstanceSolverResultTime
hex_hein_4x4_04Cued_3_2018SAT0
hex_hein_4x4_06Heretiq-cubeSAT57.54
hex_hein_4x4_07Caqe-bloqqerSAT155.33
hex_hein_4x4_09depqbf_prefix_opt_qdoSAT4.15
hex_hein_4x4_12depqbf_prefix_opt_qdoSAT11.21
hex_rand_6x6-20m-4Heretiq-cubeUNSAT47.56
hex_rand_6x6-20m-5Caqe-bloqqer-qdoSAT455.47
hex_rand_6x6-20m-6Caqe-bloqqerSAT784.57
hex_rand_6x6-20m-7Heretiq-cubeUNSAT107.07
hex_rand_6x6-20m-8Heretiq-cubeUNSAT298.68