StackRating

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

Tarciana

Rating
1495.75 (4,234,639th) 		Reputation
63 (921,406th)
Page: 1
Title Δ
Selecting SAT solver from command line -4.25
Execution Error when change the SATSolver from SAT4J to MiniSAT 0.00