Family | # Total | # Sat | # Unsat | Time |
---|---|---|---|---|
irqlkeapclte | 269 | 1 | 159527.76 | |
k_ph_n | 7 | 1 | 0 | |
MutexP | 78 | 7 | 4.26 | |
Qshifter | 62 | 6 | 73.34 | |
RankingFunctions | 78 | 49 | 1 | 3.13 |
Reduction-finding | 160 | 24 | 13 | 35779.83 |
Sorting_networks | 258 | 13 | 21 | 36268.18 |
terminator | 210 | 41 | 38124.42 | |
Tree | 26 | 5 | 0 | |
wmiforward | 179 | 50 | 15.84 |