Sota solver details
Prenex CNF Track

Instance: gttt_2_1_00102030_4x4_torus_b_2020
Best Solver: depqbf_prefix_opt_qdo Time: 29.6 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Caqe-bloqqer-qdo 37.39 - - caqe-pre 483.88
- - Rareqs_2018 74.68 - - - -
- - depqbf_pre_QxQBH 105.51 - - - -

depqbf_prefix_opt_qdo(29.6)
Caqe-bloqqer-qdo(37.39)
Rareqs_2018(74.68)
depqbf_pre_QxQBH(105.51)
caqe-pre(483.88)