Instances of family PositionalGames_hex solved by CUED1919_NL
QBFEVAL'17 - Random QBFs Track

InstanceResultTime
hex_hein_4x4_04FAIL0
hex_hein_4x4_12FAIL0.02
hex_hein_4x4_09FAIL0.02
hex_hein_4x4_06FAIL0.04
hex_hein_4x4_07FAIL0.04
hex_rand_6x6-20m-0FAIL0.08
hex_rand_6x6-20m-3FAIL0.08
hex_hein_5x5_08FAIL0.08
hex_rand_6x6-20m-4FAIL0.1
hex_hein_5x5_11FAIL0.1
hex_hein_5x5_13FAIL0.1
hex_hein_5x5_19FAIL0.11
hex_rand_6x6-20m-6FAIL0.11
hex_rand_6x6-20m-8FAIL0.13
hex_rand_6x6-20m-2FAIL0.13
hex_hein_5x5_15FAIL0.14
hex_hein_5x5_02FAIL0.16
hex_hein_5x5_16FAIL0.16
hex_rand_6x6-20m-7FAIL0.16
hex_hein_5x5_14FAIL0.16
hex_rand_6x6-20m-9FAIL0.17
hex_hein_5x5_10FAIL0.21
hex_rand_6x6-20m-1FAIL0.23
hex_rand_6x6-20m-5FAIL0.31
hex_rand_6x6-12m-9FAIL0.39
hex_rand_6x6-12m-5FAIL0.49
hex_rand_6x6-12m-3FAIL0.68
hex_rand_6x6-12m-8FAIL0.73
hex_rand_6x6-12m-4FAIL0.86
hex_rand_6x6-12m-2FAIL0.87
hex_rand_6x6-12m-0FAIL1.24
hex_rand_6x6-12m-6FAIL1.33
hex_rand_6x6-12m-7FAIL1.57
hex_rand_6x6-6m-7FAIL2.19
hex_rand_6x6-12m-1FAIL2.4
hex_rand_6x6-6m-3FAIL2.54
hex_rand_6x6-6m-5FAIL2.64
hex_hein_6x6_03FAIL2.65
hex_rand_6x6-6m-1FAIL3.66
hex_rand_6x6-6m-0FAIL3.92
hex_hein_5x5_05FAIL7.14
hex_hein_6x6_20FAIL7.25
hex_rand_6x6-6m-4FAIL11.46
hex_rand_6x6-6m-8FAIL12.6
hex_hein_6x6_17FAIL13.58
hex_rand_6x6-6m-9FAIL14.6
hex_rand_6x6-6m-6FAIL15.79
hex_rand_6x6-6m-2FAIL23.49
hex_hein_7x7_18FAIL126.51