[
  {
    "engine": "Math",
    "operation": "Simple Arithmetic",
    "iterations": 50,
    "total_time_ms": 79.195,
    "avg_time_ms": 1.584,
    "min_time_ms": 1.066,
    "max_time_ms": 2.664,
    "std_dev_ms": 0.346,
    "throughput_per_sec": 631.4,
    "memory_peak_mb": 0.05,
    "memory_avg_mb": 0.05,
    "success_rate": 1.0,
    "timestamp": "2026-01-16T19:25:30.110698"
  },
  {
    "engine": "Math",
    "operation": "Complex Expression",
    "iterations": 50,
    "total_time_ms": 220.137,
    "avg_time_ms": 4.403,
    "min_time_ms": 3.283,
    "max_time_ms": 7.963,
    "std_dev_ms": 1.059,
    "throughput_per_sec": 227.1,
    "memory_peak_mb": 0.05,
    "memory_avg_mb": 0.05,
    "success_rate": 1.0,
    "timestamp": "2026-01-16T19:25:30.389748"
  },
  {
    "engine": "Math",
    "operation": "Percentage",
    "iterations": 50,
    "total_time_ms": 0.335,
    "avg_time_ms": 0.007,
    "min_time_ms": 0.006,
    "max_time_ms": 0.013,
    "std_dev_ms": 0.001,
    "throughput_per_sec": 149343.1,
    "memory_peak_mb": 0.0,
    "memory_avg_mb": 0.0,
    "success_rate": 1.0,
    "timestamp": "2026-01-16T19:25:30.389748"
  },
  {
    "engine": "DSL",
    "operation": "Simple Parse",
    "iterations": 50,
    "total_time_ms": 2.259,
    "avg_time_ms": 0.045,
    "min_time_ms": 0.043,
    "max_time_ms": 0.068,
    "std_dev_ms": 0.005,
    "throughput_per_sec": 22133.7,
    "memory_peak_mb": 0.0,
    "memory_avg_mb": 0.0,
    "success_rate": 1.0,
    "timestamp": "2026-01-16T19:25:30.435550"
  },
  {
    "engine": "DSL",
    "operation": "Complex Nested",
    "iterations": 50,
    "total_time_ms": 13.095,
    "avg_time_ms": 0.262,
    "min_time_ms": 0.193,
    "max_time_ms": 0.424,
    "std_dev_ms": 0.076,
    "throughput_per_sec": 3818.1,
    "memory_peak_mb": 0.0,
    "memory_avg_mb": 0.0,
    "success_rate": 1.0,
    "timestamp": "2026-01-16T19:25:30.445024"
  },
  {
    "engine": "DSL",
    "operation": "Large Expression (20 clauses)",
    "iterations": 50,
    "total_time_ms": 55.642,
    "avg_time_ms": 1.113,
    "min_time_ms": 0.761,
    "max_time_ms": 1.626,
    "std_dev_ms": 0.328,
    "throughput_per_sec": 898.6,
    "memory_peak_mb": 0.01,
    "memory_avg_mb": 0.01,
    "success_rate": 1.0,
    "timestamp": "2026-01-16T19:25:30.505516"
  },
  {
    "engine": "Symbolic",
    "operation": "Simple Code",
    "iterations": 50,
    "total_time_ms": 7.779,
    "avg_time_ms": 0.156,
    "min_time_ms": 0.138,
    "max_time_ms": 0.222,
    "std_dev_ms": 0.017,
    "throughput_per_sec": 6427.4,
    "memory_peak_mb": 0.01,
    "memory_avg_mb": 0.01,
    "success_rate": 1.0,
    "timestamp": "2026-01-16T19:25:31.571218"
  },
  {
    "engine": "Symbolic",
    "operation": "Safety Properties",
    "iterations": 50,
    "total_time_ms": 13.081,
    "avg_time_ms": 0.262,
    "min_time_ms": 0.221,
    "max_time_ms": 0.534,
    "std_dev_ms": 0.058,
    "throughput_per_sec": 3822.3,
    "memory_peak_mb": 0.01,
    "memory_avg_mb": 0.01,
    "success_rate": 1.0,
    "timestamp": "2026-01-16T19:25:31.586040"
  }
]