Sota solver details
QBFEVAL'18 - Hard Instances Track

Instance: hex_hein_5x5_19
Best Solver: depqbf_hit18 Time: 689.17 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - caqe_hit18 1806.76 - - - -
depqbf_hit18(689.17)
caqe_hit18(1806.76)