SOTA views
QBFEVAL'10 - 2QBF Track.

                                                          
FamilyOverallTimeHardness
N#SUEAMEMH
irqlkeapclte7110.461
MutexP7775.0834
Qshifter6662.5124
RankingFunctions606059121.1260
Sorting_networks1717710107.19134
terminator57545421.82522
wmiforward4638381778.821127