Summary: Benchmark - LA0231_vericoded.lean

Summary: Benchmark - LA0232_vericoded.lean

Summary: Benchmark - LA0234_vericoded.lean

Summary: Benchmark - LA0241_vericoded.lean

Summary: Benchmark - LA0243_vericoded.lean

Summary: Benchmark - LA0244_vericoded.lean

Summary: Benchmark - LA0247_vericoded.lean

Summary: Benchmark - LA0249_vericoded.lean

Summary: Benchmark - LA0252_vericoded.lean

Summary: Benchmark - VA0002_vericoded.rs

Summary: Benchmark - VA0003_vericoded.rs

Summary: Benchmark - VA0009_vericoded.rs

Summary: Benchmark - VA0012_vericoded.rs

Summary: Benchmark - VA0014_vericoded.rs

Summary: Benchmark - VA0018_vericoded.rs

Summary: Benchmark - VA0023_vericoded.rs