b1k_model / evaluation /behavior_analysis /transitions.json
davidwdw's picture
Upload B1K model checkpoints, training recipes, and evaluation artifacts (part 4)
4a2a6e4 verified
Raw History Blame Contribute Delete
109 kB
{
"human/301": [
{
"kind": "Stage advanced",
"before": 0,
"after": 1,
"step": 440
},
{
"kind": "Stage advanced",
"before": 1,
"after": 2,
"step": 500
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 840
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 2460
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 2480
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 2520
}
],
"human/302": [
{
"kind": "Stage advanced",
"before": 0,
"after": 1,
"step": 300
},
{
"kind": "Stage advanced",
"before": 1,
"after": 2,
"step": 400
}
],
"human/303": [
{
"kind": "Stage advanced",
"before": 0,
"after": 1,
"step": 340
},
{
"kind": "Stage advanced",
"before": 1,
"after": 2,
"step": 520
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 1100
}
],
"human/304": [
{
"kind": "Stage advanced",
"before": 0,
"after": 1,
"step": 40
},
{
"kind": "Stage advanced",
"before": 1,
"after": 2,
"step": 560
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 860
}
],
"human/305": [
{
"kind": "Stage advanced",
"before": 0,
"after": 1,
"step": 720
},
{
"kind": "Stage advanced",
"before": 1,
"after": 2,
"step": 1320
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 2340
}
],
"human/306": [
{
"kind": "Stage advanced",
"before": 0,
"after": 1,
"step": 420
},
{
"kind": "Stage advanced",
"before": 1,
"after": 2,
"step": 780
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 1640
}
],
"human/307": [
{
"kind": "Stage advanced",
"before": 0,
"after": 1,
"step": 180
},
{
"kind": "Stage advanced",
"before": 1,
"after": 2,
"step": 340
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 1000
}
],
"human/308": [
{
"kind": "Stage advanced",
"before": 0,
"after": 1,
"step": 360
},
{
"kind": "Stage advanced",
"before": 1,
"after": 2,
"step": 720
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 2060
}
],
"human/309": [
{
"kind": "Stage advanced",
"before": 0,
"after": 1,
"step": 160
},
{
"kind": "Stage advanced",
"before": 1,
"after": 2,
"step": 680
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 2040
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 2480
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 2500
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 2540
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 2660
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 2680
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 2720
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 2880
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 2900
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 2940
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 3000
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 3020
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 3060
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 3120
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 3140
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 3180
}
],
"human/310": [
{
"kind": "Stage advanced",
"before": 0,
"after": 1,
"step": 300
},
{
"kind": "Stage advanced",
"before": 1,
"after": 2,
"step": 940
}
],
"human/311": [
{
"kind": "Stage advanced",
"before": 0,
"after": 1,
"step": 360
},
{
"kind": "Stage advanced",
"before": 1,
"after": 2,
"step": 680
},
{
"kind": "Stage went back",
"before": 2,
"after": 1,
"step": 740
},
{
"kind": "Stage advanced",
"before": 1,
"after": 2,
"step": 820
}
],
"human/312": [
{
"kind": "Stage advanced",
"before": 0,
"after": 1,
"step": 360
},
{
"kind": "Stage advanced",
"before": 1,
"after": 2,
"step": 600
},
{
"kind": "Stage went back",
"before": 2,
"after": 1,
"step": 1000
},
{
"kind": "Stage advanced",
"before": 1,
"after": 2,
"step": 1120
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 1260
}
],
"human/313": [
{
"kind": "Stage advanced",
"before": 0,
"after": 1,
"step": 540
},
{
"kind": "Stage advanced",
"before": 1,
"after": 2,
"step": 720
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 980
}
],
"human/314": [
{
"kind": "Stage advanced",
"before": 0,
"after": 1,
"step": 240
},
{
"kind": "Stage went back",
"before": 1,
"after": 0,
"step": 380
},
{
"kind": "Stage advanced",
"before": 0,
"after": 1,
"step": 440
},
{
"kind": "Stage advanced",
"before": 1,
"after": 2,
"step": 860
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 1980
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 2620
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 2640
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 2700
}
],
"human/315": [
{
"kind": "Stage advanced",
"before": 0,
"after": 1,
"step": 160
},
{
"kind": "Stage went back",
"before": 1,
"after": 0,
"step": 240
},
{
"kind": "Stage advanced",
"before": 0,
"after": 1,
"step": 300
},
{
"kind": "Stage advanced",
"before": 1,
"after": 2,
"step": 420
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 1080
}
],
"human/316": [
{
"kind": "Stage advanced",
"before": 0,
"after": 1,
"step": 380
},
{
"kind": "Stage advanced",
"before": 1,
"after": 2,
"step": 680
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 2940
}
],
"human/317": [
{
"kind": "Stage advanced",
"before": 0,
"after": 1,
"step": 120
},
{
"kind": "Stage advanced",
"before": 1,
"after": 2,
"step": 340
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 3180
}
],
"human/318": [
{
"kind": "Stage advanced",
"before": 0,
"after": 1,
"step": 360
},
{
"kind": "Stage advanced",
"before": 1,
"after": 2,
"step": 840
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 1480
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1840
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 1860
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 1900
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 2000
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 2020
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 2060
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 2120
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 2140
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 2180
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 2240
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 2260
}
],
"human/319": [
{
"kind": "Stage advanced",
"before": 0,
"after": 1,
"step": 440
},
{
"kind": "Stage advanced",
"before": 1,
"after": 2,
"step": 940
}
],
"human/320": [
{
"kind": "Stage advanced",
"before": 0,
"after": 1,
"step": 80
},
{
"kind": "Stage advanced",
"before": 1,
"after": 2,
"step": 280
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 640
}
],
"codegen_success/301": [
{
"kind": "Stage advanced",
"before": 0,
"after": 1,
"step": 120
},
{
"kind": "Stage advanced",
"before": 1,
"after": 2,
"step": 180
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 320
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 400
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 420
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 460
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 520
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 540
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 580
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 640
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 660
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 700
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 760
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 780
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 820
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 880
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 900
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 940
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1000
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 1020
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 1060
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1120
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 1140
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 1180
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1240
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 1260
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 1300
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1360
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 1380
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 1420
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1480
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 1500
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 1540
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1600
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 1620
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 1660
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1720
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 1740
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 1780
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1840
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 1860
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 1900
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1960
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 1980
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 2060
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 2360
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 2380
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 2420
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 2480
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 2500
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 2540
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 2600
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 2620
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 2660
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 2720
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 2740
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 2780
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 2840
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 2860
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 2900
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 2960
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 2980
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 3020
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 3080
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 3100
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 3140
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 3200
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 3220
}
],
"codegen_success/302": [
{
"kind": "Stage advanced",
"before": 0,
"after": 1,
"step": 220
},
{
"kind": "Stage advanced",
"before": 1,
"after": 2,
"step": 320
},
{
"kind": "Stage went back",
"before": 2,
"after": 1,
"step": 740
},
{
"kind": "Stage advanced",
"before": 1,
"after": 2,
"step": 800
},
{
"kind": "Stage went back",
"before": 2,
"after": 1,
"step": 980
},
{
"kind": "Stage advanced",
"before": 1,
"after": 2,
"step": 1040
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 1440
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1520
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 1540
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 1580
},
{
"kind": "Stage went back",
"before": 3,
"after": 2,
"step": 2240
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 2400
}
],
"codegen_success/303": [
{
"kind": "Stage advanced",
"before": 0,
"after": 1,
"step": 80
},
{
"kind": "Stage advanced",
"before": 1,
"after": 2,
"step": 200
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 300
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 460
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 480
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 520
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 580
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 600
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 640
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 700
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 720
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 760
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 820
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 840
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 900
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1580
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 1600
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 1640
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1700
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 1720
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 1760
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1820
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 1840
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 1960
}
],
"codegen_success/304": [],
"codegen_success/305": [
{
"kind": "Stage advanced",
"before": 0,
"after": 1,
"step": 40
},
{
"kind": "Stage advanced",
"before": 1,
"after": 2,
"step": 200
},
{
"kind": "Stage went back",
"before": 2,
"after": 1,
"step": 260
},
{
"kind": "Stage advanced",
"before": 1,
"after": 2,
"step": 340
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 480
},
{
"kind": "Stage went back",
"before": 3,
"after": 2,
"step": 800
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 900
},
{
"kind": "Stage went back",
"before": 3,
"after": 2,
"step": 1160
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 1380
},
{
"kind": "Stage went back",
"before": 3,
"after": 2,
"step": 1500
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 1600
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 2520
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 2540
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 2620
},
{
"kind": "Stage went back",
"before": 3,
"after": 2,
"step": 2860
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 2980
},
{
"kind": "Stage went back",
"before": 3,
"after": 2,
"step": 3040
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 3100
}
],
"codegen_success/306": [
{
"kind": "Stage advanced",
"before": 0,
"after": 1,
"step": 60
},
{
"kind": "Stage advanced",
"before": 1,
"after": 2,
"step": 160
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 340
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 420
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 440
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 480
}
],
"codegen_success/307": [
{
"kind": "Stage advanced",
"before": 0,
"after": 1,
"step": 60
},
{
"kind": "Stage skipped",
"before": 1,
"after": 2,
"step": 200
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 260
},
{
"kind": "Stage went back",
"before": 3,
"after": 2,
"step": 360
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 500
},
{
"kind": "Stage went back",
"before": 3,
"after": 2,
"step": 800
},
{
"kind": "Stage went back",
"before": 2,
"after": 1,
"step": 960
},
{
"kind": "Stage advanced",
"before": 1,
"after": 2,
"step": 1020
},
{
"kind": "Stage went back",
"before": 2,
"after": 1,
"step": 1080
},
{
"kind": "Stage advanced",
"before": 1,
"after": 2,
"step": 2860
},
{
"kind": "Stage went back",
"before": 2,
"after": 1,
"step": 3160
}
],
"codegen_success/308": [
{
"kind": "Stage advanced",
"before": 0,
"after": 1,
"step": 180
},
{
"kind": "Stage advanced",
"before": 1,
"after": 2,
"step": 300
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 520
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 580
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 600
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 640
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 700
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 720
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 760
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 820
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 840
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 880
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 940
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 960
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 1000
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1060
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 1080
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 1120
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1180
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 1200
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 1280
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1340
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 1360
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 1400
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1460
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 1480
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 1520
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1580
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 1600
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 1640
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1700
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 1720
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 1780
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1940
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 1960
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 2020
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 2080
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 2100
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 2160
}
],
"codegen_success/309": [
{
"kind": "Stage advanced",
"before": 0,
"after": 1,
"step": 40
},
{
"kind": "Stage advanced",
"before": 1,
"after": 2,
"step": 100
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 440
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 700
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 720
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 760
},
{
"kind": "Stage went back",
"before": 3,
"after": 2,
"step": 1160
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 1460
}
],
"codegen_success/310": [
{
"kind": "Stage skipped",
"before": 0,
"after": 1,
"step": 120
},
{
"kind": "Stage advanced",
"before": 1,
"after": 2,
"step": 180
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 300
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 440
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 460
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 500
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 560
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 580
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 620
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 680
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 700
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 740
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 800
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 820
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 860
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 920
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 940
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 980
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1040
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 1060
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 1100
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1160
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 1180
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 1220
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1280
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 1300
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 1340
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1400
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 1420
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 1460
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1520
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 1540
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 1580
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1640
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 1660
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 1700
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1760
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 1780
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 1820
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1880
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 1900
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 1940
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 2320
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 2340
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 2440
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 3120
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 3140
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 3180
}
],
"codegen_success/311": [
{
"kind": "Stage advanced",
"before": 0,
"after": 1,
"step": 100
},
{
"kind": "Stage went back",
"before": 1,
"after": 0,
"step": 160
},
{
"kind": "Stage skipped",
"before": 0,
"after": 1,
"step": 240
},
{
"kind": "Stage advanced",
"before": 1,
"after": 2,
"step": 340
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 860
},
{
"kind": "Stage went back",
"before": 3,
"after": 2,
"step": 1000
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 2820
}
],
"codegen_success/312": [
{
"kind": "Stage advanced",
"before": 0,
"after": 1,
"step": 120
},
{
"kind": "Stage advanced",
"before": 1,
"after": 2,
"step": 220
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 300
},
{
"kind": "Stage went back",
"before": 3,
"after": 2,
"step": 480
},
{
"kind": "Stage went back",
"before": 2,
"after": 1,
"step": 1680
},
{
"kind": "Stage advanced",
"before": 1,
"after": 2,
"step": 1740
}
],
"codegen_success/313": [
{
"kind": "Stage advanced",
"before": 0,
"after": 1,
"step": 120
},
{
"kind": "Stage advanced",
"before": 1,
"after": 2,
"step": 300
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 440
},
{
"kind": "Stage went back",
"before": 3,
"after": 2,
"step": 820
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 1040
},
{
"kind": "Stage went back",
"before": 3,
"after": 2,
"step": 1120
},
{
"kind": "Stage went back",
"before": 2,
"after": 1,
"step": 1220
},
{
"kind": "Stage advanced",
"before": 1,
"after": 2,
"step": 1940
},
{
"kind": "Stage went back",
"before": 2,
"after": 1,
"step": 2240
},
{
"kind": "Stage advanced",
"before": 1,
"after": 2,
"step": 2640
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 2740
}
],
"codegen_success/314": [
{
"kind": "Stage advanced",
"before": 0,
"after": 1,
"step": 40
},
{
"kind": "Stage advanced",
"before": 1,
"after": 2,
"step": 320
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 560
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 660
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 680
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 720
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 780
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 800
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 840
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 900
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 920
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 960
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1020
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 1040
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 1080
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1300
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 1320
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 1360
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1600
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 1620
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 1660
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1720
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 1740
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 1780
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1840
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 1860
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 1900
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1960
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 1980
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 2020
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 2080
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 2100
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 2140
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 2200
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 2220
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 2260
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 2320
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 2340
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 2380
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 2440
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 2460
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 2500
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 2560
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 2580
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 2620
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 2680
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 2700
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 2760
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 2820
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 2840
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 2880
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 2940
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 2960
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 3020
}
],
"codegen_success/315": [
{
"kind": "Stage advanced",
"before": 0,
"after": 1,
"step": 40
},
{
"kind": "Stage advanced",
"before": 1,
"after": 2,
"step": 140
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 240
},
{
"kind": "Stage went back",
"before": 3,
"after": 2,
"step": 500
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 560
},
{
"kind": "Stage went back",
"before": 3,
"after": 2,
"step": 760
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 820
},
{
"kind": "Stage went back",
"before": 3,
"after": 2,
"step": 920
},
{
"kind": "Stage went back",
"before": 2,
"after": 1,
"step": 1080
},
{
"kind": "Stage advanced",
"before": 1,
"after": 2,
"step": 2100
},
{
"kind": "Stage went back",
"before": 2,
"after": 1,
"step": 2320
},
{
"kind": "Stage advanced",
"before": 1,
"after": 2,
"step": 2700
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 2800
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 3180
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 3200
}
],
"codegen_success/316": [
{
"kind": "Stage advanced",
"before": 0,
"after": 1,
"step": 100
},
{
"kind": "Stage advanced",
"before": 1,
"after": 2,
"step": 200
},
{
"kind": "Stage went back",
"before": 2,
"after": 1,
"step": 300
},
{
"kind": "Stage advanced",
"before": 1,
"after": 2,
"step": 360
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 420
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 480
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 500
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 540
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 600
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 620
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 660
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 720
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 740
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 780
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 840
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 860
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 900
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 960
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 980
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 1020
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1080
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 1100
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 1140
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1200
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 1220
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 1260
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1320
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 1340
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 1380
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1440
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 1460
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 1500
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1560
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 1580
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 1620
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1680
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 1700
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 1740
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1800
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 1820
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 1860
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1920
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 1940
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 1980
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 2340
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 2360
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 2440
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 2500
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 2520
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 2560
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 2680
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 2700
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 2740
}
],
"codegen_success/317": [
{
"kind": "Stage advanced",
"before": 0,
"after": 1,
"step": 40
},
{
"kind": "Stage advanced",
"before": 1,
"after": 2,
"step": 140
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 480
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 640
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 660
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 840
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 900
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 920
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 1120
},
{
"kind": "Stage went back",
"before": 3,
"after": 2,
"step": 1340
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 1940
},
{
"kind": "Stage went back",
"before": 3,
"after": 2,
"step": 2000
},
{
"kind": "Stage went back",
"before": 2,
"after": 1,
"step": 2820
},
{
"kind": "Stage advanced",
"before": 1,
"after": 2,
"step": 2880
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 2980
}
],
"codegen_success/318": [
{
"kind": "Stage advanced",
"before": 0,
"after": 1,
"step": 260
},
{
"kind": "Stage advanced",
"before": 1,
"after": 2,
"step": 320
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 380
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 460
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 480
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 520
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 580
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 600
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 640
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 700
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 720
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 760
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 820
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 840
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 880
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 940
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 960
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 1000
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1060
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 1080
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 1120
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1180
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 1200
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 1240
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1300
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 1320
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 1360
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1420
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 1440
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 1480
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1540
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 1560
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 1600
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1660
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 1680
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 1720
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1780
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 1800
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 1840
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1900
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 1920
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 1960
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 2020
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 2040
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 2080
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 2140
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 2160
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 2200
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 2340
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 2360
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 2400
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 2460
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 2480
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 2520
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 2580
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 2600
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 2640
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 2700
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 2720
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 2760
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 2820
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 2840
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 2880
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 3100
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 3120
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 3220
}
],
"codegen_success/319": [
{
"kind": "Stage advanced",
"before": 0,
"after": 1,
"step": 140
},
{
"kind": "Stage went back",
"before": 1,
"after": 0,
"step": 220
},
{
"kind": "Stage advanced",
"before": 0,
"after": 1,
"step": 280
},
{
"kind": "Stage advanced",
"before": 1,
"after": 2,
"step": 340
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 400
},
{
"kind": "Stage went back",
"before": 3,
"after": 2,
"step": 460
},
{
"kind": "Stage went back",
"before": 2,
"after": 1,
"step": 1180
},
{
"kind": "Stage advanced",
"before": 1,
"after": 2,
"step": 2180
},
{
"kind": "Stage went back",
"before": 2,
"after": 1,
"step": 2280
},
{
"kind": "Stage advanced",
"before": 1,
"after": 2,
"step": 2380
},
{
"kind": "Stage went back",
"before": 2,
"after": 1,
"step": 3020
}
],
"codegen_success/320": [
{
"kind": "Stage skipped",
"before": 0,
"after": 1,
"step": 160
},
{
"kind": "Stage advanced",
"before": 1,
"after": 2,
"step": 220
}
],
"mix_h50_c50/301": [
{
"kind": "Stage advanced",
"before": 0,
"after": 1,
"step": 120
},
{
"kind": "Stage advanced",
"before": 1,
"after": 2,
"step": 180
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 280
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 420
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 440
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 480
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 540
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 560
},
{
"kind": "Stage went back",
"before": 2,
"after": 1,
"step": 640
}
],
"mix_h50_c50/302": [
{
"kind": "Stage advanced",
"before": 0,
"after": 1,
"step": 160
},
{
"kind": "Stage advanced",
"before": 1,
"after": 2,
"step": 340
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 680
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1180
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 1200
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 1240
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1300
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 1320
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 1360
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1420
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 1440
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 1480
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1540
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 1560
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 1600
}
],
"mix_h50_c50/303": [
{
"kind": "Stage advanced",
"before": 0,
"after": 1,
"step": 80
},
{
"kind": "Stage advanced",
"before": 1,
"after": 2,
"step": 200
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 320
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 460
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 480
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 520
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 580
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 600
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 640
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 700
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 720
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 760
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 820
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 840
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 900
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 960
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 980
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 1040
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1100
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 1120
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 1160
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1220
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 1240
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 1280
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1340
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 1360
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 1400
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1460
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 1480
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 1520
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1580
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 1600
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 1640
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1700
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 1720
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 1760
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1820
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 1840
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 1880
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1940
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 1960
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 2000
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 2060
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 2080
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 2120
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 2180
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 2200
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 2240
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 2300
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 2320
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 2360
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 2480
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 2500
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 2560
}
],
"mix_h50_c50/304": [
{
"kind": "Stage advanced",
"before": 0,
"after": 1,
"step": 40
},
{
"kind": "Stage skipped",
"before": 1,
"after": 2,
"step": 120
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 180
}
],
"mix_h50_c50/305": [
{
"kind": "Stage advanced",
"before": 0,
"after": 1,
"step": 120
},
{
"kind": "Stage advanced",
"before": 1,
"after": 2,
"step": 240
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 400
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1020
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 1040
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 1080
},
{
"kind": "Stage went back",
"before": 3,
"after": 2,
"step": 2200
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 2400
},
{
"kind": "Stage went back",
"before": 3,
"after": 2,
"step": 2460
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 2640
},
{
"kind": "Stage went back",
"before": 3,
"after": 2,
"step": 2920
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 2980
}
],
"mix_h50_c50/306": [
{
"kind": "Stage advanced",
"before": 0,
"after": 1,
"step": 60
},
{
"kind": "Stage went back",
"before": 1,
"after": 0,
"step": 120
},
{
"kind": "Stage skipped",
"before": 0,
"after": 1,
"step": 180
},
{
"kind": "Stage advanced",
"before": 1,
"after": 2,
"step": 240
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 320
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 520
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 540
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 580
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 640
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 660
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 700
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 760
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 780
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 820
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 880
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 900
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 940
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1000
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 1020
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 1060
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1160
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 1180
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 1220
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1600
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 1620
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 1720
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1780
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 1800
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 1840
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 2020
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 2040
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 2100
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 2160
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 2180
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 2240
}
],
"mix_h50_c50/307": [
{
"kind": "Stage advanced",
"before": 0,
"after": 1,
"step": 80
},
{
"kind": "Stage skipped",
"before": 1,
"after": 2,
"step": 200
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 260
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 320
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 340
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 380
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 440
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 460
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 500
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 560
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 580
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 620
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 680
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 700
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 740
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 800
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 820
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 860
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 940
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 960
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 1000
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1060
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 1080
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 1120
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1180
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 1200
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 1240
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1300
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 1320
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 1360
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1420
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 1440
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 1480
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1540
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 1560
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 1600
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1660
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 1680
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 1720
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1780
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 1800
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 1840
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1900
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 1920
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 1960
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 2020
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 2040
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 2080
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 2140
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 2160
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 2240
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 2300
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 2320
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 2360
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 2420
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 2440
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 2480
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 2540
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 2560
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 2600
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 2660
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 2680
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 2720
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 2780
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 2800
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 2840
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 2900
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 2920
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 2960
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 3020
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 3040
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 3100
}
],
"mix_h50_c50/308": [
{
"kind": "Stage advanced",
"before": 0,
"after": 1,
"step": 180
},
{
"kind": "Stage advanced",
"before": 1,
"after": 2,
"step": 460
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 580
},
{
"kind": "Stage went back",
"before": 3,
"after": 2,
"step": 800
},
{
"kind": "Stage went back",
"before": 2,
"after": 1,
"step": 2080
},
{
"kind": "Stage advanced",
"before": 1,
"after": 2,
"step": 2260
}
],
"mix_h50_c50/309": [
{
"kind": "Stage advanced",
"before": 0,
"after": 1,
"step": 40
},
{
"kind": "Stage advanced",
"before": 1,
"after": 2,
"step": 120
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 260
},
{
"kind": "Stage went back",
"before": 3,
"after": 2,
"step": 780
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 840
}
],
"mix_h50_c50/310": [
{
"kind": "Stage skipped",
"before": 0,
"after": 1,
"step": 120
},
{
"kind": "Stage advanced",
"before": 1,
"after": 2,
"step": 180
},
{
"kind": "Stage went back",
"before": 2,
"after": 1,
"step": 260
},
{
"kind": "Stage advanced",
"before": 1,
"after": 2,
"step": 320
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 380
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 540
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 560
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 600
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 660
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 680
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 720
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 780
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 800
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 840
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 900
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 920
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 960
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1020
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 1040
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 1080
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1140
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 1160
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 1200
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1300
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 1320
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 1360
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1500
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 1520
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 1560
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1760
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 1780
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 1820
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 2100
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 2120
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 2160
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 2220
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 2240
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 2280
}
],
"mix_h50_c50/311": [
{
"kind": "Stage advanced",
"before": 0,
"after": 1,
"step": 280
},
{
"kind": "Stage advanced",
"before": 1,
"after": 2,
"step": 380
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 620
},
{
"kind": "Stage went back",
"before": 3,
"after": 2,
"step": 700
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 760
},
{
"kind": "Stage went back",
"before": 3,
"after": 2,
"step": 820
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 1120
},
{
"kind": "Stage went back",
"before": 3,
"after": 2,
"step": 1680
},
{
"kind": "Stage went back",
"before": 2,
"after": 1,
"step": 1740
},
{
"kind": "Stage advanced",
"before": 1,
"after": 2,
"step": 2280
},
{
"kind": "Stage went back",
"before": 2,
"after": 1,
"step": 2340
},
{
"kind": "Stage advanced",
"before": 1,
"after": 2,
"step": 2520
},
{
"kind": "Stage went back",
"before": 2,
"after": 1,
"step": 2660
},
{
"kind": "Stage advanced",
"before": 1,
"after": 2,
"step": 2720
}
],
"mix_h50_c50/312": [
{
"kind": "Stage advanced",
"before": 0,
"after": 1,
"step": 160
},
{
"kind": "Stage advanced",
"before": 1,
"after": 2,
"step": 240
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 380
}
],
"mix_h50_c50/313": [
{
"kind": "Stage advanced",
"before": 0,
"after": 1,
"step": 200
},
{
"kind": "Stage advanced",
"before": 1,
"after": 2,
"step": 320
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 420
},
{
"kind": "Stage went back",
"before": 3,
"after": 2,
"step": 800
},
{
"kind": "Stage went back",
"before": 2,
"after": 1,
"step": 1200
},
{
"kind": "Stage advanced",
"before": 1,
"after": 2,
"step": 1260
},
{
"kind": "Stage went back",
"before": 2,
"after": 1,
"step": 1360
},
{
"kind": "Stage advanced",
"before": 1,
"after": 2,
"step": 1420
},
{
"kind": "Stage went back",
"before": 2,
"after": 1,
"step": 1580
},
{
"kind": "Stage advanced",
"before": 1,
"after": 2,
"step": 1640
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 2700
},
{
"kind": "Stage went back",
"before": 3,
"after": 2,
"step": 2760
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 2940
},
{
"kind": "Stage went back",
"before": 3,
"after": 2,
"step": 3000
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 3080
}
],
"mix_h50_c50/314": [
{
"kind": "Stage advanced",
"before": 0,
"after": 1,
"step": 320
},
{
"kind": "Stage advanced",
"before": 1,
"after": 2,
"step": 460
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 560
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 660
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 680
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 720
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 780
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 800
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 840
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 900
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 920
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 960
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1020
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 1040
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 1080
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1140
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 1160
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 1200
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1260
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 1280
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 1320
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1380
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 1400
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 1440
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1500
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 1520
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 1560
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1620
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 1640
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 1680
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1740
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 1760
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 1800
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1860
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 1880
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 1920
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1980
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 2000
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 2060
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 2160
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 2180
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 2220
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 2280
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 2300
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 2340
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 2400
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 2420
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 2460
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 2520
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 2540
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 2580
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 2640
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 2660
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 2700
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 2760
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 2780
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 2820
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 2880
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 2900
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 2940
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 3000
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 3020
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 3060
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 3120
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 3140
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 3180
}
],
"mix_h50_c50/315": [
{
"kind": "Stage advanced",
"before": 0,
"after": 1,
"step": 80
},
{
"kind": "Stage advanced",
"before": 1,
"after": 2,
"step": 180
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 260
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 460
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 480
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 520
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 900
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 920
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 960
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1080
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 1100
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 1140
}
],
"mix_h50_c50/316": [
{
"kind": "Stage advanced",
"before": 0,
"after": 1,
"step": 260
},
{
"kind": "Stage advanced",
"before": 1,
"after": 2,
"step": 340
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 500
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 560
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 580
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 620
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 680
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 700
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 740
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 800
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 820
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 860
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 920
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 940
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 980
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1040
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 1060
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 1100
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1560
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 1580
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 1620
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 2620
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 2640
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 2680
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 2740
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 2760
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 2800
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 2860
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 2880
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 2960
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 3020
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 3040
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 3080
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 3140
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 3160
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 3200
}
],
"mix_h50_c50/317": [
{
"kind": "Stage advanced",
"before": 0,
"after": 1,
"step": 40
},
{
"kind": "Stage advanced",
"before": 1,
"after": 2,
"step": 160
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 2080
},
{
"kind": "Stage went back",
"before": 3,
"after": 2,
"step": 2240
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 2520
},
{
"kind": "Stage went back",
"before": 3,
"after": 2,
"step": 2600
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 2660
}
],
"mix_h50_c50/318": [
{
"kind": "Stage skipped",
"before": 0,
"after": 1,
"step": 240
},
{
"kind": "Stage skipped",
"before": 1,
"after": 2,
"step": 360
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 420
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 480
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 500
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 540
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 600
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 620
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 660
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 720
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 740
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 780
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 840
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 860
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 900
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 960
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 980
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 1020
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1080
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 1100
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 1140
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1200
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 1220
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 1260
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1320
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 1340
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 1380
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1440
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 1460
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 1500
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1560
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 1580
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 1620
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1680
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 1700
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 1740
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1800
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 1820
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 1860
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 1920
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 1940
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 1980
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 2040
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 2060
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 2100
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 2160
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 2180
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 2220
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 2280
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 2300
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 2340
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 2400
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 2420
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 2460
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 2520
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 2540
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 2580
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 2640
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 2660
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 2700
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 2760
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 2780
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 2820
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 2880
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 2900
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 2980
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 3060
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 3080
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 3120
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 3180
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 3200
}
],
"mix_h50_c50/319": [
{
"kind": "Stage advanced",
"before": 0,
"after": 1,
"step": 200
},
{
"kind": "Stage advanced",
"before": 1,
"after": 2,
"step": 300
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 360
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 480
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 500
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 540
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 600
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 620
},
{
"kind": "Stage skipped",
"before": 2,
"after": 3,
"step": 660
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 720
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 740
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 780
},
{
"kind": "Stage advanced",
"before": 3,
"after": 4,
"step": 880
},
{
"kind": "Stage corrected",
"before": 4,
"after": 2,
"step": 900
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 940
}
],
"mix_h50_c50/320": [
{
"kind": "Stage advanced",
"before": 0,
"after": 1,
"step": 60
},
{
"kind": "Stage advanced",
"before": 1,
"after": 2,
"step": 140
},
{
"kind": "Stage advanced",
"before": 2,
"after": 3,
"step": 820
},
{
"kind": "Stage went back",
"before": 3,
"after": 2,
"step": 880
}
]
}