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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
aqme-106.060.610.150.520.031
caqe-portfolio1.210.1200.1201
squeezebf+aqme5.430.540.10.510.011