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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
caqe-minisat-cert2124.92212.49202.02147.54148.50.2
caqe-picosat-cert2821.78282.18229.14155.34329.850.2
cheq4329.41432.94273.4607.34610.260.3
depqbf-cert-v14410.44441.04288.82623.03626.70
depqbf-cert-v25047.99504.8227.28614.43515.020.2