Sota solver details
QBFEVAL'19 - Prenex CNF Track

Instance: stay24n.sat
Best Solver: Hiqqer2019_2 Time: 0.93 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Qute_rrs 1.16 - - Hiqqer2019_3 27.83
- - Qute_default 1.2 - - - -
- - Qute_opt500 1.21 - - - -
- - caqe-pre 1.28 - - - -
- - Caqe-hqspre 1.29 - - - -
- - depqbf_pre_QxQBH 1.88 - - - -
Hiqqer2019_2(0.93)
Qute_rrs(1.16)
Qute_default(1.2)
Qute_opt500(1.21)
caqe-pre(1.28)
Caqe-hqspre(1.29)
depqbf_pre_QxQBH(1.88)
Hiqqer2019_3(27.83)
GhostQ___plain_pcnf_2019(110.48)
Hiqqer2019_1(281)
Caqe-bloqqer-qdo(677.52)