Suite Wintersteiger results for solvers
QBFEVAL'17 - Prenex CNF Track

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve28828.23565.26350.05727.15754.350.314
caqe_2017_v136905.2723.63357.1290000.196
caqe_2017_v227545.55540.11420.11900887.830.431
caqe_2017_v327524.23539.69420.28900887.990.431
CUED1919_NL26334.74516.37274.14456.64517.420.02
CUED1919_NNL33205.66651.09337.39900569.520.02
dynQBF-bloqqer-hqspre34524.09676.94382.23900819.90.255
ghostq-cegar41365.25811.08244.9190000.02
GhostQ-PG_cegar22206.96435.43420.88303.8894.480.471
GhostQ-PG_plain24903.24488.3421.81628.82892.840.412
heretiq36165.52709.13364.5490000.216
HQSpre_solver35673.51699.48362.67900710.730.235
ijtihad_v136913.03723.78356.8190000.196
ijtihad_v236912.01723.76356.8590000.196
iProver-qbf-2017-07-27-v341933.99822.24189.1990000.059
iProver-qbf-bloqqer-2017-07-27-v333875.55664.23383900853.270.275
prefix-opt-depqbf42324.85829.9240.3190000.078
qbfrelay19760.8387.47371.74220.98863.350.333
qbfrelay-limited-depqbf32347.48634.26381.08888.3804.750.314
QELL_default40121.93786.7288.0390000.137
QELL_unit39638.43777.22307.8390000.137
qesto39587.91776.23309.4490000.157
Qute_default33380.12654.51385.01900832.610.294
Qute_opt50028712.66562.99402.09900860.70.431
Qute_random28648.26561.73400.82900858.90.451
rareqs35305.12692.26375.3900717.310.235
rev_qfun0.135359.96693.33358.52900621.350.157
xb-qsts_bqsts2.035360.85693.35373.5900696.740.235
xb-qsts_xbqsts1.035355.18693.24373.65900702.170.235
xb-qsts_xbqsts2.035358.84693.31373.55900698.90.235