Suite Jordan-Kaiser results for solvers
QBFEVAL'18 - Hard Instances Track

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
aspq3_hit1842011.53500.96328.48360000.083
caqe_hit184320036000360000
depqbf_hit184320036000360000