StackRating

An Elo-based rating system for Stack Overflow
Home   |   About   |   Stats and Analysis   |   Get a Badge
Rating Stats for

Kees Huizing

Rating
1499.74 (3,753,462nd) 		Reputation
6 (2,318,378th)
Page: 1
Title Δ
Error BP5005: This loop invariant might not be maintained by the loop -0.01
Finding minimum of a set of recursion results 0.00
What invariant do I miss in the BubbleSort proof? 0.00
writing inductive lemmas in dafny 0.00
My program gives me java.lang.ArrayIndexOutOfBoundsException: 1 -0.25