Summary: Benchmark - LA0060_vericoded.lean

Summary: Benchmark - LA0059_vericoded.lean

Summary: Benchmark - LA0056_vericoded.lean

Summary: Benchmark - LA0054_vericoded.lean

Summary: Benchmark - LA0050_vericoded.lean

Summary: Benchmark - LA0049_vericoded.lean

Summary: Benchmark - LA0048_vericoded.lean

Summary: Benchmark - LA0046_vericoded.lean

Summary: Benchmark - LA0044_vericoded.lean

Summary: Benchmark - LA0041_vericoded.lean

Summary: Benchmark - LA0040_vericoded.lean

Summary: Benchmark - LA0039_vericoded.lean

Summary: Benchmark - LA0036_vericoded.lean

Summary: Benchmark - LA0034_vericoded.lean

Summary: Benchmark - LA0033_vericoded.lean

Summary: Benchmark - LA0030_vericoded.lean