Suite qbfeval12 results for solvers
QBFEVAL'16 - Solver Portfolio Track.

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
aqme-10603.81100.64223.320.770.090.833
caqe-portfolio319.7553.29110.275.234.310.833
squeezebf+aqme603.77100.63223.330.780.150.833