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

qbflib.org

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

Instance	Result	Time
assertion12_0_1	UNSAT	0.13
consistency_0_1	SAT	0.61
possibility5_0_1	UNSAT	0.73
possibility10_0_1	UNSAT	1.37
possibility8_0_1	SAT	1.94
consistency_0_2	SAT	2.75
assertion12_0_2	SAT	7.28
consistency_0_3	SAT	7.5
possibility6_0_3	UNSAT	8.75
assertion7_0_3	UNSAT	9.61
assertion6_0_3	UNSAT	10.86
consistency_0_4	SAT	14.88
consistency_0_5	SAT	27.87
assertion1_0_4	SAT	31.73
consistency_0_6	SAT	40.06
possibility6_0_7	UNSAT	50.99
consistency_0_7	SAT	60.69
possibility7_0_3	SAT	70.79
consistency_0_8	SAT	95.33
consistency_0_9	SAT	134.37
consistency_0_10	SAT	166.59
possibility1_0_3	SAT	286.78
possibility6_0_10	UNSAT	328.23
possibility8_0_7	FAIL	900
possibility7_0_6	FAIL	900
possibility5_0_9	FAIL	900
assertion2_0_6	FAIL	900
assertion2_0_5	FAIL	900
assertion2_0_3	FAIL	900
assertion11_0_7	FAIL	900
assertion10_0_9	FAIL	900
assertion10_0_6	FAIL	900
assertion1_0_9	FAIL	900
assertion1_0_10	FAIL	900
assertion2_0_8	FAIL	900
assertion3_0_6	FAIL	900
assertion4_0_10	FAIL	900
possibility5_0_4	FAIL	900
possibility4_0_7	FAIL	900
possibility4_0_5	FAIL	900
possibility3_0_6	FAIL	900
possibility3_0_3	FAIL	900
possibility11_0_7	FAIL	900
possibility10_0_7	FAIL	900
possibility10_0_2	FAIL	900
possibility1_0_8	FAIL	900
assertion9_0_7	FAIL	900
assertion9_0_3	FAIL	900
assertion7_0_4	FAIL	900
assertion5_0_9	FAIL	900

Contact | Organization | Links | Citing QBFLIB