Sota solver details
Prenex CNF Track

Instance: W4-Umbrella_tbm_21.tex.moduleQ3.6S.000001
Best Solver: Caqe-hqspre Time: 59.03 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - caqe-pre 59.06 Caqe-bloqqer-qdo 314.97 - -
- - depqbf_prefix_opt_qdo 75.33 - - - -
Caqe-hqspre(59.03)
caqe-pre(59.06)
depqbf_prefix_opt_qdo(75.33)
Caqe-bloqqer-qdo(314.97)