Suite Ansotegui results for solvers
QBFEVAL'18 - Hard Instances Track

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
aspq3_hit183600036000360000
caqe_hit183600036000360000
depqbf_hit1828982.582898.261097.5736002368.430.3