Sota solver details
Prenex CNF Track

Instance: fpu-10Xh-error01-nonuniform-depth-27
Best Solver: depqbf_prefix_opt_qdo Time: 30.12 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Rareqs_2018 47.77 - - nanoqbf_bloqqer 386.29
- - depqbf_pre_QxQBH 85.57 - - GhostQ___plain_pcnf_2019 390.51
- - - - - - GhostQ___cegar_pcnf_2019 397.5
- - - - - - caqe-pre 498.65
- - - - - - nanoqbf_hqspre 515.62
- - - - - - Caqe-hqspre 522.43
depqbf_prefix_opt_qdo(30.12)
Rareqs_2018(47.77)
depqbf_pre_QxQBH(85.57)
nanoqbf_bloqqer(386.29)
GhostQ___plain_pcnf_2019(390.51)
GhostQ___cegar_pcnf_2019(397.5)
caqe-pre(498.65)
nanoqbf_hqspre(515.62)
Caqe-hqspre(522.43)