Instances of family PositionalGames_hex solved by Qute_opt500
QBFEVAL'19 - Prenex CNF Track

InstanceResultTime
hex_hein_4x4_04SAT0
hex_hein_4x4_09FAIL0.61
hex_hein_4x4_12FAIL0.65
hex_hein_4x4_06FAIL0.92
hex_hein_4x4_07FAIL1.15
hex_rand_6x6-20m-3FAIL1.16
hex_rand_6x6-20m-5FAIL1.33
hex_rand_6x6-20m-6FAIL1.4
hex_rand_6x6-20m-0FAIL1.4
hex_rand_6x6-20m-4FAIL1.44
hex_rand_6x6-20m-9FAIL1.59
hex_rand_6x6-20m-2FAIL1.66
hex_rand_6x6-20m-7FAIL1.73
hex_rand_6x6-20m-8FAIL2.01
hex_rand_6x6-20m-1FAIL3.79