Sota solver details
QBFEVAL'19 - Prenex CNF Track

Instance: usb-phy-fixpoint-3
Best Solver: GhostQ___cegar_pcnf_2019 Time: 2.94 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - GhostQ___plain_pcnf_2019 6.01 caqe-pre 17.65 - -
- - Caqe-bloqqer-qdo 6.24 Caqe-hqspre 17.78 - -
- - Qute_rrs 13.49 depqbf_pre_QxQBH 20.36 - -
- - Qute_default 13.62 - - - -
GhostQ___cegar_pcnf_2019(2.94)
GhostQ___plain_pcnf_2019(6.01)
Caqe-bloqqer-qdo(6.24)
Qute_rrs(13.49)
Qute_default(13.62)
caqe-pre(17.65)
Caqe-hqspre(17.78)
depqbf_pre_QxQBH(20.36)