Sota solver details
QBFEVAL'19 - Prenex CNF Track

Instance: test5_quant_squaring5
Best Solver: Hiqqer2019_2 Time: 4.98 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Hiqqer2019_1 6.11 - - depqbf_pre_QxQBH 51.95
- - Hiqqer2019_3 7.56 - - caqe-pre 78.39
- - depqbf_prefix_opt_qdo 17.09 - - Caqe-hqspre 79.1
- - - - - - Qute_default 84.53
Hiqqer2019_2(4.98)
Hiqqer2019_1(6.11)
Hiqqer2019_3(7.56)
depqbf_prefix_opt_qdo(17.09)
depqbf_pre_QxQBH(51.95)
caqe-pre(78.39)
Caqe-hqspre(79.1)
Qute_default(84.53)