Instances of family PositionalGames_hex solved by xb-qsts_bqsts2.0
QBFEVAL'17 - Random QBFs Track

InstanceResultTime
hex_hein_4x4_04SAT0.05
hex_hein_4x4_09SAT5.15
hex_hein_7x7_18SAT10.14
hex_hein_4x4_12SAT15.17
hex_hein_4x4_06SAT141.7
hex_rand_6x6-20m-4UNSAT213.86
hex_rand_6x6-20m-5SAT355.7
hex_rand_6x6-20m-1SAT444.21
hex_rand_6x6-20m-3SAT485.99
hex_hein_4x4_07SAT535.3
hex_rand_6x6-20m-8UNSAT539.12
hex_rand_6x6-20m-7UNSAT675.44
hex_rand_6x6-20m-6SAT681.54
hex_rand_6x6-6m-2FAIL900
hex_hein_5x5_10FAIL900
hex_hein_6x6_17FAIL900
hex_rand_6x6-12m-6FAIL900
hex_rand_6x6-6m-3FAIL900
hex_hein_5x5_11FAIL900
hex_hein_6x6_20FAIL900
hex_rand_6x6-12m-7FAIL900
hex_rand_6x6-6m-4FAIL900
hex_hein_5x5_13FAIL900
hex_rand_6x6-12m-0FAIL900
hex_rand_6x6-12m-8FAIL900
hex_rand_6x6-6m-5FAIL900
hex_hein_5x5_14FAIL900
hex_rand_6x6-12m-1FAIL900
hex_rand_6x6-12m-9FAIL900
hex_rand_6x6-6m-6FAIL900
hex_hein_5x5_15FAIL900
hex_rand_6x6-12m-2FAIL900
hex_rand_6x6-20m-0FAIL900
hex_rand_6x6-6m-7FAIL900
hex_hein_5x5_02FAIL900
hex_hein_5x5_16FAIL900
hex_rand_6x6-12m-3FAIL900
hex_rand_6x6-20m-9FAIL900
hex_rand_6x6-6m-8FAIL900
hex_hein_5x5_05FAIL900
hex_hein_5x5_19FAIL900
hex_rand_6x6-12m-4FAIL900
hex_rand_6x6-20m-2FAIL900
hex_rand_6x6-6m-0FAIL900
hex_rand_6x6-6m-9FAIL900
hex_hein_5x5_08FAIL900
hex_hein_6x6_03FAIL900
hex_rand_6x6-12m-5FAIL900
hex_rand_6x6-6m-1FAIL900