[ { "level": { "mode": "campaign-200-r2", "geometry": "square", "cells": [ { "x": 0, "y": 0, "w": 1, "h": 1, "id": "c0" }, { "x": 1, "y": 0, "w": 1, "h": 1, "id": "c1" }, { "x": 2, "y": 0, "w": 1, "h": 1, "id": "c2" }, { "x": 3, "y": 0, "w": 1, "h": 1, "id": "c3" }, { "x": 4, "y": 0, "w": 1, "h": 1, "id": "c4" }, { "x": 0, "y": 1, "w": 1, "h": 1, "id": "c5" }, { "x": 1, "y": 1, "w": 1, "h": 1, "id": "c6" }, { "x": 2, "y": 1, "w": 1, "h": 1, "id": "c7" }, { "x": 3, "y": 1, "w": 1, "h": 1, "id": "c8" }, { "x": 4, "y": 1, "w": 1, "h": 1, "id": "c9" }, { "x": 0, "y": 2, "w": 1, "h": 1, "id": "c10" }, { "x": 1, "y": 2, "w": 1, "h": 1, "id": "c11" }, { "x": 2, "y": 2, "w": 1, "h": 1, "id": "c12" }, { "x": 3, "y": 2, "w": 1, "h": 1, "id": "c13" }, { "x": 4, "y": 2, "w": 1, "h": 1, "id": "c14" }, { "x": 0, "y": 3, "w": 1, "h": 1, "id": "c15", "clue": 1 }, { "x": 2, "y": 3, "w": 1, "h": 1, "id": "c16" }, { "x": 3, "y": 3, "w": 1, "h": 1, "id": "c17" }, { "x": 4, "y": 3, "w": 1, "h": 1, "id": "c18" }, { "x": 0, "y": 4, "w": 1, "h": 1, "id": "c19" }, { "x": 1, "y": 4, "w": 1, "h": 1, "id": "c20" }, { "x": 2, "y": 4, "w": 1, "h": 1, "id": "c21" }, { "x": 3, "y": 4, "w": 1, "h": 1, "id": "c22", "direction": "lr" }, { "x": 4, "y": 4, "w": 1, "h": 1, "id": "c23" } ], "features": [ "direction", "walls" ], "contentRevision": 1, "walls": [ [ "c13", "c14" ], [ "c15", "c19" ], [ "c2", "c7" ] ] }, "author": [ "c15", "c10", "c11", "c12", "c16", "c17", "c13", "c8", "c7", "c6", "c5", "c0", "c1", "c2", "c3", "c4", "c9", "c14", "c18", "c23", "c22", "c21", "c20", "c19" ], "witnesses": [ { "constraint": "direction:c22", "path": [ "c15", "c10", "c5", "c0", "c1", "c2", "c3", "c4", "c9", "c14", "c18", "c23", "c22", "c17", "c13", "c8", "c7", "c6", "c11", "c12", "c16", "c21", "c20", "c19" ] }, { "constraint": "wall:0", "path": [ "c15", "c10", "c5", "c0", "c1", "c2", "c3", "c4", "c9", "c8", "c7", "c6", "c11", "c12", "c16", "c17", "c13", "c14", "c18", "c23", "c22", "c21", "c20", "c19" ] }, { "constraint": "wall:1", "path": [ "c15", "c19", "c20", "c21", "c22", "c23", "c18", "c14", "c9", "c4", "c3", "c2", "c1", "c0", "c5", "c10", "c11", "c6", "c7", "c8", "c13", "c12", "c16", "c17" ] }, { "constraint": "wall:2", "path": [ "c15", "c10", "c5", "c0", "c1", "c2", "c7", "c6", "c11", "c12", "c16", "c17", "c13", "c8", "c3", "c4", "c9", "c14", "c18", "c23", "c22", "c21", "c20", "c19" ] } ], "objective": { "version": "reasoner-v1", "score": 70, "nodeCount": 24, "decisions": 4, "forcedFraction": 0.8333333333333334, "longestForcedRun": 18, "wrongBranches": 5, "nonlocalBranches": 4, "meanWrongDepth": 6.6, "maxWrongDepth": 8, "probeStates": 45, "depthLimit": 8, "stateLimit": 12000, "capped": false, "turns": 9, "branches": [ { "step": 3, "tempting": "c5", "correct": "c11", "survivesAtLeast": 8, "depthCapped": true, "probeStates": 10 }, { "step": 4, "tempting": "c6", "correct": "c12", "survivesAtLeast": 8, "depthCapped": true, "probeStates": 11 }, { "step": 5, "tempting": "c7", "correct": "c16", "survivesAtLeast": 8, "depthCapped": true, "probeStates": 10 }, { "step": 5, "tempting": "c13", "correct": "c16", "survivesAtLeast": 8, "depthCapped": true, "probeStates": 11 }, { "step": 6, "tempting": "c21", "correct": "c17", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 3 } ] }, "spatial": { "turnRate": 0.4090909090909091, "maxRun": 4, "qReversals": 3, "rReversals": 3 }, "source": "略难候选新制作", "attempts": 28 }, { "level": { "mode": "campaign-200-r2", "geometry": "blocks", "cells": [ { "x": 1, "y": 0, "w": 1, "h": 1, "id": "c0" }, { "x": 3, "y": 0, "w": 1, "h": 1, "id": "c1" }, { "x": 4, "y": 0, "w": 1, "h": 1, "id": "c2" }, { "x": 5, "y": 0, "w": 1, "h": 1, "id": "c3" }, { "x": 0, "y": 1, "w": 1, "h": 1, "id": "c4" }, { "x": 1, "y": 1, "w": 1, "h": 1, "id": "c5" }, { "x": 2, "y": 1, "w": 1, "h": 1, "id": "c6" }, { "x": 3, "y": 1, "w": 1, "h": 1, "id": "c7" }, { "x": 4, "y": 1, "w": 1, "h": 1, "id": "c8", "parity": "even" }, { "x": 5, "y": 1, "w": 1, "h": 1, "id": "c9" }, { "x": 0, "y": 2, "w": 1, "h": 1, "id": "c10" }, { "x": 1, "y": 2, "w": 1, "h": 1, "id": "c11" }, { "x": 2, "y": 2, "w": 1, "h": 1, "id": "c12" }, { "x": 3, "y": 2, "w": 1, "h": 1, "id": "c13", "clue": 1 }, { "x": 4, "y": 2, "w": 2, "h": 1, "id": "c14" }, { "x": 0, "y": 3, "w": 1, "h": 1, "id": "c15" }, { "x": 1, "y": 3, "w": 1, "h": 1, "id": "c16" }, { "x": 2, "y": 3, "w": 1, "h": 1, "id": "c17" }, { "x": 3, "y": 3, "w": 1, "h": 1, "id": "c18" }, { "x": 4, "y": 3, "w": 1, "h": 1, "id": "c19" }, { "x": 5, "y": 3, "w": 1, "h": 1, "id": "c20" }, { "x": 0, "y": 4, "w": 1, "h": 1, "id": "c21" }, { "x": 1, "y": 4, "w": 1, "h": 1, "id": "c22" }, { "x": 2, "y": 4, "w": 1, "h": 1, "id": "c23" }, { "x": 4, "y": 4, "w": 1, "h": 1, "id": "c24" }, { "x": 5, "y": 4, "w": 1, "h": 1, "id": "c25" } ], "features": [ "big", "parity", "walls" ], "contentRevision": 1, "walls": [ [ "c16", "c17" ] ] }, "author": [ "c13", "c18", "c19", "c24", "c25", "c20", "c14", "c8", "c9", "c3", "c2", "c1", "c7", "c6", "c12", "c17", "c23", "c22", "c21", "c15", "c16", "c11", "c10", "c4", "c5", "c0" ], "witnesses": [ { "constraint": "parity:c8", "path": [ "c13", "c12", "c6", "c7", "c1", "c2", "c3", "c9", "c8", "c14", "c20", "c25", "c24", "c19", "c18", "c17", "c23", "c22", "c21", "c15", "c16", "c11", "c10", "c4", "c5", "c0" ] }, { "constraint": "wall:0", "path": [ "c13", "c18", "c19", "c24", "c25", "c20", "c14", "c8", "c9", "c3", "c2", "c1", "c7", "c6", "c12", "c11", "c16", "c17", "c23", "c22", "c21", "c15", "c10", "c4", "c5", "c0" ] } ], "objective": { "version": "reasoner-v1", "score": 65, "nodeCount": 26, "decisions": 4, "forcedFraction": 0.8461538461538461, "longestForcedRun": 11, "wrongBranches": 6, "nonlocalBranches": 5, "meanWrongDepth": 5.17, "maxWrongDepth": 8, "probeStates": 82, "depthLimit": 8, "stateLimit": 12000, "capped": false, "turns": 20, "branches": [ { "step": 2, "tempting": "c7", "correct": "c18", "survivesAtLeast": 5, "depthCapped": false, "probeStates": 7 }, { "step": 2, "tempting": "c12", "correct": "c18", "survivesAtLeast": 7, "depthCapped": false, "probeStates": 33 }, { "step": 2, "tempting": "c14", "correct": "c18", "survivesAtLeast": 8, "depthCapped": true, "probeStates": 21 }, { "step": 3, "tempting": "c17", "correct": "c19", "survivesAtLeast": 7, "depthCapped": false, "probeStates": 13 }, { "step": 8, "tempting": "c9", "correct": "c8", "survivesAtLeast": 3, "depthCapped": false, "probeStates": 4 }, { "step": 15, "tempting": "c5", "correct": "c12", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 4 } ] }, "spatial": { "turnRate": 0.8333333333333334, "maxRun": 3, "qReversals": 6, "rReversals": 3 }, "source": "略难候选新制作", "attempts": 33 }, { "level": { "mode": "campaign-200-r2", "geometry": "blocks", "cells": [ { "x": 0, "y": 0, "w": 1, "h": 1, "id": "c0" }, { "x": 1, "y": 0, "w": 1, "h": 1, "id": "c1" }, { "x": 2, "y": 0, "w": 1, "h": 1, "id": "c2" }, { "x": 3, "y": 0, "w": 1, "h": 1, "id": "c3" }, { "x": 4, "y": 0, "w": 1, "h": 1, "id": "c4" }, { "x": 5, "y": 0, "w": 1, "h": 1, "id": "c5" }, { "x": 0, "y": 1, "w": 1, "h": 1, "id": "c6" }, { "x": 1, "y": 1, "w": 1, "h": 1, "id": "c7", "direction": "du" }, { "x": 2, "y": 1, "w": 1, "h": 1, "id": "c8" }, { "x": 3, "y": 1, "w": 1, "h": 1, "id": "c9", "clue": 6 }, { "x": 4, "y": 1, "w": 1, "h": 1, "id": "c10" }, { "x": 5, "y": 1, "w": 1, "h": 1, "id": "c11" }, { "x": 0, "y": 2, "w": 1, "h": 1, "id": "c12" }, { "x": 1, "y": 2, "w": 1, "h": 1, "id": "c13", "clue": 1 }, { "x": 2, "y": 2, "w": 1, "h": 1, "id": "c14" }, { "x": 3, "y": 2, "w": 1, "h": 1, "id": "c15" }, { "x": 4, "y": 2, "w": 1, "h": 2, "id": "c16" }, { "x": 5, "y": 2, "w": 1, "h": 1, "id": "c17" }, { "x": 0, "y": 3, "w": 1, "h": 1, "id": "c18" }, { "x": 1, "y": 3, "w": 1, "h": 2, "id": "c19" }, { "x": 2, "y": 3, "w": 1, "h": 1, "id": "c20" }, { "x": 3, "y": 3, "w": 1, "h": 1, "id": "c21" }, { "x": 5, "y": 3, "w": 1, "h": 1, "id": "c22" }, { "x": 0, "y": 4, "w": 1, "h": 1, "id": "c23" }, { "x": 2, "y": 4, "w": 1, "h": 1, "id": "c24" }, { "x": 3, "y": 4, "w": 1, "h": 1, "id": "c25" }, { "x": 4, "y": 4, "w": 1, "h": 1, "id": "c26", "parity": "odd" }, { "x": 5, "y": 4, "w": 1, "h": 1, "id": "c27" } ], "features": [ "big", "direction", "parity" ], "contentRevision": 1 }, "author": [ "c13", "c7", "c1", "c2", "c3", "c9", "c8", "c14", "c15", "c21", "c16", "c10", "c4", "c5", "c11", "c17", "c22", "c27", "c26", "c25", "c24", "c20", "c19", "c23", "c18", "c12", "c6", "c0" ], "witnesses": [ { "constraint": "parity:c26", "path": [ "c13", "c7", "c1", "c2", "c3", "c9", "c8", "c14", "c15", "c16", "c10", "c4", "c5", "c11", "c17", "c22", "c27", "c26", "c25", "c21", "c20", "c24", "c19", "c23", "c18", "c12", "c6", "c0" ] }, { "constraint": "direction:c7", "path": [ "c13", "c7", "c8", "c2", "c3", "c9", "c10", "c4", "c5", "c11", "c17", "c16", "c22", "c27", "c26", "c25", "c21", "c15", "c14", "c20", "c24", "c19", "c23", "c18", "c12", "c6", "c0", "c1" ] } ], "objective": { "version": "reasoner-v1", "score": 60, "nodeCount": 28, "decisions": 6, "forcedFraction": 0.7857142857142857, "longestForcedRun": 16, "wrongBranches": 10, "nonlocalBranches": 4, "meanWrongDepth": 4, "maxWrongDepth": 8, "probeStates": 91, "depthLimit": 8, "stateLimit": 12000, "capped": false, "turns": 15, "branches": [ { "step": 2, "tempting": "c12", "correct": "c7", "survivesAtLeast": 2, "depthCapped": false, "probeStates": 4 }, { "step": 2, "tempting": "c14", "correct": "c7", "survivesAtLeast": 8, "depthCapped": true, "probeStates": 10 }, { "step": 2, "tempting": "c19", "correct": "c7", "survivesAtLeast": 2, "depthCapped": false, "probeStates": 8 }, { "step": 5, "tempting": "c8", "correct": "c3", "survivesAtLeast": 8, "depthCapped": true, "probeStates": 10 }, { "step": 9, "tempting": "c20", "correct": "c15", "survivesAtLeast": 8, "depthCapped": true, "probeStates": 13 }, { "step": 10, "tempting": "c16", "correct": "c21", "survivesAtLeast": 7, "depthCapped": false, "probeStates": 30 }, { "step": 11, "tempting": "c20", "correct": "c16", "survivesAtLeast": 2, "depthCapped": false, "probeStates": 8 }, { "step": 11, "tempting": "c25", "correct": "c16", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 2 }, { "step": 12, "tempting": "c17", "correct": "c10", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 3 }, { "step": 12, "tempting": "c22", "correct": "c10", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 3 } ] }, "spatial": { "turnRate": 0.5769230769230769, "maxRun": 4, "qReversals": 3, "rReversals": 6 }, "source": "略难候选新制作", "attempts": 41 }, { "level": { "mode": "campaign-200-r2", "geometry": "blocks", "cells": [ { "x": 0, "y": 0, "w": 1, "h": 1, "id": "c0", "clue": 1, "category": "circle" }, { "x": 1, "y": 0, "w": 1, "h": 1, "id": "c1", "category": "triangle" }, { "x": 2, "y": 0, "w": 1, "h": 2, "id": "c2", "category": "circle" }, { "x": 3, "y": 0, "w": 1, "h": 1, "id": "c3", "category": "circle" }, { "x": 4, "y": 0, "w": 1, "h": 1, "id": "c4", "category": "triangle" }, { "x": 5, "y": 0, "w": 1, "h": 1, "id": "c5", "category": "circle" }, { "x": 0, "y": 1, "w": 1, "h": 1, "id": "c6", "category": "triangle" }, { "x": 1, "y": 1, "w": 1, "h": 1, "id": "c7", "category": "circle" }, { "x": 3, "y": 1, "w": 1, "h": 1, "id": "c8", "category": "triangle" }, { "x": 4, "y": 1, "w": 1, "h": 1, "id": "c9", "category": "circle" }, { "x": 5, "y": 1, "w": 1, "h": 1, "id": "c10", "category": "triangle" }, { "x": 0, "y": 2, "w": 1, "h": 1, "id": "c11", "category": "circle" }, { "x": 1, "y": 2, "w": 1, "h": 1, "id": "c12", "category": "triangle" }, { "x": 2, "y": 2, "w": 1, "h": 1, "id": "c13", "category": "triangle" }, { "x": 3, "y": 2, "w": 1, "h": 1, "id": "c14", "category": "circle" }, { "x": 4, "y": 2, "w": 1, "h": 1, "id": "c15", "category": "triangle" }, { "x": 0, "y": 3, "w": 1, "h": 1, "id": "c16", "category": "triangle" }, { "x": 1, "y": 3, "w": 1, "h": 1, "id": "c17", "category": "circle" }, { "x": 2, "y": 3, "w": 1, "h": 1, "id": "c18", "category": "circle" }, { "x": 3, "y": 3, "w": 1, "h": 1, "id": "c19", "category": "triangle" }, { "x": 4, "y": 3, "w": 1, "h": 1, "id": "c20", "category": "circle" }, { "x": 1, "y": 4, "w": 1, "h": 1, "id": "c21", "category": "circle" }, { "x": 2, "y": 4, "w": 1, "h": 1, "id": "c22", "category": "triangle" }, { "x": 3, "y": 4, "w": 1, "h": 1, "id": "c23", "category": "circle" }, { "x": 4, "y": 4, "w": 1, "h": 1, "id": "c24", "category": "triangle" }, { "x": 5, "y": 4, "w": 1, "h": 1, "id": "c25", "category": "circle" }, { "x": 1, "y": 5, "w": 1, "h": 1, "id": "c26", "category": "triangle" }, { "x": 2, "y": 5, "w": 1, "h": 1, "id": "c27", "category": "circle" }, { "x": 3, "y": 5, "w": 1, "h": 1, "id": "c28", "category": "triangle" }, { "x": 5, "y": 5, "w": 1, "h": 1, "id": "c29", "category": "triangle" } ], "features": [ "big", "alternation", "walls" ], "contentRevision": 1, "walls": [ [ "c19", "c20" ] ] }, "author": [ "c0", "c6", "c11", "c16", "c17", "c12", "c7", "c1", "c2", "c13", "c18", "c22", "c21", "c26", "c27", "c28", "c23", "c19", "c14", "c8", "c3", "c4", "c5", "c10", "c9", "c15", "c20", "c24", "c25", "c29" ], "witnesses": [ { "constraint": "alternation", "path": [ "c0", "c1", "c7", "c6", "c11", "c16", "c17", "c12", "c13", "c18", "c22", "c21", "c26", "c27", "c28", "c23", "c19", "c14", "c8", "c2", "c3", "c4", "c5", "c10", "c9", "c15", "c20", "c24", "c25", "c29" ] }, { "constraint": "wall:0", "path": [ "c0", "c6", "c11", "c16", "c17", "c12", "c7", "c1", "c2", "c13", "c14", "c8", "c3", "c4", "c5", "c10", "c9", "c15", "c20", "c19", "c18", "c22", "c21", "c26", "c27", "c28", "c23", "c24", "c25", "c29" ] } ], "objective": { "version": "reasoner-v1", "score": 59, "nodeCount": 30, "decisions": 6, "forcedFraction": 0.8, "longestForcedRun": 10, "wrongBranches": 6, "nonlocalBranches": 3, "meanWrongDepth": 4.5, "maxWrongDepth": 8, "probeStates": 37, "depthLimit": 8, "stateLimit": 12000, "capped": false, "turns": 14, "branches": [ { "step": 2, "tempting": "c1", "correct": "c6", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 3 }, { "step": 3, "tempting": "c7", "correct": "c11", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 3 }, { "step": 10, "tempting": "c8", "correct": "c13", "survivesAtLeast": 8, "depthCapped": true, "probeStates": 10 }, { "step": 11, "tempting": "c14", "correct": "c18", "survivesAtLeast": 8, "depthCapped": true, "probeStates": 9 }, { "step": 12, "tempting": "c19", "correct": "c22", "survivesAtLeast": 8, "depthCapped": true, "probeStates": 9 }, { "step": 20, "tempting": "c15", "correct": "c8", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 3 } ] }, "spatial": { "turnRate": 0.5, "maxRun": 5, "qReversals": 4, "rReversals": 4 }, "source": "略难候选新制作", "attempts": 35 }, { "level": { "mode": "campaign-200-r2", "geometry": "blocks", "cells": [ { "x": 0, "y": 0, "w": 1, "h": 1, "id": "c0", "category": "circle" }, { "x": 1, "y": 0, "w": 1, "h": 1, "id": "c1", "category": "triangle" }, { "x": 2, "y": 0, "w": 2, "h": 1, "id": "c2", "category": "circle" }, { "x": 4, "y": 0, "w": 1, "h": 1, "id": "c3", "category": "triangle" }, { "x": 0, "y": 1, "w": 1, "h": 1, "id": "c4", "category": "triangle" }, { "x": 1, "y": 1, "w": 1, "h": 1, "id": "c5", "category": "circle" }, { "x": 2, "y": 1, "w": 1, "h": 1, "id": "c6", "category": "triangle" }, { "x": 3, "y": 1, "w": 1, "h": 1, "id": "c7", "category": "triangle" }, { "x": 4, "y": 1, "w": 1, "h": 1, "id": "c8", "category": "circle" }, { "x": 0, "y": 2, "w": 1, "h": 1, "id": "c9", "category": "circle" }, { "x": 1, "y": 2, "w": 1, "h": 1, "id": "c10", "category": "triangle", "direction": "lu" }, { "x": 2, "y": 2, "w": 1, "h": 1, "id": "c11", "clue": 1, "category": "circle" }, { "x": 3, "y": 2, "w": 1, "h": 1, "id": "c12", "category": "circle" }, { "x": 4, "y": 2, "w": 1, "h": 1, "id": "c13", "category": "triangle" }, { "x": 0, "y": 3, "w": 1, "h": 1, "id": "c14", "category": "circle", "clue": 21 }, { "x": 1, "y": 3, "w": 1, "h": 1, "id": "c15", "category": "triangle", "clue": 22 }, { "x": 2, "y": 3, "w": 1, "h": 1, "id": "c16", "category": "circle" }, { "x": 3, "y": 3, "w": 1, "h": 1, "id": "c17", "category": "triangle" }, { "x": 4, "y": 3, "w": 1, "h": 1, "id": "c18", "category": "circle" }, { "x": 0, "y": 4, "w": 1, "h": 1, "id": "c19", "category": "triangle" }, { "x": 1, "y": 4, "w": 1, "h": 1, "id": "c20", "category": "circle" }, { "x": 2, "y": 4, "w": 1, "h": 1, "id": "c21", "category": "triangle" }, { "x": 3, "y": 4, "w": 1, "h": 1, "id": "c22", "category": "circle" }, { "x": 4, "y": 4, "w": 1, "h": 1, "id": "c23", "category": "triangle" } ], "features": [ "big", "direction", "alternation" ], "contentRevision": 1 }, "author": [ "c11", "c6", "c5", "c10", "c9", "c4", "c0", "c1", "c2", "c3", "c8", "c7", "c12", "c13", "c18", "c23", "c22", "c21", "c20", "c19", "c14", "c15", "c16", "c17" ], "witnesses": [ { "constraint": "direction:c10", "path": [ "c11", "c10", "c9", "c4", "c0", "c1", "c5", "c6", "c2", "c3", "c8", "c7", "c12", "c13", "c18", "c23", "c22", "c21", "c20", "c19", "c14", "c15", "c16", "c17" ] }, { "constraint": "alternation", "path": [ "c11", "c6", "c7", "c12", "c17", "c16", "c21", "c22", "c23", "c18", "c13", "c8", "c3", "c2", "c1", "c0", "c4", "c5", "c10", "c9", "c14", "c15", "c20", "c19" ] } ], "objective": { "version": "reasoner-v1", "score": 54, "nodeCount": 24, "decisions": 7, "forcedFraction": 0.7083333333333334, "longestForcedRun": 6, "wrongBranches": 7, "nonlocalBranches": 4, "meanWrongDepth": 3, "maxWrongDepth": 6, "probeStates": 63, "depthLimit": 8, "stateLimit": 12000, "capped": false, "turns": 13, "branches": [ { "step": 3, "tempting": "c2", "correct": "c5", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 4 }, { "step": 10, "tempting": "c7", "correct": "c3", "survivesAtLeast": 5, "depthCapped": false, "probeStates": 19 }, { "step": 12, "tempting": "c13", "correct": "c7", "survivesAtLeast": 6, "depthCapped": false, "probeStates": 16 }, { "step": 14, "tempting": "c17", "correct": "c13", "survivesAtLeast": 3, "depthCapped": false, "probeStates": 11 }, { "step": 16, "tempting": "c17", "correct": "c23", "survivesAtLeast": 3, "depthCapped": false, "probeStates": 8 }, { "step": 18, "tempting": "c17", "correct": "c21", "survivesAtLeast": 2, "depthCapped": false, "probeStates": 3 }, { "step": 19, "tempting": "c16", "correct": "c20", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 2 } ] }, "spatial": { "turnRate": 0.5909090909090909, "maxRun": 4, "qReversals": 5, "rReversals": 4 }, "source": "略难候选新制作", "attempts": 20 }, { "level": { "mode": "campaign-200-r2", "geometry": "hex", "cells": [ { "id": "c0", "q": 0, "r": 0, "clue": 1, "category": "circle" }, { "id": "c1", "q": 0, "r": 1, "category": "circle" }, { "id": "c2", "q": 0, "r": 2, "category": "triangle" }, { "id": "c3", "q": 0, "r": 3, "category": "circle" }, { "id": "c4", "q": 0, "r": 4, "category": "triangle" }, { "id": "c5", "q": 1, "r": 0, "category": "triangle" }, { "id": "c6", "q": 1, "r": 1, "category": "circle" }, { "id": "c7", "q": 1, "r": 2, "category": "triangle" }, { "id": "c8", "q": 1, "r": 3, "category": "circle" }, { "id": "c9", "q": 1, "r": 4, "category": "triangle" }, { "id": "c10", "q": 1, "r": 5, "category": "circle" }, { "id": "c11", "q": 2, "r": 1, "category": "triangle" }, { "id": "c12", "q": 2, "r": 2, "category": "circle" }, { "id": "c13", "q": 2, "r": 3, "category": "triangle" }, { "id": "c14", "q": 2, "r": 4, "category": "circle" }, { "id": "c15", "q": 2, "r": 5, "category": "triangle" }, { "id": "c16", "q": 3, "r": 1, "category": "circle" }, { "id": "c17", "q": 3, "r": 2, "category": "triangle" }, { "id": "c18", "q": 3, "r": 3, "category": "circle" }, { "id": "c19", "q": 3, "r": 4, "category": "circle" }, { "id": "c20", "q": 3, "r": 5, "category": "circle" }, { "id": "c21", "q": 4, "r": 0, "category": "triangle" }, { "id": "c22", "q": 4, "r": 1, "category": "circle" }, { "id": "c23", "q": 4, "r": 3, "category": "triangle" }, { "id": "c24", "q": 4, "r": 4, "category": "triangle" }, { "id": "c25", "q": 4, "r": 5, "category": "triangle" } ], "features": [ "alternation", "walls" ], "contentRevision": 1, "walls": [ [ "c2", "c6" ] ] }, "author": [ "c0", "c5", "c1", "c2", "c3", "c4", "c8", "c9", "c10", "c15", "c14", "c13", "c12", "c7", "c6", "c11", "c16", "c21", "c22", "c17", "c18", "c23", "c19", "c24", "c20", "c25" ], "witnesses": [ { "constraint": "alternation", "path": [ "c0", "c5", "c1", "c2", "c3", "c4", "c8", "c7", "c6", "c11", "c12", "c16", "c21", "c22", "c17", "c13", "c9", "c10", "c14", "c15", "c20", "c25", "c24", "c19", "c18", "c23" ] }, { "constraint": "wall:0", "path": [ "c0", "c5", "c1", "c2", "c6", "c11", "c16", "c21", "c22", "c17", "c12", "c7", "c3", "c4", "c8", "c9", "c10", "c15", "c14", "c13", "c18", "c23", "c19", "c24", "c20", "c25" ] } ], "objective": { "version": "reasoner-v1", "score": 55, "nodeCount": 26, "decisions": 2, "forcedFraction": 0.9230769230769231, "longestForcedRun": 13, "wrongBranches": 3, "nonlocalBranches": 2, "meanWrongDepth": 5.67, "maxWrongDepth": 8, "probeStates": 22, "depthLimit": 8, "stateLimit": 12000, "capped": false, "turns": 18, "branches": [ { "step": 8, "tempting": "c7", "correct": "c9", "survivesAtLeast": 8, "depthCapped": true, "probeStates": 9 }, { "step": 8, "tempting": "c13", "correct": "c9", "survivesAtLeast": 8, "depthCapped": true, "probeStates": 10 }, { "step": 13, "tempting": "c18", "correct": "c12", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 3 } ] }, "spatial": { "turnRate": 0.75, "maxRun": 3, "qReversals": 10, "rReversals": 4 }, "source": "略难候选新制作", "attempts": 28 }, { "level": { "mode": "campaign-200-r2", "geometry": "hex", "cells": [ { "id": "c0", "q": 0, "r": 0 }, { "id": "c1", "q": 0, "r": 1 }, { "id": "c2", "q": 0, "r": 2 }, { "id": "c3", "q": 0, "r": 3 }, { "id": "c4", "q": 0, "r": 4 }, { "id": "c5", "q": 0, "r": 5 }, { "id": "c6", "q": 1, "r": 1, "clue": 26 }, { "id": "c7", "q": 1, "r": 2, "clue": 24 }, { "id": "c8", "q": 1, "r": 3 }, { "id": "c9", "q": 1, "r": 4 }, { "id": "c10", "q": 1, "r": 5 }, { "id": "c11", "q": 2, "r": 0, "clue": 7 }, { "id": "c12", "q": 2, "r": 1 }, { "id": "c13", "q": 2, "r": 2 }, { "id": "c14", "q": 2, "r": 3, "clue": 1 }, { "id": "c15", "q": 2, "r": 4 }, { "id": "c16", "q": 2, "r": 5 }, { "id": "c17", "q": 3, "r": 0 }, { "id": "c18", "q": 3, "r": 1 }, { "id": "c19", "q": 3, "r": 2 }, { "id": "c20", "q": 3, "r": 3 }, { "id": "c21", "q": 3, "r": 4, "clue": 15 }, { "id": "c22", "q": 3, "r": 5 }, { "id": "c23", "q": 4, "r": 0, "parity": "even" }, { "id": "c24", "q": 4, "r": 1 }, { "id": "c25", "q": 4, "r": 3 }, { "id": "c26", "q": 4, "r": 4 }, { "id": "c27", "q": 4, "r": 5 } ], "features": [ "parity", "walls" ], "contentRevision": 1, "walls": [ [ "c14", "c15" ] ] }, "author": [ "c14", "c19", "c24", "c23", "c18", "c17", "c11", "c12", "c13", "c8", "c9", "c15", "c20", "c25", "c21", "c26", "c27", "c22", "c16", "c10", "c5", "c4", "c3", "c7", "c2", "c6", "c1", "c0" ], "witnesses": [ { "constraint": "parity:c23", "path": [ "c14", "c19", "c24", "c18", "c23", "c17", "c11", "c12", "c13", "c8", "c9", "c15", "c20", "c25", "c21", "c26", "c27", "c22", "c16", "c10", "c5", "c4", "c3", "c7", "c2", "c6", "c1", "c0" ] }, { "constraint": "wall:0", "path": [ "c14", "c15", "c9", "c8", "c13", "c12", "c11", "c17", "c18", "c23", "c24", "c19", "c20", "c25", "c21", "c26", "c27", "c22", "c16", "c10", "c5", "c4", "c3", "c7", "c2", "c6", "c1", "c0" ] } ], "objective": { "version": "reasoner-v1", "score": 56, "nodeCount": 28, "decisions": 9, "forcedFraction": 0.6785714285714286, "longestForcedRun": 12, "wrongBranches": 17, "nonlocalBranches": 5, "meanWrongDepth": 2.12, "maxWrongDepth": 6, "probeStates": 194, "depthLimit": 8, "stateLimit": 12000, "capped": false, "turns": 20, "branches": [ { "step": 2, "tempting": "c8", "correct": "c19", "survivesAtLeast": 5, "depthCapped": false, "probeStates": 41 }, { "step": 2, "tempting": "c9", "correct": "c19", "survivesAtLeast": 6, "depthCapped": false, "probeStates": 28 }, { "step": 2, "tempting": "c13", "correct": "c19", "survivesAtLeast": 4, "depthCapped": false, "probeStates": 39 }, { "step": 2, "tempting": "c20", "correct": "c19", "survivesAtLeast": 5, "depthCapped": false, "probeStates": 26 }, { "step": 3, "tempting": "c13", "correct": "c24", "survivesAtLeast": 3, "depthCapped": false, "probeStates": 17 }, { "step": 3, "tempting": "c18", "correct": "c24", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 6 }, { "step": 4, "tempting": "c18", "correct": "c23", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 4 }, { "step": 5, "tempting": "c17", "correct": "c18", "survivesAtLeast": 2, "depthCapped": false, "probeStates": 4 }, { "step": 6, "tempting": "c12", "correct": "c17", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 2 }, { "step": 11, "tempting": "c3", "correct": "c9", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 3 }, { "step": 11, "tempting": "c4", "correct": "c9", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 4 }, { "step": 12, "tempting": "c5", "correct": "c15", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 3 }, { "step": 12, "tempting": "c10", "correct": "c15", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 4 }, { "step": 13, "tempting": "c10", "correct": "c20", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 3 }, { "step": 13, "tempting": "c16", "correct": "c20", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 3 }, { "step": 16, "tempting": "c16", "correct": "c26", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 3 }, { "step": 16, "tempting": "c22", "correct": "c26", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 4 } ] }, "spatial": { "turnRate": 0.7692307692307693, "maxRun": 4, "qReversals": 9, "rReversals": 6 }, "source": "略难候选新制作", "attempts": 16 }, { "level": { "mode": "campaign-200-r2", "geometry": "hex", "cells": [ { "id": "c0", "q": 0, "r": 0, "category": "triangle" }, { "id": "c1", "q": 0, "r": 1, "category": "circle" }, { "id": "c2", "q": 0, "r": 2, "category": "triangle" }, { "id": "c3", "q": 0, "r": 3, "category": "circle" }, { "id": "c4", "q": 0, "r": 4, "category": "triangle" }, { "id": "c5", "q": 0, "r": 5, "category": "circle" }, { "id": "c6", "q": 1, "r": 0, "clue": 1, "category": "circle" }, { "id": "c7", "q": 1, "r": 1, "category": "circle" }, { "id": "c8", "q": 1, "r": 2, "category": "triangle" }, { "id": "c9", "q": 1, "r": 3, "category": "triangle" }, { "id": "c10", "q": 1, "r": 4, "category": "circle" }, { "id": "c11", "q": 1, "r": 5, "category": "triangle", "clue": 8 }, { "id": "c12", "q": 2, "r": 0, "category": "triangle" }, { "id": "c13", "q": 2, "r": 1, "category": "circle" }, { "id": "c14", "q": 2, "r": 2, "category": "triangle" }, { "id": "c15", "q": 2, "r": 3, "category": "circle" }, { "id": "c16", "q": 2, "r": 4, "category": "triangle" }, { "id": "c17", "q": 2, "r": 5, "category": "circle" }, { "id": "c18", "q": 3, "r": 0, "category": "circle", "clue": 21 }, { "id": "c19", "q": 3, "r": 1, "category": "triangle" }, { "id": "c20", "q": 3, "r": 2, "category": "circle" }, { "id": "c21", "q": 3, "r": 3, "category": "circle" }, { "id": "c22", "q": 3, "r": 4, "category": "triangle" }, { "id": "c23", "q": 3, "r": 5, "category": "triangle" }, { "id": "c24", "q": 4, "r": 0, "category": "triangle" }, { "id": "c25", "q": 4, "r": 1, "category": "circle" }, { "id": "c26", "q": 4, "r": 2, "category": "triangle" }, { "id": "c27", "q": 4, "r": 3, "category": "circle" }, { "id": "c28", "q": 4, "r": 4, "category": "triangle" }, { "id": "c29", "q": 4, "r": 5, "category": "circle" } ], "features": [ "alternation", "walls", "rhythm-door" ], "contentRevision": 1, "doors": [ { "edge": [ "c7", "c8" ], "initialOpen": false } ], "walls": [ [ "c17", "c22" ], [ "c20", "c26" ] ] }, "author": [ "c6", "c0", "c1", "c2", "c3", "c4", "c5", "c11", "c10", "c16", "c17", "c23", "c29", "c28", "c27", "c22", "c21", "c26", "c25", "c24", "c18", "c12", "c7", "c8", "c13", "c19", "c20", "c14", "c15", "c9" ], "witnesses": [ { "constraint": "alternation", "path": [ "c6", "c0", "c1", "c2", "c3", "c4", "c5", "c11", "c17", "c23", "c29", "c28", "c22", "c27", "c26", "c21", "c20", "c25", "c24", "c19", "c18", "c12", "c7", "c13", "c8", "c14", "c9", "c10", "c15", "c16" ] }, { "constraint": "wall:0", "path": [ "c6", "c0", "c1", "c2", "c3", "c4", "c5", "c11", "c10", "c16", "c21", "c22", "c17", "c23", "c29", "c28", "c27", "c26", "c25", "c24", "c18", "c12", "c7", "c8", "c13", "c19", "c20", "c14", "c15", "c9" ] }, { "constraint": "wall:1", "path": [ "c6", "c0", "c1", "c2", "c3", "c4", "c5", "c11", "c17", "c23", "c29", "c28", "c27", "c22", "c21", "c26", "c20", "c19", "c25", "c24", "c18", "c12", "c7", "c8", "c13", "c14", "c15", "c9", "c10", "c16" ] }, { "constraint": "door:0", "path": [ "c6", "c0", "c1", "c2", "c3", "c4", "c5", "c11", "c17", "c16", "c10", "c9", "c15", "c14", "c20", "c19", "c13", "c8", "c7", "c12", "c18", "c24", "c25", "c26", "c21", "c22", "c27", "c28", "c29", "c23" ] } ], "objective": { "version": "reasoner-v1", "score": 63, "nodeCount": 30, "decisions": 6, "forcedFraction": 0.8, "longestForcedRun": 11, "wrongBranches": 6, "nonlocalBranches": 5, "meanWrongDepth": 4.5, "maxWrongDepth": 8, "probeStates": 66, "depthLimit": 8, "stateLimit": 12000, "capped": false, "turns": 20, "branches": [ { "step": 2, "tempting": "c12", "correct": "c0", "survivesAtLeast": 4, "depthCapped": false, "probeStates": 18 }, { "step": 6, "tempting": "c9", "correct": "c4", "survivesAtLeast": 3, "depthCapped": false, "probeStates": 6 }, { "step": 7, "tempting": "c10", "correct": "c5", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 2 }, { "step": 9, "tempting": "c17", "correct": "c10", "survivesAtLeast": 8, "depthCapped": true, "probeStates": 10 }, { "step": 10, "tempting": "c9", "correct": "c16", "survivesAtLeast": 8, "depthCapped": true, "probeStates": 24 }, { "step": 22, "tempting": "c19", "correct": "c12", "survivesAtLeast": 3, "depthCapped": false, "probeStates": 6 } ] }, "spatial": { "turnRate": 0.7142857142857143, "maxRun": 5, "qReversals": 6, "rReversals": 8 }, "source": "略难候选新制作", "attempts": 7 }, { "level": { "mode": "campaign-200-r2", "geometry": "square", "cells": [ { "x": 0, "y": 0, "w": 1, "h": 1, "id": "c0" }, { "x": 1, "y": 0, "w": 1, "h": 1, "id": "c1" }, { "x": 2, "y": 0, "w": 1, "h": 1, "id": "c2" }, { "x": 3, "y": 0, "w": 1, "h": 1, "id": "c3" }, { "x": 4, "y": 0, "w": 1, "h": 1, "id": "c4" }, { "x": 0, "y": 1, "w": 1, "h": 1, "id": "c5" }, { "x": 1, "y": 1, "w": 1, "h": 1, "id": "c6" }, { "x": 2, "y": 1, "w": 1, "h": 1, "id": "c7" }, { "x": 3, "y": 1, "w": 1, "h": 1, "id": "c8" }, { "x": 4, "y": 1, "w": 1, "h": 1, "id": "c9" }, { "x": 0, "y": 2, "w": 1, "h": 1, "id": "c10" }, { "x": 1, "y": 2, "w": 1, "h": 1, "id": "c11" }, { "x": 2, "y": 2, "w": 1, "h": 1, "id": "c12" }, { "x": 3, "y": 2, "w": 1, "h": 1, "id": "c13" }, { "x": 4, "y": 2, "w": 1, "h": 1, "id": "c14", "direction": "lu" }, { "x": 0, "y": 3, "w": 1, "h": 1, "id": "c15" }, { "x": 2, "y": 3, "w": 1, "h": 1, "id": "c16" }, { "x": 3, "y": 3, "w": 1, "h": 1, "id": "c17", "clue": 1 }, { "x": 4, "y": 3, "w": 1, "h": 1, "id": "c18" }, { "x": 0, "y": 4, "w": 1, "h": 1, "id": "c19" }, { "x": 1, "y": 4, "w": 1, "h": 1, "id": "c20" }, { "x": 2, "y": 4, "w": 1, "h": 1, "id": "c21", "direction": "ru" }, { "x": 3, "y": 4, "w": 1, "h": 1, "id": "c22" }, { "x": 4, "y": 4, "w": 1, "h": 1, "id": "c23" } ], "features": [ "direction", "rhythm-door" ], "contentRevision": 1, "doors": [ { "edge": [ "c8", "c7" ], "initialOpen": false } ] }, "author": [ "c17", "c18", "c23", "c22", "c21", "c16", "c12", "c13", "c14", "c9", "c4", "c3", "c8", "c7", "c2", "c1", "c0", "c5", "c6", "c11", "c10", "c15", "c19", "c20" ], "witnesses": [ { "constraint": "direction:c14", "path": [ "c17", "c16", "c21", "c22", "c23", "c18", "c14", "c9", "c4", "c3", "c8", "c13", "c12", "c7", "c2", "c1", "c0", "c5", "c6", "c11", "c10", "c15", "c19", "c20" ] }, { "constraint": "direction:c21", "path": [ "c17", "c16", "c12", "c13", "c14", "c9", "c4", "c3", "c8", "c7", "c2", "c1", "c0", "c5", "c6", "c11", "c10", "c15", "c19", "c20", "c21", "c22", "c23", "c18" ] }, { "constraint": "door:0", "path": [ "c17", "c18", "c23", "c22", "c21", "c16", "c12", "c11", "c6", "c7", "c8", "c13", "c14", "c9", "c4", "c3", "c2", "c1", "c0", "c5", "c10", "c15", "c19", "c20" ] } ], "objective": { "version": "reasoner-v1", "score": 58, "nodeCount": 24, "decisions": 2, "forcedFraction": 0.9166666666666666, "longestForcedRun": 16, "wrongBranches": 5, "nonlocalBranches": 4, "meanWrongDepth": 5.2, "maxWrongDepth": 8, "probeStates": 49, "depthLimit": 8, "stateLimit": 12000, "capped": false, "turns": 16, "branches": [ { "step": 2, "tempting": "c13", "correct": "c18", "survivesAtLeast": 8, "depthCapped": true, "probeStates": 9 }, { "step": 2, "tempting": "c16", "correct": "c18", "survivesAtLeast": 8, "depthCapped": true, "probeStates": 9 }, { "step": 2, "tempting": "c22", "correct": "c18", "survivesAtLeast": 2, "depthCapped": false, "probeStates": 5 }, { "step": 8, "tempting": "c7", "correct": "c13", "survivesAtLeast": 4, "depthCapped": false, "probeStates": 11 }, { "step": 8, "tempting": "c11", "correct": "c13", "survivesAtLeast": 4, "depthCapped": false, "probeStates": 15 } ] }, "spatial": { "turnRate": 0.7272727272727273, "maxRun": 2, "qReversals": 6, "rReversals": 4 }, "source": "略难候选新制作", "attempts": 22 }, { "level": { "mode": "campaign-200-r2", "geometry": "square", "cells": [ { "x": 1, "y": 0, "w": 1, "h": 1, "id": "c0" }, { "x": 2, "y": 0, "w": 1, "h": 1, "id": "c1" }, { "x": 3, "y": 0, "w": 1, "h": 1, "id": "c2" }, { "x": 4, "y": 0, "w": 1, "h": 1, "id": "c3", "clue": 1 }, { "x": 0, "y": 1, "w": 1, "h": 1, "id": "c4" }, { "x": 1, "y": 1, "w": 1, "h": 1, "id": "c5" }, { "x": 2, "y": 1, "w": 1, "h": 1, "id": "c6" }, { "x": 3, "y": 1, "w": 1, "h": 1, "id": "c7" }, { "x": 4, "y": 1, "w": 1, "h": 1, "id": "c8" }, { "x": 5, "y": 1, "w": 1, "h": 1, "id": "c9" }, { "x": 0, "y": 2, "w": 1, "h": 1, "id": "c10" }, { "x": 1, "y": 2, "w": 1, "h": 1, "id": "c11" }, { "x": 2, "y": 2, "w": 1, "h": 1, "id": "c12", "direction": "dl" }, { "x": 3, "y": 2, "w": 1, "h": 1, "id": "c13" }, { "x": 4, "y": 2, "w": 1, "h": 1, "id": "c14" }, { "x": 5, "y": 2, "w": 1, "h": 1, "id": "c15" }, { "x": 0, "y": 3, "w": 1, "h": 1, "id": "c16" }, { "x": 1, "y": 3, "w": 1, "h": 1, "id": "c17" }, { "x": 2, "y": 3, "w": 1, "h": 1, "id": "c18" }, { "x": 3, "y": 3, "w": 1, "h": 1, "id": "c19" }, { "x": 4, "y": 3, "w": 1, "h": 1, "id": "c20" }, { "x": 5, "y": 3, "w": 1, "h": 1, "id": "c21" }, { "x": 0, "y": 4, "w": 1, "h": 1, "id": "c22" }, { "x": 1, "y": 4, "w": 1, "h": 1, "id": "c23" }, { "x": 3, "y": 4, "w": 1, "h": 1, "id": "c24" }, { "x": 4, "y": 4, "w": 1, "h": 1, "id": "c25" } ], "features": [ "direction", "walls" ], "contentRevision": 1, "walls": [ [ "c4", "c5" ] ] }, "author": [ "c3", "c2", "c1", "c0", "c5", "c6", "c7", "c13", "c14", "c8", "c9", "c15", "c21", "c20", "c25", "c24", "c19", "c18", "c12", "c11", "c17", "c23", "c22", "c16", "c10", "c4" ], "witnesses": [ { "constraint": "direction:c12", "path": [ "c3", "c2", "c1", "c0", "c5", "c11", "c12", "c6", "c7", "c13", "c14", "c8", "c9", "c15", "c21", "c20", "c25", "c24", "c19", "c18", "c17", "c23", "c22", "c16", "c10", "c4" ] }, { "constraint": "wall:0", "path": [ "c3", "c2", "c1", "c0", "c5", "c4", "c10", "c16", "c22", "c23", "c17", "c11", "c12", "c18", "c19", "c24", "c25", "c20", "c21", "c15", "c9", "c8", "c14", "c13", "c7", "c6" ] } ], "objective": { "version": "reasoner-v1", "score": 56, "nodeCount": 26, "decisions": 6, "forcedFraction": 0.7692307692307693, "longestForcedRun": 11, "wrongBranches": 6, "nonlocalBranches": 3, "meanWrongDepth": 3.67, "maxWrongDepth": 8, "probeStates": 75, "depthLimit": 8, "stateLimit": 12000, "capped": false, "turns": 17, "branches": [ { "step": 2, "tempting": "c8", "correct": "c2", "survivesAtLeast": 5, "depthCapped": false, "probeStates": 11 }, { "step": 3, "tempting": "c7", "correct": "c1", "survivesAtLeast": 8, "depthCapped": true, "probeStates": 37 }, { "step": 6, "tempting": "c11", "correct": "c6", "survivesAtLeast": 2, "depthCapped": false, "probeStates": 10 }, { "step": 8, "tempting": "c8", "correct": "c13", "survivesAtLeast": 5, "depthCapped": false, "probeStates": 10 }, { "step": 9, "tempting": "c19", "correct": "c14", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 4 }, { "step": 21, "tempting": "c10", "correct": "c17", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 3 } ] }, "spatial": { "turnRate": 0.7083333333333334, "maxRun": 3, "qReversals": 2, "rReversals": 5 }, "source": "略难候选新制作", "attempts": 41 }, { "level": { "mode": "campaign-200-r2", "geometry": "blocks", "cells": [ { "x": 0, "y": 0, "w": 1, "h": 1, "id": "c0" }, { "x": 1, "y": 0, "w": 1, "h": 1, "id": "c1" }, { "x": 2, "y": 0, "w": 1, "h": 1, "id": "c2", "clue": 14 }, { "x": 3, "y": 0, "w": 1, "h": 1, "id": "c3" }, { "x": 4, "y": 0, "w": 1, "h": 1, "id": "c4" }, { "x": 5, "y": 0, "w": 1, "h": 1, "id": "c5" }, { "x": 0, "y": 1, "w": 1, "h": 1, "id": "c6" }, { "x": 1, "y": 1, "w": 1, "h": 1, "id": "c7" }, { "x": 2, "y": 1, "w": 1, "h": 1, "id": "c8" }, { "x": 3, "y": 1, "w": 1, "h": 1, "id": "c9" }, { "x": 4, "y": 1, "w": 1, "h": 1, "id": "c10" }, { "x": 5, "y": 1, "w": 1, "h": 1, "id": "c11" }, { "x": 0, "y": 2, "w": 1, "h": 1, "id": "c12" }, { "x": 1, "y": 2, "w": 1, "h": 1, "id": "c13" }, { "x": 2, "y": 2, "w": 1, "h": 1, "id": "c14" }, { "x": 3, "y": 2, "w": 1, "h": 1, "id": "c15" }, { "x": 4, "y": 2, "w": 1, "h": 1, "id": "c16" }, { "x": 5, "y": 2, "w": 1, "h": 1, "id": "c17", "clue": 1 }, { "x": 0, "y": 3, "w": 1, "h": 2, "id": "c18" }, { "x": 1, "y": 3, "w": 1, "h": 1, "id": "c19", "parity": "odd" }, { "x": 2, "y": 3, "w": 2, "h": 1, "id": "c20" }, { "x": 4, "y": 3, "w": 1, "h": 1, "id": "c21", "clue": 26 }, { "x": 5, "y": 3, "w": 1, "h": 1, "id": "c22" }, { "x": 1, "y": 4, "w": 1, "h": 1, "id": "c23" }, { "x": 2, "y": 4, "w": 1, "h": 1, "id": "c24" }, { "x": 3, "y": 4, "w": 1, "h": 1, "id": "c25" }, { "x": 4, "y": 4, "w": 1, "h": 1, "id": "c26" }, { "x": 5, "y": 4, "w": 1, "h": 1, "id": "c27" } ], "features": [ "big", "parity", "walls" ], "contentRevision": 1, "walls": [ [ "c2", "c8" ], [ "c11", "c17" ] ] }, "author": [ "c17", "c16", "c15", "c14", "c13", "c7", "c8", "c9", "c10", "c11", "c5", "c4", "c3", "c2", "c1", "c0", "c6", "c12", "c18", "c23", "c19", "c20", "c24", "c25", "c26", "c21", "c22", "c27" ], "witnesses": [ { "constraint": "parity:c19", "path": [ "c17", "c22", "c27", "c26", "c25", "c24", "c23", "c19", "c18", "c12", "c6", "c0", "c1", "c2", "c3", "c4", "c5", "c11", "c10", "c9", "c8", "c7", "c13", "c14", "c20", "c21", "c16", "c15" ] }, { "constraint": "wall:0", "path": [ "c17", "c16", "c10", "c11", "c5", "c4", "c3", "c9", "c15", "c14", "c13", "c7", "c8", "c2", "c1", "c0", "c6", "c12", "c18", "c23", "c19", "c20", "c24", "c25", "c26", "c21", "c22", "c27" ] }, { "constraint": "wall:1", "path": [ "c17", "c11", "c5", "c4", "c10", "c16", "c15", "c14", "c13", "c7", "c8", "c9", "c3", "c2", "c1", "c0", "c6", "c12", "c18", "c23", "c19", "c20", "c24", "c25", "c26", "c21", "c22", "c27" ] } ], "objective": { "version": "reasoner-v1", "score": 68, "nodeCount": 28, "decisions": 10, "forcedFraction": 0.6428571428571429, "longestForcedRun": 10, "wrongBranches": 13, "nonlocalBranches": 6, "meanWrongDepth": 3.85, "maxWrongDepth": 8, "probeStates": 166, "depthLimit": 8, "stateLimit": 12000, "capped": false, "turns": 13, "branches": [ { "step": 2, "tempting": "c22", "correct": "c16", "survivesAtLeast": 8, "depthCapped": true, "probeStates": 20 }, { "step": 3, "tempting": "c10", "correct": "c15", "survivesAtLeast": 8, "depthCapped": true, "probeStates": 26 }, { "step": 4, "tempting": "c9", "correct": "c14", "survivesAtLeast": 6, "depthCapped": false, "probeStates": 39 }, { "step": 4, "tempting": "c20", "correct": "c14", "survivesAtLeast": 8, "depthCapped": true, "probeStates": 25 }, { "step": 5, "tempting": "c8", "correct": "c13", "survivesAtLeast": 6, "depthCapped": false, "probeStates": 22 }, { "step": 5, "tempting": "c20", "correct": "c13", "survivesAtLeast": 2, "depthCapped": false, "probeStates": 7 }, { "step": 6, "tempting": "c12", "correct": "c7", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 3 }, { "step": 7, "tempting": "c1", "correct": "c8", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 2 }, { "step": 7, "tempting": "c6", "correct": "c8", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 3 }, { "step": 9, "tempting": "c3", "correct": "c10", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 2 }, { "step": 10, "tempting": "c4", "correct": "c11", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 3 }, { "step": 21, "tempting": "c24", "correct": "c19", "survivesAtLeast": 6, "depthCapped": false, "probeStates": 11 }, { "step": 23, "tempting": "c25", "correct": "c24", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 3 } ] }, "spatial": { "turnRate": 0.5, "maxRun": 5, "qReversals": 3, "rReversals": 5 }, "source": "略难候选新制作", "attempts": 111 }, { "level": { "mode": "campaign-200-r2", "geometry": "blocks", "cells": [ { "x": 1, "y": 0, "w": 1, "h": 1, "id": "c0", "clue": 24 }, { "x": 2, "y": 0, "w": 1, "h": 1, "id": "c1" }, { "x": 5, "y": 0, "w": 1, "h": 1, "id": "c2" }, { "x": 0, "y": 1, "w": 1, "h": 1, "id": "c3", "clue": 1 }, { "x": 1, "y": 1, "w": 1, "h": 1, "id": "c4" }, { "x": 2, "y": 1, "w": 1, "h": 1, "id": "c5" }, { "x": 3, "y": 1, "w": 1, "h": 1, "id": "c6" }, { "x": 4, "y": 1, "w": 1, "h": 1, "id": "c7" }, { "x": 5, "y": 1, "w": 1, "h": 1, "id": "c8" }, { "x": 0, "y": 2, "w": 1, "h": 1, "id": "c9" }, { "x": 1, "y": 2, "w": 1, "h": 1, "id": "c10" }, { "x": 2, "y": 2, "w": 1, "h": 1, "id": "c11" }, { "x": 3, "y": 2, "w": 1, "h": 1, "id": "c12" }, { "x": 4, "y": 2, "w": 1, "h": 1, "id": "c13" }, { "x": 0, "y": 3, "w": 1, "h": 1, "id": "c14" }, { "x": 1, "y": 3, "w": 1, "h": 1, "id": "c15" }, { "x": 2, "y": 3, "w": 1, "h": 1, "id": "c16" }, { "x": 3, "y": 3, "w": 1, "h": 1, "id": "c17", "parity": "even" }, { "x": 4, "y": 3, "w": 1, "h": 1, "id": "c18" }, { "x": 5, "y": 3, "w": 1, "h": 1, "id": "c19" }, { "x": 0, "y": 4, "w": 1, "h": 1, "id": "c20" }, { "x": 1, "y": 4, "w": 1, "h": 1, "id": "c21" }, { "x": 2, "y": 4, "w": 1, "h": 1, "id": "c22", "direction": "dr" }, { "x": 3, "y": 4, "w": 2, "h": 1, "id": "c23" }, { "x": 5, "y": 4, "w": 1, "h": 2, "id": "c24" }, { "x": 0, "y": 5, "w": 1, "h": 1, "id": "c25" }, { "x": 1, "y": 5, "w": 1, "h": 1, "id": "c26" }, { "x": 2, "y": 5, "w": 1, "h": 1, "id": "c27" }, { "x": 3, "y": 5, "w": 1, "h": 1, "id": "c28" }, { "x": 4, "y": 5, "w": 1, "h": 1, "id": "c29" } ], "features": [ "big", "direction", "parity" ], "contentRevision": 1 }, "author": [ "c3", "c9", "c14", "c20", "c25", "c26", "c21", "c15", "c16", "c17", "c23", "c22", "c27", "c28", "c29", "c24", "c19", "c18", "c13", "c12", "c11", "c10", "c4", "c0", "c1", "c5", "c6", "c7", "c8", "c2" ], "witnesses": [ { "constraint": "parity:c17", "path": [ "c3", "c9", "c14", "c15", "c21", "c20", "c25", "c26", "c27", "c22", "c23", "c28", "c29", "c24", "c19", "c18", "c13", "c12", "c17", "c16", "c11", "c10", "c4", "c0", "c1", "c5", "c6", "c7", "c8", "c2" ] }, { "constraint": "direction:c22", "path": [ "c3", "c9", "c14", "c20", "c25", "c26", "c27", "c22", "c21", "c15", "c16", "c17", "c23", "c28", "c29", "c24", "c19", "c18", "c13", "c12", "c11", "c10", "c4", "c0", "c1", "c5", "c6", "c7", "c8", "c2" ] } ], "objective": { "version": "reasoner-v1", "score": 69, "nodeCount": 30, "decisions": 9, "forcedFraction": 0.7, "longestForcedRun": 9, "wrongBranches": 10, "nonlocalBranches": 6, "meanWrongDepth": 4.1, "maxWrongDepth": 8, "probeStates": 208, "depthLimit": 8, "stateLimit": 12000, "capped": false, "turns": 17, "branches": [ { "step": 2, "tempting": "c4", "correct": "c9", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 3 }, { "step": 3, "tempting": "c10", "correct": "c14", "survivesAtLeast": 8, "depthCapped": true, "probeStates": 22 }, { "step": 4, "tempting": "c15", "correct": "c20", "survivesAtLeast": 8, "depthCapped": true, "probeStates": 102 }, { "step": 7, "tempting": "c27", "correct": "c21", "survivesAtLeast": 8, "depthCapped": true, "probeStates": 15 }, { "step": 9, "tempting": "c10", "correct": "c16", "survivesAtLeast": 6, "depthCapped": false, "probeStates": 38 }, { "step": 10, "tempting": "c11", "correct": "c17", "survivesAtLeast": 3, "depthCapped": false, "probeStates": 6 }, { "step": 11, "tempting": "c12", "correct": "c23", "survivesAtLeast": 4, "depthCapped": false, "probeStates": 12 }, { "step": 11, "tempting": "c18", "correct": "c23", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 4 }, { "step": 20, "tempting": "c7", "correct": "c12", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 3 }, { "step": 21, "tempting": "c6", "correct": "c11", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 3 } ] }, "spatial": { "turnRate": 0.6071428571428571, "maxRun": 4, "qReversals": 4, "rReversals": 5 }, "source": "略难候选新制作", "attempts": 116 }, { "level": { "mode": "campaign-200-r2", "geometry": "blocks", "cells": [ { "x": 1, "y": 0, "w": 1, "h": 1, "id": "c0", "category": "triangle" }, { "x": 2, "y": 0, "w": 1, "h": 1, "id": "c1", "category": "circle" }, { "x": 3, "y": 0, "w": 1, "h": 1, "id": "c2", "category": "triangle" }, { "x": 4, "y": 0, "w": 1, "h": 1, "id": "c3", "category": "circle" }, { "x": 0, "y": 1, "w": 1, "h": 1, "id": "c4", "category": "triangle" }, { "x": 1, "y": 1, "w": 1, "h": 1, "id": "c5", "category": "circle" }, { "x": 3, "y": 1, "w": 1, "h": 2, "id": "c6", "category": "triangle" }, { "x": 4, "y": 1, "w": 2, "h": 2, "shape": [ [ 0, 0 ], [ 1, 0 ], [ 0, 1 ] ], "id": "c7", "category": "triangle" }, { "x": 0, "y": 2, "w": 1, "h": 1, "id": "c8", "category": "circle" }, { "x": 1, "y": 2, "w": 1, "h": 1, "id": "c9", "category": "triangle" }, { "x": 2, "y": 2, "w": 1, "h": 1, "id": "c10", "category": "circle" }, { "x": 5, "y": 2, "w": 1, "h": 1, "id": "c11", "clue": 1, "category": "circle" }, { "x": 0, "y": 3, "w": 1, "h": 1, "id": "c12", "category": "triangle" }, { "x": 1, "y": 3, "w": 1, "h": 1, "id": "c13", "category": "circle" }, { "x": 2, "y": 3, "w": 1, "h": 1, "id": "c14", "category": "triangle" }, { "x": 3, "y": 3, "w": 1, "h": 1, "id": "c15", "category": "circle" }, { "x": 4, "y": 3, "w": 1, "h": 1, "id": "c16", "category": "triangle", "clue": 22 }, { "x": 5, "y": 3, "w": 1, "h": 1, "id": "c17", "category": "circle" }, { "x": 0, "y": 4, "w": 1, "h": 1, "id": "c18", "category": "circle" }, { "x": 1, "y": 4, "w": 1, "h": 1, "id": "c19", "category": "triangle" }, { "x": 2, "y": 4, "w": 1, "h": 1, "id": "c20", "category": "circle" }, { "x": 3, "y": 4, "w": 1, "h": 1, "id": "c21", "category": "triangle" }, { "x": 4, "y": 4, "w": 1, "h": 1, "id": "c22", "category": "circle" }, { "x": 5, "y": 4, "w": 1, "h": 1, "id": "c23", "category": "triangle" } ], "features": [ "big", "alternation", "walls" ], "contentRevision": 1, "walls": [ [ "c16", "c22" ], [ "c13", "c14" ] ] }, "author": [ "c11", "c7", "c3", "c2", "c1", "c0", "c5", "c4", "c8", "c12", "c18", "c19", "c13", "c9", "c10", "c14", "c20", "c21", "c22", "c23", "c17", "c16", "c15", "c6" ], "witnesses": [ { "constraint": "alternation", "path": [ "c11", "c17", "c23", "c22", "c21", "c20", "c14", "c10", "c9", "c13", "c19", "c18", "c12", "c8", "c4", "c5", "c0", "c1", "c2", "c3", "c7", "c16", "c15", "c6" ] }, { "constraint": "wall:0", "path": [ "c11", "c7", "c3", "c2", "c1", "c0", "c5", "c4", "c8", "c9", "c13", "c12", "c18", "c19", "c20", "c14", "c10", "c6", "c15", "c21", "c22", "c16", "c17", "c23" ] }, { "constraint": "wall:1", "path": [ "c11", "c7", "c3", "c2", "c1", "c0", "c5", "c4", "c8", "c9", "c10", "c14", "c13", "c12", "c18", "c19", "c20", "c21", "c22", "c23", "c17", "c16", "c15", "c6" ] } ], "objective": { "version": "reasoner-v1", "score": 61, "nodeCount": 24, "decisions": 5, "forcedFraction": 0.7916666666666666, "longestForcedRun": 8, "wrongBranches": 5, "nonlocalBranches": 4, "meanWrongDepth": 4.6, "maxWrongDepth": 8, "probeStates": 67, "depthLimit": 8, "stateLimit": 12000, "capped": false, "turns": 13, "branches": [ { "step": 8, "tempting": "c9", "correct": "c4", "survivesAtLeast": 4, "depthCapped": false, "probeStates": 17 }, { "step": 10, "tempting": "c9", "correct": "c12", "survivesAtLeast": 8, "depthCapped": true, "probeStates": 24 }, { "step": 11, "tempting": "c13", "correct": "c18", "survivesAtLeast": 5, "depthCapped": false, "probeStates": 9 }, { "step": 13, "tempting": "c20", "correct": "c13", "survivesAtLeast": 4, "depthCapped": false, "probeStates": 13 }, { "step": 16, "tempting": "c6", "correct": "c14", "survivesAtLeast": 2, "depthCapped": false, "probeStates": 4 } ] }, "spatial": { "turnRate": 0.5909090909090909, "maxRun": 3, "qReversals": 2, "rReversals": 4 }, "source": "略难候选新制作", "attempts": 28 }, { "level": { "mode": "campaign-200-r2", "geometry": "blocks", "cells": [ { "x": 0, "y": 0, "w": 1, "h": 1, "id": "c0", "category": "triangle" }, { "x": 1, "y": 0, "w": 2, "h": 2, "shape": [ [ 0, 0 ], [ 0, 1 ], [ 1, 0 ] ], "id": "c1", "category": "triangle" }, { "x": 3, "y": 0, "w": 1, "h": 1, "id": "c2", "category": "circle" }, { "x": 4, "y": 0, "w": 1, "h": 1, "id": "c3", "category": "triangle" }, { "x": 5, "y": 0, "w": 1, "h": 1, "id": "c4", "category": "circle" }, { "x": 0, "y": 1, "w": 1, "h": 1, "id": "c5", "category": "circle" }, { "x": 2, "y": 1, "w": 1, "h": 1, "id": "c6", "category": "circle", "direction": "dr" }, { "x": 3, "y": 1, "w": 1, "h": 1, "id": "c7", "category": "triangle" }, { "x": 4, "y": 1, "w": 1, "h": 1, "id": "c8", "category": "circle" }, { "x": 5, "y": 1, "w": 1, "h": 1, "id": "c9", "category": "triangle" }, { "x": 0, "y": 2, "w": 1, "h": 1, "id": "c10", "category": "triangle" }, { "x": 1, "y": 2, "w": 1, "h": 1, "id": "c11", "category": "circle" }, { "x": 2, "y": 2, "w": 1, "h": 1, "id": "c12", "category": "triangle" }, { "x": 3, "y": 2, "w": 1, "h": 1, "id": "c13", "category": "circle" }, { "x": 4, "y": 2, "w": 1, "h": 1, "id": "c14", "category": "triangle" }, { "x": 5, "y": 2, "w": 1, "h": 1, "id": "c15", "clue": 1, "category": "circle" }, { "x": 0, "y": 3, "w": 1, "h": 1, "id": "c16", "category": "circle" }, { "x": 1, "y": 3, "w": 1, "h": 2, "id": "c17", "category": "triangle" }, { "x": 2, "y": 3, "w": 1, "h": 1, "id": "c18", "category": "circle" }, { "x": 3, "y": 3, "w": 1, "h": 1, "id": "c19", "category": "triangle", "direction": "du" }, { "x": 4, "y": 3, "w": 1, "h": 1, "id": "c20", "category": "circle" }, { "x": 5, "y": 3, "w": 1, "h": 1, "id": "c21", "category": "triangle" }, { "x": 2, "y": 4, "w": 1, "h": 1, "id": "c22", "category": "triangle", "clue": 18 }, { "x": 3, "y": 4, "w": 1, "h": 1, "id": "c23", "category": "circle" }, { "x": 4, "y": 4, "w": 1, "h": 1, "id": "c24", "category": "triangle" }, { "x": 5, "y": 4, "w": 1, "h": 1, "id": "c25", "category": "circle" } ], "features": [ "big", "direction", "alternation" ], "contentRevision": 1 }, "author": [ "c15", "c21", "c25", "c24", "c20", "c14", "c8", "c9", "c4", "c3", "c2", "c7", "c6", "c12", "c13", "c19", "c23", "c22", "c18", "c17", "c16", "c10", "c11", "c1", "c5", "c0" ], "witnesses": [ { "constraint": "direction:c6", "path": [ "c15", "c21", "c25", "c24", "c20", "c14", "c8", "c9", "c4", "c3", "c2", "c1", "c6", "c7", "c13", "c19", "c23", "c22", "c18", "c12", "c11", "c17", "c16", "c10", "c5", "c0" ] }, { "constraint": "direction:c19", "path": [ "c15", "c14", "c8", "c9", "c4", "c3", "c2", "c7", "c6", "c12", "c13", "c19", "c20", "c21", "c25", "c24", "c23", "c22", "c18", "c17", "c16", "c10", "c11", "c1", "c5", "c0" ] }, { "constraint": "alternation", "path": [ "c15", "c21", "c25", "c24", "c20", "c14", "c8", "c9", "c4", "c3", "c2", "c7", "c6", "c12", "c13", "c19", "c23", "c22", "c18", "c17", "c16", "c10", "c11", "c1", "c0", "c5" ] } ], "objective": { "version": "reasoner-v1", "score": 65, "nodeCount": 26, "decisions": 5, "forcedFraction": 0.8076923076923077, "longestForcedRun": 13, "wrongBranches": 6, "nonlocalBranches": 4, "meanWrongDepth": 5, "maxWrongDepth": 8, "probeStates": 104, "depthLimit": 8, "stateLimit": 12000, "capped": false, "turns": 18, "branches": [ { "step": 2, "tempting": "c9", "correct": "c21", "survivesAtLeast": 8, "depthCapped": true, "probeStates": 15 }, { "step": 2, "tempting": "c14", "correct": "c21", "survivesAtLeast": 8, "depthCapped": true, "probeStates": 14 }, { "step": 5, "tempting": "c23", "correct": "c20", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 2 }, { "step": 7, "tempting": "c13", "correct": "c8", "survivesAtLeast": 8, "depthCapped": false, "probeStates": 51 }, { "step": 12, "tempting": "c1", "correct": "c7", "survivesAtLeast": 3, "depthCapped": false, "probeStates": 15 }, { "step": 13, "tempting": "c13", "correct": "c6", "survivesAtLeast": 2, "depthCapped": false, "probeStates": 7 } ] }, "spatial": { "turnRate": 0.75, "maxRun": 3, "qReversals": 6, "rReversals": 5 }, "source": "略难候选新制作", "attempts": 37 }, { "level": { "mode": "campaign-200-r2", "geometry": "hex", "cells": [ { "id": "c0", "q": 0, "r": 0, "category": "triangle" }, { "id": "c1", "q": 0, "r": 1, "category": "circle" }, { "id": "c2", "q": 0, "r": 2, "category": "triangle" }, { "id": "c3", "q": 0, "r": 3, "category": "circle" }, { "id": "c4", "q": 0, "r": 4, "clue": 1, "category": "circle" }, { "id": "c5", "q": 0, "r": 5, "category": "triangle" }, { "id": "c6", "q": 1, "r": 0, "category": "circle", "clue": 9 }, { "id": "c7", "q": 1, "r": 1, "category": "circle" }, { "id": "c8", "q": 1, "r": 2, "category": "triangle" }, { "id": "c9", "q": 1, "r": 3, "category": "triangle" }, { "id": "c10", "q": 1, "r": 4, "category": "circle" }, { "id": "c11", "q": 2, "r": 0, "category": "triangle" }, { "id": "c12", "q": 2, "r": 1, "category": "circle" }, { "id": "c13", "q": 2, "r": 2, "category": "circle" }, { "id": "c14", "q": 2, "r": 3, "category": "triangle" }, { "id": "c15", "q": 2, "r": 4, "category": "circle" }, { "id": "c16", "q": 2, "r": 5, "category": "triangle" }, { "id": "c17", "q": 3, "r": 0, "category": "triangle" }, { "id": "c18", "q": 3, "r": 1, "category": "triangle" }, { "id": "c19", "q": 3, "r": 2, "category": "triangle" }, { "id": "c20", "q": 3, "r": 3, "category": "circle" }, { "id": "c21", "q": 3, "r": 4, "category": "circle" }, { "id": "c22", "q": 3, "r": 5, "category": "triangle", "clue": 26 }, { "id": "c23", "q": 4, "r": 0, "category": "circle" }, { "id": "c24", "q": 4, "r": 1, "category": "circle" }, { "id": "c25", "q": 4, "r": 2, "category": "triangle" }, { "id": "c26", "q": 4, "r": 4, "category": "triangle" }, { "id": "c27", "q": 4, "r": 5, "category": "circle" } ], "features": [ "alternation", "walls" ], "contentRevision": 1, "walls": [ [ "c19", "c24" ] ] }, "author": [ "c4", "c5", "c10", "c9", "c3", "c2", "c1", "c0", "c6", "c11", "c7", "c8", "c12", "c17", "c23", "c18", "c24", "c25", "c20", "c19", "c13", "c14", "c15", "c16", "c21", "c22", "c27", "c26" ], "witnesses": [ { "constraint": "alternation", "path": [ "c4", "c5", "c10", "c9", "c3", "c2", "c1", "c0", "c6", "c7", "c8", "c12", "c11", "c17", "c23", "c24", "c18", "c13", "c14", "c19", "c25", "c20", "c15", "c16", "c21", "c22", "c26", "c27" ] }, { "constraint": "wall:0", "path": [ "c4", "c5", "c10", "c9", "c3", "c2", "c1", "c0", "c6", "c11", "c7", "c8", "c12", "c17", "c23", "c18", "c13", "c19", "c24", "c25", "c20", "c14", "c15", "c16", "c21", "c22", "c27", "c26" ] } ], "objective": { "version": "reasoner-v1", "score": 60, "nodeCount": 28, "decisions": 10, "forcedFraction": 0.6428571428571429, "longestForcedRun": 8, "wrongBranches": 10, "nonlocalBranches": 5, "meanWrongDepth": 3.2, "maxWrongDepth": 8, "probeStates": 79, "depthLimit": 8, "stateLimit": 12000, "capped": false, "turns": 20, "branches": [ { "step": 2, "tempting": "c9", "correct": "c5", "survivesAtLeast": 8, "depthCapped": true, "probeStates": 13 }, { "step": 4, "tempting": "c14", "correct": "c9", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 4 }, { "step": 5, "tempting": "c13", "correct": "c3", "survivesAtLeast": 2, "depthCapped": false, "probeStates": 11 }, { "step": 6, "tempting": "c8", "correct": "c2", "survivesAtLeast": 3, "depthCapped": false, "probeStates": 10 }, { "step": 7, "tempting": "c7", "correct": "c1", "survivesAtLeast": 2, "depthCapped": false, "probeStates": 4 }, { "step": 11, "tempting": "c12", "correct": "c7", "survivesAtLeast": 8, "depthCapped": true, "probeStates": 12 }, { "step": 13, "tempting": "c13", "correct": "c12", "survivesAtLeast": 3, "depthCapped": false, "probeStates": 12 }, { "step": 14, "tempting": "c18", "correct": "c17", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 4 }, { "step": 17, "tempting": "c13", "correct": "c24", "survivesAtLeast": 3, "depthCapped": false, "probeStates": 6 }, { "step": 20, "tempting": "c14", "correct": "c19", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 3 } ] }, "spatial": { "turnRate": 0.7692307692307693, "maxRun": 3, "qReversals": 8, "rReversals": 9 }, "source": "略难候选新制作", "attempts": 13 }, { "level": { "mode": "campaign-200-r2", "geometry": "hex", "cells": [ { "id": "c0", "q": 0, "r": 0 }, { "id": "c1", "q": 0, "r": 1 }, { "id": "c2", "q": 0, "r": 2 }, { "id": "c3", "q": 0, "r": 3 }, { "id": "c4", "q": 0, "r": 4 }, { "id": "c5", "q": 0, "r": 5 }, { "id": "c6", "q": 1, "r": 0 }, { "id": "c7", "q": 1, "r": 1, "clue": 27 }, { "id": "c8", "q": 1, "r": 2, "clue": 1 }, { "id": "c9", "q": 1, "r": 3 }, { "id": "c10", "q": 1, "r": 4, "clue": 12 }, { "id": "c11", "q": 1, "r": 5, "clue": 22 }, { "id": "c12", "q": 2, "r": 0 }, { "id": "c13", "q": 2, "r": 1 }, { "id": "c14", "q": 2, "r": 2, "clue": 9 }, { "id": "c15", "q": 2, "r": 3, "clue": 11 }, { "id": "c16", "q": 2, "r": 4 }, { "id": "c17", "q": 2, "r": 5 }, { "id": "c18", "q": 3, "r": 0 }, { "id": "c19", "q": 3, "r": 1 }, { "id": "c20", "q": 3, "r": 2 }, { "id": "c21", "q": 3, "r": 3 }, { "id": "c22", "q": 3, "r": 4, "parity": "odd" }, { "id": "c23", "q": 3, "r": 5 }, { "id": "c24", "q": 4, "r": 0 }, { "id": "c25", "q": 4, "r": 1 }, { "id": "c26", "q": 4, "r": 2 }, { "id": "c27", "q": 4, "r": 3 }, { "id": "c28", "q": 4, "r": 4 }, { "id": "c29", "q": 4, "r": 5 } ], "features": [ "parity", "walls" ], "contentRevision": 1, "walls": [ [ "c0", "c1" ], [ "c20", "c25" ] ] }, "author": [ "c8", "c13", "c12", "c18", "c24", "c25", "c19", "c20", "c14", "c9", "c15", "c10", "c16", "c21", "c26", "c27", "c22", "c28", "c29", "c23", "c17", "c11", "c5", "c4", "c3", "c2", "c7", "c1", "c6", "c0" ], "witnesses": [ { "constraint": "parity:c22", "path": [ "c8", "c13", "c12", "c18", "c24", "c25", "c19", "c20", "c14", "c9", "c15", "c10", "c16", "c21", "c26", "c27", "c28", "c29", "c23", "c22", "c17", "c11", "c5", "c4", "c3", "c2", "c7", "c1", "c6", "c0" ] }, { "constraint": "wall:0", "path": [ "c8", "c13", "c12", "c18", "c24", "c25", "c19", "c20", "c14", "c9", "c15", "c10", "c16", "c21", "c26", "c27", "c22", "c28", "c29", "c23", "c17", "c11", "c5", "c4", "c3", "c2", "c7", "c1", "c0", "c6" ] }, { "constraint": "wall:1", "path": [ "c8", "c13", "c12", "c18", "c24", "c19", "c25", "c20", "c14", "c9", "c15", "c10", "c16", "c21", "c26", "c27", "c22", "c28", "c29", "c23", "c17", "c11", "c5", "c4", "c3", "c2", "c7", "c1", "c6", "c0" ] } ], "objective": { "version": "reasoner-v1", "score": 59, "nodeCount": 30, "decisions": 10, "forcedFraction": 0.6666666666666666, "longestForcedRun": 12, "wrongBranches": 15, "nonlocalBranches": 6, "meanWrongDepth": 2.8, "maxWrongDepth": 8, "probeStates": 95, "depthLimit": 8, "stateLimit": 12000, "capped": false, "turns": 21, "branches": [ { "step": 2, "tempting": "c2", "correct": "c13", "survivesAtLeast": 4, "depthCapped": false, "probeStates": 12 }, { "step": 2, "tempting": "c3", "correct": "c13", "survivesAtLeast": 4, "depthCapped": false, "probeStates": 12 }, { "step": 2, "tempting": "c9", "correct": "c13", "survivesAtLeast": 5, "depthCapped": false, "probeStates": 15 }, { "step": 3, "tempting": "c18", "correct": "c12", "survivesAtLeast": 8, "depthCapped": true, "probeStates": 12 }, { "step": 3, "tempting": "c19", "correct": "c12", "survivesAtLeast": 8, "depthCapped": true, "probeStates": 10 }, { "step": 4, "tempting": "c6", "correct": "c18", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 3 }, { "step": 5, "tempting": "c19", "correct": "c24", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 4 }, { "step": 6, "tempting": "c19", "correct": "c25", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 3 }, { "step": 7, "tempting": "c26", "correct": "c19", "survivesAtLeast": 2, "depthCapped": false, "probeStates": 5 }, { "step": 13, "tempting": "c4", "correct": "c16", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 3 }, { "step": 13, "tempting": "c5", "correct": "c16", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 2 }, { "step": 14, "tempting": "c17", "correct": "c21", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 3 }, { "step": 17, "tempting": "c28", "correct": "c22", "survivesAtLeast": 3, "depthCapped": false, "probeStates": 5 }, { "step": 18, "tempting": "c17", "correct": "c28", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 2 }, { "step": 18, "tempting": "c23", "correct": "c28", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 4 } ] }, "spatial": { "turnRate": 0.75, "maxRun": 4, "qReversals": 11, "rReversals": 4 }, "source": "略难候选新制作", "attempts": 70 }, { "level": { "mode": "campaign-200-r2", "geometry": "hex", "cells": [ { "id": "c0", "q": 0, "r": 0, "category": "circle" }, { "id": "c1", "q": 0, "r": 1, "category": "triangle" }, { "id": "c2", "q": 0, "r": 2, "category": "circle" }, { "id": "c3", "q": 0, "r": 3, "category": "circle" }, { "id": "c4", "q": 0, "r": 4, "category": "triangle" }, { "id": "c5", "q": 0, "r": 5, "category": "circle" }, { "id": "c6", "q": 1, "r": 0, "category": "triangle" }, { "id": "c7", "q": 1, "r": 1, "category": "circle" }, { "id": "c8", "q": 1, "r": 2, "category": "triangle" }, { "id": "c9", "q": 1, "r": 3, "category": "triangle" }, { "id": "c10", "q": 1, "r": 4, "category": "triangle" }, { "id": "c11", "q": 1, "r": 5, "category": "triangle" }, { "id": "c12", "q": 2, "r": 0, "clue": 1, "category": "circle" }, { "id": "c13", "q": 2, "r": 1, "category": "triangle" }, { "id": "c14", "q": 2, "r": 2, "category": "circle" }, { "id": "c15", "q": 2, "r": 3, "category": "circle" }, { "id": "c16", "q": 2, "r": 4, "category": "triangle" }, { "id": "c17", "q": 2, "r": 5, "category": "circle" }, { "id": "c18", "q": 3, "r": 0, "category": "triangle" }, { "id": "c19", "q": 3, "r": 1, "category": "circle" }, { "id": "c20", "q": 3, "r": 2, "category": "triangle" }, { "id": "c21", "q": 3, "r": 3, "category": "circle" }, { "id": "c22", "q": 3, "r": 4, "category": "circle" }, { "id": "c23", "q": 3, "r": 5, "category": "triangle" } ], "features": [ "alternation", "walls", "rhythm-door" ], "contentRevision": 1, "doors": [ { "edge": [ "c22", "c16" ], "initialOpen": false } ], "walls": [ [ "c3", "c9" ] ] }, "author": [ "c12", "c18", "c19", "c13", "c7", "c6", "c0", "c1", "c2", "c8", "c3", "c4", "c5", "c11", "c17", "c23", "c22", "c16", "c21", "c20", "c14", "c9", "c15", "c10" ], "witnesses": [ { "constraint": "alternation", "path": [ "c12", "c18", "c19", "c13", "c7", "c6", "c0", "c1", "c2", "c3", "c8", "c14", "c20", "c21", "c15", "c9", "c4", "c5", "c10", "c11", "c16", "c17", "c22", "c23" ] }, { "constraint": "wall:0", "path": [ "c12", "c18", "c19", "c13", "c7", "c6", "c0", "c1", "c2", "c8", "c14", "c9", "c3", "c4", "c5", "c11", "c17", "c23", "c22", "c16", "c21", "c20", "c15", "c10" ] }, { "constraint": "door:0", "path": [ "c12", "c18", "c19", "c13", "c7", "c6", "c0", "c1", "c2", "c8", "c3", "c4", "c5", "c10", "c15", "c9", "c14", "c20", "c21", "c16", "c22", "c23", "c17", "c11" ] } ], "objective": { "version": "reasoner-v1", "score": 64, "nodeCount": 24, "decisions": 6, "forcedFraction": 0.75, "longestForcedRun": 10, "wrongBranches": 8, "nonlocalBranches": 6, "meanWrongDepth": 4.38, "maxWrongDepth": 8, "probeStates": 83, "depthLimit": 8, "stateLimit": 12000, "capped": false, "turns": 17, "branches": [ { "step": 2, "tempting": "c6", "correct": "c18", "survivesAtLeast": 5, "depthCapped": false, "probeStates": 10 }, { "step": 2, "tempting": "c13", "correct": "c18", "survivesAtLeast": 8, "depthCapped": true, "probeStates": 10 }, { "step": 4, "tempting": "c20", "correct": "c13", "survivesAtLeast": 4, "depthCapped": false, "probeStates": 17 }, { "step": 5, "tempting": "c14", "correct": "c7", "survivesAtLeast": 6, "depthCapped": false, "probeStates": 22 }, { "step": 6, "tempting": "c1", "correct": "c6", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 3 }, { "step": 6, "tempting": "c8", "correct": "c6", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 4 }, { "step": 11, "tempting": "c14", "correct": "c3", "survivesAtLeast": 3, "depthCapped": false, "probeStates": 7 }, { "step": 14, "tempting": "c10", "correct": "c11", "survivesAtLeast": 7, "depthCapped": false, "probeStates": 10 } ] }, "spatial": { "turnRate": 0.7727272727272727, "maxRun": 3, "qReversals": 9, "rReversals": 4 }, "source": "略难候选新制作", "attempts": 47 }, { "level": { "mode": "campaign-200-r2", "geometry": "square", "cells": [ { "x": 0, "y": 0, "w": 1, "h": 1, "id": "c0", "clue": 1 }, { "x": 2, "y": 0, "w": 1, "h": 1, "id": "c1" }, { "x": 3, "y": 0, "w": 1, "h": 1, "id": "c2" }, { "x": 4, "y": 0, "w": 1, "h": 1, "id": "c3" }, { "x": 0, "y": 1, "w": 1, "h": 1, "id": "c4", "direction": "ru" }, { "x": 1, "y": 1, "w": 1, "h": 1, "id": "c5" }, { "x": 2, "y": 1, "w": 1, "h": 1, "id": "c6" }, { "x": 4, "y": 1, "w": 1, "h": 1, "id": "c7" }, { "x": 5, "y": 1, "w": 1, "h": 1, "id": "c8" }, { "x": 0, "y": 2, "w": 1, "h": 1, "id": "c9" }, { "x": 1, "y": 2, "w": 1, "h": 1, "id": "c10" }, { "x": 2, "y": 2, "w": 1, "h": 1, "id": "c11" }, { "x": 3, "y": 2, "w": 1, "h": 1, "id": "c12", "direction": "lr" }, { "x": 4, "y": 2, "w": 1, "h": 1, "id": "c13" }, { "x": 5, "y": 2, "w": 1, "h": 1, "id": "c14" }, { "x": 0, "y": 3, "w": 1, "h": 1, "id": "c15" }, { "x": 1, "y": 3, "w": 1, "h": 1, "id": "c16" }, { "x": 2, "y": 3, "w": 1, "h": 1, "id": "c17" }, { "x": 3, "y": 3, "w": 1, "h": 1, "id": "c18" }, { "x": 4, "y": 3, "w": 1, "h": 1, "id": "c19" }, { "x": 5, "y": 3, "w": 1, "h": 1, "id": "c20" }, { "x": 0, "y": 4, "w": 1, "h": 1, "id": "c21" }, { "x": 1, "y": 4, "w": 1, "h": 1, "id": "c22" }, { "x": 3, "y": 4, "w": 1, "h": 1, "id": "c23" }, { "x": 4, "y": 4, "w": 1, "h": 1, "id": "c24" }, { "x": 5, "y": 4, "w": 1, "h": 1, "id": "c25", "clue": 24 } ], "features": [ "direction", "rhythm-door" ], "contentRevision": 1, "doors": [ { "edge": [ "c24", "c25" ], "initialOpen": false } ] }, "author": [ "c0", "c4", "c5", "c6", "c1", "c2", "c3", "c7", "c8", "c14", "c13", "c12", "c11", "c10", "c9", "c15", "c21", "c22", "c16", "c17", "c18", "c23", "c24", "c25", "c20", "c19" ], "witnesses": [ { "constraint": "direction:c4", "path": [ "c0", "c4", "c9", "c15", "c21", "c22", "c16", "c10", "c5", "c6", "c1", "c2", "c3", "c7", "c8", "c14", "c13", "c12", "c11", "c17", "c18", "c23", "c24", "c25", "c20", "c19" ] }, { "constraint": "direction:c12", "path": [ "c0", "c4", "c5", "c10", "c9", "c15", "c21", "c22", "c16", "c17", "c11", "c6", "c1", "c2", "c3", "c7", "c8", "c14", "c13", "c12", "c18", "c23", "c24", "c25", "c20", "c19" ] }, { "constraint": "door:0", "path": [ "c0", "c4", "c5", "c6", "c1", "c2", "c3", "c7", "c8", "c14", "c13", "c12", "c11", "c10", "c9", "c15", "c21", "c22", "c16", "c17", "c18", "c19", "c20", "c25", "c24", "c23" ] } ], "objective": { "version": "reasoner-v1", "score": 64, "nodeCount": 26, "decisions": 9, "forcedFraction": 0.6538461538461539, "longestForcedRun": 4, "wrongBranches": 9, "nonlocalBranches": 4, "meanWrongDepth": 4.33, "maxWrongDepth": 8, "probeStates": 69, "depthLimit": 8, "stateLimit": 12000, "capped": false, "turns": 15, "branches": [ { "step": 4, "tempting": "c10", "correct": "c6", "survivesAtLeast": 8, "depthCapped": true, "probeStates": 12 }, { "step": 5, "tempting": "c11", "correct": "c1", "survivesAtLeast": 8, "depthCapped": true, "probeStates": 10 }, { "step": 9, "tempting": "c13", "correct": "c8", "survivesAtLeast": 8, "depthCapped": true, "probeStates": 10 }, { "step": 11, "tempting": "c20", "correct": "c13", "survivesAtLeast": 8, "depthCapped": false, "probeStates": 16 }, { "step": 12, "tempting": "c19", "correct": "c12", "survivesAtLeast": 2, "depthCapped": false, "probeStates": 7 }, { "step": 14, "tempting": "c17", "correct": "c10", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 3 }, { "step": 15, "tempting": "c16", "correct": "c9", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 4 }, { "step": 17, "tempting": "c16", "correct": "c21", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 3 }, { "step": 22, "tempting": "c19", "correct": "c23", "survivesAtLeast": 2, "depthCapped": false, "probeStates": 4 } ] }, "spatial": { "turnRate": 0.625, "maxRun": 5, "qReversals": 3, "rReversals": 5 }, "source": "略难候选新制作", "attempts": 16 }, { "level": { "mode": "campaign-200-r2", "geometry": "square", "cells": [ { "x": 0, "y": 0, "w": 1, "h": 1, "id": "c0" }, { "x": 1, "y": 0, "w": 1, "h": 1, "id": "c1" }, { "x": 2, "y": 0, "w": 1, "h": 1, "id": "c2" }, { "x": 3, "y": 0, "w": 1, "h": 1, "id": "c3" }, { "x": 4, "y": 0, "w": 1, "h": 1, "id": "c4" }, { "x": 0, "y": 1, "w": 1, "h": 1, "id": "c5" }, { "x": 1, "y": 1, "w": 1, "h": 1, "id": "c6" }, { "x": 2, "y": 1, "w": 1, "h": 1, "id": "c7", "clue": 1 }, { "x": 3, "y": 1, "w": 1, "h": 1, "id": "c8", "direction": "du" }, { "x": 4, "y": 1, "w": 1, "h": 1, "id": "c9" }, { "x": 0, "y": 2, "w": 1, "h": 1, "id": "c10" }, { "x": 1, "y": 2, "w": 1, "h": 1, "id": "c11" }, { "x": 2, "y": 2, "w": 1, "h": 1, "id": "c12" }, { "x": 3, "y": 2, "w": 1, "h": 1, "id": "c13" }, { "x": 4, "y": 2, "w": 1, "h": 1, "id": "c14" }, { "x": 5, "y": 2, "w": 1, "h": 1, "id": "c15" }, { "x": 0, "y": 3, "w": 1, "h": 1, "id": "c16" }, { "x": 1, "y": 3, "w": 1, "h": 1, "id": "c17", "direction": "dr" }, { "x": 2, "y": 3, "w": 1, "h": 1, "id": "c18" }, { "x": 3, "y": 3, "w": 1, "h": 1, "id": "c19" }, { "x": 4, "y": 3, "w": 1, "h": 1, "id": "c20" }, { "x": 5, "y": 3, "w": 1, "h": 1, "id": "c21" }, { "x": 0, "y": 4, "w": 1, "h": 1, "id": "c22" }, { "x": 1, "y": 4, "w": 1, "h": 1, "id": "c23" }, { "x": 2, "y": 4, "w": 1, "h": 1, "id": "c24" }, { "x": 3, "y": 4, "w": 1, "h": 1, "id": "c25" }, { "x": 4, "y": 4, "w": 1, "h": 1, "id": "c26" }, { "x": 5, "y": 4, "w": 1, "h": 1, "id": "c27" } ], "features": [ "direction", "walls" ], "contentRevision": 1, "walls": [ [ "c0", "c1" ] ] }, "author": [ "c7", "c2", "c1", "c6", "c11", "c12", "c13", "c8", "c3", "c4", "c9", "c14", "c15", "c21", "c27", "c26", "c20", "c19", "c25", "c24", "c18", "c17", "c23", "c22", "c16", "c10", "c5", "c0" ], "witnesses": [ { "constraint": "direction:c8", "path": [ "c7", "c8", "c9", "c4", "c3", "c2", "c1", "c6", "c11", "c12", "c13", "c14", "c15", "c21", "c27", "c26", "c20", "c19", "c25", "c24", "c18", "c17", "c23", "c22", "c16", "c10", "c5", "c0" ] }, { "constraint": "direction:c17", "path": [ "c7", "c2", "c1", "c6", "c11", "c17", "c18", "c12", "c13", "c8", "c3", "c4", "c9", "c14", "c15", "c21", "c27", "c26", "c20", "c19", "c25", "c24", "c23", "c22", "c16", "c10", "c5", "c0" ] }, { "constraint": "wall:0", "path": [ "c7", "c2", "c1", "c0", "c5", "c6", "c11", "c10", "c16", "c22", "c23", "c17", "c18", "c12", "c13", "c8", "c3", "c4", "c9", "c14", "c15", "c21", "c27", "c26", "c20", "c19", "c25", "c24" ] } ], "objective": { "version": "reasoner-v1", "score": 59, "nodeCount": 28, "decisions": 5, "forcedFraction": 0.8214285714285714, "longestForcedRun": 20, "wrongBranches": 7, "nonlocalBranches": 4, "meanWrongDepth": 4.14, "maxWrongDepth": 8, "probeStates": 77, "depthLimit": 8, "stateLimit": 12000, "capped": false, "turns": 18, "branches": [ { "step": 2, "tempting": "c6", "correct": "c2", "survivesAtLeast": 6, "depthCapped": false, "probeStates": 10 }, { "step": 2, "tempting": "c12", "correct": "c2", "survivesAtLeast": 8, "depthCapped": true, "probeStates": 22 }, { "step": 5, "tempting": "c5", "correct": "c11", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 3 }, { "step": 6, "tempting": "c10", "correct": "c12", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 3 }, { "step": 7, "tempting": "c18", "correct": "c13", "survivesAtLeast": 8, "depthCapped": true, "probeStates": 13 }, { "step": 8, "tempting": "c14", "correct": "c8", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 4 }, { "step": 8, "tempting": "c19", "correct": "c8", "survivesAtLeast": 4, "depthCapped": false, "probeStates": 22 } ] }, "spatial": { "turnRate": 0.6923076923076923, "maxRun": 4, "qReversals": 2, "rReversals": 8 }, "source": "略难候选新制作", "attempts": 14 }, { "level": { "mode": "campaign-200-r2", "geometry": "blocks", "cells": [ { "x": 0, "y": 0, "w": 1, "h": 1, "id": "c0" }, { "x": 1, "y": 0, "w": 1, "h": 1, "id": "c1" }, { "x": 2, "y": 0, "w": 1, "h": 1, "id": "c2" }, { "x": 3, "y": 0, "w": 2, "h": 2, "shape": [ [ 0, 0 ], [ 0, 1 ], [ 1, 0 ] ], "id": "c3" }, { "x": 1, "y": 1, "w": 1, "h": 1, "id": "c4" }, { "x": 2, "y": 1, "w": 1, "h": 1, "id": "c5" }, { "x": 5, "y": 1, "w": 1, "h": 1, "id": "c6", "clue": 1 }, { "x": 0, "y": 2, "w": 1, "h": 1, "id": "c7" }, { "x": 1, "y": 2, "w": 1, "h": 1, "id": "c8" }, { "x": 2, "y": 2, "w": 1, "h": 1, "id": "c9" }, { "x": 3, "y": 2, "w": 1, "h": 1, "id": "c10" }, { "x": 4, "y": 2, "w": 1, "h": 1, "id": "c11" }, { "x": 5, "y": 2, "w": 1, "h": 1, "id": "c12" }, { "x": 0, "y": 3, "w": 1, "h": 1, "id": "c13" }, { "x": 1, "y": 3, "w": 1, "h": 1, "id": "c14" }, { "x": 2, "y": 3, "w": 1, "h": 1, "id": "c15" }, { "x": 3, "y": 3, "w": 1, "h": 1, "id": "c16" }, { "x": 4, "y": 3, "w": 1, "h": 1, "id": "c17" }, { "x": 5, "y": 3, "w": 1, "h": 1, "id": "c18" }, { "x": 0, "y": 4, "w": 1, "h": 1, "id": "c19" }, { "x": 1, "y": 4, "w": 1, "h": 1, "id": "c20" }, { "x": 2, "y": 4, "w": 1, "h": 1, "id": "c21" }, { "x": 3, "y": 4, "w": 1, "h": 1, "id": "c22" }, { "x": 4, "y": 4, "w": 1, "h": 1, "id": "c23" }, { "x": 5, "y": 4, "w": 1, "h": 2, "id": "c24", "parity": "odd" }, { "x": 0, "y": 5, "w": 1, "h": 1, "id": "c25" }, { "x": 1, "y": 5, "w": 1, "h": 1, "id": "c26" }, { "x": 2, "y": 5, "w": 1, "h": 1, "id": "c27" }, { "x": 3, "y": 5, "w": 1, "h": 1, "id": "c28" }, { "x": 4, "y": 5, "w": 1, "h": 1, "id": "c29" } ], "features": [ "big", "parity", "walls" ], "contentRevision": 1, "walls": [ [ "c27", "c28" ] ] }, "author": [ "c6", "c12", "c11", "c10", "c3", "c2", "c5", "c9", "c15", "c16", "c17", "c18", "c24", "c23", "c29", "c28", "c22", "c21", "c27", "c26", "c25", "c19", "c20", "c14", "c13", "c7", "c8", "c4", "c1", "c0" ], "witnesses": [ { "constraint": "parity:c24", "path": [ "c6", "c12", "c11", "c10", "c9", "c15", "c16", "c17", "c18", "c24", "c23", "c29", "c28", "c22", "c21", "c27", "c26", "c25", "c19", "c20", "c14", "c13", "c7", "c8", "c4", "c5", "c3", "c2", "c1", "c0" ] }, { "constraint": "wall:0", "path": [ "c6", "c12", "c11", "c10", "c3", "c2", "c5", "c9", "c15", "c14", "c20", "c21", "c22", "c16", "c17", "c18", "c24", "c23", "c29", "c28", "c27", "c26", "c25", "c19", "c13", "c7", "c8", "c4", "c1", "c0" ] } ], "objective": { "version": "reasoner-v1", "score": 60, "nodeCount": 30, "decisions": 10, "forcedFraction": 0.6666666666666666, "longestForcedRun": 16, "wrongBranches": 12, "nonlocalBranches": 5, "meanWrongDepth": 2.75, "maxWrongDepth": 8, "probeStates": 151, "depthLimit": 8, "stateLimit": 12000, "capped": false, "turns": 21, "branches": [ { "step": 3, "tempting": "c18", "correct": "c11", "survivesAtLeast": 8, "depthCapped": true, "probeStates": 15 }, { "step": 4, "tempting": "c17", "correct": "c10", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 4 }, { "step": 5, "tempting": "c9", "correct": "c3", "survivesAtLeast": 5, "depthCapped": false, "probeStates": 43 }, { "step": 5, "tempting": "c16", "correct": "c3", "survivesAtLeast": 7, "depthCapped": false, "probeStates": 44 }, { "step": 6, "tempting": "c5", "correct": "c2", "survivesAtLeast": 3, "depthCapped": false, "probeStates": 7 }, { "step": 7, "tempting": "c1", "correct": "c5", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 3 }, { "step": 8, "tempting": "c4", "correct": "c9", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 3 }, { "step": 9, "tempting": "c8", "correct": "c15", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 4 }, { "step": 10, "tempting": "c14", "correct": "c16", "survivesAtLeast": 3, "depthCapped": false, "probeStates": 17 }, { "step": 10, "tempting": "c21", "correct": "c16", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 4 }, { "step": 11, "tempting": "c22", "correct": "c17", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 4 }, { "step": 14, "tempting": "c29", "correct": "c23", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 3 } ] }, "spatial": { "turnRate": 0.75, "maxRun": 3, "qReversals": 6, "rReversals": 5 }, "source": "略难候选新制作", "attempts": 250 }, { "level": { "mode": "campaign-200-r2", "geometry": "blocks", "cells": [ { "x": 0, "y": 0, "w": 1, "h": 1, "id": "c0" }, { "x": 1, "y": 0, "w": 1, "h": 1, "id": "c1" }, { "x": 2, "y": 0, "w": 1, "h": 1, "id": "c2" }, { "x": 3, "y": 0, "w": 1, "h": 1, "id": "c3" }, { "x": 4, "y": 0, "w": 1, "h": 1, "id": "c4" }, { "x": 0, "y": 1, "w": 1, "h": 1, "id": "c5" }, { "x": 1, "y": 1, "w": 2, "h": 1, "id": "c6" }, { "x": 3, "y": 1, "w": 1, "h": 1, "id": "c7", "parity": "even" }, { "x": 4, "y": 1, "w": 1, "h": 1, "id": "c8", "direction": "lu" }, { "x": 0, "y": 2, "w": 1, "h": 1, "id": "c9", "clue": 1 }, { "x": 1, "y": 2, "w": 1, "h": 1, "id": "c10", "clue": 19 }, { "x": 2, "y": 2, "w": 1, "h": 1, "id": "c11" }, { "x": 3, "y": 2, "w": 1, "h": 1, "id": "c12" }, { "x": 4, "y": 2, "w": 1, "h": 1, "id": "c13" }, { "x": 0, "y": 3, "w": 1, "h": 1, "id": "c14" }, { "x": 1, "y": 3, "w": 1, "h": 1, "id": "c15" }, { "x": 2, "y": 3, "w": 1, "h": 1, "id": "c16" }, { "x": 3, "y": 3, "w": 1, "h": 1, "id": "c17" }, { "x": 4, "y": 3, "w": 1, "h": 1, "id": "c18" }, { "x": 0, "y": 4, "w": 1, "h": 1, "id": "c19" }, { "x": 1, "y": 4, "w": 1, "h": 1, "id": "c20" }, { "x": 2, "y": 4, "w": 1, "h": 1, "id": "c21" }, { "x": 3, "y": 4, "w": 1, "h": 1, "id": "c22" }, { "x": 4, "y": 4, "w": 1, "h": 1, "id": "c23" } ], "features": [ "big", "direction", "parity" ], "contentRevision": 1 }, "author": [ "c9", "c5", "c0", "c1", "c6", "c2", "c3", "c4", "c8", "c7", "c12", "c13", "c18", "c23", "c22", "c17", "c16", "c11", "c10", "c15", "c14", "c19", "c20", "c21" ], "witnesses": [ { "constraint": "parity:c7", "path": [ "c9", "c5", "c0", "c1", "c2", "c3", "c4", "c8", "c7", "c12", "c13", "c18", "c23", "c22", "c17", "c16", "c11", "c6", "c10", "c15", "c14", "c19", "c20", "c21" ] }, { "constraint": "direction:c8", "path": [ "c9", "c5", "c0", "c1", "c6", "c2", "c3", "c4", "c8", "c13", "c18", "c23", "c22", "c21", "c20", "c19", "c14", "c15", "c10", "c11", "c16", "c17", "c12", "c7" ] } ], "objective": { "version": "reasoner-v1", "score": 64, "nodeCount": 24, "decisions": 8, "forcedFraction": 0.6666666666666666, "longestForcedRun": 8, "wrongBranches": 10, "nonlocalBranches": 5, "meanWrongDepth": 3.6, "maxWrongDepth": 8, "probeStates": 192, "depthLimit": 8, "stateLimit": 12000, "capped": false, "turns": 18, "branches": [ { "step": 2, "tempting": "c14", "correct": "c5", "survivesAtLeast": 8, "depthCapped": true, "probeStates": 47 }, { "step": 3, "tempting": "c6", "correct": "c0", "survivesAtLeast": 5, "depthCapped": false, "probeStates": 32 }, { "step": 5, "tempting": "c2", "correct": "c6", "survivesAtLeast": 7, "depthCapped": false, "probeStates": 40 }, { "step": 6, "tempting": "c7", "correct": "c2", "survivesAtLeast": 4, "depthCapped": false, "probeStates": 22 }, { "step": 6, "tempting": "c11", "correct": "c2", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 3 }, { "step": 8, "tempting": "c7", "correct": "c4", "survivesAtLeast": 4, "depthCapped": false, "probeStates": 19 }, { "step": 12, "tempting": "c11", "correct": "c13", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 2 }, { "step": 12, "tempting": "c17", "correct": "c13", "survivesAtLeast": 2, "depthCapped": false, "probeStates": 11 }, { "step": 14, "tempting": "c17", "correct": "c23", "survivesAtLeast": 2, "depthCapped": false, "probeStates": 8 }, { "step": 16, "tempting": "c21", "correct": "c17", "survivesAtLeast": 2, "depthCapped": false, "probeStates": 8 } ] }, "spatial": { "turnRate": 0.8181818181818182, "maxRun": 2, "qReversals": 4, "rReversals": 5 }, "source": "略难候选新制作", "attempts": 162 }, { "level": { "mode": "campaign-200-r2", "geometry": "blocks", "cells": [ { "x": 0, "y": 0, "w": 1, "h": 2, "id": "c0", "category": "triangle" }, { "x": 1, "y": 0, "w": 1, "h": 1, "id": "c1", "category": "circle" }, { "x": 2, "y": 0, "w": 1, "h": 1, "id": "c2", "clue": 1, "category": "circle" }, { "x": 3, "y": 0, "w": 1, "h": 1, "id": "c3", "category": "triangle" }, { "x": 4, "y": 0, "w": 1, "h": 1, "id": "c4", "category": "circle" }, { "x": 5, "y": 0, "w": 1, "h": 1, "id": "c5", "category": "triangle" }, { "x": 1, "y": 1, "w": 1, "h": 1, "id": "c6", "category": "triangle" }, { "x": 2, "y": 1, "w": 2, "h": 2, "shape": [ [ 0, 0 ], [ 1, 0 ], [ 0, 1 ] ], "id": "c7", "category": "circle" }, { "x": 5, "y": 1, "w": 1, "h": 1, "id": "c8", "category": "circle" }, { "x": 0, "y": 2, "w": 1, "h": 1, "id": "c9", "category": "circle" }, { "x": 1, "y": 2, "w": 1, "h": 1, "id": "c10", "category": "triangle" }, { "x": 3, "y": 2, "w": 1, "h": 1, "id": "c11", "category": "triangle" }, { "x": 4, "y": 2, "w": 1, "h": 1, "id": "c12", "category": "circle" }, { "x": 5, "y": 2, "w": 1, "h": 1, "id": "c13", "category": "triangle" }, { "x": 0, "y": 3, "w": 1, "h": 1, "id": "c14", "category": "triangle" }, { "x": 1, "y": 3, "w": 1, "h": 1, "id": "c15", "category": "circle", "clue": 17 }, { "x": 2, "y": 3, "w": 1, "h": 1, "id": "c16", "category": "triangle" }, { "x": 3, "y": 3, "w": 1, "h": 1, "id": "c17", "category": "circle" }, { "x": 4, "y": 3, "w": 1, "h": 1, "id": "c18", "category": "triangle" }, { "x": 5, "y": 3, "w": 1, "h": 1, "id": "c19", "category": "circle" }, { "x": 0, "y": 4, "w": 1, "h": 1, "id": "c20", "category": "circle" }, { "x": 1, "y": 4, "w": 1, "h": 1, "id": "c21", "category": "triangle" }, { "x": 2, "y": 4, "w": 1, "h": 1, "id": "c22", "category": "circle" }, { "x": 3, "y": 4, "w": 1, "h": 1, "id": "c23", "category": "triangle" }, { "x": 4, "y": 4, "w": 1, "h": 1, "id": "c24", "category": "circle" }, { "x": 5, "y": 4, "w": 1, "h": 1, "id": "c25", "category": "triangle" } ], "features": [ "big", "alternation", "walls" ], "contentRevision": 1, "walls": [ [ "c18", "c24" ], [ "c16", "c22" ], [ "c12", "c18" ] ] }, "author": [ "c2", "c3", "c4", "c5", "c8", "c13", "c12", "c11", "c17", "c16", "c7", "c6", "c1", "c0", "c9", "c10", "c15", "c14", "c20", "c21", "c22", "c23", "c24", "c25", "c19", "c18" ], "witnesses": [ { "constraint": "alternation", "path": [ "c2", "c1", "c0", "c9", "c10", "c6", "c7", "c3", "c4", "c5", "c8", "c13", "c12", "c11", "c17", "c16", "c15", "c14", "c20", "c21", "c22", "c23", "c24", "c25", "c19", "c18" ] }, { "constraint": "wall:0", "path": [ "c2", "c3", "c4", "c5", "c8", "c13", "c12", "c11", "c17", "c16", "c7", "c6", "c1", "c0", "c9", "c10", "c15", "c14", "c20", "c21", "c22", "c23", "c24", "c18", "c19", "c25" ] }, { "constraint": "wall:1", "path": [ "c2", "c3", "c4", "c5", "c8", "c13", "c12", "c11", "c17", "c18", "c19", "c25", "c24", "c23", "c22", "c16", "c15", "c21", "c20", "c14", "c9", "c0", "c1", "c6", "c7", "c10" ] }, { "constraint": "wall:2", "path": [ "c2", "c3", "c4", "c5", "c8", "c13", "c12", "c18", "c19", "c25", "c24", "c23", "c22", "c21", "c20", "c14", "c15", "c10", "c9", "c0", "c1", "c6", "c7", "c11", "c17", "c16" ] } ], "objective": { "version": "reasoner-v1", "score": 57, "nodeCount": 26, "decisions": 4, "forcedFraction": 0.8461538461538461, "longestForcedRun": 16, "wrongBranches": 5, "nonlocalBranches": 3, "meanWrongDepth": 4.6, "maxWrongDepth": 8, "probeStates": 45, "depthLimit": 8, "stateLimit": 12000, "capped": false, "turns": 16, "branches": [ { "step": 3, "tempting": "c7", "correct": "c4", "survivesAtLeast": 5, "depthCapped": false, "probeStates": 10 }, { "step": 7, "tempting": "c19", "correct": "c12", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 3 }, { "step": 9, "tempting": "c7", "correct": "c17", "survivesAtLeast": 8, "depthCapped": false, "probeStates": 18 }, { "step": 10, "tempting": "c18", "correct": "c16", "survivesAtLeast": 8, "depthCapped": true, "probeStates": 11 }, { "step": 10, "tempting": "c23", "correct": "c16", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 3 } ] }, "spatial": { "turnRate": 0.6666666666666666, "maxRun": 5, "qReversals": 5, "rReversals": 3 }, "source": "略难候选新制作", "attempts": 1 }, { "level": { "mode": "campaign-200-r2", "geometry": "blocks", "cells": [ { "x": 0, "y": 0, "w": 1, "h": 1, "id": "c0", "category": "circle" }, { "x": 1, "y": 0, "w": 1, "h": 1, "id": "c1", "category": "triangle", "clue": 6 }, { "x": 2, "y": 0, "w": 1, "h": 1, "id": "c2", "category": "circle", "direction": "dl" }, { "x": 3, "y": 0, "w": 1, "h": 1, "id": "c3", "category": "triangle" }, { "x": 4, "y": 0, "w": 1, "h": 1, "id": "c4", "category": "circle" }, { "x": 5, "y": 0, "w": 1, "h": 1, "id": "c5", "category": "triangle" }, { "x": 0, "y": 1, "w": 1, "h": 1, "id": "c6", "category": "triangle" }, { "x": 1, "y": 1, "w": 1, "h": 1, "id": "c7", "clue": 1, "category": "circle" }, { "x": 2, "y": 1, "w": 1, "h": 1, "id": "c8", "category": "triangle" }, { "x": 3, "y": 1, "w": 1, "h": 1, "id": "c9", "category": "circle" }, { "x": 4, "y": 1, "w": 1, "h": 1, "id": "c10", "category": "triangle" }, { "x": 5, "y": 1, "w": 1, "h": 1, "id": "c11", "category": "circle" }, { "x": 0, "y": 2, "w": 1, "h": 1, "id": "c12", "category": "circle" }, { "x": 1, "y": 2, "w": 1, "h": 1, "id": "c13", "category": "triangle" }, { "x": 2, "y": 2, "w": 1, "h": 1, "id": "c14", "category": "circle" }, { "x": 3, "y": 2, "w": 1, "h": 1, "id": "c15", "category": "triangle" }, { "x": 4, "y": 2, "w": 1, "h": 1, "id": "c16", "category": "circle" }, { "x": 5, "y": 2, "w": 1, "h": 1, "id": "c17", "category": "triangle" }, { "x": 0, "y": 3, "w": 1, "h": 1, "id": "c18", "category": "circle" }, { "x": 1, "y": 3, "w": 1, "h": 1, "id": "c19", "category": "triangle", "clue": 24 }, { "x": 2, "y": 3, "w": 2, "h": 1, "id": "c20", "category": "circle" }, { "x": 4, "y": 3, "w": 1, "h": 1, "id": "c21", "category": "triangle" }, { "x": 5, "y": 3, "w": 1, "h": 1, "id": "c22", "category": "circle" }, { "x": 0, "y": 4, "w": 1, "h": 1, "id": "c23", "category": "triangle" }, { "x": 1, "y": 4, "w": 1, "h": 1, "id": "c24", "category": "circle" }, { "x": 2, "y": 4, "w": 1, "h": 1, "id": "c25", "category": "triangle" }, { "x": 3, "y": 4, "w": 1, "h": 1, "id": "c26", "category": "circle" }, { "x": 4, "y": 4, "w": 2, "h": 1, "id": "c27", "category": "triangle" } ], "features": [ "big", "direction", "alternation" ], "contentRevision": 1 }, "author": [ "c7", "c13", "c12", "c6", "c0", "c1", "c2", "c8", "c14", "c15", "c9", "c3", "c4", "c5", "c11", "c17", "c22", "c27", "c26", "c25", "c24", "c23", "c18", "c19", "c20", "c21", "c16", "c10" ], "witnesses": [ { "constraint": "direction:c2", "path": [ "c7", "c13", "c12", "c6", "c0", "c1", "c2", "c3", "c9", "c10", "c4", "c5", "c11", "c17", "c16", "c21", "c22", "c27", "c26", "c25", "c24", "c23", "c18", "c19", "c20", "c15", "c14", "c8" ] }, { "constraint": "alternation", "path": [ "c7", "c13", "c12", "c6", "c0", "c1", "c2", "c8", "c14", "c15", "c9", "c3", "c4", "c5", "c11", "c10", "c16", "c17", "c22", "c21", "c27", "c26", "c20", "c19", "c18", "c23", "c24", "c25" ] } ], "objective": { "version": "reasoner-v1", "score": 70, "nodeCount": 28, "decisions": 9, "forcedFraction": 0.6785714285714286, "longestForcedRun": 7, "wrongBranches": 11, "nonlocalBranches": 8, "meanWrongDepth": 4.36, "maxWrongDepth": 8, "probeStates": 123, "depthLimit": 8, "stateLimit": 12000, "capped": false, "turns": 13, "branches": [ { "step": 2, "tempting": "c6", "correct": "c13", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 3 }, { "step": 2, "tempting": "c8", "correct": "c13", "survivesAtLeast": 3, "depthCapped": false, "probeStates": 8 }, { "step": 3, "tempting": "c14", "correct": "c12", "survivesAtLeast": 3, "depthCapped": false, "probeStates": 6 }, { "step": 9, "tempting": "c9", "correct": "c14", "survivesAtLeast": 8, "depthCapped": true, "probeStates": 10 }, { "step": 11, "tempting": "c16", "correct": "c9", "survivesAtLeast": 8, "depthCapped": true, "probeStates": 12 }, { "step": 11, "tempting": "c20", "correct": "c9", "survivesAtLeast": 5, "depthCapped": false, "probeStates": 20 }, { "step": 12, "tempting": "c10", "correct": "c3", "survivesAtLeast": 5, "depthCapped": false, "probeStates": 19 }, { "step": 14, "tempting": "c10", "correct": "c5", "survivesAtLeast": 5, "depthCapped": false, "probeStates": 16 }, { "step": 16, "tempting": "c10", "correct": "c17", "survivesAtLeast": 8, "depthCapped": false, "probeStates": 24 }, { "step": 17, "tempting": "c16", "correct": "c22", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 3 }, { "step": 21, "tempting": "c20", "correct": "c24", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 2 } ] }, "spatial": { "turnRate": 0.5, "maxRun": 4, "qReversals": 3, "rReversals": 5 }, "source": "略难候选新制作", "attempts": 3 }, { "level": { "mode": "campaign-200-r2", "geometry": "hex", "cells": [ { "id": "c0", "q": 0, "r": 0, "category": "triangle" }, { "id": "c1", "q": 0, "r": 1, "category": "circle" }, { "id": "c2", "q": 0, "r": 2, "category": "triangle" }, { "id": "c3", "q": 0, "r": 3, "category": "circle" }, { "id": "c4", "q": 0, "r": 4, "category": "triangle" }, { "id": "c5", "q": 0, "r": 5, "category": "circle" }, { "id": "c6", "q": 1, "r": 0, "clue": 1, "category": "circle" }, { "id": "c7", "q": 1, "r": 1, "category": "circle", "clue": 27 }, { "id": "c8", "q": 1, "r": 2, "category": "triangle", "clue": 28 }, { "id": "c9", "q": 1, "r": 3, "category": "circle" }, { "id": "c10", "q": 1, "r": 4, "category": "triangle" }, { "id": "c11", "q": 1, "r": 5, "category": "triangle" }, { "id": "c12", "q": 2, "r": 0, "category": "triangle" }, { "id": "c13", "q": 2, "r": 1, "category": "triangle" }, { "id": "c14", "q": 2, "r": 2, "category": "circle" }, { "id": "c15", "q": 2, "r": 3, "category": "triangle" }, { "id": "c16", "q": 2, "r": 4, "category": "circle" }, { "id": "c17", "q": 2, "r": 5, "category": "circle" }, { "id": "c18", "q": 3, "r": 0, "category": "circle" }, { "id": "c19", "q": 3, "r": 1, "category": "triangle" }, { "id": "c20", "q": 3, "r": 2, "category": "triangle" }, { "id": "c21", "q": 3, "r": 3, "category": "circle" }, { "id": "c22", "q": 3, "r": 4, "category": "triangle" }, { "id": "c23", "q": 3, "r": 5, "category": "triangle" }, { "id": "c24", "q": 4, "r": 0, "category": "circle" }, { "id": "c25", "q": 4, "r": 1, "category": "triangle" }, { "id": "c26", "q": 4, "r": 2, "category": "circle" }, { "id": "c27", "q": 4, "r": 3, "category": "circle" }, { "id": "c28", "q": 4, "r": 4, "category": "triangle", "clue": 12 }, { "id": "c29", "q": 4, "r": 5, "category": "circle" } ], "features": [ "alternation", "walls" ], "contentRevision": 1, "walls": [ [ "c14", "c19" ] ] }, "author": [ "c6", "c0", "c1", "c2", "c3", "c4", "c5", "c11", "c17", "c23", "c29", "c28", "c27", "c22", "c16", "c10", "c9", "c15", "c21", "c20", "c26", "c25", "c24", "c19", "c18", "c12", "c7", "c8", "c14", "c13" ], "witnesses": [ { "constraint": "alternation", "path": [ "c6", "c0", "c1", "c2", "c3", "c4", "c5", "c11", "c17", "c23", "c29", "c28", "c22", "c27", "c26", "c21", "c16", "c10", "c9", "c15", "c14", "c20", "c25", "c24", "c18", "c12", "c7", "c8", "c13", "c19" ] }, { "constraint": "wall:0", "path": [ "c6", "c0", "c1", "c2", "c3", "c4", "c5", "c11", "c17", "c23", "c29", "c28", "c27", "c22", "c16", "c15", "c21", "c20", "c26", "c25", "c24", "c19", "c14", "c13", "c18", "c12", "c7", "c8", "c9", "c10" ] } ], "objective": { "version": "reasoner-v1", "score": 63, "nodeCount": 30, "decisions": 10, "forcedFraction": 0.6666666666666666, "longestForcedRun": 4, "wrongBranches": 10, "nonlocalBranches": 5, "meanWrongDepth": 3.7, "maxWrongDepth": 8, "probeStates": 85, "depthLimit": 8, "stateLimit": 12000, "capped": false, "turns": 17, "branches": [ { "step": 2, "tempting": "c12", "correct": "c0", "survivesAtLeast": 8, "depthCapped": true, "probeStates": 12 }, { "step": 7, "tempting": "c9", "correct": "c5", "survivesAtLeast": 4, "depthCapped": false, "probeStates": 22 }, { "step": 8, "tempting": "c10", "correct": "c11", "survivesAtLeast": 3, "depthCapped": false, "probeStates": 9 }, { "step": 9, "tempting": "c16", "correct": "c17", "survivesAtLeast": 2, "depthCapped": false, "probeStates": 7 }, { "step": 10, "tempting": "c22", "correct": "c23", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 4 }, { "step": 15, "tempting": "c21", "correct": "c16", "survivesAtLeast": 8, "depthCapped": true, "probeStates": 12 }, { "step": 16, "tempting": "c15", "correct": "c10", "survivesAtLeast": 8, "depthCapped": true, "probeStates": 12 }, { "step": 19, "tempting": "c14", "correct": "c21", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 3 }, { "step": 21, "tempting": "c14", "correct": "c26", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 2 }, { "step": 26, "tempting": "c13", "correct": "c12", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 2 } ] }, "spatial": { "turnRate": 0.6071428571428571, "maxRun": 5, "qReversals": 5, "rReversals": 7 }, "source": "略难候选新制作", "attempts": 2 }, { "level": { "mode": "campaign-200-r2", "geometry": "hex", "cells": [ { "id": "c0", "q": 0, "r": 0 }, { "id": "c1", "q": 0, "r": 1, "clue": 21 }, { "id": "c2", "q": 0, "r": 2 }, { "id": "c3", "q": 0, "r": 3 }, { "id": "c4", "q": 0, "r": 4, "clue": 10 }, { "id": "c5", "q": 0, "r": 5, "clue": 1 }, { "id": "c6", "q": 1, "r": 0 }, { "id": "c7", "q": 1, "r": 1, "clue": 20 }, { "id": "c8", "q": 1, "r": 2, "clue": 18 }, { "id": "c9", "q": 1, "r": 3 }, { "id": "c10", "q": 1, "r": 4 }, { "id": "c11", "q": 1, "r": 5 }, { "id": "c12", "q": 2, "r": 0 }, { "id": "c13", "q": 2, "r": 1 }, { "id": "c14", "q": 2, "r": 2 }, { "id": "c15", "q": 2, "r": 3 }, { "id": "c16", "q": 2, "r": 4 }, { "id": "c17", "q": 2, "r": 5 }, { "id": "c18", "q": 3, "r": 0 }, { "id": "c19", "q": 3, "r": 1 }, { "id": "c20", "q": 3, "r": 2 }, { "id": "c21", "q": 3, "r": 3, "parity": "odd" }, { "id": "c22", "q": 3, "r": 4 }, { "id": "c23", "q": 3, "r": 5 } ], "features": [ "parity", "walls" ], "contentRevision": 1, "walls": [ [ "c16", "c17" ] ] }, "author": [ "c5", "c11", "c17", "c23", "c22", "c16", "c21", "c15", "c10", "c4", "c3", "c9", "c14", "c20", "c19", "c18", "c13", "c8", "c2", "c7", "c1", "c0", "c6", "c12" ], "witnesses": [ { "constraint": "parity:c21", "path": [ "c5", "c11", "c17", "c23", "c22", "c21", "c16", "c15", "c10", "c4", "c3", "c9", "c14", "c20", "c19", "c18", "c13", "c8", "c2", "c7", "c1", "c0", "c6", "c12" ] }, { "constraint": "wall:0", "path": [ "c5", "c11", "c16", "c17", "c23", "c22", "c21", "c15", "c10", "c4", "c3", "c9", "c14", "c20", "c19", "c18", "c13", "c8", "c2", "c7", "c1", "c0", "c6", "c12" ] } ], "objective": { "version": "reasoner-v1", "score": 69, "nodeCount": 24, "decisions": 9, "forcedFraction": 0.625, "longestForcedRun": 8, "wrongBranches": 12, "nonlocalBranches": 6, "meanWrongDepth": 3.75, "maxWrongDepth": 8, "probeStates": 345, "depthLimit": 8, "stateLimit": 12000, "capped": false, "turns": 17, "branches": [ { "step": 2, "tempting": "c10", "correct": "c11", "survivesAtLeast": 8, "depthCapped": true, "probeStates": 79 }, { "step": 3, "tempting": "c10", "correct": "c17", "survivesAtLeast": 6, "depthCapped": false, "probeStates": 91 }, { "step": 3, "tempting": "c16", "correct": "c17", "survivesAtLeast": 6, "depthCapped": false, "probeStates": 86 }, { "step": 4, "tempting": "c22", "correct": "c23", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 4 }, { "step": 7, "tempting": "c10", "correct": "c21", "survivesAtLeast": 5, "depthCapped": false, "probeStates": 14 }, { "step": 7, "tempting": "c15", "correct": "c21", "survivesAtLeast": 5, "depthCapped": false, "probeStates": 20 }, { "step": 9, "tempting": "c9", "correct": "c10", "survivesAtLeast": 2, "depthCapped": false, "probeStates": 4 }, { "step": 11, "tempting": "c9", "correct": "c3", "survivesAtLeast": 8, "depthCapped": true, "probeStates": 31 }, { "step": 12, "tempting": "c2", "correct": "c9", "survivesAtLeast": 0, "depthCapped": false, "probeStates": 1 }, { "step": 14, "tempting": "c13", "correct": "c20", "survivesAtLeast": 2, "depthCapped": false, "probeStates": 8 }, { "step": 14, "tempting": "c19", "correct": "c20", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 4 }, { "step": 16, "tempting": "c13", "correct": "c18", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 3 } ] }, "spatial": { "turnRate": 0.7727272727272727, "maxRun": 3, "qReversals": 8, "rReversals": 4 }, "source": "略难候选新制作", "attempts": 41 }, { "level": { "mode": "campaign-200-r2", "geometry": "hex", "cells": [ { "id": "c0", "q": 0, "r": 0, "category": "triangle" }, { "id": "c1", "q": 0, "r": 2, "category": "circle" }, { "id": "c2", "q": 0, "r": 3, "category": "triangle" }, { "id": "c3", "q": 0, "r": 5, "category": "triangle" }, { "id": "c4", "q": 1, "r": 0, "category": "circle" }, { "id": "c5", "q": 1, "r": 1, "category": "triangle" }, { "id": "c6", "q": 1, "r": 2, "category": "circle" }, { "id": "c7", "q": 1, "r": 3, "category": "triangle" }, { "id": "c8", "q": 1, "r": 4, "category": "circle" }, { "id": "c9", "q": 1, "r": 5, "category": "circle" }, { "id": "c10", "q": 2, "r": 1, "category": "triangle" }, { "id": "c11", "q": 2, "r": 2, "clue": 1, "category": "circle" }, { "id": "c12", "q": 2, "r": 3, "category": "triangle" }, { "id": "c13", "q": 2, "r": 4, "category": "circle" }, { "id": "c14", "q": 2, "r": 5, "category": "triangle" }, { "id": "c15", "q": 3, "r": 0, "category": "circle" }, { "id": "c16", "q": 3, "r": 1, "category": "triangle" }, { "id": "c17", "q": 3, "r": 2, "category": "circle" }, { "id": "c18", "q": 3, "r": 3, "category": "triangle" }, { "id": "c19", "q": 3, "r": 4, "category": "circle" }, { "id": "c20", "q": 3, "r": 5, "category": "triangle" }, { "id": "c21", "q": 4, "r": 0, "category": "circle" }, { "id": "c22", "q": 4, "r": 1, "category": "triangle" }, { "id": "c23", "q": 4, "r": 2, "category": "circle" }, { "id": "c24", "q": 4, "r": 3, "category": "triangle" }, { "id": "c25", "q": 4, "r": 4, "category": "circle" } ], "features": [ "alternation", "walls", "rhythm-door" ], "contentRevision": 1, "doors": [ { "edge": [ "c13", "c12" ], "initialOpen": false } ], "walls": [ [ "c18", "c23" ] ] }, "author": [ "c11", "c7", "c8", "c3", "c9", "c14", "c13", "c12", "c17", "c18", "c19", "c20", "c25", "c24", "c23", "c22", "c21", "c16", "c15", "c10", "c6", "c2", "c1", "c5", "c4", "c0" ], "witnesses": [ { "constraint": "alternation", "path": [ "c11", "c7", "c8", "c3", "c9", "c14", "c20", "c25", "c24", "c19", "c13", "c12", "c18", "c17", "c23", "c22", "c21", "c15", "c16", "c10", "c6", "c2", "c1", "c5", "c4", "c0" ] }, { "constraint": "wall:0", "path": [ "c11", "c7", "c8", "c3", "c9", "c14", "c19", "c20", "c25", "c24", "c23", "c18", "c13", "c12", "c17", "c22", "c21", "c16", "c15", "c10", "c6", "c2", "c1", "c5", "c4", "c0" ] }, { "constraint": "door:0", "path": [ "c11", "c10", "c15", "c16", "c21", "c22", "c23", "c24", "c25", "c20", "c19", "c18", "c17", "c12", "c13", "c14", "c9", "c3", "c8", "c7", "c6", "c2", "c1", "c5", "c4", "c0" ] } ], "objective": { "version": "reasoner-v1", "score": 59, "nodeCount": 26, "decisions": 3, "forcedFraction": 0.8846153846153846, "longestForcedRun": 19, "wrongBranches": 5, "nonlocalBranches": 3, "meanWrongDepth": 5.2, "maxWrongDepth": 8, "probeStates": 49, "depthLimit": 8, "stateLimit": 12000, "capped": false, "turns": 15, "branches": [ { "step": 2, "tempting": "c10", "correct": "c7", "survivesAtLeast": 8, "depthCapped": true, "probeStates": 13 }, { "step": 2, "tempting": "c12", "correct": "c7", "survivesAtLeast": 8, "depthCapped": true, "probeStates": 15 }, { "step": 2, "tempting": "c16", "correct": "c7", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 4 }, { "step": 3, "tempting": "c6", "correct": "c8", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 4 }, { "step": 7, "tempting": "c19", "correct": "c13", "survivesAtLeast": 8, "depthCapped": false, "probeStates": 13 } ] }, "spatial": { "turnRate": 0.625, "maxRun": 4, "qReversals": 4, "rReversals": 7 }, "source": "略难候选新制作", "attempts": 7 }, { "level": { "mode": "campaign-200-r2", "geometry": "square", "cells": [ { "x": 0, "y": 0, "w": 1, "h": 1, "id": "c0" }, { "x": 1, "y": 0, "w": 1, "h": 1, "id": "c1" }, { "x": 2, "y": 0, "w": 1, "h": 1, "id": "c2" }, { "x": 3, "y": 0, "w": 1, "h": 1, "id": "c3" }, { "x": 4, "y": 0, "w": 1, "h": 1, "id": "c4" }, { "x": 5, "y": 0, "w": 1, "h": 1, "id": "c5" }, { "x": 0, "y": 1, "w": 1, "h": 1, "id": "c6" }, { "x": 1, "y": 1, "w": 1, "h": 1, "id": "c7" }, { "x": 3, "y": 1, "w": 1, "h": 1, "id": "c8" }, { "x": 4, "y": 1, "w": 1, "h": 1, "id": "c9", "direction": "du" }, { "x": 5, "y": 1, "w": 1, "h": 1, "id": "c10" }, { "x": 0, "y": 2, "w": 1, "h": 1, "id": "c11" }, { "x": 1, "y": 2, "w": 1, "h": 1, "id": "c12" }, { "x": 3, "y": 2, "w": 1, "h": 1, "id": "c13" }, { "x": 4, "y": 2, "w": 1, "h": 1, "id": "c14" }, { "x": 5, "y": 2, "w": 1, "h": 1, "id": "c15" }, { "x": 0, "y": 3, "w": 1, "h": 1, "id": "c16" }, { "x": 1, "y": 3, "w": 1, "h": 1, "id": "c17" }, { "x": 2, "y": 3, "w": 1, "h": 1, "id": "c18", "clue": 1 }, { "x": 3, "y": 3, "w": 1, "h": 1, "id": "c19" }, { "x": 4, "y": 3, "w": 1, "h": 1, "id": "c20" }, { "x": 5, "y": 3, "w": 1, "h": 1, "id": "c21" }, { "x": 0, "y": 4, "w": 1, "h": 1, "id": "c22", "clue": 26 }, { "x": 1, "y": 4, "w": 1, "h": 1, "id": "c23", "clue": 25 }, { "x": 2, "y": 4, "w": 1, "h": 1, "id": "c24" }, { "x": 3, "y": 4, "w": 1, "h": 1, "id": "c25", "direction": "lr" }, { "x": 4, "y": 4, "w": 1, "h": 1, "id": "c26" }, { "x": 5, "y": 4, "w": 1, "h": 1, "id": "c27" } ], "features": [ "direction", "rhythm-door" ], "contentRevision": 1, "doors": [ { "edge": [ "c27", "c21" ], "initialOpen": false } ] }, "author": [ "c18", "c24", "c25", "c26", "c27", "c21", "c15", "c10", "c5", "c4", "c9", "c14", "c20", "c19", "c13", "c8", "c3", "c2", "c1", "c0", "c6", "c7", "c12", "c17", "c23", "c22", "c16", "c11" ], "witnesses": [ { "constraint": "direction:c9", "path": [ "c18", "c24", "c25", "c26", "c27", "c21", "c15", "c14", "c20", "c19", "c13", "c8", "c9", "c10", "c5", "c4", "c3", "c2", "c1", "c0", "c6", "c7", "c12", "c17", "c23", "c22", "c16", "c11" ] }, { "constraint": "direction:c25", "path": [ "c18", "c24", "c25", "c19", "c20", "c26", "c27", "c21", "c15", "c10", "c5", "c4", "c9", "c14", "c13", "c8", "c3", "c2", "c1", "c0", "c6", "c7", "c12", "c17", "c23", "c22", "c16", "c11" ] }, { "constraint": "door:0", "path": [ "c18", "c17", "c12", "c7", "c6", "c0", "c1", "c2", "c3", "c8", "c13", "c19", "c20", "c14", "c9", "c4", "c5", "c10", "c15", "c21", "c27", "c26", "c25", "c24", "c23", "c22", "c16", "c11" ] } ], "objective": { "version": "reasoner-v1", "score": 69, "nodeCount": 28, "decisions": 8, "forcedFraction": 0.7142857142857143, "longestForcedRun": 6, "wrongBranches": 9, "nonlocalBranches": 6, "meanWrongDepth": 4.67, "maxWrongDepth": 8, "probeStates": 97, "depthLimit": 8, "stateLimit": 12000, "capped": false, "turns": 12, "branches": [ { "step": 2, "tempting": "c17", "correct": "c24", "survivesAtLeast": 8, "depthCapped": true, "probeStates": 13 }, { "step": 2, "tempting": "c19", "correct": "c24", "survivesAtLeast": 8, "depthCapped": true, "probeStates": 9 }, { "step": 5, "tempting": "c20", "correct": "c27", "survivesAtLeast": 5, "depthCapped": false, "probeStates": 15 }, { "step": 7, "tempting": "c20", "correct": "c15", "survivesAtLeast": 8, "depthCapped": true, "probeStates": 25 }, { "step": 8, "tempting": "c14", "correct": "c10", "survivesAtLeast": 6, "depthCapped": false, "probeStates": 13 }, { "step": 11, "tempting": "c3", "correct": "c9", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 3 }, { "step": 13, "tempting": "c13", "correct": "c20", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 3 }, { "step": 20, "tempting": "c7", "correct": "c0", "survivesAtLeast": 3, "depthCapped": false, "probeStates": 10 }, { "step": 22, "tempting": "c11", "correct": "c7", "survivesAtLeast": 2, "depthCapped": false, "probeStates": 6 } ] }, "spatial": { "turnRate": 0.46153846153846156, "maxRun": 4, "qReversals": 3, "rReversals": 5 }, "source": "略难候选新制作", "attempts": 154 }, { "level": { "mode": "campaign-200-r2", "geometry": "square", "cells": [ { "x": 0, "y": 0, "w": 1, "h": 1, "id": "c0" }, { "x": 1, "y": 0, "w": 1, "h": 1, "id": "c1" }, { "x": 2, "y": 0, "w": 1, "h": 1, "id": "c2" }, { "x": 3, "y": 0, "w": 1, "h": 1, "id": "c3" }, { "x": 4, "y": 0, "w": 1, "h": 1, "id": "c4" }, { "x": 5, "y": 0, "w": 1, "h": 1, "id": "c5" }, { "x": 0, "y": 1, "w": 1, "h": 1, "id": "c6", "clue": 1 }, { "x": 1, "y": 1, "w": 1, "h": 1, "id": "c7" }, { "x": 2, "y": 1, "w": 1, "h": 1, "id": "c8" }, { "x": 3, "y": 1, "w": 1, "h": 1, "id": "c9" }, { "x": 4, "y": 1, "w": 1, "h": 1, "id": "c10" }, { "x": 5, "y": 1, "w": 1, "h": 1, "id": "c11" }, { "x": 0, "y": 2, "w": 1, "h": 1, "id": "c12" }, { "x": 1, "y": 2, "w": 1, "h": 1, "id": "c13" }, { "x": 2, "y": 2, "w": 1, "h": 1, "id": "c14" }, { "x": 3, "y": 2, "w": 1, "h": 1, "id": "c15" }, { "x": 4, "y": 2, "w": 1, "h": 1, "id": "c16" }, { "x": 5, "y": 2, "w": 1, "h": 1, "id": "c17" }, { "x": 0, "y": 3, "w": 1, "h": 1, "id": "c18" }, { "x": 1, "y": 3, "w": 1, "h": 1, "id": "c19" }, { "x": 2, "y": 3, "w": 1, "h": 1, "id": "c20" }, { "x": 3, "y": 3, "w": 1, "h": 1, "id": "c21" }, { "x": 4, "y": 3, "w": 1, "h": 1, "id": "c22", "clue": 23 }, { "x": 5, "y": 3, "w": 1, "h": 1, "id": "c23" }, { "x": 0, "y": 4, "w": 1, "h": 1, "id": "c24", "clue": 4 }, { "x": 1, "y": 4, "w": 1, "h": 1, "id": "c25", "direction": "lu" }, { "x": 2, "y": 4, "w": 1, "h": 1, "id": "c26" }, { "x": 3, "y": 4, "w": 1, "h": 1, "id": "c27" }, { "x": 4, "y": 4, "w": 1, "h": 1, "id": "c28" }, { "x": 5, "y": 4, "w": 1, "h": 1, "id": "c29" } ], "features": [ "direction", "walls" ], "contentRevision": 1, "walls": [ [ "c13", "c14" ] ] }, "author": [ "c6", "c12", "c18", "c24", "c25", "c19", "c13", "c7", "c8", "c14", "c20", "c26", "c27", "c28", "c29", "c23", "c17", "c11", "c5", "c4", "c10", "c16", "c22", "c21", "c15", "c9", "c3", "c2", "c1", "c0" ], "witnesses": [ { "constraint": "direction:c25", "path": [ "c6", "c12", "c18", "c24", "c25", "c26", "c27", "c28", "c29", "c23", "c17", "c11", "c5", "c4", "c3", "c2", "c8", "c14", "c15", "c9", "c10", "c16", "c22", "c21", "c20", "c19", "c13", "c7", "c1", "c0" ] }, { "constraint": "wall:0", "path": [ "c6", "c12", "c18", "c24", "c25", "c19", "c20", "c26", "c27", "c28", "c29", "c23", "c17", "c11", "c5", "c4", "c3", "c2", "c8", "c9", "c10", "c16", "c22", "c21", "c15", "c14", "c13", "c7", "c1", "c0" ] } ], "objective": { "version": "reasoner-v1", "score": 59, "nodeCount": 30, "decisions": 5, "forcedFraction": 0.8333333333333334, "longestForcedRun": 12, "wrongBranches": 6, "nonlocalBranches": 3, "meanWrongDepth": 4.17, "maxWrongDepth": 8, "probeStates": 89, "depthLimit": 8, "stateLimit": 12000, "capped": false, "turns": 11, "branches": [ { "step": 9, "tempting": "c1", "correct": "c8", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 3 }, { "step": 10, "tempting": "c2", "correct": "c14", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 3 }, { "step": 10, "tempting": "c9", "correct": "c14", "survivesAtLeast": 8, "depthCapped": true, "probeStates": 19 }, { "step": 11, "tempting": "c15", "correct": "c20", "survivesAtLeast": 8, "depthCapped": false, "probeStates": 36 }, { "step": 14, "tempting": "c21", "correct": "c28", "survivesAtLeast": 6, "depthCapped": false, "probeStates": 25 }, { "step": 18, "tempting": "c16", "correct": "c11", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 3 } ] }, "spatial": { "turnRate": 0.39285714285714285, "maxRun": 4, "qReversals": 1, "rReversals": 5 }, "source": "略难候选新制作", "attempts": 36 }, { "level": { "mode": "campaign-200-r2", "geometry": "blocks", "cells": [ { "x": 0, "y": 0, "w": 1, "h": 1, "id": "c0" }, { "x": 1, "y": 0, "w": 1, "h": 1, "id": "c1" }, { "x": 2, "y": 0, "w": 1, "h": 1, "id": "c2" }, { "x": 3, "y": 0, "w": 1, "h": 1, "id": "c3" }, { "x": 4, "y": 0, "w": 1, "h": 1, "id": "c4" }, { "x": 0, "y": 1, "w": 1, "h": 1, "id": "c5" }, { "x": 1, "y": 1, "w": 1, "h": 1, "id": "c6" }, { "x": 2, "y": 1, "w": 1, "h": 1, "id": "c7", "parity": "even" }, { "x": 3, "y": 1, "w": 1, "h": 1, "id": "c8" }, { "x": 4, "y": 1, "w": 1, "h": 1, "id": "c9" }, { "x": 5, "y": 1, "w": 1, "h": 1, "id": "c10" }, { "x": 0, "y": 2, "w": 2, "h": 2, "shape": [ [ 0, 0 ], [ 0, 1 ], [ 1, 0 ] ], "id": "c11" }, { "x": 2, "y": 2, "w": 1, "h": 1, "id": "c12" }, { "x": 3, "y": 2, "w": 1, "h": 1, "id": "c13" }, { "x": 4, "y": 2, "w": 1, "h": 1, "id": "c14" }, { "x": 5, "y": 2, "w": 1, "h": 1, "id": "c15" }, { "x": 1, "y": 3, "w": 1, "h": 1, "id": "c16" }, { "x": 2, "y": 3, "w": 1, "h": 1, "id": "c17", "clue": 3 }, { "x": 3, "y": 3, "w": 1, "h": 1, "id": "c18" }, { "x": 4, "y": 3, "w": 2, "h": 1, "id": "c19" }, { "x": 1, "y": 4, "w": 1, "h": 1, "id": "c20", "clue": 1 }, { "x": 3, "y": 4, "w": 1, "h": 1, "id": "c21" }, { "x": 4, "y": 4, "w": 1, "h": 1, "id": "c22" }, { "x": 5, "y": 4, "w": 1, "h": 1, "id": "c23" } ], "features": [ "big", "parity", "walls" ], "contentRevision": 1, "walls": [ [ "c9", "c10" ] ] }, "author": [ "c20", "c16", "c17", "c12", "c11", "c5", "c0", "c1", "c6", "c7", "c2", "c3", "c4", "c9", "c8", "c13", "c18", "c21", "c22", "c23", "c19", "c14", "c15", "c10" ], "witnesses": [ { "constraint": "parity:c7", "path": [ "c20", "c16", "c17", "c12", "c11", "c6", "c5", "c0", "c1", "c2", "c7", "c8", "c3", "c4", "c9", "c14", "c13", "c18", "c21", "c22", "c23", "c19", "c15", "c10" ] }, { "constraint": "wall:0", "path": [ "c20", "c16", "c17", "c12", "c11", "c5", "c0", "c1", "c6", "c7", "c2", "c3", "c4", "c9", "c10", "c15", "c14", "c19", "c23", "c22", "c21", "c18", "c13", "c8" ] } ], "objective": { "version": "reasoner-v1", "score": 60, "nodeCount": 24, "decisions": 4, "forcedFraction": 0.8333333333333334, "longestForcedRun": 10, "wrongBranches": 4, "nonlocalBranches": 3, "meanWrongDepth": 5, "maxWrongDepth": 7, "probeStates": 56, "depthLimit": 8, "stateLimit": 12000, "capped": false, "turns": 17, "branches": [ { "step": 4, "tempting": "c18", "correct": "c12", "survivesAtLeast": 6, "depthCapped": false, "probeStates": 15 }, { "step": 5, "tempting": "c13", "correct": "c11", "survivesAtLeast": 7, "depthCapped": false, "probeStates": 25 }, { "step": 6, "tempting": "c6", "correct": "c5", "survivesAtLeast": 5, "depthCapped": false, "probeStates": 7 }, { "step": 17, "tempting": "c14", "correct": "c18", "survivesAtLeast": 2, "depthCapped": false, "probeStates": 9 } ] }, "spatial": { "turnRate": 0.7727272727272727, "maxRun": 3, "qReversals": 6, "rReversals": 4 }, "source": "略难候选新制作", "attempts": 10 }, { "level": { "mode": "campaign-200-r2", "geometry": "blocks", "cells": [ { "x": 0, "y": 0, "w": 1, "h": 1, "id": "c0" }, { "x": 1, "y": 0, "w": 1, "h": 1, "id": "c1" }, { "x": 2, "y": 0, "w": 2, "h": 1, "id": "c2" }, { "x": 4, "y": 0, "w": 1, "h": 1, "id": "c3" }, { "x": 5, "y": 0, "w": 1, "h": 1, "id": "c4" }, { "x": 0, "y": 1, "w": 1, "h": 1, "id": "c5", "clue": 23 }, { "x": 1, "y": 1, "w": 1, "h": 1, "id": "c6", "direction": "ru" }, { "x": 2, "y": 1, "w": 1, "h": 1, "id": "c7" }, { "x": 3, "y": 1, "w": 1, "h": 1, "id": "c8", "parity": "odd" }, { "x": 4, "y": 1, "w": 1, "h": 1, "id": "c9" }, { "x": 5, "y": 1, "w": 1, "h": 2, "id": "c10" }, { "x": 0, "y": 2, "w": 1, "h": 1, "id": "c11" }, { "x": 1, "y": 2, "w": 1, "h": 1, "id": "c12" }, { "x": 2, "y": 2, "w": 1, "h": 1, "id": "c13" }, { "x": 3, "y": 2, "w": 1, "h": 1, "id": "c14" }, { "x": 4, "y": 2, "w": 1, "h": 1, "id": "c15" }, { "x": 0, "y": 3, "w": 1, "h": 1, "id": "c16" }, { "x": 1, "y": 3, "w": 1, "h": 1, "id": "c17" }, { "x": 2, "y": 3, "w": 1, "h": 1, "id": "c18" }, { "x": 3, "y": 3, "w": 1, "h": 1, "id": "c19" }, { "x": 4, "y": 3, "w": 1, "h": 1, "id": "c20" }, { "x": 0, "y": 4, "w": 1, "h": 1, "id": "c21" }, { "x": 2, "y": 4, "w": 1, "h": 1, "id": "c22" }, { "x": 3, "y": 4, "w": 1, "h": 1, "id": "c23" }, { "x": 4, "y": 4, "w": 1, "h": 1, "id": "c24", "direction": "lr" }, { "x": 5, "y": 4, "w": 1, "h": 1, "id": "c25", "clue": 1 } ], "features": [ "big", "direction", "parity" ], "contentRevision": 1 }, "author": [ "c25", "c24", "c23", "c22", "c18", "c17", "c12", "c13", "c14", "c19", "c20", "c15", "c10", "c4", "c3", "c9", "c8", "c2", "c7", "c6", "c1", "c0", "c5", "c11", "c16", "c21" ], "witnesses": [ { "constraint": "parity:c8", "path": [ "c25", "c24", "c23", "c22", "c18", "c17", "c12", "c13", "c14", "c19", "c20", "c15", "c9", "c10", "c4", "c3", "c2", "c8", "c7", "c6", "c1", "c0", "c5", "c11", "c16", "c21" ] }, { "constraint": "direction:c6", "path": [ "c25", "c24", "c23", "c22", "c18", "c17", "c12", "c6", "c7", "c13", "c14", "c19", "c20", "c15", "c10", "c4", "c3", "c9", "c8", "c2", "c1", "c0", "c5", "c11", "c16", "c21" ] }, { "constraint": "direction:c24", "path": [ "c25", "c24", "c20", "c19", "c23", "c22", "c18", "c17", "c12", "c13", "c14", "c15", "c10", "c4", "c3", "c9", "c8", "c2", "c7", "c6", "c1", "c0", "c5", "c11", "c16", "c21" ] } ], "objective": { "version": "reasoner-v1", "score": 61, "nodeCount": 26, "decisions": 6, "forcedFraction": 0.7692307692307693, "longestForcedRun": 8, "wrongBranches": 7, "nonlocalBranches": 5, "meanWrongDepth": 4.14, "maxWrongDepth": 8, "probeStates": 65, "depthLimit": 8, "stateLimit": 12000, "capped": false, "turns": 18, "branches": [ { "step": 6, "tempting": "c13", "correct": "c17", "survivesAtLeast": 8, "depthCapped": true, "probeStates": 26 }, { "step": 6, "tempting": "c19", "correct": "c17", "survivesAtLeast": 8, "depthCapped": true, "probeStates": 11 }, { "step": 7, "tempting": "c16", "correct": "c12", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 3 }, { "step": 8, "tempting": "c11", "correct": "c13", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 2 }, { "step": 9, "tempting": "c7", "correct": "c14", "survivesAtLeast": 3, "depthCapped": false, "probeStates": 9 }, { "step": 13, "tempting": "c9", "correct": "c10", "survivesAtLeast": 5, "depthCapped": false, "probeStates": 8 }, { "step": 18, "tempting": "c7", "correct": "c2", "survivesAtLeast": 3, "depthCapped": false, "probeStates": 6 } ] }, "spatial": { "turnRate": 0.75, "maxRun": 4, "qReversals": 2, "rReversals": 7 }, "source": "略难候选新制作", "attempts": 24 }, { "level": { "mode": "campaign-200-r2", "geometry": "blocks", "cells": [ { "x": 0, "y": 0, "w": 1, "h": 1, "id": "c0", "category": "triangle" }, { "x": 1, "y": 0, "w": 1, "h": 1, "id": "c1", "category": "circle" }, { "x": 2, "y": 0, "w": 1, "h": 1, "id": "c2", "category": "triangle" }, { "x": 3, "y": 0, "w": 1, "h": 1, "id": "c3", "clue": 1, "category": "circle" }, { "x": 4, "y": 0, "w": 1, "h": 1, "id": "c4", "category": "triangle" }, { "x": 5, "y": 0, "w": 1, "h": 1, "id": "c5", "category": "circle" }, { "x": 0, "y": 1, "w": 1, "h": 1, "id": "c6", "category": "circle" }, { "x": 1, "y": 1, "w": 1, "h": 1, "id": "c7", "category": "triangle" }, { "x": 2, "y": 1, "w": 1, "h": 1, "id": "c8", "category": "circle" }, { "x": 3, "y": 1, "w": 1, "h": 1, "id": "c9", "category": "triangle" }, { "x": 4, "y": 1, "w": 1, "h": 1, "id": "c10", "category": "circle", "clue": 13 }, { "x": 5, "y": 1, "w": 1, "h": 1, "id": "c11", "category": "triangle" }, { "x": 0, "y": 2, "w": 1, "h": 2, "id": "c12", "category": "triangle" }, { "x": 1, "y": 2, "w": 1, "h": 1, "id": "c13", "category": "circle" }, { "x": 2, "y": 2, "w": 1, "h": 1, "id": "c14", "category": "triangle" }, { "x": 3, "y": 2, "w": 1, "h": 1, "id": "c15", "category": "circle" }, { "x": 4, "y": 2, "w": 1, "h": 1, "id": "c16", "category": "triangle" }, { "x": 5, "y": 2, "w": 1, "h": 1, "id": "c17", "category": "circle" }, { "x": 1, "y": 3, "w": 1, "h": 1, "id": "c18", "category": "triangle" }, { "x": 2, "y": 3, "w": 1, "h": 2, "id": "c19", "category": "circle" }, { "x": 3, "y": 3, "w": 1, "h": 1, "id": "c20", "category": "triangle" }, { "x": 4, "y": 3, "w": 1, "h": 1, "id": "c21", "category": "circle" }, { "x": 5, "y": 3, "w": 1, "h": 1, "id": "c22", "category": "triangle" }, { "x": 0, "y": 4, "w": 1, "h": 1, "id": "c23", "category": "circle" }, { "x": 1, "y": 4, "w": 1, "h": 1, "id": "c24", "category": "triangle" }, { "x": 3, "y": 4, "w": 1, "h": 1, "id": "c25", "category": "circle" }, { "x": 4, "y": 4, "w": 1, "h": 1, "id": "c26", "category": "triangle" }, { "x": 5, "y": 4, "w": 1, "h": 1, "id": "c27", "category": "circle" } ], "features": [ "big", "alternation", "walls" ], "contentRevision": 1, "walls": [ [ "c0", "c1" ] ] }, "author": [ "c3", "c4", "c5", "c11", "c17", "c22", "c27", "c26", "c25", "c20", "c21", "c16", "c10", "c9", "c15", "c14", "c8", "c2", "c1", "c7", "c13", "c18", "c19", "c24", "c23", "c12", "c6", "c0" ], "witnesses": [ { "constraint": "alternation", "path": [ "c3", "c2", "c1", "c7", "c13", "c14", "c8", "c9", "c15", "c20", "c21", "c16", "c10", "c4", "c5", "c11", "c17", "c22", "c27", "c26", "c25", "c19", "c18", "c24", "c23", "c12", "c6", "c0" ] }, { "constraint": "wall:0", "path": [ "c3", "c4", "c5", "c11", "c17", "c22", "c27", "c26", "c25", "c20", "c21", "c16", "c10", "c9", "c15", "c14", "c8", "c2", "c1", "c0", "c6", "c7", "c13", "c12", "c23", "c24", "c19", "c18" ] } ], "objective": { "version": "reasoner-v1", "score": 58, "nodeCount": 28, "decisions": 4, "forcedFraction": 0.8571428571428571, "longestForcedRun": 10, "wrongBranches": 6, "nonlocalBranches": 3, "meanWrongDepth": 4.33, "maxWrongDepth": 8, "probeStates": 94, "depthLimit": 8, "stateLimit": 12000, "capped": false, "turns": 15, "branches": [ { "step": 2, "tempting": "c2", "correct": "c4", "survivesAtLeast": 8, "depthCapped": true, "probeStates": 22 }, { "step": 2, "tempting": "c9", "correct": "c4", "survivesAtLeast": 8, "depthCapped": false, "probeStates": 52 }, { "step": 6, "tempting": "c16", "correct": "c22", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 3 }, { "step": 17, "tempting": "c13", "correct": "c8", "survivesAtLeast": 7, "depthCapped": false, "probeStates": 11 }, { "step": 17, "tempting": "c19", "correct": "c8", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 3 }, { "step": 21, "tempting": "c6", "correct": "c13", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 3 } ] }, "spatial": { "turnRate": 0.5769230769230769, "maxRun": 4, "qReversals": 5, "rReversals": 5 }, "source": "略难候选新制作", "attempts": 47 }, { "level": { "mode": "campaign-200-r2", "geometry": "blocks", "cells": [ { "x": 0, "y": 0, "w": 1, "h": 1, "id": "c0", "category": "triangle" }, { "x": 1, "y": 0, "w": 1, "h": 1, "id": "c1", "category": "circle" }, { "x": 2, "y": 0, "w": 1, "h": 1, "id": "c2", "category": "triangle" }, { "x": 3, "y": 0, "w": 1, "h": 1, "id": "c3", "category": "circle" }, { "x": 4, "y": 0, "w": 1, "h": 1, "id": "c4", "category": "triangle" }, { "x": 5, "y": 0, "w": 1, "h": 1, "id": "c5", "category": "circle" }, { "x": 0, "y": 1, "w": 1, "h": 1, "id": "c6", "category": "circle" }, { "x": 2, "y": 1, "w": 1, "h": 1, "id": "c7", "category": "triangle" }, { "x": 4, "y": 1, "w": 1, "h": 1, "id": "c8", "category": "circle" }, { "x": 5, "y": 1, "w": 1, "h": 1, "id": "c9", "category": "triangle" }, { "x": 0, "y": 2, "w": 2, "h": 2, "shape": [ [ 0, 0 ], [ 0, 1 ], [ 1, 0 ] ], "id": "c10", "category": "triangle" }, { "x": 2, "y": 2, "w": 1, "h": 1, "id": "c11", "category": "circle" }, { "x": 3, "y": 2, "w": 2, "h": 1, "id": "c12", "category": "triangle" }, { "x": 5, "y": 2, "w": 1, "h": 1, "id": "c13", "category": "circle" }, { "x": 2, "y": 3, "w": 1, "h": 1, "id": "c14", "clue": 1, "category": "circle" }, { "x": 3, "y": 3, "w": 1, "h": 1, "id": "c15", "category": "triangle" }, { "x": 4, "y": 3, "w": 1, "h": 1, "id": "c16", "category": "circle" }, { "x": 5, "y": 3, "w": 1, "h": 1, "id": "c17", "category": "triangle" }, { "x": 0, "y": 4, "w": 1, "h": 1, "id": "c18", "category": "triangle" }, { "x": 1, "y": 4, "w": 1, "h": 1, "id": "c19", "category": "circle" }, { "x": 2, "y": 4, "w": 1, "h": 1, "id": "c20", "category": "triangle" }, { "x": 3, "y": 4, "w": 1, "h": 1, "id": "c21", "category": "circle", "direction": "lu" }, { "x": 4, "y": 4, "w": 1, "h": 1, "id": "c22", "category": "triangle" }, { "x": 5, "y": 4, "w": 1, "h": 1, "id": "c23", "category": "circle" }, { "x": 0, "y": 5, "w": 1, "h": 1, "id": "c24", "category": "circle" }, { "x": 1, "y": 5, "w": 1, "h": 1, "id": "c25", "category": "triangle" }, { "x": 2, "y": 5, "w": 1, "h": 1, "id": "c26", "category": "circle" }, { "x": 3, "y": 5, "w": 1, "h": 1, "id": "c27", "category": "triangle" }, { "x": 4, "y": 5, "w": 1, "h": 1, "id": "c28", "category": "circle" }, { "x": 5, "y": 5, "w": 1, "h": 1, "id": "c29", "category": "triangle" } ], "features": [ "big", "direction", "alternation" ], "contentRevision": 1 }, "author": [ "c14", "c15", "c21", "c20", "c19", "c18", "c24", "c25", "c26", "c27", "c28", "c29", "c23", "c22", "c16", "c17", "c13", "c12", "c8", "c9", "c5", "c4", "c3", "c2", "c1", "c0", "c6", "c10", "c11", "c7" ], "witnesses": [ { "constraint": "direction:c21", "path": [ "c14", "c15", "c16", "c22", "c21", "c20", "c19", "c18", "c24", "c25", "c26", "c27", "c28", "c29", "c23", "c17", "c13", "c12", "c8", "c9", "c5", "c4", "c3", "c2", "c1", "c0", "c6", "c10", "c11", "c7" ] }, { "constraint": "alternation", "path": [ "c14", "c15", "c21", "c20", "c19", "c18", "c24", "c25", "c26", "c27", "c28", "c29", "c23", "c22", "c16", "c17", "c13", "c12", "c8", "c9", "c5", "c4", "c3", "c2", "c7", "c11", "c10", "c6", "c0", "c1" ] } ], "objective": { "version": "reasoner-v1", "score": 52, "nodeCount": 30, "decisions": 5, "forcedFraction": 0.8333333333333334, "longestForcedRun": 12, "wrongBranches": 5, "nonlocalBranches": 3, "meanWrongDepth": 3.4, "maxWrongDepth": 8, "probeStates": 47, "depthLimit": 8, "stateLimit": 12000, "capped": false, "turns": 17, "branches": [ { "step": 2, "tempting": "c20", "correct": "c15", "survivesAtLeast": 8, "depthCapped": true, "probeStates": 10 }, { "step": 3, "tempting": "c16", "correct": "c21", "survivesAtLeast": 4, "depthCapped": false, "probeStates": 25 }, { "step": 5, "tempting": "c26", "correct": "c19", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 3 }, { "step": 18, "tempting": "c9", "correct": "c12", "survivesAtLeast": 3, "depthCapped": false, "probeStates": 6 }, { "step": 19, "tempting": "c11", "correct": "c8", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 3 } ] }, "spatial": { "turnRate": 0.6071428571428571, "maxRun": 5, "qReversals": 8, "rReversals": 3 }, "source": "略难候选新制作", "attempts": 1 }, { "level": { "mode": "campaign-200-r2", "geometry": "hex", "cells": [ { "id": "c0", "q": 0, "r": 0, "category": "triangle" }, { "id": "c1", "q": 0, "r": 1, "category": "circle" }, { "id": "c2", "q": 0, "r": 2, "category": "circle" }, { "id": "c3", "q": 0, "r": 3, "category": "triangle" }, { "id": "c4", "q": 0, "r": 4, "category": "circle" }, { "id": "c5", "q": 0, "r": 5, "category": "circle" }, { "id": "c6", "q": 1, "r": 0, "category": "circle" }, { "id": "c7", "q": 1, "r": 1, "category": "triangle" }, { "id": "c8", "q": 1, "r": 2, "category": "circle" }, { "id": "c9", "q": 1, "r": 3, "category": "triangle" }, { "id": "c10", "q": 1, "r": 4, "category": "triangle" }, { "id": "c11", "q": 1, "r": 5, "category": "triangle" }, { "id": "c12", "q": 2, "r": 0, "category": "triangle" }, { "id": "c13", "q": 2, "r": 1, "category": "triangle" }, { "id": "c14", "q": 2, "r": 2, "category": "circle" }, { "id": "c15", "q": 2, "r": 3, "category": "triangle" }, { "id": "c16", "q": 2, "r": 4, "category": "circle" }, { "id": "c17", "q": 2, "r": 5, "category": "triangle" }, { "id": "c18", "q": 3, "r": 0, "category": "circle" }, { "id": "c19", "q": 3, "r": 1, "clue": 1, "category": "circle" }, { "id": "c20", "q": 3, "r": 2, "category": "triangle" }, { "id": "c21", "q": 3, "r": 3, "category": "circle" }, { "id": "c22", "q": 3, "r": 4, "category": "triangle" }, { "id": "c23", "q": 3, "r": 5, "category": "circle" } ], "features": [ "alternation", "walls" ], "contentRevision": 1, "walls": [ [ "c13", "c14" ], [ "c11", "c16" ] ] }, "author": [ "c19", "c20", "c21", "c22", "c23", "c17", "c16", "c15", "c14", "c9", "c8", "c13", "c18", "c12", "c6", "c0", "c1", "c7", "c2", "c3", "c4", "c10", "c5", "c11" ], "witnesses": [ { "constraint": "alternation", "path": [ "c19", "c18", "c12", "c13", "c7", "c6", "c0", "c1", "c2", "c3", "c8", "c14", "c20", "c21", "c15", "c9", "c4", "c5", "c10", "c11", "c17", "c16", "c22", "c23" ] }, { "constraint": "wall:0", "path": [ "c19", "c20", "c21", "c22", "c23", "c17", "c16", "c15", "c14", "c13", "c18", "c12", "c6", "c0", "c1", "c7", "c2", "c3", "c8", "c9", "c4", "c10", "c5", "c11" ] }, { "constraint": "wall:1", "path": [ "c19", "c13", "c18", "c12", "c6", "c0", "c1", "c7", "c2", "c3", "c8", "c9", "c4", "c10", "c5", "c11", "c16", "c17", "c23", "c22", "c21", "c15", "c14", "c20" ] } ], "objective": { "version": "reasoner-v1", "score": 66, "nodeCount": 24, "decisions": 4, "forcedFraction": 0.8333333333333334, "longestForcedRun": 13, "wrongBranches": 4, "nonlocalBranches": 3, "meanWrongDepth": 6.25, "maxWrongDepth": 8, "probeStates": 41, "depthLimit": 8, "stateLimit": 12000, "capped": false, "turns": 13, "branches": [ { "step": 2, "tempting": "c13", "correct": "c20", "survivesAtLeast": 8, "depthCapped": true, "probeStates": 10 }, { "step": 3, "tempting": "c14", "correct": "c21", "survivesAtLeast": 8, "depthCapped": true, "probeStates": 14 }, { "step": 4, "tempting": "c15", "correct": "c22", "survivesAtLeast": 8, "depthCapped": true, "probeStates": 14 }, { "step": 11, "tempting": "c4", "correct": "c8", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 3 } ] }, "spatial": { "turnRate": 0.5909090909090909, "maxRun": 4, "qReversals": 7, "rReversals": 4 }, "source": "略难候选新制作", "attempts": 1 }, { "level": { "mode": "campaign-200-r2", "geometry": "hex", "cells": [ { "id": "c0", "q": 0, "r": 1 }, { "id": "c1", "q": 0, "r": 2 }, { "id": "c2", "q": 0, "r": 3 }, { "id": "c3", "q": 0, "r": 4 }, { "id": "c4", "q": 0, "r": 5 }, { "id": "c5", "q": 1, "r": 0 }, { "id": "c6", "q": 1, "r": 1 }, { "id": "c7", "q": 1, "r": 2, "clue": 20 }, { "id": "c8", "q": 1, "r": 3 }, { "id": "c9", "q": 1, "r": 4, "clue": 1 }, { "id": "c10", "q": 1, "r": 5 }, { "id": "c11", "q": 2, "r": 0 }, { "id": "c12", "q": 2, "r": 1, "clue": 24 }, { "id": "c13", "q": 2, "r": 2 }, { "id": "c14", "q": 2, "r": 3 }, { "id": "c15", "q": 2, "r": 4 }, { "id": "c16", "q": 2, "r": 5, "clue": 4 }, { "id": "c17", "q": 3, "r": 1 }, { "id": "c18", "q": 3, "r": 2, "clue": 11 }, { "id": "c19", "q": 3, "r": 3, "parity": "odd" }, { "id": "c20", "q": 3, "r": 4 }, { "id": "c21", "q": 4, "r": 0 }, { "id": "c22", "q": 4, "r": 1 }, { "id": "c23", "q": 4, "r": 2 }, { "id": "c24", "q": 4, "r": 3 }, { "id": "c25", "q": 4, "r": 4 } ], "features": [ "parity", "walls" ], "contentRevision": 1, "walls": [ [ "c14", "c19" ] ] }, "author": [ "c9", "c4", "c10", "c16", "c15", "c20", "c25", "c24", "c19", "c23", "c18", "c22", "c21", "c17", "c13", "c14", "c8", "c3", "c2", "c7", "c1", "c0", "c6", "c12", "c11", "c5" ], "witnesses": [ { "constraint": "parity:c19", "path": [ "c9", "c4", "c10", "c16", "c15", "c20", "c25", "c24", "c23", "c19", "c18", "c22", "c21", "c17", "c13", "c14", "c8", "c3", "c2", "c7", "c1", "c0", "c6", "c12", "c11", "c5" ] }, { "constraint": "wall:0", "path": [ "c9", "c4", "c10", "c16", "c15", "c20", "c25", "c24", "c19", "c14", "c18", "c23", "c22", "c21", "c17", "c13", "c8", "c3", "c2", "c7", "c1", "c0", "c6", "c12", "c11", "c5" ] } ], "objective": { "version": "reasoner-v1", "score": 68, "nodeCount": 26, "decisions": 11, "forcedFraction": 0.5769230769230769, "longestForcedRun": 4, "wrongBranches": 16, "nonlocalBranches": 7, "meanWrongDepth": 3.75, "maxWrongDepth": 8, "probeStates": 156, "depthLimit": 8, "stateLimit": 12000, "capped": false, "turns": 20, "branches": [ { "step": 2, "tempting": "c10", "correct": "c4", "survivesAtLeast": 7, "depthCapped": false, "probeStates": 11 }, { "step": 2, "tempting": "c14", "correct": "c4", "survivesAtLeast": 8, "depthCapped": true, "probeStates": 12 }, { "step": 2, "tempting": "c15", "correct": "c4", "survivesAtLeast": 8, "depthCapped": true, "probeStates": 21 }, { "step": 5, "tempting": "c20", "correct": "c15", "survivesAtLeast": 6, "depthCapped": false, "probeStates": 32 }, { "step": 6, "tempting": "c14", "correct": "c20", "survivesAtLeast": 4, "depthCapped": false, "probeStates": 15 }, { "step": 7, "tempting": "c19", "correct": "c25", "survivesAtLeast": 2, "depthCapped": false, "probeStates": 7 }, { "step": 7, "tempting": "c24", "correct": "c25", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 3 }, { "step": 9, "tempting": "c23", "correct": "c19", "survivesAtLeast": 2, "depthCapped": false, "probeStates": 3 }, { "step": 12, "tempting": "c13", "correct": "c22", "survivesAtLeast": 8, "depthCapped": true, "probeStates": 17 }, { "step": 12, "tempting": "c14", "correct": "c22", "survivesAtLeast": 8, "depthCapped": true, "probeStates": 12 }, { "step": 12, "tempting": "c17", "correct": "c22", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 4 }, { "step": 13, "tempting": "c17", "correct": "c21", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 3 }, { "step": 16, "tempting": "c8", "correct": "c14", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 4 }, { "step": 18, "tempting": "c2", "correct": "c3", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 3 }, { "step": 21, "tempting": "c6", "correct": "c1", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 5 }, { "step": 22, "tempting": "c6", "correct": "c0", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 4 } ] }, "spatial": { "turnRate": 0.8333333333333334, "maxRun": 2, "qReversals": 10, "rReversals": 3 }, "source": "略难候选新制作", "attempts": 1 }, { "level": { "mode": "campaign-200-r2", "geometry": "hex", "cells": [ { "id": "c0", "q": 0, "r": 0, "clue": 1, "category": "circle" }, { "id": "c1", "q": 0, "r": 1, "category": "triangle" }, { "id": "c2", "q": 0, "r": 2, "category": "triangle" }, { "id": "c3", "q": 0, "r": 3, "category": "circle" }, { "id": "c4", "q": 0, "r": 4, "category": "triangle" }, { "id": "c5", "q": 0, "r": 5, "category": "triangle" }, { "id": "c6", "q": 1, "r": 0, "category": "circle" }, { "id": "c7", "q": 1, "r": 1, "category": "circle" }, { "id": "c8", "q": 1, "r": 2, "category": "circle" }, { "id": "c9", "q": 1, "r": 3, "category": "triangle" }, { "id": "c10", "q": 1, "r": 4, "category": "circle" }, { "id": "c11", "q": 1, "r": 5, "category": "circle" }, { "id": "c12", "q": 2, "r": 0, "category": "triangle" }, { "id": "c13", "q": 2, "r": 1, "category": "triangle" }, { "id": "c14", "q": 2, "r": 2, "category": "triangle" }, { "id": "c15", "q": 2, "r": 3, "category": "circle" }, { "id": "c16", "q": 2, "r": 5, "category": "triangle" }, { "id": "c17", "q": 3, "r": 0, "category": "circle" }, { "id": "c18", "q": 3, "r": 1, "category": "circle", "clue": 25 }, { "id": "c19", "q": 3, "r": 2, "category": "triangle" }, { "id": "c20", "q": 3, "r": 3, "category": "circle" }, { "id": "c21", "q": 3, "r": 4, "category": "triangle" }, { "id": "c22", "q": 3, "r": 5, "category": "circle" }, { "id": "c23", "q": 4, "r": 0, "category": "triangle" }, { "id": "c24", "q": 4, "r": 1, "category": "circle" }, { "id": "c25", "q": 4, "r": 2, "category": "triangle" }, { "id": "c26", "q": 4, "r": 4, "category": "circle" }, { "id": "c27", "q": 4, "r": 5, "category": "triangle", "clue": 12 } ], "features": [ "alternation", "walls", "rhythm-door" ], "contentRevision": 1, "doors": [ { "edge": [ "c18", "c19" ], "initialOpen": false } ], "walls": [ [ "c2", "c8" ] ] }, "author": [ "c0", "c1", "c6", "c12", "c17", "c23", "c24", "c25", "c20", "c21", "c26", "c27", "c22", "c16", "c11", "c5", "c10", "c4", "c3", "c2", "c7", "c13", "c8", "c14", "c18", "c19", "c15", "c9" ], "witnesses": [ { "constraint": "alternation", "path": [ "c0", "c1", "c2", "c3", "c4", "c9", "c10", "c5", "c11", "c16", "c22", "c27", "c26", "c21", "c20", "c15", "c14", "c8", "c7", "c6", "c12", "c13", "c17", "c23", "c18", "c19", "c24", "c25" ] }, { "constraint": "wall:0", "path": [ "c0", "c1", "c6", "c12", "c17", "c23", "c24", "c25", "c20", "c21", "c26", "c27", "c22", "c16", "c11", "c5", "c10", "c4", "c3", "c9", "c8", "c2", "c7", "c13", "c18", "c14", "c15", "c19" ] }, { "constraint": "door:0", "path": [ "c0", "c1", "c6", "c12", "c17", "c23", "c24", "c25", "c20", "c21", "c26", "c27", "c22", "c16", "c11", "c5", "c10", "c4", "c3", "c9", "c8", "c14", "c15", "c19", "c18", "c13", "c7", "c2" ] } ], "objective": { "version": "reasoner-v1", "score": 52, "nodeCount": 28, "decisions": 7, "forcedFraction": 0.75, "longestForcedRun": 8, "wrongBranches": 7, "nonlocalBranches": 3, "meanWrongDepth": 3.14, "maxWrongDepth": 8, "probeStates": 47, "depthLimit": 8, "stateLimit": 12000, "capped": false, "turns": 19, "branches": [ { "step": 3, "tempting": "c7", "correct": "c6", "survivesAtLeast": 8, "depthCapped": true, "probeStates": 9 }, { "step": 5, "tempting": "c7", "correct": "c17", "survivesAtLeast": 2, "depthCapped": false, "probeStates": 5 }, { "step": 6, "tempting": "c13", "correct": "c23", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 3 }, { "step": 8, "tempting": "c19", "correct": "c25", "survivesAtLeast": 2, "depthCapped": false, "probeStates": 5 }, { "step": 11, "tempting": "c22", "correct": "c26", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 2 }, { "step": 18, "tempting": "c9", "correct": "c4", "survivesAtLeast": 4, "depthCapped": false, "probeStates": 13 }, { "step": 20, "tempting": "c9", "correct": "c2", "survivesAtLeast": 4, "depthCapped": false, "probeStates": 10 } ] }, "spatial": { "turnRate": 0.7307692307692307, "maxRun": 4, "qReversals": 9, "rReversals": 6 }, "source": "略难候选新制作", "attempts": 15 }, { "level": { "mode": "campaign-200-r2", "geometry": "square", "cells": [ { "x": 0, "y": 0, "w": 1, "h": 1, "id": "c0" }, { "x": 1, "y": 0, "w": 1, "h": 1, "id": "c1" }, { "x": 2, "y": 0, "w": 1, "h": 1, "id": "c2" }, { "x": 3, "y": 0, "w": 1, "h": 1, "id": "c3" }, { "x": 4, "y": 0, "w": 1, "h": 1, "id": "c4" }, { "x": 5, "y": 0, "w": 1, "h": 1, "id": "c5" }, { "x": 0, "y": 1, "w": 1, "h": 1, "id": "c6" }, { "x": 1, "y": 1, "w": 1, "h": 1, "id": "c7", "direction": "dl" }, { "x": 2, "y": 1, "w": 1, "h": 1, "id": "c8" }, { "x": 3, "y": 1, "w": 1, "h": 1, "id": "c9" }, { "x": 4, "y": 1, "w": 1, "h": 1, "id": "c10" }, { "x": 5, "y": 1, "w": 1, "h": 1, "id": "c11" }, { "x": 0, "y": 2, "w": 1, "h": 1, "id": "c12" }, { "x": 1, "y": 2, "w": 1, "h": 1, "id": "c13", "clue": 1 }, { "x": 2, "y": 2, "w": 1, "h": 1, "id": "c14" }, { "x": 3, "y": 2, "w": 1, "h": 1, "id": "c15", "clue": 9 }, { "x": 4, "y": 2, "w": 1, "h": 1, "id": "c16" }, { "x": 5, "y": 2, "w": 1, "h": 1, "id": "c17" }, { "x": 0, "y": 3, "w": 1, "h": 1, "id": "c18" }, { "x": 1, "y": 3, "w": 1, "h": 1, "id": "c19" }, { "x": 2, "y": 3, "w": 1, "h": 1, "id": "c20" }, { "x": 3, "y": 3, "w": 1, "h": 1, "id": "c21" }, { "x": 4, "y": 3, "w": 1, "h": 1, "id": "c22" }, { "x": 5, "y": 3, "w": 1, "h": 1, "id": "c23" }, { "x": 0, "y": 4, "w": 1, "h": 1, "id": "c24" }, { "x": 1, "y": 4, "w": 1, "h": 1, "id": "c25" }, { "x": 2, "y": 4, "w": 1, "h": 1, "id": "c26" }, { "x": 3, "y": 4, "w": 1, "h": 1, "id": "c27" }, { "x": 4, "y": 4, "w": 1, "h": 1, "id": "c28" }, { "x": 5, "y": 4, "w": 1, "h": 1, "id": "c29" } ], "features": [ "direction", "rhythm-door" ], "contentRevision": 1, "doors": [ { "edge": [ "c10", "c16" ], "initialOpen": false } ] }, "author": [ "c13", "c7", "c6", "c0", "c1", "c2", "c8", "c14", "c15", "c9", "c3", "c4", "c5", "c11", "c10", "c16", "c17", "c23", "c29", "c28", "c22", "c21", "c27", "c26", "c20", "c19", "c25", "c24", "c18", "c12" ], "witnesses": [ { "constraint": "direction:c7", "path": [ "c13", "c12", "c6", "c0", "c1", "c7", "c8", "c14", "c15", "c9", "c10", "c16", "c22", "c21", "c20", "c19", "c18", "c24", "c25", "c26", "c27", "c28", "c29", "c23", "c17", "c11", "c5", "c4", "c3", "c2" ] }, { "constraint": "door:0", "path": [ "c13", "c7", "c6", "c0", "c1", "c2", "c8", "c14", "c15", "c16", "c10", "c9", "c3", "c4", "c5", "c11", "c17", "c23", "c29", "c28", "c22", "c21", "c27", "c26", "c20", "c19", "c25", "c24", "c18", "c12" ] } ], "objective": { "version": "reasoner-v1", "score": 66, "nodeCount": 30, "decisions": 5, "forcedFraction": 0.8333333333333334, "longestForcedRun": 20, "wrongBranches": 8, "nonlocalBranches": 5, "meanWrongDepth": 4.88, "maxWrongDepth": 8, "probeStates": 101, "depthLimit": 8, "stateLimit": 12000, "capped": false, "turns": 22, "branches": [ { "step": 2, "tempting": "c12", "correct": "c7", "survivesAtLeast": 8, "depthCapped": true, "probeStates": 15 }, { "step": 2, "tempting": "c14", "correct": "c7", "survivesAtLeast": 8, "depthCapped": true, "probeStates": 11 }, { "step": 2, "tempting": "c19", "correct": "c7", "survivesAtLeast": 8, "depthCapped": true, "probeStates": 13 }, { "step": 4, "tempting": "c12", "correct": "c0", "survivesAtLeast": 2, "depthCapped": false, "probeStates": 4 }, { "step": 7, "tempting": "c3", "correct": "c8", "survivesAtLeast": 2, "depthCapped": false, "probeStates": 4 }, { "step": 8, "tempting": "c9", "correct": "c14", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 2 }, { "step": 10, "tempting": "c16", "correct": "c9", "survivesAtLeast": 6, "depthCapped": false, "probeStates": 26 }, { "step": 10, "tempting": "c21", "correct": "c9", "survivesAtLeast": 4, "depthCapped": false, "probeStates": 26 } ] }, "spatial": { "turnRate": 0.7857142857142857, "maxRun": 2, "qReversals": 4, "rReversals": 8 }, "source": "略难候选新制作", "attempts": 50 }, { "level": { "mode": "campaign-200-r2", "geometry": "square", "cells": [ { "x": 1, "y": 0, "w": 1, "h": 1, "id": "c0", "clue": 1 }, { "x": 2, "y": 0, "w": 1, "h": 1, "id": "c1" }, { "x": 3, "y": 0, "w": 1, "h": 1, "id": "c2" }, { "x": 4, "y": 0, "w": 1, "h": 1, "id": "c3" }, { "x": 0, "y": 1, "w": 1, "h": 1, "id": "c4" }, { "x": 1, "y": 1, "w": 1, "h": 1, "id": "c5" }, { "x": 2, "y": 1, "w": 1, "h": 1, "id": "c6" }, { "x": 3, "y": 1, "w": 1, "h": 1, "id": "c7" }, { "x": 4, "y": 1, "w": 1, "h": 1, "id": "c8" }, { "x": 0, "y": 2, "w": 1, "h": 1, "id": "c9", "direction": "ru" }, { "x": 1, "y": 2, "w": 1, "h": 1, "id": "c10" }, { "x": 2, "y": 2, "w": 1, "h": 1, "id": "c11" }, { "x": 3, "y": 2, "w": 1, "h": 1, "id": "c12", "clue": 17 }, { "x": 4, "y": 2, "w": 1, "h": 1, "id": "c13" }, { "x": 0, "y": 3, "w": 1, "h": 1, "id": "c14" }, { "x": 1, "y": 3, "w": 1, "h": 1, "id": "c15" }, { "x": 2, "y": 3, "w": 1, "h": 1, "id": "c16" }, { "x": 3, "y": 3, "w": 1, "h": 1, "id": "c17" }, { "x": 4, "y": 3, "w": 1, "h": 1, "id": "c18" }, { "x": 0, "y": 4, "w": 1, "h": 1, "id": "c19", "clue": 8 }, { "x": 1, "y": 4, "w": 1, "h": 1, "id": "c20" }, { "x": 2, "y": 4, "w": 1, "h": 1, "id": "c21" }, { "x": 3, "y": 4, "w": 1, "h": 1, "id": "c22" }, { "x": 4, "y": 4, "w": 1, "h": 1, "id": "c23" } ], "features": [ "direction", "walls" ], "contentRevision": 1, "walls": [ [ "c1", "c2" ] ] }, "author": [ "c0", "c5", "c4", "c9", "c10", "c15", "c14", "c19", "c20", "c21", "c22", "c23", "c18", "c17", "c16", "c11", "c12", "c13", "c8", "c3", "c2", "c7", "c6", "c1" ], "witnesses": [ { "constraint": "direction:c9", "path": [ "c0", "c1", "c6", "c5", "c4", "c9", "c14", "c19", "c20", "c15", "c10", "c11", "c16", "c21", "c22", "c17", "c12", "c7", "c2", "c3", "c8", "c13", "c18", "c23" ] }, { "constraint": "wall:0", "path": [ "c0", "c5", "c4", "c9", "c10", "c15", "c14", "c19", "c20", "c21", "c16", "c11", "c6", "c1", "c2", "c7", "c12", "c17", "c22", "c23", "c18", "c13", "c8", "c3" ] } ], "objective": { "version": "reasoner-v1", "score": 59, "nodeCount": 24, "decisions": 3, "forcedFraction": 0.875, "longestForcedRun": 10, "wrongBranches": 3, "nonlocalBranches": 2, "meanWrongDepth": 5.33, "maxWrongDepth": 8, "probeStates": 58, "depthLimit": 8, "stateLimit": 12000, "capped": false, "turns": 16, "branches": [ { "step": 2, "tempting": "c1", "correct": "c5", "survivesAtLeast": 6, "depthCapped": false, "probeStates": 39 }, { "step": 11, "tempting": "c16", "correct": "c22", "survivesAtLeast": 8, "depthCapped": true, "probeStates": 15 }, { "step": 14, "tempting": "c13", "correct": "c17", "survivesAtLeast": 2, "depthCapped": false, "probeStates": 4 } ] }, "spatial": { "turnRate": 0.7272727272727273, "maxRun": 4, "qReversals": 6, "rReversals": 3 }, "source": "略难候选新制作", "attempts": 63 }, { "level": { "mode": "campaign-200-r2", "geometry": "blocks", "cells": [ { "x": 0, "y": 0, "w": 1, "h": 1, "id": "c0" }, { "x": 1, "y": 0, "w": 1, "h": 1, "id": "c1" }, { "x": 2, "y": 0, "w": 1, "h": 1, "id": "c2" }, { "x": 3, "y": 0, "w": 1, "h": 2, "id": "c3" }, { "x": 4, "y": 0, "w": 1, "h": 1, "id": "c4" }, { "x": 5, "y": 0, "w": 1, "h": 1, "id": "c5" }, { "x": 0, "y": 1, "w": 1, "h": 1, "id": "c6" }, { "x": 1, "y": 1, "w": 1, "h": 1, "id": "c7", "parity": "even" }, { "x": 2, "y": 1, "w": 1, "h": 1, "id": "c8" }, { "x": 4, "y": 1, "w": 1, "h": 1, "id": "c9" }, { "x": 5, "y": 1, "w": 1, "h": 1, "id": "c10" }, { "x": 0, "y": 2, "w": 1, "h": 1, "id": "c11" }, { "x": 1, "y": 2, "w": 1, "h": 1, "id": "c12" }, { "x": 2, "y": 2, "w": 1, "h": 1, "id": "c13" }, { "x": 3, "y": 2, "w": 1, "h": 2, "id": "c14" }, { "x": 4, "y": 2, "w": 1, "h": 1, "id": "c15" }, { "x": 5, "y": 2, "w": 1, "h": 1, "id": "c16" }, { "x": 0, "y": 3, "w": 1, "h": 1, "id": "c17" }, { "x": 1, "y": 3, "w": 1, "h": 1, "id": "c18" }, { "x": 2, "y": 3, "w": 1, "h": 1, "id": "c19" }, { "x": 4, "y": 3, "w": 1, "h": 1, "id": "c20" }, { "x": 0, "y": 4, "w": 1, "h": 1, "id": "c21", "clue": 1 }, { "x": 2, "y": 4, "w": 1, "h": 1, "id": "c22" }, { "x": 3, "y": 4, "w": 1, "h": 1, "id": "c23" }, { "x": 4, "y": 4, "w": 1, "h": 1, "id": "c24" }, { "x": 5, "y": 4, "w": 1, "h": 1, "id": "c25" } ], "features": [ "big", "parity", "walls" ], "contentRevision": 1, "walls": [ [ "c8", "c13" ] ] }, "author": [ "c21", "c17", "c18", "c19", "c22", "c23", "c14", "c13", "c12", "c11", "c6", "c0", "c1", "c7", "c8", "c2", "c3", "c9", "c4", "c5", "c10", "c16", "c15", "c20", "c24", "c25" ], "witnesses": [ { "constraint": "parity:c7", "path": [ "c21", "c17", "c11", "c6", "c0", "c1", "c7", "c8", "c2", "c3", "c9", "c4", "c5", "c10", "c16", "c15", "c20", "c14", "c13", "c12", "c18", "c19", "c22", "c23", "c24", "c25" ] }, { "constraint": "wall:0", "path": [ "c21", "c17", "c11", "c12", "c18", "c19", "c22", "c23", "c14", "c13", "c8", "c7", "c6", "c0", "c1", "c2", "c3", "c9", "c4", "c5", "c10", "c16", "c15", "c20", "c24", "c25" ] } ], "objective": { "version": "reasoner-v1", "score": 53, "nodeCount": 26, "decisions": 4, "forcedFraction": 0.8461538461538461, "longestForcedRun": 10, "wrongBranches": 4, "nonlocalBranches": 3, "meanWrongDepth": 4.25, "maxWrongDepth": 8, "probeStates": 26, "depthLimit": 8, "stateLimit": 12000, "capped": false, "turns": 18, "branches": [ { "step": 3, "tempting": "c11", "correct": "c18", "survivesAtLeast": 8, "depthCapped": true, "probeStates": 10 }, { "step": 4, "tempting": "c12", "correct": "c19", "survivesAtLeast": 5, "depthCapped": false, "probeStates": 7 }, { "step": 7, "tempting": "c24", "correct": "c14", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 3 }, { "step": 18, "tempting": "c4", "correct": "c9", "survivesAtLeast": 3, "depthCapped": false, "probeStates": 6 } ] }, "spatial": { "turnRate": 0.75, "maxRun": 3, "qReversals": 4, "rReversals": 7 }, "source": "略难候选新制作", "attempts": 80 }, { "level": { "mode": "campaign-200-r2", "geometry": "blocks", "cells": [ { "x": 0, "y": 0, "w": 1, "h": 1, "id": "c0" }, { "x": 1, "y": 0, "w": 1, "h": 1, "id": "c1" }, { "x": 2, "y": 0, "w": 1, "h": 1, "id": "c2" }, { "x": 3, "y": 0, "w": 1, "h": 1, "id": "c3" }, { "x": 4, "y": 0, "w": 1, "h": 1, "id": "c4" }, { "x": 5, "y": 0, "w": 1, "h": 1, "id": "c5" }, { "x": 1, "y": 1, "w": 1, "h": 1, "id": "c6", "parity": "odd" }, { "x": 2, "y": 1, "w": 1, "h": 1, "id": "c7" }, { "x": 3, "y": 1, "w": 1, "h": 1, "id": "c8" }, { "x": 4, "y": 1, "w": 1, "h": 1, "id": "c9" }, { "x": 5, "y": 1, "w": 1, "h": 1, "id": "c10" }, { "x": 0, "y": 2, "w": 1, "h": 1, "id": "c11", "clue": 1 }, { "x": 1, "y": 2, "w": 1, "h": 1, "id": "c12" }, { "x": 2, "y": 2, "w": 1, "h": 1, "id": "c13", "direction": "dr" }, { "x": 3, "y": 2, "w": 1, "h": 1, "id": "c14", "direction": "lu" }, { "x": 4, "y": 2, "w": 1, "h": 1, "id": "c15" }, { "x": 5, "y": 2, "w": 1, "h": 1, "id": "c16" }, { "x": 0, "y": 3, "w": 1, "h": 1, "id": "c17" }, { "x": 1, "y": 3, "w": 1, "h": 1, "id": "c18" }, { "x": 2, "y": 3, "w": 1, "h": 1, "id": "c19" }, { "x": 3, "y": 3, "w": 1, "h": 1, "id": "c20" }, { "x": 4, "y": 3, "w": 1, "h": 1, "id": "c21" }, { "x": 5, "y": 3, "w": 1, "h": 1, "id": "c22" }, { "x": 0, "y": 4, "w": 1, "h": 1, "id": "c23" }, { "x": 1, "y": 4, "w": 2, "h": 1, "id": "c24" }, { "x": 3, "y": 4, "w": 1, "h": 1, "id": "c25" }, { "x": 4, "y": 4, "w": 1, "h": 1, "id": "c26" }, { "x": 5, "y": 4, "w": 1, "h": 1, "id": "c27" } ], "features": [ "big", "direction", "parity" ], "contentRevision": 1 }, "author": [ "c11", "c12", "c6", "c7", "c8", "c14", "c13", "c19", "c18", "c17", "c23", "c24", "c25", "c20", "c21", "c26", "c27", "c22", "c16", "c15", "c9", "c10", "c5", "c4", "c3", "c2", "c1", "c0" ], "witnesses": [ { "constraint": "parity:c6", "path": [ "c11", "c17", "c23", "c24", "c25", "c20", "c21", "c26", "c27", "c22", "c16", "c15", "c9", "c10", "c5", "c4", "c3", "c2", "c7", "c8", "c14", "c13", "c19", "c18", "c12", "c6", "c1", "c0" ] }, { "constraint": "direction:c13", "path": [ "c11", "c12", "c6", "c7", "c13", "c14", "c8", "c9", "c15", "c21", "c20", "c19", "c18", "c17", "c23", "c24", "c25", "c26", "c27", "c22", "c16", "c10", "c5", "c4", "c3", "c2", "c1", "c0" ] }, { "constraint": "direction:c14", "path": [ "c11", "c12", "c6", "c7", "c8", "c9", "c15", "c14", "c13", "c19", "c18", "c17", "c23", "c24", "c25", "c20", "c21", "c26", "c27", "c22", "c16", "c10", "c5", "c4", "c3", "c2", "c1", "c0" ] } ], "objective": { "version": "reasoner-v1", "score": 57, "nodeCount": 28, "decisions": 6, "forcedFraction": 0.7857142857142857, "longestForcedRun": 19, "wrongBranches": 8, "nonlocalBranches": 4, "meanWrongDepth": 3.63, "maxWrongDepth": 8, "probeStates": 81, "depthLimit": 8, "stateLimit": 12000, "capped": false, "turns": 18, "branches": [ { "step": 2, "tempting": "c17", "correct": "c12", "survivesAtLeast": 8, "depthCapped": true, "probeStates": 16 }, { "step": 3, "tempting": "c18", "correct": "c6", "survivesAtLeast": 8, "depthCapped": true, "probeStates": 9 }, { "step": 4, "tempting": "c1", "correct": "c7", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 3 }, { "step": 5, "tempting": "c2", "correct": "c8", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 3 }, { "step": 6, "tempting": "c3", "correct": "c14", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 3 }, { "step": 6, "tempting": "c9", "correct": "c14", "survivesAtLeast": 4, "depthCapped": false, "probeStates": 21 }, { "step": 9, "tempting": "c20", "correct": "c18", "survivesAtLeast": 5, "depthCapped": false, "probeStates": 22 }, { "step": 9, "tempting": "c24", "correct": "c18", "survivesAtLeast": 1, "depthCapped": false, "probeStates": 4 } ] }, "spatial": { "turnRate": 0.6923076923076923, "maxRun": 5, "qReversals": 5, "rReversals": 4 }, "source": "略难候选新制作", "attempts": 36 }, { "level": { "mode": "campaign-200-r2", "geometry": "blocks", "cells": [ { "x": 0, "y": 0, "w": 1, "h": 1, "id": "c0", "category": "triangle" }, { "x": 1, "y": 0, "w": 2, "h": 2, "shape": [ [ 0, 0 ], [ 1, 0 ], [ 0, 1 ] ], "id": "c1", "category": "circle" }, { "x": 3, "y": 0, "w": 1, "h": 1, "id": "c2", "category": "triangle" }, { "x": 4, "y": 0, "w": 1, "h": 1, "id": "c3", "category": "circle" }, { "x": 0, "y": 1, "w": 1, "h": 1, "id": "c4", "category": "circle" }, { "x": 2, "y": 1, "w": 1, "h": 1, "id": "c5", "category": "triangle" }, { "x": 3, "y": 1, "w": 1, "h": 1, "id": "c6", "category": "circle" }, { "x": 4, "y": 1, "w": 1, "h": 1, "id": "c7", "category": "triangle" }, { "x": 5, "y": 1, "w": 1, "h": 1, "id": "c8", "clue": 1, "category": "circle" }, { "x": 0, "y": 2, "w": 1, "h": 1, "id": "c9", "category": "triangle" }, { "x": 1, "y": 2, "w": 1, "h": 1, "id": "c10", "category": "circle" }, { "x": 2, "y": 2, "w": 1, "h": 1, "id": "c11", "category": "circle" }, { "x": 3, "y": 2, "w": 1, "h": 1, "id": "c12", "category": "triangle" }, { "x": 4, "y": 2, "w": 1, "h": 1, "id": "c13", "category": "circle" }, { "x": 5, "y": 2, "w": 1, "h": 1, "id": "c14", "category": "triangle" }, { "x": 0, "y": 3, "w": 1, "h": 1, "id": "c15", "category": "triangle" }, { "x": 1, "y": 3, "w": 1, "h": 1, "id": "c16", "category": "triangle" }, { "x": 2, "y": 3, "w": 1, "h": 1, "id": "c17", "category": "circle" }, { "x": 3, "y": 3, "w": 1, "h": 1, "id": "c18", "category": "circle" }, { "x": 4, "y": 3, "w": 1, "h": 1, "id": "c19", "category": "triangle" }, { "x": 5, "y": 3, "w": 1, "h": 1, "id": "c20", "category": "circle" }, { "x": 0, "y": 4, "w": 1, "h": 1, "id": "c21", "category": "circle" }, { "x": 1, "y": 4, "w": 2, "h": 1, "id": "c22", "category": "triangle" }, { "x": 3, "y": 4, "w": 1, "h": 1, "id": "c23", "category": "triangle" }, { "x": 5, "y": 4, "w": 1, "h": 1, "id": "c24", "category": "triangle" }, { "x": 0, "y": 5, "w": 1, "h": 1, "id": "c25", "category": "triangle" }, { "x": 1, "y": 5, "w": 1, "h": 1, "id": "c26", "category": "circle" }, { "x": 3, "y": 5, "w": 1, "h": 1, "id": "c27", "category": "circle" }, { "x": 4, "y": 5, "w": 1, "h": 1, "id": "c28", "category": "triangle" }, { "x": 5, "y": 5, "w": 1, "h": 1, "id": "c29", "category": "circle" } ], "features": [ "big", "alternation", "walls" ], "contentRevision": 1, "walls": [ [ "c1", "c2" ] ] }, "author": [ "c8", "c14", "c20", "c24", "c29", "c28", "c27", "c23", "c18", "c19", "c13", "c7", "c3", "c2", "c6", "c12", "c11", "c5", "c1", "c0", "c4", "c9", "c10", "c16", "c17", "c22", "c26", "c25", "c21", "c15" ], "witnesses": [ { "constraint": "alternation", "path": [ "c8", "c14", "c20", "c24", "c29", "c28", "c27", "c23", "c18", "c19", "c13", "c7", "c3", "c2", "c6", "c12", "c11", "c5", "c1", "c0", "c4", "c9", "c10", "c16", "c15", "c21", "c25", "c26", "c22", "c17" ] }, { "constraint": "wall:0", "path": [ "c8", "c14", "c20", "c24", "c29", "c28", "c27", "c23", "c18", "c19", "c13", "c12", "c11", "c5", "c6", "c7", "c3", "c2", "c1", "c0", "c4", "c9", "c10", "c16", "c17", "c22", "c26", "c25", "c21", "c15" ] } ], "objective": { "version": "reasoner-v1", "score": 60, "nodeCount": 30, "decisions": 3, "forcedFraction": 0.9, "longestForcedRun": 18, "wrongBranches": 3, "nonlocalBranches": 3, "meanWrongDepth": 5.33, "maxWrongDepth": 8, "probeStates": 44, "depthLimit": 8, "stateLimit": 12000, "capped": false, "turns": 18, "branches": [ { "step": 2, "tempting": "c7", "correct": "c14", "survivesAtLeast": 5, "depthCapped": false, "probeStates": 13 }, { "step": 3, "tempting": "c13", "correct": "c20", "survivesAtLeast": 8, "depthCapped": true, "probeStates": 25 }, { "step": 12, "tempting": "c12", "correct": "c7", "survivesAtLeast": 3, "depthCapped": false, "probeStates": 6 } ] }, "spatial": { "turnRate": 0.6428571428571429, "maxRun": 4, "qReversals": 4, "rReversals": 5 }, "source": "略难候选新制作", "attempts": 37 } ]