Family | # Total | # Sat | # Unsat | Time |
---|---|---|---|---|
irqlkeapclte | 269 | 1 | 159530.21 | |
k_ph_n | 7 | 1 | 0.07 | |
MutexP | 78 | 7 | 475.4 | |
Qshifter | 62 | 5 | 11329.74 | |
RankingFunctions | 78 | 1 | 46181.2 | |
Reduction-finding | 160 | 1 | 1 | 94768.74 |
Sorting_networks | 258 | 154740.68 | ||
terminator | 210 | 125947.5 | ||
Tree | 26 | 5 | 0.26 | |
wmiforward | 179 | 50 | 149.96 |