QuBE7 results solving families - 2010

Family# Total# Sat# UnsatTime
Abduction615515.74
C4993111018385
C8806012504655.05
circuits286400.2
Counter126608.06
jmc_quant1911493458.87
jmc_quant_squaring4711690702.7
k_branch_n632111.31
Sorting_networks161125455.86
tipdiam286400.2
tipfixpoint3811123150.96
uclid22882864.43
wmiforward61132071.61