Sota solver details
Crafted Instances Track

Instance: klieber2017q-084-21-t1
Best Solver: Rareqs_2018 Time: 0.77 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Caqe-bloqqer-qdo 1.5 GhostQ___cegar_pcnf_2019 7.06 depqbf_pre_QxQBH 18.37
- - nanoqbf_bloqqer 1.58 - - nanoqbf_hqspre 47.77
- - Caqe-hqspre 2.06 - - - -
- - caqe-pre 2.06 - - - -
Rareqs_2018(0.77)
Caqe-bloqqer-qdo(1.5)
nanoqbf_bloqqer(1.58)
Caqe-hqspre(2.06)
caqe-pre(2.06)
GhostQ___cegar_pcnf_2019(7.06)
depqbf_pre_QxQBH(18.37)
nanoqbf_hqspre(47.77)
depqbf_prefix_opt_qdo(321.2)