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

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Caqe-bloqqer7680.95384.05384.9171.33833.490.65
Caqe-bloqqer-qdo7506.79375.34399.35131.82866.260.65
Caqe-hqspre9269.86463.49416.26451.86884.580.6
Cued_2_201816214.05810.7268.01900.030.050.1
Cued_3_201816214.16810.71268.02900.040.050.1
depqbf_prefix_opt_qdo17100.84855.04196.16900.030.060.05
depqbf_pre_QxQBH15012.64750.63288.15900.02147.290.25
GhostQ-PG_cegar17971.33898.576.44900.040.030.05
GhostQ-PG_plain18000.92900.050.03900.050.040
Heretiq-cube14582.72729.14341.87900.040.070.2
Heretiq-simple12897.96644.9371.8900.03739.770.35
ijtihad18001.27900.060.03900.080.040
Iprover-HQSpre-Bloqqer16202.2810.11269.79900.030.050.1
PortfolioDepQBFGhostQRaReQSQute___pf7384.63369.23433.4621.27888.170.6
predyndep16209.92810.5268.63900.020.040.1
Qute_default7797.57389.88418.8137.78889.150.6
Qute_opt5007386.54369.33375.97237.5896.10.7
Qute_random7385.34369.27375.83238.24896.130.7
Rareqs_20189599.76479.99392.38376.88830.880.55