depqbf-v3 results solving families - 2016

Family# Total# Sat# UnsatTime
irqlkeapclte194116350.75
k_ph_n710
MutexP787453.59
Qshifter616323.06
RankingFunctions64491102.07
Reduction-finding1013854867.24
Sorting_networks2118786313.79
terminator1732567040.83
Tree2650
wmiforward1631861027.99