StackRating

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

user1513683

Rating
1487.84 (4,446,312th) 		Reputation
276 (422,324th)
Page: 1
Title Δ
Is it possible to use pointfree expressions in signature facts? -3.53
How to represent sequential operation schemas [Z-notation] 0.00
Z notation: How to write operation schema that may add one or more... 0.00
Alloy - Illegal Relational Join +4.12
How to implement order in a set of sets? 0.00
Multiplicity with Predicates +0.13
In a bounded set of Person, there must be someone without a father,... 0.00
True and False in Alloy -3.93
Creating an independent set from a graph in Alloy 4.2 -3.94
Creating an object for each relation in Alloy +4.06
Are there multisets in Alloy? +4.15
Take a random Object in Alloy -3.57
Memory Issue in Alloy -1.86
How to add restrictions to fields of a signature when there are two... -3.85
alloy formula, expressing foreach operation -3.94
Alloy - Lone instance 0.00
universal set in alloy 0.00
Modeling random failures in a connected graph in Alloy 0.00
Populating a set over time in Alloy in a completely connected network 0.00
Alloy model an algebraic group 0.00