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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
caqe-minisat-cert3945.25394.53261.87554.26598.430.5
caqe-picosat-cert2248.76224.88260.4853.2311.670.7
cheq3716.38371.64289.41604.06606.370.3
depqbf-cert-v12322.62232.26282.179.56462.730.6
depqbf-cert-v26240.74624.0720.3621.4723.50