Sota solver details
QBFEVAL'18 - Prenex CNF Track

Instance: W5-Umbrella_tbm_05.tex.moduleQ3.8S.000001
Best Solver: Caqe-bloqqer-qdo Time: 15.76 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Qute_random 30.24 Caqe-hqspre 88.41 Caqe-bloqqer 350.03
- - Qute_default 30.48 depqbf_prefix_opt_qdo 103.71 Heretiq-cube 655.23
- - Qute_opt500 30.6 - - Heretiq-simple 891.59
Caqe-bloqqer-qdo(15.76)
Qute_random(30.24)
Qute_default(30.48)
Qute_opt500(30.6)
Caqe-hqspre(88.41)
depqbf_prefix_opt_qdo(103.71)
Caqe-bloqqer(350.03)
Heretiq-cube(655.23)
Heretiq-simple(891.59)