Sota solver details
Prenex CNF Track

Instance: p10-10.pddl_planlen=20
Best Solver: depqbf_prefix_opt_qdo Time: 0.63 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Rareqs_2018 1.16 depqbf_pre_QxQBH 3.77 GhostQ___plain_pcnf_2019 23.8
- - Caqe-hqspre 2.28 nanoqbf_bloqqer 5.39 GhostQ___cegar_pcnf_2019 24.57
- - caqe-pre 2.28 nanoqbf_hqspre 5.42 - -
- - Qute_opt500 2.87 Caqe-bloqqer-qdo 6.2 - -
- - Qute_rrs 2.88 - - - -
- - Qute_default 2.89 - - - -
depqbf_prefix_opt_qdo(0.63)
Rareqs_2018(1.16)
Caqe-hqspre(2.28)
caqe-pre(2.28)
Qute_opt500(2.87)
Qute_rrs(2.88)
Qute_default(2.89)
depqbf_pre_QxQBH(3.77)
nanoqbf_bloqqer(5.39)
nanoqbf_hqspre(5.42)
Caqe-bloqqer-qdo(6.2)
GhostQ___plain_pcnf_2019(23.8)
GhostQ___cegar_pcnf_2019(24.57)
iprover_bloqqer_schedule(81.44)
iprover_bloqqer_single(82.96)