Sota solver details
QBFEVAL'18 - Prenex CNF Track

Instance: Core1108_tbm_21.tex.module.000030
Best Solver: Qute_opt500 Time: 1.37 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Qute_default 1.39 - - Caqe-hqspre 14.48
- - Qute_random 1.42 - - depqbf_prefix_opt_qdo 32.44
- - - - - - depqbf_pre_QxQBH 103.2
Qute_opt500(1.37)
Qute_default(1.39)
Qute_random(1.42)
Caqe-hqspre(14.48)
depqbf_prefix_opt_qdo(32.44)
depqbf_pre_QxQBH(103.2)
Caqe-bloqqer(153.35)
Caqe-bloqqer-qdo(175.37)
Cued_2_2018(188.82)
Cued_3_2018(195.76)
predyndep(301.74)