Sota solver details
Prenex CNF Track

Instance: add6_REDUCED
Best Solver: depqbf_prefix_opt_qdo Time: 114.85 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Rareqs_2018 128.95 - - - -
- - nanoqbf_hqspre 135.3 - - - -
- - nanoqbf_bloqqer 174.89 - - - -
- - caqe-pre 246.55 - - - -
- - Caqe-hqspre 248.37 - - - -
- - Caqe-bloqqer-qdo 251.27 - - - -

depqbf_prefix_opt_qdo(114.85)
Rareqs_2018(128.95)
nanoqbf_hqspre(135.3)
nanoqbf_bloqqer(174.89)
caqe-pre(246.55)
Caqe-hqspre(248.37)
Caqe-bloqqer-qdo(251.27)