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

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
aspq3_hit186120036000360000
caqe_hit1860850.453579.4482.25360000.059
depqbf_hit186120036000360000