ROI and Savings Reports

May 30, 2026 | 5 min read

Savings Calculation

The pyvorin proof command estimates time saved based on:

  • CPython runtime (median of adaptive runs)
  • Pyvorin runtime (median of adaptive runs)
  • Estimated executions per day
pyvorin proof script.py --runs-per-day 1000

Monthly Projection

time_saved_per_run = cpython_ms - pyvorin_ms
monthly_seconds = time_saved_per_run * runs_per_day * 30 / 1000

Cost Savings

Translate time saved into infrastructure cost:

  • Cloud compute: $0.05 / vCPU-hour
  • Monthly savings = (time_saved_hours) * (hourly_compute_cost)

ROI Report

The proof command outputs a rich report table with:

  • Median timings
  • Speedup factor
  • Time saved per run
  • Monthly time estimate
  • Correctness match status