StackRating

An Elo-based rating system for Stack Overflow
Home   |   About   |   Stats and Analysis   |   Get a Badge
Rating Stats for

Zhongjun 'Mark' Jin

Rating
1488.23 (4,440,971st) 		Reputation
931 (164,260th)
Page: 1
Title Δ
Could I use heuristic to get the result in the playout phase in Mon... -3.91
z3, z3py: Is it possible to intrinsically reduce the search space o... -3.77
z3py: How to set Tactic configuration options whose names contain &... 0.00
z3py: How to improve the time efficiency of the following code 0.00
z3py: how to represent an array of integers or characters in z3py -4.09