StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Rating Stats for

Malte Schwerhoff

Rating
1477.40 (4,505,326th)

Reputation
9,324 (16,525th)

Page: 1 2 3 4 ... 5

Title	Δ
How to prevent Z3 solver from binding (=interpreting) certain varia...	0.00
While loop for Z3 or Smt2	0.00
how do we calculate runtime of Z3 sat solver	0.00
Z3 model for correct Dafny method	-0.49
Trigger the running time of theory solver	0.00
Z3 invariant check	0.00
How do you remove (or 'unstore') an element from a Z3 array?	0.00
Modelling "swapping two elements in an array creates permutati...	0.00
Sort inheritance in z3	0.00
how to declare matriz[3][3] or [2][2] in Z3 using SMT	0.00
Encoding a language grammar and Enumerating all accepted terminals...	0.00
z3py: how to represent an array of integers or characters in z3py	+0.51
How do I create a constraint in Z3py to check if a list if a permut...	0.00
Why does the third access to this array return null?	-1.42
What is the reason this type parameter syntax doesn't compile?	+0.19
What is "lifting" in Scala?	-1.48
How to declare or check a one-to-one function?	0.00
How to interpret statistics Z3	0.00
iterate over case class data members	-0.48
How to model a transition system with SPIN	0.00
How can I escape special symbols in scala string?	+0.02
Reduce code duplication by abstracting mixing class	+0.49
Z3 - Formalising an array pattern matching	+0.01
Does z3 distinguish variables by their names?	0.00
Re-ordering Sequence in Scala	+0.31
Scala local variable inside primary constructor	+0.10
What are the steps to verify LTL with SPIN tool?	-0.05
In SPIN/Promela, how to receive a MSG from a channel in the correct...	-2.07
Leave out passthrough parameters	+0.06
Unable to access to object in a sub-package	-1.94
Referencing the subtype within a trait in Scala	0.00
Accessing to the last element in Z3 list	0.00
Fill Z3Py Tree with values	0.00
Inheritance and a constructor with a parameter	-0.02
companion object as factory in scala	0.00
Scala matching, resolving the same variable from two different patt...	+1.27
Scala: how to add type-dependent methods in trait?	0.00
Curried update method	-1.45
Scala Datatype for numeric real range	+1.41
Get defined parameters for partial function	+0.52
Scala : get mixin interfaces at runtime	+0.00
Z3: Is it possible to sum up a BitVec and a Real?	+0.51
How to enforce Functional Programming on Scala	+1.40
How to override a mutable variable in Trait in scala?	+0.28
Scala underspecified types	0.00
Best array manipulation API	0.00
Genericizing Constructors in Scala	0.00
Provide simple axioms to Z3	0.00
Keep getting "unknown" result with :pattern usage in SMTL...	+0.16
Reuse Scala type as bounds in method definition	0.00