188f54ea

By: Tom Sydney Kerckhove <syd@cs-syd.eu>

Correct the measured figures and drop em dashes

The first speed numbers were single unmeasured runs and one memory
figure belonged to a different run entirely. Re-measured interleaved
with repeats: fix's bulk advantage is a range rather than a point
because it is parallel and the machine is shared, and on real flakes it
is consistently slower than what we have.

Also removes feature-progress.md, which was scaffolding.
GitHub
Time to Start Worker time Duration Time to finish Idle
Config 22h52m38s 1s 1s 22h52m39s 22h52m38s
Eval 22h52m49s 25s 1m07s 22h53m56s 50s
Build 22h53m02s 3m19s - - 47m46s
Suite 22h52m38s 3m46s - - 23h41m15s

Timeline

Config Eval Build Failed Retried Compressed gap
0s22h53m23h17m23h17m23h17m23h18m23h18m23h18m23h19m23h19m23h19m23h22m