StackRating

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

iago

Rating
1503.90 (272,787th) 		Reputation
192 (473,247th)
Page: 1
Title Δ
Declaring uninterpreted polyadic functions with Z3Py 0.00
Can't explain how a simple tweak leads to "unknown" Z... 0.00
Z3 unable to find satisfying assignment for simple formula with qua... 0.00
Segmentation fault in Z3 (Haskell) +3.90