Sota solver details
QBFEVAL'19 - Prenex CNF Track

Instance: small-swap1-fixpoint-10
Best Solver: Caqe-hqspre Time: 1.5 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - caqe-pre 1.51 - - - -
- - Hiqqer2019_3 1.56 - - - -
- - Hiqqer2019_1 1.61 - - - -
- - Hiqqer2019_2 1.64 - - - -
- - depqbf_pre_QxQBH 1.89 - - - -
- - Qute_default 2.32 - - - -
- - Qute_opt500 2.38 - - - -
- - Qute_rrs 2.39 - - - -
- - Caqe-bloqqer-qdo 2.4 - - - -
Caqe-hqspre(1.5)
caqe-pre(1.51)
Hiqqer2019_3(1.56)
Hiqqer2019_1(1.61)
Hiqqer2019_2(1.64)
depqbf_pre_QxQBH(1.89)
Qute_default(2.32)
Qute_opt500(2.38)
Qute_rrs(2.39)
Caqe-bloqqer-qdo(2.4)