Sota solver details
Prenex CNF Track

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

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - GhostQ___plain_pcnf_2019 5.15 - - nanoqbf_hqspre 50.5
- - iprover_bloqqer_single 13.18 - - Qute_default 67.53
- - Caqe-bloqqer-qdo 13.29 - - caqe-pre 68.43
- - iprover_bloqqer_schedule 13.81 - - Qute_rrs 68.88
- - - - - - Caqe-hqspre 68.97
- - - - - - depqbf_pre_QxQBH 200.63
GhostQ___cegar_pcnf_2019(3.99)
GhostQ___plain_pcnf_2019(5.15)
iprover_bloqqer_single(13.18)
Caqe-bloqqer-qdo(13.29)
iprover_bloqqer_schedule(13.81)
nanoqbf_hqspre(50.5)
Qute_default(67.53)
caqe-pre(68.43)
Qute_rrs(68.88)
Caqe-hqspre(68.97)
depqbf_pre_QxQBH(200.63)