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

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve10994.23392.65414.56123.71881.080.607
caqe_2017_v123437.88837.07226.9690000.071
caqe_2017_v212885.69460.2440.51503.7894.240.5
caqe_2017_v311918.28425.65442.0271.71896.680.536
CUED1919_NL3991.36142.55172.348.59259.380
CUED1919_NNL2437.9887.07183.369.6195.80
dynQBF-bloqqer-hqspre18464.44659.44373.32900639.450.321
ghostq-cegar13557.51484.2446.65900896.820.464
GhostQ-PG_cegar13548.62483.88446.99900896.950.464
GhostQ-PG_plain11229.91401.07434.5792.37897.160.571
heretiq23385.98835.21231.4790000.071
HQSpre_solver21612.42771.87313.8590000.143
ijtihad_v123401.38835.76231.6190000.071
ijtihad_v223401.39835.76231.6190000.071
iProver-qbf-2017-07-27-v324519.88875.71126.2190000.036
iProver-qbf-bloqqer-2017-07-27-v322551.63805.42273.1290000.107
prefix-opt-depqbf22514.38804.09276.8990000.107
qbfrelay5465.25195.19269.474.03263.80.321
qbfrelay-limited-depqbf17756.56634.16374.65888.68720.950.321
QELL_default13532.02483.29447.64900899.620.464
QELL_unit13537.26483.47447.44900899.40.464
qesto24300.12867.8616790000.036
Qute_default19820.15707.86367.9290000.214
Qute_opt50013855.49494.84436.86900894.510.464
Qute_random13854.49494.8436.89900894.540.464
rareqs23403.08835.82231.3990000.071
rev_qfun0.19639344.25422.999.97896.870.643
xb-qsts_bqsts2.023158.54827.09233.1890000.107
xb-qsts_xbqsts1.023159.99827.14233.1290000.107
xb-qsts_xbqsts2.023162.5827.23233.0890000.107