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

qbflib.org

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

Instance	Result	Time
assertion12_0_1	UNSAT	0.13
consistency_0_1	SAT	0.56
possibility8_0_1	SAT	0.73
possibility10_0_1	UNSAT	0.91
possibility5_0_1	UNSAT	1.5
consistency_0_2	SAT	2.48
assertion12_0_2	SAT	4.68
consistency_0_3	SAT	6.34
possibility6_0_3	UNSAT	6.43
assertion6_0_3	UNSAT	9.49
consistency_0_4	SAT	15.3
possibility7_0_3	SAT	15.4
consistency_0_5	SAT	27.83
consistency_0_6	SAT	46.14
assertion10_0_6	SAT	50.43
possibility6_0_7	UNSAT	56.51
consistency_0_7	SAT	82.63
consistency_0_8	SAT	115.99
assertion1_0_9	SAT	125.93
assertion1_0_10	SAT	156.4
consistency_0_9	SAT	166.2
possibility6_0_10	UNSAT	183.45
consistency_0_10	SAT	228.76
assertion7_0_3	UNSAT	287.68
assertion1_0_4	SAT	604.39
possibility8_0_7	FAIL	900
possibility7_0_6	FAIL	900
possibility5_0_9	FAIL	900
assertion2_0_8	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
assertion3_0_6	FAIL	900
assertion4_0_10	FAIL	900
assertion5_0_9	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
possibility1_0_3	FAIL	900
assertion9_0_7	FAIL	900
assertion9_0_3	FAIL	900
assertion7_0_4	FAIL	900

Contact | Organization | Links | Citing QBFLIB