Family k_branch_p results for solvers
Prenex CNF Track


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Caqe-bloqqer-qdo128.8225.7622.0412.8514.351
Caqe-hqspre826.25165.25111.61177.75155.21
caqe-pre789.78157.96113.3150.94136.61
depqbf_prefix_opt_qdo2.520.50.370.630.611
depqbf_pre_QxQBH763.26152.6553.95174.0779.351
GhostQ___cegar_pcnf_20194500900090000
GhostQ___plain_pcnf_20194500900090000
iprover_bloqqer_schedule1830.07366.0143612.88447.850.6
iprover_bloqqer_single1829.53365.91436.0912.51447.750.6
nanoqbf_bloqqer1897.66379.53425.9184.36485.530.6
nanoqbf_hqspre4500900090000
Qute_default1106.17221.23143.09228.16229.161
Qute_opt5001189.29237.86153.35248.85259.130.8
Qute_rrs1125.72225.14139.05254.04232.731
Rareqs_20182719.6543.92436.15900890.20.4