Kani

renamed challenge and did last edits #1

Job	Run time
Kani List	9m 32s
Verify std library (partition 1)	39m 54s
Verify std library (partition 2)	28m 42s
Verify std library (partition 3)	26m 43s
Verify std library (partition 4)	34m 19s
Verify std library (partition 1)	42m 49s
Verify std library (partition 2)	24m 19s
Verify std library (partition 3)	25m 45s
Verify std library (partition 4)	33m 39s
	4h 25m 42s

Provide feedback