Sota solver details
Prenex CNF Track

Instance: cache-coherence-3-fixpoint-1
Best Solver: Rareqs_2018 Time: 0.98 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - GhostQ___plain_pcnf_2019 1.07 - - - -
- - GhostQ___cegar_pcnf_2019 1.13 - - - -
- - Caqe-hqspre 2.29 - - - -
- - caqe-pre 2.29 - - - -
- - nanoqbf_hqspre 2.42 - - - -
- - depqbf_pre_QxQBH 2.71 - - - -
- - Qute_opt500 3.3 - - - -
- - Qute_rrs 3.31 - - - -
- - Qute_default 3.32 - - - -
- - nanoqbf_bloqqer 3.45 - - - -
- - Caqe-bloqqer-qdo 3.69 - - - -
- - iprover_bloqqer_single 3.71 - - - -
- - iprover_bloqqer_schedule 3.74 - - - -

Rareqs_2018(0.98)
GhostQ___plain_pcnf_2019(1.07)
GhostQ___cegar_pcnf_2019(1.13)
Caqe-hqspre(2.29)
caqe-pre(2.29)
nanoqbf_hqspre(2.42)
depqbf_pre_QxQBH(2.71)
Qute_opt500(3.3)
Qute_rrs(3.31)
Qute_default(3.32)
nanoqbf_bloqqer(3.45)
Caqe-bloqqer-qdo(3.69)
iprover_bloqqer_single(3.71)
iprover_bloqqer_schedule(3.74)