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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
caqe-minisat-cert1462.83182.85215.97125.8305.430.5
caqe-picosat-cert1744.86218.11216.84205.08366.750.5
cheq2448.04306.01301.03306.39598.250.375
depqbf-cert-v12479.59309.95309.02288.77624.680.125
depqbf-cert-v22816.26352.03287.26469.42618.580.5