SOTA views
QBFEVAL'18 - DQBF Solvers Track

                                                          
FamilyOverallTimeHardness
N#SUEAMEMH
Balabanov_dqbf3418810956.16111
Bloem_dqbf10035314812.4412185
Scholl_dqbf100601248605.42182121
Tentrup_dqbf1008217654036.94181747