Family k_lin_p results for solvers
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
caqe-minisat-cert16.111.612.240.971.191
caqe-picosat-cert26.962.73.821.42.091
cheq48.264.836.592.784.260
depqbf-cert-v14.970.50.510.310.351
depqbf-cert-v24.830.480.520.310.31