Geospatial Trajectory Generation via Efficient Abduction: Deployment for Independent Testing