Sota solver details
Prenex CNF Track

Instance: gttt_2_1_001020_4x4_torus_w_2020
Best Solver: depqbf_prefix_opt_qdo Time: 8.85 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Caqe-bloqqer-qdo 10.88 iprover_bloqqer_schedule 45.61 Rareqs_2018 177.97
- - - - iprover_bloqqer_single 45.65 caqe-pre 454.5
- - - - depqbf_pre_QxQBH 74.81 Qute_default 474.32
- - - - - - Qute_rrs 554.88

depqbf_prefix_opt_qdo(8.85)
Caqe-bloqqer-qdo(10.88)
iprover_bloqqer_schedule(45.61)
iprover_bloqqer_single(45.65)
depqbf_pre_QxQBH(74.81)
Rareqs_2018(177.97)
caqe-pre(454.5)
Qute_default(474.32)
Qute_rrs(554.88)