Sota solver details
QBFEVAL'19 - Prenex CNF Track

Instance: szymanski-20-s
Best Solver: Hiqqer2019_2 Time: 3.73 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Hiqqer2019_3 6.62 - - Qute_default 51.72
- - Hiqqer2019_1 6.72 - - Qute_rrs 52.11
- - - - - - GhostQ___plain_pcnf_2019 62.09
- - - - - - GhostQ___cegar_pcnf_2019 63.8
- - - - - - caqe-pre 80.88
- - - - - - Caqe-hqspre 80.89
Hiqqer2019_2(3.73)
Hiqqer2019_3(6.62)
Hiqqer2019_1(6.72)
Qute_default(51.72)
Qute_rrs(52.11)
GhostQ___plain_pcnf_2019(62.09)
GhostQ___cegar_pcnf_2019(63.8)
caqe-pre(80.88)
Caqe-hqspre(80.89)