Sota solver details
Prenex CNF Track

Instance: small-pipeline-fixpoint-2
Best Solver: nanoqbf_hqspre Time: 1.76 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - GhostQ___plain_pcnf_2019 1.92 - - Rareqs_2018 46.39
- - caqe-pre 1.97 - - - -
- - GhostQ___cegar_pcnf_2019 1.98 - - - -
- - Caqe-hqspre 2.06 - - - -
- - Qute_rrs 3.06 - - - -
- - Qute_default 3.4 - - - -
- - Caqe-bloqqer-qdo 4.37 - - - -
nanoqbf_hqspre(1.76)
GhostQ___plain_pcnf_2019(1.92)
caqe-pre(1.97)
GhostQ___cegar_pcnf_2019(1.98)
Caqe-hqspre(2.06)
Qute_rrs(3.06)
Qute_default(3.4)
Caqe-bloqqer-qdo(4.37)
Rareqs_2018(46.39)