Sota solver details
Prenex CNF Track

Instance: Core1108_tbm_21.tex.module.000008
Best Solver: Caqe-hqspre Time: 16.55 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - caqe-pre 16.57 depqbf_pre_QxQBH 112.43 Qute_rrs 214.18
- - depqbf_prefix_opt_qdo 40.59 - - - -
- - Caqe-bloqqer-qdo 62.1 - - - -

Caqe-hqspre(16.55)
caqe-pre(16.57)
depqbf_prefix_opt_qdo(40.59)
Caqe-bloqqer-qdo(62.1)
depqbf_pre_QxQBH(112.43)
Qute_rrs(214.18)