Verifying formula 4 at /nta/queries/query[4]/formula -- Throughput: 16 states/sec, Load: 71 states -- Throughput: 333333 states/sec, Load: 71 states -- Throughput: 297855 states/sec, Load: 20508 states -- Throughput: 289520 states/sec, Load: 22160 states -- Throughput: 319375 states/sec, Load: 21196 states -- Throughput: 276127 states/sec, Load: 32560 states -- Throughput: 312148 states/sec, Load: 36365 states -- Throughput: 308675 states/sec, Load: 48889 states -- Throughput: 321634 states/sec, Load: 55613 states -- Throughput: 276543 states/sec, Load: 55607 states -- Throughput: 309539 states/sec, Load: 59546 states -- Throughput: 302880 states/sec, Load: 64890 states -- Throughput: 318312 states/sec, Load: 68239 states -- Throughput: 322684 states/sec, Load: 65341 states -- Throughput: 330297 states/sec, Load: 63522 states -- Throughput: 317697 states/sec, Load: 66086 states -- Throughput: 295677 states/sec, Load: 61791 states -- Throughput: 213429 states/sec, Load: 51940 states -- Throughput: 323709 states/sec, Load: 54410 states -- Throughput: 322096 states/sec, Load: 44969 states -- Throughput: 311951 states/sec, Load: 23259 states -- Throughput: 314825 states/sec, Load: 7723 states -- Throughput: 331009 states/sec, Load: 1120 states -- Throughput: 304877 states/sec, Load: 1922 states -- Throughput: 336162 states/sec, Load: 2042 states -- Throughput: 334220 states/sec, Load: 1476 states -- Throughput: 322995 states/sec, Load: 3107 states -- Throughput: 329523 states/sec, Load: 4822 states -- Throughput: 323417 states/sec, Load: 2778 states -- Throughput: 251160 states/sec, Load: 5569 states -- Throughput: 340590 states/sec, Load: 5720 states Preparing: 0% Preparing: 1% Preparing: 2% Preparing: 3% Preparing: 4% Preparing: 5% Preparing: 6% Preparing: 7% Preparing: 8% Preparing: 9% Preparing: 10% Preparing: 11% Preparing: 12% Preparing: 13% Preparing: 14% Preparing: 15% Preparing: 16% Preparing: 17% Preparing: 18% Preparing: 19% Preparing: 20% Preparing: 21% Preparing: 22% Preparing: 23% Preparing: 24% Preparing: 25% Preparing: 26% Preparing: 27% Preparing: 28% Preparing: 29% Preparing: 30% Preparing: 31% Preparing: 32% Preparing: 33% Preparing: 34% Preparing: 35% Preparing: 36% Preparing: 37% Preparing: 38% Preparing: 39% Preparing: 40% Preparing: 41% Preparing: 42% Preparing: 43% Preparing: 44% Preparing: 45% Preparing: 46% Preparing: 47% Preparing: 48% Preparing: 49% Preparing: 50% Preparing: 51% Preparing: 52% Preparing: 53% Preparing: 54% Preparing: 55% Preparing: 56% Preparing: 57% Preparing: 58% Preparing: 59% Preparing: 60% Preparing: 61% Preparing: 62% Preparing: 63% Preparing: 64% Preparing: 65% Preparing: 66% Preparing: 67% Preparing: 68% Preparing: 69% Preparing: 70% Preparing: 71% Preparing: 72% Preparing: 73% Preparing: 74% Preparing: 75% Preparing: 76% Preparing: 77% Preparing: 78% Preparing: 79% Preparing: 80% Preparing: 81% Preparing: 82% Preparing: 83% Preparing: 84% Preparing: 85% Preparing: 86% Preparing: 87% Preparing: 88% Preparing: 89% Preparing: 90% Preparing: 91% Preparing: 92% Preparing: 93% Preparing: 94% Preparing: 95% Preparing: 96% Preparing: 97% Preparing: 98% Preparing: 99%  -- Formula is satisfied. $v_gameInfoPlay Verifying formula 5 at /nta/queries/query[5]/formula -- Throughput: 3 states/sec, Load: 134 states -- Throughput: 153846 states/sec, Load: 134 states -- Throughput: 326369 states/sec, Load: 10847 states -- Throughput: 233650 states/sec, Load: 8996 states  -- Formula is satisfied. inf{velocityFront - velocityEgo == 0}: distance >= 6  Verifying formula 6 at /nta/queries/query[6]/formula -- Throughput: 3 states/sec, Load: 200 iterations -- Throughput: 44444 states/sec, Load: 200 iterations Segmentation fault (core dumped)