ghostq-plain results solving families - 2016

Family# Total# Sat# UnsatTime
irqlkeapclte1941114643.04
k_ph_n710.42
MutexP78140790.58
Qshifter6148039.99
RankingFunctions64137789.73
Reduction-finding101259141.72
Sorting_networks21132120974.68
terminator1734228352.03
Tree2637239.62
wmiforward1632753268.81