Sota solver details
Prenex CNF Track

Instance: gttt_2_2_000111_4x4_torus_w_2020
Best Solver: depqbf_prefix_opt_qdo Time: 3.51 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Caqe-bloqqer-qdo 8.78 Rareqs_2018 20.07 depqbf_pre_QxQBH 66.43
- - - - - - iprover_bloqqer_schedule 77.17
- - - - - - iprover_bloqqer_single 77.34
depqbf_prefix_opt_qdo(3.51)
Caqe-bloqqer-qdo(8.78)
Rareqs_2018(20.07)
depqbf_pre_QxQBH(66.43)
iprover_bloqqer_schedule(77.17)
iprover_bloqqer_single(77.34)
caqe-pre(451.6)
nanoqbf_bloqqer(505.59)
Qute_default(597.33)