Family | # Total | # Sat | # Unsat | Time |
---|---|---|---|---|
irqlkeapclte | 269 | 1 | 160607.58 | |
k_ph_n | 7 | 1 | 0 | |
MutexP | 78 | 7 | 51.78 | |
Qshifter | 62 | 6 | 19.45 | |
RankingFunctions | 78 | 46 | 1 | 2017.98 |
Reduction-finding | 160 | 4 | 93805.59 | |
Sorting_networks | 258 | 154730.23 | ||
terminator | 210 | 22 | 85173.8 | |
Tree | 26 | 5 | 0 | |
wmiforward | 179 | 7 | 91784.35 |