[
  {
    "engine": "Math",
    "operation": "Simple Arithmetic",
    "iterations": 50,
    "total_time_ms": 50.661,
    "avg_time_ms": 1.013,
    "min_time_ms": 0.903,
    "max_time_ms": 1.35,
    "std_dev_ms": 0.104,
    "throughput_per_sec": 987.0,
    "memory_peak_mb": 0.05,
    "memory_avg_mb": 0.05,
    "success_rate": 1.0,
    "timestamp": "2026-01-16T19:26:08.476434"
  },
  {
    "engine": "Math",
    "operation": "Complex Expression",
    "iterations": 50,
    "total_time_ms": 238.824,
    "avg_time_ms": 4.776,
    "min_time_ms": 3.303,
    "max_time_ms": 9.331,
    "std_dev_ms": 1.525,
    "throughput_per_sec": 209.4,
    "memory_peak_mb": 0.05,
    "memory_avg_mb": 0.05,
    "success_rate": 1.0,
    "timestamp": "2026-01-16T19:26:08.772237"
  },
  {
    "engine": "Math",
    "operation": "Percentage",
    "iterations": 50,
    "total_time_ms": 0.197,
    "avg_time_ms": 0.004,
    "min_time_ms": 0.003,
    "max_time_ms": 0.011,
    "std_dev_ms": 0.001,
    "throughput_per_sec": 253678.5,
    "memory_peak_mb": 0.0,
    "memory_avg_mb": 0.0,
    "success_rate": 1.0,
    "timestamp": "2026-01-16T19:26:08.772237"
  },
  {
    "engine": "DSL",
    "operation": "Simple Parse",
    "iterations": 50,
    "total_time_ms": 3.48,
    "avg_time_ms": 0.07,
    "min_time_ms": 0.044,
    "max_time_ms": 0.365,
    "std_dev_ms": 0.052,
    "throughput_per_sec": 14367.0,
    "memory_peak_mb": 0.0,
    "memory_avg_mb": 0.0,
    "success_rate": 1.0,
    "timestamp": "2026-01-16T19:26:08.813706"
  },
  {
    "engine": "DSL",
    "operation": "Complex Nested",
    "iterations": 50,
    "total_time_ms": 16.776,
    "avg_time_ms": 0.336,
    "min_time_ms": 0.186,
    "max_time_ms": 0.613,
    "std_dev_ms": 0.086,
    "throughput_per_sec": 2980.4,
    "memory_peak_mb": 0.0,
    "memory_avg_mb": 0.0,
    "success_rate": 1.0,
    "timestamp": "2026-01-16T19:26:08.831365"
  },
  {
    "engine": "DSL",
    "operation": "Large Expression (20 clauses)",
    "iterations": 50,
    "total_time_ms": 63.497,
    "avg_time_ms": 1.27,
    "min_time_ms": 0.834,
    "max_time_ms": 1.857,
    "std_dev_ms": 0.324,
    "throughput_per_sec": 787.4,
    "memory_peak_mb": 0.01,
    "memory_avg_mb": 0.01,
    "success_rate": 1.0,
    "timestamp": "2026-01-16T19:26:08.895926"
  },
  {
    "engine": "Symbolic",
    "operation": "Simple Code",
    "iterations": 50,
    "total_time_ms": 7.77,
    "avg_time_ms": 0.155,
    "min_time_ms": 0.141,
    "max_time_ms": 0.284,
    "std_dev_ms": 0.028,
    "throughput_per_sec": 6435.0,
    "memory_peak_mb": 0.01,
    "memory_avg_mb": 0.01,
    "success_rate": 1.0,
    "timestamp": "2026-01-16T19:26:09.316379"
  },
  {
    "engine": "Symbolic",
    "operation": "Safety Properties",
    "iterations": 50,
    "total_time_ms": 19.02,
    "avg_time_ms": 0.38,
    "min_time_ms": 0.244,
    "max_time_ms": 0.56,
    "std_dev_ms": 0.12,
    "throughput_per_sec": 2628.8,
    "memory_peak_mb": 0.01,
    "memory_avg_mb": 0.01,
    "success_rate": 1.0,
    "timestamp": "2026-01-16T19:26:09.335648"
  }
]