Sota solver details
QBFEVAL'19 - Prenex CNF Track

Instance: szymanski-24-s
Best Solver: Hiqqer2019_2 Time: 5.58 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Hiqqer2019_1 14.26 - - GhostQ___plain_pcnf_2019 113.65
- - Hiqqer2019_3 14.35 - - GhostQ___cegar_pcnf_2019 117.66
- - - - - - Qute_default 171.16
- - - - - - Qute_rrs 171.23
- - - - - - caqe-pre 427.01
- - - - - - Caqe-hqspre 430.15
Hiqqer2019_2(5.58)
Hiqqer2019_1(14.26)
Hiqqer2019_3(14.35)
GhostQ___plain_pcnf_2019(113.65)
GhostQ___cegar_pcnf_2019(117.66)
Qute_default(171.16)
Qute_rrs(171.23)
caqe-pre(427.01)
Caqe-hqspre(430.15)