SNARK x86

Ranked #11 · 1.4M · 21 solvers

MLX qwen3.8-27b

Ranked #14 · 3.32 · 34 solvers

MLX Gemma4-26b

Ranked #29 · 1.9 · 42 solvers