QuBE7-c results solving families - 2010

Family# Total# Sat# UnsatTime
irqlkeapclte41145715.01
MutexP78444510.12
Qshifter6268423.48
RankingFunctions10659164.7
Sorting_networks1095661196.18
terminator1325231507.44
wmiforward1863852316.72