Instances of family BMC solved by <a href='solver_detail.php?solver=285'>rev_qfun0.1</a> <br> QBFEVAL'17 - Prenex CNF Track

qbflib.org

Instances of family BMC solved by rev_qfun0.1
QBFEVAL'17 - Prenex CNF Track

Instance	Result	Time
c1_BMC_p2_k1024	UNSAT	13.68
c5_BMC_p1_k32	SAT	21.49
c1_BMC_p2_k2048	UNSAT	25.48
c3_BMC_p1_k256	SAT	29.78
c2_BMC_p1_k2048	SAT	244.85
c1_BMC_p1_k2048	FAIL	806.03
c5_BMC_p2_k512	FAIL	900
c5_BMC_p2_k64	FAIL	900
c5_BMC_p1_k128	FAIL	900
c5_BMC_p1_k64	FAIL	900
c5_BMC_p2_k1024	FAIL	900
c5_BMC_p2_k128	FAIL	900
c5_BMC_p2_k256	FAIL	900

Contact | Organization | Links | Citing QBFLIB