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

qbflib.org

Instances of family circuits solved by CUED1919_NNL
QBFEVAL'17 - Prenex CNF Track

Instance	Result	Time
k5_2_3	FAIL	2.19
k5_3_2	FAIL	2.63
k6_2_3	FAIL	4.37
k7_2_2	FAIL	14.35
k8_2_3	FAIL	132.27
k8_3_2	FAIL	144.43
k7_4_4	FAIL	157.2
k8_3_4	FAIL	338.83
k8_4_3	FAIL	484.32
k12_3_2	FAIL	900
k14_2_3	FAIL	900
k10_4_3	FAIL	900
k12_4_2	FAIL	900
k14_4_4	FAIL	900

Contact | Organization | Links | Citing QBFLIB