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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
caqe-minisat-cert4498.67449.87307.68389.98599.830.4
caqe-picosat-cert5400.44540.04300.89599.86599.810.3
cheq5008.03500.8318.53601.65603.990.4
depqbf-cert-v13385.2338.52335.0853.595.640.1
depqbf-cert-v23461.08346.11324.3686.34142.940.5