depqbf results solving families - 2010

Family# Total# Sat# UnsatTime
Abduction611771.38
C4993111316474.09
C880602592000
circuits286400
Counter12328028.31
jmc_quant19820800
jmc_quant_squaring472030400
k_branch_n6259200
Sorting_networks161435095.5
tipdiam286400
tipfixpoint381641600
uclid22950400
wmiforward6259200