Suite Mneimneh-Sakallah results for solvers
QBFEVAL'17 - Prenex CNF Track

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve14793.28821.85156.52900195.860.222
caqe_2017_v16964.57386.92346.69277.9624.030.778
caqe_2017_v26954.74386.37346.72208.69548.980.722
caqe_2017_v36954.25386.35346.87206.52550.050.722
CUED1919_NL3359.28186.63184.7691.64202.450
CUED1919_NNL1915.57106.42185.9922.1779.760
dynQBF-bloqqer-hqspre16200900090000
ghostq-cegar2846.88158.16267.9645.53116.20.889
GhostQ-PG_cegar2337.08129.84274.3421.2347.290.889
GhostQ-PG_plain2180.34121.13276.3714.2746.190.889
heretiq13720.43762.25284.9900252.330.222
HQSpre_solver16200900090000
ijtihad_v116200900090000
ijtihad_v216200900090000
iProver-qbf-2017-07-27-v315958.59886.5955.390000
iProver-qbf-bloqqer-2017-07-27-v315926.23884.7962.7190000
prefix-opt-depqbf16200900090000
qbfrelay15482.99860.1795.81886.35.560
qbfrelay-limited-depqbf15547.13863.73149.5590000.056
QELL_default3296.22183.12306.9918.3288.410.889
QELL_unit3378.64187.7303.7221.36148.650.889
qesto8025.24445.85346.08332.49675.940.722
Qute_default10334.76574.15365.52811.7788.120.5
Qute_opt50012945.01719.17339.53900712.050.222
Qute_random12945.96719.22339.43900711.670.222
rareqs6431.68357.32336.89207.14509.940.778
rev_qfun0.13340.04185.56264.5885.32117.730.889
xb-qsts_bqsts2.06547363.72385.94139.96858.310.667
xb-qsts_xbqsts1.07340.06407.78357.11222.74793.910.667
xb-qsts_xbqsts2.07342.77407.93357.12220.23794.170.667