QuBE7-c results solving families - 2010

Family# Total# Sat# UnsatTime
irqlkeapclte33136114.71
MutexP78444510.12
Qshifter6168384.52
RankingFunctions9359143.93
Sorting_networks955648516.16
terminator1205218240.49
wmiforward1583837791.48