Sota solver details
Prenex CNF Track

Instance: cache-coherence-2-fixpoint-6
Best Solver: GhostQ___cegar_pcnf_2019 Time: 5.74 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - GhostQ___plain_pcnf_2019 7.63 - - nanoqbf_hqspre 139.52
- - Caqe-bloqqer-qdo 19.49 - - caqe-pre 143.97
- - iprover_bloqqer_schedule 19.52 - - Caqe-hqspre 147.06
- - iprover_bloqqer_single 19.59 - - Qute_default 165.07
- - - - - - Qute_rrs 166.43
- - - - - - depqbf_pre_QxQBH 206.21
GhostQ___cegar_pcnf_2019(5.74)
GhostQ___plain_pcnf_2019(7.63)
Caqe-bloqqer-qdo(19.49)
iprover_bloqqer_schedule(19.52)
iprover_bloqqer_single(19.59)
nanoqbf_hqspre(139.52)
caqe-pre(143.97)
Caqe-hqspre(147.06)
Qute_default(165.07)
Qute_rrs(166.43)
depqbf_pre_QxQBH(206.21)