QuBE7 results solving families - 2010

Family# Total# Sat# UnsatTime
irqlkeapclte33136053.7
MutexP78444421.1
Qshifter6168383.9
RankingFunctions9359137.66
Sorting_networks954845273.23
terminator1205410852.28
wmiforward1583639809.32