depqbf results solving families - 2010

Family# Total# Sat# UnsatTime
Abduction611771.38
C4993111316474.09
C880602592000
circuits286400
Counter12328028.31
jmc_quant19820800
jmc_quant_squaring582505600
k_branch_n6259200
Sorting_networks171435611.41
tipdiam286400
tipfixpoint421814400
uclid22950400
wmiforward6259200