Suite Balabanov results for solvers
DQBF Solvers Track

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
dqbdd18646.67548.43415.32900892.590.353
hqs19197.09564.62423.37900891.830.382
iprover_hqspre_schedule25959.24763.51296.6190000.176
iprover_hqspre_single26603.84782.47283.8790000.147