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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
aspq3_hit1849556.391835.421614.091703.883543.10.593
caqe_hit1894248.443490.68557.41360000.037
depqbf_hit189720036000360000