cccat6 commited on
Commit
7516bdf
·
verified ·
1 Parent(s): eb98065

Upload model artifacts: Qwen3-VL-2B-Instruct eval stage_20

Browse files
Qwen3-VL-2B-Instruct/stage_20/eval_report.json ADDED
@@ -0,0 +1,4747 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ {
2
+ "config": {
3
+ "dataset_root": "/workspace/ASCII-VLA/train_data/20",
4
+ "observation_input_mode": "image",
5
+ "ascii_size": "96x54",
6
+ "max_steps": 30,
7
+ "workers": 16,
8
+ "api_concurrency": 16,
9
+ "api_model": "ascii_vla_lora",
10
+ "api_base_url": "http://127.0.0.1:8001/v1",
11
+ "stage": 20,
12
+ "fail_seed_limit": 0,
13
+ "merged_from": [
14
+ "/workspace/ASCII-VLA/eval_report/20260223_1936_stage20_shard1.json",
15
+ "/workspace/ASCII-VLA/eval_report/20260223_1936_stage20_shard0.json",
16
+ "/workspace/ASCII-VLA/eval_report/20260223_1936_stage20_shard3.json",
17
+ "/workspace/ASCII-VLA/eval_report/20260223_1937_stage20_shard2.json"
18
+ ],
19
+ "shards": 4
20
+ },
21
+ "train": {
22
+ "reachable_simple": {
23
+ "total": 8000,
24
+ "success": 6773,
25
+ "success_rate": 0.846625,
26
+ "steps_total": 66949,
27
+ "avg_steps": 8.368625,
28
+ "median_steps": 7.0,
29
+ "min_steps": 0,
30
+ "max_steps": 30,
31
+ "reason_counts": {
32
+ "unreachable_incorrect": 818,
33
+ "success": 6773,
34
+ "collision": 128,
35
+ "max_steps": 281
36
+ },
37
+ "failed_seed_count": 1227,
38
+ "failed_seed_limit": 0,
39
+ "failed_seeds": [
40
+ 1,
41
+ 3,
42
+ 5,
43
+ 6,
44
+ 14,
45
+ 15,
46
+ 18,
47
+ 30,
48
+ 32,
49
+ 36,
50
+ 38,
51
+ 50,
52
+ 57,
53
+ 59,
54
+ 65,
55
+ 75,
56
+ 81,
57
+ 86,
58
+ 96,
59
+ 100,
60
+ 104,
61
+ 115,
62
+ 126,
63
+ 143,
64
+ 162,
65
+ 166,
66
+ 168,
67
+ 176,
68
+ 177,
69
+ 178,
70
+ 183,
71
+ 188,
72
+ 199,
73
+ 214,
74
+ 215,
75
+ 231,
76
+ 232,
77
+ 243,
78
+ 246,
79
+ 249,
80
+ 294,
81
+ 306,
82
+ 308,
83
+ 314,
84
+ 326,
85
+ 327,
86
+ 329,
87
+ 330,
88
+ 334,
89
+ 336,
90
+ 337,
91
+ 350,
92
+ 354,
93
+ 355,
94
+ 358,
95
+ 363,
96
+ 366,
97
+ 368,
98
+ 379,
99
+ 384,
100
+ 390,
101
+ 396,
102
+ 404,
103
+ 419,
104
+ 421,
105
+ 430,
106
+ 431,
107
+ 439,
108
+ 447,
109
+ 449,
110
+ 450,
111
+ 470,
112
+ 480,
113
+ 485,
114
+ 493,
115
+ 496,
116
+ 499,
117
+ 502,
118
+ 503,
119
+ 504,
120
+ 505,
121
+ 508,
122
+ 510,
123
+ 524,
124
+ 525,
125
+ 526,
126
+ 535,
127
+ 536,
128
+ 537,
129
+ 540,
130
+ 542,
131
+ 547,
132
+ 572,
133
+ 574,
134
+ 579,
135
+ 580,
136
+ 583,
137
+ 589,
138
+ 592,
139
+ 597,
140
+ 600,
141
+ 603,
142
+ 608,
143
+ 614,
144
+ 617,
145
+ 627,
146
+ 634,
147
+ 635,
148
+ 649,
149
+ 650,
150
+ 653,
151
+ 657,
152
+ 659,
153
+ 668,
154
+ 670,
155
+ 675,
156
+ 680,
157
+ 682,
158
+ 683,
159
+ 686,
160
+ 687,
161
+ 688,
162
+ 689,
163
+ 697,
164
+ 699,
165
+ 703,
166
+ 711,
167
+ 713,
168
+ 719,
169
+ 725,
170
+ 737,
171
+ 749,
172
+ 752,
173
+ 757,
174
+ 760,
175
+ 766,
176
+ 769,
177
+ 782,
178
+ 794,
179
+ 795,
180
+ 812,
181
+ 815,
182
+ 818,
183
+ 819,
184
+ 821,
185
+ 827,
186
+ 828,
187
+ 849,
188
+ 854,
189
+ 871,
190
+ 882,
191
+ 887,
192
+ 892,
193
+ 899,
194
+ 904,
195
+ 905,
196
+ 912,
197
+ 913,
198
+ 916,
199
+ 931,
200
+ 933,
201
+ 937,
202
+ 947,
203
+ 951,
204
+ 968,
205
+ 985,
206
+ 989,
207
+ 992,
208
+ 993,
209
+ 996,
210
+ 1016,
211
+ 1018,
212
+ 1028,
213
+ 1029,
214
+ 1031,
215
+ 1036,
216
+ 1045,
217
+ 1057,
218
+ 1058,
219
+ 1082,
220
+ 1089,
221
+ 1102,
222
+ 1106,
223
+ 1110,
224
+ 1112,
225
+ 1133,
226
+ 1138,
227
+ 1145,
228
+ 1148,
229
+ 1161,
230
+ 1166,
231
+ 1169,
232
+ 1175,
233
+ 1190,
234
+ 1207,
235
+ 1213,
236
+ 1214,
237
+ 1215,
238
+ 1223,
239
+ 1225,
240
+ 1236,
241
+ 1243,
242
+ 1246,
243
+ 1247,
244
+ 1262,
245
+ 1280,
246
+ 1288,
247
+ 1295,
248
+ 1296,
249
+ 1324,
250
+ 1332,
251
+ 1337,
252
+ 1347,
253
+ 1352,
254
+ 1355,
255
+ 1364,
256
+ 1365,
257
+ 1382,
258
+ 1384,
259
+ 1418,
260
+ 1419,
261
+ 1424,
262
+ 1430,
263
+ 1434,
264
+ 1439,
265
+ 1440,
266
+ 1446,
267
+ 1455,
268
+ 1456,
269
+ 1483,
270
+ 1498,
271
+ 1502,
272
+ 1505,
273
+ 1508,
274
+ 1513,
275
+ 1514,
276
+ 1522,
277
+ 1523,
278
+ 1527,
279
+ 1532,
280
+ 1540,
281
+ 1544,
282
+ 1561,
283
+ 1566,
284
+ 1570,
285
+ 1577,
286
+ 1581,
287
+ 1583,
288
+ 1586,
289
+ 1592,
290
+ 1605,
291
+ 1609,
292
+ 1613,
293
+ 1619,
294
+ 1626,
295
+ 1629,
296
+ 1649,
297
+ 1661,
298
+ 1664,
299
+ 1666,
300
+ 1671,
301
+ 1673,
302
+ 1674,
303
+ 1678,
304
+ 1688,
305
+ 1692,
306
+ 1696,
307
+ 1703,
308
+ 1704,
309
+ 1705,
310
+ 1716,
311
+ 1718,
312
+ 1738,
313
+ 1745,
314
+ 1748,
315
+ 1750,
316
+ 1756,
317
+ 1787,
318
+ 1788,
319
+ 1790,
320
+ 1792,
321
+ 1793,
322
+ 1798,
323
+ 1800,
324
+ 1805,
325
+ 1808,
326
+ 1815,
327
+ 1848,
328
+ 1857,
329
+ 1864,
330
+ 1865,
331
+ 1867,
332
+ 1879,
333
+ 1880,
334
+ 1888,
335
+ 1894,
336
+ 1913,
337
+ 1914,
338
+ 1917,
339
+ 1934,
340
+ 1936,
341
+ 1967,
342
+ 1971,
343
+ 1976,
344
+ 1979,
345
+ 1982,
346
+ 2001,
347
+ 2006,
348
+ 2014,
349
+ 2015,
350
+ 2026,
351
+ 2040,
352
+ 2047,
353
+ 2056,
354
+ 2057,
355
+ 2063,
356
+ 2065,
357
+ 2093,
358
+ 2099,
359
+ 2107,
360
+ 2108,
361
+ 2114,
362
+ 2116,
363
+ 2120,
364
+ 2134,
365
+ 2137,
366
+ 2140,
367
+ 2141,
368
+ 2145,
369
+ 2157,
370
+ 2162,
371
+ 2163,
372
+ 2172,
373
+ 2174,
374
+ 2189,
375
+ 2192,
376
+ 2195,
377
+ 2202,
378
+ 2208,
379
+ 2223,
380
+ 2225,
381
+ 2236,
382
+ 2238,
383
+ 2243,
384
+ 2249,
385
+ 2261,
386
+ 2263,
387
+ 2266,
388
+ 2275,
389
+ 2285,
390
+ 2293,
391
+ 2297,
392
+ 2299,
393
+ 2303,
394
+ 2312,
395
+ 2316,
396
+ 2322,
397
+ 2332,
398
+ 2337,
399
+ 2339,
400
+ 2355,
401
+ 2371,
402
+ 2388,
403
+ 2415,
404
+ 2429,
405
+ 2431,
406
+ 2434,
407
+ 2440,
408
+ 2448,
409
+ 2464,
410
+ 2467,
411
+ 2472,
412
+ 2479,
413
+ 2480,
414
+ 2488,
415
+ 2494,
416
+ 2497,
417
+ 2499,
418
+ 2505,
419
+ 2516,
420
+ 2518,
421
+ 2531,
422
+ 2534,
423
+ 2544,
424
+ 2548,
425
+ 2559,
426
+ 2562,
427
+ 2566,
428
+ 2580,
429
+ 2584,
430
+ 2606,
431
+ 2608,
432
+ 2609,
433
+ 2610,
434
+ 2615,
435
+ 2620,
436
+ 2627,
437
+ 2634,
438
+ 2635,
439
+ 2636,
440
+ 2637,
441
+ 2640,
442
+ 2644,
443
+ 2660,
444
+ 2662,
445
+ 2669,
446
+ 2685,
447
+ 2696,
448
+ 2697,
449
+ 2701,
450
+ 2719,
451
+ 2722,
452
+ 2726,
453
+ 2735,
454
+ 2739,
455
+ 2746,
456
+ 2749,
457
+ 2764,
458
+ 2772,
459
+ 2779,
460
+ 2796,
461
+ 2807,
462
+ 2811,
463
+ 2822,
464
+ 2832,
465
+ 2837,
466
+ 2847,
467
+ 2851,
468
+ 2861,
469
+ 2865,
470
+ 2866,
471
+ 2869,
472
+ 2893,
473
+ 2900,
474
+ 2920,
475
+ 2921,
476
+ 2923,
477
+ 2928,
478
+ 2942,
479
+ 2944,
480
+ 2948,
481
+ 2956,
482
+ 2969,
483
+ 2972,
484
+ 2976,
485
+ 2998,
486
+ 3005,
487
+ 3008,
488
+ 3011,
489
+ 3019,
490
+ 3028,
491
+ 3029,
492
+ 3031,
493
+ 3032,
494
+ 3061,
495
+ 3094,
496
+ 3099,
497
+ 3104,
498
+ 3110,
499
+ 3122,
500
+ 3142,
501
+ 3147,
502
+ 3151,
503
+ 3157,
504
+ 3158,
505
+ 3169,
506
+ 3174,
507
+ 3184,
508
+ 3189,
509
+ 3202,
510
+ 3206,
511
+ 3230,
512
+ 3239,
513
+ 3244,
514
+ 3250,
515
+ 3258,
516
+ 3265,
517
+ 3268,
518
+ 3275,
519
+ 3278,
520
+ 3282,
521
+ 3287,
522
+ 3289,
523
+ 3305,
524
+ 3312,
525
+ 3316,
526
+ 3328,
527
+ 3340,
528
+ 3341,
529
+ 3342,
530
+ 3351,
531
+ 3354,
532
+ 3355,
533
+ 3359,
534
+ 3363,
535
+ 3364,
536
+ 3366,
537
+ 3367,
538
+ 3372,
539
+ 3380,
540
+ 3386,
541
+ 3397,
542
+ 3407,
543
+ 3411,
544
+ 3418,
545
+ 3429,
546
+ 3435,
547
+ 3437,
548
+ 3440,
549
+ 3442,
550
+ 3454,
551
+ 3459,
552
+ 3472,
553
+ 3474,
554
+ 3478,
555
+ 3487,
556
+ 3489,
557
+ 3503,
558
+ 3505,
559
+ 3509,
560
+ 3516,
561
+ 3519,
562
+ 3524,
563
+ 3525,
564
+ 3538,
565
+ 3544,
566
+ 3548,
567
+ 3552,
568
+ 3563,
569
+ 3564,
570
+ 3568,
571
+ 3569,
572
+ 3591,
573
+ 3592,
574
+ 3604,
575
+ 3607,
576
+ 3613,
577
+ 3626,
578
+ 3628,
579
+ 3635,
580
+ 3641,
581
+ 3645,
582
+ 3646,
583
+ 3647,
584
+ 3657,
585
+ 3659,
586
+ 3668,
587
+ 3673,
588
+ 3677,
589
+ 3680,
590
+ 3684,
591
+ 3689,
592
+ 3690,
593
+ 3693,
594
+ 3702,
595
+ 3703,
596
+ 3710,
597
+ 3726,
598
+ 3730,
599
+ 3743,
600
+ 3749,
601
+ 3751,
602
+ 3761,
603
+ 3763,
604
+ 3767,
605
+ 3771,
606
+ 3772,
607
+ 3773,
608
+ 3778,
609
+ 3780,
610
+ 3781,
611
+ 3785,
612
+ 3797,
613
+ 3802,
614
+ 3808,
615
+ 3809,
616
+ 3811,
617
+ 3813,
618
+ 3814,
619
+ 3817,
620
+ 3820,
621
+ 3824,
622
+ 3827,
623
+ 3841,
624
+ 3842,
625
+ 3850,
626
+ 3866,
627
+ 3870,
628
+ 3872,
629
+ 3873,
630
+ 3875,
631
+ 3876,
632
+ 3879,
633
+ 3880,
634
+ 3886,
635
+ 3898,
636
+ 3902,
637
+ 3907,
638
+ 3916,
639
+ 3920,
640
+ 3927,
641
+ 3936,
642
+ 3940,
643
+ 3944,
644
+ 3956,
645
+ 3963,
646
+ 3964,
647
+ 3972,
648
+ 3973,
649
+ 3992,
650
+ 3993,
651
+ 3994,
652
+ 3995,
653
+ 4008,
654
+ 4027,
655
+ 4036,
656
+ 4039,
657
+ 4059,
658
+ 4062,
659
+ 4065,
660
+ 4074,
661
+ 4077,
662
+ 4078,
663
+ 4082,
664
+ 4084,
665
+ 4100,
666
+ 4109,
667
+ 4116,
668
+ 4120,
669
+ 4130,
670
+ 4138,
671
+ 4139,
672
+ 4146,
673
+ 4160,
674
+ 4162,
675
+ 4169,
676
+ 4185,
677
+ 4186,
678
+ 4187,
679
+ 4194,
680
+ 4199,
681
+ 4202,
682
+ 4216,
683
+ 4231,
684
+ 4233,
685
+ 4235,
686
+ 4242,
687
+ 4250,
688
+ 4268,
689
+ 4271,
690
+ 4279,
691
+ 4286,
692
+ 4288,
693
+ 4303,
694
+ 4305,
695
+ 4309,
696
+ 4322,
697
+ 4330,
698
+ 4331,
699
+ 4332,
700
+ 4338,
701
+ 4341,
702
+ 4344,
703
+ 4354,
704
+ 4355,
705
+ 4364,
706
+ 4366,
707
+ 4369,
708
+ 4376,
709
+ 4395,
710
+ 4407,
711
+ 4409,
712
+ 4420,
713
+ 4421,
714
+ 4423,
715
+ 4425,
716
+ 4430,
717
+ 4438,
718
+ 4439,
719
+ 4446,
720
+ 4449,
721
+ 4457,
722
+ 4481,
723
+ 4486,
724
+ 4489,
725
+ 4491,
726
+ 4495,
727
+ 4502,
728
+ 4503,
729
+ 4511,
730
+ 4518,
731
+ 4523,
732
+ 4528,
733
+ 4531,
734
+ 4543,
735
+ 4559,
736
+ 4572,
737
+ 4583,
738
+ 4587,
739
+ 4589,
740
+ 4602,
741
+ 4613,
742
+ 4623,
743
+ 4625,
744
+ 4627,
745
+ 4628,
746
+ 4632,
747
+ 4633,
748
+ 4639,
749
+ 4644,
750
+ 4647,
751
+ 4651,
752
+ 4654,
753
+ 4663,
754
+ 4681,
755
+ 4686,
756
+ 4687,
757
+ 4699,
758
+ 4724,
759
+ 4726,
760
+ 4728,
761
+ 4734,
762
+ 4740,
763
+ 4744,
764
+ 4759,
765
+ 4768,
766
+ 4774,
767
+ 4776,
768
+ 4785,
769
+ 4793,
770
+ 4811,
771
+ 4812,
772
+ 4813,
773
+ 4819,
774
+ 4855,
775
+ 4860,
776
+ 4861,
777
+ 4862,
778
+ 4870,
779
+ 4882,
780
+ 4885,
781
+ 4892,
782
+ 4907,
783
+ 4908,
784
+ 4913,
785
+ 4914,
786
+ 4929,
787
+ 4937,
788
+ 4953,
789
+ 4956,
790
+ 4963,
791
+ 4981,
792
+ 4991,
793
+ 5008,
794
+ 5011,
795
+ 5014,
796
+ 5037,
797
+ 5040,
798
+ 5042,
799
+ 5046,
800
+ 5047,
801
+ 5055,
802
+ 5057,
803
+ 5059,
804
+ 5065,
805
+ 5075,
806
+ 5080,
807
+ 5086,
808
+ 5100,
809
+ 5101,
810
+ 5103,
811
+ 5111,
812
+ 5115,
813
+ 5133,
814
+ 5146,
815
+ 5147,
816
+ 5153,
817
+ 5162,
818
+ 5174,
819
+ 5175,
820
+ 5180,
821
+ 5182,
822
+ 5190,
823
+ 5193,
824
+ 5203,
825
+ 5214,
826
+ 5217,
827
+ 5219,
828
+ 5228,
829
+ 5230,
830
+ 5240,
831
+ 5251,
832
+ 5258,
833
+ 5259,
834
+ 5260,
835
+ 5264,
836
+ 5273,
837
+ 5313,
838
+ 5320,
839
+ 5340,
840
+ 5346,
841
+ 5366,
842
+ 5367,
843
+ 5377,
844
+ 5381,
845
+ 5395,
846
+ 5401,
847
+ 5404,
848
+ 5406,
849
+ 5415,
850
+ 5422,
851
+ 5429,
852
+ 5436,
853
+ 5439,
854
+ 5441,
855
+ 5445,
856
+ 5447,
857
+ 5456,
858
+ 5458,
859
+ 5462,
860
+ 5466,
861
+ 5471,
862
+ 5475,
863
+ 5478,
864
+ 5489,
865
+ 5490,
866
+ 5494,
867
+ 5495,
868
+ 5521,
869
+ 5532,
870
+ 5539,
871
+ 5540,
872
+ 5541,
873
+ 5559,
874
+ 5567,
875
+ 5574,
876
+ 5592,
877
+ 5595,
878
+ 5604,
879
+ 5608,
880
+ 5609,
881
+ 5614,
882
+ 5617,
883
+ 5628,
884
+ 5633,
885
+ 5643,
886
+ 5645,
887
+ 5648,
888
+ 5651,
889
+ 5659,
890
+ 5661,
891
+ 5670,
892
+ 5673,
893
+ 5691,
894
+ 5694,
895
+ 5707,
896
+ 5708,
897
+ 5717,
898
+ 5718,
899
+ 5727,
900
+ 5732,
901
+ 5741,
902
+ 5751,
903
+ 5752,
904
+ 5765,
905
+ 5774,
906
+ 5775,
907
+ 5782,
908
+ 5783,
909
+ 5784,
910
+ 5793,
911
+ 5803,
912
+ 5817,
913
+ 5825,
914
+ 5828,
915
+ 5832,
916
+ 5833,
917
+ 5841,
918
+ 5846,
919
+ 5848,
920
+ 5849,
921
+ 5854,
922
+ 5855,
923
+ 5859,
924
+ 5860,
925
+ 5863,
926
+ 5869,
927
+ 5870,
928
+ 5873,
929
+ 5895,
930
+ 5898,
931
+ 5899,
932
+ 5905,
933
+ 5906,
934
+ 5914,
935
+ 5915,
936
+ 5924,
937
+ 5925,
938
+ 5940,
939
+ 5955,
940
+ 5968,
941
+ 5981,
942
+ 5986,
943
+ 5993,
944
+ 5996,
945
+ 5997,
946
+ 6001,
947
+ 6007,
948
+ 6013,
949
+ 6016,
950
+ 6027,
951
+ 6039,
952
+ 6044,
953
+ 6045,
954
+ 6049,
955
+ 6055,
956
+ 6070,
957
+ 6088,
958
+ 6093,
959
+ 6096,
960
+ 6099,
961
+ 6118,
962
+ 6121,
963
+ 6126,
964
+ 6128,
965
+ 6132,
966
+ 6139,
967
+ 6146,
968
+ 6158,
969
+ 6165,
970
+ 6174,
971
+ 6175,
972
+ 6180,
973
+ 6183,
974
+ 6189,
975
+ 6200,
976
+ 6208,
977
+ 6209,
978
+ 6222,
979
+ 6239,
980
+ 6244,
981
+ 6247,
982
+ 6251,
983
+ 6277,
984
+ 6283,
985
+ 6294,
986
+ 6295,
987
+ 6302,
988
+ 6303,
989
+ 6304,
990
+ 6328,
991
+ 6329,
992
+ 6338,
993
+ 6341,
994
+ 6347,
995
+ 6363,
996
+ 6365,
997
+ 6371,
998
+ 6381,
999
+ 6382,
1000
+ 6384,
1001
+ 6385,
1002
+ 6389,
1003
+ 6392,
1004
+ 6397,
1005
+ 6405,
1006
+ 6406,
1007
+ 6408,
1008
+ 6413,
1009
+ 6422,
1010
+ 6427,
1011
+ 6441,
1012
+ 6442,
1013
+ 6443,
1014
+ 6449,
1015
+ 6451,
1016
+ 6461,
1017
+ 6463,
1018
+ 6467,
1019
+ 6471,
1020
+ 6475,
1021
+ 6488,
1022
+ 6490,
1023
+ 6505,
1024
+ 6508,
1025
+ 6511,
1026
+ 6512,
1027
+ 6533,
1028
+ 6534,
1029
+ 6535,
1030
+ 6541,
1031
+ 6557,
1032
+ 6560,
1033
+ 6576,
1034
+ 6577,
1035
+ 6590,
1036
+ 6595,
1037
+ 6600,
1038
+ 6604,
1039
+ 6605,
1040
+ 6608,
1041
+ 6610,
1042
+ 6612,
1043
+ 6614,
1044
+ 6615,
1045
+ 6617,
1046
+ 6621,
1047
+ 6630,
1048
+ 6633,
1049
+ 6634,
1050
+ 6644,
1051
+ 6646,
1052
+ 6647,
1053
+ 6648,
1054
+ 6649,
1055
+ 6657,
1056
+ 6664,
1057
+ 6669,
1058
+ 6681,
1059
+ 6688,
1060
+ 6695,
1061
+ 6705,
1062
+ 6707,
1063
+ 6714,
1064
+ 6719,
1065
+ 6721,
1066
+ 6727,
1067
+ 6749,
1068
+ 6750,
1069
+ 6759,
1070
+ 6762,
1071
+ 6767,
1072
+ 6770,
1073
+ 6779,
1074
+ 6780,
1075
+ 6787,
1076
+ 6788,
1077
+ 6795,
1078
+ 6814,
1079
+ 6820,
1080
+ 6835,
1081
+ 6839,
1082
+ 6843,
1083
+ 6845,
1084
+ 6849,
1085
+ 6850,
1086
+ 6851,
1087
+ 6854,
1088
+ 6855,
1089
+ 6856,
1090
+ 6857,
1091
+ 6867,
1092
+ 6870,
1093
+ 6872,
1094
+ 6873,
1095
+ 6879,
1096
+ 6882,
1097
+ 6884,
1098
+ 6898,
1099
+ 6900,
1100
+ 6913,
1101
+ 6914,
1102
+ 6915,
1103
+ 6918,
1104
+ 6919,
1105
+ 6920,
1106
+ 6925,
1107
+ 6926,
1108
+ 6933,
1109
+ 6944,
1110
+ 6948,
1111
+ 6968,
1112
+ 6973,
1113
+ 6984,
1114
+ 6985,
1115
+ 6988,
1116
+ 6992,
1117
+ 6995,
1118
+ 6997,
1119
+ 7006,
1120
+ 7014,
1121
+ 7018,
1122
+ 7019,
1123
+ 7026,
1124
+ 7033,
1125
+ 7039,
1126
+ 7040,
1127
+ 7042,
1128
+ 7055,
1129
+ 7063,
1130
+ 7066,
1131
+ 7067,
1132
+ 7075,
1133
+ 7076,
1134
+ 7094,
1135
+ 7104,
1136
+ 7105,
1137
+ 7109,
1138
+ 7112,
1139
+ 7117,
1140
+ 7133,
1141
+ 7137,
1142
+ 7141,
1143
+ 7147,
1144
+ 7159,
1145
+ 7172,
1146
+ 7178,
1147
+ 7184,
1148
+ 7185,
1149
+ 7186,
1150
+ 7191,
1151
+ 7194,
1152
+ 7195,
1153
+ 7225,
1154
+ 7226,
1155
+ 7233,
1156
+ 7245,
1157
+ 7266,
1158
+ 7268,
1159
+ 7272,
1160
+ 7275,
1161
+ 7277,
1162
+ 7298,
1163
+ 7303,
1164
+ 7325,
1165
+ 7329,
1166
+ 7333,
1167
+ 7334,
1168
+ 7338,
1169
+ 7342,
1170
+ 7349,
1171
+ 7355,
1172
+ 7360,
1173
+ 7362,
1174
+ 7368,
1175
+ 7369,
1176
+ 7374,
1177
+ 7387,
1178
+ 7411,
1179
+ 7420,
1180
+ 7428,
1181
+ 7431,
1182
+ 7434,
1183
+ 7435,
1184
+ 7455,
1185
+ 7456,
1186
+ 7469,
1187
+ 7478,
1188
+ 7479,
1189
+ 7516,
1190
+ 7523,
1191
+ 7534,
1192
+ 7536,
1193
+ 7537,
1194
+ 7542,
1195
+ 7561,
1196
+ 7566,
1197
+ 7589,
1198
+ 7598,
1199
+ 7619,
1200
+ 7628,
1201
+ 7630,
1202
+ 7631,
1203
+ 7646,
1204
+ 7662,
1205
+ 7666,
1206
+ 7689,
1207
+ 7692,
1208
+ 7693,
1209
+ 7700,
1210
+ 7701,
1211
+ 7708,
1212
+ 7711,
1213
+ 7729,
1214
+ 7730,
1215
+ 7733,
1216
+ 7736,
1217
+ 7740,
1218
+ 7745,
1219
+ 7746,
1220
+ 7751,
1221
+ 7752,
1222
+ 7758,
1223
+ 7763,
1224
+ 7768,
1225
+ 7790,
1226
+ 7791,
1227
+ 7793,
1228
+ 7813,
1229
+ 7828,
1230
+ 7839,
1231
+ 7843,
1232
+ 7844,
1233
+ 7850,
1234
+ 7866,
1235
+ 7873,
1236
+ 7874,
1237
+ 7881,
1238
+ 7884,
1239
+ 7888,
1240
+ 7896,
1241
+ 7897,
1242
+ 7898,
1243
+ 7899,
1244
+ 7901,
1245
+ 7902,
1246
+ 7905,
1247
+ 7909,
1248
+ 7911,
1249
+ 7915,
1250
+ 7917,
1251
+ 7921,
1252
+ 7925,
1253
+ 7932,
1254
+ 7946,
1255
+ 7948,
1256
+ 7952,
1257
+ 7955,
1258
+ 7960,
1259
+ 7970,
1260
+ 7977,
1261
+ 7981,
1262
+ 7990,
1263
+ 7992,
1264
+ 7996,
1265
+ 7997,
1266
+ 7998
1267
+ ],
1268
+ "failed_reason_seed_counts": {
1269
+ "collision": 128,
1270
+ "max_steps": 281,
1271
+ "unreachable_incorrect": 818
1272
+ },
1273
+ "failed_reason_seeds": {
1274
+ "collision": [
1275
+ 38,
1276
+ 100,
1277
+ 294,
1278
+ 354,
1279
+ 379,
1280
+ 419,
1281
+ 470,
1282
+ 525,
1283
+ 535,
1284
+ 537,
1285
+ 572,
1286
+ 675,
1287
+ 757,
1288
+ 795,
1289
+ 849,
1290
+ 892,
1291
+ 905,
1292
+ 931,
1293
+ 937,
1294
+ 947,
1295
+ 968,
1296
+ 1028,
1297
+ 1175,
1298
+ 1190,
1299
+ 1384,
1300
+ 1430,
1301
+ 1522,
1302
+ 1540,
1303
+ 1605,
1304
+ 1619,
1305
+ 1649,
1306
+ 1692,
1307
+ 1787,
1308
+ 1792,
1309
+ 1800,
1310
+ 1848,
1311
+ 1888,
1312
+ 1934,
1313
+ 1976,
1314
+ 2057,
1315
+ 2266,
1316
+ 2322,
1317
+ 2415,
1318
+ 2488,
1319
+ 2531,
1320
+ 2544,
1321
+ 2660,
1322
+ 2719,
1323
+ 2726,
1324
+ 2739,
1325
+ 2900,
1326
+ 2944,
1327
+ 3008,
1328
+ 3028,
1329
+ 3031,
1330
+ 3094,
1331
+ 3265,
1332
+ 3289,
1333
+ 3342,
1334
+ 3351,
1335
+ 3354,
1336
+ 3372,
1337
+ 3454,
1338
+ 3544,
1339
+ 3673,
1340
+ 3872,
1341
+ 3973,
1342
+ 4074,
1343
+ 4169,
1344
+ 4231,
1345
+ 4233,
1346
+ 4268,
1347
+ 4271,
1348
+ 4355,
1349
+ 4395,
1350
+ 4407,
1351
+ 4430,
1352
+ 4503,
1353
+ 4523,
1354
+ 4528,
1355
+ 4531,
1356
+ 4759,
1357
+ 4793,
1358
+ 4913,
1359
+ 5059,
1360
+ 5175,
1361
+ 5217,
1362
+ 5260,
1363
+ 5367,
1364
+ 5381,
1365
+ 5422,
1366
+ 5436,
1367
+ 5489,
1368
+ 5574,
1369
+ 5659,
1370
+ 5670,
1371
+ 5752,
1372
+ 5765,
1373
+ 5784,
1374
+ 5898,
1375
+ 5986,
1376
+ 6251,
1377
+ 6505,
1378
+ 6614,
1379
+ 6617,
1380
+ 6669,
1381
+ 6719,
1382
+ 6762,
1383
+ 6770,
1384
+ 6820,
1385
+ 6843,
1386
+ 6857,
1387
+ 6920,
1388
+ 7019,
1389
+ 7040,
1390
+ 7147,
1391
+ 7195,
1392
+ 7342,
1393
+ 7349,
1394
+ 7369,
1395
+ 7411,
1396
+ 7536,
1397
+ 7598,
1398
+ 7881,
1399
+ 7896,
1400
+ 7898,
1401
+ 7909,
1402
+ 7977
1403
+ ],
1404
+ "max_steps": [
1405
+ 1,
1406
+ 3,
1407
+ 14,
1408
+ 30,
1409
+ 57,
1410
+ 86,
1411
+ 176,
1412
+ 177,
1413
+ 199,
1414
+ 215,
1415
+ 232,
1416
+ 306,
1417
+ 327,
1418
+ 366,
1419
+ 447,
1420
+ 493,
1421
+ 504,
1422
+ 524,
1423
+ 536,
1424
+ 589,
1425
+ 592,
1426
+ 603,
1427
+ 627,
1428
+ 659,
1429
+ 668,
1430
+ 686,
1431
+ 688,
1432
+ 782,
1433
+ 821,
1434
+ 871,
1435
+ 887,
1436
+ 912,
1437
+ 993,
1438
+ 1082,
1439
+ 1138,
1440
+ 1145,
1441
+ 1214,
1442
+ 1225,
1443
+ 1243,
1444
+ 1246,
1445
+ 1262,
1446
+ 1280,
1447
+ 1364,
1448
+ 1419,
1449
+ 1424,
1450
+ 1456,
1451
+ 1498,
1452
+ 1513,
1453
+ 1514,
1454
+ 1532,
1455
+ 1592,
1456
+ 1609,
1457
+ 1613,
1458
+ 1629,
1459
+ 1664,
1460
+ 1671,
1461
+ 1688,
1462
+ 1696,
1463
+ 1750,
1464
+ 1790,
1465
+ 1793,
1466
+ 1798,
1467
+ 1867,
1468
+ 1879,
1469
+ 1971,
1470
+ 1982,
1471
+ 2015,
1472
+ 2047,
1473
+ 2056,
1474
+ 2093,
1475
+ 2108,
1476
+ 2120,
1477
+ 2163,
1478
+ 2192,
1479
+ 2243,
1480
+ 2312,
1481
+ 2339,
1482
+ 2434,
1483
+ 2494,
1484
+ 2534,
1485
+ 2562,
1486
+ 2566,
1487
+ 2636,
1488
+ 2640,
1489
+ 2644,
1490
+ 2696,
1491
+ 2697,
1492
+ 2701,
1493
+ 2735,
1494
+ 2796,
1495
+ 2807,
1496
+ 2822,
1497
+ 2832,
1498
+ 2847,
1499
+ 2851,
1500
+ 2920,
1501
+ 2948,
1502
+ 2969,
1503
+ 2972,
1504
+ 3019,
1505
+ 3029,
1506
+ 3032,
1507
+ 3061,
1508
+ 3147,
1509
+ 3184,
1510
+ 3202,
1511
+ 3250,
1512
+ 3287,
1513
+ 3312,
1514
+ 3386,
1515
+ 3407,
1516
+ 3435,
1517
+ 3478,
1518
+ 3489,
1519
+ 3628,
1520
+ 3635,
1521
+ 3641,
1522
+ 3647,
1523
+ 3657,
1524
+ 3668,
1525
+ 3693,
1526
+ 3710,
1527
+ 3751,
1528
+ 3761,
1529
+ 3808,
1530
+ 3814,
1531
+ 3824,
1532
+ 3866,
1533
+ 3875,
1534
+ 3880,
1535
+ 3920,
1536
+ 3993,
1537
+ 3995,
1538
+ 4039,
1539
+ 4077,
1540
+ 4084,
1541
+ 4120,
1542
+ 4160,
1543
+ 4186,
1544
+ 4202,
1545
+ 4242,
1546
+ 4309,
1547
+ 4331,
1548
+ 4332,
1549
+ 4341,
1550
+ 4366,
1551
+ 4421,
1552
+ 4425,
1553
+ 4439,
1554
+ 4457,
1555
+ 4481,
1556
+ 4491,
1557
+ 4502,
1558
+ 4511,
1559
+ 4518,
1560
+ 4587,
1561
+ 4623,
1562
+ 4633,
1563
+ 4644,
1564
+ 4681,
1565
+ 4686,
1566
+ 4687,
1567
+ 4811,
1568
+ 4819,
1569
+ 4860,
1570
+ 4861,
1571
+ 4862,
1572
+ 4885,
1573
+ 4953,
1574
+ 5057,
1575
+ 5103,
1576
+ 5153,
1577
+ 5182,
1578
+ 5214,
1579
+ 5228,
1580
+ 5251,
1581
+ 5259,
1582
+ 5401,
1583
+ 5445,
1584
+ 5458,
1585
+ 5462,
1586
+ 5495,
1587
+ 5532,
1588
+ 5567,
1589
+ 5643,
1590
+ 5645,
1591
+ 5651,
1592
+ 5661,
1593
+ 5708,
1594
+ 5732,
1595
+ 5803,
1596
+ 5817,
1597
+ 5825,
1598
+ 5832,
1599
+ 5841,
1600
+ 5846,
1601
+ 5849,
1602
+ 5873,
1603
+ 5905,
1604
+ 5906,
1605
+ 5914,
1606
+ 5925,
1607
+ 5981,
1608
+ 5993,
1609
+ 6044,
1610
+ 6045,
1611
+ 6070,
1612
+ 6121,
1613
+ 6146,
1614
+ 6174,
1615
+ 6183,
1616
+ 6189,
1617
+ 6247,
1618
+ 6277,
1619
+ 6294,
1620
+ 6295,
1621
+ 6303,
1622
+ 6338,
1623
+ 6347,
1624
+ 6381,
1625
+ 6406,
1626
+ 6451,
1627
+ 6461,
1628
+ 6463,
1629
+ 6475,
1630
+ 6511,
1631
+ 6534,
1632
+ 6541,
1633
+ 6615,
1634
+ 6621,
1635
+ 6646,
1636
+ 6647,
1637
+ 6664,
1638
+ 6688,
1639
+ 6695,
1640
+ 6707,
1641
+ 6759,
1642
+ 6779,
1643
+ 6787,
1644
+ 6788,
1645
+ 6814,
1646
+ 6855,
1647
+ 6867,
1648
+ 6870,
1649
+ 6879,
1650
+ 6884,
1651
+ 6918,
1652
+ 6925,
1653
+ 6944,
1654
+ 6985,
1655
+ 6995,
1656
+ 6997,
1657
+ 7006,
1658
+ 7014,
1659
+ 7042,
1660
+ 7076,
1661
+ 7094,
1662
+ 7105,
1663
+ 7184,
1664
+ 7226,
1665
+ 7245,
1666
+ 7277,
1667
+ 7329,
1668
+ 7333,
1669
+ 7334,
1670
+ 7374,
1671
+ 7435,
1672
+ 7455,
1673
+ 7469,
1674
+ 7516,
1675
+ 7542,
1676
+ 7561,
1677
+ 7628,
1678
+ 7793,
1679
+ 7828,
1680
+ 7850,
1681
+ 7897,
1682
+ 7899,
1683
+ 7925,
1684
+ 7955,
1685
+ 7970
1686
+ ],
1687
+ "unreachable_incorrect": [
1688
+ 5,
1689
+ 6,
1690
+ 15,
1691
+ 18,
1692
+ 32,
1693
+ 36,
1694
+ 50,
1695
+ 59,
1696
+ 65,
1697
+ 75,
1698
+ 81,
1699
+ 96,
1700
+ 104,
1701
+ 115,
1702
+ 126,
1703
+ 143,
1704
+ 162,
1705
+ 166,
1706
+ 168,
1707
+ 178,
1708
+ 183,
1709
+ 188,
1710
+ 214,
1711
+ 231,
1712
+ 243,
1713
+ 246,
1714
+ 249,
1715
+ 308,
1716
+ 314,
1717
+ 326,
1718
+ 329,
1719
+ 330,
1720
+ 334,
1721
+ 336,
1722
+ 337,
1723
+ 350,
1724
+ 355,
1725
+ 358,
1726
+ 363,
1727
+ 368,
1728
+ 384,
1729
+ 390,
1730
+ 396,
1731
+ 404,
1732
+ 421,
1733
+ 430,
1734
+ 431,
1735
+ 439,
1736
+ 449,
1737
+ 450,
1738
+ 480,
1739
+ 485,
1740
+ 496,
1741
+ 499,
1742
+ 502,
1743
+ 503,
1744
+ 505,
1745
+ 508,
1746
+ 510,
1747
+ 526,
1748
+ 540,
1749
+ 542,
1750
+ 547,
1751
+ 574,
1752
+ 579,
1753
+ 580,
1754
+ 583,
1755
+ 597,
1756
+ 600,
1757
+ 608,
1758
+ 614,
1759
+ 617,
1760
+ 634,
1761
+ 635,
1762
+ 649,
1763
+ 650,
1764
+ 653,
1765
+ 657,
1766
+ 670,
1767
+ 680,
1768
+ 682,
1769
+ 683,
1770
+ 687,
1771
+ 689,
1772
+ 697,
1773
+ 699,
1774
+ 703,
1775
+ 711,
1776
+ 713,
1777
+ 719,
1778
+ 725,
1779
+ 737,
1780
+ 749,
1781
+ 752,
1782
+ 760,
1783
+ 766,
1784
+ 769,
1785
+ 794,
1786
+ 812,
1787
+ 815,
1788
+ 818,
1789
+ 819,
1790
+ 827,
1791
+ 828,
1792
+ 854,
1793
+ 882,
1794
+ 899,
1795
+ 904,
1796
+ 913,
1797
+ 916,
1798
+ 933,
1799
+ 951,
1800
+ 985,
1801
+ 989,
1802
+ 992,
1803
+ 996,
1804
+ 1016,
1805
+ 1018,
1806
+ 1029,
1807
+ 1031,
1808
+ 1036,
1809
+ 1045,
1810
+ 1057,
1811
+ 1058,
1812
+ 1089,
1813
+ 1102,
1814
+ 1106,
1815
+ 1110,
1816
+ 1112,
1817
+ 1133,
1818
+ 1148,
1819
+ 1161,
1820
+ 1166,
1821
+ 1169,
1822
+ 1207,
1823
+ 1213,
1824
+ 1215,
1825
+ 1223,
1826
+ 1236,
1827
+ 1247,
1828
+ 1288,
1829
+ 1295,
1830
+ 1296,
1831
+ 1324,
1832
+ 1332,
1833
+ 1337,
1834
+ 1347,
1835
+ 1352,
1836
+ 1355,
1837
+ 1365,
1838
+ 1382,
1839
+ 1418,
1840
+ 1434,
1841
+ 1439,
1842
+ 1440,
1843
+ 1446,
1844
+ 1455,
1845
+ 1483,
1846
+ 1502,
1847
+ 1505,
1848
+ 1508,
1849
+ 1523,
1850
+ 1527,
1851
+ 1544,
1852
+ 1561,
1853
+ 1566,
1854
+ 1570,
1855
+ 1577,
1856
+ 1581,
1857
+ 1583,
1858
+ 1586,
1859
+ 1626,
1860
+ 1661,
1861
+ 1666,
1862
+ 1673,
1863
+ 1674,
1864
+ 1678,
1865
+ 1703,
1866
+ 1704,
1867
+ 1705,
1868
+ 1716,
1869
+ 1718,
1870
+ 1738,
1871
+ 1745,
1872
+ 1748,
1873
+ 1756,
1874
+ 1788,
1875
+ 1805,
1876
+ 1808,
1877
+ 1815,
1878
+ 1857,
1879
+ 1864,
1880
+ 1865,
1881
+ 1880,
1882
+ 1894,
1883
+ 1913,
1884
+ 1914,
1885
+ 1917,
1886
+ 1936,
1887
+ 1967,
1888
+ 1979,
1889
+ 2001,
1890
+ 2006,
1891
+ 2014,
1892
+ 2026,
1893
+ 2040,
1894
+ 2063,
1895
+ 2065,
1896
+ 2099,
1897
+ 2107,
1898
+ 2114,
1899
+ 2116,
1900
+ 2134,
1901
+ 2137,
1902
+ 2140,
1903
+ 2141,
1904
+ 2145,
1905
+ 2157,
1906
+ 2162,
1907
+ 2172,
1908
+ 2174,
1909
+ 2189,
1910
+ 2195,
1911
+ 2202,
1912
+ 2208,
1913
+ 2223,
1914
+ 2225,
1915
+ 2236,
1916
+ 2238,
1917
+ 2249,
1918
+ 2261,
1919
+ 2263,
1920
+ 2275,
1921
+ 2285,
1922
+ 2293,
1923
+ 2297,
1924
+ 2299,
1925
+ 2303,
1926
+ 2316,
1927
+ 2332,
1928
+ 2337,
1929
+ 2355,
1930
+ 2371,
1931
+ 2388,
1932
+ 2429,
1933
+ 2431,
1934
+ 2440,
1935
+ 2448,
1936
+ 2464,
1937
+ 2467,
1938
+ 2472,
1939
+ 2479,
1940
+ 2480,
1941
+ 2497,
1942
+ 2499,
1943
+ 2505,
1944
+ 2516,
1945
+ 2518,
1946
+ 2548,
1947
+ 2559,
1948
+ 2580,
1949
+ 2584,
1950
+ 2606,
1951
+ 2608,
1952
+ 2609,
1953
+ 2610,
1954
+ 2615,
1955
+ 2620,
1956
+ 2627,
1957
+ 2634,
1958
+ 2635,
1959
+ 2637,
1960
+ 2662,
1961
+ 2669,
1962
+ 2685,
1963
+ 2722,
1964
+ 2746,
1965
+ 2749,
1966
+ 2764,
1967
+ 2772,
1968
+ 2779,
1969
+ 2811,
1970
+ 2837,
1971
+ 2861,
1972
+ 2865,
1973
+ 2866,
1974
+ 2869,
1975
+ 2893,
1976
+ 2921,
1977
+ 2923,
1978
+ 2928,
1979
+ 2942,
1980
+ 2956,
1981
+ 2976,
1982
+ 2998,
1983
+ 3005,
1984
+ 3011,
1985
+ 3099,
1986
+ 3104,
1987
+ 3110,
1988
+ 3122,
1989
+ 3142,
1990
+ 3151,
1991
+ 3157,
1992
+ 3158,
1993
+ 3169,
1994
+ 3174,
1995
+ 3189,
1996
+ 3206,
1997
+ 3230,
1998
+ 3239,
1999
+ 3244,
2000
+ 3258,
2001
+ 3268,
2002
+ 3275,
2003
+ 3278,
2004
+ 3282,
2005
+ 3305,
2006
+ 3316,
2007
+ 3328,
2008
+ 3340,
2009
+ 3341,
2010
+ 3355,
2011
+ 3359,
2012
+ 3363,
2013
+ 3364,
2014
+ 3366,
2015
+ 3367,
2016
+ 3380,
2017
+ 3397,
2018
+ 3411,
2019
+ 3418,
2020
+ 3429,
2021
+ 3437,
2022
+ 3440,
2023
+ 3442,
2024
+ 3459,
2025
+ 3472,
2026
+ 3474,
2027
+ 3487,
2028
+ 3503,
2029
+ 3505,
2030
+ 3509,
2031
+ 3516,
2032
+ 3519,
2033
+ 3524,
2034
+ 3525,
2035
+ 3538,
2036
+ 3548,
2037
+ 3552,
2038
+ 3563,
2039
+ 3564,
2040
+ 3568,
2041
+ 3569,
2042
+ 3591,
2043
+ 3592,
2044
+ 3604,
2045
+ 3607,
2046
+ 3613,
2047
+ 3626,
2048
+ 3645,
2049
+ 3646,
2050
+ 3659,
2051
+ 3677,
2052
+ 3680,
2053
+ 3684,
2054
+ 3689,
2055
+ 3690,
2056
+ 3702,
2057
+ 3703,
2058
+ 3726,
2059
+ 3730,
2060
+ 3743,
2061
+ 3749,
2062
+ 3763,
2063
+ 3767,
2064
+ 3771,
2065
+ 3772,
2066
+ 3773,
2067
+ 3778,
2068
+ 3780,
2069
+ 3781,
2070
+ 3785,
2071
+ 3797,
2072
+ 3802,
2073
+ 3809,
2074
+ 3811,
2075
+ 3813,
2076
+ 3817,
2077
+ 3820,
2078
+ 3827,
2079
+ 3841,
2080
+ 3842,
2081
+ 3850,
2082
+ 3870,
2083
+ 3873,
2084
+ 3876,
2085
+ 3879,
2086
+ 3886,
2087
+ 3898,
2088
+ 3902,
2089
+ 3907,
2090
+ 3916,
2091
+ 3927,
2092
+ 3936,
2093
+ 3940,
2094
+ 3944,
2095
+ 3956,
2096
+ 3963,
2097
+ 3964,
2098
+ 3972,
2099
+ 3992,
2100
+ 3994,
2101
+ 4008,
2102
+ 4027,
2103
+ 4036,
2104
+ 4059,
2105
+ 4062,
2106
+ 4065,
2107
+ 4078,
2108
+ 4082,
2109
+ 4100,
2110
+ 4109,
2111
+ 4116,
2112
+ 4130,
2113
+ 4138,
2114
+ 4139,
2115
+ 4146,
2116
+ 4162,
2117
+ 4185,
2118
+ 4187,
2119
+ 4194,
2120
+ 4199,
2121
+ 4216,
2122
+ 4235,
2123
+ 4250,
2124
+ 4279,
2125
+ 4286,
2126
+ 4288,
2127
+ 4303,
2128
+ 4305,
2129
+ 4322,
2130
+ 4330,
2131
+ 4338,
2132
+ 4344,
2133
+ 4354,
2134
+ 4364,
2135
+ 4369,
2136
+ 4376,
2137
+ 4409,
2138
+ 4420,
2139
+ 4423,
2140
+ 4438,
2141
+ 4446,
2142
+ 4449,
2143
+ 4486,
2144
+ 4489,
2145
+ 4495,
2146
+ 4543,
2147
+ 4559,
2148
+ 4572,
2149
+ 4583,
2150
+ 4589,
2151
+ 4602,
2152
+ 4613,
2153
+ 4625,
2154
+ 4627,
2155
+ 4628,
2156
+ 4632,
2157
+ 4639,
2158
+ 4647,
2159
+ 4651,
2160
+ 4654,
2161
+ 4663,
2162
+ 4699,
2163
+ 4724,
2164
+ 4726,
2165
+ 4728,
2166
+ 4734,
2167
+ 4740,
2168
+ 4744,
2169
+ 4768,
2170
+ 4774,
2171
+ 4776,
2172
+ 4785,
2173
+ 4812,
2174
+ 4813,
2175
+ 4855,
2176
+ 4870,
2177
+ 4882,
2178
+ 4892,
2179
+ 4907,
2180
+ 4908,
2181
+ 4914,
2182
+ 4929,
2183
+ 4937,
2184
+ 4956,
2185
+ 4963,
2186
+ 4981,
2187
+ 4991,
2188
+ 5008,
2189
+ 5011,
2190
+ 5014,
2191
+ 5037,
2192
+ 5040,
2193
+ 5042,
2194
+ 5046,
2195
+ 5047,
2196
+ 5055,
2197
+ 5065,
2198
+ 5075,
2199
+ 5080,
2200
+ 5086,
2201
+ 5100,
2202
+ 5101,
2203
+ 5111,
2204
+ 5115,
2205
+ 5133,
2206
+ 5146,
2207
+ 5147,
2208
+ 5162,
2209
+ 5174,
2210
+ 5180,
2211
+ 5190,
2212
+ 5193,
2213
+ 5203,
2214
+ 5219,
2215
+ 5230,
2216
+ 5240,
2217
+ 5258,
2218
+ 5264,
2219
+ 5273,
2220
+ 5313,
2221
+ 5320,
2222
+ 5340,
2223
+ 5346,
2224
+ 5366,
2225
+ 5377,
2226
+ 5395,
2227
+ 5404,
2228
+ 5406,
2229
+ 5415,
2230
+ 5429,
2231
+ 5439,
2232
+ 5441,
2233
+ 5447,
2234
+ 5456,
2235
+ 5466,
2236
+ 5471,
2237
+ 5475,
2238
+ 5478,
2239
+ 5490,
2240
+ 5494,
2241
+ 5521,
2242
+ 5539,
2243
+ 5540,
2244
+ 5541,
2245
+ 5559,
2246
+ 5592,
2247
+ 5595,
2248
+ 5604,
2249
+ 5608,
2250
+ 5609,
2251
+ 5614,
2252
+ 5617,
2253
+ 5628,
2254
+ 5633,
2255
+ 5648,
2256
+ 5673,
2257
+ 5691,
2258
+ 5694,
2259
+ 5707,
2260
+ 5717,
2261
+ 5718,
2262
+ 5727,
2263
+ 5741,
2264
+ 5751,
2265
+ 5774,
2266
+ 5775,
2267
+ 5782,
2268
+ 5783,
2269
+ 5793,
2270
+ 5828,
2271
+ 5833,
2272
+ 5848,
2273
+ 5854,
2274
+ 5855,
2275
+ 5859,
2276
+ 5860,
2277
+ 5863,
2278
+ 5869,
2279
+ 5870,
2280
+ 5895,
2281
+ 5899,
2282
+ 5915,
2283
+ 5924,
2284
+ 5940,
2285
+ 5955,
2286
+ 5968,
2287
+ 5996,
2288
+ 5997,
2289
+ 6001,
2290
+ 6007,
2291
+ 6013,
2292
+ 6016,
2293
+ 6027,
2294
+ 6039,
2295
+ 6049,
2296
+ 6055,
2297
+ 6088,
2298
+ 6093,
2299
+ 6096,
2300
+ 6099,
2301
+ 6118,
2302
+ 6126,
2303
+ 6128,
2304
+ 6132,
2305
+ 6139,
2306
+ 6158,
2307
+ 6165,
2308
+ 6175,
2309
+ 6180,
2310
+ 6200,
2311
+ 6208,
2312
+ 6209,
2313
+ 6222,
2314
+ 6239,
2315
+ 6244,
2316
+ 6283,
2317
+ 6302,
2318
+ 6304,
2319
+ 6328,
2320
+ 6329,
2321
+ 6341,
2322
+ 6363,
2323
+ 6365,
2324
+ 6371,
2325
+ 6382,
2326
+ 6384,
2327
+ 6385,
2328
+ 6389,
2329
+ 6392,
2330
+ 6397,
2331
+ 6405,
2332
+ 6408,
2333
+ 6413,
2334
+ 6422,
2335
+ 6427,
2336
+ 6441,
2337
+ 6442,
2338
+ 6443,
2339
+ 6449,
2340
+ 6467,
2341
+ 6471,
2342
+ 6488,
2343
+ 6490,
2344
+ 6508,
2345
+ 6512,
2346
+ 6533,
2347
+ 6535,
2348
+ 6557,
2349
+ 6560,
2350
+ 6576,
2351
+ 6577,
2352
+ 6590,
2353
+ 6595,
2354
+ 6600,
2355
+ 6604,
2356
+ 6605,
2357
+ 6608,
2358
+ 6610,
2359
+ 6612,
2360
+ 6630,
2361
+ 6633,
2362
+ 6634,
2363
+ 6644,
2364
+ 6648,
2365
+ 6649,
2366
+ 6657,
2367
+ 6681,
2368
+ 6705,
2369
+ 6714,
2370
+ 6721,
2371
+ 6727,
2372
+ 6749,
2373
+ 6750,
2374
+ 6767,
2375
+ 6780,
2376
+ 6795,
2377
+ 6835,
2378
+ 6839,
2379
+ 6845,
2380
+ 6849,
2381
+ 6850,
2382
+ 6851,
2383
+ 6854,
2384
+ 6856,
2385
+ 6872,
2386
+ 6873,
2387
+ 6882,
2388
+ 6898,
2389
+ 6900,
2390
+ 6913,
2391
+ 6914,
2392
+ 6915,
2393
+ 6919,
2394
+ 6926,
2395
+ 6933,
2396
+ 6948,
2397
+ 6968,
2398
+ 6973,
2399
+ 6984,
2400
+ 6988,
2401
+ 6992,
2402
+ 7018,
2403
+ 7026,
2404
+ 7033,
2405
+ 7039,
2406
+ 7055,
2407
+ 7063,
2408
+ 7066,
2409
+ 7067,
2410
+ 7075,
2411
+ 7104,
2412
+ 7109,
2413
+ 7112,
2414
+ 7117,
2415
+ 7133,
2416
+ 7137,
2417
+ 7141,
2418
+ 7159,
2419
+ 7172,
2420
+ 7178,
2421
+ 7185,
2422
+ 7186,
2423
+ 7191,
2424
+ 7194,
2425
+ 7225,
2426
+ 7233,
2427
+ 7266,
2428
+ 7268,
2429
+ 7272,
2430
+ 7275,
2431
+ 7298,
2432
+ 7303,
2433
+ 7325,
2434
+ 7338,
2435
+ 7355,
2436
+ 7360,
2437
+ 7362,
2438
+ 7368,
2439
+ 7387,
2440
+ 7420,
2441
+ 7428,
2442
+ 7431,
2443
+ 7434,
2444
+ 7456,
2445
+ 7478,
2446
+ 7479,
2447
+ 7523,
2448
+ 7534,
2449
+ 7537,
2450
+ 7566,
2451
+ 7589,
2452
+ 7619,
2453
+ 7630,
2454
+ 7631,
2455
+ 7646,
2456
+ 7662,
2457
+ 7666,
2458
+ 7689,
2459
+ 7692,
2460
+ 7693,
2461
+ 7700,
2462
+ 7701,
2463
+ 7708,
2464
+ 7711,
2465
+ 7729,
2466
+ 7730,
2467
+ 7733,
2468
+ 7736,
2469
+ 7740,
2470
+ 7745,
2471
+ 7746,
2472
+ 7751,
2473
+ 7752,
2474
+ 7758,
2475
+ 7763,
2476
+ 7768,
2477
+ 7790,
2478
+ 7791,
2479
+ 7813,
2480
+ 7839,
2481
+ 7843,
2482
+ 7844,
2483
+ 7866,
2484
+ 7873,
2485
+ 7874,
2486
+ 7884,
2487
+ 7888,
2488
+ 7901,
2489
+ 7902,
2490
+ 7905,
2491
+ 7911,
2492
+ 7915,
2493
+ 7917,
2494
+ 7921,
2495
+ 7932,
2496
+ 7946,
2497
+ 7948,
2498
+ 7952,
2499
+ 7960,
2500
+ 7981,
2501
+ 7990,
2502
+ 7992,
2503
+ 7996,
2504
+ 7997,
2505
+ 7998
2506
+ ]
2507
+ }
2508
+ },
2509
+ "reachable_complex": {
2510
+ "total": 2000,
2511
+ "success": 1656,
2512
+ "success_rate": 0.828,
2513
+ "steps_total": 19936,
2514
+ "avg_steps": 9.968,
2515
+ "median_steps": 8.25,
2516
+ "min_steps": 0,
2517
+ "max_steps": 30,
2518
+ "reason_counts": {
2519
+ "success": 1656,
2520
+ "collision": 148,
2521
+ "unreachable_incorrect": 45,
2522
+ "max_steps": 151
2523
+ },
2524
+ "failed_seed_count": 344,
2525
+ "failed_seed_limit": 0,
2526
+ "failed_seeds": [
2527
+ 1,
2528
+ 7,
2529
+ 9,
2530
+ 12,
2531
+ 15,
2532
+ 17,
2533
+ 21,
2534
+ 26,
2535
+ 34,
2536
+ 41,
2537
+ 48,
2538
+ 51,
2539
+ 53,
2540
+ 61,
2541
+ 65,
2542
+ 66,
2543
+ 69,
2544
+ 71,
2545
+ 72,
2546
+ 75,
2547
+ 78,
2548
+ 79,
2549
+ 89,
2550
+ 90,
2551
+ 94,
2552
+ 95,
2553
+ 97,
2554
+ 104,
2555
+ 131,
2556
+ 133,
2557
+ 137,
2558
+ 138,
2559
+ 146,
2560
+ 153,
2561
+ 155,
2562
+ 167,
2563
+ 171,
2564
+ 173,
2565
+ 179,
2566
+ 182,
2567
+ 186,
2568
+ 191,
2569
+ 194,
2570
+ 197,
2571
+ 201,
2572
+ 209,
2573
+ 231,
2574
+ 232,
2575
+ 242,
2576
+ 251,
2577
+ 255,
2578
+ 267,
2579
+ 280,
2580
+ 285,
2581
+ 288,
2582
+ 300,
2583
+ 311,
2584
+ 340,
2585
+ 349,
2586
+ 356,
2587
+ 362,
2588
+ 377,
2589
+ 384,
2590
+ 395,
2591
+ 397,
2592
+ 401,
2593
+ 405,
2594
+ 424,
2595
+ 432,
2596
+ 434,
2597
+ 442,
2598
+ 443,
2599
+ 457,
2600
+ 460,
2601
+ 469,
2602
+ 473,
2603
+ 487,
2604
+ 508,
2605
+ 509,
2606
+ 511,
2607
+ 515,
2608
+ 517,
2609
+ 521,
2610
+ 525,
2611
+ 527,
2612
+ 531,
2613
+ 534,
2614
+ 548,
2615
+ 552,
2616
+ 562,
2617
+ 563,
2618
+ 568,
2619
+ 569,
2620
+ 580,
2621
+ 581,
2622
+ 584,
2623
+ 586,
2624
+ 588,
2625
+ 591,
2626
+ 593,
2627
+ 596,
2628
+ 597,
2629
+ 598,
2630
+ 600,
2631
+ 603,
2632
+ 607,
2633
+ 613,
2634
+ 620,
2635
+ 621,
2636
+ 626,
2637
+ 633,
2638
+ 637,
2639
+ 638,
2640
+ 639,
2641
+ 645,
2642
+ 649,
2643
+ 656,
2644
+ 658,
2645
+ 676,
2646
+ 684,
2647
+ 686,
2648
+ 692,
2649
+ 697,
2650
+ 704,
2651
+ 707,
2652
+ 713,
2653
+ 715,
2654
+ 728,
2655
+ 736,
2656
+ 741,
2657
+ 750,
2658
+ 751,
2659
+ 755,
2660
+ 761,
2661
+ 767,
2662
+ 770,
2663
+ 778,
2664
+ 785,
2665
+ 790,
2666
+ 793,
2667
+ 808,
2668
+ 815,
2669
+ 820,
2670
+ 823,
2671
+ 827,
2672
+ 841,
2673
+ 854,
2674
+ 859,
2675
+ 862,
2676
+ 868,
2677
+ 877,
2678
+ 879,
2679
+ 880,
2680
+ 882,
2681
+ 888,
2682
+ 905,
2683
+ 908,
2684
+ 909,
2685
+ 919,
2686
+ 921,
2687
+ 923,
2688
+ 924,
2689
+ 937,
2690
+ 942,
2691
+ 947,
2692
+ 948,
2693
+ 965,
2694
+ 967,
2695
+ 971,
2696
+ 978,
2697
+ 982,
2698
+ 983,
2699
+ 990,
2700
+ 997,
2701
+ 998,
2702
+ 999,
2703
+ 1005,
2704
+ 1009,
2705
+ 1010,
2706
+ 1015,
2707
+ 1016,
2708
+ 1017,
2709
+ 1018,
2710
+ 1039,
2711
+ 1041,
2712
+ 1049,
2713
+ 1056,
2714
+ 1058,
2715
+ 1059,
2716
+ 1064,
2717
+ 1077,
2718
+ 1098,
2719
+ 1099,
2720
+ 1100,
2721
+ 1104,
2722
+ 1128,
2723
+ 1131,
2724
+ 1133,
2725
+ 1143,
2726
+ 1151,
2727
+ 1160,
2728
+ 1161,
2729
+ 1162,
2730
+ 1168,
2731
+ 1171,
2732
+ 1176,
2733
+ 1177,
2734
+ 1179,
2735
+ 1181,
2736
+ 1190,
2737
+ 1192,
2738
+ 1196,
2739
+ 1201,
2740
+ 1203,
2741
+ 1211,
2742
+ 1218,
2743
+ 1234,
2744
+ 1237,
2745
+ 1239,
2746
+ 1244,
2747
+ 1246,
2748
+ 1248,
2749
+ 1259,
2750
+ 1260,
2751
+ 1264,
2752
+ 1286,
2753
+ 1287,
2754
+ 1288,
2755
+ 1292,
2756
+ 1294,
2757
+ 1296,
2758
+ 1301,
2759
+ 1308,
2760
+ 1313,
2761
+ 1317,
2762
+ 1320,
2763
+ 1322,
2764
+ 1343,
2765
+ 1355,
2766
+ 1361,
2767
+ 1365,
2768
+ 1367,
2769
+ 1369,
2770
+ 1383,
2771
+ 1390,
2772
+ 1396,
2773
+ 1406,
2774
+ 1407,
2775
+ 1413,
2776
+ 1416,
2777
+ 1426,
2778
+ 1433,
2779
+ 1436,
2780
+ 1437,
2781
+ 1449,
2782
+ 1453,
2783
+ 1459,
2784
+ 1463,
2785
+ 1474,
2786
+ 1486,
2787
+ 1491,
2788
+ 1493,
2789
+ 1497,
2790
+ 1501,
2791
+ 1521,
2792
+ 1525,
2793
+ 1529,
2794
+ 1537,
2795
+ 1550,
2796
+ 1576,
2797
+ 1582,
2798
+ 1586,
2799
+ 1596,
2800
+ 1600,
2801
+ 1601,
2802
+ 1608,
2803
+ 1610,
2804
+ 1612,
2805
+ 1631,
2806
+ 1639,
2807
+ 1645,
2808
+ 1646,
2809
+ 1648,
2810
+ 1652,
2811
+ 1672,
2812
+ 1673,
2813
+ 1683,
2814
+ 1690,
2815
+ 1697,
2816
+ 1699,
2817
+ 1710,
2818
+ 1714,
2819
+ 1718,
2820
+ 1721,
2821
+ 1731,
2822
+ 1737,
2823
+ 1745,
2824
+ 1756,
2825
+ 1765,
2826
+ 1771,
2827
+ 1773,
2828
+ 1776,
2829
+ 1789,
2830
+ 1795,
2831
+ 1796,
2832
+ 1799,
2833
+ 1801,
2834
+ 1809,
2835
+ 1812,
2836
+ 1820,
2837
+ 1823,
2838
+ 1829,
2839
+ 1833,
2840
+ 1836,
2841
+ 1837,
2842
+ 1838,
2843
+ 1840,
2844
+ 1841,
2845
+ 1847,
2846
+ 1871,
2847
+ 1877,
2848
+ 1879,
2849
+ 1895,
2850
+ 1896,
2851
+ 1910,
2852
+ 1915,
2853
+ 1924,
2854
+ 1925,
2855
+ 1927,
2856
+ 1928,
2857
+ 1929,
2858
+ 1934,
2859
+ 1939,
2860
+ 1946,
2861
+ 1949,
2862
+ 1951,
2863
+ 1952,
2864
+ 1959,
2865
+ 1962,
2866
+ 1968,
2867
+ 1977,
2868
+ 1978,
2869
+ 1979,
2870
+ 1991
2871
+ ],
2872
+ "failed_reason_seed_counts": {
2873
+ "collision": 148,
2874
+ "max_steps": 151,
2875
+ "unreachable_incorrect": 45
2876
+ },
2877
+ "failed_reason_seeds": {
2878
+ "collision": [
2879
+ 9,
2880
+ 12,
2881
+ 15,
2882
+ 17,
2883
+ 26,
2884
+ 34,
2885
+ 41,
2886
+ 65,
2887
+ 66,
2888
+ 71,
2889
+ 72,
2890
+ 78,
2891
+ 79,
2892
+ 89,
2893
+ 94,
2894
+ 131,
2895
+ 153,
2896
+ 167,
2897
+ 186,
2898
+ 267,
2899
+ 288,
2900
+ 300,
2901
+ 356,
2902
+ 377,
2903
+ 384,
2904
+ 395,
2905
+ 424,
2906
+ 432,
2907
+ 442,
2908
+ 487,
2909
+ 517,
2910
+ 521,
2911
+ 525,
2912
+ 562,
2913
+ 568,
2914
+ 569,
2915
+ 580,
2916
+ 581,
2917
+ 588,
2918
+ 596,
2919
+ 598,
2920
+ 607,
2921
+ 613,
2922
+ 620,
2923
+ 626,
2924
+ 633,
2925
+ 639,
2926
+ 645,
2927
+ 656,
2928
+ 676,
2929
+ 684,
2930
+ 686,
2931
+ 704,
2932
+ 736,
2933
+ 741,
2934
+ 751,
2935
+ 761,
2936
+ 785,
2937
+ 790,
2938
+ 793,
2939
+ 820,
2940
+ 841,
2941
+ 877,
2942
+ 879,
2943
+ 908,
2944
+ 909,
2945
+ 919,
2946
+ 937,
2947
+ 965,
2948
+ 967,
2949
+ 978,
2950
+ 982,
2951
+ 998,
2952
+ 1016,
2953
+ 1017,
2954
+ 1018,
2955
+ 1041,
2956
+ 1049,
2957
+ 1056,
2958
+ 1077,
2959
+ 1098,
2960
+ 1099,
2961
+ 1128,
2962
+ 1131,
2963
+ 1133,
2964
+ 1160,
2965
+ 1161,
2966
+ 1162,
2967
+ 1168,
2968
+ 1176,
2969
+ 1179,
2970
+ 1190,
2971
+ 1196,
2972
+ 1201,
2973
+ 1203,
2974
+ 1211,
2975
+ 1218,
2976
+ 1239,
2977
+ 1260,
2978
+ 1286,
2979
+ 1287,
2980
+ 1288,
2981
+ 1313,
2982
+ 1317,
2983
+ 1322,
2984
+ 1343,
2985
+ 1369,
2986
+ 1390,
2987
+ 1396,
2988
+ 1406,
2989
+ 1437,
2990
+ 1453,
2991
+ 1493,
2992
+ 1529,
2993
+ 1537,
2994
+ 1576,
2995
+ 1582,
2996
+ 1586,
2997
+ 1596,
2998
+ 1601,
2999
+ 1612,
3000
+ 1631,
3001
+ 1646,
3002
+ 1648,
3003
+ 1652,
3004
+ 1672,
3005
+ 1697,
3006
+ 1710,
3007
+ 1765,
3008
+ 1776,
3009
+ 1799,
3010
+ 1812,
3011
+ 1820,
3012
+ 1823,
3013
+ 1833,
3014
+ 1837,
3015
+ 1838,
3016
+ 1841,
3017
+ 1847,
3018
+ 1879,
3019
+ 1910,
3020
+ 1915,
3021
+ 1925,
3022
+ 1928,
3023
+ 1946,
3024
+ 1949,
3025
+ 1951,
3026
+ 1968
3027
+ ],
3028
+ "max_steps": [
3029
+ 1,
3030
+ 48,
3031
+ 51,
3032
+ 53,
3033
+ 61,
3034
+ 69,
3035
+ 75,
3036
+ 90,
3037
+ 95,
3038
+ 104,
3039
+ 146,
3040
+ 155,
3041
+ 171,
3042
+ 173,
3043
+ 179,
3044
+ 182,
3045
+ 194,
3046
+ 201,
3047
+ 242,
3048
+ 255,
3049
+ 280,
3050
+ 285,
3051
+ 311,
3052
+ 340,
3053
+ 349,
3054
+ 362,
3055
+ 397,
3056
+ 401,
3057
+ 405,
3058
+ 434,
3059
+ 457,
3060
+ 460,
3061
+ 469,
3062
+ 508,
3063
+ 509,
3064
+ 511,
3065
+ 515,
3066
+ 527,
3067
+ 531,
3068
+ 548,
3069
+ 552,
3070
+ 563,
3071
+ 584,
3072
+ 586,
3073
+ 593,
3074
+ 597,
3075
+ 600,
3076
+ 603,
3077
+ 621,
3078
+ 637,
3079
+ 638,
3080
+ 649,
3081
+ 658,
3082
+ 692,
3083
+ 697,
3084
+ 707,
3085
+ 713,
3086
+ 728,
3087
+ 767,
3088
+ 770,
3089
+ 778,
3090
+ 808,
3091
+ 815,
3092
+ 823,
3093
+ 854,
3094
+ 859,
3095
+ 868,
3096
+ 880,
3097
+ 882,
3098
+ 888,
3099
+ 905,
3100
+ 923,
3101
+ 924,
3102
+ 947,
3103
+ 948,
3104
+ 971,
3105
+ 983,
3106
+ 990,
3107
+ 997,
3108
+ 999,
3109
+ 1005,
3110
+ 1009,
3111
+ 1039,
3112
+ 1058,
3113
+ 1059,
3114
+ 1064,
3115
+ 1100,
3116
+ 1104,
3117
+ 1143,
3118
+ 1151,
3119
+ 1181,
3120
+ 1192,
3121
+ 1234,
3122
+ 1237,
3123
+ 1244,
3124
+ 1246,
3125
+ 1248,
3126
+ 1259,
3127
+ 1264,
3128
+ 1292,
3129
+ 1296,
3130
+ 1301,
3131
+ 1308,
3132
+ 1320,
3133
+ 1355,
3134
+ 1361,
3135
+ 1365,
3136
+ 1383,
3137
+ 1413,
3138
+ 1416,
3139
+ 1426,
3140
+ 1436,
3141
+ 1449,
3142
+ 1459,
3143
+ 1463,
3144
+ 1474,
3145
+ 1486,
3146
+ 1491,
3147
+ 1497,
3148
+ 1521,
3149
+ 1600,
3150
+ 1608,
3151
+ 1610,
3152
+ 1639,
3153
+ 1645,
3154
+ 1683,
3155
+ 1690,
3156
+ 1699,
3157
+ 1714,
3158
+ 1721,
3159
+ 1745,
3160
+ 1756,
3161
+ 1771,
3162
+ 1773,
3163
+ 1789,
3164
+ 1795,
3165
+ 1796,
3166
+ 1801,
3167
+ 1809,
3168
+ 1836,
3169
+ 1871,
3170
+ 1877,
3171
+ 1895,
3172
+ 1896,
3173
+ 1924,
3174
+ 1927,
3175
+ 1929,
3176
+ 1934,
3177
+ 1939,
3178
+ 1978,
3179
+ 1979
3180
+ ],
3181
+ "unreachable_incorrect": [
3182
+ 7,
3183
+ 21,
3184
+ 97,
3185
+ 133,
3186
+ 137,
3187
+ 138,
3188
+ 191,
3189
+ 197,
3190
+ 209,
3191
+ 231,
3192
+ 232,
3193
+ 251,
3194
+ 443,
3195
+ 473,
3196
+ 534,
3197
+ 591,
3198
+ 715,
3199
+ 750,
3200
+ 755,
3201
+ 827,
3202
+ 862,
3203
+ 921,
3204
+ 942,
3205
+ 1010,
3206
+ 1015,
3207
+ 1171,
3208
+ 1177,
3209
+ 1294,
3210
+ 1367,
3211
+ 1407,
3212
+ 1433,
3213
+ 1501,
3214
+ 1525,
3215
+ 1550,
3216
+ 1673,
3217
+ 1718,
3218
+ 1731,
3219
+ 1737,
3220
+ 1829,
3221
+ 1840,
3222
+ 1952,
3223
+ 1959,
3224
+ 1962,
3225
+ 1977,
3226
+ 1991
3227
+ ]
3228
+ }
3229
+ },
3230
+ "unreachable_blocked": {
3231
+ "total": 2000,
3232
+ "success": 1986,
3233
+ "success_rate": 0.993,
3234
+ "steps_total": 21,
3235
+ "avg_steps": 0.0105,
3236
+ "median_steps": 0.0,
3237
+ "min_steps": 0,
3238
+ "max_steps": 6,
3239
+ "reason_counts": {
3240
+ "unreachable_correct": 1986,
3241
+ "done_without_unreachable": 8,
3242
+ "unreachable_wrong_type": 6
3243
+ },
3244
+ "failed_seed_count": 14,
3245
+ "failed_seed_limit": 0,
3246
+ "failed_seeds": [
3247
+ 294,
3248
+ 388,
3249
+ 683,
3250
+ 691,
3251
+ 694,
3252
+ 808,
3253
+ 1251,
3254
+ 1435,
3255
+ 1572,
3256
+ 1582,
3257
+ 1714,
3258
+ 1730,
3259
+ 1737,
3260
+ 1888
3261
+ ],
3262
+ "failed_reason_seed_counts": {
3263
+ "done_without_unreachable": 8,
3264
+ "unreachable_wrong_type": 6
3265
+ },
3266
+ "failed_reason_seeds": {
3267
+ "done_without_unreachable": [
3268
+ 294,
3269
+ 683,
3270
+ 691,
3271
+ 694,
3272
+ 1572,
3273
+ 1582,
3274
+ 1730,
3275
+ 1737
3276
+ ],
3277
+ "unreachable_wrong_type": [
3278
+ 388,
3279
+ 808,
3280
+ 1251,
3281
+ 1435,
3282
+ 1714,
3283
+ 1888
3284
+ ]
3285
+ }
3286
+ },
3287
+ "unreachable_narrow": {
3288
+ "total": 2000,
3289
+ "success": 1976,
3290
+ "success_rate": 0.988,
3291
+ "steps_total": 47,
3292
+ "avg_steps": 0.0235,
3293
+ "median_steps": 0.0,
3294
+ "min_steps": 0,
3295
+ "max_steps": 6,
3296
+ "reason_counts": {
3297
+ "unreachable_correct": 1976,
3298
+ "unreachable_wrong_type": 8,
3299
+ "done_without_unreachable": 16
3300
+ },
3301
+ "failed_seed_count": 24,
3302
+ "failed_seed_limit": 0,
3303
+ "failed_seeds": [
3304
+ 110,
3305
+ 167,
3306
+ 229,
3307
+ 255,
3308
+ 263,
3309
+ 295,
3310
+ 382,
3311
+ 429,
3312
+ 474,
3313
+ 541,
3314
+ 644,
3315
+ 723,
3316
+ 882,
3317
+ 931,
3318
+ 960,
3319
+ 1089,
3320
+ 1110,
3321
+ 1230,
3322
+ 1256,
3323
+ 1347,
3324
+ 1386,
3325
+ 1432,
3326
+ 1634,
3327
+ 1797
3328
+ ],
3329
+ "failed_reason_seed_counts": {
3330
+ "done_without_unreachable": 16,
3331
+ "unreachable_wrong_type": 8
3332
+ },
3333
+ "failed_reason_seeds": {
3334
+ "done_without_unreachable": [
3335
+ 229,
3336
+ 263,
3337
+ 295,
3338
+ 382,
3339
+ 474,
3340
+ 644,
3341
+ 882,
3342
+ 931,
3343
+ 960,
3344
+ 1089,
3345
+ 1110,
3346
+ 1230,
3347
+ 1256,
3348
+ 1347,
3349
+ 1386,
3350
+ 1432
3351
+ ],
3352
+ "unreachable_wrong_type": [
3353
+ 110,
3354
+ 167,
3355
+ 255,
3356
+ 429,
3357
+ 541,
3358
+ 723,
3359
+ 1634,
3360
+ 1797
3361
+ ]
3362
+ }
3363
+ },
3364
+ "unreachable_undefined": {
3365
+ "total": 2000,
3366
+ "success": 1950,
3367
+ "success_rate": 0.975,
3368
+ "steps_total": 1180,
3369
+ "avg_steps": 0.59,
3370
+ "median_steps": 0.0,
3371
+ "min_steps": 0,
3372
+ "max_steps": 30,
3373
+ "reason_counts": {
3374
+ "unreachable_correct": 1950,
3375
+ "done_without_unreachable": 12,
3376
+ "max_steps": 38
3377
+ },
3378
+ "failed_seed_count": 50,
3379
+ "failed_seed_limit": 0,
3380
+ "failed_seeds": [
3381
+ 28,
3382
+ 44,
3383
+ 78,
3384
+ 82,
3385
+ 87,
3386
+ 115,
3387
+ 163,
3388
+ 172,
3389
+ 181,
3390
+ 196,
3391
+ 232,
3392
+ 349,
3393
+ 356,
3394
+ 370,
3395
+ 485,
3396
+ 502,
3397
+ 545,
3398
+ 745,
3399
+ 794,
3400
+ 821,
3401
+ 841,
3402
+ 848,
3403
+ 941,
3404
+ 978,
3405
+ 1013,
3406
+ 1031,
3407
+ 1048,
3408
+ 1053,
3409
+ 1115,
3410
+ 1222,
3411
+ 1286,
3412
+ 1325,
3413
+ 1398,
3414
+ 1462,
3415
+ 1476,
3416
+ 1485,
3417
+ 1543,
3418
+ 1545,
3419
+ 1549,
3420
+ 1623,
3421
+ 1664,
3422
+ 1680,
3423
+ 1694,
3424
+ 1723,
3425
+ 1791,
3426
+ 1794,
3427
+ 1821,
3428
+ 1855,
3429
+ 1871,
3430
+ 1963
3431
+ ],
3432
+ "failed_reason_seed_counts": {
3433
+ "done_without_unreachable": 12,
3434
+ "max_steps": 38
3435
+ },
3436
+ "failed_reason_seeds": {
3437
+ "done_without_unreachable": [
3438
+ 44,
3439
+ 232,
3440
+ 502,
3441
+ 745,
3442
+ 821,
3443
+ 1013,
3444
+ 1048,
3445
+ 1286,
3446
+ 1549,
3447
+ 1623,
3448
+ 1664,
3449
+ 1855
3450
+ ],
3451
+ "max_steps": [
3452
+ 28,
3453
+ 78,
3454
+ 82,
3455
+ 87,
3456
+ 115,
3457
+ 163,
3458
+ 172,
3459
+ 181,
3460
+ 196,
3461
+ 349,
3462
+ 356,
3463
+ 370,
3464
+ 485,
3465
+ 545,
3466
+ 794,
3467
+ 841,
3468
+ 848,
3469
+ 941,
3470
+ 978,
3471
+ 1031,
3472
+ 1053,
3473
+ 1115,
3474
+ 1222,
3475
+ 1325,
3476
+ 1398,
3477
+ 1462,
3478
+ 1476,
3479
+ 1485,
3480
+ 1543,
3481
+ 1545,
3482
+ 1680,
3483
+ 1694,
3484
+ 1723,
3485
+ 1791,
3486
+ 1794,
3487
+ 1821,
3488
+ 1871,
3489
+ 1963
3490
+ ]
3491
+ }
3492
+ }
3493
+ },
3494
+ "new": {
3495
+ "reachable_simple": {
3496
+ "total": 1000,
3497
+ "success": 799,
3498
+ "success_rate": 0.799,
3499
+ "steps_total": 8801,
3500
+ "avg_steps": 8.801,
3501
+ "median_steps": 7.125,
3502
+ "min_steps": 0,
3503
+ "max_steps": 30,
3504
+ "reason_counts": {
3505
+ "unreachable_incorrect": 113,
3506
+ "success": 799,
3507
+ "collision": 39,
3508
+ "max_steps": 49
3509
+ },
3510
+ "failed_seed_count": 201,
3511
+ "failed_seed_limit": 0,
3512
+ "failed_seeds": [
3513
+ 10009,
3514
+ 10011,
3515
+ 10027,
3516
+ 10039,
3517
+ 10041,
3518
+ 10042,
3519
+ 10052,
3520
+ 10061,
3521
+ 10063,
3522
+ 10064,
3523
+ 10065,
3524
+ 10069,
3525
+ 10072,
3526
+ 10078,
3527
+ 10079,
3528
+ 10082,
3529
+ 10088,
3530
+ 10089,
3531
+ 10106,
3532
+ 10107,
3533
+ 10111,
3534
+ 10115,
3535
+ 10118,
3536
+ 10125,
3537
+ 10133,
3538
+ 10136,
3539
+ 10138,
3540
+ 10156,
3541
+ 10159,
3542
+ 10161,
3543
+ 10164,
3544
+ 10168,
3545
+ 10169,
3546
+ 10172,
3547
+ 10173,
3548
+ 10177,
3549
+ 10181,
3550
+ 10188,
3551
+ 10189,
3552
+ 10192,
3553
+ 10194,
3554
+ 10198,
3555
+ 10210,
3556
+ 10217,
3557
+ 10219,
3558
+ 10240,
3559
+ 10242,
3560
+ 10255,
3561
+ 10256,
3562
+ 10267,
3563
+ 10272,
3564
+ 10279,
3565
+ 10289,
3566
+ 10293,
3567
+ 10296,
3568
+ 10297,
3569
+ 10299,
3570
+ 10302,
3571
+ 10305,
3572
+ 10306,
3573
+ 10309,
3574
+ 10317,
3575
+ 10318,
3576
+ 10320,
3577
+ 10325,
3578
+ 10329,
3579
+ 10332,
3580
+ 10333,
3581
+ 10341,
3582
+ 10343,
3583
+ 10351,
3584
+ 10356,
3585
+ 10357,
3586
+ 10359,
3587
+ 10364,
3588
+ 10372,
3589
+ 10376,
3590
+ 10383,
3591
+ 10411,
3592
+ 10412,
3593
+ 10418,
3594
+ 10420,
3595
+ 10422,
3596
+ 10431,
3597
+ 10438,
3598
+ 10453,
3599
+ 10454,
3600
+ 10455,
3601
+ 10459,
3602
+ 10461,
3603
+ 10467,
3604
+ 10468,
3605
+ 10469,
3606
+ 10478,
3607
+ 10481,
3608
+ 10482,
3609
+ 10488,
3610
+ 10495,
3611
+ 10500,
3612
+ 10501,
3613
+ 10504,
3614
+ 10506,
3615
+ 10510,
3616
+ 10521,
3617
+ 10525,
3618
+ 10529,
3619
+ 10534,
3620
+ 10535,
3621
+ 10548,
3622
+ 10549,
3623
+ 10550,
3624
+ 10556,
3625
+ 10563,
3626
+ 10564,
3627
+ 10565,
3628
+ 10571,
3629
+ 10577,
3630
+ 10581,
3631
+ 10589,
3632
+ 10590,
3633
+ 10591,
3634
+ 10599,
3635
+ 10601,
3636
+ 10604,
3637
+ 10606,
3638
+ 10607,
3639
+ 10612,
3640
+ 10613,
3641
+ 10621,
3642
+ 10628,
3643
+ 10631,
3644
+ 10632,
3645
+ 10633,
3646
+ 10638,
3647
+ 10644,
3648
+ 10647,
3649
+ 10658,
3650
+ 10660,
3651
+ 10662,
3652
+ 10667,
3653
+ 10669,
3654
+ 10670,
3655
+ 10674,
3656
+ 10680,
3657
+ 10681,
3658
+ 10693,
3659
+ 10697,
3660
+ 10700,
3661
+ 10708,
3662
+ 10709,
3663
+ 10710,
3664
+ 10711,
3665
+ 10724,
3666
+ 10727,
3667
+ 10733,
3668
+ 10742,
3669
+ 10755,
3670
+ 10761,
3671
+ 10773,
3672
+ 10775,
3673
+ 10778,
3674
+ 10782,
3675
+ 10795,
3676
+ 10796,
3677
+ 10802,
3678
+ 10806,
3679
+ 10807,
3680
+ 10813,
3681
+ 10823,
3682
+ 10826,
3683
+ 10841,
3684
+ 10842,
3685
+ 10846,
3686
+ 10848,
3687
+ 10852,
3688
+ 10855,
3689
+ 10856,
3690
+ 10857,
3691
+ 10866,
3692
+ 10869,
3693
+ 10870,
3694
+ 10877,
3695
+ 10881,
3696
+ 10888,
3697
+ 10894,
3698
+ 10897,
3699
+ 10899,
3700
+ 10911,
3701
+ 10935,
3702
+ 10954,
3703
+ 10957,
3704
+ 10964,
3705
+ 10971,
3706
+ 10975,
3707
+ 10976,
3708
+ 10978,
3709
+ 10980,
3710
+ 10981,
3711
+ 10985,
3712
+ 10989,
3713
+ 10998
3714
+ ],
3715
+ "failed_reason_seed_counts": {
3716
+ "collision": 39,
3717
+ "max_steps": 49,
3718
+ "unreachable_incorrect": 113
3719
+ },
3720
+ "failed_reason_seeds": {
3721
+ "collision": [
3722
+ 10039,
3723
+ 10061,
3724
+ 10069,
3725
+ 10072,
3726
+ 10079,
3727
+ 10089,
3728
+ 10115,
3729
+ 10156,
3730
+ 10159,
3731
+ 10161,
3732
+ 10177,
3733
+ 10267,
3734
+ 10293,
3735
+ 10299,
3736
+ 10309,
3737
+ 10320,
3738
+ 10332,
3739
+ 10341,
3740
+ 10422,
3741
+ 10438,
3742
+ 10455,
3743
+ 10468,
3744
+ 10469,
3745
+ 10495,
3746
+ 10506,
3747
+ 10534,
3748
+ 10550,
3749
+ 10563,
3750
+ 10577,
3751
+ 10589,
3752
+ 10674,
3753
+ 10697,
3754
+ 10773,
3755
+ 10802,
3756
+ 10855,
3757
+ 10881,
3758
+ 10894,
3759
+ 10978,
3760
+ 10981
3761
+ ],
3762
+ "max_steps": [
3763
+ 10009,
3764
+ 10027,
3765
+ 10064,
3766
+ 10065,
3767
+ 10106,
3768
+ 10111,
3769
+ 10118,
3770
+ 10133,
3771
+ 10173,
3772
+ 10188,
3773
+ 10210,
3774
+ 10217,
3775
+ 10240,
3776
+ 10242,
3777
+ 10272,
3778
+ 10289,
3779
+ 10302,
3780
+ 10306,
3781
+ 10318,
3782
+ 10329,
3783
+ 10333,
3784
+ 10351,
3785
+ 10359,
3786
+ 10372,
3787
+ 10420,
3788
+ 10529,
3789
+ 10535,
3790
+ 10556,
3791
+ 10581,
3792
+ 10631,
3793
+ 10632,
3794
+ 10670,
3795
+ 10680,
3796
+ 10708,
3797
+ 10709,
3798
+ 10724,
3799
+ 10775,
3800
+ 10807,
3801
+ 10813,
3802
+ 10823,
3803
+ 10826,
3804
+ 10846,
3805
+ 10848,
3806
+ 10899,
3807
+ 10911,
3808
+ 10964,
3809
+ 10976,
3810
+ 10985,
3811
+ 10998
3812
+ ],
3813
+ "unreachable_incorrect": [
3814
+ 10011,
3815
+ 10041,
3816
+ 10042,
3817
+ 10052,
3818
+ 10063,
3819
+ 10078,
3820
+ 10082,
3821
+ 10088,
3822
+ 10107,
3823
+ 10125,
3824
+ 10136,
3825
+ 10138,
3826
+ 10164,
3827
+ 10168,
3828
+ 10169,
3829
+ 10172,
3830
+ 10181,
3831
+ 10189,
3832
+ 10192,
3833
+ 10194,
3834
+ 10198,
3835
+ 10219,
3836
+ 10255,
3837
+ 10256,
3838
+ 10279,
3839
+ 10296,
3840
+ 10297,
3841
+ 10305,
3842
+ 10317,
3843
+ 10325,
3844
+ 10343,
3845
+ 10356,
3846
+ 10357,
3847
+ 10364,
3848
+ 10376,
3849
+ 10383,
3850
+ 10411,
3851
+ 10412,
3852
+ 10418,
3853
+ 10431,
3854
+ 10453,
3855
+ 10454,
3856
+ 10459,
3857
+ 10461,
3858
+ 10467,
3859
+ 10478,
3860
+ 10481,
3861
+ 10482,
3862
+ 10488,
3863
+ 10500,
3864
+ 10501,
3865
+ 10504,
3866
+ 10510,
3867
+ 10521,
3868
+ 10525,
3869
+ 10548,
3870
+ 10549,
3871
+ 10564,
3872
+ 10565,
3873
+ 10571,
3874
+ 10590,
3875
+ 10591,
3876
+ 10599,
3877
+ 10601,
3878
+ 10604,
3879
+ 10606,
3880
+ 10607,
3881
+ 10612,
3882
+ 10613,
3883
+ 10621,
3884
+ 10628,
3885
+ 10633,
3886
+ 10638,
3887
+ 10644,
3888
+ 10647,
3889
+ 10658,
3890
+ 10660,
3891
+ 10662,
3892
+ 10667,
3893
+ 10669,
3894
+ 10681,
3895
+ 10693,
3896
+ 10700,
3897
+ 10710,
3898
+ 10711,
3899
+ 10727,
3900
+ 10733,
3901
+ 10742,
3902
+ 10755,
3903
+ 10761,
3904
+ 10778,
3905
+ 10782,
3906
+ 10795,
3907
+ 10796,
3908
+ 10806,
3909
+ 10841,
3910
+ 10842,
3911
+ 10852,
3912
+ 10856,
3913
+ 10857,
3914
+ 10866,
3915
+ 10869,
3916
+ 10870,
3917
+ 10877,
3918
+ 10888,
3919
+ 10897,
3920
+ 10935,
3921
+ 10954,
3922
+ 10957,
3923
+ 10971,
3924
+ 10975,
3925
+ 10980,
3926
+ 10989
3927
+ ]
3928
+ }
3929
+ },
3930
+ "reachable_complex": {
3931
+ "total": 1000,
3932
+ "success": 778,
3933
+ "success_rate": 0.778,
3934
+ "steps_total": 9679,
3935
+ "avg_steps": 9.679,
3936
+ "median_steps": 7.5,
3937
+ "min_steps": 0,
3938
+ "max_steps": 30,
3939
+ "reason_counts": {
3940
+ "unreachable_incorrect": 24,
3941
+ "collision": 120,
3942
+ "success": 778,
3943
+ "max_steps": 78
3944
+ },
3945
+ "failed_seed_count": 222,
3946
+ "failed_seed_limit": 0,
3947
+ "failed_seeds": [
3948
+ 10001,
3949
+ 10002,
3950
+ 10003,
3951
+ 10007,
3952
+ 10012,
3953
+ 10020,
3954
+ 10021,
3955
+ 10025,
3956
+ 10027,
3957
+ 10030,
3958
+ 10031,
3959
+ 10037,
3960
+ 10038,
3961
+ 10056,
3962
+ 10058,
3963
+ 10059,
3964
+ 10065,
3965
+ 10067,
3966
+ 10079,
3967
+ 10080,
3968
+ 10091,
3969
+ 10099,
3970
+ 10100,
3971
+ 10102,
3972
+ 10103,
3973
+ 10114,
3974
+ 10122,
3975
+ 10134,
3976
+ 10137,
3977
+ 10138,
3978
+ 10140,
3979
+ 10145,
3980
+ 10161,
3981
+ 10163,
3982
+ 10165,
3983
+ 10167,
3984
+ 10169,
3985
+ 10181,
3986
+ 10189,
3987
+ 10194,
3988
+ 10219,
3989
+ 10221,
3990
+ 10225,
3991
+ 10231,
3992
+ 10232,
3993
+ 10235,
3994
+ 10241,
3995
+ 10242,
3996
+ 10250,
3997
+ 10251,
3998
+ 10257,
3999
+ 10260,
4000
+ 10266,
4001
+ 10269,
4002
+ 10272,
4003
+ 10273,
4004
+ 10275,
4005
+ 10276,
4006
+ 10284,
4007
+ 10297,
4008
+ 10298,
4009
+ 10303,
4010
+ 10309,
4011
+ 10311,
4012
+ 10312,
4013
+ 10313,
4014
+ 10317,
4015
+ 10320,
4016
+ 10321,
4017
+ 10322,
4018
+ 10329,
4019
+ 10331,
4020
+ 10332,
4021
+ 10336,
4022
+ 10337,
4023
+ 10340,
4024
+ 10358,
4025
+ 10364,
4026
+ 10365,
4027
+ 10368,
4028
+ 10375,
4029
+ 10376,
4030
+ 10379,
4031
+ 10381,
4032
+ 10387,
4033
+ 10391,
4034
+ 10393,
4035
+ 10398,
4036
+ 10400,
4037
+ 10404,
4038
+ 10409,
4039
+ 10415,
4040
+ 10416,
4041
+ 10417,
4042
+ 10418,
4043
+ 10420,
4044
+ 10423,
4045
+ 10425,
4046
+ 10436,
4047
+ 10444,
4048
+ 10451,
4049
+ 10455,
4050
+ 10457,
4051
+ 10458,
4052
+ 10459,
4053
+ 10469,
4054
+ 10472,
4055
+ 10484,
4056
+ 10487,
4057
+ 10490,
4058
+ 10493,
4059
+ 10502,
4060
+ 10504,
4061
+ 10506,
4062
+ 10508,
4063
+ 10516,
4064
+ 10522,
4065
+ 10523,
4066
+ 10524,
4067
+ 10525,
4068
+ 10529,
4069
+ 10534,
4070
+ 10541,
4071
+ 10549,
4072
+ 10554,
4073
+ 10555,
4074
+ 10557,
4075
+ 10559,
4076
+ 10563,
4077
+ 10566,
4078
+ 10569,
4079
+ 10570,
4080
+ 10571,
4081
+ 10576,
4082
+ 10592,
4083
+ 10596,
4084
+ 10601,
4085
+ 10602,
4086
+ 10607,
4087
+ 10624,
4088
+ 10626,
4089
+ 10627,
4090
+ 10640,
4091
+ 10641,
4092
+ 10652,
4093
+ 10660,
4094
+ 10668,
4095
+ 10675,
4096
+ 10676,
4097
+ 10678,
4098
+ 10680,
4099
+ 10684,
4100
+ 10686,
4101
+ 10691,
4102
+ 10693,
4103
+ 10697,
4104
+ 10711,
4105
+ 10712,
4106
+ 10713,
4107
+ 10714,
4108
+ 10716,
4109
+ 10719,
4110
+ 10720,
4111
+ 10725,
4112
+ 10729,
4113
+ 10731,
4114
+ 10732,
4115
+ 10735,
4116
+ 10737,
4117
+ 10741,
4118
+ 10746,
4119
+ 10748,
4120
+ 10754,
4121
+ 10758,
4122
+ 10760,
4123
+ 10763,
4124
+ 10767,
4125
+ 10773,
4126
+ 10786,
4127
+ 10790,
4128
+ 10798,
4129
+ 10803,
4130
+ 10808,
4131
+ 10811,
4132
+ 10820,
4133
+ 10822,
4134
+ 10827,
4135
+ 10834,
4136
+ 10837,
4137
+ 10840,
4138
+ 10847,
4139
+ 10865,
4140
+ 10871,
4141
+ 10878,
4142
+ 10881,
4143
+ 10885,
4144
+ 10890,
4145
+ 10893,
4146
+ 10898,
4147
+ 10903,
4148
+ 10904,
4149
+ 10905,
4150
+ 10908,
4151
+ 10913,
4152
+ 10917,
4153
+ 10925,
4154
+ 10931,
4155
+ 10936,
4156
+ 10940,
4157
+ 10943,
4158
+ 10950,
4159
+ 10951,
4160
+ 10959,
4161
+ 10962,
4162
+ 10969,
4163
+ 10970,
4164
+ 10972,
4165
+ 10978,
4166
+ 10981,
4167
+ 10984,
4168
+ 10985,
4169
+ 10993
4170
+ ],
4171
+ "failed_reason_seed_counts": {
4172
+ "collision": 120,
4173
+ "max_steps": 78,
4174
+ "unreachable_incorrect": 24
4175
+ },
4176
+ "failed_reason_seeds": {
4177
+ "collision": [
4178
+ 10001,
4179
+ 10002,
4180
+ 10007,
4181
+ 10020,
4182
+ 10027,
4183
+ 10031,
4184
+ 10037,
4185
+ 10038,
4186
+ 10056,
4187
+ 10058,
4188
+ 10065,
4189
+ 10079,
4190
+ 10091,
4191
+ 10100,
4192
+ 10102,
4193
+ 10114,
4194
+ 10122,
4195
+ 10134,
4196
+ 10137,
4197
+ 10145,
4198
+ 10161,
4199
+ 10163,
4200
+ 10165,
4201
+ 10194,
4202
+ 10221,
4203
+ 10231,
4204
+ 10235,
4205
+ 10241,
4206
+ 10257,
4207
+ 10269,
4208
+ 10276,
4209
+ 10297,
4210
+ 10298,
4211
+ 10311,
4212
+ 10313,
4213
+ 10317,
4214
+ 10331,
4215
+ 10337,
4216
+ 10358,
4217
+ 10364,
4218
+ 10368,
4219
+ 10376,
4220
+ 10387,
4221
+ 10393,
4222
+ 10398,
4223
+ 10409,
4224
+ 10415,
4225
+ 10416,
4226
+ 10418,
4227
+ 10423,
4228
+ 10425,
4229
+ 10436,
4230
+ 10444,
4231
+ 10451,
4232
+ 10459,
4233
+ 10484,
4234
+ 10493,
4235
+ 10506,
4236
+ 10508,
4237
+ 10522,
4238
+ 10523,
4239
+ 10524,
4240
+ 10525,
4241
+ 10529,
4242
+ 10534,
4243
+ 10549,
4244
+ 10555,
4245
+ 10557,
4246
+ 10592,
4247
+ 10596,
4248
+ 10601,
4249
+ 10607,
4250
+ 10624,
4251
+ 10626,
4252
+ 10627,
4253
+ 10652,
4254
+ 10660,
4255
+ 10668,
4256
+ 10675,
4257
+ 10676,
4258
+ 10678,
4259
+ 10680,
4260
+ 10686,
4261
+ 10691,
4262
+ 10713,
4263
+ 10714,
4264
+ 10716,
4265
+ 10720,
4266
+ 10725,
4267
+ 10729,
4268
+ 10732,
4269
+ 10741,
4270
+ 10746,
4271
+ 10748,
4272
+ 10754,
4273
+ 10758,
4274
+ 10760,
4275
+ 10763,
4276
+ 10790,
4277
+ 10798,
4278
+ 10808,
4279
+ 10827,
4280
+ 10834,
4281
+ 10837,
4282
+ 10847,
4283
+ 10865,
4284
+ 10881,
4285
+ 10885,
4286
+ 10890,
4287
+ 10904,
4288
+ 10905,
4289
+ 10936,
4290
+ 10943,
4291
+ 10951,
4292
+ 10969,
4293
+ 10972,
4294
+ 10981,
4295
+ 10984,
4296
+ 10985,
4297
+ 10993
4298
+ ],
4299
+ "max_steps": [
4300
+ 10003,
4301
+ 10012,
4302
+ 10021,
4303
+ 10025,
4304
+ 10030,
4305
+ 10059,
4306
+ 10067,
4307
+ 10080,
4308
+ 10103,
4309
+ 10138,
4310
+ 10140,
4311
+ 10167,
4312
+ 10169,
4313
+ 10181,
4314
+ 10189,
4315
+ 10219,
4316
+ 10225,
4317
+ 10242,
4318
+ 10260,
4319
+ 10266,
4320
+ 10273,
4321
+ 10275,
4322
+ 10284,
4323
+ 10309,
4324
+ 10312,
4325
+ 10320,
4326
+ 10321,
4327
+ 10322,
4328
+ 10329,
4329
+ 10336,
4330
+ 10365,
4331
+ 10379,
4332
+ 10391,
4333
+ 10400,
4334
+ 10404,
4335
+ 10417,
4336
+ 10420,
4337
+ 10455,
4338
+ 10457,
4339
+ 10458,
4340
+ 10469,
4341
+ 10487,
4342
+ 10490,
4343
+ 10504,
4344
+ 10516,
4345
+ 10541,
4346
+ 10554,
4347
+ 10563,
4348
+ 10566,
4349
+ 10569,
4350
+ 10571,
4351
+ 10576,
4352
+ 10640,
4353
+ 10641,
4354
+ 10684,
4355
+ 10693,
4356
+ 10697,
4357
+ 10711,
4358
+ 10719,
4359
+ 10731,
4360
+ 10735,
4361
+ 10737,
4362
+ 10767,
4363
+ 10773,
4364
+ 10786,
4365
+ 10811,
4366
+ 10822,
4367
+ 10840,
4368
+ 10871,
4369
+ 10878,
4370
+ 10898,
4371
+ 10908,
4372
+ 10931,
4373
+ 10940,
4374
+ 10950,
4375
+ 10962,
4376
+ 10970,
4377
+ 10978
4378
+ ],
4379
+ "unreachable_incorrect": [
4380
+ 10099,
4381
+ 10232,
4382
+ 10250,
4383
+ 10251,
4384
+ 10272,
4385
+ 10303,
4386
+ 10332,
4387
+ 10340,
4388
+ 10375,
4389
+ 10381,
4390
+ 10472,
4391
+ 10502,
4392
+ 10559,
4393
+ 10570,
4394
+ 10602,
4395
+ 10712,
4396
+ 10803,
4397
+ 10820,
4398
+ 10893,
4399
+ 10903,
4400
+ 10913,
4401
+ 10917,
4402
+ 10925,
4403
+ 10959
4404
+ ]
4405
+ }
4406
+ },
4407
+ "unreachable_blocked": {
4408
+ "total": 1000,
4409
+ "success": 979,
4410
+ "success_rate": 0.979,
4411
+ "steps_total": 21,
4412
+ "avg_steps": 0.021,
4413
+ "median_steps": 0.0,
4414
+ "min_steps": 0,
4415
+ "max_steps": 5,
4416
+ "reason_counts": {
4417
+ "unreachable_correct": 979,
4418
+ "unreachable_wrong_type": 12,
4419
+ "done_without_unreachable": 9
4420
+ },
4421
+ "failed_seed_count": 21,
4422
+ "failed_seed_limit": 0,
4423
+ "failed_seeds": [
4424
+ 10026,
4425
+ 10098,
4426
+ 10144,
4427
+ 10158,
4428
+ 10168,
4429
+ 10192,
4430
+ 10211,
4431
+ 10244,
4432
+ 10415,
4433
+ 10452,
4434
+ 10492,
4435
+ 10523,
4436
+ 10546,
4437
+ 10690,
4438
+ 10728,
4439
+ 10743,
4440
+ 10799,
4441
+ 10885,
4442
+ 10925,
4443
+ 10938,
4444
+ 10947
4445
+ ],
4446
+ "failed_reason_seed_counts": {
4447
+ "done_without_unreachable": 9,
4448
+ "unreachable_wrong_type": 12
4449
+ },
4450
+ "failed_reason_seeds": {
4451
+ "done_without_unreachable": [
4452
+ 10026,
4453
+ 10144,
4454
+ 10158,
4455
+ 10168,
4456
+ 10192,
4457
+ 10211,
4458
+ 10452,
4459
+ 10492,
4460
+ 10925
4461
+ ],
4462
+ "unreachable_wrong_type": [
4463
+ 10098,
4464
+ 10244,
4465
+ 10415,
4466
+ 10523,
4467
+ 10546,
4468
+ 10690,
4469
+ 10728,
4470
+ 10743,
4471
+ 10799,
4472
+ 10885,
4473
+ 10938,
4474
+ 10947
4475
+ ]
4476
+ }
4477
+ },
4478
+ "unreachable_narrow": {
4479
+ "total": 1000,
4480
+ "success": 964,
4481
+ "success_rate": 0.964,
4482
+ "steps_total": 111,
4483
+ "avg_steps": 0.111,
4484
+ "median_steps": 0.0,
4485
+ "min_steps": 0,
4486
+ "max_steps": 30,
4487
+ "reason_counts": {
4488
+ "unreachable_correct": 964,
4489
+ "done_without_unreachable": 21,
4490
+ "unreachable_wrong_type": 14,
4491
+ "max_steps": 1
4492
+ },
4493
+ "failed_seed_count": 36,
4494
+ "failed_seed_limit": 0,
4495
+ "failed_seeds": [
4496
+ 10023,
4497
+ 10129,
4498
+ 10168,
4499
+ 10188,
4500
+ 10194,
4501
+ 10208,
4502
+ 10239,
4503
+ 10265,
4504
+ 10296,
4505
+ 10355,
4506
+ 10379,
4507
+ 10426,
4508
+ 10437,
4509
+ 10479,
4510
+ 10494,
4511
+ 10497,
4512
+ 10534,
4513
+ 10604,
4514
+ 10636,
4515
+ 10643,
4516
+ 10658,
4517
+ 10678,
4518
+ 10692,
4519
+ 10706,
4520
+ 10730,
4521
+ 10742,
4522
+ 10750,
4523
+ 10780,
4524
+ 10801,
4525
+ 10924,
4526
+ 10951,
4527
+ 10957,
4528
+ 10962,
4529
+ 10972,
4530
+ 10975,
4531
+ 10986
4532
+ ],
4533
+ "failed_reason_seed_counts": {
4534
+ "done_without_unreachable": 21,
4535
+ "max_steps": 1,
4536
+ "unreachable_wrong_type": 14
4537
+ },
4538
+ "failed_reason_seeds": {
4539
+ "done_without_unreachable": [
4540
+ 10023,
4541
+ 10168,
4542
+ 10194,
4543
+ 10208,
4544
+ 10239,
4545
+ 10265,
4546
+ 10355,
4547
+ 10379,
4548
+ 10437,
4549
+ 10479,
4550
+ 10494,
4551
+ 10534,
4552
+ 10658,
4553
+ 10678,
4554
+ 10706,
4555
+ 10730,
4556
+ 10742,
4557
+ 10780,
4558
+ 10957,
4559
+ 10962,
4560
+ 10975
4561
+ ],
4562
+ "max_steps": [
4563
+ 10801
4564
+ ],
4565
+ "unreachable_wrong_type": [
4566
+ 10129,
4567
+ 10188,
4568
+ 10296,
4569
+ 10426,
4570
+ 10497,
4571
+ 10604,
4572
+ 10636,
4573
+ 10643,
4574
+ 10692,
4575
+ 10750,
4576
+ 10924,
4577
+ 10951,
4578
+ 10972,
4579
+ 10986
4580
+ ]
4581
+ }
4582
+ },
4583
+ "unreachable_undefined": {
4584
+ "total": 1000,
4585
+ "success": 935,
4586
+ "success_rate": 0.935,
4587
+ "steps_total": 1234,
4588
+ "avg_steps": 1.234,
4589
+ "median_steps": 0.0,
4590
+ "min_steps": 0,
4591
+ "max_steps": 30,
4592
+ "reason_counts": {
4593
+ "unreachable_correct": 935,
4594
+ "unreachable_wrong_type": 1,
4595
+ "done_without_unreachable": 27,
4596
+ "max_steps": 37
4597
+ },
4598
+ "failed_seed_count": 65,
4599
+ "failed_seed_limit": 0,
4600
+ "failed_seeds": [
4601
+ 10023,
4602
+ 10029,
4603
+ 10075,
4604
+ 10089,
4605
+ 10104,
4606
+ 10116,
4607
+ 10126,
4608
+ 10148,
4609
+ 10153,
4610
+ 10171,
4611
+ 10182,
4612
+ 10187,
4613
+ 10245,
4614
+ 10254,
4615
+ 10265,
4616
+ 10275,
4617
+ 10278,
4618
+ 10283,
4619
+ 10320,
4620
+ 10332,
4621
+ 10364,
4622
+ 10373,
4623
+ 10377,
4624
+ 10411,
4625
+ 10445,
4626
+ 10468,
4627
+ 10487,
4628
+ 10517,
4629
+ 10535,
4630
+ 10553,
4631
+ 10577,
4632
+ 10593,
4633
+ 10620,
4634
+ 10633,
4635
+ 10658,
4636
+ 10676,
4637
+ 10679,
4638
+ 10693,
4639
+ 10711,
4640
+ 10722,
4641
+ 10731,
4642
+ 10771,
4643
+ 10775,
4644
+ 10778,
4645
+ 10791,
4646
+ 10794,
4647
+ 10796,
4648
+ 10811,
4649
+ 10822,
4650
+ 10836,
4651
+ 10849,
4652
+ 10877,
4653
+ 10891,
4654
+ 10894,
4655
+ 10901,
4656
+ 10927,
4657
+ 10936,
4658
+ 10939,
4659
+ 10944,
4660
+ 10947,
4661
+ 10950,
4662
+ 10967,
4663
+ 10975,
4664
+ 10979,
4665
+ 10981
4666
+ ],
4667
+ "failed_reason_seed_counts": {
4668
+ "done_without_unreachable": 27,
4669
+ "max_steps": 37,
4670
+ "unreachable_wrong_type": 1
4671
+ },
4672
+ "failed_reason_seeds": {
4673
+ "done_without_unreachable": [
4674
+ 10023,
4675
+ 10029,
4676
+ 10075,
4677
+ 10104,
4678
+ 10116,
4679
+ 10153,
4680
+ 10187,
4681
+ 10265,
4682
+ 10364,
4683
+ 10373,
4684
+ 10468,
4685
+ 10577,
4686
+ 10593,
4687
+ 10658,
4688
+ 10676,
4689
+ 10679,
4690
+ 10693,
4691
+ 10711,
4692
+ 10794,
4693
+ 10811,
4694
+ 10894,
4695
+ 10927,
4696
+ 10936,
4697
+ 10939,
4698
+ 10944,
4699
+ 10967,
4700
+ 10981
4701
+ ],
4702
+ "max_steps": [
4703
+ 10089,
4704
+ 10126,
4705
+ 10148,
4706
+ 10171,
4707
+ 10182,
4708
+ 10245,
4709
+ 10254,
4710
+ 10275,
4711
+ 10283,
4712
+ 10320,
4713
+ 10332,
4714
+ 10377,
4715
+ 10411,
4716
+ 10445,
4717
+ 10487,
4718
+ 10517,
4719
+ 10535,
4720
+ 10553,
4721
+ 10620,
4722
+ 10633,
4723
+ 10722,
4724
+ 10731,
4725
+ 10771,
4726
+ 10775,
4727
+ 10778,
4728
+ 10791,
4729
+ 10796,
4730
+ 10822,
4731
+ 10836,
4732
+ 10849,
4733
+ 10877,
4734
+ 10891,
4735
+ 10901,
4736
+ 10947,
4737
+ 10950,
4738
+ 10975,
4739
+ 10979
4740
+ ],
4741
+ "unreachable_wrong_type": [
4742
+ 10278
4743
+ ]
4744
+ }
4745
+ }
4746
+ }
4747
+ }