543 lines
15 KiB
JSON
543 lines
15 KiB
JSON
[
|
|
{
|
|
"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
|
|
}
|
|
]
|