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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
aqme-1084.858.496.126.968.821
caqe-portfolio2183.44218.34125.16299.79277.950.3
squeezebf+aqme2525.1252.51283.8131.05588.920.6