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

qbflib.org

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

Instance	Result	Time
hex_hein_4x4_04	SAT	0.18
hex_hein_7x7_18	SAT	1.23
hex_hein_4x4_09	SAT	5.18
hex_hein_4x4_12	SAT	16.04
hex_rand_6x6-20m-4	UNSAT	190.9
hex_hein_4x4_06	SAT	240.62
hex_hein_4x4_07	SAT	604.91
hex_rand_6x6-20m-7	FAIL	886.95
hex_hein_5x5_05	FAIL	887.32
hex_rand_6x6-6m-9	FAIL	887.4
hex_rand_6x6-12m-5	FAIL	887.53
hex_rand_6x6-12m-7	FAIL	887.54
hex_rand_6x6-6m-0	FAIL	887.58
hex_rand_6x6-20m-0	FAIL	887.83
hex_hein_5x5_11	FAIL	887.84
hex_rand_6x6-20m-8	FAIL	888.01
hex_rand_6x6-12m-0	FAIL	888.12
hex_rand_6x6-12m-4	FAIL	888.13
hex_rand_6x6-12m-3	FAIL	888.19
hex_rand_6x6-6m-7	FAIL	888.19
hex_rand_6x6-6m-3	FAIL	888.31
hex_hein_6x6_20	FAIL	888.31
hex_hein_6x6_03	FAIL	888.33
hex_rand_6x6-6m-1	FAIL	888.42
hex_rand_6x6-20m-5	FAIL	888.83
hex_hein_5x5_16	FAIL	889.33
hex_rand_6x6-6m-5	FAIL	889.66
hex_rand_6x6-12m-8	FAIL	889.68
hex_rand_6x6-6m-8	FAIL	889.75
hex_rand_6x6-20m-2	FAIL	889.91
hex_hein_5x5_19	FAIL	889.99
hex_rand_6x6-12m-9	FAIL	890
hex_rand_6x6-20m-1	FAIL	890.01
hex_rand_6x6-6m-2	FAIL	890.1
hex_rand_6x6-12m-6	FAIL	890.11
hex_rand_6x6-12m-2	FAIL	890.15
hex_rand_6x6-12m-1	FAIL	890.2
hex_rand_6x6-6m-4	FAIL	890.5
hex_hein_5x5_08	FAIL	890.61
hex_hein_5x5_02	FAIL	890.63
hex_hein_5x5_14	FAIL	890.99
hex_rand_6x6-20m-3	FAIL	891.18
hex_rand_6x6-20m-9	FAIL	891.2
hex_rand_6x6-6m-6	FAIL	891.42
hex_hein_5x5_15	FAIL	891.52
hex_hein_6x6_17	FAIL	891.71
hex_hein_5x5_10	FAIL	891.73
hex_rand_6x6-20m-6	FAIL	891.92
hex_hein_5x5_13	FAIL	892.33

Contact | Organization | Links | Citing QBFLIB