Sota solver details
QBFEVAL'19 - Prenex CNF Track

Instance: add5_CHOOSE
Best Solver: Hiqqer2019_1 Time: 13.17 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Hiqqer2019_2 55.25 Hiqqer2019_3 78.64 depqbf_prefix_opt_qdo 509.45
- - - - Caqe-bloqqer-qdo 83.78 caqe-pre 531.54
Hiqqer2019_1(13.17)
Hiqqer2019_2(55.25)
Hiqqer2019_3(78.64)
Caqe-bloqqer-qdo(83.78)
depqbf_prefix_opt_qdo(509.45)
caqe-pre(531.54)