Sota solver details
Prenex CNF Track

Instance: small-synabs-fixpoint-10
Best Solver: Rareqs_2018 Time: 0.61 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - GhostQ___plain_pcnf_2019 1.25 - - Qute_rrs 6.18
- - GhostQ___cegar_pcnf_2019 1.27 - - Qute_default 6.25
- - iprover_bloqqer_single 1.5 - - Qute_opt500 6.26
- - Caqe-bloqqer-qdo 1.52 - - - -
- - iprover_bloqqer_schedule 1.54 - - - -
- - caqe-pre 1.63 - - - -
- - Caqe-hqspre 1.67 - - - -
- - nanoqbf_hqspre 2.05 - - - -
- - depqbf_pre_QxQBH 2.07 - - - -
- - nanoqbf_bloqqer 2.19 - - - -
Rareqs_2018(0.61)
GhostQ___plain_pcnf_2019(1.25)
GhostQ___cegar_pcnf_2019(1.27)
iprover_bloqqer_single(1.5)
Caqe-bloqqer-qdo(1.52)
iprover_bloqqer_schedule(1.54)
caqe-pre(1.63)
Caqe-hqspre(1.67)
nanoqbf_hqspre(2.05)
depqbf_pre_QxQBH(2.07)
nanoqbf_bloqqer(2.19)
Qute_rrs(6.18)
Qute_default(6.25)
Qute_opt500(6.26)