Instances of family PositionalGames_hex solved by iProver-qbf-bloqqer-2017-07-27-v3
QBFEVAL'17 - Random QBFs Track

InstanceResultTime
hex_hein_4x4_04SAT0.05
hex_hein_7x7_18SAT10.23
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
hex_rand_6x6-12m-6FAIL900
hex_rand_6x6-20m-4FAIL900
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_4x4_06FAIL900
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_4x4_07FAIL900
hex_hein_5x5_13FAIL900
hex_rand_6x6-12m-1FAIL900
hex_rand_6x6-12m-9FAIL900
hex_rand_6x6-20m-7FAIL900
hex_rand_6x6-6m-5FAIL900
hex_hein_4x4_09FAIL900
hex_hein_5x5_14FAIL900
hex_rand_6x6-12m-2FAIL900
hex_rand_6x6-20m-0FAIL900
hex_rand_6x6-20m-8FAIL900
hex_rand_6x6-6m-6FAIL900
hex_hein_4x4_12FAIL900
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