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

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Caqe-bloqqer901.98112.75297.5500.990.875
Caqe-bloqqer-qdo1800.7225.09389.680450.330.75
Caqe-hqspre3627.86453.48446.62463.89900.030.5
Cued_2_2018934.69116.84296.23017.330.875
Cued_3_2018935.14116.89296.21017.560.875
depqbf_prefix_opt_qdo4500.19562.52435.73900.02900.050.375
depqbf_pre_QxQBH1804.19225.52389.440.23451.840.75
GhostQ-PG_cegar7200.28900.040.03900.030.030
GhostQ-PG_plain7200.36900.050.03900.050.050
Heretiq-cube993.6124.2215.450236.510.75
Heretiq-simple1800.06225.01389.7204500.75
ijtihad1800.16225.02389.750450.040.75
Iprover-HQSpre-Bloqqer2700.21337.53435.740900.070.625
PortfolioDepQBFGhostQRaReQSQute___pf4660.7582.59411.91900.02822.510.375
predyndep913.61114.2297.0606.770.875
Qute_default4500.2562.53435.73900.01900.050.375
Qute_opt5003606.52450.82449.21453.22900.020.5
Qute_random3606.61450.83449.22453.23900.040.5
Rareqs_2018958.14119.77295.53029.050.875