struqs-10 results solving families - 2010

Family# Total# Sat# UnsatTime
Abduction6259200
C49931540877.73
C88060581141.18
circuits230734.8
Counter12303567
jmc_quant19192767.93
jmc_quant_squaring47296649.96
k_branch_n6259200
Sorting_networks16691200
tipdiam242234
tipfixpoint385789245.62
uclid22950400
wmiforward6259200