QuBE7-c results solving families - 2010

Family# Total# Sat# UnsatTime
Abduction6120284.59
C499311990908.9
C8806012297940.44
circuits212397.62
Counter1210900.46
jmc_quant1921255745.91
jmc_quant_squaring4711647377.26
k_branch_n620038.47
Sorting_networks161219144.32
tipdiam286400
tipfixpoint387663296.34
uclid22950402.23
wmiforward61106815.96