Sota solver details
Prenex CNF Track

Instance: sortnetsort9.v.stepl.007
Best Solver: nanoqbf_bloqqer Time: 16.51 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - nanoqbf_hqspre 21.38 - - depqbf_pre_QxQBH 343.06
- - Caqe-bloqqer-qdo 27.05 - - GhostQ___cegar_pcnf_2019 804.3
- - Rareqs_2018 30.77 - - - -
- - caqe-pre 39.16 - - - -
- - Caqe-hqspre 39.2 - - - -

nanoqbf_bloqqer(16.51)
nanoqbf_hqspre(21.38)
Caqe-bloqqer-qdo(27.05)
Rareqs_2018(30.77)
caqe-pre(39.16)
Caqe-hqspre(39.2)
depqbf_pre_QxQBH(343.06)
GhostQ___cegar_pcnf_2019(804.3)