SOTA views
QBFEVAL'16 - 2QBF Track.

                                                          
FamilyOverallTimeHardness
N#SUEAMEMH
irqlkeapclte4646451600.93451
k_ph_n11101
MutexP7770.1916
Qshifter6661.6124
RankingFunctions50504911.6150
Reduction-finding483926132376.1327
Sorting_networks424115261628.99401
terminator5050248483.83491
Tree555032
wmiforward5050502.8545