Family | # Total | # Sat | # Unsat | Time |
---|---|---|---|---|
Abduction | 6 | 1 | 1 | 3746.06 |
C499 | 31 | 1339200 | ||
C880 | 60 | 1730906.5 | ||
circuits | 2 | 1 | 10811.06 | |
Counter | 12 | 1 | 132925.34 | |
jmc_quant | 21 | 330890.51 | ||
jmc_quant_squaring | 59 | 465489.29 | ||
k_branch_n | 6 | 2 | 4070.48 | |
Sorting_networks | 17 | 2 | 2 | 53265.59 |
tipdiam | 2 | 75238.4 | ||
tipfixpoint | 43 | 1 | 1004413.69 | |
uclid | 22 | 950400 | ||
wmiforward | 6 | 259200 |