SOTA views
QBFEVAL'17 - Prenex 2QBF Track

                                                          
FamilyOverallTimeHardness
N#SUEAMEMH
amba422158.732
arithmetic55575.145
cycle-sched44422.514
disjunctive_decomposition55412.3741
driver4440.374
genbuf4000 -
HardwareFixpoint86803743902.366677
hwmcc444358.084
irqlkeapclte353535140.1835
ltl2aig-comp41110.451
LTL2DBA4110.431
mult-matrix4334.163
RankingFunctions3737371.837
Reduction-finding827041292349.793634
Selection-hard1088497.6853
sketch988440.888
Sorting_networks2623716446.6423
terminator393953434.239
toy4444.144
wgrowing1066492.8933
wmiforward4440.124