Kani

Update Kani Metrics #2354

Job	Run time
Kani List	58m 1s
Kani Metrics (macos-latest)	1h 47m 37s
Verify std library using autoharness (ubuntu-latest)	1h 11m 34s
Kani Metrics (ubuntu-latest)	59m 20s
Kani Autoharness Analyzer	41m 59s
Verify std library using autoharness (macos-latest)	1h 21m 10s
Verify std library (partition 1)	45m 47s
Verify std library (partition 1)	36m 0s
Verify std library (partition 3)	30m 56s
Verify std library (partition 2)	32m 26s
Verify std library (partition 4)	55m 51s
Verify std library (partition 4)	48m 7s
Verify std library (partition 3)	28m 32s
Verify std library (partition 2)	1h 3m 2s
Build JSON from logs (macos-latest)	15s
Build JSON from logs (ubuntu-latest)	14s
	12h 40m 51s

Provide feedback