Family | # Total | # Sat | # Unsat | Time |
---|---|---|---|---|
Abduction | 6 | 1 | 5515.74 | |
C499 | 31 | 1 | 1018385 | |
C880 | 60 | 1 | 2504655.05 | |
circuits | 2 | 86400.2 | ||
Counter | 12 | 6608.06 | ||
jmc_quant | 21 | 1 | 1 | 574980.17 |
jmc_quant_squaring | 59 | 1 | 2081715.86 | |
k_branch_n | 6 | 32111.31 | ||
Sorting_networks | 17 | 1 | 126205.85 | |
tipdiam | 2 | 86400.2 | ||
tipfixpoint | 43 | 1 | 1219416.06 | |
uclid | 22 | 882864.43 | ||
wmiforward | 6 | 1 | 132071.61 |