Kani

Merge pull request #23 from carolynzech/metrics #158

Job	Run time
Kani List	10m 24s
Verify std library (partition 1)	40m 14s
Verify std library (partition 2)	29m 15s
Verify std library (partition 3)	26m 44s
Verify std library (partition 4)	37m 54s
Verify std library (partition 1)	43m 43s
Verify std library (partition 2)	27m 46s
Verify std library (partition 3)	23m 26s
Verify std library (partition 4)	31m 25s
	4h 30m 51s

Provide feedback