{
  "source_sha256": "376e181195aa37cdfd3ba6def75acf4237fc2f9b2b22dd4ea8a2b09122e9f9aa",
  "python": "3.12.12",
  "data_kind": "hand_constructed_logits_and_labels",
  "logits": [
    [
      2.1972245773362196,
      0.0
    ],
    [
      2.1972245773362196,
      0.0
    ],
    [
      2.1972245773362196,
      0.0
    ],
    [
      2.1972245773362196,
      0.0
    ],
    [
      2.1972245773362196,
      0.0
    ],
    [
      2.1972245773362196,
      0.0
    ],
    [
      2.1972245773362196,
      0.0
    ],
    [
      2.1972245773362196,
      0.0
    ],
    [
      2.1972245773362196,
      0.0
    ],
    [
      2.1972245773362196,
      0.0
    ]
  ],
  "calibration_ids": [
    "cal-0",
    "cal-1",
    "cal-2",
    "cal-3",
    "cal-4",
    "cal-5",
    "cal-6",
    "cal-7",
    "cal-8",
    "cal-9"
  ],
  "counterexample_ids": [
    "counter-0",
    "counter-1",
    "counter-2",
    "counter-3",
    "counter-4",
    "counter-5",
    "counter-6",
    "counter-7",
    "counter-8",
    "counter-9"
  ],
  "calibration_labels": [
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    1,
    1
  ],
  "counterexample_labels": [
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    0,
    1
  ],
  "temperature": 1.5849625225707042,
  "analytic_temperature": 1.5849625007211563,
  "bounds": [
    0.05,
    20.0
  ],
  "bins": 15,
  "calibration": {
    "before": {
      "nll": 0.5448054311250703,
      "accuracy": 0.8,
      "confidence": 0.9,
      "ece": 0.09999999999999998,
      "bins": [
        {
          "bin": 13,
          "count": 10,
          "confidence": 0.9,
          "accuracy": 0.8
        }
      ],
      "rows": [
        {
          "prediction": 0,
          "label": 0,
          "confidence": 0.8999999999999999,
          "correct": true,
          "bucket": 13
        },
        {
          "prediction": 0,
          "label": 0,
          "confidence": 0.8999999999999999,
          "correct": true,
          "bucket": 13
        },
        {
          "prediction": 0,
          "label": 0,
          "confidence": 0.8999999999999999,
          "correct": true,
          "bucket": 13
        },
        {
          "prediction": 0,
          "label": 0,
          "confidence": 0.8999999999999999,
          "correct": true,
          "bucket": 13
        },
        {
          "prediction": 0,
          "label": 0,
          "confidence": 0.8999999999999999,
          "correct": true,
          "bucket": 13
        },
        {
          "prediction": 0,
          "label": 0,
          "confidence": 0.8999999999999999,
          "correct": true,
          "bucket": 13
        },
        {
          "prediction": 0,
          "label": 0,
          "confidence": 0.8999999999999999,
          "correct": true,
          "bucket": 13
        },
        {
          "prediction": 0,
          "label": 0,
          "confidence": 0.8999999999999999,
          "correct": true,
          "bucket": 13
        },
        {
          "prediction": 0,
          "label": 1,
          "confidence": 0.8999999999999999,
          "correct": false,
          "bucket": 13
        },
        {
          "prediction": 0,
          "label": 1,
          "confidence": 0.8999999999999999,
          "correct": false,
          "bucket": 13
        }
      ]
    },
    "after": {
      "nll": 0.5004024235381878,
      "accuracy": 0.8,
      "confidence": 0.7999999969422718,
      "ece": 3.0577282927879423e-09,
      "bins": [
        {
          "bin": 11,
          "count": 10,
          "confidence": 0.7999999969422718,
          "accuracy": 0.8
        }
      ],
      "rows": [
        {
          "prediction": 0,
          "label": 0,
          "confidence": 0.7999999969422718,
          "correct": true,
          "bucket": 11
        },
        {
          "prediction": 0,
          "label": 0,
          "confidence": 0.7999999969422718,
          "correct": true,
          "bucket": 11
        },
        {
          "prediction": 0,
          "label": 0,
          "confidence": 0.7999999969422718,
          "correct": true,
          "bucket": 11
        },
        {
          "prediction": 0,
          "label": 0,
          "confidence": 0.7999999969422718,
          "correct": true,
          "bucket": 11
        },
        {
          "prediction": 0,
          "label": 0,
          "confidence": 0.7999999969422718,
          "correct": true,
          "bucket": 11
        },
        {
          "prediction": 0,
          "label": 0,
          "confidence": 0.7999999969422718,
          "correct": true,
          "bucket": 11
        },
        {
          "prediction": 0,
          "label": 0,
          "confidence": 0.7999999969422718,
          "correct": true,
          "bucket": 11
        },
        {
          "prediction": 0,
          "label": 0,
          "confidence": 0.7999999969422718,
          "correct": true,
          "bucket": 11
        },
        {
          "prediction": 0,
          "label": 1,
          "confidence": 0.7999999969422718,
          "correct": false,
          "bucket": 11
        },
        {
          "prediction": 0,
          "label": 1,
          "confidence": 0.7999999969422718,
          "correct": false,
          "bucket": 11
        }
      ]
    }
  },
  "counterexample": {
    "before": {
      "nll": 0.3250829733914483,
      "accuracy": 0.9,
      "confidence": 0.9,
      "ece": 0.0,
      "bins": [
        {
          "bin": 13,
          "count": 10,
          "confidence": 0.9,
          "accuracy": 0.9
        }
      ],
      "rows": [
        {
          "prediction": 0,
          "label": 0,
          "confidence": 0.8999999999999999,
          "correct": true,
          "bucket": 13
        },
        {
          "prediction": 0,
          "label": 0,
          "confidence": 0.8999999999999999,
          "correct": true,
          "bucket": 13
        },
        {
          "prediction": 0,
          "label": 0,
          "confidence": 0.8999999999999999,
          "correct": true,
          "bucket": 13
        },
        {
          "prediction": 0,
          "label": 0,
          "confidence": 0.8999999999999999,
          "correct": true,
          "bucket": 13
        },
        {
          "prediction": 0,
          "label": 0,
          "confidence": 0.8999999999999999,
          "correct": true,
          "bucket": 13
        },
        {
          "prediction": 0,
          "label": 0,
          "confidence": 0.8999999999999999,
          "correct": true,
          "bucket": 13
        },
        {
          "prediction": 0,
          "label": 0,
          "confidence": 0.8999999999999999,
          "correct": true,
          "bucket": 13
        },
        {
          "prediction": 0,
          "label": 0,
          "confidence": 0.8999999999999999,
          "correct": true,
          "bucket": 13
        },
        {
          "prediction": 0,
          "label": 0,
          "confidence": 0.8999999999999999,
          "correct": true,
          "bucket": 13
        },
        {
          "prediction": 0,
          "label": 1,
          "confidence": 0.8999999999999999,
          "correct": false,
          "bucket": 13
        }
      ]
    },
    "after": {
      "nll": 0.36177298933727897,
      "accuracy": 0.9,
      "confidence": 0.7999999969422718,
      "ece": 0.10000000305772827,
      "bins": [
        {
          "bin": 11,
          "count": 10,
          "confidence": 0.7999999969422718,
          "accuracy": 0.9
        }
      ],
      "rows": [
        {
          "prediction": 0,
          "label": 0,
          "confidence": 0.7999999969422718,
          "correct": true,
          "bucket": 11
        },
        {
          "prediction": 0,
          "label": 0,
          "confidence": 0.7999999969422718,
          "correct": true,
          "bucket": 11
        },
        {
          "prediction": 0,
          "label": 0,
          "confidence": 0.7999999969422718,
          "correct": true,
          "bucket": 11
        },
        {
          "prediction": 0,
          "label": 0,
          "confidence": 0.7999999969422718,
          "correct": true,
          "bucket": 11
        },
        {
          "prediction": 0,
          "label": 0,
          "confidence": 0.7999999969422718,
          "correct": true,
          "bucket": 11
        },
        {
          "prediction": 0,
          "label": 0,
          "confidence": 0.7999999969422718,
          "correct": true,
          "bucket": 11
        },
        {
          "prediction": 0,
          "label": 0,
          "confidence": 0.7999999969422718,
          "correct": true,
          "bucket": 11
        },
        {
          "prediction": 0,
          "label": 0,
          "confidence": 0.7999999969422718,
          "correct": true,
          "bucket": 11
        },
        {
          "prediction": 0,
          "label": 0,
          "confidence": 0.7999999969422718,
          "correct": true,
          "bucket": 11
        },
        {
          "prediction": 0,
          "label": 1,
          "confidence": 0.7999999969422718,
          "correct": false,
          "bucket": 11
        }
      ]
    }
  },
  "three_class": [
    {
      "temperature": 0.5,
      "probabilities": [
        0.8668133321973349,
        0.11731042782619838,
        0.015876239976466765
      ]
    },
    {
      "temperature": 1.0,
      "probabilities": [
        0.6652409557748218,
        0.24472847105479764,
        0.09003057317038046
      ]
    },
    {
      "temperature": 2.0,
      "probabilities": [
        0.506480391055654,
        0.3071958857184984,
        0.1863237232258476
      ]
    }
  ],
  "curve": [
    {
      "temperature": 0.5,
      "calibration_nll": 0.8911599235263022,
      "counterexample_nll": 0.4517150080590583
    },
    {
      "temperature": 0.525,
      "calibration_nll": 0.8521426012109992,
      "counterexample_nll": 0.43362363409933813
    },
    {
      "temperature": 0.55,
      "calibration_nll": 0.8172316709895503,
      "counterexample_nll": 0.4177362932920558
    },
    {
      "temperature": 0.575,
      "calibration_nll": 0.7859158488612208,
      "counterexample_nll": 0.4037898354114435
    },
    {
      "temperature": 0.6,
      "calibration_nll": 0.7577640457241824,
      "counterexample_nll": 0.3915599495014792
    },
    {
      "temperature": 0.625,
      "calibration_nll": 0.7324096319069882,
      "counterexample_nll": 0.38085369953319304
    },
    {
      "temperature": 0.65,
      "calibration_nll": 0.7095383957920246,
      "counterexample_nll": 0.3715038454326062
    },
    {
      "temperature": 0.675,
      "calibration_nll": 0.6888792104214828,
      "counterexample_nll": 0.36336445822352437
    },
    {
      "temperature": 0.7,
      "calibration_nll": 0.6701967104873228,
      "counterexample_nll": 0.35630748515357713
    },
    {
      "temperature": 0.725,
      "calibration_nll": 0.6532854800149847,
      "counterexample_nll": 0.3502200210720578
    },
    {
      "temperature": 0.75,
      "calibration_nll": 0.6379653885741997,
      "counterexample_nll": 0.3450021115960371
    },
    {
      "temperature": 0.775,
      "calibration_nll": 0.6240778105610254,
      "counterexample_nll": 0.3405649618724809
    },
    {
      "temperature": 0.8,
      "calibration_nll": 0.6114825308676309,
      "counterexample_nll": 0.3368294587006035
    },
    {
      "temperature": 0.825,
      "calibration_nll": 0.6000551896788212,
      "counterexample_nll": 0.33372493788049157
    },
    {
      "temperature": 0.8500000000000001,
      "calibration_nll": 0.5896851550093246,
      "counterexample_nll": 0.3311881459109459
    },
    {
      "temperature": 0.875,
      "calibration_nll": 0.5802737378897517,
      "counterexample_nll": 0.3291623576227551
    },
    {
      "temperature": 0.9,
      "calibration_nll": 0.5717326845620433,
      "counterexample_nll": 0.32759662041357446
    },
    {
      "temperature": 0.925,
      "calibration_nll": 0.5639828945692124,
      "counterexample_nll": 0.3264451024247562
    },
    {
      "temperature": 0.95,
      "calibration_nll": 0.5569533245658055,
      "counterexample_nll": 0.3256665269514666
    },
    {
      "temperature": 0.9750000000000001,
      "calibration_nll": 0.55058004599142,
      "counterexample_nll": 0.32522367908514105
    },
    {
      "temperature": 1.0,
      "calibration_nll": 0.5448054311250703,
      "counterexample_nll": 0.3250829733914483
    },
    {
      "temperature": 1.025,
      "calibration_nll": 0.5395774469680376,
      "counterexample_nll": 0.32521407356938203
    },
    {
      "temperature": 1.05,
      "calibration_nll": 0.5348490402470415,
      "counterexample_nll": 0.3255895566912111
    },
    {
      "temperature": 1.0750000000000002,
      "calibration_nll": 0.5305775998520696,
      "counterexample_nll": 0.3261846159138167
    },
    {
      "temperature": 1.1,
      "calibration_nll": 0.5267244854188744,
      "counterexample_nll": 0.32697679657012724
    },
    {
      "temperature": 1.125,
      "calibration_nll": 0.5232546126799009,
      "counterexample_nll": 0.3279457613611259
    },
    {
      "temperature": 1.15,
      "calibration_nll": 0.5201360877478617,
      "counterexample_nll": 0.32907308102297306
    },
    {
      "temperature": 1.175,
      "calibration_nll": 0.5173398837451876,
      "counterexample_nll": 0.3303420473761476
    },
    {
      "temperature": 1.2000000000000002,
      "calibration_nll": 0.5148395542124247,
      "counterexample_nll": 0.3317375061010731
    },
    {
      "temperature": 1.225,
      "calibration_nll": 0.5126109785668939,
      "counterexample_nll": 0.3332457069476106
    },
    {
      "temperature": 1.25,
      "calibration_nll": 0.5106321355762959,
      "counterexample_nll": 0.3348541693893984
    },
    {
      "temperature": 1.275,
      "calibration_nll": 0.5088829013888727,
      "counterexample_nll": 0.33655156198995345
    },
    {
      "temperature": 1.3,
      "calibration_nll": 0.5073448691444721,
      "counterexample_nll": 0.33832759396476286
    },
    {
      "temperature": 1.3250000000000002,
      "calibration_nll": 0.5060011875969008,
      "counterexample_nll": 0.3401729176092617
    },
    {
      "temperature": 1.35,
      "calibration_nll": 0.5048364165211378,
      "counterexample_nll": 0.34207904042215853
    },
    {
      "temperature": 1.375,
      "calibration_nll": 0.5038363969703646,
      "counterexample_nll": 0.34403824589136683
    },
    {
      "temperature": 1.4,
      "calibration_nll": 0.5029881346962204,
      "counterexample_nll": 0.3460435220293476
    },
    {
      "temperature": 1.425,
      "calibration_nll": 0.5022796952583404,
      "counterexample_nll": 0.3480884968487811
    },
    {
      "temperature": 1.4500000000000002,
      "calibration_nll": 0.5017001095319331,
      "counterexample_nll": 0.35016738006046977
    },
    {
      "temperature": 1.475,
      "calibration_nll": 0.5012392884796127,
      "counterexample_nll": 0.35227491035512326
    },
    {
      "temperature": 1.5,
      "calibration_nll": 0.5008879461898565,
      "counterexample_nll": 0.3544063077007752
    },
    {
      "temperature": 1.5250000000000001,
      "calibration_nll": 0.5006375303025107,
      "counterexample_nll": 0.35655723014931595
    },
    {
      "temperature": 1.55,
      "calibration_nll": 0.5004801590444133,
      "counterexample_nll": 0.35872373470014113
    },
    {
      "temperature": 1.575,
      "calibration_nll": 0.5004085641876668,
      "counterexample_nll": 0.3609022418171131
    },
    {
      "temperature": 1.6,
      "calibration_nll": 0.5004160393212443,
      "counterexample_nll": 0.36308950323773065
    },
    {
      "temperature": 1.625,
      "calibration_nll": 0.5004963928950507,
      "counterexample_nll": 0.3652825727512833
    },
    {
      "temperature": 1.6500000000000001,
      "calibration_nll": 0.5006439055555788,
      "counterexample_nll": 0.36747877965641396
    },
    {
      "temperature": 1.675,
      "calibration_nll": 0.500853291345077,
      "counterexample_nll": 0.36967570463843696
    },
    {
      "temperature": 1.7000000000000002,
      "calibration_nll": 0.5011196623825939,
      "counterexample_nll": 0.3718711578334045
    },
    {
      "temperature": 1.725,
      "calibration_nll": 0.5014384966862568,
      "counterexample_nll": 0.37406315886966446
    },
    {
      "temperature": 1.75,
      "calibration_nll": 0.5018056088323336,
      "counterexample_nll": 0.3762499186988353
    },
    {
      "temperature": 1.7750000000000001,
      "calibration_nll": 0.5022171231786643,
      "counterexample_nll": 0.37842982304704625
    },
    {
      "temperature": 1.8,
      "calibration_nll": 0.5026694494084316,
      "counterexample_nll": 0.3806014173341973
    },
    {
      "temperature": 1.8250000000000002,
      "calibration_nll": 0.5031592601754173,
      "counterexample_nll": 0.38276339292411765
    },
    {
      "temperature": 1.85,
      "calibration_nll": 0.5036834706542657,
      "counterexample_nll": 0.3849145745820376
    },
    {
      "temperature": 1.875,
      "calibration_nll": 0.5042392198191825,
      "counterexample_nll": 0.38705390902791753
    },
    {
      "temperature": 1.9000000000000001,
      "calibration_nll": 0.5048238532922202,
      "counterexample_nll": 0.3891804544850508
    },
    {
      "temperature": 1.925,
      "calibration_nll": 0.505434907618104,
      "counterexample_nll": 0.3912933711331055
    },
    {
      "temperature": 1.9500000000000002,
      "calibration_nll": 0.5060700958366715,
      "counterexample_nll": 0.3933919123835321
    },
    {
      "temperature": 1.975,
      "calibration_nll": 0.5067272942366033,
      "counterexample_nll": 0.3954754169031238
    },
    {
      "temperature": 2.0,
      "calibration_nll": 0.5074045301854028,
      "counterexample_nll": 0.39754330131859184
    },
    {
      "temperature": 2.0250000000000004,
      "calibration_nll": 0.5080999709406935,
      "counterexample_nll": 0.3995950535413741
    },
    {
      "temperature": 2.05,
      "calibration_nll": 0.5088119133569489,
      "counterexample_nll": 0.40163022665762105
    },
    {
      "temperature": 2.075,
      "calibration_nll": 0.5095387744099067,
      "counterexample_nll": 0.40364843333346245
    },
    {
      "temperature": 2.1,
      "calibration_nll": 0.5102790824682122,
      "counterexample_nll": 0.40564934069029707
    },
    {
      "temperature": 2.125,
      "calibration_nll": 0.5110314692483994,
      "counterexample_nll": 0.4076326656090479
    },
    {
      "temperature": 2.1500000000000004,
      "calibration_nll": 0.511794662395223,
      "counterexample_nll": 0.40959817042609653
    },
    {
      "temperature": 2.175,
      "calibration_nll": 0.5125674786346733,
      "counterexample_nll": 0.411545658987031
    },
    {
      "temperature": 2.2,
      "calibration_nll": 0.5133488174517972,
      "counterexample_nll": 0.41347497302742353
    },
    {
      "temperature": 2.225,
      "calibration_nll": 0.514137655249772,
      "counterexample_nll": 0.41538598885263855
    },
    {
      "temperature": 2.25,
      "calibration_nll": 0.5149330399505883,
      "counterexample_nll": 0.4172786142912007
    },
    {
      "temperature": 2.2750000000000004,
      "calibration_nll": 0.5157340860012164,
      "counterexample_nll": 0.4191527858985255
    },
    {
      "temperature": 2.3,
      "calibration_nll": 0.5165399697523333,
      "counterexample_nll": 0.421008466389889
    },
    {
      "temperature": 2.325,
      "calibration_nll": 0.5173499251795626,
      "counterexample_nll": 0.4228456422833811
    },
    {
      "temperature": 2.35,
      "calibration_nll": 0.5181632399198047,
      "counterexample_nll": 0.42466432173528473
    },
    {
      "temperature": 2.375,
      "calibration_nll": 0.5189792515975997,
      "counterexample_nll": 0.4264645325518641
    },
    {
      "temperature": 2.4000000000000004,
      "calibration_nll": 0.5197973444186179,
      "counterexample_nll": 0.4282463203629421
    },
    {
      "temperature": 2.425,
      "calibration_nll": 0.5206169460093236,
      "counterexample_nll": 0.4300097469439125
    },
    {
      "temperature": 2.45,
      "calibration_nll": 0.5214375244836337,
      "counterexample_nll": 0.43175488867399203
    },
    {
      "temperature": 2.475,
      "calibration_nll": 0.5222585857190004,
      "counterexample_nll": 0.4334818351195572
    },
    {
      "temperature": 2.5,
      "calibration_nll": 0.5230796708258183,
      "counterexample_nll": 0.4351906877323696
    },
    {
      "temperature": 2.525,
      "calibration_nll": 0.523900353795389,
      "counterexample_nll": 0.43688155865336054
    },
    {
      "temperature": 2.5500000000000003,
      "calibration_nll": 0.5247202393128887,
      "counterexample_nll": 0.43855456961342903
    },
    {
      "temperature": 2.575,
      "calibration_nll": 0.525538960722902,
      "counterexample_nll": 0.4402098509234372
    },
    {
      "temperature": 2.6,
      "calibration_nll": 0.5263561781360858,
      "counterexample_nll": 0.44184754054623115
    },
    {
      "temperature": 2.625,
      "calibration_nll": 0.5271715766664562,
      "counterexample_nll": 0.44346778324412395
    },
    {
      "temperature": 2.65,
      "calibration_nll": 0.5279848647896321,
      "counterexample_nll": 0.4450707297958125
    },
    {
      "temperature": 2.6750000000000003,
      "calibration_nll": 0.5287957728131418,
      "counterexample_nll": 0.44665653627720836
    },
    {
      "temperature": 2.7,
      "calibration_nll": 0.5296040514505953,
      "counterexample_nll": 0.4482253634011057
    },
    {
      "temperature": 2.725,
      "calibration_nll": 0.5304094704921825,
      "counterexample_nll": 0.4497773759110368
    },
    {
      "temperature": 2.75,
      "calibration_nll": 0.5312118175645352,
      "counterexample_nll": 0.45131274202503624
    },
    {
      "temperature": 2.775,
      "calibration_nll": 0.5320108969735361,
      "counterexample_nll": 0.45283163292538403
    },
    {
      "temperature": 2.8000000000000003,
      "calibration_nll": 0.532806528624157,
      "counterexample_nll": 0.45433422229072057
    },
    {
      "temperature": 2.825,
      "calibration_nll": 0.5335985470118546,
      "counterexample_nll": 0.45582068586720964
    },
    {
      "temperature": 2.85,
      "calibration_nll": 0.5343868002804762,
      "counterexample_nll": 0.45729120107569654
    },
    {
      "temperature": 2.875,
      "calibration_nll": 0.535171149342009,
      "counterexample_nll": 0.4587459466520535
    },
    {
      "temperature": 2.9000000000000004,
      "calibration_nll": 0.5359514670538531,
      "counterexample_nll": 0.46018510231812143
    },
    {
      "temperature": 2.9250000000000003,
      "calibration_nll": 0.5367276374496305,
      "counterexample_nll": 0.4616088484808708
    },
    {
      "temperature": 2.95,
      "calibration_nll": 0.5374995550198308,
      "counterexample_nll": 0.4630173659575861
    },
    {
      "temperature": 2.975,
      "calibration_nll": 0.5382671240388742,
      "counterexample_nll": 0.46441083572505165
    },
    {
      "temperature": 3.0,
      "calibration_nll": 0.5390302579354211,
      "counterexample_nll": 0.4657894386908805
    },
    {
      "temperature": 3.0250000000000004,
      "calibration_nll": 0.5397888787029909,
      "counterexample_nll": 0.4671533554852646
    },
    {
      "temperature": 3.0500000000000003,
      "calibration_nll": 0.5405429163481623,
      "counterexample_nll": 0.46850276627156495
    },
    {
      "temperature": 3.075,
      "calibration_nll": 0.5412923083738348,
      "counterexample_nll": 0.46983785057428296
    },
    {
      "temperature": 3.1,
      "calibration_nll": 0.5420369992951979,
      "counterexample_nll": 0.4711587871230618
    },
    {
      "temperature": 3.125,
      "calibration_nll": 0.542776940186237,
      "counterexample_nll": 0.472465753711478
    },
    {
      "temperature": 3.1500000000000004,
      "calibration_nll": 0.543512088254748,
      "counterexample_nll": 0.4737589270694712
    },
    {
      "temperature": 3.1750000000000003,
      "calibration_nll": 0.5442424064439857,
      "counterexample_nll": 0.47503848274835675
    },
    {
      "temperature": 3.2,
      "calibration_nll": 0.544967863059195,
      "counterexample_nll": 0.4763045950174381
    },
    {
      "temperature": 3.225,
      "calibration_nll": 0.5456884314174022,
      "counterexample_nll": 0.4775574367713179
    },
    {
      "temperature": 3.25,
      "calibration_nll": 0.5464040895189524,
      "counterexample_nll": 0.4787971794470686
    },
    {
      "temperature": 3.2750000000000004,
      "calibration_nll": 0.5471148197393887,
      "counterexample_nll": 0.48002399295049647
    },
    {
      "temperature": 3.3000000000000003,
      "calibration_nll": 0.5478206085403595,
      "counterexample_nll": 0.4812380455907771
    },
    {
      "temperature": 3.325,
      "calibration_nll": 0.5485214461983379,
      "counterexample_nll": 0.4824395040228125
    },
    {
      "temperature": 3.35,
      "calibration_nll": 0.5492173265500113,
      "counterexample_nll": 0.48362853319669136
    },
    {
      "temperature": 3.375,
      "calibration_nll": 0.5499082467532839,
      "counterexample_nll": 0.48480529631369224
    },
    {
      "temperature": 3.4000000000000004,
      "calibration_nll": 0.5505942070629043,
      "counterexample_nll": 0.4859699547883096
    },
    {
      "temperature": 3.4250000000000003,
      "calibration_nll": 0.5512752106197946,
      "counterexample_nll": 0.4871226682158173
    },
    {
      "temperature": 3.45,
      "calibration_nll": 0.55195126325322,
      "counterexample_nll": 0.4882635943449237
    },
    {
      "temperature": 3.475,
      "calibration_nll": 0.5526223732949997,
      "counterexample_nll": 0.4893928890551085
    },
    {
      "temperature": 3.5,
      "calibration_nll": 0.5532885514050035,
      "counterexample_nll": 0.49051070633825444
    },
    {
      "temperature": 3.5250000000000004,
      "calibration_nll": 0.5539498104072382,
      "counterexample_nll": 0.4916171982842249
    },
    {
      "temperature": 3.5500000000000003,
      "calibration_nll": 0.5546061651358665,
      "counterexample_nll": 0.4927125150700575
    },
    {
      "temperature": 3.575,
      "calibration_nll": 0.555257632290549,
      "counterexample_nll": 0.4937968049524729
    },
    {
      "temperature": 3.6,
      "calibration_nll": 0.5559042303005342,
      "counterexample_nll": 0.49487021426341704
    },
    {
      "temperature": 3.625,
      "calibration_nll": 0.5565459791969638,
      "counterexample_nll": 0.49593288740837843
    },
    {
      "temperature": 3.6500000000000004,
      "calibration_nll": 0.5571829004928919,
      "counterexample_nll": 0.49698496686724203
    },
    {
      "temperature": 3.6750000000000003,
      "calibration_nll": 0.5578150170705494,
      "counterexample_nll": 0.498026593197455
    },
    {
      "temperature": 3.7,
      "calibration_nll": 0.558442353075416,
      "counterexample_nll": 0.499057905039302
    },
    {
      "temperature": 3.725,
      "calibration_nll": 0.5590649338166858,
      "counterexample_nll": 0.5000790391230959
    },
    {
      "temperature": 3.75,
      "calibration_nll": 0.5596827856737481,
      "counterexample_nll": 0.5010901302781156
    },
    {
      "temperature": 3.7750000000000004,
      "calibration_nll": 0.5602959360083152,
      "counterexample_nll": 0.5020913114431174
    },
    {
      "temperature": 3.8000000000000003,
      "calibration_nll": 0.5609044130818661,
      "counterexample_nll": 0.5030827136782813
    },
    {
      "temperature": 3.825,
      "calibration_nll": 0.5615082459780844,
      "counterexample_nll": 0.5040644661784446
    },
    {
      "temperature": 3.85,
      "calibration_nll": 0.5621074645299966,
      "counterexample_nll": 0.5050366962874975
    },
    {
      "temperature": 3.875,
      "calibration_nll": 0.562702099251531,
      "counterexample_nll": 0.5059995295138222
    },
    {
      "temperature": 3.9000000000000004,
      "calibration_nll": 0.5632921812732347,
      "counterexample_nll": 0.506953089546665
    },
    {
      "temperature": 3.9250000000000003,
      "calibration_nll": 0.563877742281905,
      "counterexample_nll": 0.507897498273339
    },
    {
      "temperature": 3.95,
      "calibration_nll": 0.5644588144639056,
      "counterexample_nll": 0.5088328757971659
    },
    {
      "temperature": 3.975,
      "calibration_nll": 0.5650354304519476,
      "counterexample_nll": 0.5097593404560679
    },
    {
      "temperature": 4.0,
      "calibration_nll": 0.565607623275137,
      "counterexample_nll": 0.5106770088417316
    }
  ]
}