StackRating

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

Tim

Rating
1501.93 (372,353rd) 		Reputation
621 (229,241st)
Page: 1
Title Δ
Satisfiability with DP and DPLL yields different results 0.00
How to access the AST for constraints in the input sygus file in CV... +4.34
Sat solver for Lights Out game +4.09
Solving with multiple assumptions -3.60
Simple Z3 exercise returning unknown 0.00
defining a substitution box for AES in SMT solvers 0.00
How to define a predicate in SMT-LIB 0.00
Formalization of Reachability in z3py +0.03
Is there any function readily available for calculating logarithm t... +4.03
In SMT-LIB, is there a difference between an array and no-arg funct... 0.00
z3 "more than" totally ordered relation 0.00
Why does Z3 say that this equation is not satisfiable, when I have... -4.00
Exclusive datatype in Z3 0.00
Dynamically call get-value only when check-sat returns "sat&qu... -4.20
Z3: How to best encode a "switch statement"? +0.16
How to solve constraints with boolean and bitvector variables in c/... 0.00
Reduce Declaration of Function with the same number of arguments so... -0.01
regex to match irreducible fractions +1.09