Sota solver details
Prenex CNF Track

Instance: usb-phy-fixpoint-4
Best Solver: GhostQ___cegar_pcnf_2019 Time: 4.9 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - GhostQ___plain_pcnf_2019 12.04 Qute_rrs 37.79 depqbf_pre_QxQBH 58.44
- - Caqe-bloqqer-qdo 12.68 Qute_default 38.04 - -
- - - - Caqe-hqspre 46.25 - -
- - - - caqe-pre 47.09 - -
- - - - nanoqbf_hqspre 47.19 - -
GhostQ___cegar_pcnf_2019(4.9)
GhostQ___plain_pcnf_2019(12.04)
Caqe-bloqqer-qdo(12.68)
Qute_rrs(37.79)
Qute_default(38.04)
Caqe-hqspre(46.25)
caqe-pre(47.09)
nanoqbf_hqspre(47.19)
depqbf_pre_QxQBH(58.44)