Kani

Update Kani Metrics #2561

Job	Run time
Kani List	1h 0m 39s
Kani Metrics (macos-latest)	1h 0m 13s
Kani Autoharness Analyzer	44m 52s
Kani Metrics (ubuntu-latest)	1h 3m 57s
Verify std library using autoharness (ubuntu-latest)	1m 44s
Verify std library using autoharness (macos-latest)	49m 2s
Verify std library (partition 2)	24m 54s
Verify std library (partition 1)	26m 35s
Verify std library (partition 4)	46m 41s
Verify std library (partition 4)	43m 56s
Verify std library (partition 2)	33m 31s
Verify std library (partition 3)	21m 5s
Verify std library (partition 3)	25m 41s
Verify std library (partition 1)	38m 40s
Build JSON from logs	0s
	9h 1m 30s

Provide feedback