Instances of family k_d4_n solved by <a href='solver_detail.php?solver=7'>QUANTOR</a> <br> QBFEVAL'05

qbflib.org

Instances of family k_d4_n solved by QUANTOR
QBFEVAL'05

Instance	Result	Time
k_d4_n-4	SAT	1.43
k_d4_n-20	FAIL	9.94
k_d4_n-21	FAIL	9.96
k_d4_n-8	FAIL	10.21
k_d4_n-12	FAIL	11.12
k_d4_n-16	FAIL	11.73

Contact | Organization | Links | Citing QBFLIB