{
  "cases": [
    {
      "results": {
        "B": {
          "context_correct": 19,
          "cost": {
            "cells": 17,
            "common_validation_visits": 37,
            "construction_cpu_seconds": 8.199999999999874e-05,
            "construction_ticks": 4,
            "construction_wall_seconds": 8.258316665887833e-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.00010800000000000393,
            "construction_ticks": 4,
            "construction_wall_seconds": 0.00010954122990369797,
            "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.00011200000000000099,
            "construction_ticks": 5,
            "construction_wall_seconds": 0.00011254195123910904,
            "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.500000000001174e-05,
            "construction_ticks": 5,
            "construction_wall_seconds": 9.566638618707657e-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": 0.00014500000000000624,
            "construction_ticks": 5,
            "construction_wall_seconds": 0.00014479178935289383,
            "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.00010037422180175781,
            "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.00011500000000003174,
            "construction_ticks": 5,
            "construction_wall_seconds": 0.00011499971151351929,
            "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.00011999999999995348,
            "construction_ticks": 5,
            "construction_wall_seconds": 0.00012045912444591522,
            "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:30:37.917170+00:00",
  "scored_evaluation_generated": false
}