StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
Executing get-model or unsat-core depending on solver's decision
| Author | Votes | Δ |
|---|---|---|
| Nikolaj Bjorner | 3 | +0.50 |
| CliffordVienna | 2 | -2.67 |
Last visited: Nov 24, 2016, 3:28:45 AM