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_squaring5812024949.39
k_branch_n620038.47
Sorting_networks171219203.86
tipdiam286400
tipfixpoint427778769.94
uclid22950402.23
wmiforward61106815.96