Sota solver details
Prenex CNF Track

Instance: ethernet-fixpoint-2
Best Solver: GhostQ___plain_pcnf_2019 Time: 3.85 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Caqe-bloqqer-qdo 6.41 Qute_rrs 23.6 - -
- - iprover_bloqqer_single 6.42 Qute_default 23.94 - -
- - iprover_bloqqer_schedule 6.47 - - - -
- - GhostQ___cegar_pcnf_2019 8.21 - - - -
- - nanoqbf_hqspre 14.04 - - - -
- - caqe-pre 16.29 - - - -
- - Caqe-hqspre 16.5 - - - -
- - depqbf_pre_QxQBH 19.04 - - - -
GhostQ___plain_pcnf_2019(3.85)
Caqe-bloqqer-qdo(6.41)
iprover_bloqqer_single(6.42)
iprover_bloqqer_schedule(6.47)
GhostQ___cegar_pcnf_2019(8.21)
nanoqbf_hqspre(14.04)
caqe-pre(16.29)
Caqe-hqspre(16.5)
depqbf_pre_QxQBH(19.04)
Qute_rrs(23.6)
Qute_default(23.94)