Sota solver details
Prenex CNF Track

Instance: fpu-10Xh-correct04-nonuniform-depth-28
Best Solver: depqbf_prefix_opt_qdo Time: 31.18 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Rareqs_2018 35.58 - - nanoqbf_bloqqer 349.06
- - depqbf_pre_QxQBH 84.65 - - Qute_rrs 410.06
- - - - - - caqe-pre 415.99
- - - - - - GhostQ___plain_pcnf_2019 418.91
- - - - - - GhostQ___cegar_pcnf_2019 419.4
- - - - - - Caqe-hqspre 482.96
- - - - - - nanoqbf_hqspre 489.62
- - - - - - Qute_default 504.09
depqbf_prefix_opt_qdo(31.18)
Rareqs_2018(35.58)
depqbf_pre_QxQBH(84.65)
nanoqbf_bloqqer(349.06)
Qute_rrs(410.06)
caqe-pre(415.99)
GhostQ___plain_pcnf_2019(418.91)
GhostQ___cegar_pcnf_2019(419.4)
Caqe-hqspre(482.96)
nanoqbf_hqspre(489.62)
Qute_default(504.09)