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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
aqme-103608.42451.05257.99600296.780.25
caqe-portfolio1907.89238.49107.05299.81109.550.25
squeezebf+aqme3608.57451.07257.95600296.760.25