Sota solver details
QBFEVAL'19 - Prenex CNF Track

Instance: s15850_PR_0_50
Best Solver: depqbf_prefix_opt_qdo Time: 1.1 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - caqe-pre 3.67 depqbf_pre_QxQBH 7.07 - -
- - Qute_opt500 3.69 Hiqqer2019_2 9.09 - -
- - Qute_default 3.71 Hiqqer2019_3 9.28 - -
- - Qute_rrs 3.72 - - - -
- - Caqe-hqspre 3.75 - - - -
- - Caqe-bloqqer-qdo 5.25 - - - -
- - Hiqqer2019_1 5.39 - - - -
depqbf_prefix_opt_qdo(1.1)
caqe-pre(3.67)
Qute_opt500(3.69)
Qute_default(3.71)
Qute_rrs(3.72)
Caqe-hqspre(3.75)
Caqe-bloqqer-qdo(5.25)
Hiqqer2019_1(5.39)
depqbf_pre_QxQBH(7.07)
Hiqqer2019_2(9.09)
Hiqqer2019_3(9.28)