Sota solver details
Prenex CNF Track

Instance: gttt_2_2_000111_4x4_torus_b_2020
Best Solver: depqbf_prefix_opt_qdo Time: 4.71 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Caqe-bloqqer-qdo 9.46 - - depqbf_pre_QxQBH 65.97
- - - - - - Rareqs_2018 338.8
- - - - - - caqe-pre 453.51
depqbf_prefix_opt_qdo(4.71)
Caqe-bloqqer-qdo(9.46)
depqbf_pre_QxQBH(65.97)
Rareqs_2018(338.8)
caqe-pre(453.51)
Qute_default(628.42)
Qute_rrs(848.03)