The full Jepsen analysis can be found here: http://jepsen.io/analyses/yugabyte-db-1.3.1