diff --git a/src/regression-tests/results/test-gui-Protocols-ISO-9798-iso25-tag.spdl --timer=60 --plain.time b/src/regression-tests/results/test-gui-Protocols-ISO-9798-iso25-tag.spdl --timer=60 --plain.time index 711e64e..a4bc84c 100644 --- a/src/regression-tests/results/test-gui-Protocols-ISO-9798-iso25-tag.spdl --timer=60 --plain.time +++ b/src/regression-tests/results/test-gui-Protocols-ISO-9798-iso25-tag.spdl --timer=60 --plain.time @@ -1,2 +1,2 @@ Passed wall time in seconds: -4 +2 diff --git a/src/regression-tests/results/test-gui-Protocols-ISO-9798-iso26-tag.spdl --timer=60 --plain.time b/src/regression-tests/results/test-gui-Protocols-ISO-9798-iso26-tag.spdl --timer=60 --plain.time index df42412..2dade80 100644 --- a/src/regression-tests/results/test-gui-Protocols-ISO-9798-iso26-tag.spdl --timer=60 --plain.time +++ b/src/regression-tests/results/test-gui-Protocols-ISO-9798-iso26-tag.spdl --timer=60 --plain.time @@ -1,2 +1,2 @@ Passed wall time in seconds: -35 +22 diff --git a/src/regression-tests/results/test-gui-Protocols-ISO-9798-isoiec-9798-2-5.spdl --timer=60 --plain.out b/src/regression-tests/results/test-gui-Protocols-ISO-9798-isoiec-9798-2-5.spdl --timer=60 --plain.out index 69b82f2..d21b6f8 100644 --- a/src/regression-tests/results/test-gui-Protocols-ISO-9798-isoiec-9798-2-5.spdl --timer=60 --plain.out +++ b/src/regression-tests/results/test-gui-Protocols-ISO-9798-isoiec-9798-2-5.spdl --timer=60 --plain.out @@ -6,7 +6,7 @@ claim isoiec-9798-2-5,A Alive_A6 - Fail [at least 3 attacks] claim isoiec-9798-2-5,A Weakagree_A7 - Fail [at least 3 attacks] claim isoiec-9798-2-5,B Commit_B2 (A,Kab,Text5) Fail [at least 5 attacks] claim isoiec-9798-2-5,B Secret_B3 Kab Ok [no attack within bounds] -claim isoiec-9798-2-5,B Secret_B4 Text5 Ok [no attack within bounds] time=60 -claim isoiec-9798-2-5,B Secret_B5 Text7 Ok [no attack within bounds] time=60 -claim isoiec-9798-2-5,B Alive_B6 - Ok [does not occur] time=60 -claim isoiec-9798-2-5,B Weakagree_B7 - Ok [does not occur] time=60 +claim isoiec-9798-2-5,B Secret_B4 Text5 Ok [no attack within bounds] +claim isoiec-9798-2-5,B Secret_B5 Text7 Ok [no attack within bounds] +claim isoiec-9798-2-5,B Alive_B6 - Fail [at least 3 attacks] +claim isoiec-9798-2-5,B Weakagree_B7 - Fail [at least 2 attacks] diff --git a/src/regression-tests/results/test-gui-Protocols-ISO-9798-isoiec-9798-2-6.spdl --timer=60 --plain.out b/src/regression-tests/results/test-gui-Protocols-ISO-9798-isoiec-9798-2-6.spdl --timer=60 --plain.out index 76e99d2..69b6261 100644 --- a/src/regression-tests/results/test-gui-Protocols-ISO-9798-isoiec-9798-2-6.spdl --timer=60 --plain.out +++ b/src/regression-tests/results/test-gui-Protocols-ISO-9798-isoiec-9798-2-6.spdl --timer=60 --plain.out @@ -7,6 +7,6 @@ claim isoiec-9798-2-6,A Weakagree_A7 - Fail [at least 2 attacks] claim isoiec-9798-2-6,B Commit_B2 (A,Kab,Text6) Fail [at least 2 attacks] claim isoiec-9798-2-6,B Secret_B3 Kab Ok [no attack within bounds] claim isoiec-9798-2-6,B Secret_B4 Text6 Ok [no attack within bounds] -claim isoiec-9798-2-6,B Secret_B5 Text8 Ok [no attack within bounds] time=60 -claim isoiec-9798-2-6,B Alive_B6 - Ok [does not occur] time=60 -claim isoiec-9798-2-6,B Weakagree_B7 - Ok [does not occur] time=60 +claim isoiec-9798-2-6,B Secret_B5 Text8 Ok [no attack within bounds] +claim isoiec-9798-2-6,B Alive_B6 - Fail [at least 2 attacks] +claim isoiec-9798-2-6,B Weakagree_B7 - Fail [at least 2 attacks] diff --git a/src/regression-tests/results/test-gui-Protocols-ISO-9798-isoiec-9798-2-6.spdl --timer=60 --plain.time b/src/regression-tests/results/test-gui-Protocols-ISO-9798-isoiec-9798-2-6.spdl --timer=60 --plain.time index df21598..ea6089d 100644 --- a/src/regression-tests/results/test-gui-Protocols-ISO-9798-isoiec-9798-2-6.spdl --timer=60 --plain.time +++ b/src/regression-tests/results/test-gui-Protocols-ISO-9798-isoiec-9798-2-6.spdl --timer=60 --plain.time @@ -1,2 +1,2 @@ Passed wall time in seconds: -60 +39 diff --git a/src/regression-tests/results/test-gui-Protocols-ISO-9798-isoiec-9798-3-6-2.spdl --timer=60 --plain.time b/src/regression-tests/results/test-gui-Protocols-ISO-9798-isoiec-9798-3-6-2.spdl --timer=60 --plain.time index 7fda290..2eb5ce9 100644 --- a/src/regression-tests/results/test-gui-Protocols-ISO-9798-isoiec-9798-3-6-2.spdl --timer=60 --plain.time +++ b/src/regression-tests/results/test-gui-Protocols-ISO-9798-isoiec-9798-3-6-2.spdl --timer=60 --plain.time @@ -1,2 +1,2 @@ Passed wall time in seconds: -9 +6 diff --git a/src/regression-tests/results/test-gui-Protocols-ISO-9798-isoiec-9798-3-7-2.spdl --timer=60 --plain.time b/src/regression-tests/results/test-gui-Protocols-ISO-9798-isoiec-9798-3-7-2.spdl --timer=60 --plain.time index 20932a6..4674dbd 100644 --- a/src/regression-tests/results/test-gui-Protocols-ISO-9798-isoiec-9798-3-7-2.spdl --timer=60 --plain.time +++ b/src/regression-tests/results/test-gui-Protocols-ISO-9798-isoiec-9798-3-7-2.spdl --timer=60 --plain.time @@ -1,2 +1,2 @@ Passed wall time in seconds: -7 +5 diff --git a/src/regression-tests/results/test-gui-Protocols-andrew.spdl --timer=60 --plain.time b/src/regression-tests/results/test-gui-Protocols-andrew.spdl --timer=60 --plain.time index afe3b53..f38b5f7 100644 --- a/src/regression-tests/results/test-gui-Protocols-andrew.spdl --timer=60 --plain.time +++ b/src/regression-tests/results/test-gui-Protocols-andrew.spdl --timer=60 --plain.time @@ -1,2 +1,2 @@ Passed wall time in seconds: -15 +10 diff --git a/src/regression-tests/results/test-gui-Protocols-kaochow-v2.spdl --timer=60 --plain.time b/src/regression-tests/results/test-gui-Protocols-kaochow-v2.spdl --timer=60 --plain.time index 4674dbd..5b6132c 100644 --- a/src/regression-tests/results/test-gui-Protocols-kaochow-v2.spdl --timer=60 --plain.time +++ b/src/regression-tests/results/test-gui-Protocols-kaochow-v2.spdl --timer=60 --plain.time @@ -1,2 +1,2 @@ Passed wall time in seconds: -5 +3 diff --git a/src/regression-tests/results/test-gui-Protocols-kaochow.spdl --timer=60 --plain.time b/src/regression-tests/results/test-gui-Protocols-kaochow.spdl --timer=60 --plain.time index a4bc84c..0b87ca2 100644 --- a/src/regression-tests/results/test-gui-Protocols-kaochow.spdl --timer=60 --plain.time +++ b/src/regression-tests/results/test-gui-Protocols-kaochow.spdl --timer=60 --plain.time @@ -1,2 +1,2 @@ Passed wall time in seconds: -2 +1 diff --git a/src/regression-tests/results/test-gui-Protocols-needham-schroeder-lowe.spdl --timer=60 --plain.time b/src/regression-tests/results/test-gui-Protocols-needham-schroeder-lowe.spdl --timer=60 --plain.time index 0541820..afe3b53 100644 --- a/src/regression-tests/results/test-gui-Protocols-needham-schroeder-lowe.spdl --timer=60 --plain.time +++ b/src/regression-tests/results/test-gui-Protocols-needham-schroeder-lowe.spdl --timer=60 --plain.time @@ -1,2 +1,2 @@ Passed wall time in seconds: -24 +15 diff --git a/src/regression-tests/results/test-gui-Protocols-needham-schroeder-sk-amend.spdl --timer=60 --plain.time b/src/regression-tests/results/test-gui-Protocols-needham-schroeder-sk-amend.spdl --timer=60 --plain.time index a4bc84c..0b87ca2 100644 --- a/src/regression-tests/results/test-gui-Protocols-needham-schroeder-sk-amend.spdl --timer=60 --plain.time +++ b/src/regression-tests/results/test-gui-Protocols-needham-schroeder-sk-amend.spdl --timer=60 --plain.time @@ -1,2 +1,2 @@ Passed wall time in seconds: -2 +1 diff --git a/src/regression-tests/results/test-gui-Protocols-needham-schroeder.spdl --timer=60 --plain.time b/src/regression-tests/results/test-gui-Protocols-needham-schroeder.spdl --timer=60 --plain.time index d1a00da..cef5745 100644 --- a/src/regression-tests/results/test-gui-Protocols-needham-schroeder.spdl --timer=60 --plain.time +++ b/src/regression-tests/results/test-gui-Protocols-needham-schroeder.spdl --timer=60 --plain.time @@ -1,2 +1,2 @@ Passed wall time in seconds: -29 +18 diff --git a/src/regression-tests/results/test-gui-Protocols-splice-as-hc.spdl --timer=60 --plain.time b/src/regression-tests/results/test-gui-Protocols-splice-as-hc.spdl --timer=60 --plain.time index 2eb5ce9..711e64e 100644 --- a/src/regression-tests/results/test-gui-Protocols-splice-as-hc.spdl --timer=60 --plain.time +++ b/src/regression-tests/results/test-gui-Protocols-splice-as-hc.spdl --timer=60 --plain.time @@ -1,2 +1,2 @@ Passed wall time in seconds: -6 +4 diff --git a/src/regression-tests/results/test-gui-Protocols-splice-as.spdl --timer=60 --plain.time b/src/regression-tests/results/test-gui-Protocols-splice-as.spdl --timer=60 --plain.time index 2eb5ce9..711e64e 100644 --- a/src/regression-tests/results/test-gui-Protocols-splice-as.spdl --timer=60 --plain.time +++ b/src/regression-tests/results/test-gui-Protocols-splice-as.spdl --timer=60 --plain.time @@ -1,2 +1,2 @@ Passed wall time in seconds: -6 +4 diff --git a/src/regression-tests/results/test-gui-Protocols-woo-lam.spdl --timer=60 --plain.time b/src/regression-tests/results/test-gui-Protocols-woo-lam.spdl --timer=60 --plain.time index 7ec870e..37da462 100644 --- a/src/regression-tests/results/test-gui-Protocols-woo-lam.spdl --timer=60 --plain.time +++ b/src/regression-tests/results/test-gui-Protocols-woo-lam.spdl --timer=60 --plain.time @@ -1,2 +1,2 @@ Passed wall time in seconds: -37 +23