Suite Mangassarian-Veneris results for solvers
QBFEVAL'17 - Prenex CNF Track

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve17074.63632.39323.36797.23562.030.222
caqe_2017_v118853.08698.26358.1900777.170.259
caqe_2017_v220982.21777.12294.990000.148
caqe_2017_v320978.91777294.290000.185
CUED1919_NL16490.52610.76271.05617.73417.920
CUED1919_NNL17675.05654.63294.59900532.710
dynQBF-bloqqer-hqspre22622.18837.86219.7490000.074
ghostq-cegar23198.86859.22151.339003.670.037
GhostQ-PG_cegar22789.05844.04163.059003.70.074
GhostQ-PG_plain23787.51881.0265.4790000
heretiq18985.18703.15343.14900569.750.296
HQSpre_solver18598.39688.83321.44900542.320.37
ijtihad_v118518.13685.86347.52900573.290.296
ijtihad_v218276.1676.89355.27900648.930.296
iProver-qbf-2017-07-27-v322564.39835.72227.2790000
iProver-qbf-bloqqer-2017-07-27-v323989.9888.5158.5690000.037
prefix-opt-depqbf21887810.63253.1990000.111
qbfrelay21365.85791.33235.9886.7239.410.148
qbfrelay-limited-depqbf21357.81791.03262.679006.280.148
QELL_default22148.58820.32235.7990000.111
QELL_unit22126.22819.49236.8990000.111
qesto22539.36834.79230.5590000.074
Qute_default17553.29650.12342.44896.42743.490.37
Qute_opt50017427.55645.46346.07900746.830.37
Qute_random17470.47647.05339.83900746.50.407
rareqs17134.16634.6372.76900819.680.37
rev_qfun0.119991.16740.41323.76896.6393.970.185
xb-qsts_bqsts2.023882.61884.5478.8390000.037
xb-qsts_xbqsts1.023936.86886.5568.5890000.037
xb-qsts_xbqsts2.023930.26886.3169.8390000.037