Checker "rpylean" on test "con-leche"
Checker: rpylean · Version: v2026.9.1 · 📄 Declaration · 🔗 Source
Test: con-leche · Expected: 👍 accept · Size: 525.9 MB · Lines: 10.0 M · lean4export: 3.1.0 · Lean: 4.33.0 · Timeout: 12.0 min · 📄 Declaration · 🔗 Source
Result: ⌛ timeout · exit code -9 · wall time: 12.0 min · max rss memory: 0 B · run 2026-10-24 17:12:35 UTC
stdout:
Building large str expr for sorryAx Building large str expr for propext Building large str expr for sorryAx Building large str expr for propext Building large str expr for shiftLeft Building large str expr for shiftRight Building large str expr for shiftLeft Building large str expr for shiftRight Building large str expr for shiftLeft Building large str expr for shiftRight Building large str expr for shiftLeft Building large str expr for shiftRight Building large str expr for shiftLeft Building large str expr for shiftRight Building large str expr for shiftLeft Building large str expr for shiftRight Building large str expr for shiftLeft
stderr:
Killed after exceeding the timeout of 12.0 m.