Instances of family PositionalGames_hex solved by prefix-opt-depqbf
QBFEVAL'17 - Random QBFs Track

InstanceResultTime
hex_hein_4x4_04SAT0
hex_hein_7x7_18SAT0.87
hex_hein_4x4_09SAT4.97
hex_hein_4x4_12SAT15.85
hex_rand_6x6-20m-4UNSAT79.66
hex_hein_4x4_06SAT181.3
hex_rand_6x6-20m-7UNSAT280.87
hex_hein_4x4_07SAT424.76
hex_rand_6x6-20m-8UNSAT453.2
hex_rand_6x6-12m-6FAIL900
hex_rand_6x6-6m-2FAIL900
hex_hein_5x5_10FAIL900
hex_hein_6x6_17FAIL900
hex_rand_6x6-12m-7FAIL900
hex_rand_6x6-20m-5FAIL900
hex_rand_6x6-6m-3FAIL900
hex_hein_5x5_11FAIL900
hex_hein_6x6_20FAIL900
hex_rand_6x6-12m-0FAIL900
hex_rand_6x6-12m-8FAIL900
hex_rand_6x6-20m-6FAIL900
hex_rand_6x6-6m-4FAIL900
hex_hein_5x5_13FAIL900
hex_rand_6x6-12m-1FAIL900
hex_rand_6x6-12m-9FAIL900
hex_rand_6x6-6m-5FAIL900
hex_hein_5x5_14FAIL900
hex_rand_6x6-12m-2FAIL900
hex_rand_6x6-20m-0FAIL900
hex_rand_6x6-6m-6FAIL900
hex_hein_5x5_15FAIL900
hex_rand_6x6-12m-3FAIL900
hex_rand_6x6-20m-1FAIL900
hex_rand_6x6-20m-9FAIL900
hex_rand_6x6-6m-7FAIL900
hex_hein_5x5_02FAIL900
hex_hein_5x5_16FAIL900
hex_rand_6x6-12m-4FAIL900
hex_rand_6x6-20m-2FAIL900
hex_rand_6x6-6m-0FAIL900
hex_rand_6x6-6m-8FAIL900
hex_hein_5x5_05FAIL900
hex_hein_5x5_19FAIL900
hex_rand_6x6-12m-5FAIL900
hex_rand_6x6-20m-3FAIL900
hex_rand_6x6-6m-1FAIL900
hex_rand_6x6-6m-9FAIL900
hex_hein_5x5_08FAIL900
hex_hein_6x6_03FAIL900