Sota solver details
QBFEVAL'19 - Prenex CNF Track

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

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Caqe-bloqqer-qdo 6.18 Qute_rrs 23.52 - -
- - GhostQ___cegar_pcnf_2019 8.19 Qute_default 23.68 - -
- - caqe-pre 16.4 - - - -
- - Caqe-hqspre 16.45 - - - -
- - depqbf_pre_QxQBH 18.56 - - - -
GhostQ___plain_pcnf_2019(3.72)
Caqe-bloqqer-qdo(6.18)
GhostQ___cegar_pcnf_2019(8.19)
caqe-pre(16.4)
Caqe-hqspre(16.45)
depqbf_pre_QxQBH(18.56)
Qute_rrs(23.52)
Qute_default(23.68)