aqme-10 results solving families - 2010

Family# Total# Sat# UnsatTime
Abduction6113746.06
C499311339200
C880601730906.5
circuits2110811.06
Counter121132925.34
jmc_quant19310924.02
jmc_quant_squaring47366482.97
k_branch_n624070.48
Sorting_networks162251704.88
tipdiam275238.4
tipfixpoint381906008.44
uclid22950400
wmiforward6259200