Family | # Total | # Sat | # Unsat | Time |
---|---|---|---|---|
irqlkeapclte | 269 | 1 | 159640.1 | |
k_ph_n | 7 | 1 | 0.42 | |
MutexP | 78 | 1 | 40790.58 | |
Qshifter | 62 | 4 | 8334.63 | |
RankingFunctions | 78 | 1 | 46187.87 | |
Reduction-finding | 160 | 2 | 94349.18 | |
Sorting_networks | 258 | 3 | 2 | 149167.38 |
terminator | 210 | 42 | 38067.18 | |
Tree | 26 | 3 | 7239.62 | |
wmiforward | 179 | 27 | 60473.57 |