Sota solver details
QBFEVAL'19 - Prenex CNF Track

Instance: small-swap1-fixpoint-8
Best Solver: Hiqqer2019_3 Time: 0.58 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Hiqqer2019_2 0.59 - - - -
- - Hiqqer2019_1 0.6 - - - -
- - Caqe-hqspre 0.9 - - - -
- - caqe-pre 0.9 - - - -
- - depqbf_pre_QxQBH 1.22 - - - -
- - Qute_default 1.52 - - - -
- - Qute_opt500 1.53 - - - -
- - Qute_rrs 1.53 - - - -
- - Caqe-bloqqer-qdo 1.68 - - - -
Hiqqer2019_3(0.58)
Hiqqer2019_2(0.59)
Hiqqer2019_1(0.6)
Caqe-hqspre(0.9)
caqe-pre(0.9)
depqbf_pre_QxQBH(1.22)
Qute_default(1.52)
Qute_opt500(1.53)
Qute_rrs(1.53)
Caqe-bloqqer-qdo(1.68)