Sota solver details
QBFEVAL'19 - Prenex CNF Track

Instance: itc-b13-fixpoint-8
Best Solver: Hiqqer2019_3 Time: 1.41 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Hiqqer2019_1 1.42 depqbf_pre_QxQBH 7.21 - -
- - Hiqqer2019_2 1.54 Caqe-bloqqer-qdo 8.28 - -
- - GhostQ___cegar_pcnf_2019 4.13 - - - -
- - GhostQ___plain_pcnf_2019 4.38 - - - -
- - caqe-pre 5.99 - - - -
- - Caqe-hqspre 6.04 - - - -
- - Qute_default 6.18 - - - -
- - Qute_opt500 6.18 - - - -
- - Qute_rrs 6.19 - - - -
Hiqqer2019_3(1.41)
Hiqqer2019_1(1.42)
Hiqqer2019_2(1.54)
GhostQ___cegar_pcnf_2019(4.13)
GhostQ___plain_pcnf_2019(4.38)
caqe-pre(5.99)
Caqe-hqspre(6.04)
Qute_default(6.18)
Qute_opt500(6.18)
Qute_rrs(6.19)
depqbf_pre_QxQBH(7.21)
Caqe-bloqqer-qdo(8.28)