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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
caqe-minisat-cert26.852.694.490.621.720.8
caqe-picosat-cert40.174.025.811.012.850.8
cheq254.6725.4747.70.678.410.1
depqbf-cert-v118.881.892.830.461.141
depqbf-cert-v216.361.642.380.410.921