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

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
aspq2v33785.18189.26290.8311.85282.990.9
aspq3alt3893.79194.69290.2917.81296.660.9
ASPQ_20183869.06193.45289.4217.77297.810.9
CADET_201718000.75900.040.03900.040.050
Caqe-bloqqer12169.18608.46399.37900.03762.190.35
Caqe-bloqqer-qdo11899.23594.96415.89900.02862.080.35
Caqe-hqspre11059.11552.96425.75900.04872.930.4
Cued_2_201816220.97811.05266.96900.020.050.1
Cued_3_201816221.14811.06266.95900.030.050.1
depqbf_prefix_opt_qdo18000.94900.050.03900.050.050
depqbf_pre_QxQBH14990.81749.54288.47900.03160.090.25
GhostQ-PG_cegar18000.96900.050.03900.050.050
GhostQ-PG_plain18000.86900.040.03900.050.050
Heretiq-cube14828.33741.42320.29900.030.040.2
Heretiq-simple14762.11738.11325.39900.040.050.2
ijtihad18001900.050.03900.060.040
Iprover-HQSpre-Bloqqer16203.33810.17269.6900.030.040.1
PortfolioDepQBFGhostQRaReQSQute___pf9130.63456.53443.53460.89888.230.5
predyndep16215.51810.78267.8900.040.040.1
Qute_default8799.91440418.76149.88878.510.55
Qute_opt5009463.73473.19409.16482.18885.260.55
Qute_random9439.41471.97409.41472.75885.260.55
Rareqs_201810651.98532.6409.35900.01834.350.45