Sota solver details
Prenex CNF Track

Instance: fpu-01Xh-error02-nonuniform-depth-27
Best Solver: depqbf_prefix_opt_qdo Time: 27.27 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Rareqs_2018 46.85 - - nanoqbf_bloqqer 380.93
- - depqbf_pre_QxQBH 82.85 - - GhostQ___plain_pcnf_2019 397.2
- - - - - - GhostQ___cegar_pcnf_2019 401.24
- - - - - - nanoqbf_hqspre 429.08
- - - - - - caqe-pre 497.56
- - - - - - Caqe-hqspre 532.95
depqbf_prefix_opt_qdo(27.27)
Rareqs_2018(46.85)
depqbf_pre_QxQBH(82.85)
nanoqbf_bloqqer(380.93)
GhostQ___plain_pcnf_2019(397.2)
GhostQ___cegar_pcnf_2019(401.24)
nanoqbf_hqspre(429.08)
caqe-pre(497.56)
Caqe-hqspre(532.95)