Sota solver details
QBFEVAL'19 - Prenex CNF Track

Instance: W5-Umbrella_tbm_05.tex.moduleQ3.8S.000001
Best Solver: caqe-pre Time: 88.98 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Caqe-hqspre 89 Qute_rrs 786.54 - -
- - depqbf_prefix_opt_qdo 103.22 - - - -
- - Caqe-bloqqer-qdo 140.15 - - - -
- - Hiqqer2019_2 204.62 - - - -
- - Hiqqer2019_1 236.16 - - - -
- - Hiqqer2019_3 239.22 - - - -
caqe-pre(88.98)
Caqe-hqspre(89)
depqbf_prefix_opt_qdo(103.22)
Caqe-bloqqer-qdo(140.15)
Hiqqer2019_2(204.62)
Hiqqer2019_1(236.16)
Hiqqer2019_3(239.22)
Qute_rrs(786.54)