Sota solver details
Prenex CNF Track

Instance: p20-20.pddl_planlen=29
Best Solver: depqbf_prefix_opt_qdo Time: 44.12 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf_pre_QxQBH 86.61 - - caqe-pre 592.18
- - Rareqs_2018 132.12 - - nanoqbf_bloqqer 846.58
- - Qute_rrs 134.86 - - - -
- - Qute_opt500 135.5 - - - -
- - Qute_default 135.58 - - - -
depqbf_prefix_opt_qdo(44.12)
depqbf_pre_QxQBH(86.61)
Rareqs_2018(132.12)
Qute_rrs(134.86)
Qute_opt500(135.5)
Qute_default(135.58)
caqe-pre(592.18)
nanoqbf_bloqqer(846.58)