Instances of family circuits solved by <a href='solver_detail.php?solver=278'>qbfrelay-limited-depqbf</a> <br> QBFEVAL'17 - Prenex CNF Track

qbflib.org

Instances of family circuits solved by qbfrelay-limited-depqbf
QBFEVAL'17 - Prenex CNF Track

Instance	Result	Time
k5_2_3	SAT	83.92
k5_3_2	SAT	88.65
k8_3_4	FAIL	889.82
k8_3_2	FAIL	890.41
k8_4_3	FAIL	890.6
k6_2_3	FAIL	891.4
k8_2_3	FAIL	892.2
k7_2_2	FAIL	892.74
k7_4_4	FAIL	894.85
k12_3_2	FAIL	895.85
k12_4_2	FAIL	900
k14_4_4	FAIL	900
k14_2_3	FAIL	900
k10_4_3	FAIL	900

Contact | Organization | Links | Citing QBFLIB