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 4 ... 6
Title Δ
Calculate the sum of an Int Set -1.93
Multiple Repeat..Until in Promela Spin -1.98
How to check progress for Z3 optimization problem +0.05
Is the colon symbol interchangeable with the set membership symbol... 0.00
Combination of MAxSMT and user defined cost function in Z3 solver +2.08
UPPAAL SMC motivating example 0.00
Advice about how to make Z3 evaluate simple constraints faster +0.08
How to maximize a var int that is larger than 32 bits? -1.65
Specification name 0.00
Some error on my code that I cant figure it out 0.00
Data Type declaration 0.00
Execution time of properties checking 0.00
syntax errors in model checking with nuXmv 0.00
NuSMV CTL specification 0.00
MiniZinc: No statistics output 0.00
MiniZinc Geocode not printing all solutions to CSP with "all&q... -1.67
Error: Impossible to build a BDD FSM with infinite precision variab... 0.00
What is the interpretation of <>P -> (!P U R) 0.00
How to check for an arbitrary condition in a message queue in Spin? 0.00
What does error: sensing to an uninitialized chan mean in ispin? 0.00
Can I get a solution using "timeout" when using Optimize.... 0.00
invalid use of member in static member function - arduino 0.00
Save and reload z3py solver constraints 0.00
Arduino/C++: Access specific header file of structs from library 0.00
Invalid use of non-static error member function arduino 0.00
Promela randomly select two elements at the same time 0.00
Can we have terminal states in NuSMV? 0.00
What does "quantifier free logic" mean in SMT context? +2.06
How can I minimize the max of the sum of my columns? +0.51
Unsatisfiable solution with `constraint forall(i in x)( x[i] <=... 0.00
MiniZinc: type error: no function or predicate with this signature... 0.00
What is the theory behind Z3 Optimize maximum and minimum functiona... 0.00
How to change the order of the messages in a channel? 0.00
Promela model with spin - duplicate message and corrupt message 0.00
Different results from check_property and msat_check_ltlspec_bmc in... 0.00
How to interpret the differnce in results of check_property & m... 0.00
How to interpret the Result of msat LTL commands of NuXMV 0.00
Is the following formula in CTL welformed? 0.00
Using SMT-LIB to count the number of modules using a formula +0.02
Using SMT-LIB to count the number of modules using a formula +0.02
Python file included with C in Promela/Spin: 'inline text too l... +0.55
PROMELA: Would this be an example of a deadlock? 0.00
PROMELA: What are interleavings? 0.00
Is it possible to get a legit range info when using a SMT constrain... -1.30
What exactly is the difference between skip and break in PROMELA? 0.00
How to find memory and runtime used by a NuSMV model 0.00
When to use semaphore locks / unlocks vs. wait / notify? 0.00
z3 control preference for model return values +2.03
z3 control preference for model return values +0.03
NuSMV: how to exclude a possible next state 0.00