Sota solver details
QBFEVAL'19 - Prenex CNF Track

Instance: hex_rand_6x6-20m-7
Best Solver: Hiqqer2019_3 Time: 54.43 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Hiqqer2019_1 55.04 depqbf_prefix_opt_qdo 293.78 - -
- - Hiqqer2019_2 69.47 - - - -
Hiqqer2019_3(54.43)
Hiqqer2019_1(55.04)
Hiqqer2019_2(69.47)
depqbf_prefix_opt_qdo(293.78)