StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Rating Stats for

Hovercouch

Rating
1531.00 (17,671st)

Reputation
925 (165,123rd)

Page: 1

Title	Δ
Alloy - Irreflexivity	0.00
How do I define a CONSTANT value as a function so its domain is mod...	0.00
Getting subsets of signatures in Alloy	+4.08
TLC model checker doesn't terminate on an and/or list version o...	+3.73
Alloy: Is it possible to retrieve "instances" that make a...	0.00
How to write term none in alloy	0.00
how is this sig being added to a relation in Alloy?	0.00
How to use a set comprehension for the body of a function	0.00
Linked Data Structures: Restricting a link operation	0.00
Ordering predicate is unsatisfiable	0.00
How do I express that a proposition is independent in TLA+?	-0.17
wrong sig object get referenced to while executing state in Alloy	0.00
Filtering a tuple while preserving order in TLA+	+4.01
TLA+: Why does fair algorithm still stutter?	0.00
TLA+: Temporal properties not being checked	0.00
Questions about constant operator in TLA+	0.00
How to perform exhaustive state checking in TLA+?	0.00
TLA+ sequence not being updated with Append or Tail calls	0.00
how can I assert that a number goes or a list grows up in TLA+?	0.00
\in works, while \subseteq gives a "identifier undefined"...	0.00
TLA+ Trouble removing an element	0.00
Comparing elements of sequence and set in TLA+	0.00
A predicate which holds for at most 2	0.00
How do I model-check a module that depends on an unbound variable?	0.00
Transitive closure with quantifiers in Alloy	0.00
Constructing a relation in Alloy	+4.35
Can I use Alloy to solve linear programming like problems?	+0.22
Set of pairs, with and without repetitions	+3.84
Why does a cardinality constraint work in a run command but not in...	0.00
How to use loop to do rolling calculation in J	0.00
Check that branches are executed	0.00
Check that system passes all the states	0.00
How can A imply B and B imply A and yet A and B are not equivalent?	0.00
How to express Nothing else in the set?	+4.11
Difference between => and <=>	-0.12
TLA+: How to delete structure key/value pairings?	+3.99
How to assert a given state leads to a another state with variables...	0.00
Can't connect to Twitter API	0.00
Find each element that is less than some element to its right	+2.94
Preventing repeated use of hjkl movement keys in vim	0.00