Sota solver details
QBFEVAL'18 - Prenex CNF Track

Instance: hex_rand_6x6-20m-4
Best Solver: Heretiq-cube Time: 47.56 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Heretiq-simple 48.77 Caqe-bloqqer-qdo 287.44 predyndep 492.92
- - Qute_default 55.72 - - Caqe-hqspre 509.35
- - depqbf_pre_QxQBH 92.2 - - - -
- - depqbf_prefix_opt_qdo 114.24 - - - -
- - Cued_3_2018 146.65 - - - -
- - Cued_2_2018 146.76 - - - -
- - Caqe-bloqqer 186.96 - - - -
Heretiq-cube(47.56)
Heretiq-simple(48.77)
Qute_default(55.72)
depqbf_pre_QxQBH(92.2)
depqbf_prefix_opt_qdo(114.24)
Cued_3_2018(146.65)
Cued_2_2018(146.76)
Caqe-bloqqer(186.96)
Caqe-bloqqer-qdo(287.44)
predyndep(492.92)
Caqe-hqspre(509.35)