QuBE7-m results solving families - 2010

Family# Total# Sat# UnsatTime
irqlkeapclte41145758.27
MutexP78444491.45
Qshifter6268316.63
RankingFunctions10659166.02
Sorting_networks1094673097.38
terminator1325231444.5
wmiforward1863853184.56