Summary: Benchmark - LA0099_vericoded.lean

Summary: Benchmark - LA0093_vericoded.lean

Summary: Benchmark - LA0089_vericoded.lean

Summary: Benchmark - LA0085_vericoded.lean

Summary: Benchmark - LA0084_vericoded.lean

Summary: Benchmark - LA0083_vericoded.lean

Summary: Benchmark - LA0082_vericoded.lean

Summary: Benchmark - LA0079_vericoded.lean

Summary: Benchmark - LA0078_vericoded.lean

Summary: Benchmark - LA0074_vericoded.lean

Summary: Benchmark - LA0073_vericoded.lean

Summary: Benchmark - LA0072_vericoded.lean

Summary: Benchmark - LA0070_vericoded.lean

Summary: Benchmark - LA0068_vericoded.lean

Summary: Benchmark - LA0065_vericoded.lean

Summary: Benchmark - LA0063_vericoded.lean