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_squaring5811878210.47
k_branch_n615582.09
Sorting_networks171180911.7
tipdiam286401.4
tipfixpoint427799196.96
uclid22499911.48
wmiforward6167386.06