Changed the algorithm to do coverability check. This changed algorithm works nearly completely on GPU. None the less the time needed for net/gpu/test-1-net.apt doubled.
Memory consumption and time performance are checked and compared to the sequential algorithm in the next step.