Sota solver details
QBFEVAL'19 - Prenex CNF Track

Instance: hex_hein_4x4_12
Best Solver: Hiqqer2019_1 Time: 7.58 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Hiqqer2019_3 7.7 depqbf_pre_QxQBH 70.22 Qute_rrs 268.51
- - Hiqqer2019_2 10.34 - - Qute_default 316.99
- - depqbf_prefix_opt_qdo 11.27 - - - -
- - caqe-pre 11.75 - - - -
- - Caqe-hqspre 11.77 - - - -
- - Caqe-bloqqer-qdo 15.57 - - - -
Hiqqer2019_1(7.58)
Hiqqer2019_3(7.7)
Hiqqer2019_2(10.34)
depqbf_prefix_opt_qdo(11.27)
caqe-pre(11.75)
Caqe-hqspre(11.77)
Caqe-bloqqer-qdo(15.57)
depqbf_pre_QxQBH(70.22)
Qute_rrs(268.51)
Qute_default(316.99)