Kani

Update Kani Metrics #2532

Job	Run time
Kani Autoharness Analyzer	44m 0s
Kani List	58m 11s
Kani Metrics (ubuntu-latest)	57m 29s
Kani Metrics (macos-latest)	1h 26m 44s
Verify std library using autoharness (macos-latest)	42m 31s
Verify std library using autoharness (ubuntu-latest)	1h 2m 32s
Verify std library (partition 4)	34m 32s
Verify std library (partition 1)	27m 12s
Verify std library (partition 2)	33m 7s
Verify std library (partition 1)	38m 14s
Verify std library (partition 4)	52m 37s
Verify std library (partition 3)	25m 39s
Verify std library (partition 2)	36m 12s
Verify std library (partition 3)	19m 33s
Build JSON from logs (ubuntu-latest)	9s
Build JSON from logs (macos-latest)	13s
	10h 18m 55s

Provide feedback