Sota solver details
QBFEVAL'18 - Prenex CNF Track

Instance: gttt_2_1_00102030_4x4_torus_b
Best Solver: Caqe-bloqqer-qdo Time: 28.79 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf_prefix_opt_qdo 29.47 - - Qute_default 406.81
- - Heretiq-cube 37.48 - - Qute_opt500 406.86
- - Heretiq-simple 37.53 - - Qute_random 456.43
- - Caqe-bloqqer 53.6 - - - -
- - Rareqs_2018 74.08 - - - -
- - Cued_2_2018 79.38 - - - -
- - Cued_3_2018 79.46 - - - -
- - depqbf_pre_QxQBH 105.22 - - - -
Caqe-bloqqer-qdo(28.79)
depqbf_prefix_opt_qdo(29.47)
Heretiq-cube(37.48)
Heretiq-simple(37.53)
Caqe-bloqqer(53.6)
Rareqs_2018(74.08)
Cued_2_2018(79.38)
Cued_3_2018(79.46)
depqbf_pre_QxQBH(105.22)
Qute_default(406.81)
Qute_opt500(406.86)
Qute_random(456.43)