[
  {
    "code": 0,
    "timeout": false,
    "seconds": 11.79,
    "log": "/home/jwoltje/.t3/worktrees/mosaic-stack/gander-row196/agents/gander/work/queue-276/run5/proof/1-inner.log",
    "repetition": 1,
    "fault": "inner",
    "modes": [
      {
        "fault": "inner",
        "mode": "exec",
        "baselineSeconds": 1.829931034,
        "faultSeconds": 3.9038027659999996,
        "probeSeconds": 2.0738717319999997,
        "edge_distance": 0.6761282680000003
      },
      {
        "fault": "inner",
        "mode": "hop",
        "baselineSeconds": 1.8609671470000002,
        "faultSeconds": 3.954829207000001,
        "probeSeconds": 2.0938620600000006,
        "edge_distance": 0.6561379399999994
      }
    ],
    "wall_seconds": 13.113
  },
  {
    "code": 0,
    "timeout": false,
    "seconds": 15.249,
    "log": "/home/jwoltje/.t3/worktrees/mosaic-stack/gander-row196/agents/gander/work/queue-276/run5/proof/1-outer.log",
    "repetition": 1,
    "fault": "outer",
    "modes": [
      {
        "fault": "outer",
        "mode": "exec",
        "baselineSeconds": 1.867268909,
        "faultSeconds": 5.649514299,
        "probeSeconds": 3.78224539,
        "edge_distance": 0.5322453899999999
      },
      {
        "fault": "outer",
        "mode": "hop",
        "baselineSeconds": 1.817521362999999,
        "faultSeconds": 5.6921040440000015,
        "probeSeconds": 3.8745826810000024,
        "edge_distance": 0.6245826810000024
      }
    ],
    "wall_seconds": 29.684
  },
  {
    "code": 0,
    "timeout": false,
    "seconds": 11.888,
    "log": "/home/jwoltje/.t3/worktrees/mosaic-stack/gander-row196/agents/gander/work/queue-276/run5/proof/2-inner.log",
    "repetition": 2,
    "fault": "inner",
    "modes": [
      {
        "fault": "inner",
        "mode": "exec",
        "baselineSeconds": 1.846649847,
        "faultSeconds": 3.9323770350000005,
        "probeSeconds": 2.085727188000001,
        "edge_distance": 0.6642728119999992
      },
      {
        "fault": "inner",
        "mode": "hop",
        "baselineSeconds": 1.8709395239999995,
        "faultSeconds": 4.006382755,
        "probeSeconds": 2.135443231,
        "edge_distance": 0.614556769
      }
    ],
    "wall_seconds": 42.982
  },
  {
    "code": 0,
    "timeout": false,
    "seconds": 15.498,
    "log": "/home/jwoltje/.t3/worktrees/mosaic-stack/gander-row196/agents/gander/work/queue-276/run5/proof/2-outer.log",
    "repetition": 2,
    "fault": "outer",
    "modes": [
      {
        "fault": "outer",
        "mode": "exec",
        "baselineSeconds": 1.8581464039999998,
        "faultSeconds": 5.693548913,
        "probeSeconds": 3.835402509,
        "edge_distance": 0.5854025090000001
      },
      {
        "fault": "outer",
        "mode": "hop",
        "baselineSeconds": 1.9875581309999997,
        "faultSeconds": 5.723752253999999,
        "probeSeconds": 3.7361941229999993,
        "edge_distance": 0.4861941229999993
      }
    ],
    "wall_seconds": 59.86
  },
  {
    "code": 0,
    "timeout": false,
    "seconds": 11.738,
    "log": "/home/jwoltje/.t3/worktrees/mosaic-stack/gander-row196/agents/gander/work/queue-276/run5/proof/3-inner.log",
    "repetition": 3,
    "fault": "inner",
    "modes": [
      {
        "fault": "inner",
        "mode": "exec",
        "baselineSeconds": 1.82402786,
        "faultSeconds": 3.9374684599999994,
        "probeSeconds": 2.1134405999999997,
        "edge_distance": 0.6365594000000003
      },
      {
        "fault": "inner",
        "mode": "hop",
        "baselineSeconds": 1.8078845939999992,
        "faultSeconds": 3.9402241439999997,
        "probeSeconds": 2.13233955,
        "edge_distance": 0.6176604499999998
      }
    ],
    "wall_seconds": 72.929
  },
  {
    "code": 0,
    "timeout": false,
    "seconds": 15.298,
    "log": "/home/jwoltje/.t3/worktrees/mosaic-stack/gander-row196/agents/gander/work/queue-276/run5/proof/3-outer.log",
    "repetition": 3,
    "fault": "outer",
    "modes": [
      {
        "fault": "outer",
        "mode": "exec",
        "baselineSeconds": 1.8419775600000001,
        "faultSeconds": 5.673604846,
        "probeSeconds": 3.831627286,
        "edge_distance": 0.5816272859999998
      },
      {
        "fault": "outer",
        "mode": "hop",
        "baselineSeconds": 1.8573589789999996,
        "faultSeconds": 5.679256431,
        "probeSeconds": 3.821897452,
        "edge_distance": 0.571897452
      }
    ],
    "wall_seconds": 89.561
  },
  {
    "code": 0,
    "timeout": false,
    "seconds": 11.688,
    "log": "/home/jwoltje/.t3/worktrees/mosaic-stack/gander-row196/agents/gander/work/queue-276/run5/proof/4-inner.log",
    "repetition": 4,
    "fault": "inner",
    "modes": [
      {
        "fault": "inner",
        "mode": "exec",
        "baselineSeconds": 1.8450340250000001,
        "faultSeconds": 3.8781279960000004,
        "probeSeconds": 2.0330939710000004,
        "edge_distance": 0.7169060289999996
      },
      {
        "fault": "inner",
        "mode": "hop",
        "baselineSeconds": 1.8136968310000001,
        "faultSeconds": 3.9161967540000004,
        "probeSeconds": 2.1024999230000003,
        "edge_distance": 0.6475000769999997
      }
    ],
    "wall_seconds": 102.605
  },
  {
    "code": 0,
    "timeout": false,
    "seconds": 15.4,
    "log": "/home/jwoltje/.t3/worktrees/mosaic-stack/gander-row196/agents/gander/work/queue-276/run5/proof/4-outer.log",
    "repetition": 4,
    "fault": "outer",
    "modes": [
      {
        "fault": "outer",
        "mode": "exec",
        "baselineSeconds": 1.847558386,
        "faultSeconds": 5.673239569000001,
        "probeSeconds": 3.8256811830000004,
        "edge_distance": 0.5756811830000004
      },
      {
        "fault": "outer",
        "mode": "hop",
        "baselineSeconds": 1.9459809270000006,
        "faultSeconds": 5.722491648000001,
        "probeSeconds": 3.776510721,
        "edge_distance": 0.5265107210000002
      }
    ],
    "wall_seconds": 119.334
  },
  {
    "code": 0,
    "timeout": false,
    "seconds": 11.838,
    "log": "/home/jwoltje/.t3/worktrees/mosaic-stack/gander-row196/agents/gander/work/queue-276/run5/proof/5-inner.log",
    "repetition": 5,
    "fault": "inner",
    "modes": [
      {
        "fault": "inner",
        "mode": "exec",
        "baselineSeconds": 1.8229459860000001,
        "faultSeconds": 3.9940237160000005,
        "probeSeconds": 2.1710777300000004,
        "edge_distance": 0.5789222699999996
      },
      {
        "fault": "inner",
        "mode": "hop",
        "baselineSeconds": 1.83062072,
        "faultSeconds": 3.9450770680000007,
        "probeSeconds": 2.114456348000001,
        "edge_distance": 0.6355436519999991
      }
    ],
    "wall_seconds": 132.527
  },
  {
    "code": 0,
    "timeout": false,
    "seconds": 15.348,
    "log": "/home/jwoltje/.t3/worktrees/mosaic-stack/gander-row196/agents/gander/work/queue-276/run5/proof/5-outer.log",
    "repetition": 5,
    "fault": "outer",
    "modes": [
      {
        "fault": "outer",
        "mode": "exec",
        "baselineSeconds": 1.8368780139999998,
        "faultSeconds": 5.677538997000001,
        "probeSeconds": 3.840660983000001,
        "edge_distance": 0.5906609830000011
      },
      {
        "fault": "outer",
        "mode": "hop",
        "baselineSeconds": 1.9200868199999996,
        "faultSeconds": 5.703639280000001,
        "probeSeconds": 3.783552460000001,
        "edge_distance": 0.533552460000001
      }
    ],
    "wall_seconds": 149.241
  },
  {
    "code": 0,
    "timeout": false,
    "seconds": 11.738,
    "log": "/home/jwoltje/.t3/worktrees/mosaic-stack/gander-row196/agents/gander/work/queue-276/run5/proof/6-inner.log",
    "repetition": 6,
    "fault": "inner",
    "modes": [
      {
        "fault": "inner",
        "mode": "exec",
        "baselineSeconds": 1.8234719890000002,
        "faultSeconds": 3.8978947240000004,
        "probeSeconds": 2.074422735,
        "edge_distance": 0.6755772649999998
      },
      {
        "fault": "inner",
        "mode": "hop",
        "baselineSeconds": 1.8277712950000005,
        "faultSeconds": 3.953180198,
        "probeSeconds": 2.1254089029999994,
        "edge_distance": 0.6245910970000006
      }
    ],
    "wall_seconds": 162.331
  },
  {
    "code": 0,
    "timeout": false,
    "seconds": 15.302,
    "log": "/home/jwoltje/.t3/worktrees/mosaic-stack/gander-row196/agents/gander/work/queue-276/run5/proof/6-outer.log",
    "repetition": 6,
    "fault": "outer",
    "modes": [
      {
        "fault": "outer",
        "mode": "exec",
        "baselineSeconds": 1.917154994,
        "faultSeconds": 5.674660841,
        "probeSeconds": 3.757505847,
        "edge_distance": 0.507505847
      },
      {
        "fault": "outer",
        "mode": "hop",
        "baselineSeconds": 1.822786693000001,
        "faultSeconds": 5.678244874,
        "probeSeconds": 3.8554581809999986,
        "edge_distance": 0.6054581809999986
      }
    ],
    "wall_seconds": 178.973
  },
  {
    "code": 0,
    "timeout": false,
    "seconds": 11.84,
    "log": "/home/jwoltje/.t3/worktrees/mosaic-stack/gander-row196/agents/gander/work/queue-276/run5/proof/7-inner.log",
    "repetition": 7,
    "fault": "inner",
    "modes": [
      {
        "fault": "inner",
        "mode": "exec",
        "baselineSeconds": 1.833368301,
        "faultSeconds": 3.9388697780000004,
        "probeSeconds": 2.1055014770000007,
        "edge_distance": 0.6444985229999993
      },
      {
        "fault": "inner",
        "mode": "hop",
        "baselineSeconds": 1.8581166130000002,
        "faultSeconds": 3.9637207350000008,
        "probeSeconds": 2.105604122000001,
        "edge_distance": 0.6443958779999992
      }
    ],
    "wall_seconds": 192.14
  },
  {
    "code": 0,
    "timeout": false,
    "seconds": 16.353,
    "log": "/home/jwoltje/.t3/worktrees/mosaic-stack/gander-row196/agents/gander/work/queue-276/run5/proof/7-outer.log",
    "repetition": 7,
    "fault": "outer",
    "modes": [
      {
        "fault": "outer",
        "mode": "exec",
        "baselineSeconds": 2.049526217,
        "faultSeconds": 5.906393668,
        "probeSeconds": 3.856867451,
        "edge_distance": 0.6068674509999998
      },
      {
        "fault": "outer",
        "mode": "hop",
        "baselineSeconds": 2.1197503319999997,
        "faultSeconds": 6.030356737,
        "probeSeconds": 3.9106064050000002,
        "edge_distance": 0.6606064050000002
      }
    ],
    "wall_seconds": 210.119
  },
  {
    "code": 0,
    "timeout": false,
    "seconds": 12.089,
    "log": "/home/jwoltje/.t3/worktrees/mosaic-stack/gander-row196/agents/gander/work/queue-276/run5/proof/8-inner.log",
    "repetition": 8,
    "fault": "inner",
    "modes": [
      {
        "fault": "inner",
        "mode": "exec",
        "baselineSeconds": 1.9202166569999999,
        "faultSeconds": 3.987275979,
        "probeSeconds": 2.0670593220000004,
        "edge_distance": 0.6829406779999996
      },
      {
        "fault": "inner",
        "mode": "hop",
        "baselineSeconds": 1.9069307179999997,
        "faultSeconds": 3.994847297,
        "probeSeconds": 2.0879165790000007,
        "edge_distance": 0.6620834209999993
      }
    ],
    "wall_seconds": 223.71
  },
  {
    "code": 0,
    "timeout": false,
    "seconds": 15.548,
    "log": "/home/jwoltje/.t3/worktrees/mosaic-stack/gander-row196/agents/gander/work/queue-276/run5/proof/8-outer.log",
    "repetition": 8,
    "fault": "outer",
    "modes": [
      {
        "fault": "outer",
        "mode": "exec",
        "baselineSeconds": 1.866872893,
        "faultSeconds": 5.827790241000001,
        "probeSeconds": 3.9609173480000006,
        "edge_distance": 0.7109173480000006
      },
      {
        "fault": "outer",
        "mode": "hop",
        "baselineSeconds": 1.893621516,
        "faultSeconds": 5.7149885829999985,
        "probeSeconds": 3.8213670669999984,
        "edge_distance": 0.5713670669999984
      }
    ],
    "wall_seconds": 240.785
  },
  {
    "code": 0,
    "timeout": false,
    "seconds": 11.94,
    "log": "/home/jwoltje/.t3/worktrees/mosaic-stack/gander-row196/agents/gander/work/queue-276/run5/proof/9-inner.log",
    "repetition": 9,
    "fault": "inner",
    "modes": [
      {
        "fault": "inner",
        "mode": "exec",
        "baselineSeconds": 1.9189835790000003,
        "faultSeconds": 3.955555824,
        "probeSeconds": 2.036572245,
        "edge_distance": 0.7134277550000001
      },
      {
        "fault": "inner",
        "mode": "hop",
        "baselineSeconds": 1.8666141900000002,
        "faultSeconds": 3.956985060000001,
        "probeSeconds": 2.090370870000001,
        "edge_distance": 0.659629129999999
      }
    ],
    "wall_seconds": 254.157
  },
  {
    "code": 0,
    "timeout": false,
    "seconds": 15.399,
    "log": "/home/jwoltje/.t3/worktrees/mosaic-stack/gander-row196/agents/gander/work/queue-276/run5/proof/9-outer.log",
    "repetition": 9,
    "fault": "outer",
    "modes": [
      {
        "fault": "outer",
        "mode": "exec",
        "baselineSeconds": 1.903826372,
        "faultSeconds": 5.673119814,
        "probeSeconds": 3.7692934419999995,
        "edge_distance": 0.5192934419999995
      },
      {
        "fault": "outer",
        "mode": "hop",
        "baselineSeconds": 1.9071730699999998,
        "faultSeconds": 5.688338677,
        "probeSeconds": 3.781165607,
        "edge_distance": 0.5311656070000002
      }
    ],
    "wall_seconds": 270.94
  },
  {
    "code": 0,
    "timeout": false,
    "seconds": 11.889,
    "log": "/home/jwoltje/.t3/worktrees/mosaic-stack/gander-row196/agents/gander/work/queue-276/run5/proof/10-inner.log",
    "repetition": 10,
    "fault": "inner",
    "modes": [
      {
        "fault": "inner",
        "mode": "exec",
        "baselineSeconds": 1.847784163,
        "faultSeconds": 3.9787278769999994,
        "probeSeconds": 2.1309437139999994,
        "edge_distance": 0.6190562860000006
      },
      {
        "fault": "inner",
        "mode": "hop",
        "baselineSeconds": 1.898234305,
        "faultSeconds": 3.952785743,
        "probeSeconds": 2.0545514380000003,
        "edge_distance": 0.6954485619999997
      }
    ],
    "wall_seconds": 284.192
  },
  {
    "code": 0,
    "timeout": false,
    "seconds": 15.548,
    "log": "/home/jwoltje/.t3/worktrees/mosaic-stack/gander-row196/agents/gander/work/queue-276/run5/proof/10-outer.log",
    "repetition": 10,
    "fault": "outer",
    "modes": [
      {
        "fault": "outer",
        "mode": "exec",
        "baselineSeconds": 1.8659505509999998,
        "faultSeconds": 5.75017123,
        "probeSeconds": 3.8842206790000002,
        "edge_distance": 0.6342206790000002
      },
      {
        "fault": "outer",
        "mode": "hop",
        "baselineSeconds": 1.9133992989999997,
        "faultSeconds": 5.757377238999999,
        "probeSeconds": 3.8439779399999994,
        "edge_distance": 0.5939779399999994
      }
    ],
    "wall_seconds": 301.1
  }
]