StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Rating Stats for

Juan Ospina

Rating
1470.28 (4,519,239th)

Reputation
962 (159,852nd)

Page: 1 2

Title	Δ
Z3 Python: Code produces wrong result with ForAll, why?	+4.05
Z3 Python: Code produces wrong result with ForAll, why?	-1.95
Find logical conditions for 2 formulas to be equivalent?	0.00
How to determine the number of solutions that a given instance has:...	-1.93
How to determine the number of solutions that a given instance has:...	-1.93
How to determine the number of solutions that a given instance has:...	-1.93
Is it expensive for z3 to solve a constraint set with quantifiers?	0.00
How to hide variable with Z3	0.00