Sota solver details
Prenex CNF Track

Instance: gttt_1_1_000111_4x4_torus_b_2020
Best Solver: depqbf_prefix_opt_qdo Time: 55.33 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf_pre_QxQBH 115.08 caqe-pre 544.17 - -
- - Caqe-bloqqer-qdo 135.72 - - - -
depqbf_prefix_opt_qdo(55.33)
depqbf_pre_QxQBH(115.08)
Caqe-bloqqer-qdo(135.72)
caqe-pre(544.17)