Instances of family k_d4_n solved by <a href='solver_detail.php?solver=104'>AIGSolve</a> <br> QBFEVAL'10 - Competitive Track.

qbflib.org

Instances of family k_d4_n solved by AIGSolve
QBFEVAL'10 - Competitive Track.

Instance	Result	Time
k_d4_n-7	SAT	0.54
k_d4_n-11	SAT	0.94
k_d4_n-14	SAT	1.33
k_d4_n-16	SAT	1.58
k_d4_n-15	SAT	1.6
k_d4_n-17	SAT	1.68
k_d4_n-18	SAT	1.81
k_d4_n-19	SAT	1.96
k_d4_n-20	SAT	2.17
k_d4_n-21	SAT	2.33

Contact | Organization | Links | Citing QBFLIB