Sota solver details
Prenex CNF Track

Instance: cache-coherence-2-fixpoint-4
Best Solver: GhostQ___cegar_pcnf_2019 Time: 3.71 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - GhostQ___plain_pcnf_2019 5.06 - - Qute_default 40.11
- - Caqe-bloqqer-qdo 10.12 - - Qute_rrs 41.69
- - iprover_bloqqer_single 10.36 - - nanoqbf_hqspre 42.1
- - iprover_bloqqer_schedule 10.49 - - caqe-pre 46.38
- - - - - - Caqe-hqspre 46.8
- - - - - - depqbf_pre_QxQBH 52.02
GhostQ___cegar_pcnf_2019(3.71)
GhostQ___plain_pcnf_2019(5.06)
Caqe-bloqqer-qdo(10.12)
iprover_bloqqer_single(10.36)
iprover_bloqqer_schedule(10.49)
Qute_default(40.11)
Qute_rrs(41.69)
nanoqbf_hqspre(42.1)
caqe-pre(46.38)
Caqe-hqspre(46.8)
depqbf_pre_QxQBH(52.02)