{
  "cases": [
    {
      "results": {
        "B": {
          "context_correct": 19,
          "cost": {
            "cells": 17,
            "common_validation_visits": 37,
            "construction_cpu_seconds": 9.399999999999686e-05,
            "construction_ticks": 4,
            "construction_wall_seconds": 9.483378380537033e-05,
            "cue_reads": 37,
            "development_message_bytes": 0,
            "development_messages": 0,
            "edge_visits": 40,
            "edges": 20,
            "interface_hold_parameter_bytes": 16,
            "persistent_latch_bytes": 4,
            "reserved_buffer_payload_bytes": 1536,
            "rule_applications": 17,
            "serialized_circuit_bytes": 2748
          },
          "exact_replay": true,
          "intact_correct": 34,
          "intact_queries": 34,
          "memory_query_transport_shortcuts_detected": true,
          "retimed_correct": 34,
          "swaps": [
            [
              0,
              5,
              1,
              3
            ],
            [
              1,
              13,
              2,
              4
            ],
            [
              2,
              14,
              2,
              4
            ],
            [
              3,
              11,
              2,
              3
            ]
          ],
          "timing_correct": 0
        },
        "D": {
          "context_correct": 19,
          "cost": {
            "cells": 17,
            "common_validation_visits": 37,
            "construction_cpu_seconds": 0.00012000000000000205,
            "construction_ticks": 4,
            "construction_wall_seconds": 0.00012058299034833908,
            "cue_reads": 37,
            "development_message_bytes": 640,
            "development_messages": 20,
            "edge_visits": 20,
            "edges": 20,
            "interface_hold_parameter_bytes": 16,
            "persistent_latch_bytes": 4,
            "reserved_buffer_payload_bytes": 1536,
            "rule_applications": 17,
            "serialized_circuit_bytes": 2748
          },
          "exact_replay": true,
          "intact_correct": 34,
          "intact_queries": 34,
          "memory_query_transport_shortcuts_detected": true,
          "retimed_correct": 34,
          "swaps": [
            [
              0,
              5,
              1,
              3
            ],
            [
              1,
              13,
              2,
              4
            ],
            [
              2,
              14,
              2,
              4
            ],
            [
              3,
              11,
              2,
              3
            ]
          ],
          "timing_correct": 0
        }
      },
      "setting": [
        1,
        1,
        1
      ]
    },
    {
      "results": {
        "B": {
          "context_correct": 20,
          "cost": {
            "cells": 21,
            "common_validation_visits": 45,
            "construction_cpu_seconds": 0.00011599999999997723,
            "construction_ticks": 5,
            "construction_wall_seconds": 0.00011612474918365479,
            "cue_reads": 45,
            "development_message_bytes": 0,
            "development_messages": 0,
            "edge_visits": 48,
            "edges": 24,
            "interface_hold_parameter_bytes": 16,
            "persistent_latch_bytes": 4,
            "reserved_buffer_payload_bytes": 1536,
            "rule_applications": 21,
            "serialized_circuit_bytes": 3272
          },
          "exact_replay": true,
          "intact_correct": 32,
          "intact_queries": 32,
          "memory_query_transport_shortcuts_detected": true,
          "retimed_correct": 32,
          "swaps": [
            [
              0,
              9,
              1,
              2
            ],
            [
              2,
              17,
              2,
              4
            ],
            [
              4,
              13,
              2,
              3
            ],
            [
              6,
              15,
              2,
              3
            ]
          ],
          "timing_correct": 0
        },
        "D": {
          "context_correct": 20,
          "cost": {
            "cells": 21,
            "common_validation_visits": 45,
            "construction_cpu_seconds": 0.00013199999999999323,
            "construction_ticks": 5,
            "construction_wall_seconds": 0.0001322925090789795,
            "cue_reads": 45,
            "development_message_bytes": 768,
            "development_messages": 24,
            "edge_visits": 24,
            "edges": 24,
            "interface_hold_parameter_bytes": 16,
            "persistent_latch_bytes": 4,
            "reserved_buffer_payload_bytes": 1536,
            "rule_applications": 21,
            "serialized_circuit_bytes": 3272
          },
          "exact_replay": true,
          "intact_correct": 32,
          "intact_queries": 32,
          "memory_query_transport_shortcuts_detected": true,
          "retimed_correct": 32,
          "swaps": [
            [
              0,
              9,
              1,
              2
            ],
            [
              2,
              17,
              2,
              4
            ],
            [
              4,
              13,
              2,
              3
            ],
            [
              6,
              15,
              2,
              3
            ]
          ],
          "timing_correct": 0
        }
      },
      "setting": [
        1,
        2,
        1
      ]
    },
    {
      "results": {
        "B": {
          "context_correct": 0,
          "cost": {
            "cells": 21,
            "common_validation_visits": 45,
            "construction_cpu_seconds": 9.999999999998899e-05,
            "construction_ticks": 5,
            "construction_wall_seconds": 9.999983012676239e-05,
            "cue_reads": 45,
            "development_message_bytes": 0,
            "development_messages": 0,
            "edge_visits": 48,
            "edges": 24,
            "interface_hold_parameter_bytes": 16,
            "persistent_latch_bytes": 8,
            "reserved_buffer_payload_bytes": 1536,
            "rule_applications": 21,
            "serialized_circuit_bytes": 3308
          },
          "exact_replay": true,
          "intact_correct": 43,
          "intact_queries": 43,
          "memory_query_transport_shortcuts_detected": true,
          "retimed_correct": 43,
          "swaps": [
            [
              0,
              5,
              2,
              4
            ],
            [
              1,
              7,
              1,
              3
            ],
            [
              2,
              9,
              2,
              4
            ],
            [
              3,
              11,
              1,
              4
            ]
          ],
          "timing_correct": 0
        },
        "D": {
          "context_correct": 0,
          "cost": {
            "cells": 21,
            "common_validation_visits": 45,
            "construction_cpu_seconds": 0.00010500000000002174,
            "construction_ticks": 5,
            "construction_wall_seconds": 0.0001049581915140152,
            "cue_reads": 45,
            "development_message_bytes": 768,
            "development_messages": 24,
            "edge_visits": 24,
            "edges": 24,
            "interface_hold_parameter_bytes": 16,
            "persistent_latch_bytes": 8,
            "reserved_buffer_payload_bytes": 1536,
            "rule_applications": 21,
            "serialized_circuit_bytes": 3308
          },
          "exact_replay": true,
          "intact_correct": 43,
          "intact_queries": 43,
          "memory_query_transport_shortcuts_detected": true,
          "retimed_correct": 43,
          "swaps": [
            [
              0,
              5,
              2,
              4
            ],
            [
              1,
              7,
              1,
              3
            ],
            [
              2,
              9,
              2,
              4
            ],
            [
              3,
              11,
              1,
              4
            ]
          ],
          "timing_correct": 0
        }
      },
      "setting": [
        2,
        1,
        2
      ]
    },
    {
      "results": {
        "B": {
          "context_correct": 0,
          "cost": {
            "cells": 25,
            "common_validation_visits": 53,
            "construction_cpu_seconds": 0.00012299999999998423,
            "construction_ticks": 5,
            "construction_wall_seconds": 0.000123707577586174,
            "cue_reads": 53,
            "development_message_bytes": 0,
            "development_messages": 0,
            "edge_visits": 56,
            "edges": 28,
            "interface_hold_parameter_bytes": 16,
            "persistent_latch_bytes": 8,
            "reserved_buffer_payload_bytes": 1536,
            "rule_applications": 25,
            "serialized_circuit_bytes": 3832
          },
          "exact_replay": true,
          "intact_correct": 32,
          "intact_queries": 32,
          "memory_query_transport_shortcuts_detected": true,
          "retimed_correct": 32,
          "swaps": [
            [
              0,
              9,
              2,
              3
            ],
            [
              2,
              11,
              2,
              3
            ],
            [
              4,
              13,
              2,
              3
            ],
            [
              6,
              15,
              1,
              3
            ]
          ],
          "timing_correct": 0
        },
        "D": {
          "context_correct": 0,
          "cost": {
            "cells": 25,
            "common_validation_visits": 53,
            "construction_cpu_seconds": 0.00012300000000003974,
            "construction_ticks": 5,
            "construction_wall_seconds": 0.00012408383190631866,
            "cue_reads": 53,
            "development_message_bytes": 896,
            "development_messages": 28,
            "edge_visits": 28,
            "edges": 28,
            "interface_hold_parameter_bytes": 16,
            "persistent_latch_bytes": 8,
            "reserved_buffer_payload_bytes": 1536,
            "rule_applications": 25,
            "serialized_circuit_bytes": 3832
          },
          "exact_replay": true,
          "intact_correct": 32,
          "intact_queries": 32,
          "memory_query_transport_shortcuts_detected": true,
          "retimed_correct": 32,
          "swaps": [
            [
              0,
              9,
              2,
              3
            ],
            [
              2,
              11,
              2,
              3
            ],
            [
              4,
              13,
              2,
              3
            ],
            [
              6,
              15,
              1,
              3
            ]
          ],
          "timing_correct": 0
        }
      },
      "setting": [
        2,
        2,
        1
      ]
    }
  ],
  "completed_utc": "2026-10-14T20:32:03.902601+00:00",
  "scored_evaluation_generated": false
}