Suite Akshay-Chakraborty-John-Shah-Rabe results for solvers
QBFEVAL'18 - Prenex 2QBF Track

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
aspq2v33600.2211.78381.79000.765
aspq3alt4500.77264.75410.070450.310.706
ASPQ_20184500.83264.75410.070450.320.706
CADET_20175644.21332.01422.1610.16899.590.647
Caqe-bloqqer2702.1158.95343.06000.824
Caqe-bloqqer-qdo4500.92264.76410.090450.310.706
Caqe-hqspre8130.31478.25447.45900.01900.060.471
Cued_2_20182991.35175.96340.48017.470.824
Cued_3_20182988.78175.81340.44017.430.824
depqbf_prefix_opt_qdo9000.25529.43442.95900900.030.412
depqbf_pre_QxQBH3609.98212.35381.460.583.180.765
GhostQ-PG_cegar15300.78900.050.02900.040.020
GhostQ-PG_plain15300.99900.060.03900.060.040
Heretiq-cube1946.2114.48206.6000.765
Heretiq-simple3600.09211.77381.77000.765
ijtihad3600.18211.78381.7800.010.765
Iprover-HQSpre-Bloqqer6301.5370.68442.890900.020.588
PortfolioDepQBFGhostQRaReQSQute___pf9187.38540.43431.03900.01894.560.412
predyndep1864.5109.68288.8301.460.882
Qute_default9005.56529.74442.58900900.030.412
Qute_opt5008114.23477.31448.38900.01900.030.471
Qute_random8114.19477.31448.38900.01900.020.471
Rareqs_20182758.34162.26341.79000.824