Sota solver details
Prenex CNF Track

Instance: p20-10.pddl_planlen=39
Best Solver: depqbf_prefix_opt_qdo Time: 7.11 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Rareqs_2018 18.35 depqbf_pre_QxQBH 68.73 nanoqbf_bloqqer 107.23
- - Qute_opt500 19.66 - - Caqe-bloqqer-qdo 144.7
- - Qute_rrs 19.76 - - GhostQ___plain_pcnf_2019 188.94
- - Qute_default 19.84 - - GhostQ___cegar_pcnf_2019 259.29
- - - - - - nanoqbf_hqspre 326.12
- - - - - - caqe-pre 326.84
- - - - - - Caqe-hqspre 337.66
- - - - - - iprover_bloqqer_schedule 476.98
- - - - - - iprover_bloqqer_single 613.46

depqbf_prefix_opt_qdo(7.11)
Rareqs_2018(18.35)
Qute_opt500(19.66)
Qute_rrs(19.76)
Qute_default(19.84)
depqbf_pre_QxQBH(68.73)
nanoqbf_bloqqer(107.23)
Caqe-bloqqer-qdo(144.7)
GhostQ___plain_pcnf_2019(188.94)
GhostQ___cegar_pcnf_2019(259.29)
nanoqbf_hqspre(326.12)
caqe-pre(326.84)
Caqe-hqspre(337.66)
iprover_bloqqer_schedule(476.98)
iprover_bloqqer_single(613.46)