StackRating

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

Patricio Inzaghi

Rating
1496.07 (4,110,302nd)
Reputation
1 (4,289,849th)
Page: 1
Title Δ
Invariants and old() in Boogie 0.00
Declaring a finite sort in z3 0.00
Z3 solve f(x) > y in Z3Py throws an exception -3.83
Sql merge query -0.01
Send print job from PHP on Linux to Windows without samba -0.09