Suite Balabanov results for solvers
QBFEVAL'18 - DQBF Solvers Track

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
dCaqe24762.28728.3316.72900463.860.235
hqs18773.02552.15396.21900779.890.441
idq15728.28462.6427.09491.23893.090.529
iprover_dqbf1816105.07473.68428.33538.53879.440.5
iprover_hqspre20913.91615.12394.11900820.330.353