StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Rating Stats for

Patrick Trentin

Rating
1486.86 (4,455,667th)

Reputation
4,646 (35,788th)

Page: 1 2 3 ... 6

Title	Δ
Rounded floating-point number comparison issue	+1.99
How should I do that the two receiving processes not to be twice in...	0.00
NuSMV: Initialising range constant with parameter	0.00
Will the output always be greater than 0 ? PROMELA program	0.00
NuSMV returns undefined operation	0.00
How to identify minizinc problem(Maximizing or Minimizing) has mult...	-1.83
Incremental weakening Maxsat	0.00
Running many data instances in one go with one .mzn file	0.00
Extracting upper and/or lower bound of a numerical variable in Z3	+0.03
Array of Z3 Counter variables in Python	0.00
Why is there a difference of one in down function of Z notation for...	0.00
How do I properly install NuSMV since, upon downloading, the bin fi...	0.00
How to generate a Buchi Automaton from a LTL formula?	0.00
Is "true U Φ" a valid Computation Tree Logic formula?	0.00
Order of adding constraints when solving an SMT problem	0.00
How to get existing constraints out of a Z3 Solver object in z3py?	0.00
Find maximum value of a variable given constraints in z3py	0.00
Using forall() predicate in minizinc as assignment statement withou...	0.00
Reverse Engineering Z3 SMT solver solutions	0.00
Getting all solutions of a boolean expression in Z3Py never ends	0.00
Timeout for Z3 Optimize	-0.67
Index an element of BitVec in Z3Py	0.00
Understanding the input format of Minizincs geost constraint	0.00
Promela: Errors with parameters in proctypes, and using 'end...	0.00
How to check for 1000+ variables having no duplicate values?	0.00
Select matching raws in table with Minizinc	0.00
Minizinc: how can I make the union of a set in this situation (fix...	0.00
Why does Z3 keeps a variable at the same value even if it is specif...	0.00
Merge two ASCII DEC values together and convert to int	0.00
Gap tolerance control in Z3 optimization	0.00
Incremental Learning using MAXSMT	0.00
Trying to match to a typedef value in a receive statement causes &q...	+0.01
How to Solve Vertex Cover Problem by SAT and Optimization?	0.00
4 in a row with NUSMV	0.00
nuXmv syntax error when using variable instead of integer	0.00
How to create two dimensional array in Promela?	0.00
All possible Knight moving on a chessboard in promela	0.00
Minizinc constraint against recursive function	0.00
Having assertions inside definitions in SMT	0.00
Z3 giving unsat result for equation Solving	0.00
Determining when two boolean functions are equivalent?	0.00
Minizinc. Count number of shifts in a cycle	0.00
Logical evaluation of "When A and B ... "	0.00
Minizinc: generate a valid shift	0.00
Minizinc: generate a valid shift	0.00
What does $ mean in MiniZinc?	0.00
Promela channel "??" removal order	0.00
Why an infinite loop doesn't result in an error in model checki...	0.00
finding max of the numbers in z3 using SMTLIB2	-1.91
What is Channeling in MiniZinc? Can you provide an simple example t...	0.00