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

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
dCaqe14415.66423.99423.54171.03888.660.618
hqs16484.71484.84412.59621.84892.350.559
hqs+ql16456.58484.02412.44622.72892.560.559
hqs+ql+fs8966.76263.73370.8913.03425.640.765
iprover_hqspre26774.06787.47274.29900.050.050.147