Sota solver details
QBFEVAL'18 - Prenex CNF Track

Instance: Umbrella_tbm_05.tex.module.000039
Best Solver: Qute_default Time: 2.77 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Qute_opt500 2.84 Caqe-hqspre 22.42 depqbf_prefix_opt_qdo 54.04
- - Qute_random 2.86 - - depqbf_pre_QxQBH 118.67
- - - - - - Caqe-bloqqer-qdo 262.27
Qute_default(2.77)
Qute_opt500(2.84)
Qute_random(2.86)
Caqe-hqspre(22.42)
depqbf_prefix_opt_qdo(54.04)
depqbf_pre_QxQBH(118.67)
Caqe-bloqqer-qdo(262.27)
Caqe-bloqqer(316.67)
Heretiq-simple(404.92)
Heretiq-cube(552.4)
predyndep(572.54)