Sota solver details
Prenex CNF Track

Instance: dungeon_i25-m12-u5-v0.pddl_planlen=92
Best Solver: nanoqbf_hqspre Time: 17.58 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - caqe-pre 21.59 - - depqbf_prefix_opt_qdo 848.39
- - Caqe-hqspre 21.64 - - - -
- - Qute_rrs 22.91 - - - -
- - Qute_opt500 23 - - - -
- - Qute_default 23.07 - - - -
- - depqbf_pre_QxQBH 26.66 - - - -
nanoqbf_hqspre(17.58)
caqe-pre(21.59)
Caqe-hqspre(21.64)
Qute_rrs(22.91)
Qute_opt500(23)
Qute_default(23.07)
depqbf_pre_QxQBH(26.66)
depqbf_prefix_opt_qdo(848.39)