Kani

Fixup merge resolution: Add and update rewards to open challenges lacking one #2316

Job	Run time
Verify std library using autoharness (macos-latest)	1h 7m 32s
Verify std library using autoharness (ubuntu-latest)	1h 16m 33s
Verify std library (partition 3)	28m 55s
Verify std library (partition 1)	42m 19s
Verify std library (partition 2)	38m 16s
Verify std library (partition 3)	23m 14s
Verify std library (partition 1)	47m 18s
Verify std library (partition 2)	38m 3s
Verify std library (partition 4)	48m 1s
Kani List	1h 5m 47s
Verify std library (partition 4)	53m 7s
Kani Metrics (macos-latest)	1h 30m 13s
Kani Autoharness Analyzer	47m 49s
Kani Metrics (ubuntu-latest)	1h 2m 32s
Build JSON from logs (ubuntu-latest)	13s
Build JSON from logs (macos-latest)	16s
	12h 10m 8s

Provide feedback