nenofex-qbfeval10 results solving families - 2010

Family# Total# Sat# UnsatTime
irqlkeapclte3316092.58
MutexP78434710.57
Qshifter6167141.79
RankingFunctions9313139172.32
Sorting_networks9579764.21
terminator12055640.81
wmiforward1582676496.95