Sota solver details
Prenex CNF Track

Instance: usb-phy-fixpoint-5
Best Solver: GhostQ___cegar_pcnf_2019 Time: 7.19 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - GhostQ___plain_pcnf_2019 19.77 - - Caqe-hqspre 86.29
- - - - - - caqe-pre 86.72
- - - - - - Qute_default 89.31
- - - - - - Qute_rrs 94.28
- - - - - - nanoqbf_hqspre 96.06
- - - - - - depqbf_pre_QxQBH 327.97
GhostQ___cegar_pcnf_2019(7.19)
GhostQ___plain_pcnf_2019(19.77)
Caqe-hqspre(86.29)
caqe-pre(86.72)
Qute_default(89.31)
Qute_rrs(94.28)
nanoqbf_hqspre(96.06)
depqbf_pre_QxQBH(327.97)