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

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
aspq3_hit181080036000360000
caqe_hit189230.613076.87471.873174.12717.630.667
depqbf_hit181080036000360000