Sota solver details
QBFEVAL'19 - Prenex CNF Track

Instance: itc-b13-fixpoint-7
Best Solver: Hiqqer2019_3 Time: 1.19 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Hiqqer2019_1 1.25 Caqe-bloqqer-qdo 6.82 - -
- - Hiqqer2019_2 1.35 GhostQ___cegar_pcnf_2019 11.61 - -
- - caqe-pre 2.58 - - - -
- - Caqe-hqspre 2.67 - - - -
- - depqbf_pre_QxQBH 3.37 - - - -
- - GhostQ___plain_pcnf_2019 3.88 - - - -
- - Qute_rrs 4.55 - - - -
- - Qute_default 4.59 - - - -
- - Qute_opt500 4.6 - - - -
Hiqqer2019_3(1.19)
Hiqqer2019_1(1.25)
Hiqqer2019_2(1.35)
caqe-pre(2.58)
Caqe-hqspre(2.67)
depqbf_pre_QxQBH(3.37)
GhostQ___plain_pcnf_2019(3.88)
Qute_rrs(4.55)
Qute_default(4.59)
Qute_opt500(4.6)
Caqe-bloqqer-qdo(6.82)
GhostQ___cegar_pcnf_2019(11.61)