Family Tentrup_dqbf results for solvers
DQBF Solvers Track


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
dqbdd8188.1590.98237.0111.6725.720.922
hqs11689.24129.88289.67.4631.110.833
iprover_hqspre_schedule50820.15564.67389.84900823.090.422
iprover_hqspre_single53560.74595.12392.25900823.140.378