{
  "cases": [
    {
      "results": {
        "B": {
          "context_correct": 19,
          "cost": {
            "cells": 17,
            "common_validation_visits": 37,
            "construction_cpu_seconds": 8.600000000000274e-05,
            "construction_ticks": 4,
            "construction_wall_seconds": 8.587446063756943e-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.00011900000000000105,
            "construction_ticks": 4,
            "construction_wall_seconds": 0.00011929124593734741,
            "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.00011799999999997923,
            "construction_ticks": 5,
            "construction_wall_seconds": 0.0001172088086605072,
            "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": 9.699999999998599e-05,
            "construction_ticks": 5,
            "construction_wall_seconds": 9.691715240478516e-05,
            "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": 0.00010066665709018707,
            "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": 9.999999999998899e-05,
            "construction_ticks": 5,
            "construction_wall_seconds": 0.00010083243250846863,
            "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.00011700000000003374,
            "construction_ticks": 5,
            "construction_wall_seconds": 0.0001172088086605072,
            "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.00011699999999997823,
            "construction_ticks": 5,
            "construction_wall_seconds": 0.00011750031262636185,
            "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:33:04.076066+00:00",
  "scored_evaluation_generated": false
}