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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
caqe-minisat-cert1191.27397.09279.16593.5591.20.333
caqe-picosat-cert1197.77399.26280.78595.77593.590.333
cheq702.28234.09264.3598.498.140.667
depqbf-cert-v11203.47401.16281.62596.72593.810
depqbf-cert-v21201.08400.36273.33593.22579.410.333