Sota solver details
Prenex CNF Track

Instance: cache-coherence-3-fixpoint-2
Best Solver: GhostQ___cegar_pcnf_2019 Time: 2.58 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - GhostQ___plain_pcnf_2019 3.59 depqbf_pre_QxQBH 13.22 - -
- - iprover_bloqqer_single 8.46 Qute_rrs 14.16 - -
- - iprover_bloqqer_schedule 8.5 Qute_default 14.24 - -
- - Caqe-bloqqer-qdo 8.72 - - - -
- - nanoqbf_hqspre 10.97 - - - -
- - Caqe-hqspre 11.62 - - - -
- - caqe-pre 11.8 - - - -

GhostQ___cegar_pcnf_2019(2.58)
GhostQ___plain_pcnf_2019(3.59)
iprover_bloqqer_single(8.46)
iprover_bloqqer_schedule(8.5)
Caqe-bloqqer-qdo(8.72)
nanoqbf_hqspre(10.97)
Caqe-hqspre(11.62)
caqe-pre(11.8)
depqbf_pre_QxQBH(13.22)
Qute_rrs(14.16)
Qute_default(14.24)