LTL learning on GPUs