diff --git a/website/source/docs/internals/jepsen.html.markdown b/website/source/docs/internals/jepsen.html.markdown new file mode 100644 index 000000000..6cf57f125 --- /dev/null +++ b/website/source/docs/internals/jepsen.html.markdown @@ -0,0 +1,4015 @@ +--- +layout: "docs" +page_title: "Jepsen Testing" +sidebar_current: "docs-internals-jepsen" +--- + +# Jepsen Testing + +[Jepsen](http://aphyr.com/posts/281-call-me-maybe-carly-rae-jepsen-and-the-perils-of-network-partitions) +is a tool written by Kyle Kingsbury that is designed to test the partition +tolerance of a distributed systems. In effect, it causes various network +partitions to take place while fuzzing the system with constant operations. +The results are analyzed to see if the system violates any of the consistency +properties it claims to have. + +As part of our Consul testing, we ran it against Jepsen to determine if +any consistency issues could be uncovered. In our testing, we Consul +was able to gracefully recover from partitions without introducing +any consistency issues. + +## Output + +Below is the output captured from Jepsen. We ran Jepsen multiple times, +and it passed each time. This output is only representative of a single +run. + +``` +$ lein test :only jepsen.system.consul-test + +lein test jepsen.system.consul-test +INFO jepsen.os.debian - :n5 setting up debian +INFO jepsen.os.debian - :n3 setting up debian +INFO jepsen.os.debian - :n4 setting up debian +INFO jepsen.os.debian - :n1 setting up debian +INFO jepsen.os.debian - :n2 setting up debian +INFO jepsen.os.debian - :n4 debian set up +INFO jepsen.os.debian - :n5 debian set up +INFO jepsen.os.debian - :n3 debian set up +INFO jepsen.os.debian - :n1 debian set up +INFO jepsen.os.debian - :n2 debian set up +INFO jepsen.system.consul - :n1 consul nuked +INFO jepsen.system.consul - :n4 consul nuked +INFO jepsen.system.consul - :n5 consul nuked +INFO jepsen.system.consul - :n3 consul nuked +INFO jepsen.system.consul - :n2 consul nuked +INFO jepsen.system.consul - Running nodes: {:n1 false, :n2 false, :n3 false, :n4 false, :n5 false} +INFO jepsen.system.consul - :n2 consul nuked +INFO jepsen.system.consul - :n3 consul nuked +INFO jepsen.system.consul - :n4 consul nuked +INFO jepsen.system.consul - :n5 consul nuked +INFO jepsen.system.consul - :n1 consul nuked +INFO jepsen.system.consul - :n1 starting consul +INFO jepsen.system.consul - :n2 starting consul +INFO jepsen.system.consul - :n4 starting consul +INFO jepsen.system.consul - :n5 starting consul +INFO jepsen.system.consul - :n3 starting consul +INFO jepsen.system.consul - :n3 consul ready +INFO jepsen.system.consul - :n2 consul ready +INFO jepsen.system.consul - Running nodes: {:n1 true, :n2 true, :n3 true, :n4 true, :n5 true} +INFO jepsen.system.consul - :n5 consul ready +INFO jepsen.system.consul - :n1 consul ready +INFO jepsen.system.consul - :n4 consul ready +INFO jepsen.core - Worker 0 starting +INFO jepsen.core - Worker 2 starting +INFO jepsen.core - Worker 1 starting +INFO jepsen.core - Worker 3 starting +INFO jepsen.core - Worker 4 starting +INFO jepsen.util - 2 :invoke :read nil +INFO jepsen.util - 3 :invoke :cas [4 4] +INFO jepsen.util - 0 :invoke :write 4 +INFO jepsen.util - 1 :invoke :write 1 +INFO jepsen.util - 4 :invoke :cas [4 0] +INFO jepsen.util - 2 :ok :read nil +INFO jepsen.util - 4 :fail :cas [4 0] +INFO jepsen.util - 1 :ok :write 1 +INFO jepsen.util - 0 :ok :write 4 +INFO jepsen.util - 3 :fail :cas [4 4] +INFO jepsen.util - 2 :invoke :cas [0 3] +INFO jepsen.util - 2 :fail :cas [0 3] +INFO jepsen.util - 4 :invoke :cas [4 4] +INFO jepsen.util - 1 :invoke :write 3 +INFO jepsen.util - 0 :invoke :cas [3 1] +INFO jepsen.util - 3 :invoke :write 2 +INFO jepsen.util - 4 :fail :cas [4 4] +INFO jepsen.util - 0 :fail :cas [3 1] +INFO jepsen.util - 1 :ok :write 3 +INFO jepsen.util - 3 :ok :write 2 +INFO jepsen.util - 2 :invoke :read nil +INFO jepsen.util - 2 :ok :read 2 +INFO jepsen.util - 4 :invoke :read nil +INFO jepsen.util - 0 :invoke :write 4 +INFO jepsen.util - 1 :invoke :write 0 +INFO jepsen.util - 4 :ok :read 2 +INFO jepsen.util - 3 :invoke :read nil +INFO jepsen.util - 0 :ok :write 4 +INFO jepsen.util - 3 :ok :read 2 +INFO jepsen.util - 1 :ok :write 0 +INFO jepsen.util - 2 :invoke :write 3 +INFO jepsen.util - 2 :ok :write 3 +INFO jepsen.util - 4 :invoke :write 4 +INFO jepsen.util - 4 :ok :write 4 +INFO jepsen.util - 0 :invoke :write 1 +INFO jepsen.util - 3 :invoke :read nil +INFO jepsen.util - 1 :invoke :cas [1 0] +INFO jepsen.util - 3 :ok :read 4 +INFO jepsen.util - 0 :ok :write 1 +INFO jepsen.util - 1 :fail :cas [1 0] +INFO jepsen.util - 2 :invoke :cas [0 2] +INFO jepsen.util - 2 :fail :cas [0 2] +INFO jepsen.util - 4 :invoke :cas [1 2] +INFO jepsen.util - 4 :fail :cas [1 2] +INFO jepsen.util - 3 :invoke :write 1 +INFO jepsen.util - 0 :invoke :write 1 +INFO jepsen.util - 1 :invoke :read nil +INFO jepsen.util - 0 :ok :write 1 +INFO jepsen.util - 1 :ok :read 1 +INFO jepsen.util - 3 :ok :write 1 +INFO jepsen.util - 2 :invoke :write 4 +INFO jepsen.util - 2 :ok :write 4 +INFO jepsen.util - 4 :invoke :cas [2 4] +INFO jepsen.util - 4 :fail :cas [2 4] +INFO jepsen.util - 0 :invoke :read nil +INFO jepsen.util - 1 :invoke :write 3 +INFO jepsen.util - 3 :invoke :read nil +INFO jepsen.util - 0 :ok :read 4 +INFO jepsen.util - 3 :ok :read 4 +INFO jepsen.util - 1 :ok :write 3 +INFO jepsen.util - 2 :invoke :cas [4 2] +INFO jepsen.util - 2 :fail :cas [4 2] +INFO jepsen.util - 4 :invoke :read nil +INFO jepsen.util - 4 :ok :read 3 +INFO jepsen.util - 0 :invoke :cas [2 4] +INFO jepsen.util - 3 :invoke :write 2 +INFO jepsen.util - 1 :invoke :write 0 +INFO jepsen.util - 0 :fail :cas [2 4] +INFO jepsen.util - 3 :ok :write 2 +INFO jepsen.util - 1 :ok :write 0 +INFO jepsen.util - 2 :invoke :cas [0 3] +INFO jepsen.util - 2 :fail :cas [0 3] +INFO jepsen.util - 4 :invoke :write 0 +INFO jepsen.util - 4 :ok :write 0 +INFO jepsen.util - 0 :invoke :write 1 +INFO jepsen.util - 3 :invoke :cas [0 2] +INFO jepsen.util - 1 :invoke :cas [0 0] +INFO jepsen.util - 0 :ok :write 1 +INFO jepsen.util - 3 :fail :cas [0 2] +INFO jepsen.util - 1 :fail :cas [0 0] +INFO jepsen.util - 2 :invoke :cas [1 3] +INFO jepsen.util - 2 :fail :cas [1 3] +INFO jepsen.util - 4 :invoke :cas [1 0] +INFO jepsen.util - 4 :fail :cas [1 0] +INFO jepsen.util - 0 :invoke :read nil +INFO jepsen.util - 3 :invoke :cas [2 2] +INFO jepsen.util - 1 :invoke :write 0 +INFO jepsen.util - 3 :fail :cas [2 2] +INFO jepsen.util - 0 :ok :read 1 +INFO jepsen.util - 1 :ok :write 0 +INFO jepsen.util - 2 :invoke :write 2 +INFO jepsen.util - 2 :ok :write 2 +INFO jepsen.util - 4 :invoke :read nil +INFO jepsen.util - 4 :ok :read 2 +INFO jepsen.util - 3 :invoke :read nil +INFO jepsen.util - 3 :ok :read 2 +INFO jepsen.util - 0 :invoke :read nil +INFO jepsen.util - 1 :invoke :write 0 +INFO jepsen.util - 0 :ok :read 2 +INFO jepsen.util - 1 :ok :write 0 +INFO jepsen.util - 2 :invoke :read nil +INFO jepsen.util - 2 :ok :read 0 +INFO jepsen.util - 4 :invoke :cas [1 2] +INFO jepsen.util - 4 :fail :cas [1 2] +INFO jepsen.util - 3 :invoke :write 0 +INFO jepsen.util - 0 :invoke :cas [1 0] +INFO jepsen.util - 1 :invoke :cas [0 1] +INFO jepsen.util - 3 :ok :write 0 +INFO jepsen.util - 1 :fail :cas [0 1] +INFO jepsen.util - 0 :fail :cas [1 0] +INFO jepsen.util - 2 :invoke :read nil +INFO jepsen.util - 2 :ok :read 0 +INFO jepsen.util - 4 :invoke :read nil +INFO jepsen.util - 4 :ok :read 0 +INFO jepsen.util - 3 :invoke :cas [3 3] +INFO jepsen.util - 0 :invoke :write 1 +INFO jepsen.util - 1 :invoke :cas [0 0] +INFO jepsen.util - 3 :fail :cas [3 3] +INFO jepsen.util - 1 :fail :cas [0 0] +INFO jepsen.util - 0 :ok :write 1 +INFO jepsen.util - 2 :invoke :cas [0 0] +INFO jepsen.util - 2 :fail :cas [0 0] +INFO jepsen.util - 4 :invoke :read nil +INFO jepsen.util - 4 :ok :read 1 +INFO jepsen.util - 3 :invoke :cas [3 0] +INFO jepsen.util - 1 :invoke :write 3 +INFO jepsen.util - 0 :invoke :cas [0 0] +INFO jepsen.util - 3 :fail :cas [3 0] +INFO jepsen.util - 0 :fail :cas [0 0] +INFO jepsen.util - 1 :ok :write 3 +INFO jepsen.util - 2 :invoke :write 0 +INFO jepsen.util - 2 :ok :write 0 +INFO jepsen.util - 4 :invoke :cas [0 0] +INFO jepsen.util - 4 :fail :cas [0 0] +INFO jepsen.util - 3 :invoke :cas [3 4] +INFO jepsen.util - 0 :invoke :cas [4 3] +INFO jepsen.util - 3 :fail :cas [3 4] +INFO jepsen.util - 0 :fail :cas [4 3] +INFO jepsen.util - 1 :invoke :read nil +INFO jepsen.util - 1 :ok :read 0 +INFO jepsen.util - 2 :invoke :cas [1 1] +INFO jepsen.util - 2 :fail :cas [1 1] +INFO jepsen.util - 4 :invoke :write 2 +INFO jepsen.util - 4 :ok :write 2 +INFO jepsen.util - 3 :invoke :cas [1 0] +INFO jepsen.util - 0 :invoke :read nil +INFO jepsen.util - 0 :ok :read 2 +INFO jepsen.util - 3 :fail :cas [1 0] +INFO jepsen.util - 1 :invoke :cas [0 3] +INFO jepsen.util - 1 :fail :cas [0 3] +INFO jepsen.util - 2 :invoke :read nil +INFO jepsen.util - 2 :ok :read 2 +INFO jepsen.util - 4 :invoke :write 3 +INFO jepsen.util - 4 :ok :write 3 +INFO jepsen.util - 0 :invoke :write 0 +INFO jepsen.util - 3 :invoke :read nil +INFO jepsen.util - 1 :invoke :cas [1 1] +INFO jepsen.util - 3 :ok :read 3 +INFO jepsen.util - 0 :ok :write 0 +INFO jepsen.util - 1 :fail :cas [1 1] +INFO jepsen.util - 2 :invoke :write 3 +INFO jepsen.util - 2 :ok :write 3 +INFO jepsen.util - 4 :invoke :read nil +INFO jepsen.util - 4 :ok :read 3 +INFO jepsen.util - 3 :invoke :write 4 +INFO jepsen.util - 0 :invoke :read nil +INFO jepsen.util - 1 :invoke :write 1 +INFO jepsen.util - 0 :ok :read 3 +INFO jepsen.util - 3 :ok :write 4 +INFO jepsen.util - 1 :ok :write 1 +INFO jepsen.util - 2 :invoke :read nil +INFO jepsen.util - 2 :ok :read 1 +INFO jepsen.util - 4 :invoke :write 4 +INFO jepsen.util - 4 :ok :write 4 +INFO jepsen.util - 0 :invoke :write 1 +INFO jepsen.util - 3 :invoke :read nil +INFO jepsen.util - 1 :invoke :write 1 +INFO jepsen.util - 0 :ok :write 1 +INFO jepsen.util - 3 :ok :read 1 +INFO jepsen.util - 1 :ok :write 1 +INFO jepsen.util - 2 :invoke :write 0 +INFO jepsen.util - 2 :ok :write 0 +INFO jepsen.util - 4 :invoke :cas [0 3] +INFO jepsen.util - 4 :fail :cas [0 3] +INFO jepsen.util - 0 :invoke :cas [2 0] +INFO jepsen.util - :nemesis :info :start nil +INFO jepsen.util - 3 :invoke :cas [0 1] +INFO jepsen.util - 1 :invoke :write 1 +INFO jepsen.util - 0 :fail :cas [2 0] +INFO jepsen.util - 3 :fail :cas [0 1] +INFO jepsen.util - 1 :ok :write 1 +INFO jepsen.util - 2 :invoke :cas [3 0] +INFO jepsen.util - 2 :fail :cas [3 0] +INFO jepsen.util - 4 :invoke :write 3 +INFO jepsen.util - 4 :ok :write 3 +INFO jepsen.util - 0 :invoke :write 3 +INFO jepsen.util - 0 :ok :write 3 +INFO jepsen.util - 3 :invoke :write 0 +INFO jepsen.util - 1 :invoke :cas [1 0] +INFO jepsen.util - 2 :invoke :read nil +INFO jepsen.util - 2 :ok :read 3 +INFO jepsen.util - :nemesis :info :start "Cut off {:n5 #{:n3 :n1}, :n2 #{:n3 :n1}, :n4 #{:n3 :n1}, :n1 #{:n4 :n2 :n5}, :n3 #{:n4 :n2 :n5}}" +INFO jepsen.util - 4 :invoke :write 2 +INFO jepsen.util - 4 :ok :write 2 +INFO jepsen.util - 0 :invoke :write 3 +INFO jepsen.util - 0 :fail :write 3 +INFO jepsen.util - 2 :invoke :write 1 +INFO jepsen.util - 2 :fail :write 1 +INFO jepsen.util - 4 :invoke :write 1 +INFO jepsen.util - 4 :ok :write 1 +INFO jepsen.util - 0 :invoke :write 3 +INFO jepsen.util - 0 :fail :write 3 +INFO jepsen.util - 2 :invoke :write 2 +INFO jepsen.util - 2 :fail :write 2 +INFO jepsen.util - 4 :invoke :read nil +INFO jepsen.util - 4 :ok :read 1 +INFO jepsen.util - 0 :invoke :read nil +INFO jepsen.util - 0 :fail :read nil +INFO jepsen.util - 2 :invoke :read nil +INFO jepsen.util - 2 :fail :read nil +INFO jepsen.util - 4 :invoke :read nil +INFO jepsen.util - 4 :ok :read 1 +INFO jepsen.util - 0 :invoke :write 2 +INFO jepsen.util - 0 :fail :write 2 +INFO jepsen.util - 2 :invoke :cas [4 4] +INFO jepsen.util - 2 :fail :cas [4 4] +INFO jepsen.util - 4 :invoke :cas [3 0] +INFO jepsen.util - 4 :fail :cas [3 0] +INFO jepsen.util - 0 :invoke :cas [4 3] +INFO jepsen.util - 0 :fail :cas [4 3] +INFO jepsen.util - 2 :invoke :read nil +INFO jepsen.util - 2 :fail :read nil +INFO jepsen.util - 4 :invoke :cas [1 3] +INFO jepsen.util - 4 :fail :cas [1 3] +INFO jepsen.util - 0 :invoke :cas [3 0] +INFO jepsen.util - 0 :fail :cas [3 0] +INFO jepsen.util - 2 :invoke :cas [1 1] +INFO jepsen.util - 2 :fail :cas [1 1] +INFO jepsen.util - 4 :invoke :read nil +INFO jepsen.util - 4 :ok :read 1 +INFO jepsen.util - 0 :invoke :cas [1 4] +INFO jepsen.util - 0 :fail :cas [1 4] +INFO jepsen.util - 2 :invoke :cas [2 2] +INFO jepsen.util - 2 :fail :cas [2 2] +INFO jepsen.util - 4 :invoke :cas [2 0] +INFO jepsen.util - 4 :fail :cas [2 0] +INFO jepsen.util - 0 :invoke :cas [0 4] +INFO jepsen.util - 0 :fail :cas [0 4] +INFO jepsen.util - 2 :invoke :cas [1 3] +INFO jepsen.util - 2 :fail :cas [1 3] +INFO jepsen.util - 4 :invoke :write 2 +INFO jepsen.util - 4 :ok :write 2 +INFO jepsen.util - 0 :invoke :cas [2 3] +INFO jepsen.util - 0 :fail :cas [2 3] +INFO jepsen.util - 2 :invoke :read nil +INFO jepsen.util - 2 :fail :read nil +INFO jepsen.util - 4 :invoke :cas [4 0] +INFO jepsen.util - 4 :fail :cas [4 0] +INFO jepsen.util - 0 :invoke :write 0 +INFO jepsen.util - 0 :fail :write 0 +INFO jepsen.util - 2 :invoke :cas [2 2] +INFO jepsen.util - 2 :fail :cas [2 2] +INFO jepsen.util - 4 :invoke :read nil +INFO jepsen.util - 4 :ok :read 2 +INFO jepsen.util - 0 :invoke :cas [1 1] +INFO jepsen.util - 0 :fail :cas [1 1] +INFO jepsen.util - 2 :invoke :cas [4 0] +INFO jepsen.util - 2 :fail :cas [4 0] +INFO jepsen.util - 4 :invoke :cas [2 4] +INFO jepsen.util - 4 :fail :cas [2 4] +INFO jepsen.util - 0 :invoke :cas [0 1] +INFO jepsen.util - 0 :fail :cas [0 1] +INFO jepsen.util - 2 :invoke :cas [1 0] +INFO jepsen.util - 2 :fail :cas [1 0] +INFO jepsen.util - 4 :invoke :read nil +INFO jepsen.util - 4 :ok :read 2 +INFO jepsen.util - 0 :invoke :cas [4 0] +INFO jepsen.util - 0 :fail :cas [4 0] +INFO jepsen.util - 2 :invoke :read nil +INFO jepsen.util - 2 :fail :read nil +INFO jepsen.util - 4 :invoke :read nil +INFO jepsen.util - 4 :ok :read 2 +INFO jepsen.util - 0 :invoke :read nil +INFO jepsen.util - 0 :fail :read nil +INFO jepsen.util - 2 :invoke :read nil +INFO jepsen.util - 2 :fail :read nil +INFO jepsen.util - 4 :invoke :write 2 +INFO jepsen.util - 4 :ok :write 2 +INFO jepsen.util - 0 :invoke :cas [0 0] +INFO jepsen.util - 0 :fail :cas [0 0] +INFO jepsen.util - 2 :invoke :write 4 +INFO jepsen.util - 2 :fail :write 4 +INFO jepsen.util - 4 :invoke :cas [0 0] +INFO jepsen.util - 4 :fail :cas [0 0] +INFO jepsen.util - 0 :invoke :read nil +INFO jepsen.util - 0 :fail :read nil +INFO jepsen.util - 2 :invoke :read nil +INFO jepsen.util - 2 :fail :read nil +INFO jepsen.util - 4 :invoke :read nil +INFO jepsen.util - 4 :ok :read 2 +INFO jepsen.util - 0 :invoke :write 2 +INFO jepsen.util - 0 :fail :write 2 +INFO jepsen.util - 2 :invoke :write 1 +INFO jepsen.util - 2 :fail :write 1 +INFO jepsen.util - 4 :invoke :cas [0 1] +INFO jepsen.util - 4 :fail :cas [0 1] +INFO jepsen.util - 0 :invoke :read nil +INFO jepsen.util - 0 :fail :read nil +INFO jepsen.util - 2 :invoke :write 3 +INFO jepsen.util - 2 :fail :write 3 +INFO jepsen.util - 4 :invoke :write 2 +INFO jepsen.util - 4 :ok :write 2 +INFO jepsen.util - 0 :invoke :read nil +INFO jepsen.util - 0 :fail :read nil +INFO jepsen.util - 2 :invoke :read nil +INFO jepsen.util - 2 :fail :read nil +INFO jepsen.util - 4 :invoke :write 4 +INFO jepsen.util - 4 :ok :write 4 +INFO jepsen.util - 0 :invoke :read nil +INFO jepsen.util - 0 :fail :read nil +INFO jepsen.util - :nemesis :info :stop nil +INFO jepsen.util - 2 :invoke :write 4 +INFO jepsen.util - 2 :fail :write 4 +INFO jepsen.util - 4 :invoke :write 2 +INFO jepsen.util - 4 :ok :write 2 +INFO jepsen.util - 0 :invoke :cas [2 3] +INFO jepsen.util - 0 :fail :cas [2 3] +INFO jepsen.util - :nemesis :info :stop "fully connected" +INFO jepsen.util - 2 :invoke :cas [2 1] +INFO jepsen.util - 2 :fail :cas [2 1] +INFO jepsen.util - 4 :invoke :cas [0 1] +INFO jepsen.util - 4 :fail :cas [0 1] +INFO jepsen.util - 0 :invoke :cas [1 1] +INFO jepsen.util - 0 :fail :cas [1 1] +INFO jepsen.util - 1 :fail :cas [1 0] +INFO jepsen.util - 3 :fail :write 0 +INFO jepsen.util - 2 :invoke :cas [2 1] +INFO jepsen.util - 2 :fail :cas [2 1] +INFO jepsen.util - 4 :invoke :write 0 +INFO jepsen.util - 4 :fail :write 0 +INFO jepsen.util - 0 :invoke :cas [0 4] +INFO jepsen.util - 0 :fail :cas [0 4] +INFO jepsen.util - 1 :invoke :read nil +INFO jepsen.util - 3 :invoke :write 3 +INFO jepsen.util - 1 :fail :read nil +INFO jepsen.util - 3 :fail :write 3 +INFO jepsen.util - 2 :invoke :read nil +INFO jepsen.util - 2 :fail :read nil +INFO jepsen.util - 4 :invoke :read nil +INFO jepsen.util - 4 :fail :read nil +INFO jepsen.util - 0 :invoke :read nil +INFO jepsen.util - 0 :fail :read nil +INFO jepsen.util - 1 :invoke :write 4 +INFO jepsen.util - 3 :invoke :write 3 +INFO jepsen.util - 1 :fail :write 4 +INFO jepsen.util - 3 :fail :write 3 +INFO jepsen.util - 2 :invoke :cas [4 4] +INFO jepsen.util - 2 :fail :cas [4 4] +INFO jepsen.util - 4 :invoke :write 1 +INFO jepsen.util - 4 :fail :write 1 +INFO jepsen.util - 0 :invoke :read nil +INFO jepsen.util - 0 :fail :read nil +INFO jepsen.util - 1 :invoke :write 1 +INFO jepsen.util - 3 :invoke :cas [0 0] +INFO jepsen.util - 1 :ok :write 1 +INFO jepsen.util - 3 :fail :cas [0 0] +INFO jepsen.util - 2 :invoke :read nil +INFO jepsen.util - 2 :ok :read 1 +INFO jepsen.util - 4 :invoke :read nil +INFO jepsen.util - 4 :ok :read 1 +INFO jepsen.util - 0 :invoke :cas [1 1] +INFO jepsen.util - 0 :fail :cas [1 1] +INFO jepsen.util - 3 :invoke :read nil +INFO jepsen.util - 1 :invoke :cas [0 1] +INFO jepsen.util - 1 :fail :cas [0 1] +INFO jepsen.util - 3 :ok :read 1 +INFO jepsen.util - 2 :invoke :write 4 +INFO jepsen.util - 2 :ok :write 4 +INFO jepsen.util - 4 :invoke :cas [1 2] +INFO jepsen.util - 4 :fail :cas [1 2] +INFO jepsen.util - 0 :invoke :read nil +INFO jepsen.util - 0 :ok :read 4 +INFO jepsen.util - 1 :invoke :write 3 +INFO jepsen.util - 3 :invoke :write 3 +INFO jepsen.util - 1 :ok :write 3 +INFO jepsen.util - 3 :ok :write 3 +INFO jepsen.util - 2 :invoke :cas [0 4] +INFO jepsen.util - 2 :fail :cas [0 4] +INFO jepsen.util - 4 :invoke :cas [2 4] +INFO jepsen.util - 4 :fail :cas [2 4] +INFO jepsen.util - 0 :invoke :cas [3 3] +INFO jepsen.util - 0 :fail :cas [3 3] +INFO jepsen.util - 1 :invoke :read nil +INFO jepsen.util - 3 :invoke :write 3 +INFO jepsen.util - 1 :ok :read 3 +INFO jepsen.util - 3 :ok :write 3 +INFO jepsen.util - 2 :invoke :read nil +INFO jepsen.util - 2 :ok :read 3 +INFO jepsen.util - 4 :invoke :read nil +INFO jepsen.util - 4 :ok :read 3 +INFO jepsen.util - 0 :invoke :cas [1 1] +INFO jepsen.util - 0 :fail :cas [1 1] +INFO jepsen.util - 1 :invoke :cas [2 3] +INFO jepsen.util - 3 :invoke :write 4 +INFO jepsen.util - 1 :fail :cas [2 3] +INFO jepsen.util - 3 :ok :write 4 +INFO jepsen.util - 2 :invoke :write 3 +INFO jepsen.util - 2 :ok :write 3 +INFO jepsen.util - 4 :invoke :write 4 +INFO jepsen.util - 4 :ok :write 4 +INFO jepsen.util - 0 :invoke :cas [1 3] +INFO jepsen.util - 0 :fail :cas [1 3] +INFO jepsen.util - 1 :invoke :write 1 +INFO jepsen.util - 3 :invoke :write 4 +INFO jepsen.util - 1 :ok :write 1 +INFO jepsen.util - 3 :ok :write 4 +INFO jepsen.util - 2 :invoke :cas [0 2] +INFO jepsen.util - 2 :fail :cas [0 2] +INFO jepsen.util - 4 :invoke :cas [2 4] +INFO jepsen.util - 4 :fail :cas [2 4] +INFO jepsen.util - 0 :invoke :read nil +INFO jepsen.util - 0 :ok :read 4 +INFO jepsen.util - 1 :invoke :write 2 +INFO jepsen.util - 3 :invoke :read nil +INFO jepsen.util - 1 :ok :write 2 +INFO jepsen.util - 3 :ok :read 2 +INFO jepsen.util - 2 :invoke :read nil +INFO jepsen.util - 2 :ok :read 2 +INFO jepsen.util - 4 :invoke :cas [4 4] +INFO jepsen.util - 4 :fail :cas [4 4] +INFO jepsen.util - 0 :invoke :write 0 +INFO jepsen.util - 0 :ok :write 0 +INFO jepsen.util - 1 :invoke :cas [1 4] +INFO jepsen.util - 3 :invoke :write 3 +INFO jepsen.util - 1 :fail :cas [1 4] +INFO jepsen.util - 3 :ok :write 3 +INFO jepsen.util - 2 :invoke :write 3 +INFO jepsen.util - 2 :ok :write 3 +INFO jepsen.util - 4 :invoke :read nil +INFO jepsen.util - 4 :ok :read 3 +INFO jepsen.util - 0 :invoke :cas [3 4] +INFO jepsen.util - 0 :fail :cas [3 4] +INFO jepsen.util - 1 :invoke :cas [4 4] +INFO jepsen.util - 3 :invoke :cas [0 4] +INFO jepsen.util - 1 :fail :cas [4 4] +INFO jepsen.util - 3 :fail :cas [0 4] +INFO jepsen.util - 2 :invoke :read nil +INFO jepsen.util - 2 :ok :read 3 +INFO jepsen.util - 4 :invoke :read nil +INFO jepsen.util - 4 :ok :read 3 +INFO jepsen.util - 0 :invoke :write 4 +INFO jepsen.util - 0 :ok :write 4 +INFO jepsen.util - 1 :invoke :read nil +INFO jepsen.util - 3 :invoke :write 1 +INFO jepsen.util - 1 :ok :read 4 +INFO jepsen.util - 3 :ok :write 1 +INFO jepsen.util - 2 :invoke :cas [0 2] +INFO jepsen.util - 2 :fail :cas [0 2] +INFO jepsen.util - 4 :invoke :write 3 +INFO jepsen.util - 4 :ok :write 3 +INFO jepsen.util - 0 :invoke :write 4 +INFO jepsen.util - 0 :ok :write 4 +INFO jepsen.util - 1 :invoke :cas [3 2] +INFO jepsen.util - 3 :invoke :read nil +INFO jepsen.util - 1 :fail :cas [3 2] +INFO jepsen.util - 3 :ok :read 4 +INFO jepsen.util - 2 :invoke :write 2 +INFO jepsen.util - 2 :ok :write 2 +INFO jepsen.util - 4 :invoke :read nil +INFO jepsen.util - 4 :ok :read 2 +INFO jepsen.util - 0 :invoke :read nil +INFO jepsen.util - 0 :ok :read 2 +INFO jepsen.util - 1 :invoke :write 3 +INFO jepsen.util - 3 :invoke :cas [3 2] +INFO jepsen.util - 3 :fail :cas [3 2] +INFO jepsen.util - 1 :ok :write 3 +INFO jepsen.util - 2 :invoke :read nil +INFO jepsen.util - 2 :ok :read 3 +INFO jepsen.util - 4 :invoke :read nil +INFO jepsen.util - 4 :ok :read 3 +INFO jepsen.util - 0 :invoke :cas [2 3] +INFO jepsen.util - 0 :fail :cas [2 3] +INFO jepsen.util - 3 :invoke :write 3 +INFO jepsen.util - 1 :invoke :read nil +INFO jepsen.util - 1 :ok :read 3 +INFO jepsen.util - 3 :ok :write 3 +INFO jepsen.util - 2 :invoke :read nil +INFO jepsen.util - 2 :ok :read 3 +INFO jepsen.util - 4 :invoke :write 2 +INFO jepsen.util - 4 :ok :write 2 +INFO jepsen.util - 0 :invoke :cas [2 2] +INFO jepsen.util - 0 :fail :cas [2 2] +INFO jepsen.util - 1 :invoke :read nil +INFO jepsen.util - 3 :invoke :write 0 +INFO jepsen.util - 1 :ok :read 2 +INFO jepsen.util - 3 :ok :write 0 +INFO jepsen.util - 2 :invoke :write 2 +INFO jepsen.util - 2 :ok :write 2 +INFO jepsen.util - 4 :invoke :read nil +INFO jepsen.util - 4 :ok :read 2 +INFO jepsen.util - 0 :invoke :cas [0 1] +INFO jepsen.util - 0 :fail :cas [0 1] +INFO jepsen.util - 1 :invoke :write 0 +INFO jepsen.util - 1 :ok :write 0 +INFO jepsen.util - 3 :invoke :cas [2 4] +INFO jepsen.util - 3 :fail :cas [2 4] +INFO jepsen.util - 2 :invoke :read nil +INFO jepsen.util - 2 :ok :read 0 +INFO jepsen.util - 4 :invoke :cas [1 0] +INFO jepsen.util - 4 :fail :cas [1 0] +INFO jepsen.util - 0 :invoke :cas [4 3] +INFO jepsen.util - 0 :fail :cas [4 3] +INFO jepsen.util - 1 :invoke :cas [4 4] +INFO jepsen.util - 1 :fail :cas [4 4] +INFO jepsen.util - 3 :invoke :read nil +INFO jepsen.util - 3 :ok :read 0 +INFO jepsen.util - 2 :invoke :write 4 +INFO jepsen.util - 2 :ok :write 4 +INFO jepsen.util - :nemesis :info :start nil +INFO jepsen.util - 4 :invoke :read nil +INFO jepsen.util - 4 :ok :read 4 +INFO jepsen.util - 0 :invoke :write 3 +INFO jepsen.util - 0 :ok :write 3 +INFO jepsen.util - 1 :invoke :read nil +INFO jepsen.util - 1 :ok :read 3 +INFO jepsen.util - 3 :invoke :write 3 +INFO jepsen.util - 3 :ok :write 3 +INFO jepsen.util - 2 :invoke :write 2 +INFO jepsen.util - 2 :ok :write 2 +INFO jepsen.util - 4 :invoke :write 3 +INFO jepsen.util - 0 :invoke :read nil +INFO jepsen.util - 1 :invoke :read nil +INFO jepsen.util - 1 :ok :read 2 +INFO jepsen.util - 3 :invoke :cas [4 2] +INFO jepsen.util - 3 :fail :cas [4 2] +INFO jepsen.util - :nemesis :info :start "Cut off {:n1 #{:n3 :n2}, :n5 #{:n3 :n2}, :n4 #{:n3 :n2}, :n2 #{:n4 :n5 :n1}, :n3 #{:n4 :n5 :n1}}" +INFO jepsen.util - 2 :invoke :read nil +INFO jepsen.util - 2 :fail :read nil +INFO jepsen.util - 1 :invoke :write 3 +INFO jepsen.util - 1 :fail :write 3 +INFO jepsen.util - 3 :invoke :read nil +INFO jepsen.util - 3 :ok :read 2 +INFO jepsen.util - 2 :invoke :cas [4 4] +INFO jepsen.util - 2 :fail :cas [4 4] +INFO jepsen.util - 1 :invoke :read nil +INFO jepsen.util - 1 :fail :read nil +INFO jepsen.util - 3 :invoke :cas [4 4] +INFO jepsen.util - 3 :fail :cas [4 4] +INFO jepsen.util - 2 :invoke :cas [3 1] +INFO jepsen.util - 2 :fail :cas [3 1] +INFO jepsen.util - 1 :invoke :cas [3 2] +INFO jepsen.util - 1 :fail :cas [3 2] +INFO jepsen.util - 3 :invoke :write 3 +INFO jepsen.util - 3 :ok :write 3 +INFO jepsen.util - 2 :invoke :read nil +INFO jepsen.util - 2 :fail :read nil +INFO jepsen.util - 1 :invoke :cas [3 2] +INFO jepsen.util - 1 :fail :cas [3 2] +INFO jepsen.util - 3 :invoke :cas [0 2] +INFO jepsen.util - 3 :fail :cas [0 2] +INFO jepsen.util - 2 :invoke :read nil +INFO jepsen.util - 2 :fail :read nil +INFO jepsen.util - 1 :invoke :write 1 +INFO jepsen.util - 1 :fail :write 1 +INFO jepsen.util - 3 :invoke :write 4 +INFO jepsen.util - 3 :ok :write 4 +INFO jepsen.util - 2 :invoke :cas [4 0] +INFO jepsen.util - 2 :fail :cas [4 0] +INFO jepsen.util - 1 :invoke :read nil +INFO jepsen.util - 1 :fail :read nil +INFO jepsen.util - 3 :invoke :read nil +INFO jepsen.util - 3 :ok :read 4 +INFO jepsen.util - 2 :invoke :cas [0 1] +INFO jepsen.util - 2 :fail :cas [0 1] +INFO jepsen.util - 1 :invoke :read nil +INFO jepsen.util - 1 :fail :read nil +INFO jepsen.util - 3 :invoke :cas [3 3] +INFO jepsen.util - 3 :fail :cas [3 3] +INFO jepsen.util - 2 :invoke :cas [0 2] +INFO jepsen.util - 2 :fail :cas [0 2] +INFO jepsen.util - 1 :invoke :write 0 +INFO jepsen.util - 1 :fail :write 0 +INFO jepsen.util - 3 :invoke :read nil +INFO jepsen.util - 3 :ok :read 4 +INFO jepsen.util - 2 :invoke :read nil +INFO jepsen.util - 2 :fail :read nil +INFO jepsen.util - 1 :invoke :write 2 +INFO jepsen.util - 1 :fail :write 2 +INFO jepsen.util - 3 :invoke :write 1 +INFO jepsen.util - 3 :ok :write 1 +INFO jepsen.util - 2 :invoke :write 0 +INFO jepsen.util - 2 :fail :write 0 +INFO jepsen.util - 1 :invoke :write 0 +INFO jepsen.util - 1 :fail :write 0 +INFO jepsen.util - 3 :invoke :cas [3 3] +INFO jepsen.util - 3 :fail :cas [3 3] +INFO jepsen.util - 2 :invoke :write 0 +INFO jepsen.util - 2 :fail :write 0 +INFO jepsen.util - 1 :invoke :read nil +INFO jepsen.util - 1 :fail :read nil +INFO jepsen.util - 3 :invoke :write 3 +INFO jepsen.util - 3 :ok :write 3 +INFO jepsen.util - 2 :invoke :cas [2 3] +INFO jepsen.util - 2 :fail :cas [2 3] +INFO jepsen.util - 1 :invoke :read nil +INFO jepsen.util - 1 :fail :read nil +INFO jepsen.util - 3 :invoke :cas [4 1] +INFO jepsen.util - 3 :fail :cas [4 1] +INFO jepsen.util - 2 :invoke :read nil +INFO jepsen.util - 2 :fail :read nil +INFO jepsen.util - 1 :invoke :write 0 +INFO jepsen.util - 1 :fail :write 0 +INFO jepsen.util - 3 :invoke :read nil +INFO jepsen.util - 3 :ok :read 3 +INFO jepsen.util - 2 :invoke :write 4 +INFO jepsen.util - 2 :fail :write 4 +INFO jepsen.util - 1 :invoke :read nil +INFO jepsen.util - 1 :fail :read nil +INFO jepsen.util - 3 :invoke :cas [2 2] +INFO jepsen.util - 3 :fail :cas [2 2] +INFO jepsen.util - 2 :invoke :write 3 +INFO jepsen.util - 2 :fail :write 3 +INFO jepsen.util - 1 :invoke :cas [3 4] +INFO jepsen.util - 1 :fail :cas [3 4] +INFO jepsen.util - 3 :invoke :read nil +INFO jepsen.util - 3 :ok :read 3 +INFO jepsen.util - 2 :invoke :write 0 +INFO jepsen.util - 2 :fail :write 0 +INFO jepsen.util - 1 :invoke :write 4 +INFO jepsen.util - 1 :fail :write 4 +INFO jepsen.util - 3 :invoke :cas [3 1] +INFO jepsen.util - 3 :fail :cas [3 1] +INFO jepsen.util - 2 :invoke :cas [0 0] +INFO jepsen.util - 2 :fail :cas [0 0] +INFO jepsen.util - 1 :invoke :write 0 +INFO jepsen.util - 1 :fail :write 0 +INFO jepsen.util - 3 :invoke :cas [2 1] +INFO jepsen.util - 3 :fail :cas [2 1] +INFO jepsen.util - 2 :invoke :read nil +INFO jepsen.util - 2 :fail :read nil +INFO jepsen.util - 1 :invoke :read nil +INFO jepsen.util - 1 :fail :read nil +INFO jepsen.util - 3 :invoke :write 1 +INFO jepsen.util - 3 :ok :write 1 +INFO jepsen.util - 2 :invoke :write 4 +INFO jepsen.util - 2 :fail :write 4 +INFO jepsen.util - 1 :invoke :read nil +INFO jepsen.util - 1 :fail :read nil +INFO jepsen.util - 3 :invoke :cas [2 0] +INFO jepsen.util - 3 :fail :cas [2 0] +INFO jepsen.util - 2 :invoke :cas [4 3] +INFO jepsen.util - 2 :fail :cas [4 3] +INFO jepsen.util - :nemesis :info :stop nil +INFO jepsen.util - 1 :invoke :read nil +INFO jepsen.util - 1 :fail :read nil +INFO jepsen.util - 3 :invoke :write 2 +INFO jepsen.util - 3 :ok :write 2 +INFO jepsen.util - 2 :invoke :read nil +INFO jepsen.util - 2 :fail :read nil +INFO jepsen.util - :nemesis :info :stop "fully connected" +INFO jepsen.util - 0 :fail :read nil +INFO jepsen.util - 1 :invoke :write 1 +INFO jepsen.util - 1 :fail :write 1 +INFO jepsen.util - 3 :invoke :read nil +INFO jepsen.util - 3 :fail :read nil +INFO jepsen.util - 2 :invoke :read nil +INFO jepsen.util - 2 :fail :read nil +INFO jepsen.util - 0 :invoke :cas [4 3] +INFO jepsen.util - 0 :fail :cas [4 3] +INFO jepsen.util - 1 :invoke :cas [3 3] +INFO jepsen.util - 1 :fail :cas [3 3] +INFO jepsen.util - 3 :invoke :write 4 +INFO jepsen.util - 3 :fail :write 4 +INFO jepsen.util - 2 :invoke :write 4 +INFO jepsen.util - 2 :fail :write 4 +INFO jepsen.util - 0 :invoke :read nil +INFO jepsen.util - 0 :fail :read nil +INFO jepsen.util - 1 :invoke :write 0 +INFO jepsen.util - 1 :fail :write 0 +INFO jepsen.util - 3 :invoke :cas [4 1] +INFO jepsen.util - 3 :fail :cas [4 1] +INFO jepsen.util - 2 :invoke :cas [1 4] +INFO jepsen.util - 2 :fail :cas [1 4] +INFO jepsen.util - 0 :invoke :cas [4 1] +INFO jepsen.util - 0 :fail :cas [4 1] +INFO jepsen.util - 1 :invoke :read nil +INFO jepsen.util - 1 :fail :read nil +INFO jepsen.util - 3 :invoke :write 1 +INFO jepsen.util - 3 :fail :write 1 +INFO jepsen.util - 2 :invoke :write 2 +INFO jepsen.util - 2 :fail :write 2 +INFO jepsen.util - 0 :invoke :write 0 +INFO jepsen.util - 0 :fail :write 0 +INFO jepsen.util - 4 :fail :write 3 +INFO jepsen.util - 1 :invoke :write 2 +INFO jepsen.util - 1 :fail :write 2 +INFO jepsen.util - 3 :invoke :write 1 +INFO jepsen.util - 3 :fail :write 1 +INFO jepsen.util - 2 :invoke :write 2 +INFO jepsen.util - 2 :fail :write 2 +INFO jepsen.util - 0 :invoke :read nil +INFO jepsen.util - 0 :fail :read nil +INFO jepsen.util - 4 :invoke :read nil +INFO jepsen.util - 4 :fail :read nil +INFO jepsen.util - 1 :invoke :write 4 +INFO jepsen.util - 1 :fail :write 4 +INFO jepsen.util - 3 :invoke :write 3 +INFO jepsen.util - 3 :fail :write 3 +INFO jepsen.util - 2 :invoke :write 0 +INFO jepsen.util - 2 :fail :write 0 +INFO jepsen.util - 0 :invoke :cas [2 1] +INFO jepsen.util - 0 :fail :cas [2 1] +INFO jepsen.util - 4 :invoke :read nil +INFO jepsen.util - 4 :fail :read nil +INFO jepsen.util - 1 :invoke :write 4 +INFO jepsen.util - 1 :fail :write 4 +INFO jepsen.util - 3 :invoke :read nil +INFO jepsen.util - 3 :fail :read nil +INFO jepsen.util - 2 :invoke :read nil +INFO jepsen.util - 2 :fail :read nil +INFO jepsen.util - 0 :invoke :read nil +INFO jepsen.util - 0 :fail :read nil +INFO jepsen.util - 4 :invoke :read nil +INFO jepsen.util - 4 :fail :read nil +INFO jepsen.util - 1 :invoke :read nil +INFO jepsen.util - 1 :fail :read nil +INFO jepsen.util - 3 :invoke :write 2 +INFO jepsen.util - 3 :fail :write 2 +INFO jepsen.util - 2 :invoke :cas [3 2] +INFO jepsen.util - 2 :fail :cas [3 2] +INFO jepsen.util - 0 :invoke :read nil +INFO jepsen.util - 0 :fail :read nil +INFO jepsen.util - 4 :invoke :read nil +INFO jepsen.util - 4 :fail :read nil +INFO jepsen.util - 1 :invoke :write 1 +INFO jepsen.util - 1 :fail :write 1 +INFO jepsen.util - 3 :invoke :cas [1 0] +INFO jepsen.util - 3 :fail :cas [1 0] +INFO jepsen.util - 2 :invoke :write 2 +INFO jepsen.util - 2 :fail :write 2 +INFO jepsen.util - 0 :invoke :read nil +INFO jepsen.util - 0 :ok :read 2 +INFO jepsen.util - 4 :invoke :write 3 +INFO jepsen.util - 4 :ok :write 3 +INFO jepsen.util - 1 :invoke :write 1 +INFO jepsen.util - 1 :ok :write 1 +INFO jepsen.util - 3 :invoke :cas [1 1] +INFO jepsen.util - 3 :fail :cas [1 1] +INFO jepsen.util - 2 :invoke :write 1 +INFO jepsen.util - 2 :ok :write 1 +INFO jepsen.util - 0 :invoke :cas [4 3] +INFO jepsen.util - 0 :fail :cas [4 3] +INFO jepsen.util - 4 :invoke :cas [1 0] +INFO jepsen.util - 4 :fail :cas [1 0] +INFO jepsen.util - 1 :invoke :write 3 +INFO jepsen.util - 1 :ok :write 3 +INFO jepsen.util - 3 :invoke :read nil +INFO jepsen.util - 3 :ok :read 3 +INFO jepsen.util - 2 :invoke :write 1 +INFO jepsen.util - 2 :ok :write 1 +INFO jepsen.util - 0 :invoke :write 2 +INFO jepsen.util - 0 :ok :write 2 +INFO jepsen.util - 4 :invoke :cas [4 3] +INFO jepsen.util - 4 :fail :cas [4 3] +INFO jepsen.util - 1 :invoke :cas [2 0] +INFO jepsen.util - 1 :fail :cas [2 0] +INFO jepsen.util - 3 :invoke :cas [1 3] +INFO jepsen.util - 3 :fail :cas [1 3] +INFO jepsen.util - 2 :invoke :write 2 +INFO jepsen.util - 2 :ok :write 2 +INFO jepsen.util - 0 :invoke :read nil +INFO jepsen.util - 0 :ok :read 2 +INFO jepsen.util - 4 :invoke :cas [4 2] +INFO jepsen.util - 4 :fail :cas [4 2] +INFO jepsen.util - 1 :invoke :read nil +INFO jepsen.util - 1 :ok :read 2 +INFO jepsen.util - 3 :invoke :read nil +INFO jepsen.util - 3 :ok :read 2 +INFO jepsen.util - 2 :invoke :write 1 +INFO jepsen.util - 2 :ok :write 1 +INFO jepsen.util - 0 :invoke :write 0 +INFO jepsen.util - 0 :ok :write 0 +INFO jepsen.util - 4 :invoke :write 0 +INFO jepsen.util - 4 :ok :write 0 +INFO jepsen.util - 1 :invoke :cas [1 1] +INFO jepsen.util - 1 :fail :cas [1 1] +INFO jepsen.util - 3 :invoke :read nil +INFO jepsen.util - 3 :ok :read 0 +INFO jepsen.util - 2 :invoke :read nil +INFO jepsen.util - 2 :ok :read 0 +INFO jepsen.util - 0 :invoke :write 0 +INFO jepsen.util - 0 :ok :write 0 +INFO jepsen.util - 4 :invoke :write 3 +INFO jepsen.util - 4 :ok :write 3 +INFO jepsen.util - 1 :invoke :cas [3 0] +INFO jepsen.util - 1 :fail :cas [3 0] +INFO jepsen.util - 3 :invoke :write 3 +INFO jepsen.util - 3 :ok :write 3 +INFO jepsen.util - 2 :invoke :cas [3 0] +INFO jepsen.util - 2 :fail :cas [3 0] +INFO jepsen.util - 0 :invoke :cas [4 3] +INFO jepsen.util - 0 :fail :cas [4 3] +INFO jepsen.util - 4 :invoke :cas [0 2] +INFO jepsen.util - 4 :fail :cas [0 2] +INFO jepsen.util - 1 :invoke :write 2 +INFO jepsen.util - 1 :ok :write 2 +INFO jepsen.util - 3 :invoke :write 0 +INFO jepsen.util - 3 :ok :write 0 +INFO jepsen.util - 2 :invoke :read nil +INFO jepsen.util - 2 :ok :read 0 +INFO jepsen.util - 0 :invoke :read nil +INFO jepsen.util - 0 :ok :read 0 +INFO jepsen.util - 4 :invoke :write 0 +INFO jepsen.util - 4 :ok :write 0 +INFO jepsen.util - 1 :invoke :write 4 +INFO jepsen.util - 1 :ok :write 4 +INFO jepsen.util - 3 :invoke :write 3 +INFO jepsen.util - 3 :ok :write 3 +INFO jepsen.util - 2 :invoke :read nil +INFO jepsen.util - 2 :ok :read 3 +INFO jepsen.util - 0 :invoke :cas [3 1] +INFO jepsen.util - 0 :fail :cas [3 1] +INFO jepsen.util - 4 :invoke :read nil +INFO jepsen.util - 4 :ok :read 3 +INFO jepsen.util - 1 :invoke :read nil +INFO jepsen.util - 1 :ok :read 3 +INFO jepsen.util - 3 :invoke :write 3 +INFO jepsen.util - 3 :ok :write 3 +INFO jepsen.util - 2 :invoke :cas [1 4] +INFO jepsen.util - 2 :fail :cas [1 4] +INFO jepsen.util - 0 :invoke :cas [1 4] +INFO jepsen.util - 0 :fail :cas [1 4] +INFO jepsen.util - 4 :invoke :read nil +INFO jepsen.util - 4 :ok :read 3 +INFO jepsen.util - 1 :invoke :read nil +INFO jepsen.util - 1 :ok :read 3 +INFO jepsen.util - 3 :invoke :write 2 +INFO jepsen.util - 3 :ok :write 2 +INFO jepsen.util - 2 :invoke :cas [4 0] +INFO jepsen.util - 2 :fail :cas [4 0] +INFO jepsen.util - 0 :invoke :read nil +INFO jepsen.util - 0 :ok :read 2 +INFO jepsen.util - 4 :invoke :cas [3 1] +INFO jepsen.util - 4 :fail :cas [3 1] +INFO jepsen.util - 1 :invoke :write 4 +INFO jepsen.util - 1 :ok :write 4 +INFO jepsen.util - 3 :invoke :cas [3 2] +INFO jepsen.util - 3 :fail :cas [3 2] +INFO jepsen.util - :nemesis :info :start nil +INFO jepsen.util - 2 :invoke :read nil +INFO jepsen.util - 2 :ok :read 4 +INFO jepsen.util - 0 :invoke :cas [1 2] +INFO jepsen.util - 0 :fail :cas [1 2] +INFO jepsen.util - 4 :invoke :read nil +INFO jepsen.util - 4 :ok :read 4 +INFO jepsen.util - 1 :invoke :cas [2 1] +INFO jepsen.util - 1 :fail :cas [2 1] +INFO jepsen.util - 3 :invoke :read nil +INFO jepsen.util - 2 :invoke :read nil +INFO jepsen.util - 2 :ok :read 4 +INFO jepsen.util - 0 :invoke :read nil +INFO jepsen.util - 0 :ok :read 4 +INFO jepsen.util - 4 :invoke :read nil +INFO jepsen.util - :nemesis :info :start "Cut off {:n1 #{:n4 :n2}, :n5 #{:n4 :n2}, :n3 #{:n4 :n2}, :n2 #{:n3 :n5 :n1}, :n4 #{:n3 :n5 :n1}}" +INFO jepsen.util - 4 :ok :read 4 +INFO jepsen.util - 1 :invoke :read nil +INFO jepsen.util - 2 :invoke :write 0 +INFO jepsen.util - 2 :ok :write 0 +INFO jepsen.util - 0 :invoke :write 3 +INFO jepsen.util - 0 :ok :write 3 +INFO jepsen.util - 4 :invoke :read nil +INFO jepsen.util - 4 :ok :read 3 +INFO jepsen.util - 2 :invoke :read nil +INFO jepsen.util - 2 :ok :read 3 +INFO jepsen.util - 0 :invoke :cas [1 3] +INFO jepsen.util - 0 :fail :cas [1 3] +INFO jepsen.util - 4 :invoke :write 1 +INFO jepsen.util - 4 :ok :write 1 +INFO jepsen.util - 2 :invoke :write 3 +INFO jepsen.util - 2 :ok :write 3 +INFO jepsen.util - 0 :invoke :cas [2 4] +INFO jepsen.util - 0 :fail :cas [2 4] +INFO jepsen.util - 4 :invoke :cas [4 2] +INFO jepsen.util - 4 :fail :cas [4 2] +INFO jepsen.util - 2 :invoke :cas [3 1] +INFO jepsen.util - 2 :fail :cas [3 1] +INFO jepsen.util - 0 :invoke :cas [2 0] +INFO jepsen.util - 0 :fail :cas [2 0] +INFO jepsen.util - 4 :invoke :write 0 +INFO jepsen.util - 4 :ok :write 0 +INFO jepsen.util - 2 :invoke :write 4 +INFO jepsen.util - 2 :ok :write 4 +INFO jepsen.util - 0 :invoke :cas [2 3] +INFO jepsen.util - 0 :fail :cas [2 3] +INFO jepsen.util - 4 :invoke :cas [0 0] +INFO jepsen.util - 4 :fail :cas [0 0] +INFO jepsen.util - 2 :invoke :write 4 +INFO jepsen.util - 2 :ok :write 4 +INFO jepsen.util - 0 :invoke :write 3 +INFO jepsen.util - 0 :ok :write 3 +INFO jepsen.util - 4 :invoke :read nil +INFO jepsen.util - 4 :ok :read 3 +INFO jepsen.util - 2 :invoke :read nil +INFO jepsen.util - 2 :ok :read 3 +INFO jepsen.util - 0 :invoke :write 4 +INFO jepsen.util - 0 :ok :write 4 +INFO jepsen.util - 4 :invoke :cas [1 4] +INFO jepsen.util - 4 :fail :cas [1 4] +INFO jepsen.util - 2 :invoke :write 4 +INFO jepsen.util - 2 :ok :write 4 +INFO jepsen.util - 0 :invoke :read nil +INFO jepsen.util - 0 :ok :read 4 +INFO jepsen.util - 4 :invoke :read nil +INFO jepsen.util - 4 :ok :read 4 +INFO jepsen.util - 2 :invoke :cas [3 0] +INFO jepsen.util - 2 :fail :cas [3 0] +INFO jepsen.util - 0 :invoke :read nil +INFO jepsen.util - 0 :ok :read 4 +INFO jepsen.util - 4 :invoke :write 2 +INFO jepsen.util - 4 :ok :write 2 +INFO jepsen.util - 2 :invoke :cas [1 4] +INFO jepsen.util - 2 :fail :cas [1 4] +INFO jepsen.util - 0 :invoke :read nil +INFO jepsen.util - 0 :ok :read 2 +INFO jepsen.util - 4 :invoke :read nil +INFO jepsen.util - 4 :ok :read 2 +INFO jepsen.util - 2 :invoke :write 4 +INFO jepsen.util - 2 :ok :write 4 +INFO jepsen.util - 0 :invoke :write 4 +INFO jepsen.util - 0 :ok :write 4 +INFO jepsen.util - 4 :invoke :cas [3 3] +INFO jepsen.util - 4 :fail :cas [3 3] +INFO jepsen.util - 2 :invoke :write 4 +INFO jepsen.util - 2 :ok :write 4 +INFO jepsen.util - 0 :invoke :write 4 +INFO jepsen.util - 0 :ok :write 4 +INFO jepsen.util - 4 :invoke :cas [1 2] +INFO jepsen.util - 4 :fail :cas [1 2] +INFO jepsen.util - 2 :invoke :write 3 +INFO jepsen.util - 2 :ok :write 3 +INFO jepsen.util - 0 :invoke :read nil +INFO jepsen.util - 0 :ok :read 3 +INFO jepsen.util - 4 :invoke :read nil +INFO jepsen.util - 4 :ok :read 3 +INFO jepsen.util - 2 :invoke :cas [2 2] +INFO jepsen.util - 2 :fail :cas [2 2] +INFO jepsen.util - 0 :invoke :read nil +INFO jepsen.util - 0 :ok :read 3 +INFO jepsen.util - 4 :invoke :read nil +INFO jepsen.util - 4 :ok :read 3 +INFO jepsen.util - 2 :invoke :write 3 +INFO jepsen.util - 2 :ok :write 3 +INFO jepsen.util - 0 :invoke :read nil +INFO jepsen.util - 0 :ok :read 3 +INFO jepsen.util - 4 :invoke :cas [0 2] +INFO jepsen.util - 4 :fail :cas [0 2] +INFO jepsen.util - 2 :invoke :cas [0 3] +INFO jepsen.util - 2 :fail :cas [0 3] +INFO jepsen.util - 0 :invoke :write 3 +INFO jepsen.util - 0 :ok :write 3 +INFO jepsen.util - 4 :invoke :cas [4 0] +INFO jepsen.util - 4 :fail :cas [4 0] +INFO jepsen.util - 2 :invoke :write 4 +INFO jepsen.util - 2 :ok :write 4 +INFO jepsen.util - 0 :invoke :cas [0 0] +INFO jepsen.util - 0 :fail :cas [0 0] +INFO jepsen.util - 4 :invoke :read nil +INFO jepsen.util - 4 :ok :read 4 +INFO jepsen.util - 2 :invoke :write 0 +INFO jepsen.util - 2 :ok :write 0 +INFO jepsen.util - 0 :invoke :cas [2 1] +INFO jepsen.util - 0 :fail :cas [2 1] +INFO jepsen.util - 4 :invoke :cas [3 3] +INFO jepsen.util - 4 :fail :cas [3 3] +INFO jepsen.util - 2 :invoke :cas [4 2] +INFO jepsen.util - 2 :fail :cas [4 2] +INFO jepsen.util - 0 :invoke :read nil +INFO jepsen.util - 0 :ok :read 0 +INFO jepsen.util - 4 :invoke :write 3 +INFO jepsen.util - 4 :ok :write 3 +INFO jepsen.util - 1 :fail :read nil +INFO jepsen.util - 3 :fail :read nil +INFO jepsen.util - 2 :invoke :cas [4 0] +INFO jepsen.util - 2 :fail :cas [4 0] +INFO jepsen.util - :nemesis :info :stop nil +INFO jepsen.util - 0 :invoke :cas [2 2] +INFO jepsen.util - 0 :fail :cas [2 2] +INFO jepsen.util - 4 :invoke :read nil +INFO jepsen.util - 4 :ok :read 3 +INFO jepsen.util - 1 :invoke :cas [1 3] +INFO jepsen.util - 1 :fail :cas [1 3] +INFO jepsen.util - 3 :invoke :write 1 +INFO jepsen.util - 3 :fail :write 1 +INFO jepsen.util - :nemesis :info :stop "fully connected" +INFO jepsen.util - 2 :invoke :write 4 +INFO jepsen.util - 2 :fail :write 4 +INFO jepsen.util - 0 :invoke :read nil +INFO jepsen.util - 0 :fail :read nil +INFO jepsen.util - 4 :invoke :write 4 +INFO jepsen.util - 4 :fail :write 4 +INFO jepsen.util - 1 :invoke :cas [0 4] +INFO jepsen.util - 1 :fail :cas [0 4] +INFO jepsen.util - 3 :invoke :write 3 +INFO jepsen.util - 3 :fail :write 3 +INFO jepsen.util - 2 :invoke :cas [3 2] +INFO jepsen.util - 2 :fail :cas [3 2] +INFO jepsen.util - 0 :invoke :read nil +INFO jepsen.util - 0 :fail :read nil +INFO jepsen.util - 4 :invoke :read nil +INFO jepsen.util - 4 :fail :read nil +INFO jepsen.util - 1 :invoke :read nil +INFO jepsen.util - 1 :fail :read nil +INFO jepsen.util - 3 :invoke :cas [4 0] +INFO jepsen.util - 3 :fail :cas [4 0] +INFO jepsen.util - 2 :invoke :read nil +INFO jepsen.util - 2 :fail :read nil +INFO jepsen.util - 0 :invoke :cas [4 4] +INFO jepsen.util - 0 :fail :cas [4 4] +INFO jepsen.util - 4 :invoke :write 1 +INFO jepsen.util - 4 :fail :write 1 +INFO jepsen.util - 1 :invoke :read nil +INFO jepsen.util - 1 :fail :read nil +INFO jepsen.util - 3 :invoke :read nil +INFO jepsen.util - 3 :fail :read nil +INFO jepsen.util - 2 :invoke :read nil +INFO jepsen.util - 2 :fail :read nil +INFO jepsen.util - 0 :invoke :cas [0 0] +INFO jepsen.util - 0 :fail :cas [0 0] +INFO jepsen.util - 4 :invoke :write 3 +INFO jepsen.util - 4 :fail :write 3 +INFO jepsen.util - 1 :invoke :write 3 +INFO jepsen.util - 1 :fail :write 3 +INFO jepsen.util - 3 :invoke :write 4 +INFO jepsen.util - 3 :fail :write 4 +INFO jepsen.util - 2 :invoke :read nil +INFO jepsen.util - 2 :fail :read nil +INFO jepsen.util - 0 :invoke :cas [2 4] +INFO jepsen.util - 0 :fail :cas [2 4] +INFO jepsen.util - 4 :invoke :read nil +INFO jepsen.util - 4 :fail :read nil +INFO jepsen.util - 1 :invoke :write 3 +INFO jepsen.util - 1 :fail :write 3 +INFO jepsen.util - 3 :invoke :read nil +INFO jepsen.util - 3 :fail :read nil +INFO jepsen.util - 2 :invoke :read nil +INFO jepsen.util - 2 :fail :read nil +INFO jepsen.util - 0 :invoke :write 2 +INFO jepsen.util - 0 :fail :write 2 +INFO jepsen.util - 4 :invoke :write 4 +INFO jepsen.util - 4 :fail :write 4 +INFO jepsen.util - 1 :invoke :cas [1 3] +INFO jepsen.util - 1 :fail :cas [1 3] +INFO jepsen.util - 3 :invoke :write 3 +INFO jepsen.util - 3 :fail :write 3 +INFO jepsen.util - 2 :invoke :read nil +INFO jepsen.util - 2 :fail :read nil +INFO jepsen.util - 0 :invoke :cas [0 3] +INFO jepsen.util - 0 :fail :cas [0 3] +INFO jepsen.util - 4 :invoke :write 1 +INFO jepsen.util - 4 :fail :write 1 +INFO jepsen.util - 1 :invoke :cas [4 3] +INFO jepsen.util - 1 :fail :cas [4 3] +INFO jepsen.util - 3 :invoke :cas [0 3] +INFO jepsen.util - 3 :fail :cas [0 3] +INFO jepsen.util - 2 :invoke :read nil +INFO jepsen.util - 2 :fail :read nil +INFO jepsen.util - 0 :invoke :write 2 +INFO jepsen.util - 0 :fail :write 2 +INFO jepsen.util - 4 :invoke :cas [3 3] +INFO jepsen.util - 4 :fail :cas [3 3] +INFO jepsen.util - 1 :invoke :read nil +INFO jepsen.util - 1 :fail :read nil +INFO jepsen.util - 3 :invoke :write 0 +INFO jepsen.util - 3 :fail :write 0 +INFO jepsen.util - 2 :invoke :cas [0 0] +INFO jepsen.util - 2 :fail :cas [0 0] +INFO jepsen.util - 0 :invoke :read nil +INFO jepsen.util - 0 :fail :read nil +INFO jepsen.util - 4 :invoke :read nil +INFO jepsen.util - 4 :fail :read nil +INFO jepsen.util - 1 :invoke :cas [2 1] +INFO jepsen.util - 1 :fail :cas [2 1] +INFO jepsen.util - 3 :invoke :read nil +INFO jepsen.util - 3 :fail :read nil +INFO jepsen.util - 2 :invoke :write 4 +INFO jepsen.util - 2 :fail :write 4 +INFO jepsen.util - 0 :invoke :read nil +INFO jepsen.util - 0 :fail :read nil +INFO jepsen.util - 4 :invoke :cas [0 0] +INFO jepsen.util - 4 :fail :cas [0 0] +INFO jepsen.util - 1 :invoke :read nil +INFO jepsen.util - 1 :fail :read nil +INFO jepsen.util - 3 :invoke :write 4 +INFO jepsen.util - 3 :fail :write 4 +INFO jepsen.util - 2 :invoke :read nil +INFO jepsen.util - 2 :fail :read nil +INFO jepsen.util - 0 :invoke :read nil +INFO jepsen.util - 0 :fail :read nil +INFO jepsen.util - 4 :invoke :cas [3 3] +INFO jepsen.util - 4 :fail :cas [3 3] +INFO jepsen.util - 1 :invoke :read nil +INFO jepsen.util - 1 :fail :read nil +INFO jepsen.util - 3 :invoke :write 2 +INFO jepsen.util - 3 :fail :write 2 +INFO jepsen.util - 2 :invoke :cas [4 4] +INFO jepsen.util - 2 :fail :cas [4 4] +INFO jepsen.util - 0 :invoke :cas [2 0] +INFO jepsen.util - 0 :fail :cas [2 0] +INFO jepsen.util - 4 :invoke :read nil +INFO jepsen.util - 4 :ok :read 3 +INFO jepsen.util - 1 :invoke :write 4 +INFO jepsen.util - 1 :ok :write 4 +INFO jepsen.util - 3 :invoke :write 3 +INFO jepsen.util - 3 :ok :write 3 +INFO jepsen.util - 2 :invoke :write 3 +INFO jepsen.util - 2 :ok :write 3 +INFO jepsen.util - 0 :invoke :cas [0 0] +INFO jepsen.util - 0 :fail :cas [0 0] +INFO jepsen.util - 4 :invoke :cas [2 3] +INFO jepsen.util - 4 :fail :cas [2 3] +INFO jepsen.util - 1 :invoke :write 4 +INFO jepsen.util - 1 :ok :write 4 +INFO jepsen.util - 3 :invoke :write 1 +INFO jepsen.util - 3 :ok :write 1 +INFO jepsen.util - 2 :invoke :read nil +INFO jepsen.util - 2 :ok :read 1 +INFO jepsen.util - 0 :invoke :read nil +INFO jepsen.util - 0 :ok :read 1 +INFO jepsen.util - 4 :invoke :read nil +INFO jepsen.util - 4 :ok :read 1 +INFO jepsen.util - 1 :invoke :read nil +INFO jepsen.util - 1 :ok :read 1 +INFO jepsen.util - 3 :invoke :read nil +INFO jepsen.util - 3 :ok :read 1 +INFO jepsen.util - 2 :invoke :write 4 +INFO jepsen.util - 2 :ok :write 4 +INFO jepsen.util - 0 :invoke :read nil +INFO jepsen.util - 0 :ok :read 4 +INFO jepsen.util - 4 :invoke :read nil +INFO jepsen.util - 4 :ok :read 4 +INFO jepsen.util - 1 :invoke :cas [1 3] +INFO jepsen.util - 1 :fail :cas [1 3] +INFO jepsen.util - 3 :invoke :write 0 +INFO jepsen.util - 3 :ok :write 0 +INFO jepsen.util - 2 :invoke :write 4 +INFO jepsen.util - 2 :ok :write 4 +INFO jepsen.util - 0 :invoke :write 1 +INFO jepsen.util - 0 :ok :write 1 +INFO jepsen.util - 4 :invoke :cas [4 4] +INFO jepsen.util - 4 :fail :cas [4 4] +INFO jepsen.util - 1 :invoke :write 3 +INFO jepsen.util - 1 :ok :write 3 +INFO jepsen.util - 3 :invoke :cas [2 3] +INFO jepsen.util - 3 :fail :cas [2 3] +INFO jepsen.util - 2 :invoke :cas [1 2] +INFO jepsen.util - 2 :fail :cas [1 2] +INFO jepsen.util - 0 :invoke :write 0 +INFO jepsen.util - 0 :ok :write 0 +INFO jepsen.util - 4 :invoke :write 0 +INFO jepsen.util - 4 :ok :write 0 +INFO jepsen.util - 1 :invoke :cas [1 0] +INFO jepsen.util - 1 :fail :cas [1 0] +INFO jepsen.util - 3 :invoke :read nil +INFO jepsen.util - 3 :ok :read 0 +INFO jepsen.util - 2 :invoke :read nil +INFO jepsen.util - 2 :ok :read 0 +INFO jepsen.util - 0 :invoke :write 4 +INFO jepsen.util - 0 :ok :write 4 +INFO jepsen.util - 4 :invoke :read nil +INFO jepsen.util - 4 :ok :read 4 +INFO jepsen.util - 1 :invoke :cas [0 3] +INFO jepsen.util - 1 :fail :cas [0 3] +INFO jepsen.util - 3 :invoke :write 1 +INFO jepsen.util - 3 :ok :write 1 +INFO jepsen.util - 2 :invoke :write 2 +INFO jepsen.util - 2 :ok :write 2 +INFO jepsen.util - 0 :invoke :cas [1 2] +INFO jepsen.util - 0 :fail :cas [1 2] +INFO jepsen.util - 4 :invoke :write 0 +INFO jepsen.util - 4 :ok :write 0 +INFO jepsen.util - 1 :invoke :read nil +INFO jepsen.util - 1 :ok :read 0 +INFO jepsen.util - 3 :invoke :write 2 +INFO jepsen.util - 3 :ok :write 2 +INFO jepsen.util - 2 :invoke :read nil +INFO jepsen.util - 2 :ok :read 2 +INFO jepsen.util - 0 :invoke :read nil +INFO jepsen.util - 0 :ok :read 2 +INFO jepsen.util - :nemesis :info :start nil +INFO jepsen.util - 4 :invoke :cas [0 2] +INFO jepsen.util - 4 :fail :cas [0 2] +INFO jepsen.util - 1 :invoke :cas [3 1] +INFO jepsen.util - 1 :fail :cas [3 1] +INFO jepsen.util - 3 :invoke :cas [3 0] +INFO jepsen.util - 3 :fail :cas [3 0] +INFO jepsen.util - 2 :invoke :read nil +INFO jepsen.util - 2 :ok :read 2 +INFO jepsen.util - 0 :invoke :cas [2 2] +INFO jepsen.util - 0 :fail :cas [2 2] +INFO jepsen.util - 4 :invoke :write 3 +INFO jepsen.util - 4 :ok :write 3 +INFO jepsen.util - 1 :invoke :write 4 +INFO jepsen.util - 3 :invoke :write 2 +INFO jepsen.util - 3 :ok :write 2 +INFO jepsen.util - 2 :invoke :write 3 +INFO jepsen.util - :nemesis :info :start "Cut off {:n1 #{:n3 :n2}, :n5 #{:n3 :n2}, :n4 #{:n3 :n2}, :n2 #{:n4 :n5 :n1}, :n3 #{:n4 :n5 :n1}}" +INFO jepsen.util - 0 :invoke :cas [2 4] +INFO jepsen.util - 0 :fail :cas [2 4] +INFO jepsen.util - 4 :invoke :read nil +INFO jepsen.util - 4 :ok :read 2 +INFO jepsen.util - 3 :invoke :write 0 +INFO jepsen.util - 3 :ok :write 0 +INFO jepsen.util - 0 :invoke :cas [3 2] +INFO jepsen.util - 0 :fail :cas [3 2] +INFO jepsen.util - 4 :invoke :cas [3 2] +INFO jepsen.util - 4 :fail :cas [3 2] +INFO jepsen.util - 3 :invoke :read nil +INFO jepsen.util - 3 :ok :read 0 +INFO jepsen.util - 0 :invoke :cas [0 1] +INFO jepsen.util - 0 :fail :cas [0 1] +INFO jepsen.util - 4 :invoke :write 0 +INFO jepsen.util - 4 :ok :write 0 +INFO jepsen.util - 3 :invoke :write 0 +INFO jepsen.util - 3 :ok :write 0 +INFO jepsen.util - 0 :invoke :write 1 +INFO jepsen.util - 0 :ok :write 1 +INFO jepsen.util - 4 :invoke :read nil +INFO jepsen.util - 4 :ok :read 1 +INFO jepsen.util - 3 :invoke :cas [1 3] +INFO jepsen.util - 3 :fail :cas [1 3] +INFO jepsen.util - 0 :invoke :read nil +INFO jepsen.util - 0 :ok :read 1 +INFO jepsen.util - 4 :invoke :read nil +INFO jepsen.util - 4 :ok :read 1 +INFO jepsen.util - 3 :invoke :cas [0 4] +INFO jepsen.util - 3 :fail :cas [0 4] +INFO jepsen.util - 0 :invoke :cas [0 3] +INFO jepsen.util - 0 :fail :cas [0 3] +INFO jepsen.util - 4 :invoke :write 2 +INFO jepsen.util - 4 :ok :write 2 +INFO jepsen.util - 3 :invoke :read nil +INFO jepsen.util - 3 :ok :read 2 +INFO jepsen.util - 0 :invoke :cas [2 0] +INFO jepsen.util - 0 :fail :cas [2 0] +INFO jepsen.util - 4 :invoke :read nil +INFO jepsen.util - 4 :ok :read 2 +INFO jepsen.util - 3 :invoke :cas [0 0] +INFO jepsen.util - 3 :fail :cas [0 0] +INFO jepsen.util - 0 :invoke :read nil +INFO jepsen.util - 0 :ok :read 2 +INFO jepsen.util - 4 :invoke :cas [0 3] +INFO jepsen.util - 4 :fail :cas [0 3] +INFO jepsen.util - 3 :invoke :read nil +INFO jepsen.util - 3 :ok :read 2 +INFO jepsen.util - 0 :invoke :read nil +INFO jepsen.util - 0 :ok :read 2 +INFO jepsen.util - 4 :invoke :read nil +INFO jepsen.util - 4 :ok :read 2 +INFO jepsen.util - 3 :invoke :read nil +INFO jepsen.util - 3 :ok :read 2 +INFO jepsen.util - 0 :invoke :write 2 +INFO jepsen.util - 0 :ok :write 2 +INFO jepsen.util - 4 :invoke :write 2 +INFO jepsen.util - 4 :ok :write 2 +INFO jepsen.util - 3 :invoke :cas [2 0] +INFO jepsen.util - 3 :fail :cas [2 0] +INFO jepsen.util - 0 :invoke :read nil +INFO jepsen.util - 0 :ok :read 2 +INFO jepsen.util - 4 :invoke :cas [1 1] +INFO jepsen.util - 4 :fail :cas [1 1] +INFO jepsen.util - 3 :invoke :cas [2 1] +INFO jepsen.util - 3 :fail :cas [2 1] +INFO jepsen.util - 0 :invoke :read nil +INFO jepsen.util - 0 :ok :read 2 +INFO jepsen.util - 4 :invoke :cas [4 2] +INFO jepsen.util - 4 :fail :cas [4 2] +INFO jepsen.util - 3 :invoke :cas [0 0] +INFO jepsen.util - 3 :fail :cas [0 0] +INFO jepsen.util - 0 :invoke :cas [0 4] +INFO jepsen.util - 0 :fail :cas [0 4] +INFO jepsen.util - 4 :invoke :cas [2 3] +INFO jepsen.util - 4 :fail :cas [2 3] +INFO jepsen.util - 3 :invoke :write 2 +INFO jepsen.util - 3 :ok :write 2 +INFO jepsen.util - 0 :invoke :cas [3 0] +INFO jepsen.util - 0 :fail :cas [3 0] +INFO jepsen.util - 4 :invoke :write 1 +INFO jepsen.util - 4 :ok :write 1 +INFO jepsen.util - 3 :invoke :cas [3 2] +INFO jepsen.util - 3 :fail :cas [3 2] +INFO jepsen.util - 0 :invoke :read nil +INFO jepsen.util - 0 :ok :read 1 +INFO jepsen.util - 4 :invoke :read nil +INFO jepsen.util - 4 :ok :read 1 +INFO jepsen.util - 3 :invoke :cas [0 1] +INFO jepsen.util - 3 :fail :cas [0 1] +INFO jepsen.util - 0 :invoke :write 4 +INFO jepsen.util - 0 :ok :write 4 +INFO jepsen.util - 4 :invoke :write 3 +INFO jepsen.util - 4 :ok :write 3 +INFO jepsen.util - 3 :invoke :read nil +INFO jepsen.util - 3 :ok :read 3 +INFO jepsen.util - 0 :invoke :write 0 +INFO jepsen.util - 0 :ok :write 0 +INFO jepsen.util - 4 :invoke :cas [0 2] +INFO jepsen.util - 4 :fail :cas [0 2] +INFO jepsen.util - 3 :invoke :write 4 +INFO jepsen.util - 3 :ok :write 4 +INFO jepsen.util - 0 :invoke :read nil +INFO jepsen.util - 0 :ok :read 4 +INFO jepsen.util - 4 :invoke :write 1 +INFO jepsen.util - 4 :ok :write 1 +INFO jepsen.util - 3 :invoke :write 1 +INFO jepsen.util - 3 :ok :write 1 +INFO jepsen.util - 0 :invoke :read nil +INFO jepsen.util - 0 :ok :read 1 +INFO jepsen.util - 4 :invoke :write 0 +INFO jepsen.util - 4 :ok :write 0 +INFO jepsen.util - 3 :invoke :write 2 +INFO jepsen.util - 3 :ok :write 2 +INFO jepsen.util - 2 :fail :write 3 +INFO jepsen.util - 0 :invoke :cas [2 2] +INFO jepsen.util - 0 :fail :cas [2 2] +INFO jepsen.util - :nemesis :info :stop nil +INFO jepsen.util - 4 :invoke :read nil +INFO jepsen.util - 4 :ok :read 2 +INFO jepsen.util - 3 :invoke :read nil +INFO jepsen.util - 3 :ok :read 2 +INFO jepsen.util - 2 :invoke :read nil +INFO jepsen.util - 2 :fail :read nil +INFO jepsen.util - 0 :invoke :cas [0 2] +INFO jepsen.util - 0 :fail :cas [0 2] +INFO jepsen.util - :nemesis :info :stop "fully connected" +INFO jepsen.util - 4 :invoke :read nil +INFO jepsen.util - 4 :fail :read nil +INFO jepsen.util - 3 :invoke :write 2 +INFO jepsen.util - 3 :fail :write 2 +INFO jepsen.util - 2 :invoke :write 4 +INFO jepsen.util - 2 :fail :write 4 +INFO jepsen.util - 0 :invoke :read nil +INFO jepsen.util - 0 :fail :read nil +INFO jepsen.util - 4 :invoke :read nil +INFO jepsen.util - 4 :fail :read nil +INFO jepsen.util - 3 :invoke :read nil +INFO jepsen.util - 1 :fail :write 4 +INFO jepsen.util - 3 :fail :read nil +INFO jepsen.util - 2 :invoke :read nil +INFO jepsen.util - 2 :fail :read nil +INFO jepsen.util - 0 :invoke :cas [0 3] +INFO jepsen.util - 0 :fail :cas [0 3] +INFO jepsen.util - 4 :invoke :read nil +INFO jepsen.util - 4 :fail :read nil +INFO jepsen.util - 1 :invoke :cas [0 1] +INFO jepsen.util - 3 :invoke :read nil +INFO jepsen.util - 1 :fail :cas [0 1] +INFO jepsen.util - 3 :fail :read nil +INFO jepsen.util - 2 :invoke :cas [2 4] +INFO jepsen.util - 2 :fail :cas [2 4] +INFO jepsen.util - 0 :invoke :write 0 +INFO jepsen.util - 0 :fail :write 0 +INFO jepsen.util - 4 :invoke :cas [2 4] +INFO jepsen.util - 4 :fail :cas [2 4] +INFO jepsen.util - 1 :invoke :read nil +INFO jepsen.util - 3 :invoke :cas [3 3] +INFO jepsen.util - 1 :fail :read nil +INFO jepsen.util - 3 :fail :cas [3 3] +INFO jepsen.util - 2 :invoke :cas [2 3] +INFO jepsen.util - 2 :fail :cas [2 3] +INFO jepsen.util - 0 :invoke :write 1 +INFO jepsen.util - 0 :fail :write 1 +INFO jepsen.util - 4 :invoke :read nil +INFO jepsen.util - 4 :fail :read nil +INFO jepsen.util - 1 :invoke :cas [2 0] +INFO jepsen.util - 3 :invoke :read nil +INFO jepsen.util - 1 :fail :cas [2 0] +INFO jepsen.util - 3 :fail :read nil +INFO jepsen.util - 2 :invoke :write 2 +INFO jepsen.util - 2 :fail :write 2 +INFO jepsen.util - 0 :invoke :write 0 +INFO jepsen.util - 0 :fail :write 0 +INFO jepsen.util - 4 :invoke :write 4 +INFO jepsen.util - 4 :fail :write 4 +INFO jepsen.util - 1 :invoke :cas [1 3] +INFO jepsen.util - 3 :invoke :write 4 +INFO jepsen.util - 1 :fail :cas [1 3] +INFO jepsen.util - 3 :fail :write 4 +INFO jepsen.util - 2 :invoke :cas [2 2] +INFO jepsen.util - 2 :fail :cas [2 2] +INFO jepsen.util - 0 :invoke :read nil +INFO jepsen.util - 0 :fail :read nil +INFO jepsen.util - 4 :invoke :write 4 +INFO jepsen.util - 4 :fail :write 4 +INFO jepsen.util - 1 :invoke :cas [4 0] +INFO jepsen.util - 3 :invoke :read nil +INFO jepsen.util - 1 :fail :cas [4 0] +INFO jepsen.util - 3 :fail :read nil +INFO jepsen.util - 2 :invoke :cas [4 2] +INFO jepsen.util - 2 :fail :cas [4 2] +INFO jepsen.util - 0 :invoke :cas [2 2] +INFO jepsen.util - 0 :fail :cas [2 2] +INFO jepsen.util - 4 :invoke :write 3 +INFO jepsen.util - 4 :fail :write 3 +INFO jepsen.util - 1 :invoke :cas [2 4] +INFO jepsen.util - 3 :invoke :write 4 +INFO jepsen.util - 1 :fail :cas [2 4] +INFO jepsen.util - 3 :fail :write 4 +INFO jepsen.util - 2 :invoke :read nil +INFO jepsen.util - 2 :fail :read nil +INFO jepsen.util - 0 :invoke :write 1 +INFO jepsen.util - 0 :fail :write 1 +INFO jepsen.util - 4 :invoke :cas [2 2] +INFO jepsen.util - 4 :fail :cas [2 2] +INFO jepsen.util - 1 :invoke :read nil +INFO jepsen.util - 3 :invoke :write 3 +INFO jepsen.util - 1 :fail :read nil +INFO jepsen.util - 3 :fail :write 3 +INFO jepsen.util - 2 :invoke :read nil +INFO jepsen.util - 2 :fail :read nil +INFO jepsen.util - 0 :invoke :read nil +INFO jepsen.util - 0 :fail :read nil +INFO jepsen.util - 4 :invoke :read nil +INFO jepsen.util - 4 :fail :read nil +INFO jepsen.util - 3 :invoke :read nil +INFO jepsen.util - 1 :invoke :read nil +INFO jepsen.util - 1 :fail :read nil +INFO jepsen.util - 3 :fail :read nil +INFO jepsen.util - 2 :invoke :read nil +INFO jepsen.util - 2 :fail :read nil +INFO jepsen.util - 0 :invoke :read nil +INFO jepsen.util - 0 :fail :read nil +INFO jepsen.util - 4 :invoke :write 4 +INFO jepsen.util - 4 :fail :write 4 +INFO jepsen.util - 1 :invoke :write 4 +INFO jepsen.util - 3 :invoke :cas [3 1] +INFO jepsen.util - 3 :fail :cas [3 1] +INFO jepsen.util - 1 :ok :write 4 +INFO jepsen.util - 2 :invoke :read nil +INFO jepsen.util - 2 :ok :read 4 +INFO jepsen.util - 0 :invoke :cas [1 2] +INFO jepsen.util - 0 :fail :cas [1 2] +INFO jepsen.util - 4 :invoke :read nil +INFO jepsen.util - 4 :ok :read 4 +INFO jepsen.util - 3 :invoke :cas [2 0] +INFO jepsen.util - 1 :invoke :read nil +INFO jepsen.util - 3 :fail :cas [2 0] +INFO jepsen.util - 1 :ok :read 4 +INFO jepsen.util - 2 :invoke :read nil +INFO jepsen.util - 2 :ok :read 4 +INFO jepsen.util - 0 :invoke :write 3 +INFO jepsen.util - 0 :ok :write 3 +INFO jepsen.util - 4 :invoke :read nil +INFO jepsen.util - 4 :ok :read 3 +INFO jepsen.util - 3 :invoke :cas [3 2] +INFO jepsen.util - 1 :invoke :write 0 +INFO jepsen.util - 3 :fail :cas [3 2] +INFO jepsen.util - 1 :ok :write 0 +INFO jepsen.util - 2 :invoke :cas [3 4] +INFO jepsen.util - 2 :fail :cas [3 4] +INFO jepsen.util - 0 :invoke :write 3 +INFO jepsen.util - 0 :ok :write 3 +INFO jepsen.util - 4 :invoke :read nil +INFO jepsen.util - 4 :ok :read 3 +INFO jepsen.util - 3 :invoke :read nil +INFO jepsen.util - 1 :invoke :read nil +INFO jepsen.util - 3 :ok :read 3 +INFO jepsen.util - 1 :ok :read 3 +INFO jepsen.util - 2 :invoke :read nil +INFO jepsen.util - 2 :ok :read 3 +INFO jepsen.util - 0 :invoke :cas [1 4] +INFO jepsen.util - 0 :fail :cas [1 4] +INFO jepsen.util - 4 :invoke :cas [1 4] +INFO jepsen.util - 4 :fail :cas [1 4] +INFO jepsen.util - 3 :invoke :write 2 +INFO jepsen.util - 1 :invoke :read nil +INFO jepsen.util - 1 :ok :read 2 +INFO jepsen.util - 3 :ok :write 2 +INFO jepsen.util - 2 :invoke :read nil +INFO jepsen.util - 2 :ok :read 2 +INFO jepsen.util - 0 :invoke :write 3 +INFO jepsen.util - 0 :ok :write 3 +INFO jepsen.util - 4 :invoke :read nil +INFO jepsen.util - 4 :ok :read 3 +INFO jepsen.util - 1 :invoke :write 0 +INFO jepsen.util - 3 :invoke :write 4 +INFO jepsen.util - 1 :ok :write 0 +INFO jepsen.util - 3 :ok :write 4 +INFO jepsen.util - 2 :invoke :write 4 +INFO jepsen.util - 2 :ok :write 4 +INFO jepsen.util - 0 :invoke :write 4 +INFO jepsen.util - 0 :ok :write 4 +INFO jepsen.util - 4 :invoke :cas [3 4] +INFO jepsen.util - 4 :fail :cas [3 4] +INFO jepsen.util - 1 :invoke :read nil +INFO jepsen.util - 3 :invoke :read nil +INFO jepsen.util - 1 :ok :read 4 +INFO jepsen.util - 3 :ok :read 4 +INFO jepsen.util - 2 :invoke :read nil +INFO jepsen.util - 2 :ok :read 4 +INFO jepsen.util - 0 :invoke :write 0 +INFO jepsen.util - 0 :ok :write 0 +INFO jepsen.util - 4 :invoke :read nil +INFO jepsen.util - 4 :ok :read 0 +INFO jepsen.util - 1 :invoke :read nil +INFO jepsen.util - 3 :invoke :write 2 +INFO jepsen.util - 1 :ok :read 0 +INFO jepsen.util - 3 :ok :write 2 +INFO jepsen.util - 2 :invoke :cas [3 4] +INFO jepsen.util - 2 :fail :cas [3 4] +INFO jepsen.util - 0 :invoke :cas [1 1] +INFO jepsen.util - 0 :fail :cas [1 1] +INFO jepsen.util - 4 :invoke :read nil +INFO jepsen.util - 4 :ok :read 2 +INFO jepsen.util - 1 :invoke :read nil +INFO jepsen.util - 3 :invoke :cas [0 2] +INFO jepsen.util - 1 :ok :read 2 +INFO jepsen.util - 3 :fail :cas [0 2] +INFO jepsen.util - 2 :invoke :cas [0 4] +INFO jepsen.util - 2 :fail :cas [0 4] +INFO jepsen.util - 0 :invoke :cas [3 2] +INFO jepsen.util - 0 :fail :cas [3 2] +INFO jepsen.util - 4 :invoke :read nil +INFO jepsen.util - 4 :ok :read 2 +INFO jepsen.util - 1 :invoke :cas [0 4] +INFO jepsen.util - 3 :invoke :read nil +INFO jepsen.util - 1 :fail :cas [0 4] +INFO jepsen.util - 3 :ok :read 2 +INFO jepsen.util - 2 :invoke :write 0 +INFO jepsen.util - 2 :ok :write 0 +INFO jepsen.util - :nemesis :info :start nil +INFO jepsen.util - 0 :invoke :read nil +INFO jepsen.util - 0 :ok :read 0 +INFO jepsen.util - 4 :invoke :read nil +INFO jepsen.util - 4 :ok :read 0 +INFO jepsen.util - 3 :invoke :read nil +INFO jepsen.util - 1 :invoke :write 4 +INFO jepsen.util - 2 :invoke :write 2 +INFO jepsen.util - 1 :ok :write 4 +INFO jepsen.util - 3 :ok :read 0 +INFO jepsen.util - 2 :ok :write 2 +INFO jepsen.util - 0 :invoke :write 2 +INFO jepsen.util - 0 :ok :write 2 +INFO jepsen.util - 4 :invoke :read nil +INFO jepsen.util - 4 :ok :read 2 +INFO jepsen.util - :nemesis :info :start "Cut off {:n5 #{:n2 :n1}, :n4 #{:n2 :n1}, :n3 #{:n2 :n1}, :n1 #{:n3 :n4 :n5}, :n2 #{:n3 :n4 :n5}}" +INFO jepsen.util - 3 :invoke :write 1 +INFO jepsen.util - 1 :invoke :read nil +INFO jepsen.util - 1 :fail :read nil +INFO jepsen.util - 2 :invoke :read nil +INFO jepsen.util - 3 :ok :write 1 +INFO jepsen.util - 2 :ok :read 1 +INFO jepsen.util - 0 :invoke :read nil +INFO jepsen.util - 4 :invoke :read nil +INFO jepsen.util - 4 :ok :read 1 +INFO jepsen.util - 1 :invoke :cas [1 4] +INFO jepsen.util - 3 :invoke :cas [0 4] +INFO jepsen.util - 1 :fail :cas [1 4] +INFO jepsen.util - 2 :invoke :read nil +INFO jepsen.util - 3 :fail :cas [0 4] +INFO jepsen.util - 2 :ok :read 1 +INFO jepsen.util - 4 :invoke :write 3 +INFO jepsen.util - 4 :ok :write 3 +INFO jepsen.util - 1 :invoke :write 4 +INFO jepsen.util - 1 :fail :write 4 +INFO jepsen.util - 3 :invoke :read nil +INFO jepsen.util - 2 :invoke :cas [3 1] +INFO jepsen.util - 3 :ok :read 3 +INFO jepsen.util - 2 :fail :cas [3 1] +INFO jepsen.util - 4 :invoke :read nil +INFO jepsen.util - 4 :ok :read 3 +INFO jepsen.util - 1 :invoke :cas [2 1] +INFO jepsen.util - 1 :fail :cas [2 1] +INFO jepsen.util - 3 :invoke :write 3 +INFO jepsen.util - 2 :invoke :read nil +INFO jepsen.util - 2 :ok :read 3 +INFO jepsen.util - 3 :ok :write 3 +INFO jepsen.util - 4 :invoke :write 0 +INFO jepsen.util - 4 :ok :write 0 +INFO jepsen.util - 1 :invoke :cas [4 0] +INFO jepsen.util - 1 :fail :cas [4 0] +INFO jepsen.util - 2 :invoke :read nil +INFO jepsen.util - 3 :invoke :cas [2 4] +INFO jepsen.util - 2 :ok :read 0 +INFO jepsen.util - 3 :fail :cas [2 4] +INFO jepsen.util - 4 :invoke :write 3 +INFO jepsen.util - 4 :ok :write 3 +INFO jepsen.util - 1 :invoke :read nil +INFO jepsen.util - 1 :fail :read nil +INFO jepsen.util - 2 :invoke :write 0 +INFO jepsen.util - 3 :invoke :read nil +INFO jepsen.util - 3 :ok :read 3 +INFO jepsen.util - 2 :ok :write 0 +INFO jepsen.util - 4 :invoke :cas [3 1] +INFO jepsen.util - 4 :fail :cas [3 1] +INFO jepsen.util - 1 :invoke :write 0 +INFO jepsen.util - 1 :fail :write 0 +INFO jepsen.util - 3 :invoke :write 3 +INFO jepsen.util - 2 :invoke :write 2 +INFO jepsen.util - 3 :ok :write 3 +INFO jepsen.util - 2 :ok :write 2 +INFO jepsen.util - 4 :invoke :read nil +INFO jepsen.util - 4 :ok :read 2 +INFO jepsen.util - 1 :invoke :cas [4 0] +INFO jepsen.util - 1 :fail :cas [4 0] +INFO jepsen.util - 3 :invoke :read nil +INFO jepsen.util - 2 :invoke :read nil +INFO jepsen.util - 2 :ok :read 2 +INFO jepsen.util - 3 :ok :read 2 +INFO jepsen.util - 4 :invoke :cas [2 1] +INFO jepsen.util - 4 :fail :cas [2 1] +INFO jepsen.util - 1 :invoke :cas [4 1] +INFO jepsen.util - 1 :fail :cas [4 1] +INFO jepsen.util - 2 :invoke :read nil +INFO jepsen.util - 3 :invoke :cas [4 2] +INFO jepsen.util - 3 :fail :cas [4 2] +INFO jepsen.util - 2 :ok :read 2 +INFO jepsen.util - 4 :invoke :write 4 +INFO jepsen.util - 4 :ok :write 4 +INFO jepsen.util - 1 :invoke :read nil +INFO jepsen.util - 1 :fail :read nil +INFO jepsen.util - 3 :invoke :read nil +INFO jepsen.util - 2 :invoke :read nil +INFO jepsen.util - 2 :ok :read 4 +INFO jepsen.util - 3 :ok :read 4 +INFO jepsen.util - 4 :invoke :write 4 +INFO jepsen.util - 4 :ok :write 4 +INFO jepsen.util - 1 :invoke :read nil +INFO jepsen.util - 1 :fail :read nil +INFO jepsen.util - 2 :invoke :cas [4 0] +INFO jepsen.util - 3 :invoke :cas [2 4] +INFO jepsen.util - 3 :fail :cas [2 4] +INFO jepsen.util - 2 :fail :cas [4 0] +INFO jepsen.util - 4 :invoke :write 3 +INFO jepsen.util - 4 :ok :write 3 +INFO jepsen.util - 1 :invoke :read nil +INFO jepsen.util - 1 :fail :read nil +INFO jepsen.util - 3 :invoke :cas [3 0] +INFO jepsen.util - 2 :invoke :write 4 +INFO jepsen.util - 3 :fail :cas [3 0] +INFO jepsen.util - 2 :ok :write 4 +INFO jepsen.util - 4 :invoke :cas [1 2] +INFO jepsen.util - 4 :fail :cas [1 2] +INFO jepsen.util - 1 :invoke :read nil +INFO jepsen.util - 1 :fail :read nil +INFO jepsen.util - 3 :invoke :cas [4 2] +INFO jepsen.util - 2 :invoke :cas [3 0] +INFO jepsen.util - 3 :fail :cas [4 2] +INFO jepsen.util - 2 :fail :cas [3 0] +INFO jepsen.util - 4 :invoke :write 4 +INFO jepsen.util - 4 :ok :write 4 +INFO jepsen.util - 1 :invoke :write 1 +INFO jepsen.util - 1 :fail :write 1 +INFO jepsen.util - 3 :invoke :write 1 +INFO jepsen.util - 2 :invoke :cas [2 3] +INFO jepsen.util - 2 :fail :cas [2 3] +INFO jepsen.util - 3 :ok :write 1 +INFO jepsen.util - 4 :invoke :write 2 +INFO jepsen.util - 4 :ok :write 2 +INFO jepsen.util - 1 :invoke :write 3 +INFO jepsen.util - 1 :fail :write 3 +INFO jepsen.util - 2 :invoke :write 3 +INFO jepsen.util - 3 :invoke :write 2 +INFO jepsen.util - 3 :ok :write 2 +INFO jepsen.util - 2 :ok :write 3 +INFO jepsen.util - 4 :invoke :cas [3 1] +INFO jepsen.util - 4 :fail :cas [3 1] +INFO jepsen.util - 1 :invoke :read nil +INFO jepsen.util - 1 :fail :read nil +INFO jepsen.util - 3 :invoke :read nil +INFO jepsen.util - 2 :invoke :write 4 +INFO jepsen.util - 3 :ok :read 3 +INFO jepsen.util - 2 :ok :write 4 +INFO jepsen.util - 4 :invoke :write 3 +INFO jepsen.util - 4 :ok :write 3 +INFO jepsen.util - 1 :invoke :cas [2 4] +INFO jepsen.util - 1 :fail :cas [2 4] +INFO jepsen.util - 3 :invoke :cas [0 3] +INFO jepsen.util - 2 :invoke :write 1 +INFO jepsen.util - 3 :fail :cas [0 3] +INFO jepsen.util - 2 :ok :write 1 +INFO jepsen.util - 4 :invoke :write 3 +INFO jepsen.util - 4 :ok :write 3 +INFO jepsen.util - 1 :invoke :cas [0 4] +INFO jepsen.util - 1 :fail :cas [0 4] +INFO jepsen.util - 3 :invoke :read nil +INFO jepsen.util - 2 :invoke :write 4 +INFO jepsen.util - 3 :ok :read 3 +INFO jepsen.util - 2 :ok :write 4 +INFO jepsen.util - 4 :invoke :write 3 +INFO jepsen.util - 4 :ok :write 3 +INFO jepsen.util - 1 :invoke :read nil +INFO jepsen.util - 1 :fail :read nil +INFO jepsen.util - 3 :invoke :cas [2 0] +INFO jepsen.util - 2 :invoke :write 4 +INFO jepsen.util - 3 :fail :cas [2 0] +INFO jepsen.util - 2 :ok :write 4 +INFO jepsen.util - 4 :invoke :write 1 +INFO jepsen.util - 4 :ok :write 1 +INFO jepsen.util - 1 :invoke :write 4 +INFO jepsen.util - 1 :fail :write 4 +INFO jepsen.util - 3 :invoke :cas [4 1] +INFO jepsen.util - 2 :invoke :read nil +INFO jepsen.util - 3 :fail :cas [4 1] +INFO jepsen.util - 2 :ok :read 1 +INFO jepsen.util - :nemesis :info :stop nil +INFO jepsen.util - 4 :invoke :read nil +INFO jepsen.util - 4 :ok :read 1 +INFO jepsen.util - 1 :invoke :cas [1 4] +INFO jepsen.util - 1 :fail :cas [1 4] +INFO jepsen.util - 3 :invoke :read nil +INFO jepsen.util - 2 :invoke :cas [3 2] +INFO jepsen.util - 3 :fail :read nil +INFO jepsen.util - 2 :fail :cas [3 2] +INFO jepsen.util - :nemesis :info :stop "fully connected" +INFO jepsen.util - 0 :fail :read nil +INFO jepsen.util - 4 :invoke :cas [1 2] +INFO jepsen.util - 4 :fail :cas [1 2] +INFO jepsen.util - 1 :invoke :read nil +INFO jepsen.util - 1 :fail :read nil +INFO jepsen.util - 3 :invoke :cas [2 1] +INFO jepsen.util - 2 :invoke :cas [2 4] +INFO jepsen.util - 3 :fail :cas [2 1] +INFO jepsen.util - 2 :fail :cas [2 4] +INFO jepsen.util - 0 :invoke :cas [1 2] +INFO jepsen.util - 0 :fail :cas [1 2] +INFO jepsen.util - 4 :invoke :cas [3 1] +INFO jepsen.util - 4 :fail :cas [3 1] +INFO jepsen.util - 1 :invoke :cas [0 3] +INFO jepsen.util - 1 :fail :cas [0 3] +INFO jepsen.util - 3 :invoke :cas [1 0] +INFO jepsen.util - 2 :invoke :write 0 +INFO jepsen.util - 2 :fail :write 0 +INFO jepsen.util - 3 :fail :cas [1 0] +INFO jepsen.util - 0 :invoke :read nil +INFO jepsen.util - 0 :fail :read nil +INFO jepsen.util - 4 :invoke :write 0 +INFO jepsen.util - 4 :fail :write 0 +INFO jepsen.util - 1 :invoke :cas [2 3] +INFO jepsen.util - 1 :fail :cas [2 3] +INFO jepsen.util - 2 :invoke :read nil +INFO jepsen.util - 3 :invoke :cas [2 0] +INFO jepsen.util - 2 :fail :read nil +INFO jepsen.util - 3 :fail :cas [2 0] +INFO jepsen.util - 0 :invoke :cas [0 4] +INFO jepsen.util - 0 :fail :cas [0 4] +INFO jepsen.util - 4 :invoke :read nil +INFO jepsen.util - 4 :fail :read nil +INFO jepsen.util - 1 :invoke :cas [4 2] +INFO jepsen.util - 1 :fail :cas [4 2] +INFO jepsen.util - 2 :invoke :read nil +INFO jepsen.util - 3 :invoke :write 0 +INFO jepsen.util - 2 :fail :read nil +INFO jepsen.util - 3 :fail :write 0 +INFO jepsen.util - 0 :invoke :write 0 +INFO jepsen.util - 0 :fail :write 0 +INFO jepsen.util - 4 :invoke :read nil +INFO jepsen.util - 4 :fail :read nil +INFO jepsen.util - 1 :invoke :cas [1 2] +INFO jepsen.util - 1 :fail :cas [1 2] +INFO jepsen.util - 2 :invoke :read nil +INFO jepsen.util - 3 :invoke :read nil +INFO jepsen.util - 2 :fail :read nil +INFO jepsen.util - 3 :fail :read nil +INFO jepsen.util - 0 :invoke :cas [2 4] +INFO jepsen.util - 0 :fail :cas [2 4] +INFO jepsen.util - 4 :invoke :read nil +INFO jepsen.util - 4 :fail :read nil +INFO jepsen.util - 1 :invoke :cas [3 3] +INFO jepsen.util - 1 :fail :cas [3 3] +INFO jepsen.util - 2 :invoke :read nil +INFO jepsen.util - 3 :invoke :cas [2 1] +INFO jepsen.util - 2 :fail :read nil +INFO jepsen.util - 3 :fail :cas [2 1] +INFO jepsen.util - 0 :invoke :read nil +INFO jepsen.util - 0 :fail :read nil +INFO jepsen.util - 4 :invoke :cas [0 4] +INFO jepsen.util - 4 :fail :cas [0 4] +INFO jepsen.util - 1 :invoke :write 1 +INFO jepsen.util - 1 :fail :write 1 +INFO jepsen.util - 2 :invoke :write 2 +INFO jepsen.util - 3 :invoke :read nil +INFO jepsen.util - 2 :fail :write 2 +INFO jepsen.util - 3 :fail :read nil +INFO jepsen.util - 0 :invoke :read nil +INFO jepsen.util - 0 :fail :read nil +INFO jepsen.util - 4 :invoke :read nil +INFO jepsen.util - 4 :fail :read nil +INFO jepsen.util - 1 :invoke :cas [4 1] +INFO jepsen.util - 1 :fail :cas [4 1] +INFO jepsen.util - 2 :invoke :cas [1 4] +INFO jepsen.util - 3 :invoke :cas [4 2] +INFO jepsen.util - 3 :fail :cas [4 2] +INFO jepsen.util - 2 :fail :cas [1 4] +INFO jepsen.util - 0 :invoke :read nil +INFO jepsen.util - 0 :ok :read 1 +INFO jepsen.util - 4 :invoke :read nil +INFO jepsen.util - 4 :ok :read 1 +INFO jepsen.util - 1 :invoke :write 4 +INFO jepsen.util - 1 :ok :write 4 +INFO jepsen.util - 3 :invoke :write 0 +INFO jepsen.util - 2 :invoke :cas [3 2] +INFO jepsen.util - 2 :fail :cas [3 2] +INFO jepsen.util - 3 :ok :write 0 +INFO jepsen.util - 0 :invoke :cas [0 3] +INFO jepsen.util - 0 :fail :cas [0 3] +INFO jepsen.util - 4 :invoke :write 2 +INFO jepsen.util - 4 :ok :write 2 +INFO jepsen.util - 1 :invoke :read nil +INFO jepsen.util - 1 :ok :read 2 +INFO jepsen.util - 2 :invoke :write 0 +INFO jepsen.util - 3 :invoke :cas [4 4] +INFO jepsen.util - 3 :fail :cas [4 4] +INFO jepsen.util - 2 :ok :write 0 +INFO jepsen.util - 0 :invoke :cas [1 0] +INFO jepsen.util - 0 :fail :cas [1 0] +INFO jepsen.util - 4 :invoke :read nil +INFO jepsen.util - 4 :ok :read 0 +INFO jepsen.util - 1 :invoke :write 4 +INFO jepsen.util - 1 :ok :write 4 +INFO jepsen.util - 3 :invoke :read nil +INFO jepsen.util - 2 :invoke :cas [1 3] +INFO jepsen.util - 3 :ok :read 4 +INFO jepsen.util - 2 :fail :cas [1 3] +INFO jepsen.util - 0 :invoke :cas [1 2] +INFO jepsen.util - 0 :fail :cas [1 2] +INFO jepsen.util - 4 :invoke :read nil +INFO jepsen.util - 4 :ok :read 4 +INFO jepsen.util - 1 :invoke :cas [3 2] +INFO jepsen.util - 1 :fail :cas [3 2] +INFO jepsen.util - 3 :invoke :write 4 +INFO jepsen.util - 2 :invoke :read nil +INFO jepsen.util - 3 :ok :write 4 +INFO jepsen.util - 2 :ok :read 4 +INFO jepsen.util - 0 :invoke :read nil +INFO jepsen.util - 0 :ok :read 4 +INFO jepsen.util - 4 :invoke :write 2 +INFO jepsen.util - 4 :ok :write 2 +INFO jepsen.util - 1 :invoke :write 0 +INFO jepsen.util - 1 :ok :write 0 +INFO jepsen.util - 3 :invoke :write 3 +INFO jepsen.util - 2 :invoke :cas [4 2] +INFO jepsen.util - 3 :ok :write 3 +INFO jepsen.util - 2 :fail :cas [4 2] +INFO jepsen.util - 0 :invoke :cas [0 4] +INFO jepsen.util - 0 :fail :cas [0 4] +INFO jepsen.util - 4 :invoke :write 1 +INFO jepsen.util - 4 :ok :write 1 +INFO jepsen.util - 1 :invoke :write 2 +INFO jepsen.util - 1 :ok :write 2 +INFO jepsen.util - 3 :invoke :write 0 +INFO jepsen.util - 2 :invoke :cas [3 3] +INFO jepsen.util - 2 :fail :cas [3 3] +INFO jepsen.util - 3 :ok :write 0 +INFO jepsen.util - 0 :invoke :read nil +INFO jepsen.util - 0 :ok :read 0 +INFO jepsen.util - 4 :invoke :read nil +INFO jepsen.util - 4 :ok :read 0 +INFO jepsen.util - 1 :invoke :write 2 +INFO jepsen.util - 1 :ok :write 2 +INFO jepsen.util - 2 :invoke :write 3 +INFO jepsen.util - 3 :invoke :cas [3 0] +INFO jepsen.util - 3 :fail :cas [3 0] +INFO jepsen.util - 2 :ok :write 3 +INFO jepsen.util - 0 :invoke :cas [0 1] +INFO jepsen.util - 0 :fail :cas [0 1] +INFO jepsen.util - 4 :invoke :write 2 +INFO jepsen.util - 4 :ok :write 2 +INFO jepsen.util - 1 :invoke :read nil +INFO jepsen.util - 1 :ok :read 2 +INFO jepsen.util - 3 :invoke :write 0 +INFO jepsen.util - 2 :invoke :write 4 +INFO jepsen.util - 3 :ok :write 0 +INFO jepsen.util - 2 :ok :write 4 +INFO jepsen.util - 0 :invoke :write 0 +INFO jepsen.util - 0 :ok :write 0 +INFO jepsen.util - 4 :invoke :write 3 +INFO jepsen.util - 4 :ok :write 3 +INFO jepsen.util - 1 :invoke :read nil +INFO jepsen.util - 1 :ok :read 3 +INFO jepsen.util - 3 :invoke :cas [2 2] +INFO jepsen.util - 3 :fail :cas [2 2] +INFO jepsen.util - 2 :invoke :read nil +INFO jepsen.util - 2 :ok :read 3 +INFO jepsen.util - 0 :invoke :cas [4 2] +INFO jepsen.util - 0 :fail :cas [4 2] +INFO jepsen.util - 4 :invoke :cas [3 0] +INFO jepsen.util - 4 :fail :cas [3 0] +INFO jepsen.util - 1 :invoke :cas [4 2] +INFO jepsen.util - 1 :fail :cas [4 2] +INFO jepsen.util - 3 :invoke :write 2 +INFO jepsen.util - 2 :invoke :read nil +INFO jepsen.util - 3 :ok :write 2 +INFO jepsen.util - 2 :ok :read 2 +INFO jepsen.util - 0 :invoke :read nil +INFO jepsen.util - 0 :ok :read 2 +INFO jepsen.util - 4 :invoke :read nil +INFO jepsen.util - 4 :ok :read 2 +INFO jepsen.util - 1 :invoke :write 0 +INFO jepsen.util - 1 :ok :write 0 +INFO jepsen.util - 3 :invoke :cas [4 1] +INFO jepsen.util - 2 :invoke :read nil +INFO jepsen.util - 3 :fail :cas [4 1] +INFO jepsen.util - 2 :ok :read 0 +INFO jepsen.util - 0 :invoke :cas [4 3] +INFO jepsen.util - 0 :fail :cas [4 3] +INFO jepsen.util - 4 :invoke :write 0 +INFO jepsen.util - 4 :ok :write 0 +INFO jepsen.util - :nemesis :info :start nil +INFO jepsen.util - 1 :invoke :write 0 +INFO jepsen.util - 1 :ok :write 0 +INFO jepsen.util - 3 :invoke :cas [1 2] +INFO jepsen.util - 2 :invoke :read nil +INFO jepsen.util - 3 :fail :cas [1 2] +INFO jepsen.util - 2 :ok :read 0 +INFO jepsen.util - 0 :invoke :cas [0 1] +INFO jepsen.util - 0 :fail :cas [0 1] +INFO jepsen.util - 4 :invoke :write 2 +INFO jepsen.util - 4 :ok :write 2 +INFO jepsen.util - 1 :invoke :write 0 +INFO jepsen.util - 3 :invoke :read nil +INFO jepsen.util - 2 :invoke :write 2 +INFO jepsen.util - 3 :ok :read 2 +INFO jepsen.util - 2 :ok :write 2 +INFO jepsen.util - 0 :invoke :read nil +INFO jepsen.util - :nemesis :info :start "Cut off {:n5 #{:n2 :n1}, :n4 #{:n2 :n1}, :n3 #{:n2 :n1}, :n1 #{:n3 :n4 :n5}, :n2 #{:n3 :n4 :n5}}" +INFO jepsen.util - 4 :invoke :write 2 +INFO jepsen.util - 4 :ok :write 2 +INFO jepsen.util - 3 :invoke :cas [3 2] +INFO jepsen.util - 2 :invoke :read nil +INFO jepsen.util - 3 :fail :cas [3 2] +INFO jepsen.util - 2 :ok :read 2 +INFO jepsen.util - 4 :invoke :read nil +INFO jepsen.util - 4 :ok :read 2 +INFO jepsen.util - 3 :invoke :write 3 +INFO jepsen.util - 2 :invoke :write 4 +INFO jepsen.util - 3 :ok :write 3 +INFO jepsen.util - 2 :ok :write 4 +INFO jepsen.util - 4 :invoke :read nil +INFO jepsen.util - 4 :ok :read 4 +INFO jepsen.util - 3 :invoke :read nil +INFO jepsen.util - 2 :invoke :read nil +INFO jepsen.util - 3 :ok :read 4 +INFO jepsen.util - 2 :ok :read 4 +INFO jepsen.util - 4 :invoke :read nil +INFO jepsen.util - 4 :ok :read 4 +INFO jepsen.util - 3 :invoke :read nil +INFO jepsen.util - 2 :invoke :write 4 +INFO jepsen.util - 3 :ok :read 4 +INFO jepsen.util - 2 :ok :write 4 +INFO jepsen.util - 4 :invoke :cas [0 4] +INFO jepsen.util - 4 :fail :cas [0 4] +INFO jepsen.util - 3 :invoke :write 3 +INFO jepsen.util - 2 :invoke :cas [0 1] +INFO jepsen.util - 3 :ok :write 3 +INFO jepsen.util - 2 :fail :cas [0 1] +INFO jepsen.util - 4 :invoke :cas [3 3] +INFO jepsen.util - 4 :fail :cas [3 3] +INFO jepsen.util - :nemesis :info :stop nil +INFO jepsen.util - :nemesis :info :stop "fully connected" +INFO jepsen.util - 0 :fail :read nil +INFO jepsen.util - 1 :fail :write 0 +INFO jepsen.util - :nemesis :info :stop nil +INFO jepsen.util - :nemesis :info :stop "fully connected" +INFO jepsen.core - nemesis done +INFO jepsen.core - Worker 3 done +INFO jepsen.util - 1 :invoke :read nil +INFO jepsen.core - Worker 2 done +INFO jepsen.core - Worker 4 done +INFO jepsen.core - Worker 0 done +INFO jepsen.util - 1 :ok :read 3 +INFO jepsen.core - Worker 1 done +INFO jepsen.core - Run complete, writing +INFO jepsen.core - Analyzing +:world-size 2 :degenerate 2 +:world-size 2 :degenerate 2 +:world-size 9 :degenerate 6 +:world-size 30 :degenerate 16 +:world-size 61 :degenerate 28 +:world-size 14 :degenerate 14 +:world-size 8 :degenerate 8 +:world-size 5 :degenerate 5 +:world-size 4 :degenerate 4 +:world-size 2 :degenerate 2 +:world-size 2 :degenerate 2 +:world-size 2 :degenerate 2 +:world-size 3 :degenerate 3 +:world-size 6 :degenerate 5 +:world-size 9 :degenerate 7 +:world-size 24 :degenerate 17 +:world-size 9 :degenerate 9 +:world-size 6 :degenerate 6 +:world-size 3 :degenerate 3 +:world-size 2 :degenerate 2 +:world-size 3 :degenerate 3 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 4 :degenerate 4 +:world-size 10 :degenerate 10 +:world-size 5 :degenerate 5 +:world-size 10 :degenerate 10 +:world-size 6 :degenerate 6 +:world-size 3 :degenerate 3 +:world-size 2 :degenerate 2 +:world-size 4 :degenerate 3 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 4 :degenerate 4 +:world-size 6 :degenerate 6 +:world-size 3 :degenerate 3 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 5 :degenerate 4 +:world-size 16 :degenerate 8 +:world-size 4 :degenerate 4 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 4 :degenerate 4 +:world-size 10 :degenerate 8 +:world-size 4 :degenerate 4 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 3 :degenerate 3 +:world-size 8 :degenerate 8 +:world-size 5 :degenerate 5 +:world-size 3 :degenerate 3 +:world-size 2 :degenerate 2 +:world-size 3 :degenerate 3 +:world-size 2 :degenerate 2 +:world-size 4 :degenerate 3 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 4 :degenerate 4 +:world-size 8 :degenerate 8 +:world-size 4 :degenerate 4 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 2 :degenerate 2 +:world-size 4 :degenerate 4 +:world-size 4 :degenerate 4 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 4 :degenerate 4 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 2 :degenerate 2 +:world-size 8 :degenerate 7 +:world-size 4 :degenerate 4 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 4 :degenerate 4 +:world-size 4 :degenerate 4 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 3 :degenerate 3 +:world-size 4 :degenerate 4 +:world-size 2 :degenerate 2 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 4 :degenerate 4 +:world-size 4 :degenerate 4 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 4 :degenerate 4 +:world-size 10 :degenerate 10 +:world-size 5 :degenerate 5 +:world-size 3 :degenerate 3 +:world-size 2 :degenerate 2 +:world-size 3 :degenerate 3 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 3 :degenerate 3 +:world-size 11 :degenerate 7 +:world-size 4 :degenerate 4 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 4 :degenerate 4 +:world-size 4 :degenerate 4 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 2 :degenerate 2 +:world-size 4 :degenerate 4 +:world-size 2 :degenerate 2 +:world-size 2 :degenerate 2 +:world-size 5 :degenerate 5 +:world-size 3 :degenerate 3 +:world-size 7 :degenerate 6 +:world-size 3 :degenerate 3 +:world-size 11 :degenerate 8 +:world-size 3 :degenerate 3 +:world-size 11 :degenerate 8 +:world-size 5 :degenerate 5 +:world-size 14 :degenerate 11 +:world-size 5 :degenerate 5 +:world-size 14 :degenerate 11 +:world-size 5 :degenerate 5 +:world-size 12 :degenerate 10 +:world-size 5 :degenerate 5 +:world-size 17 :degenerate 10 +:world-size 5 :degenerate 5 +:world-size 17 :degenerate 10 +:world-size 5 :degenerate 5 +:world-size 12 :degenerate 10 +:world-size 5 :degenerate 5 +:world-size 14 :degenerate 11 +:world-size 5 :degenerate 5 +:world-size 6 :degenerate 5 +:world-size 5 :degenerate 5 +:world-size 6 :degenerate 5 +:world-size 5 :degenerate 5 +:world-size 6 :degenerate 5 +:world-size 5 :degenerate 5 +:world-size 17 :degenerate 10 +:world-size 5 :degenerate 5 +:world-size 9 :degenerate 8 +:world-size 5 :degenerate 5 +:world-size 6 :degenerate 5 +:world-size 5 :degenerate 5 +:world-size 12 :degenerate 10 +:world-size 5 :degenerate 5 +:world-size 12 :degenerate 10 +:world-size 5 :degenerate 5 +:world-size 9 :degenerate 8 +:world-size 5 :degenerate 5 +:world-size 6 :degenerate 5 +:world-size 5 :degenerate 5 +:world-size 6 :degenerate 5 +:world-size 5 :degenerate 5 +:world-size 11 :degenerate 9 +:world-size 5 :degenerate 5 +:world-size 9 :degenerate 8 +:world-size 5 :degenerate 5 +:world-size 14 :degenerate 11 +:world-size 6 :degenerate 6 +:world-size 12 :degenerate 12 +:world-size 6 :degenerate 6 +:world-size 14 :degenerate 12 +:world-size 6 :degenerate 6 +:world-size 6 :degenerate 6 +:world-size 6 :degenerate 6 +:world-size 14 :degenerate 10 +:world-size 6 :degenerate 6 +:world-size 12 :degenerate 12 +:world-size 6 :degenerate 6 +:world-size 12 :degenerate 12 +:world-size 6 :degenerate 6 +:world-size 6 :degenerate 6 +:world-size 6 :degenerate 6 +:world-size 6 :degenerate 6 +:world-size 6 :degenerate 6 +:world-size 12 :degenerate 12 +:world-size 6 :degenerate 6 +:world-size 9 :degenerate 9 +:world-size 6 :degenerate 6 +:world-size 6 :degenerate 6 +:world-size 6 :degenerate 6 +:world-size 12 :degenerate 12 +:world-size 6 :degenerate 6 +:world-size 6 :degenerate 6 +:world-size 6 :degenerate 6 +:world-size 14 :degenerate 12 +:world-size 6 :degenerate 6 +:world-size 12 :degenerate 12 +:world-size 6 :degenerate 6 +:world-size 14 :degenerate 12 +:world-size 6 :degenerate 6 +:world-size 14 :degenerate 12 +:world-size 6 :degenerate 6 +:world-size 14 :degenerate 12 +:world-size 6 :degenerate 6 +:world-size 8 :degenerate 8 +:world-size 6 :degenerate 6 +:world-size 14 :degenerate 12 +:world-size 6 :degenerate 6 +:world-size 8 :degenerate 8 +:world-size 6 :degenerate 6 +:world-size 14 :degenerate 12 +:world-size 6 :degenerate 6 +:world-size 14 :degenerate 12 +:world-size 6 :degenerate 6 +:world-size 12 :degenerate 12 +:world-size 6 :degenerate 6 +:world-size 14 :degenerate 12 +:world-size 6 :degenerate 6 +:world-size 18 :degenerate 13 +:world-size 6 :degenerate 6 +:world-size 9 :degenerate 9 +:world-size 6 :degenerate 6 +:world-size 14 :degenerate 12 +:world-size 6 :degenerate 6 +:world-size 14 :degenerate 12 +:world-size 6 :degenerate 6 +:world-size 14 :degenerate 12 +:world-size 6 :degenerate 6 +:world-size 14 :degenerate 12 +:world-size 6 :degenerate 6 +:world-size 14 :degenerate 12 +:world-size 6 :degenerate 6 +:world-size 14 :degenerate 12 +:world-size 6 :degenerate 6 +:world-size 14 :degenerate 12 +:world-size 6 :degenerate 6 +:world-size 6 :degenerate 6 +:world-size 14 :degenerate 12 +:world-size 6 :degenerate 6 +:world-size 14 :degenerate 12 +:world-size 6 :degenerate 6 +:world-size 12 :degenerate 12 +:world-size 6 :degenerate 6 +:world-size 6 :degenerate 6 +:world-size 15 :degenerate 13 +:world-size 6 :degenerate 6 +:world-size 9 :degenerate 9 +:world-size 6 :degenerate 6 +:world-size 6 :degenerate 6 +:world-size 6 :degenerate 6 +:world-size 3 :degenerate 3 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 5 :degenerate 4 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 5 :degenerate 5 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 2 :degenerate 2 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 5 :degenerate 4 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 5 :degenerate 4 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 5 :degenerate 5 +:world-size 3 :degenerate 3 +:world-size 2 :degenerate 2 +:world-size 2 :degenerate 2 +:world-size 2 :degenerate 2 +:world-size 2 :degenerate 2 +:world-size 2 :degenerate 2 +:world-size 3 :degenerate 3 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 3 :degenerate 3 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 4 :degenerate 4 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 3 :degenerate 3 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 5 :degenerate 4 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 4 :degenerate 4 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 5 :degenerate 4 +:world-size 12 :degenerate 8 +:world-size 4 :degenerate 4 +:world-size 6 :degenerate 4 +:world-size 4 :degenerate 4 +:world-size 4 :degenerate 4 +:world-size 18 :degenerate 8 +:world-size 4 :degenerate 4 +:world-size 16 :degenerate 8 +:world-size 4 :degenerate 4 +:world-size 12 :degenerate 8 +:world-size 4 :degenerate 4 +:world-size 7 :degenerate 4 +:world-size 4 :degenerate 4 +:world-size 21 :degenerate 8 +:world-size 4 :degenerate 4 +:world-size 5 :degenerate 4 +:world-size 4 :degenerate 4 +:world-size 9 :degenerate 6 +:world-size 4 :degenerate 4 +:world-size 9 :degenerate 6 +:world-size 4 :degenerate 4 +:world-size 16 :degenerate 8 +:world-size 4 :degenerate 4 +:world-size 21 :degenerate 8 +:world-size 4 :degenerate 4 +:world-size 21 :degenerate 10 +:world-size 4 :degenerate 4 +:world-size 6 :degenerate 4 +:world-size 4 :degenerate 4 +:world-size 16 :degenerate 8 +:world-size 4 :degenerate 4 +:world-size 16 :degenerate 10 +:world-size 4 :degenerate 4 +:world-size 16 :degenerate 10 +:world-size 6 :degenerate 6 +:world-size 18 :degenerate 12 +:world-size 6 :degenerate 6 +:world-size 21 :degenerate 12 +:world-size 6 :degenerate 6 +:world-size 17 :degenerate 12 +:world-size 6 :degenerate 6 +:world-size 10 :degenerate 6 +:world-size 6 :degenerate 6 +:world-size 26 :degenerate 12 +:world-size 6 :degenerate 6 +:world-size 11 :degenerate 8 +:world-size 6 :degenerate 6 +:world-size 7 :degenerate 6 +:world-size 6 :degenerate 6 +:world-size 21 :degenerate 12 +:world-size 6 :degenerate 6 +:world-size 17 :degenerate 12 +:world-size 6 :degenerate 6 +:world-size 26 :degenerate 12 +:world-size 6 :degenerate 6 +:world-size 26 :degenerate 12 +:world-size 6 :degenerate 6 +:world-size 21 :degenerate 12 +:world-size 6 :degenerate 6 +:world-size 25 :degenerate 12 +:world-size 6 :degenerate 6 +:world-size 25 :degenerate 12 +:world-size 6 :degenerate 6 +:world-size 12 :degenerate 8 +:world-size 6 :degenerate 6 +:world-size 23 :degenerate 12 +:world-size 6 :degenerate 6 +:world-size 21 :degenerate 12 +:world-size 6 :degenerate 6 +:world-size 21 :degenerate 10 +:world-size 4 :degenerate 4 +:world-size 7 :degenerate 4 +:world-size 4 :degenerate 4 +:world-size 16 :degenerate 8 +:world-size 4 :degenerate 4 +:world-size 5 :degenerate 4 +:world-size 4 :degenerate 4 +:world-size 16 :degenerate 8 +:world-size 4 :degenerate 4 +:world-size 16 :degenerate 10 +:world-size 4 :degenerate 4 +:world-size 16 :degenerate 8 +:world-size 4 :degenerate 4 +:world-size 18 :degenerate 10 +:world-size 4 :degenerate 4 +:world-size 18 :degenerate 8 +:world-size 4 :degenerate 4 +:world-size 5 :degenerate 4 +:world-size 4 :degenerate 4 +:world-size 16 :degenerate 8 +:world-size 4 :degenerate 4 +:world-size 16 :degenerate 10 +:world-size 4 :degenerate 4 +:world-size 16 :degenerate 8 +:world-size 4 :degenerate 4 +:world-size 21 :degenerate 10 +:world-size 4 :degenerate 4 +:world-size 21 :degenerate 10 +:world-size 4 :degenerate 4 +:world-size 16 :degenerate 10 +:world-size 4 :degenerate 4 +:world-size 5 :degenerate 4 +:world-size 4 :degenerate 4 +:world-size 16 :degenerate 10 +:world-size 4 :degenerate 4 +:world-size 5 :degenerate 4 +:world-size 4 :degenerate 4 +:world-size 16 :degenerate 8 +:world-size 4 :degenerate 4 +:world-size 16 :degenerate 8 +:world-size 4 :degenerate 4 +:world-size 16 :degenerate 10 +:world-size 6 :degenerate 6 +:world-size 26 :degenerate 12 +:world-size 6 :degenerate 6 +:world-size 26 :degenerate 12 +:world-size 6 :degenerate 6 +:world-size 7 :degenerate 6 +:world-size 6 :degenerate 6 +:world-size 7 :degenerate 6 +:world-size 6 :degenerate 6 +:world-size 6 :degenerate 6 +:world-size 21 :degenerate 12 +:world-size 6 :degenerate 6 +:world-size 21 :degenerate 12 +:world-size 6 :degenerate 6 +:world-size 26 :degenerate 12 +:world-size 6 :degenerate 6 +:world-size 6 :degenerate 6 +:world-size 3 :degenerate 3 +:world-size 7 :degenerate 6 +:world-size 3 :degenerate 3 +:world-size 7 :degenerate 6 +:world-size 3 :degenerate 3 +:world-size 7 :degenerate 6 +:world-size 3 :degenerate 3 +:world-size 3 :degenerate 3 +:world-size 3 :degenerate 3 +:world-size 4 :degenerate 4 +:world-size 3 :degenerate 3 +:world-size 7 :degenerate 6 +:world-size 3 :degenerate 3 +:world-size 7 :degenerate 6 +:world-size 3 :degenerate 3 +:world-size 7 :degenerate 6 +:world-size 3 :degenerate 3 +:world-size 7 :degenerate 6 +:world-size 3 :degenerate 3 +:world-size 3 :degenerate 3 +:world-size 3 :degenerate 3 +:world-size 3 :degenerate 3 +:world-size 3 :degenerate 3 +:world-size 3 :degenerate 3 +:world-size 3 :degenerate 3 +:world-size 7 :degenerate 6 +:world-size 3 :degenerate 3 +:world-size 7 :degenerate 6 +:world-size 3 :degenerate 3 +:world-size 7 :degenerate 6 +:world-size 3 :degenerate 3 +:world-size 7 :degenerate 6 +:world-size 3 :degenerate 3 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 5 :degenerate 4 +:world-size 2 :degenerate 2 +:world-size 7 :degenerate 4 +:world-size 2 :degenerate 2 +:world-size 7 :degenerate 4 +:world-size 4 :degenerate 4 +:world-size 2 :degenerate 2 +:world-size 7 :degenerate 4 +:world-size 21 :degenerate 8 +:world-size 4 :degenerate 4 +:world-size 21 :degenerate 8 +:world-size 4 :degenerate 4 +:world-size 26 :degenerate 8 +:world-size 4 :degenerate 4 +:world-size 28 :degenerate 8 +:world-size 4 :degenerate 4 +:world-size 8 :degenerate 4 +:world-size 4 :degenerate 4 +:world-size 21 :degenerate 8 +:world-size 4 :degenerate 4 +:world-size 23 :degenerate 8 +:world-size 4 :degenerate 4 +:world-size 7 :degenerate 4 +:world-size 4 :degenerate 4 +:world-size 5 :degenerate 4 +:world-size 4 :degenerate 4 +:world-size 16 :degenerate 8 +:world-size 4 :degenerate 4 +:world-size 5 :degenerate 4 +:world-size 4 :degenerate 4 +:world-size 16 :degenerate 8 +:world-size 4 :degenerate 4 +:world-size 23 :degenerate 8 +:world-size 4 :degenerate 4 +:world-size 8 :degenerate 4 +:world-size 4 :degenerate 4 +:world-size 8 :degenerate 4 +:world-size 4 :degenerate 4 +:world-size 23 :degenerate 8 +:world-size 4 :degenerate 4 +:world-size 23 :degenerate 8 +:world-size 4 :degenerate 4 +:world-size 18 :degenerate 8 +:world-size 4 :degenerate 4 +:world-size 23 :degenerate 8 +:world-size 4 :degenerate 4 +:world-size 18 :degenerate 8 +:world-size 4 :degenerate 4 +:world-size 8 :degenerate 4 +:world-size 4 :degenerate 4 +:world-size 16 :degenerate 8 +:world-size 4 :degenerate 4 +:world-size 28 :degenerate 8 +:world-size 4 :degenerate 4 +:world-size 21 :degenerate 8 +:world-size 4 :degenerate 4 +:world-size 8 :degenerate 4 +:world-size 4 :degenerate 4 +:world-size 16 :degenerate 8 +:world-size 4 :degenerate 4 +:world-size 18 :degenerate 8 +:world-size 4 :degenerate 4 +:world-size 7 :degenerate 4 +:world-size 4 :degenerate 4 +:world-size 21 :degenerate 8 +:world-size 4 :degenerate 4 +:world-size 26 :degenerate 8 +:world-size 4 :degenerate 4 +:world-size 21 :degenerate 8 +:world-size 4 :degenerate 4 +:world-size 21 :degenerate 8 +:world-size 4 :degenerate 4 +:world-size 5 :degenerate 4 +:world-size 4 :degenerate 4 +:world-size 16 :degenerate 8 +:world-size 4 :degenerate 4 +:world-size 23 :degenerate 8 +:world-size 4 :degenerate 4 +:world-size 6 :degenerate 4 +:world-size 4 :degenerate 4 +:world-size 16 :degenerate 8 +:world-size 4 :degenerate 4 +:world-size 23 :degenerate 8 +:world-size 4 :degenerate 4 +:world-size 23 :degenerate 8 +:world-size 4 :degenerate 4 +:world-size 6 :degenerate 4 +:world-size 4 :degenerate 4 +:world-size 18 :degenerate 8 +:world-size 4 :degenerate 4 +:world-size 23 :degenerate 8 +:world-size 4 :degenerate 4 +:world-size 18 :degenerate 8 +:world-size 4 :degenerate 4 +:world-size 18 :degenerate 8 +:world-size 4 :degenerate 4 +:world-size 10 :degenerate 4 +:world-size 4 :degenerate 4 +:world-size 8 :degenerate 4 +:world-size 4 :degenerate 4 +:world-size 16 :degenerate 8 +:world-size 4 :degenerate 4 +:world-size 9 :degenerate 4 +:world-size 4 :degenerate 4 +:world-size 26 :degenerate 8 +:world-size 4 :degenerate 4 +:world-size 10 :degenerate 4 +:world-size 4 :degenerate 4 +:world-size 18 :degenerate 8 +:world-size 4 :degenerate 4 +:world-size 26 :degenerate 8 +:world-size 4 :degenerate 4 +:world-size 9 :degenerate 4 +:world-size 4 :degenerate 4 +:world-size 8 :degenerate 4 +:world-size 4 :degenerate 4 +:world-size 5 :degenerate 4 +:world-size 4 :degenerate 4 +:world-size 16 :degenerate 8 +:world-size 4 :degenerate 4 +:world-size 18 :degenerate 8 +:world-size 4 :degenerate 4 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 5 :degenerate 5 +:world-size 3 :degenerate 3 +:world-size 7 :degenerate 6 +:world-size 6 :degenerate 6 +:world-size 14 :degenerate 11 +:world-size 6 :degenerate 6 +:world-size 14 :degenerate 12 +:world-size 6 :degenerate 6 +:world-size 21 :degenerate 14 +:world-size 8 :degenerate 8 +:world-size 16 :degenerate 11 +:world-size 8 :degenerate 8 +:world-size 14 :degenerate 11 +:world-size 8 :degenerate 8 +:world-size 20 :degenerate 16 +:world-size 8 :degenerate 8 +:world-size 20 :degenerate 16 +:world-size 8 :degenerate 8 +:world-size 28 :degenerate 16 +:world-size 8 :degenerate 8 +:world-size 30 :degenerate 16 +:world-size 8 :degenerate 8 +:world-size 28 :degenerate 16 +:world-size 8 :degenerate 8 +:world-size 21 :degenerate 16 +:world-size 8 :degenerate 8 +:world-size 20 :degenerate 14 +:world-size 8 :degenerate 8 +:world-size 20 :degenerate 16 +:world-size 8 :degenerate 8 +:world-size 20 :degenerate 16 +:world-size 8 :degenerate 8 +:world-size 10 :degenerate 8 +:world-size 8 :degenerate 8 +:world-size 10 :degenerate 8 +:world-size 8 :degenerate 8 +:world-size 28 :degenerate 16 +:world-size 8 :degenerate 8 +:world-size 20 :degenerate 16 +:world-size 8 :degenerate 8 +:world-size 20 :degenerate 16 +:world-size 8 :degenerate 8 +:world-size 20 :degenerate 16 +:world-size 8 :degenerate 8 +:world-size 10 :degenerate 8 +:world-size 8 :degenerate 8 +:world-size 20 :degenerate 16 +:world-size 8 :degenerate 8 +:world-size 10 :degenerate 8 +:world-size 8 :degenerate 8 +:world-size 20 :degenerate 16 +:world-size 8 :degenerate 8 +:world-size 20 :degenerate 16 +:world-size 8 :degenerate 8 +:world-size 20 :degenerate 16 +:world-size 8 :degenerate 8 +:world-size 20 :degenerate 16 +:world-size 8 :degenerate 8 +:world-size 28 :degenerate 16 +:world-size 8 :degenerate 8 +:world-size 28 :degenerate 16 +:world-size 8 :degenerate 8 +:world-size 21 :degenerate 16 +:world-size 8 :degenerate 8 +:world-size 20 :degenerate 16 +:world-size 8 :degenerate 8 +:world-size 10 :degenerate 8 +:world-size 8 :degenerate 8 +:world-size 20 :degenerate 16 +:world-size 8 :degenerate 8 +:world-size 20 :degenerate 16 +:world-size 8 :degenerate 8 +:world-size 14 :degenerate 11 +:world-size 8 :degenerate 8 +:world-size 10 :degenerate 8 +:world-size 8 :degenerate 8 +:world-size 10 :degenerate 8 +:world-size 8 :degenerate 8 +:world-size 20 :degenerate 14 +:world-size 8 :degenerate 8 +:world-size 28 :degenerate 16 +:world-size 8 :degenerate 8 +:world-size 16 :degenerate 11 +:world-size 8 :degenerate 8 +:world-size 28 :degenerate 16 +:world-size 8 :degenerate 8 +:world-size 15 :degenerate 11 +:world-size 8 :degenerate 8 +:world-size 20 :degenerate 16 +:world-size 8 :degenerate 8 +:world-size 20 :degenerate 16 +:world-size 8 :degenerate 8 +:world-size 10 :degenerate 8 +:world-size 8 :degenerate 8 +:world-size 28 :degenerate 14 +:world-size 6 :degenerate 6 +:world-size 26 :degenerate 12 +:world-size 6 :degenerate 6 +:world-size 20 :degenerate 12 +:world-size 6 :degenerate 6 +:world-size 23 :degenerate 14 +:world-size 8 :degenerate 8 +:world-size 20 :degenerate 16 +:world-size 8 :degenerate 8 +:world-size 28 :degenerate 14 +:world-size 6 :degenerate 6 +:world-size 21 :degenerate 12 +:world-size 6 :degenerate 6 +:world-size 21 :degenerate 14 +:world-size 8 :degenerate 8 +:world-size 30 :degenerate 16 +:world-size 8 :degenerate 8 +:world-size 20 :degenerate 16 +:world-size 8 :degenerate 8 +:world-size 28 :degenerate 16 +:world-size 8 :degenerate 8 +:world-size 30 :degenerate 16 +:world-size 8 :degenerate 8 +:world-size 3 :degenerate 3 +:world-size 6 :degenerate 6 +:world-size 3 :degenerate 3 +:world-size 3 :degenerate 3 +:world-size 6 :degenerate 6 +:world-size 3 :degenerate 3 +:world-size 6 :degenerate 6 +:world-size 3 :degenerate 3 +:world-size 7 :degenerate 6 +:world-size 3 :degenerate 3 +:world-size 3 :degenerate 3 +:world-size 3 :degenerate 3 +:world-size 3 :degenerate 3 +:world-size 7 :degenerate 6 +:world-size 3 :degenerate 3 +:world-size 7 :degenerate 6 +:world-size 3 :degenerate 3 +:world-size 7 :degenerate 5 +:world-size 3 :degenerate 3 +:world-size 7 :degenerate 6 +:world-size 3 :degenerate 3 +:world-size 7 :degenerate 6 +:world-size 3 :degenerate 3 +:world-size 7 :degenerate 6 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 5 :degenerate 4 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 4 :degenerate 4 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 5 :degenerate 4 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 5 :degenerate 4 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 2 :degenerate 2 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 4 :degenerate 4 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 5 :degenerate 4 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 3 :degenerate 3 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 5 :degenerate 5 +:world-size 3 :degenerate 3 +:world-size 2 :degenerate 2 +:world-size 4 :degenerate 3 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 5 :degenerate 4 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 4 :degenerate 4 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 4 :degenerate 4 +:world-size 10 :degenerate 10 +:world-size 6 :degenerate 6 +:world-size 3 :degenerate 3 +:world-size 2 :degenerate 2 +:world-size 4 :degenerate 3 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 5 :degenerate 4 +:world-size 2 :degenerate 2 +:world-size 3 :degenerate 3 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 5 :degenerate 4 +:world-size 2 :degenerate 2 +:world-size 7 :degenerate 4 +:world-size 7 :degenerate 4 +:world-size 2 :degenerate 2 +:world-size 7 :degenerate 4 +:world-size 4 :degenerate 4 +:world-size 2 :degenerate 2 +:world-size 7 :degenerate 4 +:world-size 2 :degenerate 2 +:world-size 7 :degenerate 4 +:world-size 2 :degenerate 2 +:world-size 5 :degenerate 4 +:world-size 12 :degenerate 8 +:world-size 4 :degenerate 4 +:world-size 2 :degenerate 2 +:world-size 7 :degenerate 4 +:world-size 2 :degenerate 2 +:world-size 3 :degenerate 2 +:world-size 2 :degenerate 2 +:world-size 7 :degenerate 4 +:world-size 21 :degenerate 8 +:world-size 4 :degenerate 4 +:world-size 2 :degenerate 2 +:world-size 7 :degenerate 4 +:world-size 2 :degenerate 2 +:world-size 3 :degenerate 2 +:world-size 2 :degenerate 2 +:world-size 5 :degenerate 4 +:world-size 5 :degenerate 4 +:world-size 2 :degenerate 2 +:world-size 2 :degenerate 2 +:world-size 7 :degenerate 4 +:world-size 2 :degenerate 2 +:world-size 7 :degenerate 4 +:world-size 2 :degenerate 2 +:world-size 5 :degenerate 4 +:world-size 12 :degenerate 8 +:world-size 4 :degenerate 4 +:world-size 2 :degenerate 2 +:world-size 3 :degenerate 2 +:world-size 2 :degenerate 2 +:world-size 7 :degenerate 4 +:world-size 2 :degenerate 2 +:world-size 7 :degenerate 4 +:world-size 16 :degenerate 10 +:world-size 6 :degenerate 6 +:world-size 4 :degenerate 4 +:world-size 8 :degenerate 6 +:world-size 2 :degenerate 2 +:world-size 2 :degenerate 2 +:world-size 2 :degenerate 2 +:world-size 5 :degenerate 4 +:world-size 16 :degenerate 8 +:world-size 4 :degenerate 4 +:world-size 2 :degenerate 2 +:world-size 7 :degenerate 4 +:world-size 2 :degenerate 2 +:world-size 3 :degenerate 2 +:world-size 2 :degenerate 2 +:world-size 7 :degenerate 4 +:world-size 6 :degenerate 4 +:world-size 4 :degenerate 4 +:world-size 2 :degenerate 2 +:world-size 7 :degenerate 4 +:world-size 2 :degenerate 2 +:world-size 5 :degenerate 4 +:world-size 2 :degenerate 2 +:world-size 5 :degenerate 4 +:world-size 16 :degenerate 8 +:world-size 4 :degenerate 4 +:world-size 2 :degenerate 2 +:world-size 5 :degenerate 4 +:world-size 2 :degenerate 2 +:world-size 7 :degenerate 4 +:world-size 2 :degenerate 2 +:world-size 7 :degenerate 4 +:world-size 5 :degenerate 4 +:world-size 4 :degenerate 4 +:world-size 2 :degenerate 2 +:world-size 5 :degenerate 4 +:world-size 2 :degenerate 2 +:world-size 7 :degenerate 4 +:world-size 2 :degenerate 2 +:world-size 7 :degenerate 4 +:world-size 12 :degenerate 8 +:world-size 4 :degenerate 4 +:world-size 2 :degenerate 2 +:world-size 3 :degenerate 2 +:world-size 2 :degenerate 2 +:world-size 5 :degenerate 4 +:world-size 2 :degenerate 2 +:world-size 5 :degenerate 4 +:world-size 5 :degenerate 4 +:world-size 2 :degenerate 2 +:world-size 2 :degenerate 2 +:world-size 5 :degenerate 4 +:world-size 2 :degenerate 2 +:world-size 7 :degenerate 4 +:world-size 2 :degenerate 2 +:world-size 5 :degenerate 4 +:world-size 5 :degenerate 4 +:world-size 4 :degenerate 4 +:world-size 2 :degenerate 2 +:world-size 7 :degenerate 4 +:world-size 2 :degenerate 2 +:world-size 7 :degenerate 4 +:world-size 2 :degenerate 2 +:world-size 5 :degenerate 4 +:world-size 16 :degenerate 10 +:world-size 6 :degenerate 6 +:world-size 4 :degenerate 4 +:world-size 8 :degenerate 6 +:world-size 4 :degenerate 4 +:world-size 12 :degenerate 8 +:world-size 4 :degenerate 4 +:world-size 8 :degenerate 6 +:world-size 17 :degenerate 10 +:world-size 4 :degenerate 4 +:world-size 2 :degenerate 2 +:world-size 7 :degenerate 4 +:world-size 2 :degenerate 2 +:world-size 3 :degenerate 2 +:world-size 2 :degenerate 2 +:world-size 2 :degenerate 2 +:world-size 5 :degenerate 4 +:world-size 4 :degenerate 4 +:world-size 2 :degenerate 2 +:world-size 5 :degenerate 4 +:world-size 2 :degenerate 2 +:world-size 3 :degenerate 2 +:world-size 2 :degenerate 2 +:world-size 5 :degenerate 4 +:world-size 12 :degenerate 8 +:world-size 4 :degenerate 4 +:world-size 2 :degenerate 2 +:world-size 7 :degenerate 4 +:world-size 2 :degenerate 2 +:world-size 5 :degenerate 4 +:world-size 2 :degenerate 2 +:world-size 2 :degenerate 2 +:world-size 5 :degenerate 4 +:world-size 4 :degenerate 4 +:world-size 2 :degenerate 2 +:world-size 7 :degenerate 4 +:world-size 2 :degenerate 2 +:world-size 7 :degenerate 4 +:world-size 2 :degenerate 2 +:world-size 2 :degenerate 2 +:world-size 5 :degenerate 4 +:world-size 4 :degenerate 4 +:world-size 2 :degenerate 2 +:world-size 2 :degenerate 2 +:world-size 5 :degenerate 4 +:world-size 2 :degenerate 2 +:world-size 7 :degenerate 4 +:world-size 2 :degenerate 2 +:world-size 5 :degenerate 4 +:world-size 5 :degenerate 4 +:world-size 2 :degenerate 2 +:world-size 2 :degenerate 2 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 4 :degenerate 4 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 5 :degenerate 4 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 5 :degenerate 4 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 5 :degenerate 4 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 3 :degenerate 3 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 2 :degenerate 2 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 2 :degenerate 2 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 5 :degenerate 4 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 2 :degenerate 2 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 3 :degenerate 3 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 5 :degenerate 5 +:world-size 3 :degenerate 3 +:world-size 2 :degenerate 2 +:world-size 4 :degenerate 3 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 3 :degenerate 3 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 4 :degenerate 4 +:world-size 13 :degenerate 10 +:world-size 5 :degenerate 5 +:world-size 3 :degenerate 3 +:world-size 9 :degenerate 6 +:world-size 6 :degenerate 6 +:world-size 26 :degenerate 12 +:world-size 6 :degenerate 6 +:world-size 10 :degenerate 6 +:world-size 19 :degenerate 12 +:world-size 12 :degenerate 12 +:world-size 6 :degenerate 6 +:world-size 23 :degenerate 12 +:world-size 6 :degenerate 6 +:world-size 30 :degenerate 12 +:world-size 91 :degenerate 28 +:world-size 16 :degenerate 16 +:world-size 10 :degenerate 10 +:world-size 32 :degenerate 16 +:world-size 6 :degenerate 6 +:world-size 23 :degenerate 12 +:world-size 68 :degenerate 24 +:world-size 12 :degenerate 12 +:world-size 6 :degenerate 6 +:world-size 24 :degenerate 12 +:world-size 6 :degenerate 6 +:world-size 23 :degenerate 12 +:world-size 85 :degenerate 24 +:world-size 12 :degenerate 12 +:world-size 6 :degenerate 6 +:world-size 20 :degenerate 8 +:world-size 6 :degenerate 6 +:world-size 26 :degenerate 12 +:world-size 47 :degenerate 18 +:world-size 10 :degenerate 10 +:world-size 6 :degenerate 6 +:world-size 23 :degenerate 12 +:world-size 6 :degenerate 6 +:world-size 6 :degenerate 6 +:world-size 6 :degenerate 6 +:world-size 3 :degenerate 3 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 1 :degenerate 1 +:world-size 2 :degenerate 2 +:world-size 1 :degenerate 1 +INFO jepsen.core - Analysis complete +INFO jepsen.system.consul - :n3 consul nuked +INFO jepsen.system.consul - :n2 consul nuked +INFO jepsen.system.consul - :n4 consul nuked +INFO jepsen.system.consul - :n1 consul nuked +INFO jepsen.system.consul - :n5 consul nuked +1964 element history linearizable. :D + +Ran 1 tests containing 1 assertions. +0 failures, 0 errors. +``` + diff --git a/website/source/layouts/docs.erb b/website/source/layouts/docs.erb index 1e9444099..17fa286a0 100644 --- a/website/source/layouts/docs.erb +++ b/website/source/layouts/docs.erb @@ -36,6 +36,10 @@ > Security Model + + + > + Jepsen Testing