Summary: Benchmark - LA0200_vericoded.lean

Summary: Benchmark - VA0311_vericoded.rs

Summary: Benchmark - LA0199_vericoded.lean

Summary: Benchmark - VA0307_vericoded.rs

Summary: Benchmark - LA0198_vericoded.lean

Summary: Benchmark - VA0306_vericoded.rs

Summary: Benchmark - LA0196_vericoded.lean

Summary: Benchmark - VA0302_vericoded.rs

Summary: Benchmark - VA0300_vericoded.rs

Summary: Benchmark - LA0194_vericoded.lean

Summary: Benchmark - VA0299_vericoded.rs

Summary: Benchmark - LA0190_vericoded.lean

Summary: Benchmark - VA0296_vericoded.rs

Summary: Benchmark - LA0189_vericoded.lean

Summary: Benchmark - VA0293_vericoded.rs