Instances of family k_d4_p solved by <a href='solver_detail.php?solver=46'>QUANTOR_2.15</a> <br> QBFEVAL'07

qbflib.org

Instances of family k_d4_p solved by QUANTOR_2.15
QBFEVAL'07

Instance	Result	Time
k_d4_p-8	FAIL	10.55
k_d4_p-12	FAIL	10.73
k_d4_p-16	FAIL	10.75
k_d4_p-21	FAIL	11.12
k_d4_p-20	FAIL	11.13

Contact | Organization | Links | Citing QBFLIB