SOTA views
QBFEVAL'19 - DQBF Solvers Track

                                                          
FamilyOverallTimeHardness
N#SUEAMEMH
Balabanov_dqbf342814141473.424195
Bloem_dqbf10041392267.572885
Scholl_dqbf1008923661085.7539455
Tentrup_dqbf9387137471742405