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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
caqe-minisat-cert1561.85156.19153.24118.7840.490.1
caqe-picosat-cert3650.02365163.75385.14229.050.1
cheq5525.56552.56183.44610.5910.460.1
depqbf-cert-v10.980.10.010.10.031
depqbf-cert-v20.930.090.020.10.041