ghostq-plain results solving families - 2016

Family# Total# Sat# UnsatTime
irqlkeapclte2691159640.1
k_ph_n710.42
MutexP78140790.58
Qshifter6248334.63
RankingFunctions78146187.87
Reduction-finding160294349.18
Sorting_networks25832149167.38
terminator2104238067.18
Tree2637239.62
wmiforward1792760473.57