APC Effectiveness Analyzer
Drop JSON file here or click to upload
Upload APC candidates JSON file
Or paste URL:
Load from URL
Supports direct JSON URLs and GitHub file links
Effectiveness by Basic Block
Saved proving cost vs added verifier cost
▼
Labels
Program Code
No data loaded
Info
Cost Metric:
Total Cost
Main Columns
Constraints
Bus Interactions
Block ID:
Go
Selected Basic Block
Click on a bar or code line to select a block