Sota solver details
Prenex CNF Track

Instance: ethernet-fixpoint-1
Best Solver: Rareqs_2018 Time: 0.54 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - GhostQ___plain_pcnf_2019 1.43 caqe-pre 2.87 - -
- - GhostQ___cegar_pcnf_2019 1.48 nanoqbf_bloqqer 2.88 - -
- - Caqe-bloqqer-qdo 1.85 Caqe-hqspre 2.92 - -
- - iprover_bloqqer_schedule 1.89 nanoqbf_hqspre 3.02 - -
- - iprover_bloqqer_single 1.91 depqbf_pre_QxQBH 3.52 - -
- - - - Qute_rrs 4.54 - -
- - - - Qute_default 4.72 - -
Rareqs_2018(0.54)
GhostQ___plain_pcnf_2019(1.43)
GhostQ___cegar_pcnf_2019(1.48)
Caqe-bloqqer-qdo(1.85)
iprover_bloqqer_schedule(1.89)
iprover_bloqqer_single(1.91)
caqe-pre(2.87)
nanoqbf_bloqqer(2.88)
Caqe-hqspre(2.92)
nanoqbf_hqspre(3.02)
depqbf_pre_QxQBH(3.52)
Qute_rrs(4.54)
Qute_default(4.72)