Family | # Total | # Sat | # Unsat | Time |
---|---|---|---|---|
irqlkeapclte | 269 | 159304.9 | ||
k_ph_n | 7 | 1 | 0.21 | |
MutexP | 78 | 7 | 7.77 | |
Qshifter | 62 | 3 | 20736.4 | |
RankingFunctions | 78 | 32 | 1 | 19568.43 |
Reduction-finding | 160 | 4 | 8 | 86604.51 |
Sorting_networks | 258 | 8 | 9 | 110826.86 |
terminator | 210 | 47 | 28757.02 | |
Tree | 26 | 5 | 0.52 | |
wmiforward | 179 | 8 | 89288.38 |