Sota solver details
Prenex CNF Track

Instance: usb-phy-fixpoint-3
Best Solver: Rareqs_2018 Time: 2.21 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - GhostQ___cegar_pcnf_2019 2.92 Qute_rrs 13.53 - -
- - GhostQ___plain_pcnf_2019 5.99 Qute_default 13.67 - -
- - iprover_bloqqer_single 6.18 caqe-pre 17.57 - -
- - iprover_bloqqer_schedule 6.19 Caqe-hqspre 17.77 - -
- - Caqe-bloqqer-qdo 6.34 nanoqbf_hqspre 18.56 - -
- - - - depqbf_pre_QxQBH 20.66 - -

Rareqs_2018(2.21)
GhostQ___cegar_pcnf_2019(2.92)
GhostQ___plain_pcnf_2019(5.99)
iprover_bloqqer_single(6.18)
iprover_bloqqer_schedule(6.19)
Caqe-bloqqer-qdo(6.34)
Qute_rrs(13.53)
Qute_default(13.67)
caqe-pre(17.57)
Caqe-hqspre(17.77)
nanoqbf_hqspre(18.56)
depqbf_pre_QxQBH(20.66)