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

qbflib.org

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

Instance	Result	Time
assertion12_0_1	UNSAT	0.14
consistency_0_1	SAT	0.56
possibility8_0_1	SAT	0.98
possibility10_0_1	UNSAT	1.12
consistency_0_2	SAT	2.54
possibility5_0_1	UNSAT	3.5
assertion12_0_2	SAT	3.51
possibility6_0_3	UNSAT	6.34
consistency_0_3	SAT	6.42
assertion6_0_3	UNSAT	8.36
consistency_0_4	SAT	16.41
assertion1_0_4	SAT	16.59
possibility7_0_3	SAT	38.52
consistency_0_5	SAT	51.08
consistency_0_6	SAT	69.33
assertion10_0_6	SAT	73.52
possibility6_0_7	UNSAT	79.72
consistency_0_7	SAT	105.12
consistency_0_8	SAT	139.6
assertion9_0_3	SAT	154.87
assertion1_0_9	SAT	264.22
consistency_0_9	SAT	303.89
consistency_0_10	SAT	359.71
possibility6_0_10	UNSAT	363.1
assertion7_0_3	UNSAT	472.58
assertion10_0_9	SAT	522.57
possibility1_0_3	SAT	813.34
possibility4_0_7	FAIL	875.72
assertion2_0_8	FAIL	876.23
assertion1_0_10	FAIL	876.63
possibility5_0_9	FAIL	876.93
possibility3_0_6	FAIL	877.01
possibility10_0_7	FAIL	877.02
possibility3_0_3	FAIL	877.12
assertion11_0_7	FAIL	877.21
possibility1_0_8	FAIL	877.21
assertion4_0_10	FAIL	877.26
possibility11_0_7	FAIL	877.3
possibility5_0_4	FAIL	877.31
possibility10_0_2	FAIL	877.41
assertion9_0_7	FAIL	877.72
possibility8_0_7	FAIL	877.72
possibility7_0_6	FAIL	877.82
assertion2_0_6	FAIL	877.82
possibility4_0_5	FAIL	878.01
assertion2_0_3	FAIL	878.62
assertion5_0_9	FAIL	878.92
assertion2_0_5	FAIL	879.52
assertion3_0_6	FAIL	880.01
assertion7_0_4	FAIL	883.84

Contact | Organization | Links | Citing QBFLIB