Sota solver details
QBFEVAL'19 - Prenex CNF Track

Instance: query21_query58_1344n
Best Solver: GhostQ___cegar_pcnf_2019 Time: 3.78 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - GhostQ___plain_pcnf_2019 6.59 Hiqqer2019_2 20.39 Qute_default 110.33
- - Caqe-bloqqer-qdo 9.89 Hiqqer2019_3 22.03 - -
- - Qute_rrs 16.3 - - - -
- - Caqe-hqspre 18.09 - - - -
- - caqe-pre 18.13 - - - -
- - Hiqqer2019_1 18.57 - - - -
GhostQ___cegar_pcnf_2019(3.78)
GhostQ___plain_pcnf_2019(6.59)
Caqe-bloqqer-qdo(9.89)
Qute_rrs(16.3)
Caqe-hqspre(18.09)
caqe-pre(18.13)
Hiqqer2019_1(18.57)
Hiqqer2019_2(20.39)
Hiqqer2019_3(22.03)
Qute_default(110.33)