Sota solver details
QBFEVAL'18 - Prenex CNF Track

Instance: W4-Umbrella_tbm_21.tex.moduleQ3.6S.000001
Best Solver: Qute_opt500 Time: 7.3 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Qute_random 7.35 Caqe-hqspre 36.83 depqbf_prefix_opt_qdo 77.13
- - Qute_default 7.45 - - Caqe-bloqqer 362.04
- - - - - - Caqe-bloqqer-qdo 504.01
Qute_opt500(7.3)
Qute_random(7.35)
Qute_default(7.45)
Caqe-hqspre(36.83)
depqbf_prefix_opt_qdo(77.13)
Caqe-bloqqer(362.04)
Caqe-bloqqer-qdo(504.01)