Sota solver details
Prenex CNF Track

Instance: s38584_PR_9_5
Best Solver: depqbf_prefix_opt_qdo Time: 0.62 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Rareqs_2018 1.32 depqbf_pre_QxQBH 3.84 GhostQ___cegar_pcnf_2019 8.25
- - Qute_rrs 2.11 GhostQ___plain_pcnf_2019 4.26 nanoqbf_bloqqer 18.17
- - Qute_default 2.16 - - - -
- - Qute_opt500 2.19 - - - -
- - Caqe-hqspre 2.28 - - - -
- - caqe-pre 2.28 - - - -
- - Caqe-bloqqer-qdo 2.58 - - - -
- - nanoqbf_hqspre 2.79 - - - -
depqbf_prefix_opt_qdo(0.62)
Rareqs_2018(1.32)
Qute_rrs(2.11)
Qute_default(2.16)
Qute_opt500(2.19)
Caqe-hqspre(2.28)
caqe-pre(2.28)
Caqe-bloqqer-qdo(2.58)
nanoqbf_hqspre(2.79)
depqbf_pre_QxQBH(3.84)
GhostQ___plain_pcnf_2019(4.26)
GhostQ___cegar_pcnf_2019(8.25)
nanoqbf_bloqqer(18.17)
iprover_bloqqer_single(132.33)