dynQBF results solving families - 2016

Family# Total# Sat# UnsatTime
irqlkeapclte2591153532.81
k_ph_n710.07
MutexP787475.4
Qshifter62511329.74
RankingFunctions75144381.97
Reduction-finding1521189970.46
Sorting_networks252151142.02
terminator206123548.46
Tree2650.26
wmiforward17550132.37