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

qbflib.org

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

Instance	Result	Time
assertion12_0_1	UNSAT	0.95
possibility5_0_1	UNSAT	31.47
possibility10_0_1	UNSAT	38.61
possibility3_0_3	FAIL	900
possibility3_0_6	FAIL	900
possibility4_0_5	FAIL	900
possibility4_0_7	FAIL	900
possibility5_0_4	FAIL	900
possibility5_0_9	FAIL	900
possibility6_0_10	FAIL	900
possibility6_0_3	FAIL	900
possibility6_0_7	FAIL	900
possibility7_0_3	FAIL	900
possibility7_0_6	FAIL	900
possibility8_0_1	FAIL	900
possibility8_0_7	FAIL	900
possibility11_0_7	FAIL	900
possibility10_0_7	FAIL	900
possibility10_0_2	FAIL	900
assertion4_0_10	FAIL	900
assertion3_0_6	FAIL	900
assertion2_0_8	FAIL	900
assertion2_0_6	FAIL	900
assertion2_0_5	FAIL	900
assertion2_0_3	FAIL	900
assertion12_0_2	FAIL	900
assertion11_0_7	FAIL	900
assertion10_0_9	FAIL	900
assertion10_0_6	FAIL	900
assertion1_0_9	FAIL	900
assertion1_0_4	FAIL	900
assertion1_0_10	FAIL	900
assertion5_0_9	FAIL	900
assertion6_0_3	FAIL	900
possibility1_0_8	FAIL	900
possibility1_0_3	FAIL	900
consistency_0_9	FAIL	900
consistency_0_8	FAIL	900
consistency_0_7	FAIL	900
consistency_0_6	FAIL	900
consistency_0_5	FAIL	900
consistency_0_4	FAIL	900
consistency_0_3	FAIL	900
consistency_0_2	FAIL	900
consistency_0_10	FAIL	900
consistency_0_1	FAIL	900
assertion9_0_7	FAIL	900
assertion9_0_3	FAIL	900
assertion7_0_4	FAIL	900
assertion7_0_3	FAIL	900

Contact | Organization | Links | Citing QBFLIB