Sota solver details
Prenex CNF Track

Instance: cache-coherence-2-fixpoint-5
Best Solver: GhostQ___cegar_pcnf_2019 Time: 4.77 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - GhostQ___plain_pcnf_2019 6.31 - - nanoqbf_hqspre 80.94
- - Caqe-bloqqer-qdo 14.87 - - Qute_default 87.29
- - iprover_bloqqer_single 15.15 - - caqe-pre 88.26
- - iprover_bloqqer_schedule 15.24 - - Qute_rrs 90.12
- - - - - - Caqe-hqspre 90.56
- - - - - - depqbf_pre_QxQBH 201.35
GhostQ___cegar_pcnf_2019(4.77)
GhostQ___plain_pcnf_2019(6.31)
Caqe-bloqqer-qdo(14.87)
iprover_bloqqer_single(15.15)
iprover_bloqqer_schedule(15.24)
nanoqbf_hqspre(80.94)
Qute_default(87.29)
caqe-pre(88.26)
Qute_rrs(90.12)
Caqe-hqspre(90.56)
depqbf_pre_QxQBH(201.35)