Family s298 results for solvers
QBFEVAL'16 - Solver Portfolio Track.


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
aqme-104809.38480.94238.13600591.260.2
caqe-portfolio1438.85143.89130.8491.24294.240.6
squeezebf+aqme4837.6483.76232.62600563.130.2