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

qbflib.org

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

Instance	Result	Time
k_d4_n-7	SAT	2.25
k_d4_n-11	SAT	13.61
k_d4_n-16	SAT	15.58
k_d4_n-18	SAT	16.16
k_d4_n-14	SAT	16.16
k_d4_n-17	SAT	16.27
k_d4_n-21	SAT	17.23
k_d4_n-19	SAT	17.29
k_d4_n-15	SAT	17.34
k_d4_n-20	SAT	17.53

Contact | Organization | Links | Citing QBFLIB