Sota solver details
Prenex CNF Track

Instance: s38584_PR_9_50
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.07 depqbf_pre_QxQBH 4 GhostQ___cegar_pcnf_2019 7.21
- - Caqe-bloqqer-qdo 2.38 GhostQ___plain_pcnf_2019 6.21 nanoqbf_bloqqer 16.06
- - caqe-pre 2.67 - - - -
- - Caqe-hqspre 2.68 - - - -
- - Qute_opt500 2.68 - - - -
- - Qute_rrs 2.69 - - - -
- - Qute_default 2.74 - - - -
- - nanoqbf_hqspre 2.95 - - - -
depqbf_prefix_opt_qdo(0.63)
Rareqs_2018(1.07)
Caqe-bloqqer-qdo(2.38)
caqe-pre(2.67)
Caqe-hqspre(2.68)
Qute_opt500(2.68)
Qute_rrs(2.69)
Qute_default(2.74)
nanoqbf_hqspre(2.95)
depqbf_pre_QxQBH(4)
GhostQ___plain_pcnf_2019(6.21)
GhostQ___cegar_pcnf_2019(7.21)
nanoqbf_bloqqer(16.06)
iprover_bloqqer_single(131.25)