StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
Z3 solver returning unsat when formula should be satisfiable
| Author | Votes | Δ |
|---|---|---|
| user667804 | 2 | +4.19 |
| Nikolaj Bjorner | 1 | -0.52 |
Last visited: Nov 17, 2015, 2:16:49 PM