depqbf-pre results solving families - 2010

Family# Total# Sat# UnsatTime
Abduction61112080.75
C4993111214456.4
C880602592000
circuits286400
Counter12334404.3
jmc_quant19820800
jmc_quant_squaring472030400
k_branch_n6259200
Sorting_networks161432032.54
tipdiam286400
tipfixpoint381641600
uclid22950400
wmiforward6259200