quantor-3.1 results solving families - 2010

Family# Total# Sat# UnsatTime
Abduction61360.42
C49931992010.96
C880601885639.54
circuits213986.28
Counter12342.21
jmc_quant19101180.39
jmc_quant_squaring4762833.8
k_branch_n6136.88
Sorting_networks161245221.32
tipdiam2450.62
tipfixpoint3817980.66
uclid22616.31
wmiforward6240.22