Suite Sauer-Reimer results for solvers
QBFEVAL'17 - Prenex CNF Track

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve6884.75529.6410.23900894.350.462
caqe_2017_v16308.44485.26447.97900898.570.462
caqe_2017_v24521.66347.82436.543.34898.50.615
caqe_2017_v34522.11347.85436.513.38898.470.615
CUED1919_NL1968.59151.43274.5112.0269.410
CUED1919_NNL2032156.31315.5311.1545.650
dynQBF-bloqqer-hqspre2942.71226.36369.525.5148.590.769
ghostq-cegar4749.48365.34423.143.54878.370.615
GhostQ-PG_cegar4483.45344.88407.8326.95776.760.692
GhostQ-PG_plain4231.92325.53402.8137.52691.430.692
heretiq5730.26440.79433.03321.67898.60.538
HQSpre_solver6427.09494.39439.05900897.130.462
ijtihad_v15575.78428.91438.22167.23898.60.538
ijtihad_v25521.28424.71440.96112.73898.590.538
iProver-qbf-2017-07-27-v34777.62367.51372.19144.75614.880.692
iProver-qbf-bloqqer-2017-07-27-v34282.93329.46327.94215.52246.640.769
prefix-opt-depqbf3935.06302.7405.576.97598.540.692
qbfrelay1006.177.39127.2323.138.10.769
qbfrelay-limited-depqbf2901.41223.19365.97.3197.880.769
QELL_default9002.68692.51378.82900448.990.231
QELL_unit9002.69692.51378.81900448.980.231
qesto6314.51485.73447.46900897.960.462
Qute_default4526.78348.21436.235.64897.480.615
Qute_opt5004524.72348.06436.363.62897.480.615
Qute_random4524.62348.05436.363.63897.480.615
rareqs5412.42416.34447.784.93898.720.538
rev_qfun0.12855.25219.63338.7218.32127.480.846
xb-qsts_bqsts2.06384.13491.09441.75900886.580.462
xb-qsts_xbqsts1.05968.4459.11423.93461.76881.690.538
xb-qsts_xbqsts2.05971.01459.31423.97464.87881.710.538