Sota solver details
QBFEVAL'18 - Prenex CNF Track

Instance: W5-Umbrella_tbm_25.tex.moduleQ3.7S.000003
Best Solver: Qute_default Time: 25.45 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Qute_opt500 25.45 depqbf_prefix_opt_qdo 197.93 Caqe-bloqqer-qdo 617.5
- - Qute_random 26.1 - - Caqe-bloqqer 630.81
- - Caqe-hqspre 78.5 - - predyndep 848.95
Qute_default(25.45)
Qute_opt500(25.45)
Qute_random(26.1)
Caqe-hqspre(78.5)
depqbf_prefix_opt_qdo(197.93)
Caqe-bloqqer-qdo(617.5)
Caqe-bloqqer(630.81)
predyndep(848.95)