Family | # Total | # Sat | # Unsat | Time |
---|---|---|---|---|
irqlkeapclte | 269 | 161332.06 | ||
k_ph_n | 7 | 1 | 0 | |
MutexP | 78 | 7 | 453.59 | |
Qshifter | 62 | 6 | 325.11 | |
RankingFunctions | 78 | 49 | 1 | 217.09 |
Reduction-finding | 160 | 3 | 8 | 89912.15 |
Sorting_networks | 258 | 8 | 7 | 113038.23 |
terminator | 210 | 25 | 86371.84 | |
Tree | 26 | 5 | 0 | |
wmiforward | 179 | 18 | 68427.87 |