Sota solver details
QBFEVAL'18 - Prenex CNF Track

Instance: Core1108_tbm_21.tex.module.000008
Best Solver: Qute_random Time: 1.42 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Qute_default 1.49 Caqe-hqspre 14.15 Caqe-bloqqer-qdo 32.86
- - Qute_opt500 1.49 - - depqbf_prefix_opt_qdo 40.45
- - - - - - depqbf_pre_QxQBH 111.63
- - - - - - Cued_2_2018 126.25
- - - - - - Cued_3_2018 130
Qute_random(1.42)
Qute_default(1.49)
Qute_opt500(1.49)
Caqe-hqspre(14.15)
Caqe-bloqqer-qdo(32.86)
depqbf_prefix_opt_qdo(40.45)
depqbf_pre_QxQBH(111.63)
Cued_2_2018(126.25)
Cued_3_2018(130)
Caqe-bloqqer(191.7)
predyndep(424.93)
Heretiq-cube(504.17)
Heretiq-simple(642.03)