AIGSolve results solving families - 2010

Family# Total# Sat# UnsatTime
Abduction620396.07
C499313170.05
C8806046674.19
circuits21374.05
Counter1241287.46
jmc_quant192326.34
jmc_quant_squaring5823407.08
k_branch_n6228.51
Sorting_networks1762058.67
tipdiam210.87
tipfixpoint42922027.38
uclid2213657.55
wmiforward622