Family sketch results for solvers
QBFEVAL'18 - Prenex CNF Track


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Caqe-bloqqer7182.92718.29359.18900.01900.020.3
Caqe-bloqqer-qdo8438.93843.89112.3900.02274.220.2
Caqe-hqspre7231.56723.16353.78900.03884.420.2
Cued_2_20185588.99558.9419.07900.03889.540.4
Cued_3_20185598.43559.84418.12900.02889.50.4
depqbf_prefix_opt_qdo9000.53900.050.03900.070.070
depqbf_pre_QxQBH9000.37900.040.02900.030.030
GhostQ-PG_cegar9000.33900.030.02900.030.040
GhostQ-PG_plain9000.53900.050.03900.060.060
Heretiq-cube5895.91589.5952.8595.2289.430
Heretiq-simple9000.37900.040.04900.020.020
ijtihad9000.59900.060.02900.070.030
Iprover-HQSpre-Bloqqer9000.5900.050.02900.050.030
PortfolioDepQBFGhostQRaReQSQute___pf7428.06742.81314.45900.02785.970.2
predyndep9000.22900.020.02900.020.020
Qute_default7504.09750.41299.26900.03745.930.2
Qute_opt5009000.31900.030.02900.030.010
Qute_random9000.34900.030.03900.030.020
Rareqs_20184947.13494.71353.21353.32900.020.6