Checker "vow-lean-kernel" on test "reachability"
Checker: vow-lean-kernel · Version: da68038 · 📄 Declaration · 🔗 Source
Test: reachability · Expected: 👍 accept · Size: 18.1 MB · Lines: 361.8 k · lean4export: 3.1.0 · Lean: 4.34.1 · Timeout: 15.2 min · 📄 Declaration · 🔗 Source
Result: ⌛ timeout · exit code -9 · wall time: 30.0 s · max rss memory: 0 B · run 2026-11-02 17:39:57 UTC
stdout:
Checking decl 0/4846 arena=326617 Checking decl 100/4846 arena=326617 Checking decl 200/4846 arena=326617 Checking decl 300/4846 arena=326617 Checking decl 400/4846 arena=326617 Checking decl 500/4846 arena=326617 Checking decl 600/4846 arena=326617 Checking decl 700/4846 arena=326617 Checking decl 800/4846 arena=326617 Checking decl 900/4846 arena=326617 Checking decl 1000/4846 arena=326617 Checking decl 1100/4846 arena=326617 Checking decl 1200/4846 arena=326617 Checking decl 1300/4846 arena=326617 Checking decl 1400/4846 arena=326617 Checking decl 1500/4846 arena=326617 Checking decl 1600/4846 arena=326617 Checking decl 1700/4846 arena=326617 Checking decl 1800/4846 arena=326617 Checking decl 1900/4846 arena=326617 Checking decl 2000/4846 arena=326617 Checking decl 2100/4846 arena=326617 Checking decl 2200/4846 arena=326617 Checking decl 2300/4846 arena=326617 Checking decl 2400/4846 arena=326617 Checking decl 2500/4846 arena=326617 Checking decl 2600/4846 arena=326617 Checking decl 2700/4846 arena=326617 Checking decl 2800/4846 arena=326617 Checking decl 2900/4846 arena=326617 Checking decl 3000/4846 arena=326617 Checking decl 3100/4846 arena=326617 Checking decl 3200/4846 arena=326617 Checking decl 3300/4846 arena=326617 Checking decl 3400/4846 arena=326617 Checking decl 3500/4846 arena=326617 Checking decl 3600/4846 arena=326617 Checking decl 3700/4846 arena=326617 Checking decl 3800/4846 arena=326617 Checking decl 3900/4846 arena=326617 Checking decl 4000/4846 arena=326617 Checking decl 4100/4846 arena=326617 Checking decl 4200/4846 arena=326617 Checking decl 4300/4846 arena=326617 Checking decl 4400/4846 arena=326617 Checking decl 4500/4846 arena=326617
stderr:
Killed after exceeding the timeout of 30.0 s.