depqbf-pre results solving families - 2010

Family# Total# Sat# UnsatTime
Abduction61112080.75
C4993111214456.4
C880602592000
circuits286400
Counter12334404.3
jmc_quant19820800
jmc_quant_squaring582505600
k_branch_n6259200
Sorting_networks171432037.97
tipdiam286400
tipfixpoint421814400
uclid22950400
wmiforward6259200