Sota solver details
QBFEVAL'18 - Prenex CNF Track

Instance: gttt_2_2_000111_4x4_b
Best Solver: depqbf_prefix_opt_qdo Time: 6.33 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Caqe-bloqqer 7.95 Heretiq-simple 34.74 depqbf_pre_QxQBH 67.2
- - Cued_2_2018 8.1 Heretiq-cube 34.88 ijtihad 94.75
- - Cued_3_2018 8.11 - - Qute_default 409.36
- - Caqe-bloqqer-qdo 13.27 - - Qute_opt500 409.4
- - Rareqs_2018 22.49 - - Qute_random 459.43
depqbf_prefix_opt_qdo(6.33)
Caqe-bloqqer(7.95)
Cued_2_2018(8.1)
Cued_3_2018(8.11)
Caqe-bloqqer-qdo(13.27)
Rareqs_2018(22.49)
Heretiq-simple(34.74)
Heretiq-cube(34.88)
depqbf_pre_QxQBH(67.2)
ijtihad(94.75)
Qute_default(409.36)
Qute_opt500(409.4)
Qute_random(459.43)