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

qbflib.org

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

Instance	Result	Time
assertion12_0_1	UNSAT	1.45
consistency_0_1	SAT	3.66
possibility10_0_1	UNSAT	12.05
possibility5_0_1	UNSAT	15.43
consistency_0_2	SAT	16.38
consistency_0_3	SAT	44.84
assertion4_0_10	FAIL	52.83
consistency_0_10	FAIL	53.01
assertion2_0_8	FAIL	53.85
possibility10_0_7	FAIL	54.14
consistency_0_9	FAIL	54.54
possibility8_0_7	FAIL	54.95
possibility8_0_1	SAT	55.46
possibility1_0_8	FAIL	55.55
assertion5_0_9	FAIL	55.63
possibility11_0_7	FAIL	55.67
possibility4_0_7	FAIL	56.19
possibility5_0_9	FAIL	56.33
possibility6_0_7	FAIL	56.56
consistency_0_7	FAIL	56.94
possibility6_0_10	FAIL	57
assertion1_0_10	FAIL	57.12
assertion9_0_7	FAIL	57.67
assertion10_0_9	FAIL	57.92
consistency_0_8	FAIL	61.58
assertion1_0_9	FAIL	63.38
assertion11_0_7	FAIL	63.84
possibility7_0_6	FAIL	74.43
assertion10_0_6	FAIL	78.52
possibility3_0_6	FAIL	78.78
assertion3_0_6	FAIL	79.03
consistency_0_4	SAT	89.02
assertion2_0_6	FAIL	91.16
consistency_0_5	SAT	163.47
consistency_0_6	FAIL	177.99
assertion12_0_2	FAIL	900
assertion1_0_4	FAIL	900
assertion2_0_3	FAIL	900
assertion2_0_5	FAIL	900
possibility7_0_3	FAIL	900
possibility6_0_3	FAIL	900
possibility5_0_4	FAIL	900
possibility4_0_5	FAIL	900
possibility3_0_3	FAIL	900
possibility10_0_2	FAIL	900
possibility1_0_3	FAIL	900
assertion9_0_3	FAIL	900
assertion7_0_4	FAIL	900
assertion7_0_3	FAIL	900
assertion6_0_3	FAIL	900

Contact | Organization | Links | Citing QBFLIB