Suite Scholl results for solvers
DQBF Solvers Track

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
dqbdd9874.16109.71281.410.641.470.889
hqs10324.62114.72293.520.778.210.678
iprover_hqspre_schedule45546.55506.07413.77723.23888.860.511
iprover_hqspre_single47671.24529.68422.51900888.870.444