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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
aqme-1018.873.155.080.810.321
caqe-portfolio13.442.244.220.170.11
squeezebf+aqme259.543.2588.671.221.031