QuBE7-m results solving families - 2010

Family# Total# Sat# UnsatTime
Abduction621363.49
C499311339202.23
C8806012222743.77
circuits212152.5
Counter1210682.7
jmc_quant1921208523.31
jmc_quant_squaring4711534501.44
k_branch_n615582.09
Sorting_networks161180780.97
tipdiam286401.4
tipfixpoint387681397.36
uclid22499911.48
wmiforward6167386.06