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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Caqe-bloqqer4494.82898.962.19900.062.750.2
Caqe-bloqqer-qdo3958.47791.69216.73900.02270.930.2
Caqe-hqspre4500.21900.040.03900.040.050
Cued_2_20184500.13900.030.02900.020.010
Cued_3_20184500.16900.030.02900.050.040
depqbf_prefix_opt_qdo4500.22900.040.02900.040.020
depqbf_pre_QxQBH4500.33900.070.02900.050.020
GhostQ-PG_cegar3864.78772.96254.16900.03317.710.2
GhostQ-PG_plain3850.24770.05260900.01325.030.2
Heretiq-cube4500.34900.070.02900.070.030
Heretiq-simple4500.2900.040.03900.050.040
ijtihad4500.28900.060.03900.040.030
Iprover-HQSpre-Bloqqer4500.18900.040.04900.030.040
PortfolioDepQBFGhostQRaReQSQute___pf4500.26900.050.03900.070.060
predyndep3095.93619.19343.94900702.060.4
Qute_default4500.27900.050.02900.060.030
Qute_opt5004500.24900.050.03900.040.010
Qute_random4500.33900.070.03900.070.050
Rareqs_20184500.25900.050.02900.060.030