QuBE7-m results solving families - 2010

Family# Total# Sat# UnsatTime
irqlkeapclte42146958.31
MutexP78444491.45
Qshifter6268316.63
RankingFunctions10859167.37
Sorting_networks1104674297.44
terminator1355235044.57
wmiforward1953858046.61