Suite Amendola-Ricca-Truszczynski results for solvers
QBFEVAL'17 - Prenex 2QBF Track

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
ASPQ25877.09293.85313.74135.95695.30.65
CADET_201718000900090000
caqe_2017_v113456.32672.82358.43900578.90.3
caqe_2017_v212014.31600.72408.82900834.810.35
caqe_2017_v312011.4600.57408.98900834.640.35
CUED1919_NL18000900090000
CUED1919_NNL18000900090000
dynQBF-bloqqer-hqspre16213.37810.67267.9990000.1
DynQBF-bloqqer-hqspre-it16213.65810.68267.9590000.1
DynQBF-bloqqer-variant18000900090000
ghostq-cegar17917.14895.8618.0690000.05
GhostQ-PG_cegar17978.17898.914.7690000.05
GhostQ-PG_plain18000900090000
heretiq18000900090000
ijtihad_v118000900090000
ijtihad_v218000900090000
iProver-qbf-2017-07-27-v318000900090000
iProver-qbf-bloqqer-2017-07-27-v316238.78811.94264.1890000.1
no-prefix-opt-depqbf18000900090000
qbfrelay529.8726.4922.1617.5526.50.1
qbfrelay-limited-depqbf15446.74772.34277.6888.272.10.15
QELL_default18000900090000
QELL_unit18000900090000
qesto17164.81858.24182.0390000.05
rareqs14653.93732.7335.6890000.2
rev_qfun0.118000900090000
xb-qsts_bqsts2.017106.35855.32194.7790000.05
xb-qsts_xbqsts1.017107.77855.39194.4690000.05
xb-qsts_xbqsts2.017107.69855.38194.4790000.05