Solver performances for family instances
QBFEVAL'19 - DQBF Solvers Track


FamilyOverallTimeReference solver
N#SU
Balabanov_dqbf 342612141766.38hqs+ql+fs
Bloem_dqbf 10036342187.28hqs
Scholl_dqbf 1008622641268.04hqs+ql
Tentrup_dqbf 938112691359.28hqs+ql