Family Q_2_3 results for solvers
QBFEVAL'18 - Hard Instances Track


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
aspq3_hit1876906.512480.861626.5936003531.680.323
caqe_hit1811160036000360000
depqbf_hit1811160036000360000