Sota solver details
Prenex CNF Track

Instance: gttt_2_2_000111_4x4_b_2020
Best Solver: depqbf_prefix_opt_qdo Time: 6.3 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Caqe-bloqqer-qdo 10.41 - - depqbf_pre_QxQBH 67.54
- - Rareqs_2018 22.29 - - caqe-pre 455.95
depqbf_prefix_opt_qdo(6.3)
Caqe-bloqqer-qdo(10.41)
Rareqs_2018(22.29)
depqbf_pre_QxQBH(67.54)
caqe-pre(455.95)
Qute_default(717.56)