Sota solver details
Prenex CNF Track

Instance: p20-20.pddl_planlen=30
Best Solver: depqbf_prefix_opt_qdo Time: 19.08 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf_pre_QxQBH 76.89 Qute_opt500 131.33 caqe-pre 595.12
- - - - Qute_default 131.45 - -
- - - - Qute_rrs 132.18 - -
- - - - Rareqs_2018 138.93 - -

depqbf_prefix_opt_qdo(19.08)
depqbf_pre_QxQBH(76.89)
Qute_opt500(131.33)
Qute_default(131.45)
Qute_rrs(132.18)
Rareqs_2018(138.93)
caqe-pre(595.12)