hiqqer3 results solving families - 2016

Family# Total# Sat# UnsatTime
irqlkeapclte194895323.09
k_ph_n710.21
MutexP7877.28
Qshifter61675.95
RankingFunctions644711204.23
Reduction-finding101121043983.65
Sorting_networks211142224415.09
terminator173298364.88
Tree2650.78
wmiforward1635044.13