Sota solver details
QBFEVAL'18 - Prenex CNF Track

Instance: gttt_2_2_000111_4x4_torus_b
Best Solver: depqbf_prefix_opt_qdo Time: 4.8 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Cued_3_2018 7.15 Heretiq-cube 35.57 ijtihad 56.58
- - Cued_2_2018 7.59 Heretiq-simple 35.81 depqbf_pre_QxQBH 65.55
- - Caqe-bloqqer 7.98 - - Rareqs_2018 335.97
- - Caqe-bloqqer-qdo 13.88 - - Qute_opt500 409.07
- - - - - - Qute_default 409.08
- - - - - - Qute_random 459.04
depqbf_prefix_opt_qdo(4.8)
Cued_3_2018(7.15)
Cued_2_2018(7.59)
Caqe-bloqqer(7.98)
Caqe-bloqqer-qdo(13.88)
Heretiq-cube(35.57)
Heretiq-simple(35.81)
ijtihad(56.58)
depqbf_pre_QxQBH(65.55)
Rareqs_2018(335.97)
Qute_opt500(409.07)
Qute_default(409.08)
Qute_random(459.04)