[2025-09-05 11:28:21] [INFO] ============================================================
[2025-09-05 11:28:21] [INFO] DYNAMIC VEHICLE MONITORING RESULTS
[2025-09-05 11:28:21] [INFO] ============================================================
[2025-09-05 11:28:21] [INFO]
[2025-09-05 11:28:21] [INFO] SUMMARY:
[2025-09-05 11:28:21] [INFO] Total Propositions: 7
[2025-09-05 11:28:21] [INFO] Analyzed: 6
[2025-09-05 11:28:21] [INFO] Passed: 5
[2025-09-05 11:28:21] [INFO] Failed: 1
[2025-09-05 11:28:21] [INFO] Success Rate: 83.3%
[2025-09-05 11:28:21] [INFO] Overall Result: FAIL
[2025-09-05 11:28:21] [INFO]
[2025-09-05 11:28:21] [INFO] DETAILED RESULTS:
[2025-09-05 11:28:21] [INFO] ------------------------------------------------------------
[2025-09-05 11:28:21] [INFO] EGO_SPEED : PASS (297 states, 297 Kripke states)
[2025-09-05 11:28:21] [INFO] Max velocity: 0.00 m/s, Avg velocity: 0.00 m/s
[2025-09-05 11:28:21] [INFO] Speed threshold: 13.89 m/s [2025-09-05 11:28:21] [INFO] States with data: 270, without data: 27 [2025-09-05 11:28:21] [INFO] Valid evaluations: 297, failed evaluations: 0 [2025-09-05 11:28:21] [INFO] NEAR_GOAL : PASS (297 states, 49 Kripke states) [2025-09-05 11:28:21] [INFO] Goal position: (0.00, 0.00)
[2025-09-05 11:28:21] [INFO] Final vehicle position: (0.00, 0.00)
[2025-09-05 11:28:21] [INFO] Min distance to goal: 0.00m
[2025-09-05 11:28:21] [INFO] Final distance to goal: 0.00m
[2025-09-05 11:28:21] [INFO] Distance threshold: 5.00m
[2025-09-05 11:28:21] [INFO] States with data: 0, without data: 248 [2025-09-05 11:28:21] [INFO] ACCELERATION_COMPLIANCE : PASS (297 states, 246 Kripke states) [2025-09-05 11:28:21] [INFO] Max error: 0.000 m/s², Avg error: 0.000 m/s² [2025-09-05 11:28:21] [INFO] Max measured: 0.00 m/s², Max commanded: 0.00 m/s² [2025-09-05 11:28:21] [INFO] Avg measured: 0.00 m/s², Avg commanded: 0.00 m/s² [2025-09-05 11:28:21] [INFO] Acceleration events: 0, Violations: 0
[2025-09-05 11:28:21] [INFO] DECELERATION_COMPLIANCE : PASS (297 states, 246 Kripke states)
[2025-09-05 11:28:21] [INFO] Max error: 0.000 m/s², Avg error: 0.000 m/s²
[2025-09-05 11:28:21] [INFO] Max measured: -0.50 m/s², Max commanded: -0.50 m/s²
[2025-09-05 11:28:21] [INFO] Avg measured: -0.50 m/s², Avg commanded: -0.50 m/s²
[2025-09-05 11:28:21] [INFO] Deceleration events: 246, Violations: 0
[2025-09-05 11:28:21] [INFO] Compliance rate: 100.0%
[2025-09-05 11:28:21] [INFO] LANE_KEEPING : FAIL (297 states, 49 Kripke states)
[2025-09-05 11:28:21] [INFO] TIME_TO_COLLISION : NO_DATA (0 states, 0 Kripke states)
[2025-09-05 11:28:21] [INFO] No TTC calculatable
[2025-09-05 11:28:21] [INFO] SMOOTH_STEERING : PASS (297 states, 270 Kripke states)
[2025-09-05 11:28:21] [INFO] Max steering rate: 0.000 , Min steering rate: 0.000
[2025-09-05 11:28:21] [INFO] Violations: 0