QuBE7-m results solving families - 2010

Family# Total# Sat# UnsatTime
irqlkeapclte33136157.96
MutexP78444491.45
Qshifter6168277.94
RankingFunctions9359144.74
Sorting_networks954658717.48
terminator1205218204.28
wmiforward1583838596.95