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

qbflib.org

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

Instance	Result	Time
k5_2_3	SAT	7.82
k5_3_2	SAT	14.59
k6_2_3	SAT	77.08
k8_3_2	FAIL	823.1
k8_3_4	FAIL	842.73
k14_2_3	FAIL	884.88
k12_3_2	FAIL	891.13
k7_2_2	FAIL	893.5
k12_4_2	FAIL	893.85
k14_4_4	FAIL	894.98
k8_2_3	FAIL	900
k7_4_4	FAIL	900
k10_4_3	FAIL	900
k8_4_3	FAIL	900

Contact | Organization | Links | Citing QBFLIB