Sota solver details
Prenex CNF Track

Instance: arbiter-06-comp-error01-qbf-hardness-depth-11
Best Solver: Caqe-bloqqer-qdo Time: 4.46 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf_prefix_opt_qdo 5.52 Qute_default 24.28 depqbf_pre_QxQBH 68.37
- - Caqe-hqspre 15.8 Rareqs_2018 27.37 - -
- - caqe-pre 15.8 nanoqbf_bloqqer 30.79 - -
- - - - GhostQ___plain_pcnf_2019 30.88 - -
Caqe-bloqqer-qdo(4.46)
depqbf_prefix_opt_qdo(5.52)
Caqe-hqspre(15.8)
caqe-pre(15.8)
Qute_default(24.28)
Rareqs_2018(27.37)
nanoqbf_bloqqer(30.79)
GhostQ___plain_pcnf_2019(30.88)
depqbf_pre_QxQBH(68.37)
GhostQ___cegar_pcnf_2019(603.79)