Summary: Benchmark - LA0243_vericoded.lean

Summary: Benchmark - LA0241_vericoded.lean

Summary: Benchmark - LA0234_vericoded.lean

Summary: Benchmark - LA0232_vericoded.lean

Summary: Benchmark - LA0231_vericoded.lean

Summary: Benchmark - LA0230_vericoded.lean

Summary: Benchmark - LA0227_vericoded.lean

Summary: Benchmark - LA0223_vericoded.lean

Summary: Benchmark - LA0222_vericoded.lean

Summary: Benchmark - VA0351_vericoded.rs

Summary: Benchmark - LA0218_vericoded.lean

Summary: Benchmark - VA0350_vericoded.rs

Summary: Benchmark - LA0217_vericoded.lean

Summary: Benchmark - VA0349_vericoded.rs

Summary: Benchmark - LA0216_vericoded.lean