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

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve4500900090000
caqe_2017_v13605.46721.09357.82900447.270.2
caqe_2017_v24500900090000
caqe_2017_v34500900090000
CUED1919_NL92.1818.448.2914.493.950
CUED1919_NNL13.612.720.92.360.520
dynQBF-bloqqer-hqspre4500900090000
ghostq-cegar3608.41721.68356.64900445.80.2
GhostQ-PG_cegar3609.71721.94356.12900445.150.2
GhostQ-PG_plain3731.2746.24307.52900384.40.2
heretiq4500900090000
HQSpre_solver4500900090000
ijtihad_v14500900090000
ijtihad_v24500900090000
iProver-qbf-2017-07-27-v34500900090000
iProver-qbf-bloqqer-2017-07-27-v34500900090000
prefix-opt-depqbf4127.89825.58148.84900186.060.2
qbfrelay3500.02700102.39646.0853.660
qbfrelay-limited-depqbf4466.08893.222.28894.073.810
QELL_default3729.31745.86308.28900385.350.2
QELL_unit3622.46724.49351.02900438.770.2
qesto4481.51896.37.49009.250.2
Qute_default3689.55737.91324.18900405.230.2
Qute_opt5003664.15732.83334.34900417.930.2
Qute_random3664.3732.86334.28900417.850.2
rareqs3770.48754.1291.81900364.760.2
rev_qfun0.13845.66769.13261.74900327.170.2
xb-qsts_bqsts2.03338.16667.63334.95900580.920.4
xb-qsts_xbqsts1.03396679.2317.59005520.4
xb-qsts_xbqsts2.03398.47679.69317.37900550.770.4