pi-t3-pstack 0.0.0-stage → 0.1.0

package/pstack/skills/statechart/scripts/test/corpus/TwoPhase/graph.dot

@@ -0,0 +1,297 @@
+strict digraph DiskGraph {
+nodesep=0.35;
+subgraph cluster_graph {
+color="white";
+4916273919760615933 [label="/\\ msgs = {}\n/\\ rmState = (r1 :> \"working\" @@ r2 :> \"working\")\n/\\ tmState = \"init\"\n/\\ tmPrepared = {}",style = filled]
+4916273919760615933 -> -5000366642371916777 [label="TMAbort",color="black",fontcolor="black"];
+-5000366642371916777 [label="/\\ msgs = {[type |-> \"Abort\"]}\n/\\ rmState = (r1 :> \"working\" @@ r2 :> \"working\")\n/\\ tmState = \"done\"\n/\\ tmPrepared = {}"];
+4916273919760615933 -> -3767889665157278400 [label="RMPrepare",color="black",fontcolor="black"];
+-3767889665157278400 [label="/\\ msgs = {[type |-> \"Prepared\", rm |-> r1]}\n/\\ rmState = (r1 :> \"prepared\" @@ r2 :> \"working\")\n/\\ tmState = \"init\"\n/\\ tmPrepared = {}"];
+4916273919760615933 -> -5056777106408873824 [label="RMChooseToAbort",color="black",fontcolor="black"];
+-5056777106408873824 [label="/\\ msgs = {}\n/\\ rmState = (r1 :> \"aborted\" @@ r2 :> \"working\")\n/\\ tmState = \"init\"\n/\\ tmPrepared = {}"];
+4916273919760615933 -> -4403197823297837421 [label="RMPrepare",color="black",fontcolor="black"];
+-4403197823297837421 [label="/\\ msgs = {[type |-> \"Prepared\", rm |-> r2]}\n/\\ rmState = (r1 :> \"working\" @@ r2 :> \"prepared\")\n/\\ tmState = \"init\"\n/\\ tmPrepared = {}"];
+4916273919760615933 -> -3266916160254125099 [label="RMChooseToAbort",color="black",fontcolor="black"];
+-3266916160254125099 [label="/\\ msgs = {}\n/\\ rmState = (r1 :> \"working\" @@ r2 :> \"aborted\")\n/\\ tmState = \"init\"\n/\\ tmPrepared = {}"];
+-5000366642371916777 -> -3353586712746109039 [label="RMPrepare",color="black",fontcolor="black"];
+-3353586712746109039 [label="/\\ msgs = {[type |-> \"Abort\"], [type |-> \"Prepared\", rm |-> r1]}\n/\\ rmState = (r1 :> \"prepared\" @@ r2 :> \"working\")\n/\\ tmState = \"done\"\n/\\ tmPrepared = {}"];
+-5000366642371916777 -> 5148604066540496202 [label="RMChooseToAbort",color="black",fontcolor="black"];
+5148604066540496202 [label="/\\ msgs = {[type |-> \"Abort\"]}\n/\\ rmState = (r1 :> \"aborted\" @@ r2 :> \"working\")\n/\\ tmState = \"done\"\n/\\ tmPrepared = {}"];
+-5000366642371916777 -> 5148604066540496202 [label="RMRcvAbortMsg",color="black",fontcolor="black"];
+-5000366642371916777 -> -2871928633454484414 [label="RMPrepare",color="black",fontcolor="black"];
+-2871928633454484414 [label="/\\ msgs = {[type |-> \"Abort\"], [type |-> \"Prepared\", rm |-> r2]}\n/\\ rmState = (r1 :> \"working\" @@ r2 :> \"prepared\")\n/\\ tmState = \"done\"\n/\\ tmPrepared = {}"];
+-5000366642371916777 -> 3172971834916019775 [label="RMChooseToAbort",color="black",fontcolor="black"];
+3172971834916019775 [label="/\\ msgs = {[type |-> \"Abort\"]}\n/\\ rmState = (r1 :> \"working\" @@ r2 :> \"aborted\")\n/\\ tmState = \"done\"\n/\\ tmPrepared = {}"];
+-5000366642371916777 -> 3172971834916019775 [label="RMRcvAbortMsg",color="black",fontcolor="black"];
+-3767889665157278400 -> -3353586712746109039 [label="TMAbort",color="black",fontcolor="black"];
+-3767889665157278400 -> -1498786595780378171 [label="TMRcvPrepared",color="black",fontcolor="black"];
+-1498786595780378171 [label="/\\ msgs = {[type |-> \"Prepared\", rm |-> r1]}\n/\\ rmState = (r1 :> \"prepared\" @@ r2 :> \"working\")\n/\\ tmState = \"init\"\n/\\ tmPrepared = {r1}"];
+-3767889665157278400 -> 4459077790752584895 [label="RMPrepare",color="black",fontcolor="black"];
+4459077790752584895 [label="/\\ msgs = {[type |-> \"Prepared\", rm |-> r1], [type |-> \"Prepared\", rm |-> r2]}\n/\\ rmState = (r1 :> \"prepared\" @@ r2 :> \"prepared\")\n/\\ tmState = \"init\"\n/\\ tmPrepared = {}"];
+-3767889665157278400 -> 6712136178367711080 [label="RMChooseToAbort",color="black",fontcolor="black"];
+6712136178367711080 [label="/\\ msgs = {[type |-> \"Prepared\", rm |-> r1]}\n/\\ rmState = (r1 :> \"prepared\" @@ r2 :> \"aborted\")\n/\\ tmState = \"init\"\n/\\ tmPrepared = {}"];
+-5056777106408873824 -> 5148604066540496202 [label="TMAbort",color="black",fontcolor="black"];
+-5056777106408873824 -> 7226129972710988406 [label="RMPrepare",color="black",fontcolor="black"];
+7226129972710988406 [label="/\\ msgs = {[type |-> \"Prepared\", rm |-> r2]}\n/\\ rmState = (r1 :> \"aborted\" @@ r2 :> \"prepared\")\n/\\ tmState = \"init\"\n/\\ tmPrepared = {}"];
+-5056777106408873824 -> 3405055678155551368 [label="RMChooseToAbort",color="black",fontcolor="black"];
+3405055678155551368 [label="/\\ msgs = {}\n/\\ rmState = (r1 :> \"aborted\" @@ r2 :> \"aborted\")\n/\\ tmState = \"init\"\n/\\ tmPrepared = {}"];
+-4403197823297837421 -> -2871928633454484414 [label="TMAbort",color="black",fontcolor="black"];
+-4403197823297837421 -> 4459077790752584895 [label="RMPrepare",color="black",fontcolor="black"];
+-4403197823297837421 -> 7226129972710988406 [label="RMChooseToAbort",color="black",fontcolor="black"];
+-4403197823297837421 -> 1392302299744213519 [label="TMRcvPrepared",color="black",fontcolor="black"];
+1392302299744213519 [label="/\\ msgs = {[type |-> \"Prepared\", rm |-> r2]}\n/\\ rmState = (r1 :> \"working\" @@ r2 :> \"prepared\")\n/\\ tmState = \"init\"\n/\\ tmPrepared = {r2}"];
+-3266916160254125099 -> 3172971834916019775 [label="TMAbort",color="black",fontcolor="black"];
+-3266916160254125099 -> 6712136178367711080 [label="RMPrepare",color="black",fontcolor="black"];
+-3266916160254125099 -> 3405055678155551368 [label="RMChooseToAbort",color="black",fontcolor="black"];
+-3353586712746109039 -> 995817220235718325 [label="RMRcvAbortMsg",color="black",fontcolor="black"];
+995817220235718325 [label="/\\ msgs = {[type |-> \"Abort\"], [type |-> \"Prepared\", rm |-> r1]}\n/\\ rmState = (r1 :> \"aborted\" @@ r2 :> \"working\")\n/\\ tmState = \"done\"\n/\\ tmPrepared = {}"];
+-3353586712746109039 -> 4577738685519531982 [label="RMPrepare",color="black",fontcolor="black"];
+4577738685519531982 [label="/\\ msgs = { [type |-> \"Abort\"],\n  [type |-> \"Prepared\", rm |-> r1],\n  [type |-> \"Prepared\", rm |-> r2] }\n/\\ rmState = (r1 :> \"prepared\" @@ r2 :> \"prepared\")\n/\\ tmState = \"done\"\n/\\ tmPrepared = {}"];
+-3353586712746109039 -> 5180866619290994105 [label="RMChooseToAbort",color="black",fontcolor="black"];
+5180866619290994105 [label="/\\ msgs = {[type |-> \"Abort\"], [type |-> \"Prepared\", rm |-> r1]}\n/\\ rmState = (r1 :> \"prepared\" @@ r2 :> \"aborted\")\n/\\ tmState = \"done\"\n/\\ tmPrepared = {}"];
+-3353586712746109039 -> 5180866619290994105 [label="RMRcvAbortMsg",color="black",fontcolor="black"];
+5148604066540496202 -> 5148604066540496202 [label="RMRcvAbortMsg",color="black",fontcolor="black"];
+5148604066540496202 -> 9117590341222848679 [label="RMPrepare",color="black",fontcolor="black"];
+9117590341222848679 [label="/\\ msgs = {[type |-> \"Abort\"], [type |-> \"Prepared\", rm |-> r2]}\n/\\ rmState = (r1 :> \"aborted\" @@ r2 :> \"prepared\")\n/\\ tmState = \"done\"\n/\\ tmPrepared = {}"];
+5148604066540496202 -> -3323643313620273310 [label="RMChooseToAbort",color="black",fontcolor="black"];
+-3323643313620273310 [label="/\\ msgs = {[type |-> \"Abort\"]}\n/\\ rmState = (r1 :> \"aborted\" @@ r2 :> \"aborted\")\n/\\ tmState = \"done\"\n/\\ tmPrepared = {}"];
+5148604066540496202 -> -3323643313620273310 [label="RMRcvAbortMsg",color="black",fontcolor="black"];
+-2871928633454484414 -> 4577738685519531982 [label="RMPrepare",color="black",fontcolor="black"];
+-2871928633454484414 -> 9117590341222848679 [label="RMChooseToAbort",color="black",fontcolor="black"];
+-2871928633454484414 -> 9117590341222848679 [label="RMRcvAbortMsg",color="black",fontcolor="black"];
+-2871928633454484414 -> 140073276650776553 [label="RMRcvAbortMsg",color="black",fontcolor="black"];
+140073276650776553 [label="/\\ msgs = {[type |-> \"Abort\"], [type |-> \"Prepared\", rm |-> r2]}\n/\\ rmState = (r1 :> \"working\" @@ r2 :> \"aborted\")\n/\\ tmState = \"done\"\n/\\ tmPrepared = {}"];
+3172971834916019775 -> 5180866619290994105 [label="RMPrepare",color="black",fontcolor="black"];
+3172971834916019775 -> -3323643313620273310 [label="RMChooseToAbort",color="black",fontcolor="black"];
+3172971834916019775 -> -3323643313620273310 [label="RMRcvAbortMsg",color="black",fontcolor="black"];
+3172971834916019775 -> 3172971834916019775 [label="RMRcvAbortMsg",color="black",fontcolor="black"];
+-1498786595780378171 -> 8615907552963342829 [label="TMCommit",color="black",fontcolor="black"];
+8615907552963342829 [label="/\\ msgs = {[type |-> \"Commit\"], [type |-> \"Prepared\", rm |-> r1]}\n/\\ rmState = (r1 :> \"prepared\" @@ r2 :> \"working\")\n/\\ tmState = \"done\"\n/\\ tmPrepared = {r1}"];
+-1498786595780378171 -> 4178038672330679767 [label="TMAbort",color="black",fontcolor="black"];
+4178038672330679767 [label="/\\ msgs = {[type |-> \"Abort\"], [type |-> \"Prepared\", rm |-> r1]}\n/\\ rmState = (r1 :> \"prepared\" @@ r2 :> \"working\")\n/\\ tmState = \"done\"\n/\\ tmPrepared = {r1}"];
+-1498786595780378171 -> -1498786595780378171 [label="TMRcvPrepared",color="black",fontcolor="black"];
+-1498786595780378171 -> -6022001946906709260 [label="RMPrepare",color="black",fontcolor="black"];
+-6022001946906709260 [label="/\\ msgs = {[type |-> \"Prepared\", rm |-> r1], [type |-> \"Prepared\", rm |-> r2]}\n/\\ rmState = (r1 :> \"prepared\" @@ r2 :> \"prepared\")\n/\\ tmState = \"init\"\n/\\ tmPrepared = {r1}"];
+-1498786595780378171 -> 528413848670827053 [label="RMChooseToAbort",color="black",fontcolor="black"];
+528413848670827053 [label="/\\ msgs = {[type |-> \"Prepared\", rm |-> r1]}\n/\\ rmState = (r1 :> \"prepared\" @@ r2 :> \"aborted\")\n/\\ tmState = \"init\"\n/\\ tmPrepared = {r1}"];
+4459077790752584895 -> 4577738685519531982 [label="TMAbort",color="black",fontcolor="black"];
+4459077790752584895 -> -6022001946906709260 [label="TMRcvPrepared",color="black",fontcolor="black"];
+4459077790752584895 -> -4095325764067453532 [label="TMRcvPrepared",color="black",fontcolor="black"];
+-4095325764067453532 [label="/\\ msgs = {[type |-> \"Prepared\", rm |-> r1], [type |-> \"Prepared\", rm |-> r2]}\n/\\ rmState = (r1 :> \"prepared\" @@ r2 :> \"prepared\")\n/\\ tmState = \"init\"\n/\\ tmPrepared = {r2}"];
+6712136178367711080 -> 5180866619290994105 [label="TMAbort",color="black",fontcolor="black"];
+6712136178367711080 -> 528413848670827053 [label="TMRcvPrepared",color="black",fontcolor="black"];
+7226129972710988406 -> 9117590341222848679 [label="TMAbort",color="black",fontcolor="black"];
+7226129972710988406 -> 1713600624476647867 [label="TMRcvPrepared",color="black",fontcolor="black"];
+1713600624476647867 [label="/\\ msgs = {[type |-> \"Prepared\", rm |-> r2]}\n/\\ rmState = (r1 :> \"aborted\" @@ r2 :> \"prepared\")\n/\\ tmState = \"init\"\n/\\ tmPrepared = {r2}"];
+3405055678155551368 -> -3323643313620273310 [label="TMAbort",color="black",fontcolor="black"];
+1392302299744213519 -> -8074791002043422169 [label="TMCommit",color="black",fontcolor="black"];
+-8074791002043422169 [label="/\\ msgs = {[type |-> \"Commit\"], [type |-> \"Prepared\", rm |-> r2]}\n/\\ rmState = (r1 :> \"working\" @@ r2 :> \"prepared\")\n/\\ tmState = \"done\"\n/\\ tmPrepared = {r2}"];
+1392302299744213519 -> -4496230623629853155 [label="TMAbort",color="black",fontcolor="black"];
+-4496230623629853155 [label="/\\ msgs = {[type |-> \"Abort\"], [type |-> \"Prepared\", rm |-> r2]}\n/\\ rmState = (r1 :> \"working\" @@ r2 :> \"prepared\")\n/\\ tmState = \"done\"\n/\\ tmPrepared = {r2}"];
+1392302299744213519 -> -4095325764067453532 [label="RMPrepare",color="black",fontcolor="black"];
+1392302299744213519 -> 1713600624476647867 [label="RMChooseToAbort",color="black",fontcolor="black"];
+1392302299744213519 -> 1392302299744213519 [label="TMRcvPrepared",color="black",fontcolor="black"];
+995817220235718325 -> 995817220235718325 [label="RMRcvAbortMsg",color="black",fontcolor="black"];
+995817220235718325 -> 3028645879031434263 [label="RMPrepare",color="black",fontcolor="black"];
+3028645879031434263 [label="/\\ msgs = { [type |-> \"Abort\"],\n  [type |-> \"Prepared\", rm |-> r1],\n  [type |-> \"Prepared\", rm |-> r2] }\n/\\ rmState = (r1 :> \"aborted\" @@ r2 :> \"prepared\")\n/\\ tmState = \"done\"\n/\\ tmPrepared = {}"];
+995817220235718325 -> -7259149047543006051 [label="RMChooseToAbort",color="black",fontcolor="black"];
+-7259149047543006051 [label="/\\ msgs = {[type |-> \"Abort\"], [type |-> \"Prepared\", rm |-> r1]}\n/\\ rmState = (r1 :> \"aborted\" @@ r2 :> \"aborted\")\n/\\ tmState = \"done\"\n/\\ tmPrepared = {}"];
+995817220235718325 -> -7259149047543006051 [label="RMRcvAbortMsg",color="black",fontcolor="black"];
+4577738685519531982 -> 3028645879031434263 [label="RMRcvAbortMsg",color="black",fontcolor="black"];
+4577738685519531982 -> 7514770612185227676 [label="RMRcvAbortMsg",color="black",fontcolor="black"];
+7514770612185227676 [label="/\\ msgs = { [type |-> \"Abort\"],\n  [type |-> \"Prepared\", rm |-> r1],\n  [type |-> \"Prepared\", rm |-> r2] }\n/\\ rmState = (r1 :> \"prepared\" @@ r2 :> \"aborted\")\n/\\ tmState = \"done\"\n/\\ tmPrepared = {}"];
+5180866619290994105 -> -7259149047543006051 [label="RMRcvAbortMsg",color="black",fontcolor="black"];
+5180866619290994105 -> 5180866619290994105 [label="RMRcvAbortMsg",color="black",fontcolor="black"];
+9117590341222848679 -> 9117590341222848679 [label="RMRcvAbortMsg",color="black",fontcolor="black"];
+9117590341222848679 -> -281185866544984396 [label="RMRcvAbortMsg",color="black",fontcolor="black"];
+-281185866544984396 [label="/\\ msgs = {[type |-> \"Abort\"], [type |-> \"Prepared\", rm |-> r2]}\n/\\ rmState = (r1 :> \"aborted\" @@ r2 :> \"aborted\")\n/\\ tmState = \"done\"\n/\\ tmPrepared = {}"];
+-3323643313620273310 -> -3323643313620273310 [label="RMRcvAbortMsg",color="black",fontcolor="black"];
+-3323643313620273310 -> -3323643313620273310 [label="RMRcvAbortMsg",color="black",fontcolor="black"];
+140073276650776553 -> 7514770612185227676 [label="RMPrepare",color="black",fontcolor="black"];
+140073276650776553 -> -281185866544984396 [label="RMChooseToAbort",color="black",fontcolor="black"];
+140073276650776553 -> -281185866544984396 [label="RMRcvAbortMsg",color="black",fontcolor="black"];
+140073276650776553 -> 140073276650776553 [label="RMRcvAbortMsg",color="black",fontcolor="black"];
+8615907552963342829 -> 3317814442434406212 [label="RMRcvCommitMsg",color="black",fontcolor="black"];
+3317814442434406212 [label="/\\ msgs = {[type |-> \"Commit\"], [type |-> \"Prepared\", rm |-> r1]}\n/\\ rmState = (r1 :> \"committed\" @@ r2 :> \"working\")\n/\\ tmState = \"done\"\n/\\ tmPrepared = {r1}"];
+8615907552963342829 -> -680003029771593845 [label="RMPrepare",color="black",fontcolor="black"];
+-680003029771593845 [label="/\\ msgs = { [type |-> \"Commit\"],\n  [type |-> \"Prepared\", rm |-> r1],\n  [type |-> \"Prepared\", rm |-> r2] }\n/\\ rmState = (r1 :> \"prepared\" @@ r2 :> \"prepared\")\n/\\ tmState = \"done\"\n/\\ tmPrepared = {r1}"];
+8615907552963342829 -> -7208105394320506363 [label="RMChooseToAbort",color="black",fontcolor="black"];
+-7208105394320506363 [label="/\\ msgs = {[type |-> \"Commit\"], [type |-> \"Prepared\", rm |-> r1]}\n/\\ rmState = (r1 :> \"prepared\" @@ r2 :> \"aborted\")\n/\\ tmState = \"done\"\n/\\ tmPrepared = {r1}"];
+8615907552963342829 -> -4737524139933254231 [label="RMRcvCommitMsg",color="black",fontcolor="black"];
+-4737524139933254231 [label="/\\ msgs = {[type |-> \"Commit\"], [type |-> \"Prepared\", rm |-> r1]}\n/\\ rmState = (r1 :> \"prepared\" @@ r2 :> \"committed\")\n/\\ tmState = \"done\"\n/\\ tmPrepared = {r1}"];
+4178038672330679767 -> -5522378637784329167 [label="RMRcvAbortMsg",color="black",fontcolor="black"];
+-5522378637784329167 [label="/\\ msgs = {[type |-> \"Abort\"], [type |-> \"Prepared\", rm |-> r1]}\n/\\ rmState = (r1 :> \"aborted\" @@ r2 :> \"working\")\n/\\ tmState = \"done\"\n/\\ tmPrepared = {r1}"];
+4178038672330679767 -> -1735660655270776399 [label="RMPrepare",color="black",fontcolor="black"];
+-1735660655270776399 [label="/\\ msgs = { [type |-> \"Abort\"],\n  [type |-> \"Prepared\", rm |-> r1],\n  [type |-> \"Prepared\", rm |-> r2] }\n/\\ rmState = (r1 :> \"prepared\" @@ r2 :> \"prepared\")\n/\\ tmState = \"done\"\n/\\ tmPrepared = {r1}"];
+4178038672330679767 -> -3054267268464486849 [label="RMChooseToAbort",color="black",fontcolor="black"];
+-3054267268464486849 [label="/\\ msgs = {[type |-> \"Abort\"], [type |-> \"Prepared\", rm |-> r1]}\n/\\ rmState = (r1 :> \"prepared\" @@ r2 :> \"aborted\")\n/\\ tmState = \"done\"\n/\\ tmPrepared = {r1}"];
+4178038672330679767 -> -3054267268464486849 [label="RMRcvAbortMsg",color="black",fontcolor="black"];
+-6022001946906709260 -> -680003029771593845 [label="TMCommit",color="black",fontcolor="black"];
+-6022001946906709260 -> -1735660655270776399 [label="TMAbort",color="black",fontcolor="black"];
+-6022001946906709260 -> -6022001946906709260 [label="TMRcvPrepared",color="black",fontcolor="black"];
+-6022001946906709260 -> -6289860306951990856 [label="TMRcvPrepared",color="black",fontcolor="black"];
+-6289860306951990856 [label="/\\ msgs = {[type |-> \"Prepared\", rm |-> r1], [type |-> \"Prepared\", rm |-> r2]}\n/\\ rmState = (r1 :> \"prepared\" @@ r2 :> \"prepared\")\n/\\ tmState = \"init\"\n/\\ tmPrepared = {r1, r2}"];
+528413848670827053 -> -7208105394320506363 [label="TMCommit",color="black",fontcolor="black"];
+528413848670827053 -> -3054267268464486849 [label="TMAbort",color="black",fontcolor="black"];
+528413848670827053 -> 528413848670827053 [label="TMRcvPrepared",color="black",fontcolor="black"];
+-4095325764067453532 -> -7072952623670923045 [label="TMCommit",color="black",fontcolor="black"];
+-7072952623670923045 [label="/\\ msgs = { [type |-> \"Commit\"],\n  [type |-> \"Prepared\", rm |-> r1],\n  [type |-> \"Prepared\", rm |-> r2] }\n/\\ rmState = (r1 :> \"prepared\" @@ r2 :> \"prepared\")\n/\\ tmState = \"done\"\n/\\ tmPrepared = {r2}"];
+-4095325764067453532 -> -8309627174040791327 [label="TMAbort",color="black",fontcolor="black"];
+-8309627174040791327 [label="/\\ msgs = { [type |-> \"Abort\"],\n  [type |-> \"Prepared\", rm |-> r1],\n  [type |-> \"Prepared\", rm |-> r2] }\n/\\ rmState = (r1 :> \"prepared\" @@ r2 :> \"prepared\")\n/\\ tmState = \"done\"\n/\\ tmPrepared = {r2}"];
+-4095325764067453532 -> -6289860306951990856 [label="TMRcvPrepared",color="black",fontcolor="black"];
+-4095325764067453532 -> -4095325764067453532 [label="TMRcvPrepared",color="black",fontcolor="black"];
+1713600624476647867 -> -8402299095715577453 [label="TMCommit",color="black",fontcolor="black"];
+-8402299095715577453 [label="/\\ msgs = {[type |-> \"Commit\"], [type |-> \"Prepared\", rm |-> r2]}\n/\\ rmState = (r1 :> \"aborted\" @@ r2 :> \"prepared\")\n/\\ tmState = \"done\"\n/\\ tmPrepared = {r2}"];
+1713600624476647867 -> -4246978899970828887 [label="TMAbort",color="black",fontcolor="black"];
+-4246978899970828887 [label="/\\ msgs = {[type |-> \"Abort\"], [type |-> \"Prepared\", rm |-> r2]}\n/\\ rmState = (r1 :> \"aborted\" @@ r2 :> \"prepared\")\n/\\ tmState = \"done\"\n/\\ tmPrepared = {r2}"];
+1713600624476647867 -> 1713600624476647867 [label="TMRcvPrepared",color="black",fontcolor="black"];
+-8074791002043422169 -> -7072952623670923045 [label="RMPrepare",color="black",fontcolor="black"];
+-8074791002043422169 -> -8402299095715577453 [label="RMChooseToAbort",color="black",fontcolor="black"];
+-8074791002043422169 -> 2492844483215034538 [label="RMRcvCommitMsg",color="black",fontcolor="black"];
+2492844483215034538 [label="/\\ msgs = {[type |-> \"Commit\"], [type |-> \"Prepared\", rm |-> r2]}\n/\\ rmState = (r1 :> \"committed\" @@ r2 :> \"prepared\")\n/\\ tmState = \"done\"\n/\\ tmPrepared = {r2}"];
+-8074791002043422169 -> -6268108482529641470 [label="RMRcvCommitMsg",color="black",fontcolor="black"];
+-6268108482529641470 [label="/\\ msgs = {[type |-> \"Commit\"], [type |-> \"Prepared\", rm |-> r2]}\n/\\ rmState = (r1 :> \"working\" @@ r2 :> \"committed\")\n/\\ tmState = \"done\"\n/\\ tmPrepared = {r2}"];
+-4496230623629853155 -> -8309627174040791327 [label="RMPrepare",color="black",fontcolor="black"];
+-4496230623629853155 -> -4246978899970828887 [label="RMChooseToAbort",color="black",fontcolor="black"];
+-4496230623629853155 -> -4246978899970828887 [label="RMRcvAbortMsg",color="black",fontcolor="black"];
+-4496230623629853155 -> 6773977708903082388 [label="RMRcvAbortMsg",color="black",fontcolor="black"];
+6773977708903082388 [label="/\\ msgs = {[type |-> \"Abort\"], [type |-> \"Prepared\", rm |-> r2]}\n/\\ rmState = (r1 :> \"working\" @@ r2 :> \"aborted\")\n/\\ tmState = \"done\"\n/\\ tmPrepared = {r2}"];
+3028645879031434263 -> 3028645879031434263 [label="RMRcvAbortMsg",color="black",fontcolor="black"];
+3028645879031434263 -> 2632673467558701583 [label="RMRcvAbortMsg",color="black",fontcolor="black"];
+2632673467558701583 [label="/\\ msgs = { [type |-> \"Abort\"],\n  [type |-> \"Prepared\", rm |-> r1],\n  [type |-> \"Prepared\", rm |-> r2] }\n/\\ rmState = (r1 :> \"aborted\" @@ r2 :> \"aborted\")\n/\\ tmState = \"done\"\n/\\ tmPrepared = {}"];
+-7259149047543006051 -> -7259149047543006051 [label="RMRcvAbortMsg",color="black",fontcolor="black"];
+-7259149047543006051 -> -7259149047543006051 [label="RMRcvAbortMsg",color="black",fontcolor="black"];
+7514770612185227676 -> 2632673467558701583 [label="RMRcvAbortMsg",color="black",fontcolor="black"];
+7514770612185227676 -> 7514770612185227676 [label="RMRcvAbortMsg",color="black",fontcolor="black"];
+-281185866544984396 -> -281185866544984396 [label="RMRcvAbortMsg",color="black",fontcolor="black"];
+-281185866544984396 -> -281185866544984396 [label="RMRcvAbortMsg",color="black",fontcolor="black"];
+3317814442434406212 -> 3317814442434406212 [label="RMRcvCommitMsg",color="black",fontcolor="black"];
+3317814442434406212 -> 7486638176184900227 [label="RMPrepare",color="black",fontcolor="black"];
+7486638176184900227 [label="/\\ msgs = { [type |-> \"Commit\"],\n  [type |-> \"Prepared\", rm |-> r1],\n  [type |-> \"Prepared\", rm |-> r2] }\n/\\ rmState = (r1 :> \"committed\" @@ r2 :> \"prepared\")\n/\\ tmState = \"done\"\n/\\ tmPrepared = {r1}"];
+3317814442434406212 -> -4436803503226514260 [label="RMChooseToAbort",color="black",fontcolor="black"];
+-4436803503226514260 [label="/\\ msgs = {[type |-> \"Commit\"], [type |-> \"Prepared\", rm |-> r1]}\n/\\ rmState = (r1 :> \"committed\" @@ r2 :> \"aborted\")\n/\\ tmState = \"done\"\n/\\ tmPrepared = {r1}"];
+3317814442434406212 -> -1773221422544445590 [label="RMRcvCommitMsg",color="black",fontcolor="black"];
+-1773221422544445590 [label="/\\ msgs = {[type |-> \"Commit\"], [type |-> \"Prepared\", rm |-> r1]}\n/\\ rmState = (r1 :> \"committed\" @@ r2 :> \"committed\")\n/\\ tmState = \"done\"\n/\\ tmPrepared = {r1}"];
+-680003029771593845 -> 7486638176184900227 [label="RMRcvCommitMsg",color="black",fontcolor="black"];
+-680003029771593845 -> 8835701615034045008 [label="RMRcvCommitMsg",color="black",fontcolor="black"];
+8835701615034045008 [label="/\\ msgs = { [type |-> \"Commit\"],\n  [type |-> \"Prepared\", rm |-> r1],\n  [type |-> \"Prepared\", rm |-> r2] }\n/\\ rmState = (r1 :> \"prepared\" @@ r2 :> \"committed\")\n/\\ tmState = \"done\"\n/\\ tmPrepared = {r1}"];
+-7208105394320506363 -> -4436803503226514260 [label="RMRcvCommitMsg",color="black",fontcolor="black"];
+-7208105394320506363 -> -4737524139933254231 [label="RMRcvCommitMsg",color="black",fontcolor="black"];
+-4737524139933254231 -> -1773221422544445590 [label="RMRcvCommitMsg",color="black",fontcolor="black"];
+-4737524139933254231 -> -4737524139933254231 [label="RMRcvCommitMsg",color="black",fontcolor="black"];
+-5522378637784329167 -> -5522378637784329167 [label="RMRcvAbortMsg",color="black",fontcolor="black"];
+-5522378637784329167 -> -5756260594875515103 [label="RMPrepare",color="black",fontcolor="black"];
+-5756260594875515103 [label="/\\ msgs = { [type |-> \"Abort\"],\n  [type |-> \"Prepared\", rm |-> r1],\n  [type |-> \"Prepared\", rm |-> r2] }\n/\\ rmState = (r1 :> \"aborted\" @@ r2 :> \"prepared\")\n/\\ tmState = \"done\"\n/\\ tmPrepared = {r1}"];
+-5522378637784329167 -> 6862045420200650713 [label="RMChooseToAbort",color="black",fontcolor="black"];
+6862045420200650713 [label="/\\ msgs = {[type |-> \"Abort\"], [type |-> \"Prepared\", rm |-> r1]}\n/\\ rmState = (r1 :> \"aborted\" @@ r2 :> \"aborted\")\n/\\ tmState = \"done\"\n/\\ tmPrepared = {r1}"];
+-5522378637784329167 -> 6862045420200650713 [label="RMRcvAbortMsg",color="black",fontcolor="black"];
+-1735660655270776399 -> -5756260594875515103 [label="RMRcvAbortMsg",color="black",fontcolor="black"];
+-1735660655270776399 -> 2444426952601451165 [label="RMRcvAbortMsg",color="black",fontcolor="black"];
+2444426952601451165 [label="/\\ msgs = { [type |-> \"Abort\"],\n  [type |-> \"Prepared\", rm |-> r1],\n  [type |-> \"Prepared\", rm |-> r2] }\n/\\ rmState = (r1 :> \"prepared\" @@ r2 :> \"aborted\")\n/\\ tmState = \"done\"\n/\\ tmPrepared = {r1}"];
+-3054267268464486849 -> 6862045420200650713 [label="RMRcvAbortMsg",color="black",fontcolor="black"];
+-3054267268464486849 -> -3054267268464486849 [label="RMRcvAbortMsg",color="black",fontcolor="black"];
+-6289860306951990856 -> -5214221702498552937 [label="TMCommit",color="black",fontcolor="black"];
+-5214221702498552937 [label="/\\ msgs = { [type |-> \"Commit\"],\n  [type |-> \"Prepared\", rm |-> r1],\n  [type |-> \"Prepared\", rm |-> r2] }\n/\\ rmState = (r1 :> \"prepared\" @@ r2 :> \"prepared\")\n/\\ tmState = \"done\"\n/\\ tmPrepared = {r1, r2}"];
+-6289860306951990856 -> 3003305995859861544 [label="TMAbort",color="black",fontcolor="black"];
+3003305995859861544 [label="/\\ msgs = { [type |-> \"Abort\"],\n  [type |-> \"Prepared\", rm |-> r1],\n  [type |-> \"Prepared\", rm |-> r2] }\n/\\ rmState = (r1 :> \"prepared\" @@ r2 :> \"prepared\")\n/\\ tmState = \"done\"\n/\\ tmPrepared = {r1, r2}"];
+-6289860306951990856 -> -6289860306951990856 [label="TMRcvPrepared",color="black",fontcolor="black"];
+-6289860306951990856 -> -6289860306951990856 [label="TMRcvPrepared",color="black",fontcolor="black"];
+-7072952623670923045 -> 910314305307164115 [label="RMRcvCommitMsg",color="black",fontcolor="black"];
+910314305307164115 [label="/\\ msgs = { [type |-> \"Commit\"],\n  [type |-> \"Prepared\", rm |-> r1],\n  [type |-> \"Prepared\", rm |-> r2] }\n/\\ rmState = (r1 :> \"committed\" @@ r2 :> \"prepared\")\n/\\ tmState = \"done\"\n/\\ tmPrepared = {r2}"];
+-7072952623670923045 -> 1286129566692685056 [label="RMRcvCommitMsg",color="black",fontcolor="black"];
+1286129566692685056 [label="/\\ msgs = { [type |-> \"Commit\"],\n  [type |-> \"Prepared\", rm |-> r1],\n  [type |-> \"Prepared\", rm |-> r2] }\n/\\ rmState = (r1 :> \"prepared\" @@ r2 :> \"committed\")\n/\\ tmState = \"done\"\n/\\ tmPrepared = {r2}"];
+-8309627174040791327 -> -2640709495940540303 [label="RMRcvAbortMsg",color="black",fontcolor="black"];
+-2640709495940540303 [label="/\\ msgs = { [type |-> \"Abort\"],\n  [type |-> \"Prepared\", rm |-> r1],\n  [type |-> \"Prepared\", rm |-> r2] }\n/\\ rmState = (r1 :> \"aborted\" @@ r2 :> \"prepared\")\n/\\ tmState = \"done\"\n/\\ tmPrepared = {r2}"];
+-8309627174040791327 -> 5380586131603070413 [label="RMRcvAbortMsg",color="black",fontcolor="black"];
+5380586131603070413 [label="/\\ msgs = { [type |-> \"Abort\"],\n  [type |-> \"Prepared\", rm |-> r1],\n  [type |-> \"Prepared\", rm |-> r2] }\n/\\ rmState = (r1 :> \"prepared\" @@ r2 :> \"aborted\")\n/\\ tmState = \"done\"\n/\\ tmPrepared = {r2}"];
+-8402299095715577453 -> 2492844483215034538 [label="RMRcvCommitMsg",color="black",fontcolor="black"];
+-8402299095715577453 -> -5940522976099766721 [label="RMRcvCommitMsg",color="black",fontcolor="black"];
+-5940522976099766721 [label="/\\ msgs = {[type |-> \"Commit\"], [type |-> \"Prepared\", rm |-> r2]}\n/\\ rmState = (r1 :> \"aborted\" @@ r2 :> \"committed\")\n/\\ tmState = \"done\"\n/\\ tmPrepared = {r2}"];
+-4246978899970828887 -> -4246978899970828887 [label="RMRcvAbortMsg",color="black",fontcolor="black"];
+-4246978899970828887 -> 4844718053021928224 [label="RMRcvAbortMsg",color="black",fontcolor="black"];
+4844718053021928224 [label="/\\ msgs = {[type |-> \"Abort\"], [type |-> \"Prepared\", rm |-> r2]}\n/\\ rmState = (r1 :> \"aborted\" @@ r2 :> \"aborted\")\n/\\ tmState = \"done\"\n/\\ tmPrepared = {r2}"];
+2492844483215034538 -> 2492844483215034538 [label="RMRcvCommitMsg",color="black",fontcolor="black"];
+2492844483215034538 -> 2152100462173034614 [label="RMRcvCommitMsg",color="black",fontcolor="black"];
+2152100462173034614 [label="/\\ msgs = {[type |-> \"Commit\"], [type |-> \"Prepared\", rm |-> r2]}\n/\\ rmState = (r1 :> \"committed\" @@ r2 :> \"committed\")\n/\\ tmState = \"done\"\n/\\ tmPrepared = {r2}"];
+-6268108482529641470 -> 1286129566692685056 [label="RMPrepare",color="black",fontcolor="black"];
+-6268108482529641470 -> -5940522976099766721 [label="RMChooseToAbort",color="black",fontcolor="black"];
+-6268108482529641470 -> 2152100462173034614 [label="RMRcvCommitMsg",color="black",fontcolor="black"];
+-6268108482529641470 -> -6268108482529641470 [label="RMRcvCommitMsg",color="black",fontcolor="black"];
+6773977708903082388 -> 5380586131603070413 [label="RMPrepare",color="black",fontcolor="black"];
+6773977708903082388 -> 4844718053021928224 [label="RMChooseToAbort",color="black",fontcolor="black"];
+6773977708903082388 -> 4844718053021928224 [label="RMRcvAbortMsg",color="black",fontcolor="black"];
+6773977708903082388 -> 6773977708903082388 [label="RMRcvAbortMsg",color="black",fontcolor="black"];
+2632673467558701583 -> 2632673467558701583 [label="RMRcvAbortMsg",color="black",fontcolor="black"];
+2632673467558701583 -> 2632673467558701583 [label="RMRcvAbortMsg",color="black",fontcolor="black"];
+7486638176184900227 -> 7486638176184900227 [label="RMRcvCommitMsg",color="black",fontcolor="black"];
+7486638176184900227 -> -8158981750997903432 [label="RMRcvCommitMsg",color="black",fontcolor="black"];
+-8158981750997903432 [label="/\\ msgs = { [type |-> \"Commit\"],\n  [type |-> \"Prepared\", rm |-> r1],\n  [type |-> \"Prepared\", rm |-> r2] }\n/\\ rmState = (r1 :> \"committed\" @@ r2 :> \"committed\")\n/\\ tmState = \"done\"\n/\\ tmPrepared = {r1}"];
+-4436803503226514260 -> -4436803503226514260 [label="RMRcvCommitMsg",color="black",fontcolor="black"];
+-4436803503226514260 -> -1773221422544445590 [label="RMRcvCommitMsg",color="black",fontcolor="black"];
+-1773221422544445590 -> -1773221422544445590 [label="RMRcvCommitMsg",color="black",fontcolor="black"];
+-1773221422544445590 -> -1773221422544445590 [label="RMRcvCommitMsg",color="black",fontcolor="black"];
+8835701615034045008 -> -8158981750997903432 [label="RMRcvCommitMsg",color="black",fontcolor="black"];
+8835701615034045008 -> 8835701615034045008 [label="RMRcvCommitMsg",color="black",fontcolor="black"];
+-5756260594875515103 -> -5756260594875515103 [label="RMRcvAbortMsg",color="black",fontcolor="black"];
+-5756260594875515103 -> -1961039620243595055 [label="RMRcvAbortMsg",color="black",fontcolor="black"];
+-1961039620243595055 [label="/\\ msgs = { [type |-> \"Abort\"],\n  [type |-> \"Prepared\", rm |-> r1],\n  [type |-> \"Prepared\", rm |-> r2] }\n/\\ rmState = (r1 :> \"aborted\" @@ r2 :> \"aborted\")\n/\\ tmState = \"done\"\n/\\ tmPrepared = {r1}"];
+6862045420200650713 -> 6862045420200650713 [label="RMRcvAbortMsg",color="black",fontcolor="black"];
+6862045420200650713 -> 6862045420200650713 [label="RMRcvAbortMsg",color="black",fontcolor="black"];
+2444426952601451165 -> -1961039620243595055 [label="RMRcvAbortMsg",color="black",fontcolor="black"];
+2444426952601451165 -> 2444426952601451165 [label="RMRcvAbortMsg",color="black",fontcolor="black"];
+-5214221702498552937 -> 6824113076856354111 [label="RMRcvCommitMsg",color="black",fontcolor="black"];
+6824113076856354111 [label="/\\ msgs = { [type |-> \"Commit\"],\n  [type |-> \"Prepared\", rm |-> r1],\n  [type |-> \"Prepared\", rm |-> r2] }\n/\\ rmState = (r1 :> \"committed\" @@ r2 :> \"prepared\")\n/\\ tmState = \"done\"\n/\\ tmPrepared = {r1, r2}"];
+-5214221702498552937 -> -1958990345406578370 [label="RMRcvCommitMsg",color="black",fontcolor="black"];
+-1958990345406578370 [label="/\\ msgs = { [type |-> \"Commit\"],\n  [type |-> \"Prepared\", rm |-> r1],\n  [type |-> \"Prepared\", rm |-> r2] }\n/\\ rmState = (r1 :> \"prepared\" @@ r2 :> \"committed\")\n/\\ tmState = \"done\"\n/\\ tmPrepared = {r1, r2}"];
+3003305995859861544 -> -5605248127143904954 [label="RMRcvAbortMsg",color="black",fontcolor="black"];
+-5605248127143904954 [label="/\\ msgs = { [type |-> \"Abort\"],\n  [type |-> \"Prepared\", rm |-> r1],\n  [type |-> \"Prepared\", rm |-> r2] }\n/\\ rmState = (r1 :> \"aborted\" @@ r2 :> \"prepared\")\n/\\ tmState = \"done\"\n/\\ tmPrepared = {r1, r2}"];
+3003305995859861544 -> -4479415686071289335 [label="RMRcvAbortMsg",color="black",fontcolor="black"];
+-4479415686071289335 [label="/\\ msgs = { [type |-> \"Abort\"],\n  [type |-> \"Prepared\", rm |-> r1],\n  [type |-> \"Prepared\", rm |-> r2] }\n/\\ rmState = (r1 :> \"prepared\" @@ r2 :> \"aborted\")\n/\\ tmState = \"done\"\n/\\ tmPrepared = {r1, r2}"];
+910314305307164115 -> 910314305307164115 [label="RMRcvCommitMsg",color="black",fontcolor="black"];
+910314305307164115 -> -1908806492890648344 [label="RMRcvCommitMsg",color="black",fontcolor="black"];
+-1908806492890648344 [label="/\\ msgs = { [type |-> \"Commit\"],\n  [type |-> \"Prepared\", rm |-> r1],\n  [type |-> \"Prepared\", rm |-> r2] }\n/\\ rmState = (r1 :> \"committed\" @@ r2 :> \"committed\")\n/\\ tmState = \"done\"\n/\\ tmPrepared = {r2}"];
+1286129566692685056 -> -1908806492890648344 [label="RMRcvCommitMsg",color="black",fontcolor="black"];
+1286129566692685056 -> 1286129566692685056 [label="RMRcvCommitMsg",color="black",fontcolor="black"];
+-2640709495940540303 -> -2640709495940540303 [label="RMRcvAbortMsg",color="black",fontcolor="black"];
+-2640709495940540303 -> -8102245032674539647 [label="RMRcvAbortMsg",color="black",fontcolor="black"];
+-8102245032674539647 [label="/\\ msgs = { [type |-> \"Abort\"],\n  [type |-> \"Prepared\", rm |-> r1],\n  [type |-> \"Prepared\", rm |-> r2] }\n/\\ rmState = (r1 :> \"aborted\" @@ r2 :> \"aborted\")\n/\\ tmState = \"done\"\n/\\ tmPrepared = {r2}"];
+5380586131603070413 -> -8102245032674539647 [label="RMRcvAbortMsg",color="black",fontcolor="black"];
+5380586131603070413 -> 5380586131603070413 [label="RMRcvAbortMsg",color="black",fontcolor="black"];
+-5940522976099766721 -> 2152100462173034614 [label="RMRcvCommitMsg",color="black",fontcolor="black"];
+-5940522976099766721 -> -5940522976099766721 [label="RMRcvCommitMsg",color="black",fontcolor="black"];
+4844718053021928224 -> 4844718053021928224 [label="RMRcvAbortMsg",color="black",fontcolor="black"];
+4844718053021928224 -> 4844718053021928224 [label="RMRcvAbortMsg",color="black",fontcolor="black"];
+2152100462173034614 -> 2152100462173034614 [label="RMRcvCommitMsg",color="black",fontcolor="black"];
+2152100462173034614 -> 2152100462173034614 [label="RMRcvCommitMsg",color="black",fontcolor="black"];
+-8158981750997903432 -> -8158981750997903432 [label="RMRcvCommitMsg",color="black",fontcolor="black"];
+-8158981750997903432 -> -8158981750997903432 [label="RMRcvCommitMsg",color="black",fontcolor="black"];
+-1961039620243595055 -> -1961039620243595055 [label="RMRcvAbortMsg",color="black",fontcolor="black"];
+-1961039620243595055 -> -1961039620243595055 [label="RMRcvAbortMsg",color="black",fontcolor="black"];
+6824113076856354111 -> 6824113076856354111 [label="RMRcvCommitMsg",color="black",fontcolor="black"];
+6824113076856354111 -> 3798450493651149608 [label="RMRcvCommitMsg",color="black",fontcolor="black"];
+3798450493651149608 [label="/\\ msgs = { [type |-> \"Commit\"],\n  [type |-> \"Prepared\", rm |-> r1],\n  [type |-> \"Prepared\", rm |-> r2] }\n/\\ rmState = (r1 :> \"committed\" @@ r2 :> \"committed\")\n/\\ tmState = \"done\"\n/\\ tmPrepared = {r1, r2}"];
+-1958990345406578370 -> 3798450493651149608 [label="RMRcvCommitMsg",color="black",fontcolor="black"];
+-1958990345406578370 -> -1958990345406578370 [label="RMRcvCommitMsg",color="black",fontcolor="black"];
+-5605248127143904954 -> -5605248127143904954 [label="RMRcvAbortMsg",color="black",fontcolor="black"];
+-5605248127143904954 -> 4158509710698869014 [label="RMRcvAbortMsg",color="black",fontcolor="black"];
+4158509710698869014 [label="/\\ msgs = { [type |-> \"Abort\"],\n  [type |-> \"Prepared\", rm |-> r1],\n  [type |-> \"Prepared\", rm |-> r2] }\n/\\ rmState = (r1 :> \"aborted\" @@ r2 :> \"aborted\")\n/\\ tmState = \"done\"\n/\\ tmPrepared = {r1, r2}"];
+-4479415686071289335 -> 4158509710698869014 [label="RMRcvAbortMsg",color="black",fontcolor="black"];
+-4479415686071289335 -> -4479415686071289335 [label="RMRcvAbortMsg",color="black",fontcolor="black"];
+-1908806492890648344 -> -1908806492890648344 [label="RMRcvCommitMsg",color="black",fontcolor="black"];
+-1908806492890648344 -> -1908806492890648344 [label="RMRcvCommitMsg",color="black",fontcolor="black"];
+-8102245032674539647 -> -8102245032674539647 [label="RMRcvAbortMsg",color="black",fontcolor="black"];
+-8102245032674539647 -> -8102245032674539647 [label="RMRcvAbortMsg",color="black",fontcolor="black"];
+3798450493651149608 -> 3798450493651149608 [label="RMRcvCommitMsg",color="black",fontcolor="black"];
+3798450493651149608 -> 3798450493651149608 [label="RMRcvCommitMsg",color="black",fontcolor="black"];
+4158509710698869014 -> 4158509710698869014 [label="RMRcvAbortMsg",color="black",fontcolor="black"];
+4158509710698869014 -> 4158509710698869014 [label="RMRcvAbortMsg",color="black",fontcolor="black"];
+{rank = same; 4916273919760615933;}
+{rank = same; -4403197823297837421;-5000366642371916777;-3266916160254125099;-3767889665157278400;-5056777106408873824;}
+{rank = same; 5148604066540496202;6712136178367711080;3405055678155551368;-2871928633454484414;3172971834916019775;-1498786595780378171;4459077790752584895;1392302299744213519;-3353586712746109039;7226129972710988406;}
+{rank = same; -8074791002043422169;995817220235718325;8615907552963342829;-4095325764067453532;5180866619290994105;4577738685519531982;-3323643313620273310;9117590341222848679;528413848670827053;-6022001946906709260;140073276650776553;4178038672330679767;-4496230623629853155;1713600624476647867;}
+{rank = same; -6289860306951990856;-8402299095715577453;7514770612185227676;-281185866544984396;-680003029771593845;-5522378637784329167;-3054267268464486849;-7259149047543006051;-8309627174040791327;3028645879031434263;3317814442434406212;-7072952623670923045;-7208105394320506363;6773977708903082388;2492844483215034538;-1735660655270776399;-4737524139933254231;-4246978899970828887;-6268108482529641470;}
+{rank = same; -4436803503226514260;-5940522976099766721;7486638176184900227;3003305995859861544;1286129566692685056;-2640709495940540303;5380586131603070413;-1773221422544445590;910314305307164115;8835701615034045008;4844718053021928224;6862045420200650713;-5214221702498552937;2632673467558701583;2152100462173034614;-5756260594875515103;2444426952601451165;}
+{rank = same; 6824113076856354111;-1958990345406578370;-1961039620243595055;-1908806492890648344;-8158981750997903432;-4479415686071289335;-8102245032674539647;-5605248127143904954;}
+{rank = same; 4158509710698869014;3798450493651149608;}
+}
+}

package/pstack/skills/statechart/scripts/test/corpus/TwoPhase/report.md

@@ -0,0 +1,20 @@
+# TwoPhase
+
+TLC reached 76 states and 192 steps. The chart draws 10 states and 16 arrows.
+The chart does not draw 59 steps that stay in one chart state.
+The step RMPrepare changes only one of r1 and r2 at a time.
+The step RMChooseToAbort changes only one of r1 and r2 at a time.
+The step RMRcvAbortMsg changes only one of r1 and r2 at a time.
+The step RMRcvCommitMsg changes only one of r1 and r2 at a time.
+
+## TCConsistent breaks
+The shortest path has 5 steps:
+0. Manager init, r1 working, r2 working
+1. RMChooseToAbort: Manager init, r1 working, r2 aborted
+2. RMPrepare: Manager init, r1 prepared, r2 aborted
+3. TMRcvPrepared: Manager init, r1 prepared, r2 aborted
+4. TMCommit: Manager done, r1 prepared, r2 aborted
+5. RMRcvCommitMsg: Manager done, r1 committed, r2 aborted
+
+## Rules that hold
+TPTypeOK, NoDeadlock