Remake result, Cvc4, Mathsat and Z3 Online Mode are stable