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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
aqme-1047.874.793.274.44.281
caqe-portfolio2.60.260.10.220.21
squeezebf+aqme45.194.523.393.554.281