StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Rating Stats for

Douglas B. Staple

Rating
1501.99 (367,219th)

Reputation
5,902 (27,690th)

Page: 1 2

Title	Δ
will x86 cpu perform an early end of multiplication when detects a...	+3.94
Is there a theory for uninterpretable functions (congruence analysi...	0.00
Z3 to show that if a^3=xyz then 3a <= x+y+z	-0.05
Can't compile code with CVC4 C++ API	0.00
Is there a way to maximize sum using minimum entries from a list?	0.00
Invariant induction over horn-clauses with Z3py	0.00
Z3 dies while interacting with a Java program	0.00
How to represent logarithmic formula in z3py	0.00
Difference between `Z3_mk_forall` and `Z3_mk_forall_const` in C API...	0.00
Z3 C++ API: set parameter for tactic	0.00
Calling external SAT solver from Z3	0.00
Can Z3 effectively solve constraints with a max operation?	-3.84
Why is non-linear real arithmetic decidable while non-linear intege...	0.00
y=1/x, x=0 satisfiable in the reals?	0.00
Decidable sqrt function in Z3	0.00
'then' vs 'and-then' Z3 combinator	0.00
z3py examples do not to work on macOS	0.00
Z3-str/Z3str2: can it be used in conjunction with the rest of Z3?	-0.02
Cannot define recursive type with Array in Z3	0.00
Python -- Optimize system of inequalities	0.00
Z3 behaviour if inapplicable tactic is used?	0.00
Sed/awk/tr - Remove Multi Line String and Format	+4.68
(check-sat) then (check-sat-using qfnra-nlsat)	0.00
Is Z3's search time sensitive to formula order?	0.00
How add assertion in Z3 of the form x=y^2	0.00
Strange behavior E-matching with interpreted functions in Z3	0.00
Representing temporal constraints in SMT-LIB	0.00
Why does Z3 return unknown for this nonlinear integer arithmetic ex...	0.00
getopt_long: only modify flag if user supplied command-line option	+4.09
Porting Ubuntu 12.04 Proxmox container to VirtualBox VM	0.00
Information about Simulink MDL and SLX formats?	+4.36
ns-precision monotonic clock in C on Linux and OS X	0.00
Autopep8 not breaking long comment lines?	0.00
What limits scaling in this simple OpenMP program?	-4.00
Resource cleanup on abnormal process termination	0.00
getrusage returns rounded numbers	-1.64
Is __int128_t arithmetic emulated by GCC, even with SSE?	+4.36
Bug with __int128_t in Clang?	0.00
Partition an n-dimensional "square" space into cubes	0.00
How to calculate on quick way angle (the closest to one of eight of...	+0.42
combinatorial optimization - maximalize profit when creating furnit...	0.00
Package to solve nonlinear antiparabolic PDE in C/C++	0.00
Convert 7FFFFFFF to the decimal equivalent?	+0.07
How to append a number to the end of an array	-3.74
How can my program detect, whether it was launch via mpirun	-0.40
Program terminates early with valgrind memcheck	0.00
how can reading data from a buffer affect the value of another vari...	0.00
How do I use find to copy and remove extensions keeping the same su...	-3.51
What is the Linux equivalent for termiox.h?	0.00
Is the value of a Linux file descriptor always smaller than the ope...	0.00