Suite Chen-Interian results for solvers
QBFEVAL'18 - Hard Instances Track

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
aspq3_hit18613306.513407.26796.38360000.056
caqe_hit1864800036000360000
depqbf_hit1864800036000360000