Sota solver details
QBFEVAL'18 - Prenex CNF Track

Instance: gttt_1_1_000111_4x4_torus_b
Best Solver: Cued_2_2018 Time: 12.71 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Cued_3_2018 12.79 Caqe-bloqqer 89.97 Heretiq-simple 227.09
- - depqbf_prefix_opt_qdo 56.27 Caqe-bloqqer-qdo 89.99 Heretiq-cube 247.48
- - - - depqbf_pre_QxQBH 115.53 - -
Cued_2_2018(12.71)
Cued_3_2018(12.79)
depqbf_prefix_opt_qdo(56.27)
Caqe-bloqqer(89.97)
Caqe-bloqqer-qdo(89.99)
depqbf_pre_QxQBH(115.53)
Heretiq-simple(227.09)
Heretiq-cube(247.48)