Sota solver details
Prenex CNF Track

Instance: gttt_1_1_000111_4x4_torus_w_2020
Best Solver: Caqe-bloqqer-qdo Time: 27.11 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf_prefix_opt_qdo 28.4 - - iprover_bloqqer_schedule 479.07
- - depqbf_pre_QxQBH 97.13 - - caqe-pre 498.17

Caqe-bloqqer-qdo(27.11)
depqbf_prefix_opt_qdo(28.4)
depqbf_pre_QxQBH(97.13)
iprover_bloqqer_schedule(479.07)
caqe-pre(498.17)