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

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