SOTA views
QBFEVAL'18 - Prenex 2QBF Track

                                                          
FamilyOverallTimeHardness
N#SUEAMEMH
amba3334.473
arithmetic88860.8962
cycle-sched66618.426
disjunctive_decomposition9972253.839
driver66606
genbuf1117.741
HardwareFixpoint71682246669.871598
hwmcc622102.062
irqlkeapclte454545181.3445
ltl2aig-comp1113.631
LTL2DBA22202
LTL2DPA1111.131
Model_instances6624260.2151
mult-matrix5554.065
Q_2_3201919670.34172
RankingFunctions3131310229
Reduction-finding706943262894.04654
Selection-hard888505.888
sketch10881478.1544
Sorting_networks25251312405.1625
terminator464664019.79838
toy55505
wgrowing666493.936
wmiforward1111110.5111