[
  {
    "engine": "Math",
    "operation": "Simple Arithmetic",
    "iterations": 50,
    "total_time_ms": 72.514,
    "avg_time_ms": 1.45,
    "min_time_ms": 1.037,
    "max_time_ms": 1.882,
    "std_dev_ms": 0.313,
    "throughput_per_sec": 689.5,
    "memory_peak_mb": 0.05,
    "memory_avg_mb": 0.05,
    "success_rate": 1.0,
    "timestamp": "2026-01-16T19:27:28.943368"
  },
  {
    "engine": "Math",
    "operation": "Complex Expression",
    "iterations": 50,
    "total_time_ms": 251.341,
    "avg_time_ms": 5.027,
    "min_time_ms": 3.23,
    "max_time_ms": 9.577,
    "std_dev_ms": 1.571,
    "throughput_per_sec": 198.9,
    "memory_peak_mb": 0.05,
    "memory_avg_mb": 0.05,
    "success_rate": 1.0,
    "timestamp": "2026-01-16T19:27:29.245840"
  },
  {
    "engine": "Math",
    "operation": "Percentage",
    "iterations": 50,
    "total_time_ms": 0.194,
    "avg_time_ms": 0.004,
    "min_time_ms": 0.003,
    "max_time_ms": 0.009,
    "std_dev_ms": 0.001,
    "throughput_per_sec": 257202.0,
    "memory_peak_mb": 0.0,
    "memory_avg_mb": 0.0,
    "success_rate": 1.0,
    "timestamp": "2026-01-16T19:27:29.245840"
  },
  {
    "engine": "DSL",
    "operation": "Simple Parse",
    "iterations": 50,
    "total_time_ms": 2.532,
    "avg_time_ms": 0.051,
    "min_time_ms": 0.049,
    "max_time_ms": 0.077,
    "std_dev_ms": 0.004,
    "throughput_per_sec": 19750.4,
    "memory_peak_mb": 0.0,
    "memory_avg_mb": 0.0,
    "success_rate": 1.0,
    "timestamp": "2026-01-16T19:27:29.290948"
  },
  {
    "engine": "DSL",
    "operation": "Complex Nested",
    "iterations": 50,
    "total_time_ms": 15.894,
    "avg_time_ms": 0.318,
    "min_time_ms": 0.187,
    "max_time_ms": 0.412,
    "std_dev_ms": 0.068,
    "throughput_per_sec": 3145.9,
    "memory_peak_mb": 0.0,
    "memory_avg_mb": 0.0,
    "success_rate": 1.0,
    "timestamp": "2026-01-16T19:27:29.308466"
  },
  {
    "engine": "DSL",
    "operation": "Large Expression (20 clauses)",
    "iterations": 50,
    "total_time_ms": 61.434,
    "avg_time_ms": 1.229,
    "min_time_ms": 0.828,
    "max_time_ms": 1.886,
    "std_dev_ms": 0.34,
    "throughput_per_sec": 813.9,
    "memory_peak_mb": 0.01,
    "memory_avg_mb": 0.01,
    "success_rate": 1.0,
    "timestamp": "2026-01-16T19:27:29.371610"
  },
  {
    "engine": "Symbolic",
    "operation": "Simple Code",
    "iterations": 50,
    "total_time_ms": 11.215,
    "avg_time_ms": 0.224,
    "min_time_ms": 0.142,
    "max_time_ms": 0.328,
    "std_dev_ms": 0.066,
    "throughput_per_sec": 4458.5,
    "memory_peak_mb": 0.01,
    "memory_avg_mb": 0.01,
    "success_rate": 1.0,
    "timestamp": "2026-01-16T19:27:29.635358"
  },
  {
    "engine": "Symbolic",
    "operation": "Safety Properties",
    "iterations": 50,
    "total_time_ms": 21.943,
    "avg_time_ms": 0.439,
    "min_time_ms": 0.268,
    "max_time_ms": 0.559,
    "std_dev_ms": 0.087,
    "throughput_per_sec": 2278.7,
    "memory_peak_mb": 0.01,
    "memory_avg_mb": 0.01,
    "success_rate": 1.0,
    "timestamp": "2026-01-16T19:27:29.658776"
  }
]