Sota solver details
QBFEVAL'19 - Prenex CNF Track

Instance: itc-b13-fixpoint-10
Best Solver: Hiqqer2019_1 Time: 2.27 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Hiqqer2019_2 3.08 Caqe-bloqqer-qdo 11.97 - -
- - GhostQ___plain_pcnf_2019 6.99 caqe-pre 13.5 - -
- - GhostQ___cegar_pcnf_2019 7.19 Caqe-hqspre 13.75 - -
- - Qute_rrs 9.2 depqbf_pre_QxQBH 15.47 - -
- - Qute_opt500 9.49 - - - -
- - Qute_default 9.58 - - - -
Hiqqer2019_1(2.27)
Hiqqer2019_3(2.27)
Hiqqer2019_2(3.08)
GhostQ___plain_pcnf_2019(6.99)
GhostQ___cegar_pcnf_2019(7.19)
Qute_rrs(9.2)
Qute_opt500(9.49)
Qute_default(9.58)
Caqe-bloqqer-qdo(11.97)
caqe-pre(13.5)
Caqe-hqspre(13.75)
depqbf_pre_QxQBH(15.47)