StackRating

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

Nikolaj Bjorner

Rating
1496.82 (4,005,564th) 		Reputation
56 (976,963rd)
Page: 1
Title Δ
cross product in z3 -3.88
Why does Z3 report different query statuses at web-page and locally... +4.22
quantifier elimination over bit vectors produces overly complicated... 0.00
C# API for Z3 Installation -3.52