nenofex-qbfeval10 results solving families - 2010

Family# Total# Sat# UnsatTime
irqlkeapclte4119685.43
MutexP78434710.57
Qshifter6267189.58
RankingFunctions10613146547.58
Sorting_networks10995746.46
terminator13260793.43
wmiforward18626103154.84