StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Rating Stats for

Nikolaj Bjorner

Rating
1501.79 (379,989th)

Reputation
126 (617,710th)

Page: 1

Title	Δ
Chain (Datalog) Programs in Z3	0.00
datalog input format of Z3	+4.25
Quantifier Elimination for LIA in Z3 via C/C++ API	-2.45
Does ctx-solver-simplify (and similar tactics) produce equivalent f...	0.00