Kani

Challenge 8: Verify safety and sorting correctness of SmallSort #2498

Job	Run time
Verify std library using autoharness (macos-latest)	53m 16s
Kani Metrics (macos-latest)	58m 49s
Kani Autoharness Analyzer	41m 38s
Kani Metrics (ubuntu-latest)	1h 0m 57s
Verify std library using autoharness (ubuntu-latest)	1h 7m 56s
Kani List	1h 3m 1s
Verify std library (partition 1)	26m 45s
Verify std library (partition 4)	36m 15s
Verify std library (partition 4)	49m 50s
Verify std library (partition 2)	31m 11s
Verify std library (partition 3)	26m 2s
Verify std library (partition 3)	18m 18s
Verify std library (partition 1)	39m 38s
Verify std library (partition 2)	23m 16s
Build JSON from logs (ubuntu-latest)	8s
Build JSON from logs (macos-latest)	13s
	9h 57m 13s

Provide feedback