{ "notes": [ "Steps count successful moves, not game ticks.", "Source-line events proxy CPython interpreter work, NOT game ticks or timing.", "Tracing excludes simulator/validation; route construction is reported separately.", "Same seeds may yield different apples because free cells depend on strategy.", "Baseline failures are limitations and do not fail the new algorithm.", "dinosaur_once game API integration is outside this benchmark's scope." ], "seeds": 20, "sizes": [ 2, 4, 6, 8, 32 ], "sources": { "old": { "path": "/root/dev/turblog/dinosaur_32_baseline.py", "sha256": "cc9807bcb1f19c3f30365150b8ca65426416c659928420ee65ccbe912a1882c1", "original_path_at_run": "/root/dev/turblog/dinosaur_32.py" }, "new": { "path": "/root/dev/turblog/dinosaur_32_full_cycle_experiment.py", "sha256": "94c4918f661c20bf38b5d199f0febb0cb14e8fd0d10d07d06c012c8e901bbf8c" } }, "routes": [ { "valid": true, "unique_cells": 4, "closed": true, "size": 2, "build_source_line_events": null }, { "valid": true, "unique_cells": 16, "closed": true, "size": 4, "build_source_line_events": null }, { "valid": true, "unique_cells": 36, "closed": true, "size": 6, "build_source_line_events": null }, { "valid": true, "unique_cells": 64, "closed": true, "size": 8, "build_source_line_events": null }, { "valid": true, "unique_cells": 1024, "closed": true, "size": 32, "build_source_line_events": null } ], "games": [ { "algorithm": "old", "size": 2, "seed": 0, "case": "random", "forced_apple_prefix": [], "success": false, "error": "AssertionError: movement returned failure: head=2, target=3", "steps": 1, "completed_apples": 1, "required_apples": 3, "occupied_cells": 2, "seconds_including_validation": 6.6e-05, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 2, "seed": 1, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 4, "completed_apples": 3, "required_apples": 3, "occupied_cells": 4, "seconds_including_validation": 5.4e-05, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 2, "seed": 2, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 4, "completed_apples": 3, "required_apples": 3, "occupied_cells": 4, "seconds_including_validation": 3.3e-05, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 2, "seed": 3, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 4, "completed_apples": 3, "required_apples": 3, "occupied_cells": 4, "seconds_including_validation": 2.8e-05, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 2, "seed": 4, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 3, "completed_apples": 3, "required_apples": 3, "occupied_cells": 4, "seconds_including_validation": 2.3e-05, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 2, "seed": 5, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 4, "completed_apples": 3, "required_apples": 3, "occupied_cells": 4, "seconds_including_validation": 2.5e-05, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 2, "seed": 6, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 5, "completed_apples": 3, "required_apples": 3, "occupied_cells": 4, "seconds_including_validation": 2.7e-05, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 2, "seed": 7, "case": "random", "forced_apple_prefix": [], "success": false, "error": "AssertionError: movement returned failure: head=2, target=1", "steps": 1, "completed_apples": 1, "required_apples": 3, "occupied_cells": 2, "seconds_including_validation": 2.3e-05, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 2, "seed": 8, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 3, "completed_apples": 3, "required_apples": 3, "occupied_cells": 4, "seconds_including_validation": 2.1e-05, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 2, "seed": 9, "case": "random", "forced_apple_prefix": [], "success": false, "error": "AssertionError: movement returned failure: head=2, target=3", "steps": 1, "completed_apples": 1, "required_apples": 3, "occupied_cells": 2, "seconds_including_validation": 1.5e-05, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 2, "seed": 10, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 5, "completed_apples": 3, "required_apples": 3, "occupied_cells": 4, "seconds_including_validation": 2.7e-05, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 2, "seed": 11, "case": "random", "forced_apple_prefix": [], "success": false, "error": "AssertionError: movement returned failure: head=2, target=3", "steps": 1, "completed_apples": 1, "required_apples": 3, "occupied_cells": 2, "seconds_including_validation": 1.5e-05, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 2, "seed": 12, "case": "random", "forced_apple_prefix": [], "success": false, "error": "AssertionError: movement returned failure: head=2, target=3", "steps": 1, "completed_apples": 1, "required_apples": 3, "occupied_cells": 2, "seconds_including_validation": 1.4e-05, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 2, "seed": 13, "case": "random", "forced_apple_prefix": [], "success": false, "error": "AssertionError: movement returned failure: head=2, target=3", "steps": 1, "completed_apples": 1, "required_apples": 3, "occupied_cells": 2, "seconds_including_validation": 1.3e-05, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 2, "seed": 14, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 4, "completed_apples": 3, "required_apples": 3, "occupied_cells": 4, "seconds_including_validation": 2.2e-05, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 2, "seed": 15, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 4, "completed_apples": 3, "required_apples": 3, "occupied_cells": 4, "seconds_including_validation": 2.2e-05, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 2, "seed": 16, "case": "random", "forced_apple_prefix": [], "success": false, "error": "AssertionError: movement returned failure: head=2, target=3", "steps": 1, "completed_apples": 1, "required_apples": 3, "occupied_cells": 2, "seconds_including_validation": 1.4e-05, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 2, "seed": 17, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 4, "completed_apples": 3, "required_apples": 3, "occupied_cells": 4, "seconds_including_validation": 2.4e-05, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 2, "seed": 18, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 4, "completed_apples": 3, "required_apples": 3, "occupied_cells": 4, "seconds_including_validation": 2.4e-05, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 2, "seed": 19, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 5, "completed_apples": 3, "required_apples": 3, "occupied_cells": 4, "seconds_including_validation": 2.8e-05, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 2, "seed": 0, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 6, "completed_apples": 3, "required_apples": 3, "occupied_cells": 4, "seconds_including_validation": 2.9e-05, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 2, "seed": 1, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 4, "completed_apples": 3, "required_apples": 3, "occupied_cells": 4, "seconds_including_validation": 2.6e-05, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 2, "seed": 2, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 4, "completed_apples": 3, "required_apples": 3, "occupied_cells": 4, "seconds_including_validation": 1.3e-05, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 2, "seed": 3, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 4, "completed_apples": 3, "required_apples": 3, "occupied_cells": 4, "seconds_including_validation": 1.2e-05, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 2, "seed": 4, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 3, "completed_apples": 3, "required_apples": 3, "occupied_cells": 4, "seconds_including_validation": 1.1e-05, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 2, "seed": 5, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 4, "completed_apples": 3, "required_apples": 3, "occupied_cells": 4, "seconds_including_validation": 1.3e-05, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 2, "seed": 6, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 5, "completed_apples": 3, "required_apples": 3, "occupied_cells": 4, "seconds_including_validation": 1.3e-05, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 2, "seed": 7, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 5, "completed_apples": 3, "required_apples": 3, "occupied_cells": 4, "seconds_including_validation": 1.2e-05, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 2, "seed": 8, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 3, "completed_apples": 3, "required_apples": 3, "occupied_cells": 4, "seconds_including_validation": 1e-05, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 2, "seed": 9, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 6, "completed_apples": 3, "required_apples": 3, "occupied_cells": 4, "seconds_including_validation": 1.4e-05, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 2, "seed": 10, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 5, "completed_apples": 3, "required_apples": 3, "occupied_cells": 4, "seconds_including_validation": 1.2e-05, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 2, "seed": 11, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 6, "completed_apples": 3, "required_apples": 3, "occupied_cells": 4, "seconds_including_validation": 1.3e-05, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 2, "seed": 12, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 6, "completed_apples": 3, "required_apples": 3, "occupied_cells": 4, "seconds_including_validation": 1.3e-05, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 2, "seed": 13, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 6, "completed_apples": 3, "required_apples": 3, "occupied_cells": 4, "seconds_including_validation": 1.3e-05, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 2, "seed": 14, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 4, "completed_apples": 3, "required_apples": 3, "occupied_cells": 4, "seconds_including_validation": 1.1e-05, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 2, "seed": 15, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 4, "completed_apples": 3, "required_apples": 3, "occupied_cells": 4, "seconds_including_validation": 1.1e-05, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 2, "seed": 16, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 6, "completed_apples": 3, "required_apples": 3, "occupied_cells": 4, "seconds_including_validation": 1.3e-05, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 2, "seed": 17, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 4, "completed_apples": 3, "required_apples": 3, "occupied_cells": 4, "seconds_including_validation": 1.3e-05, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 2, "seed": 18, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 4, "completed_apples": 3, "required_apples": 3, "occupied_cells": 4, "seconds_including_validation": 1.3e-05, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 2, "seed": 19, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 5, "completed_apples": 3, "required_apples": 3, "occupied_cells": 4, "seconds_including_validation": 1.3e-05, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 4, "seed": 0, "case": "random", "forced_apple_prefix": [], "success": false, "error": "AssertionError: movement returned failure: head=15, target=5", "steps": 52, "completed_apples": 13, "required_apples": 15, "occupied_cells": 14, "seconds_including_validation": 0.000238, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 4, "seed": 1, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 57, "completed_apples": 15, "required_apples": 15, "occupied_cells": 16, "seconds_including_validation": 0.000214, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 4, "seed": 2, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 65, "completed_apples": 15, "required_apples": 15, "occupied_cells": 16, "seconds_including_validation": 0.00024, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 4, "seed": 3, "case": "random", "forced_apple_prefix": [], "success": false, "error": "AssertionError: movement returned failure: head=4, target=11", "steps": 1, "completed_apples": 1, "required_apples": 15, "occupied_cells": 2, "seconds_including_validation": 2e-05, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 4, "seed": 4, "case": "random", "forced_apple_prefix": [], "success": false, "error": "AssertionError: movement returned failure: head=4, target=6", "steps": 1, "completed_apples": 1, "required_apples": 15, "occupied_cells": 2, "seconds_including_validation": 1.6e-05, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 4, "seed": 5, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 53, "completed_apples": 15, "required_apples": 15, "occupied_cells": 16, "seconds_including_validation": 0.000197, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 4, "seed": 6, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 64, "completed_apples": 15, "required_apples": 15, "occupied_cells": 16, "seconds_including_validation": 0.000231, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 4, "seed": 7, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 68, "completed_apples": 15, "required_apples": 15, "occupied_cells": 16, "seconds_including_validation": 0.000231, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 4, "seed": 8, "case": "random", "forced_apple_prefix": [], "success": false, "error": "AssertionError: movement returned failure: head=4, target=7", "steps": 1, "completed_apples": 1, "required_apples": 15, "occupied_cells": 2, "seconds_including_validation": 1.8e-05, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 4, "seed": 9, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 61, "completed_apples": 15, "required_apples": 15, "occupied_cells": 16, "seconds_including_validation": 0.000218, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 4, "seed": 10, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 48, "completed_apples": 15, "required_apples": 15, "occupied_cells": 16, "seconds_including_validation": 0.00017, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 4, "seed": 11, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 73, "completed_apples": 15, "required_apples": 15, "occupied_cells": 16, "seconds_including_validation": 0.000246, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 4, "seed": 12, "case": "random", "forced_apple_prefix": [], "success": false, "error": "AssertionError: movement returned failure: head=13, target=9", "steps": 46, "completed_apples": 13, "required_apples": 15, "occupied_cells": 14, "seconds_including_validation": 0.000172, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 4, "seed": 13, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 38, "completed_apples": 15, "required_apples": 15, "occupied_cells": 16, "seconds_including_validation": 0.00015, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 4, "seed": 14, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 49, "completed_apples": 15, "required_apples": 15, "occupied_cells": 16, "seconds_including_validation": 0.000184, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 4, "seed": 15, "case": "random", "forced_apple_prefix": [], "success": false, "error": "AssertionError: movement returned failure: head=4, target=1", "steps": 1, "completed_apples": 1, "required_apples": 15, "occupied_cells": 2, "seconds_including_validation": 1.7e-05, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 4, "seed": 16, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 47, "completed_apples": 15, "required_apples": 15, "occupied_cells": 16, "seconds_including_validation": 0.000169, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 4, "seed": 17, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 59, "completed_apples": 15, "required_apples": 15, "occupied_cells": 16, "seconds_including_validation": 0.000209, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 4, "seed": 18, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 52, "completed_apples": 15, "required_apples": 15, "occupied_cells": 16, "seconds_including_validation": 0.00018, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 4, "seed": 19, "case": "random", "forced_apple_prefix": [], "success": false, "error": "AssertionError: movement returned failure: head=13, target=11", "steps": 54, "completed_apples": 11, "required_apples": 15, "occupied_cells": 12, "seconds_including_validation": 0.000187, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 4, "seed": 0, "case": "two_apple_counterexample", "forced_apple_prefix": [ [ 0, 1 ], [ 1, 0 ] ], "success": false, "error": "AssertionError: movement returned failure: head=4, target=1", "steps": 1, "completed_apples": 1, "required_apples": 15, "occupied_cells": 2, "seconds_including_validation": 1.6e-05, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 4, "seed": 0, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 77, "completed_apples": 15, "required_apples": 15, "occupied_cells": 16, "seconds_including_validation": 0.000119, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 4, "seed": 1, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 51, "completed_apples": 15, "required_apples": 15, "occupied_cells": 16, "seconds_including_validation": 8.4e-05, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 4, "seed": 2, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 54, "completed_apples": 15, "required_apples": 15, "occupied_cells": 16, "seconds_including_validation": 8.2e-05, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 4, "seed": 3, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 65, "completed_apples": 15, "required_apples": 15, "occupied_cells": 16, "seconds_including_validation": 8.9e-05, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 4, "seed": 4, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 82, "completed_apples": 15, "required_apples": 15, "occupied_cells": 16, "seconds_including_validation": 0.000121, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 4, "seed": 5, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 69, "completed_apples": 15, "required_apples": 15, "occupied_cells": 16, "seconds_including_validation": 9.2e-05, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 4, "seed": 6, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 71, "completed_apples": 15, "required_apples": 15, "occupied_cells": 16, "seconds_including_validation": 8.9e-05, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 4, "seed": 7, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 70, "completed_apples": 15, "required_apples": 15, "occupied_cells": 16, "seconds_including_validation": 8.8e-05, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 4, "seed": 8, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 71, "completed_apples": 15, "required_apples": 15, "occupied_cells": 16, "seconds_including_validation": 8.9e-05, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 4, "seed": 9, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 78, "completed_apples": 15, "required_apples": 15, "occupied_cells": 16, "seconds_including_validation": 9.8e-05, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 4, "seed": 10, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 58, "completed_apples": 15, "required_apples": 15, "occupied_cells": 16, "seconds_including_validation": 7.5e-05, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 4, "seed": 11, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 69, "completed_apples": 15, "required_apples": 15, "occupied_cells": 16, "seconds_including_validation": 8.6e-05, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 4, "seed": 12, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 78, "completed_apples": 15, "required_apples": 15, "occupied_cells": 16, "seconds_including_validation": 9.6e-05, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 4, "seed": 13, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 72, "completed_apples": 15, "required_apples": 15, "occupied_cells": 16, "seconds_including_validation": 9e-05, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 4, "seed": 14, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 46, "completed_apples": 15, "required_apples": 15, "occupied_cells": 16, "seconds_including_validation": 7e-05, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 4, "seed": 15, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 60, "completed_apples": 15, "required_apples": 15, "occupied_cells": 16, "seconds_including_validation": 8.3e-05, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 4, "seed": 16, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 55, "completed_apples": 15, "required_apples": 15, "occupied_cells": 16, "seconds_including_validation": 7.8e-05, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 4, "seed": 17, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 66, "completed_apples": 15, "required_apples": 15, "occupied_cells": 16, "seconds_including_validation": 8.4e-05, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 4, "seed": 18, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 72, "completed_apples": 15, "required_apples": 15, "occupied_cells": 16, "seconds_including_validation": 8.9e-05, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 4, "seed": 19, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 85, "completed_apples": 15, "required_apples": 15, "occupied_cells": 16, "seconds_including_validation": 0.000103, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 4, "seed": 0, "case": "two_apple_counterexample", "forced_apple_prefix": [ [ 0, 1 ], [ 1, 0 ] ], "success": true, "error": null, "steps": 61, "completed_apples": 15, "required_apples": 15, "occupied_cells": 16, "seconds_including_validation": 7.8e-05, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 6, "seed": 0, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 266, "completed_apples": 35, "required_apples": 35, "occupied_cells": 36, "seconds_including_validation": 0.000998, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 6, "seed": 1, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 300, "completed_apples": 35, "required_apples": 35, "occupied_cells": 36, "seconds_including_validation": 0.001041, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 6, "seed": 2, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 280, "completed_apples": 35, "required_apples": 35, "occupied_cells": 36, "seconds_including_validation": 0.000962, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 6, "seed": 3, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 287, "completed_apples": 35, "required_apples": 35, "occupied_cells": 36, "seconds_including_validation": 0.000996, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 6, "seed": 4, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 234, "completed_apples": 35, "required_apples": 35, "occupied_cells": 36, "seconds_including_validation": 0.000827, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 6, "seed": 5, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 250, "completed_apples": 35, "required_apples": 35, "occupied_cells": 36, "seconds_including_validation": 0.000872, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 6, "seed": 6, "case": "random", "forced_apple_prefix": [], "success": false, "error": "AssertionError: movement returned failure: head=6, target=33", "steps": 1, "completed_apples": 1, "required_apples": 35, "occupied_cells": 2, "seconds_including_validation": 2.2e-05, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 6, "seed": 7, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 303, "completed_apples": 35, "required_apples": 35, "occupied_cells": 36, "seconds_including_validation": 0.001075, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 6, "seed": 8, "case": "random", "forced_apple_prefix": [], "success": false, "error": "AssertionError: movement returned failure: head=35, target=17", "steps": 272, "completed_apples": 33, "required_apples": 35, "occupied_cells": 34, "seconds_including_validation": 0.000945, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 6, "seed": 9, "case": "random", "forced_apple_prefix": [], "success": false, "error": "AssertionError: movement returned failure: head=27, target=5", "steps": 279, "completed_apples": 33, "required_apples": 35, "occupied_cells": 34, "seconds_including_validation": 0.000979, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 6, "seed": 10, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 298, "completed_apples": 35, "required_apples": 35, "occupied_cells": 36, "seconds_including_validation": 0.001045, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 6, "seed": 11, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 295, "completed_apples": 35, "required_apples": 35, "occupied_cells": 36, "seconds_including_validation": 0.001014, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 6, "seed": 12, "case": "random", "forced_apple_prefix": [], "success": false, "error": "AssertionError: movement returned failure: head=14, target=17", "steps": 370, "completed_apples": 33, "required_apples": 35, "occupied_cells": 34, "seconds_including_validation": 0.001251, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 6, "seed": 13, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 303, "completed_apples": 35, "required_apples": 35, "occupied_cells": 36, "seconds_including_validation": 0.001032, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 6, "seed": 14, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 304, "completed_apples": 35, "required_apples": 35, "occupied_cells": 36, "seconds_including_validation": 0.001048, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 6, "seed": 15, "case": "random", "forced_apple_prefix": [], "success": false, "error": "AssertionError: movement returned failure: head=32, target=25", "steps": 237, "completed_apples": 31, "required_apples": 35, "occupied_cells": 32, "seconds_including_validation": 0.000842, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 6, "seed": 16, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 278, "completed_apples": 35, "required_apples": 35, "occupied_cells": 36, "seconds_including_validation": 0.000973, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 6, "seed": 17, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 244, "completed_apples": 35, "required_apples": 35, "occupied_cells": 36, "seconds_including_validation": 0.000851, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 6, "seed": 18, "case": "random", "forced_apple_prefix": [], "success": false, "error": "AssertionError: movement returned failure: head=22, target=19", "steps": 215, "completed_apples": 27, "required_apples": 35, "occupied_cells": 28, "seconds_including_validation": 0.000727, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 6, "seed": 19, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 318, "completed_apples": 35, "required_apples": 35, "occupied_cells": 36, "seconds_including_validation": 0.001107, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 6, "seed": 0, "case": "two_apple_counterexample", "forced_apple_prefix": [ [ 0, 1 ], [ 1, 0 ] ], "success": false, "error": "AssertionError: movement returned failure: head=6, target=1", "steps": 1, "completed_apples": 1, "required_apples": 35, "occupied_cells": 2, "seconds_including_validation": 1.6e-05, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 6, "seed": 0, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 323, "completed_apples": 35, "required_apples": 35, "occupied_cells": 36, "seconds_including_validation": 0.000398, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 6, "seed": 1, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 307, "completed_apples": 35, "required_apples": 35, "occupied_cells": 36, "seconds_including_validation": 0.000374, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 6, "seed": 2, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 333, "completed_apples": 35, "required_apples": 35, "occupied_cells": 36, "seconds_including_validation": 0.000395, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 6, "seed": 3, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 351, "completed_apples": 35, "required_apples": 35, "occupied_cells": 36, "seconds_including_validation": 0.000387, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 6, "seed": 4, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 316, "completed_apples": 35, "required_apples": 35, "occupied_cells": 36, "seconds_including_validation": 0.00035, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 6, "seed": 5, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 278, "completed_apples": 35, "required_apples": 35, "occupied_cells": 36, "seconds_including_validation": 0.000327, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 6, "seed": 6, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 344, "completed_apples": 35, "required_apples": 35, "occupied_cells": 36, "seconds_including_validation": 0.000387, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 6, "seed": 7, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 320, "completed_apples": 35, "required_apples": 35, "occupied_cells": 36, "seconds_including_validation": 0.000361, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 6, "seed": 8, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 253, "completed_apples": 35, "required_apples": 35, "occupied_cells": 36, "seconds_including_validation": 0.000311, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 6, "seed": 9, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 354, "completed_apples": 35, "required_apples": 35, "occupied_cells": 36, "seconds_including_validation": 0.00041, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 6, "seed": 10, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 319, "completed_apples": 35, "required_apples": 35, "occupied_cells": 36, "seconds_including_validation": 0.000398, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 6, "seed": 11, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 317, "completed_apples": 35, "required_apples": 35, "occupied_cells": 36, "seconds_including_validation": 0.000366, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 6, "seed": 12, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 363, "completed_apples": 35, "required_apples": 35, "occupied_cells": 36, "seconds_including_validation": 0.000395, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 6, "seed": 13, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 305, "completed_apples": 35, "required_apples": 35, "occupied_cells": 36, "seconds_including_validation": 0.000345, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 6, "seed": 14, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 310, "completed_apples": 35, "required_apples": 35, "occupied_cells": 36, "seconds_including_validation": 0.000358, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 6, "seed": 15, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 326, "completed_apples": 35, "required_apples": 35, "occupied_cells": 36, "seconds_including_validation": 0.000364, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 6, "seed": 16, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 362, "completed_apples": 35, "required_apples": 35, "occupied_cells": 36, "seconds_including_validation": 0.000393, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 6, "seed": 17, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 390, "completed_apples": 35, "required_apples": 35, "occupied_cells": 36, "seconds_including_validation": 0.000414, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 6, "seed": 18, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 403, "completed_apples": 35, "required_apples": 35, "occupied_cells": 36, "seconds_including_validation": 0.000432, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 6, "seed": 19, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 327, "completed_apples": 35, "required_apples": 35, "occupied_cells": 36, "seconds_including_validation": 0.000369, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 6, "seed": 0, "case": "two_apple_counterexample", "forced_apple_prefix": [ [ 0, 1 ], [ 1, 0 ] ], "success": true, "error": null, "steps": 308, "completed_apples": 35, "required_apples": 35, "occupied_cells": 36, "seconds_including_validation": 0.000348, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 8, "seed": 0, "case": "random", "forced_apple_prefix": [], "success": false, "error": "AssertionError: movement returned failure: head=60, target=7", "steps": 647, "completed_apples": 53, "required_apples": 63, "occupied_cells": 54, "seconds_including_validation": 0.002536, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 8, "seed": 1, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 900, "completed_apples": 63, "required_apples": 63, "occupied_cells": 64, "seconds_including_validation": 0.003648, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 8, "seed": 2, "case": "random", "forced_apple_prefix": [], "success": false, "error": "AssertionError: movement returned failure: head=27, target=15", "steps": 804, "completed_apples": 61, "required_apples": 63, "occupied_cells": 62, "seconds_including_validation": 0.003268, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 8, "seed": 3, "case": "random", "forced_apple_prefix": [], "success": false, "error": "AssertionError: movement returned failure: head=43, target=17", "steps": 764, "completed_apples": 61, "required_apples": 63, "occupied_cells": 62, "seconds_including_validation": 0.003019, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 8, "seed": 4, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 1127, "completed_apples": 63, "required_apples": 63, "occupied_cells": 64, "seconds_including_validation": 0.004337, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 8, "seed": 5, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 674, "completed_apples": 63, "required_apples": 63, "occupied_cells": 64, "seconds_including_validation": 0.002721, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 8, "seed": 6, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 825, "completed_apples": 63, "required_apples": 63, "occupied_cells": 64, "seconds_including_validation": 0.00341, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 8, "seed": 7, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 910, "completed_apples": 63, "required_apples": 63, "occupied_cells": 64, "seconds_including_validation": 0.003609, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 8, "seed": 8, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 909, "completed_apples": 63, "required_apples": 63, "occupied_cells": 64, "seconds_including_validation": 0.00361, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 8, "seed": 9, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 903, "completed_apples": 63, "required_apples": 63, "occupied_cells": 64, "seconds_including_validation": 0.00367, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 8, "seed": 10, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 1017, "completed_apples": 63, "required_apples": 63, "occupied_cells": 64, "seconds_including_validation": 0.00387, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 8, "seed": 11, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 967, "completed_apples": 63, "required_apples": 63, "occupied_cells": 64, "seconds_including_validation": 0.003854, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 8, "seed": 12, "case": "random", "forced_apple_prefix": [], "success": false, "error": "AssertionError: movement returned failure: head=51, target=33", "steps": 993, "completed_apples": 61, "required_apples": 63, "occupied_cells": 62, "seconds_including_validation": 0.004055, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 8, "seed": 13, "case": "random", "forced_apple_prefix": [], "success": false, "error": "AssertionError: movement returned failure: head=59, target=50", "steps": 456, "completed_apples": 41, "required_apples": 63, "occupied_cells": 42, "seconds_including_validation": 0.00173, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 8, "seed": 14, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 826, "completed_apples": 63, "required_apples": 63, "occupied_cells": 64, "seconds_including_validation": 0.003255, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 8, "seed": 15, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 891, "completed_apples": 63, "required_apples": 63, "occupied_cells": 64, "seconds_including_validation": 0.003408, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 8, "seed": 16, "case": "random", "forced_apple_prefix": [], "success": false, "error": "AssertionError: movement returned failure: head=60, target=41", "steps": 311, "completed_apples": 31, "required_apples": 63, "occupied_cells": 32, "seconds_including_validation": 0.001071, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 8, "seed": 17, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 834, "completed_apples": 63, "required_apples": 63, "occupied_cells": 64, "seconds_including_validation": 0.003155, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 8, "seed": 18, "case": "random", "forced_apple_prefix": [], "success": false, "error": "AssertionError: movement returned failure: head=35, target=7", "steps": 605, "completed_apples": 49, "required_apples": 63, "occupied_cells": 50, "seconds_including_validation": 0.002279, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 8, "seed": 19, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 1070, "completed_apples": 63, "required_apples": 63, "occupied_cells": 64, "seconds_including_validation": 0.004281, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 8, "seed": 0, "case": "two_apple_counterexample", "forced_apple_prefix": [ [ 0, 1 ], [ 1, 0 ] ], "success": false, "error": "AssertionError: movement returned failure: head=8, target=1", "steps": 1, "completed_apples": 1, "required_apples": 63, "occupied_cells": 2, "seconds_including_validation": 2.5e-05, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 8, "seed": 0, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 1055, "completed_apples": 63, "required_apples": 63, "occupied_cells": 64, "seconds_including_validation": 0.001247, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 8, "seed": 1, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 994, "completed_apples": 63, "required_apples": 63, "occupied_cells": 64, "seconds_including_validation": 0.00113, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 8, "seed": 2, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 1083, "completed_apples": 63, "required_apples": 63, "occupied_cells": 64, "seconds_including_validation": 0.001233, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 8, "seed": 3, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 1101, "completed_apples": 63, "required_apples": 63, "occupied_cells": 64, "seconds_including_validation": 0.001228, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 8, "seed": 4, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 1100, "completed_apples": 63, "required_apples": 63, "occupied_cells": 64, "seconds_including_validation": 0.001229, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 8, "seed": 5, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 1059, "completed_apples": 63, "required_apples": 63, "occupied_cells": 64, "seconds_including_validation": 0.001182, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 8, "seed": 6, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 939, "completed_apples": 63, "required_apples": 63, "occupied_cells": 64, "seconds_including_validation": 0.001091, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 8, "seed": 7, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 1054, "completed_apples": 63, "required_apples": 63, "occupied_cells": 64, "seconds_including_validation": 0.001183, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 8, "seed": 8, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 855, "completed_apples": 63, "required_apples": 63, "occupied_cells": 64, "seconds_including_validation": 0.001018, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 8, "seed": 9, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 1083, "completed_apples": 63, "required_apples": 63, "occupied_cells": 64, "seconds_including_validation": 0.001185, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 8, "seed": 10, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 946, "completed_apples": 63, "required_apples": 63, "occupied_cells": 64, "seconds_including_validation": 0.001084, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 8, "seed": 11, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 979, "completed_apples": 63, "required_apples": 63, "occupied_cells": 64, "seconds_including_validation": 0.001102, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 8, "seed": 12, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 1143, "completed_apples": 63, "required_apples": 63, "occupied_cells": 64, "seconds_including_validation": 0.001272, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 8, "seed": 13, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 1059, "completed_apples": 63, "required_apples": 63, "occupied_cells": 64, "seconds_including_validation": 0.00117, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 8, "seed": 14, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 1050, "completed_apples": 63, "required_apples": 63, "occupied_cells": 64, "seconds_including_validation": 0.001117, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 8, "seed": 15, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 1026, "completed_apples": 63, "required_apples": 63, "occupied_cells": 64, "seconds_including_validation": 0.001076, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 8, "seed": 16, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 1001, "completed_apples": 63, "required_apples": 63, "occupied_cells": 64, "seconds_including_validation": 0.001078, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 8, "seed": 17, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 1148, "completed_apples": 63, "required_apples": 63, "occupied_cells": 64, "seconds_including_validation": 0.001236, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 8, "seed": 18, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 1111, "completed_apples": 63, "required_apples": 63, "occupied_cells": 64, "seconds_including_validation": 0.001206, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 8, "seed": 19, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 1112, "completed_apples": 63, "required_apples": 63, "occupied_cells": 64, "seconds_including_validation": 0.001232, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 8, "seed": 0, "case": "two_apple_counterexample", "forced_apple_prefix": [ [ 0, 1 ], [ 1, 0 ] ], "success": true, "error": null, "steps": 1005, "completed_apples": 63, "required_apples": 63, "occupied_cells": 64, "seconds_including_validation": 0.001118, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 32, "seed": 0, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 132948, "completed_apples": 1023, "required_apples": 1023, "occupied_cells": 1024, "seconds_including_validation": 2.805013, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 32, "seed": 1, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 140099, "completed_apples": 1023, "required_apples": 1023, "occupied_cells": 1024, "seconds_including_validation": 2.97042, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 32, "seed": 2, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 135024, "completed_apples": 1023, "required_apples": 1023, "occupied_cells": 1024, "seconds_including_validation": 2.840265, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 32, "seed": 3, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 132733, "completed_apples": 1023, "required_apples": 1023, "occupied_cells": 1024, "seconds_including_validation": 2.792772, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 32, "seed": 4, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 131384, "completed_apples": 1023, "required_apples": 1023, "occupied_cells": 1024, "seconds_including_validation": 2.767516, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 32, "seed": 5, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 129758, "completed_apples": 1023, "required_apples": 1023, "occupied_cells": 1024, "seconds_including_validation": 2.721229, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 32, "seed": 6, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 129650, "completed_apples": 1023, "required_apples": 1023, "occupied_cells": 1024, "seconds_including_validation": 2.689568, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 32, "seed": 7, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 129320, "completed_apples": 1023, "required_apples": 1023, "occupied_cells": 1024, "seconds_including_validation": 2.726818, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 32, "seed": 8, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 132013, "completed_apples": 1023, "required_apples": 1023, "occupied_cells": 1024, "seconds_including_validation": 2.800077, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 32, "seed": 9, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 135066, "completed_apples": 1023, "required_apples": 1023, "occupied_cells": 1024, "seconds_including_validation": 2.910293, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 32, "seed": 10, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 137488, "completed_apples": 1023, "required_apples": 1023, "occupied_cells": 1024, "seconds_including_validation": 2.855496, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 32, "seed": 11, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 133219, "completed_apples": 1023, "required_apples": 1023, "occupied_cells": 1024, "seconds_including_validation": 2.856007, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 32, "seed": 12, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 130447, "completed_apples": 1023, "required_apples": 1023, "occupied_cells": 1024, "seconds_including_validation": 2.961686, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 32, "seed": 13, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 136747, "completed_apples": 1023, "required_apples": 1023, "occupied_cells": 1024, "seconds_including_validation": 3.05285, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 32, "seed": 14, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 131266, "completed_apples": 1023, "required_apples": 1023, "occupied_cells": 1024, "seconds_including_validation": 2.782908, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 32, "seed": 15, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 129815, "completed_apples": 1023, "required_apples": 1023, "occupied_cells": 1024, "seconds_including_validation": 2.717254, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 32, "seed": 16, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 130437, "completed_apples": 1023, "required_apples": 1023, "occupied_cells": 1024, "seconds_including_validation": 2.670938, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 32, "seed": 17, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 132132, "completed_apples": 1023, "required_apples": 1023, "occupied_cells": 1024, "seconds_including_validation": 2.690658, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 32, "seed": 18, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 131224, "completed_apples": 1023, "required_apples": 1023, "occupied_cells": 1024, "seconds_including_validation": 2.831628, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 32, "seed": 19, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 135208, "completed_apples": 1023, "required_apples": 1023, "occupied_cells": 1024, "seconds_including_validation": 2.883924, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 32, "seed": 0, "case": "two_apple_counterexample", "forced_apple_prefix": [ [ 0, 1 ], [ 1, 0 ] ], "success": false, "error": "AssertionError: movement returned failure: head=32, target=1", "steps": 1, "completed_apples": 1, "required_apples": 1023, "occupied_cells": 2, "seconds_including_validation": 4.6e-05, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 32, "seed": 0, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 256372, "completed_apples": 1023, "required_apples": 1023, "occupied_cells": 1024, "seconds_including_validation": 0.268131, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 32, "seed": 1, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 267361, "completed_apples": 1023, "required_apples": 1023, "occupied_cells": 1024, "seconds_including_validation": 0.27542, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 32, "seed": 2, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 256822, "completed_apples": 1023, "required_apples": 1023, "occupied_cells": 1024, "seconds_including_validation": 0.266655, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 32, "seed": 3, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 262965, "completed_apples": 1023, "required_apples": 1023, "occupied_cells": 1024, "seconds_including_validation": 0.270032, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 32, "seed": 4, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 259390, "completed_apples": 1023, "required_apples": 1023, "occupied_cells": 1024, "seconds_including_validation": 0.273038, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 32, "seed": 5, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 268396, "completed_apples": 1023, "required_apples": 1023, "occupied_cells": 1024, "seconds_including_validation": 0.284997, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 32, "seed": 6, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 258472, "completed_apples": 1023, "required_apples": 1023, "occupied_cells": 1024, "seconds_including_validation": 0.2688, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 32, "seed": 7, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 263746, "completed_apples": 1023, "required_apples": 1023, "occupied_cells": 1024, "seconds_including_validation": 0.27068, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 32, "seed": 8, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 262891, "completed_apples": 1023, "required_apples": 1023, "occupied_cells": 1024, "seconds_including_validation": 0.263762, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 32, "seed": 9, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 261372, "completed_apples": 1023, "required_apples": 1023, "occupied_cells": 1024, "seconds_including_validation": 0.270172, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 32, "seed": 10, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 263394, "completed_apples": 1023, "required_apples": 1023, "occupied_cells": 1024, "seconds_including_validation": 0.273123, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 32, "seed": 11, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 262065, "completed_apples": 1023, "required_apples": 1023, "occupied_cells": 1024, "seconds_including_validation": 0.275785, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 32, "seed": 12, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 260365, "completed_apples": 1023, "required_apples": 1023, "occupied_cells": 1024, "seconds_including_validation": 0.271396, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 32, "seed": 13, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 265425, "completed_apples": 1023, "required_apples": 1023, "occupied_cells": 1024, "seconds_including_validation": 0.272875, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 32, "seed": 14, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 251690, "completed_apples": 1023, "required_apples": 1023, "occupied_cells": 1024, "seconds_including_validation": 0.262506, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 32, "seed": 15, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 265243, "completed_apples": 1023, "required_apples": 1023, "occupied_cells": 1024, "seconds_including_validation": 0.268723, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 32, "seed": 16, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 264001, "completed_apples": 1023, "required_apples": 1023, "occupied_cells": 1024, "seconds_including_validation": 0.267147, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 32, "seed": 17, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 273902, "completed_apples": 1023, "required_apples": 1023, "occupied_cells": 1024, "seconds_including_validation": 0.27637, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 32, "seed": 18, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 265856, "completed_apples": 1023, "required_apples": 1023, "occupied_cells": 1024, "seconds_including_validation": 0.282366, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 32, "seed": 19, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 261752, "completed_apples": 1023, "required_apples": 1023, "occupied_cells": 1024, "seconds_including_validation": 0.277197, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 32, "seed": 0, "case": "two_apple_counterexample", "forced_apple_prefix": [ [ 0, 1 ], [ 1, 0 ] ], "success": true, "error": null, "steps": 254993, "completed_apples": 1023, "required_apples": 1023, "occupied_cells": 1024, "seconds_including_validation": 0.262594, "source_line_events": null, "total_source_line_events": null } ], "new_failures": [], "baseline_counterexample_reproduced": true, "summary": { "old": { "games": 104, "completed_games": 73, "steps_including_partial_games": 2678699 }, "new": { "games": 104, "completed_games": 104, "steps_including_partial_games": 5536789 } }, "success": true, "line_trace": { "notes": [ "Steps count successful moves, not game ticks.", "Source-line events proxy CPython interpreter work, NOT game ticks or timing.", "Tracing excludes simulator/validation; route construction is reported separately.", "Same seeds may yield different apples because free cells depend on strategy.", "Baseline failures are limitations and do not fail the new algorithm.", "dinosaur_once game API integration is outside this benchmark's scope." ], "seeds": 1, "sizes": [ 2, 4, 6, 8, 32 ], "sources": { "old": { "path": "/root/dev/turblog/dinosaur_32_baseline.py", "sha256": "cc9807bcb1f19c3f30365150b8ca65426416c659928420ee65ccbe912a1882c1", "original_path_at_run": "/root/dev/turblog/dinosaur_32.py" }, "new": { "path": "/root/dev/turblog/dinosaur_32_full_cycle_experiment.py", "sha256": "94c4918f661c20bf38b5d199f0febb0cb14e8fd0d10d07d06c012c8e901bbf8c" } }, "routes": [ { "valid": true, "unique_cells": 4, "closed": true, "size": 2, "build_source_line_events": { "build_dino_route": 16 } }, { "valid": true, "unique_cells": 16, "closed": true, "size": 4, "build_source_line_events": { "build_dino_route": 47 } }, { "valid": true, "unique_cells": 36, "closed": true, "size": 6, "build_source_line_events": { "build_dino_route": 94 } }, { "valid": true, "unique_cells": 64, "closed": true, "size": 8, "build_source_line_events": { "build_dino_route": 157 } }, { "valid": true, "unique_cells": 1024, "closed": true, "size": 32, "build_source_line_events": { "build_dino_route": 2161 } } ], "games": [ { "algorithm": "old", "size": 2, "seed": 0, "case": "random", "forced_apple_prefix": [], "success": false, "error": "AssertionError: movement returned failure: head=2, target=3", "steps": 1, "completed_apples": 1, "required_apples": 3, "occupied_cells": 2, "seconds_including_validation": 0.000427, "source_line_events": { "move_dinosaur_to": 17, "choose_dino_move": 99, "dino_cycle_index": 23 }, "total_source_line_events": 139 }, { "algorithm": "new", "size": 2, "seed": 0, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 6, "completed_apples": 3, "required_apples": 3, "occupied_cells": 4, "seconds_including_validation": 0.000156, "source_line_events": { "dino_cycle_index": 16, "follow_dino_route": 23 }, "total_source_line_events": 39 }, { "algorithm": "old", "size": 4, "seed": 0, "case": "random", "forced_apple_prefix": [], "success": false, "error": "AssertionError: movement returned failure: head=15, target=5", "steps": 52, "completed_apples": 13, "required_apples": 15, "occupied_cells": 14, "seconds_including_validation": 0.005442, "source_line_events": { "move_dinosaur_to": 590, "choose_dino_move": 2978, "dino_cycle_index": 875 }, "total_source_line_events": 4443 }, { "algorithm": "old", "size": 4, "seed": 0, "case": "two_apple_counterexample", "forced_apple_prefix": [ [ 0, 1 ], [ 1, 0 ] ], "success": false, "error": "AssertionError: movement returned failure: head=4, target=1", "steps": 1, "completed_apples": 1, "required_apples": 15, "occupied_cells": 2, "seconds_including_validation": 4.8e-05, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 4, "seed": 0, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 77, "completed_apples": 15, "required_apples": 15, "occupied_cells": 16, "seconds_including_validation": 0.000684, "source_line_events": { "dino_cycle_index": 107, "follow_dino_route": 207 }, "total_source_line_events": 314 }, { "algorithm": "new", "size": 4, "seed": 0, "case": "two_apple_counterexample", "forced_apple_prefix": [ [ 0, 1 ], [ 1, 0 ] ], "success": true, "error": null, "steps": 61, "completed_apples": 15, "required_apples": 15, "occupied_cells": 16, "seconds_including_validation": 0.000122, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 6, "seed": 0, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 266, "completed_apples": 35, "required_apples": 35, "occupied_cells": 36, "seconds_including_validation": 0.027395, "source_line_events": { "move_dinosaur_to": 2961, "choose_dino_move": 15423, "dino_cycle_index": 4627 }, "total_source_line_events": 23011 }, { "algorithm": "old", "size": 6, "seed": 0, "case": "two_apple_counterexample", "forced_apple_prefix": [ [ 0, 1 ], [ 1, 0 ] ], "success": false, "error": "AssertionError: movement returned failure: head=6, target=1", "steps": 1, "completed_apples": 1, "required_apples": 35, "occupied_cells": 2, "seconds_including_validation": 5.6e-05, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 6, "seed": 0, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 323, "completed_apples": 35, "required_apples": 35, "occupied_cells": 36, "seconds_including_validation": 0.002255, "source_line_events": { "dino_cycle_index": 255, "follow_dino_route": 767 }, "total_source_line_events": 1022 }, { "algorithm": "new", "size": 6, "seed": 0, "case": "two_apple_counterexample", "forced_apple_prefix": [ [ 0, 1 ], [ 1, 0 ] ], "success": true, "error": null, "steps": 308, "completed_apples": 35, "required_apples": 35, "occupied_cells": 36, "seconds_including_validation": 0.000397, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 8, "seed": 0, "case": "random", "forced_apple_prefix": [], "success": false, "error": "AssertionError: movement returned failure: head=60, target=7", "steps": 647, "completed_apples": 53, "required_apples": 63, "occupied_cells": 54, "seconds_including_validation": 0.067694, "source_line_events": { "move_dinosaur_to": 7175, "choose_dino_move": 38199, "dino_cycle_index": 11691 }, "total_source_line_events": 57065 }, { "algorithm": "old", "size": 8, "seed": 0, "case": "two_apple_counterexample", "forced_apple_prefix": [ [ 0, 1 ], [ 1, 0 ] ], "success": false, "error": "AssertionError: movement returned failure: head=8, target=1", "steps": 1, "completed_apples": 1, "required_apples": 63, "occupied_cells": 2, "seconds_including_validation": 5.9e-05, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 8, "seed": 0, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 1055, "completed_apples": 63, "required_apples": 63, "occupied_cells": 64, "seconds_including_validation": 0.006643, "source_line_events": { "dino_cycle_index": 462, "follow_dino_route": 2331 }, "total_source_line_events": 2793 }, { "algorithm": "new", "size": 8, "seed": 0, "case": "two_apple_counterexample", "forced_apple_prefix": [ [ 0, 1 ], [ 1, 0 ] ], "success": true, "error": null, "steps": 1005, "completed_apples": 63, "required_apples": 63, "occupied_cells": 64, "seconds_including_validation": 0.001206, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "old", "size": 32, "seed": 0, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 132948, "completed_apples": 1023, "required_apples": 1023, "occupied_cells": 1024, "seconds_including_validation": 16.418651, "source_line_events": { "move_dinosaur_to": 1463451, "choose_dino_move": 8152851, "dino_cycle_index": 2558492 }, "total_source_line_events": 12174794 }, { "algorithm": "old", "size": 32, "seed": 0, "case": "two_apple_counterexample", "forced_apple_prefix": [ [ 0, 1 ], [ 1, 0 ] ], "success": false, "error": "AssertionError: movement returned failure: head=32, target=1", "steps": 1, "completed_apples": 1, "required_apples": 1023, "occupied_cells": 2, "seconds_including_validation": 6.6e-05, "source_line_events": null, "total_source_line_events": null }, { "algorithm": "new", "size": 32, "seed": 0, "case": "random", "forced_apple_prefix": [], "success": true, "error": null, "steps": 256372, "completed_apples": 1023, "required_apples": 1023, "occupied_cells": 1024, "seconds_including_validation": 1.418443, "source_line_events": { "dino_cycle_index": 7996, "follow_dino_route": 516313 }, "total_source_line_events": 524309 }, { "algorithm": "new", "size": 32, "seed": 0, "case": "two_apple_counterexample", "forced_apple_prefix": [ [ 0, 1 ], [ 1, 0 ] ], "success": true, "error": null, "steps": 254993, "completed_apples": 1023, "required_apples": 1023, "occupied_cells": 1024, "seconds_including_validation": 0.275759, "source_line_events": null, "total_source_line_events": null } ], "new_failures": [], "baseline_counterexample_reproduced": true, "summary": { "old": { "games": 9, "completed_games": 2, "steps_including_partial_games": 133918 }, "new": { "games": 9, "completed_games": 9, "steps_including_partial_games": 514200 } }, "success": true }, "conclusion": "Experimental full cycle passed all cases but used about 1.98x as many moves on 32x32 random games. Source-line counts are not game ticks; game speed improvement remains unverified. Main and experiment scripts were not changed." }