Instances of family PositionalGames_hex solved by ijtihad
QBFEVAL'18 - Prenex CNF Track

InstanceResultTime
hex_hein_4x4_04SAT0
hex_rand_6x6-20m-5FAIL900
hex_rand_6x6-20m-8FAIL900.01
hex_rand_6x6-20m-9FAIL900.01
hex_rand_6x6-20m-0FAIL900.02
hex_rand_6x6-20m-1FAIL900.02
hex_rand_6x6-20m-3FAIL900.02
hex_rand_6x6-20m-4FAIL900.04
hex_rand_6x6-20m-6FAIL900.04
hex_hein_4x4_07FAIL900.05
hex_rand_6x6-20m-7FAIL900.05
hex_hein_4x4_06FAIL900.07
hex_hein_4x4_09FAIL900.07
hex_rand_6x6-20m-2FAIL900.09
hex_hein_4x4_12FAIL900.11