iprover-QBF results solving families - 2016

Family# Total# Sat# UnsatTime
irqlkeapclte259135466.79
k_ph_n710.28
MutexP7864746.45
Qshifter6242879.73
RankingFunctions759128032.28
Reduction-finding152182955.11
Sorting_networks252109246.9
terminator206101750.83
Tree2651.22
wmiforward175558737.94