Instances of family QLTL_safety solved by <a href='solver_detail.php?solver=296'>QuAbS_2017</a> <br> QBFEVAL'17 - Prenex non-CNF Track

qbflib.org

Instances of family QLTL_safety solved by QuAbS_2017
QBFEVAL'17 - Prenex non-CNF Track

Instance	Result	Time
assertion12_0_1	UNSAT	7.02
consistency_0_4	FAIL	110.9
assertion1_0_4	FAIL	112.57
assertion2_0_5	FAIL	113.14
assertion7_0_4	FAIL	113.88
possibility5_0_4	FAIL	114.93
consistency_0_5	FAIL	119.62
assertion10_0_6	FAIL	120.56
consistency_0_6	FAIL	120.82
possibility3_0_6	FAIL	120.87
possibility7_0_6	FAIL	121.65
consistency_0_7	FAIL	121.81
assertion2_0_6	FAIL	122.69
possibility4_0_5	FAIL	128.47
possibility4_0_7	FAIL	129.16
assertion9_0_7	FAIL	130.2
assertion3_0_6	FAIL	133.21
possibility10_0_7	FAIL	134.52
assertion11_0_7	FAIL	137.61
possibility11_0_7	FAIL	137.78
possibility6_0_7	FAIL	140.12
consistency_0_8	FAIL	141.05
possibility1_0_8	FAIL	141.52
possibility8_0_7	FAIL	143.78
assertion2_0_8	FAIL	151.46
consistency_0_9	FAIL	154.78
assertion5_0_9	FAIL	157.1
possibility5_0_9	FAIL	158.03
assertion10_0_9	FAIL	158.96
assertion1_0_9	FAIL	160.2
assertion4_0_10	FAIL	163.93
consistency_0_10	FAIL	169.49
assertion1_0_10	FAIL	171.21
possibility6_0_10	FAIL	174.52
possibility8_0_1	FAIL	900
assertion12_0_2	FAIL	900
assertion2_0_3	FAIL	900
possibility7_0_3	FAIL	900
possibility6_0_3	FAIL	900
possibility5_0_1	FAIL	900
possibility3_0_3	FAIL	900
possibility10_0_2	FAIL	900
possibility10_0_1	FAIL	900
possibility1_0_3	FAIL	900
consistency_0_3	FAIL	900
consistency_0_2	FAIL	900
consistency_0_1	FAIL	900
assertion9_0_3	FAIL	900
assertion7_0_3	FAIL	900
assertion6_0_3	FAIL	900

Contact | Organization | Links | Citing QBFLIB