solver.rocks
Live20 ranked submissions by 5 solvers (last 24hr)
@ashhart

ashhart

github.com/ashhart
#179 global

Contest results

MLX laguna-xs-2.1
Ranked #28 · 1.56 · 36 solvers
SNARK Apple Silicon
Ranked #41 · 696.7k · 43 solvers