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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Caqe-bloqqer2166.1361.02401.78182.01360.320.667
Caqe-bloqqer-qdo937.34156.22332.76.475.760.833
Caqe-hqspre875.66145.94138.31110.48189.911
Cued_2_2018937.6156.27332.656.655.90.833
Cued_3_2018937.44156.24332.666.535.780.833
depqbf_prefix_opt_qdo5400.25900.040.02900.050.040
depqbf_pre_QxQBH583.2497.2180.9486.311351
GhostQ-PG_cegar5400.39900.070.02900.070.050
GhostQ-PG_plain5400.3900.050.03900.040.020
Heretiq-cube2814.4469.07431.83495.74894.950.5
Heretiq-simple2826.86471.14429.98501.4894.130.5
ijtihad3053.52508.92405.37615.38894.950.5
Iprover-HQSpre-Bloqqer790.25131.71130.8579.03124.361
PortfolioDepQBFGhostQRaReQSQute___pf4801.31800.22191.48900.05523.560.333
predyndep50.798.475.526.846.711
Qute_default1828.7304.78351.55110.51187.841
Qute_opt5002066.77344.46399.28122.63209.980.667
Qute_random1536.13256.02318.76109.64184.340.833
Rareqs_20184131.2688.53322.11900.01841.540.333