Instances of family PositionalGames_hex solved by <a href='solver_detail.php?solver=267'>CUED1919_NNL</a> <br> QBFEVAL'17 - Random QBFs Track

qbflib.org

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

Instance	Result	Time
hex_hein_4x4_04	FAIL	0
hex_hein_4x4_09	FAIL	0.01
hex_hein_4x4_12	FAIL	0.02
hex_hein_4x4_06	FAIL	0.02
hex_hein_4x4_07	FAIL	0.03
hex_rand_6x6-20m-0	FAIL	0.05
hex_rand_6x6-20m-3	FAIL	0.05
hex_hein_5x5_08	FAIL	0.05
hex_rand_6x6-20m-4	FAIL	0.05
hex_hein_5x5_11	FAIL	0.06
hex_rand_6x6-20m-6	FAIL	0.06
hex_hein_5x5_13	FAIL	0.06
hex_rand_6x6-20m-8	FAIL	0.07
hex_rand_6x6-20m-2	FAIL	0.07
hex_hein_5x5_19	FAIL	0.07
hex_hein_5x5_15	FAIL	0.1
hex_rand_6x6-20m-9	FAIL	0.1
hex_hein_5x5_02	FAIL	0.1
hex_rand_6x6-20m-7	FAIL	0.1
hex_hein_5x5_14	FAIL	0.1
hex_hein_5x5_16	FAIL	0.11
hex_hein_5x5_10	FAIL	0.15
hex_rand_6x6-20m-1	FAIL	0.2
hex_rand_6x6-12m-9	FAIL	0.24
hex_rand_6x6-20m-5	FAIL	0.27
hex_rand_6x6-12m-5	FAIL	0.34
hex_rand_6x6-12m-3	FAIL	0.35
hex_rand_6x6-12m-8	FAIL	0.55
hex_rand_6x6-12m-2	FAIL	0.67
hex_rand_6x6-12m-4	FAIL	0.67
hex_rand_6x6-12m-0	FAIL	0.82
hex_rand_6x6-12m-6	FAIL	0.9
hex_rand_6x6-12m-7	FAIL	1.32
hex_rand_6x6-6m-5	FAIL	1.57
hex_rand_6x6-6m-7	FAIL	1.69
hex_rand_6x6-6m-3	FAIL	2
hex_rand_6x6-12m-1	FAIL	2.09
hex_hein_6x6_03	FAIL	2.15
hex_rand_6x6-6m-1	FAIL	2.54
hex_rand_6x6-6m-0	FAIL	3.29
hex_hein_5x5_05	FAIL	6.2
hex_hein_6x6_20	FAIL	6.29
hex_rand_6x6-6m-4	FAIL	10.57
hex_rand_6x6-6m-8	FAIL	11.66
hex_rand_6x6-6m-9	FAIL	12.44
hex_hein_6x6_17	FAIL	12.5
hex_rand_6x6-6m-6	FAIL	13.54
hex_rand_6x6-6m-2	FAIL	20.42
hex_hein_7x7_18	FAIL	127.68

Contact | Organization | Links | Citing QBFLIB