dynQBF results solving families - 2016

Family# Total# Sat# UnsatTime
irqlkeapclte1941114550.16
k_ph_n710.07
MutexP787475.4
Qshifter61510729.93
RankingFunctions64137784.86
Reduction-finding1011159380.74
Sorting_networks211126551.09
terminator173103756.63
Tree2650.26
wmiforward1635079.6