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

qbflib.org

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

Instance	Result	Time
hex_hein_4x4_04	SAT	0.03
hex_hein_4x4_09	SAT	5.18
hex_hein_7x7_18	SAT	10.32
hex_hein_4x4_12	SAT	15.08
hex_hein_4x4_06	SAT	143.01
hex_rand_6x6-20m-4	UNSAT	213.15
hex_rand_6x6-20m-5	SAT	355.37
hex_rand_6x6-20m-1	SAT	443.93
hex_rand_6x6-20m-3	SAT	483.75
hex_hein_4x4_07	SAT	532.63
hex_rand_6x6-20m-8	UNSAT	542.35
hex_rand_6x6-20m-7	UNSAT	672.55
hex_rand_6x6-20m-6	SAT	677.93
hex_rand_6x6-12m-5	FAIL	900
hex_rand_6x6-6m-1	FAIL	900
hex_rand_6x6-6m-9	FAIL	900
hex_hein_5x5_08	FAIL	900
hex_hein_6x6_03	FAIL	900
hex_rand_6x6-12m-6	FAIL	900
hex_rand_6x6-6m-2	FAIL	900
hex_hein_5x5_10	FAIL	900
hex_hein_6x6_17	FAIL	900
hex_rand_6x6-12m-7	FAIL	900
hex_rand_6x6-6m-3	FAIL	900
hex_hein_5x5_11	FAIL	900
hex_hein_6x6_20	FAIL	900
hex_rand_6x6-12m-0	FAIL	900
hex_rand_6x6-12m-8	FAIL	900
hex_rand_6x6-6m-4	FAIL	900
hex_hein_5x5_13	FAIL	900
hex_rand_6x6-12m-1	FAIL	900
hex_rand_6x6-12m-9	FAIL	900
hex_rand_6x6-6m-5	FAIL	900
hex_hein_5x5_14	FAIL	900
hex_rand_6x6-12m-2	FAIL	900
hex_rand_6x6-20m-0	FAIL	900
hex_rand_6x6-6m-6	FAIL	900
hex_hein_5x5_15	FAIL	900
hex_rand_6x6-12m-3	FAIL	900
hex_rand_6x6-20m-9	FAIL	900
hex_rand_6x6-6m-7	FAIL	900
hex_hein_5x5_02	FAIL	900
hex_hein_5x5_16	FAIL	900
hex_rand_6x6-12m-4	FAIL	900
hex_rand_6x6-20m-2	FAIL	900
hex_rand_6x6-6m-0	FAIL	900
hex_rand_6x6-6m-8	FAIL	900
hex_hein_5x5_05	FAIL	900
hex_hein_5x5_19	FAIL	900

Contact | Organization | Links | Citing QBFLIB