Sota solver details
QBFEVAL'19 - Prenex CNF Track

Instance: hex_rand_6x6-20m-8
Best Solver: Hiqqer2019_3 Time: 106.65 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Hiqqer2019_1 108.13 - - - -
- - Hiqqer2019_2 164.05 - - - -
- - depqbf_prefix_opt_qdo 491.76 - - - -
Hiqqer2019_3(106.65)
Hiqqer2019_1(108.13)
Hiqqer2019_2(164.05)
depqbf_prefix_opt_qdo(491.76)