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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
aqme-106000600060000
caqe-portfolio1514.77151.48148.39154.62298.970.5
squeezebf+aqme6000600060000