Family | # Total | # Sat | # Unsat | Time |
---|---|---|---|---|
irqlkeapclte | 269 | 8 | 132727.85 | |
k_ph_n | 7 | 1 | 0.21 | |
MutexP | 78 | 7 | 7.28 | |
Qshifter | 62 | 6 | 76.41 | |
RankingFunctions | 78 | 47 | 1 | 1206.08 |
Reduction-finding | 160 | 12 | 10 | 73177.64 |
Sorting_networks | 258 | 14 | 22 | 37102.38 |
terminator | 210 | 2 | 120555.55 | |
Tree | 26 | 5 | 0.78 | |
wmiforward | 179 | 50 | 91.85 |