StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Rating Stats for

Vladimir Klebanov

Rating
1503.97 (245,424th)

Reputation
103 (699,593rd)

Page: 1

Title	Δ
Simplifying CNF formula while preserving all solutions wrt certain...	+3.78
Z3 Python: Code produces wrong result with ForAll, why?	-2.09
How to determine the number of solutions that a given instance has:...	+2.07
Prove() method, but ignore some 'free' variables?	+0.22