Kani

Update Kani Metrics #2362

Job	Run time
Verify std library using autoharness (macos-latest)	1h 1m 24s
Kani List	59m 44s
Kani Autoharness Analyzer	44m 18s
Verify std library using autoharness (ubuntu-latest)	1h 10m 10s
Kani Metrics (ubuntu-latest)	59m 27s
Kani Metrics (macos-latest)	1h 36m 13s
Verify std library (partition 2)	35m 11s
Verify std library (partition 3)	26m 21s
Verify std library (partition 1)	37m 13s
Verify std library (partition 4)	47m 57s
Verify std library (partition 1)	58m 57s
Verify std library (partition 4)	45m 40s
Verify std library (partition 3)	26m 50s
Verify std library (partition 2)	25m 2s
Build JSON from logs (macos-latest)	13s
Build JSON from logs (ubuntu-latest)	8s
	11h 34m 48s

Provide feedback