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

qbflib.org

Instances of family QLTL_safety solved by qfun0.1
QBFEVAL'17 - Prenex non-CNF Track

Instance	Result	Time
consistency_0_2	FAIL	0.81
possibility10_0_2	FAIL	0.81
assertion12_0_2	FAIL	0.82
assertion12_0_1	UNSAT	1.14
possibility6_0_3	FAIL	1.16
consistency_0_3	FAIL	1.16
possibility7_0_3	FAIL	1.17
assertion7_0_3	FAIL	1.18
possibility3_0_3	FAIL	1.18
possibility1_0_3	FAIL	1.18
assertion9_0_3	FAIL	1.18
assertion6_0_3	FAIL	1.19
assertion2_0_3	FAIL	1.19
consistency_0_4	FAIL	1.57
assertion7_0_4	FAIL	1.59
possibility5_0_4	FAIL	1.59
assertion1_0_4	FAIL	1.6
consistency_0_5	FAIL	2.05
assertion2_0_5	FAIL	2.07
possibility4_0_5	FAIL	2.08
consistency_0_6	FAIL	2.62
assertion3_0_6	FAIL	2.63
assertion10_0_6	FAIL	2.64
possibility7_0_6	FAIL	2.64
possibility3_0_6	FAIL	2.65
assertion2_0_6	FAIL	2.65
possibility4_0_7	FAIL	3.26
possibility11_0_7	FAIL	3.26
assertion11_0_7	FAIL	3.27
assertion9_0_7	FAIL	3.27
consistency_0_7	FAIL	3.27
possibility6_0_7	FAIL	3.28
possibility10_0_7	FAIL	3.3
possibility8_0_7	FAIL	3.37
consistency_0_8	FAIL	3.99
possibility1_0_8	FAIL	3.99
assertion2_0_8	FAIL	4.03
assertion1_0_9	FAIL	4.87
consistency_0_9	FAIL	4.88
assertion5_0_9	FAIL	4.91
possibility5_0_9	FAIL	4.92
assertion10_0_9	FAIL	4.95
assertion1_0_10	FAIL	5.89
consistency_0_10	FAIL	5.92
possibility6_0_10	FAIL	5.93
assertion4_0_10	FAIL	5.97
possibility8_0_1	FAIL	900
possibility5_0_1	FAIL	900
possibility10_0_1	FAIL	900
consistency_0_1	FAIL	900

Contact | Organization | Links | Citing QBFLIB