Family | # Total | # Sat | # Unsat | Time |
---|---|---|---|---|
Abduction | 6 | 1 | 1 | 771.38 |
C499 | 31 | 1 | 1316474.09 | |
C880 | 60 | 2592000 | ||
circuits | 2 | 86400 | ||
Counter | 12 | 328028.31 | ||
jmc_quant | 21 | 907200 | ||
jmc_quant_squaring | 59 | 2548800 | ||
k_branch_n | 6 | 259200 | ||
Sorting_networks | 17 | 1 | 435611.41 | |
tipdiam | 2 | 86400 | ||
tipfixpoint | 43 | 1857600 | ||
uclid | 22 | 950400 | ||
wmiforward | 6 | 259200 |