Summary: Benchmark - LA0125_vericoded.lean

Summary: Benchmark - VA0197_vericoded.rs

Summary: Benchmark - LA0120_vericoded.lean

Summary: Benchmark - VA0191_vericoded.rs

Summary: Benchmark - LA0119_vericoded.lean

Summary: Benchmark - VA0190_vericoded.rs

Summary: Benchmark - LA0115_vericoded.lean

Summary: Benchmark - VA0188_vericoded.rs

Summary: Benchmark - LA0114_vericoded.lean

Summary: Benchmark - VA0187_vericoded.rs

Summary: Benchmark - LA0113_vericoded.lean

Summary: Benchmark - VA0186_vericoded.rs

Summary: Benchmark - LA0110_vericoded.lean

Summary: Benchmark - VA0176_vericoded.rs

Summary: Benchmark - LA0109_vericoded.lean