iprover-QBF results solving families - 2016

Family# Total# Sat# UnsatTime
irqlkeapclte194101302.88
k_ph_n710.28
MutexP7864746.45
Qshifter6142689.49
RankingFunctions649121901.45
Reduction-finding101154462.17
Sorting_networks21191542.84
terminator17386042.85
Tree2651.22
wmiforward163553894.5