AIGSolve results solving families - 2010

Family# Total# Sat# UnsatTime
Abduction620396.07
C499313170.05
C8806046674.19
circuits21374.05
Counter1241287.46
jmc_quant192326.34
jmc_quant_squaring4723319.39
k_branch_n6228.51
Sorting_networks1661539.96
tipdiam210.87
tipfixpoint38915798.24
uclid2213657.55
wmiforward622