Suite Jordan-Kaiser results for solvers
QBFEVAL'17 - Prenex CNF Track

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve5400900090000
caqe_2017_v11406.91234.49333.7631.9135.310.833
caqe_2017_v22196.53366.09388.95191.23286.90.667
caqe_2017_v32193.55365.59388.91189.64282.290.667
CUED1919_NL2157.74359.62283.22362.613790.333
CUED1919_NNL2281.35380.23380.21207.99315.870.333
dynQBF-bloqqer-hqspre5400900090000
ghostq-cegar4613.85768.98292.98900786.150.167
GhostQ-PG_cegar1097.62182.94325.7714.8724.040.833
GhostQ-PG_plain4207.48701.25329.29900893.380.333
heretiq3935.54655.92358.44900899.550.333
HQSpre_solver5400900090000
ijtihad_v14500.45750.08335.24900899.550.167
ijtihad_v24500.45750.08335.24900899.550.167
iProver-qbf-2017-07-27-v34721.29786.88252.94900678.710.167
iProver-qbf-bloqqer-2017-07-27-v35242.83873.8158.57900157.170.167
prefix-opt-depqbf5400900090000
qbfrelay1615.95269.33288.93215.44213.950.167
qbfrelay-limited-depqbf5336.77889.461.84888.561.030
QELL_default2316.35386.06374.5232.87281.440.667
QELL_unit2277.05379.51375.5198.58247.980.667
qesto3646.48607.75413.5900898.350.333
Qute_default4672778.67271.319007280.167
Qute_opt5004534.16755.69322.68900865.840.167
Qute_random4534.78755.8322.45900865.220.167
rareqs1063.5177.25325.4624.0533.880.833
rev_qfun0.13704.06617.34400.71900896.20.333
xb-qsts_bqsts2.03047.82507.97396.85557.43897.220.5
xb-qsts_xbqsts1.03057.43509.57395.29557.43896.450.5
xb-qsts_xbqsts2.03058.29509.72395.12556.88896.410.5