hiqqer1ldsq results solving families - 2016

Family# Total# Sat# UnsatTime
irqlkeapclte1945103451.46
k_ph_n710.14
MutexP7878.3
Qshifter61675.48
RankingFunctions644711203.19
Reduction-finding101121043855.35
Sorting_networks211142414742.99
terminator173199563.94
Tree2650.52
wmiforward1635035.57