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

qbflib.org

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

Instance	Result	Time
hex_hein_4x4_04	SAT	0.1
hex_hein_7x7_18	SAT	11.65
hex_rand_6x6-12m-9	FAIL	13.96
hex_rand_6x6-12m-8	FAIL	15.71
hex_rand_6x6-12m-5	FAIL	17.7
hex_rand_6x6-12m-4	FAIL	21.59
hex_rand_6x6-12m-0	FAIL	21.61
hex_rand_6x6-12m-3	FAIL	22.09
hex_rand_6x6-12m-2	FAIL	32.36
hex_rand_6x6-12m-7	FAIL	32.91
hex_rand_6x6-12m-6	FAIL	39.51
hex_rand_6x6-12m-1	FAIL	46.08
hex_rand_6x6-6m-5	FAIL	91.93
hex_rand_6x6-6m-7	FAIL	105.27
hex_rand_6x6-6m-1	FAIL	107.05
hex_hein_6x6_03	FAIL	139.8
hex_rand_6x6-6m-3	FAIL	160.32
hex_rand_6x6-6m-0	FAIL	197.74
hex_hein_5x5_05	FAIL	296.9
hex_rand_6x6-6m-4	FAIL	310.05
hex_hein_6x6_20	FAIL	449.6
hex_rand_6x6-6m-9	FAIL	455.77
hex_rand_6x6-6m-8	FAIL	565
hex_rand_6x6-6m-6	FAIL	585.39
hex_rand_6x6-20m-9	FAIL	606.96
hex_rand_6x6-20m-2	FAIL	638.18
hex_rand_6x6-20m-5	FAIL	653.58
hex_hein_5x5_08	FAIL	654.2
hex_hein_4x4_06	FAIL	664.05
hex_rand_6x6-20m-7	FAIL	673.16
hex_rand_6x6-20m-4	FAIL	674.81
hex_hein_4x4_09	FAIL	690.17
hex_rand_6x6-20m-0	FAIL	693.94
hex_hein_4x4_07	FAIL	705
hex_rand_6x6-20m-1	FAIL	708.34
hex_hein_5x5_02	FAIL	710.22
hex_rand_6x6-6m-2	FAIL	724.53
hex_rand_6x6-20m-6	FAIL	728.55
hex_rand_6x6-20m-3	FAIL	733.82
hex_rand_6x6-20m-8	FAIL	740.24
hex_hein_4x4_12	FAIL	770.09
hex_hein_5x5_11	FAIL	771.85
hex_hein_5x5_13	FAIL	774.17
hex_hein_5x5_10	FAIL	791.72
hex_hein_5x5_15	FAIL	826.01
hex_hein_5x5_16	FAIL	828.36
hex_hein_5x5_19	FAIL	833.52
hex_hein_6x6_17	FAIL	893.98
hex_hein_5x5_14	FAIL	894.69

Contact | Organization | Links | Citing QBFLIB