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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
caqe-minisat-cert510.251.0243.3727.8164.81
caqe-picosat-cert509.7850.9843.3527.8264.851
cheq4744.26474.43194.67599.72437.730.3
depqbf-cert-v1478.1847.8231.8842.144.321
depqbf-cert-v2452.8345.2830.7240.542.221