Family | # Total | # Sat | # Unsat | Time |
---|---|---|---|---|
irqlkeapclte | 265 | 4 | 75205.57 | |
k_ph_n | 7 | 1 | 0.28 | |
MutexP | 78 | 7 | 98.75 | |
Qshifter | 62 | 6 | 145.07 | |
RankingFunctions | 78 | 49 | 57.43 | |
Reduction-finding | 160 | 1 | 80334.47 | |
Sorting_networks | 258 | 99773.73 | ||
terminator | 210 | 1 | 1 | 90074.33 |
Tree | 26 | 5 | 1.04 | |
wmiforward | 179 | 49 | 4029.68 |