Kani

Update Kani Metrics #2404

Job	Run time
Kani Autoharness Analyzer	41m 21s
Kani Metrics (ubuntu-latest)	57m 13s
Verify std library using autoharness (macos-latest)	51m 45s
Verify std library using autoharness (ubuntu-latest)	1h 6m 28s
Kani List	57m 23s
Verify std library (partition 3)	25m 44s
Verify std library (partition 1)	38m 34s
Verify std library (partition 1)	28m 31s
Kani Metrics (macos-latest)	1h 46m 46s
Verify std library (partition 3)	28m 14s
Verify std library (partition 2)	35m 51s
Verify std library (partition 4)	49m 31s
Verify std library (partition 4)	41m 10s
Verify std library (partition 2)	31m 19s
Build JSON from logs (macos-latest)	14s
Build JSON from logs (ubuntu-latest)	8s
	11h 0m 12s

Provide feedback