From 15a56b07fcf5f473fb1ff01970148b93aacfb0b4 Mon Sep 17 00:00:00 2001 From: ccremers Date: Thu, 22 Dec 2005 10:41:23 +0000 Subject: [PATCH] - Cleanup. --- spdl/attacks-2_3.txt | 605 ------------------------------ spdl/{ => misc}/protocol-list.txt | 0 2 files changed, 605 deletions(-) delete mode 100644 spdl/attacks-2_3.txt rename spdl/{ => misc}/protocol-list.txt (100%) diff --git a/spdl/attacks-2_3.txt b/spdl/attacks-2_3.txt deleted file mode 100644 index 67d3ee6..0000000 --- a/spdl/attacks-2_3.txt +++ /dev/null @@ -1,605 +0,0 @@ -We found a new flaw: bke IV Nisynch_6 using cat andrew-ban.spdl bke-one.spdl bke.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat andrew-ban.spdl bke-one.spdl bke.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat andrew-ban.spdl bke.spdl bkepk-ce.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat andrew-ban.spdl bke.spdl bkepk-ce.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat andrew-ban.spdl bke.spdl bkepk-ce2.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat andrew-ban.spdl bke.spdl bkepk-ce2.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat andrew-ban.spdl bke.spdl bkepk.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat andrew-ban.spdl bke.spdl bkepk.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: carkeyni RV Nisynch_2 using cat andrew-ban.spdl carkey-ni.spdl carkey-ni2.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: carkeyni RV Nisynch_2 using cat andrew-ban.spdl carkey-ni.spdl ccitt509-ban.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: ns3 IV Secret_i1 using cat andrew-ban.spdl ns3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: ns3 IV Niagree_i2 using cat andrew-ban.spdl ns3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: ns3 IV Nisynch_i3 using cat andrew-ban.spdl ns3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Niagree_4 using cat andrew-ban.spdl nsl3-nisynch-rep.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Secret_i1 using cat andrew-ban.spdl nsl3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Nisynch_i3 using cat andrew-ban.spdl nsl3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Niagree_i2 using cat andrew-ban.spdl nsl3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: spliceAShcCJ CV Secret_7 using cat andrew-ban.spdl soph.spdl splice-as-hc-cj.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: spliceAShcCJ SV Secret_8 using cat andrew-ban.spdl soph.spdl splice-as-hc-cj.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: wmfbrutus BV Secret_3 using cat andrew-ban.spdl wmf-brutus.spdl yahalom-ban.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: yahalom AV Secret_5 using cat andrew-ban.spdl woolam-cmv.spdl yahalom.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat andrew-lowe-ban.spdl bke-one.spdl bke.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat andrew-lowe-ban.spdl bke-one.spdl bke.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat andrew-lowe-ban.spdl bke.spdl bkepk-ce.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat andrew-lowe-ban.spdl bke.spdl bkepk-ce.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat andrew-lowe-ban.spdl bke.spdl bkepk-ce2.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat andrew-lowe-ban.spdl bke.spdl bkepk-ce2.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat andrew-lowe-ban.spdl bke.spdl bkepk.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat andrew-lowe-ban.spdl bke.spdl bkepk.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: carkeyni RV Nisynch_2 using cat andrew-lowe-ban.spdl carkey-ni.spdl carkey-ni2.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: carkeyni RV Nisynch_2 using cat andrew-lowe-ban.spdl carkey-ni.spdl ccitt509-ban.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: ns3 IV Secret_i1 using cat andrew-lowe-ban.spdl ns3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: ns3 IV Niagree_i2 using cat andrew-lowe-ban.spdl ns3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: ns3 IV Nisynch_i3 using cat andrew-lowe-ban.spdl ns3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Niagree_4 using cat andrew-lowe-ban.spdl nsl3-nisynch-rep.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Secret_i1 using cat andrew-lowe-ban.spdl nsl3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Nisynch_i3 using cat andrew-lowe-ban.spdl nsl3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Niagree_i2 using cat andrew-lowe-ban.spdl nsl3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: spliceAShcCJ CV Secret_7 using cat andrew-lowe-ban.spdl soph.spdl splice-as-hc-cj.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: spliceAShcCJ SV Secret_8 using cat andrew-lowe-ban.spdl soph.spdl splice-as-hc-cj.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: yahalom AV Secret_5 using cat andrew-lowe-ban.spdl woolam-cmv.spdl yahalom.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke-broken.spdl bke-one.spdl bke.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke-broken.spdl bke-one.spdl bke.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke-broken.spdl bke.spdl bkepk-ce.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke-broken.spdl bke.spdl bkepk-ce.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke-broken.spdl bke.spdl bkepk-ce2.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke-broken.spdl bke.spdl bkepk-ce2.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke-broken.spdl bke.spdl bkepk.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke-broken.spdl bke.spdl bkepk.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: carkeyni RV Nisynch_2 using cat bke-broken.spdl carkey-ni.spdl carkey-ni2.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: carkeyni RV Nisynch_2 using cat bke-broken.spdl carkey-ni.spdl ccitt509-ban.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: ns3 IV Secret_i1 using cat bke-broken.spdl ns3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: ns3 IV Nisynch_i3 using cat bke-broken.spdl ns3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: ns3 IV Niagree_i2 using cat bke-broken.spdl ns3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Niagree_4 using cat bke-broken.spdl nsl3-nisynch-rep.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Nisynch_i3 using cat bke-broken.spdl nsl3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Secret_i1 using cat bke-broken.spdl nsl3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Niagree_i2 using cat bke-broken.spdl nsl3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: spliceAShcCJ SV Secret_8 using cat bke-broken.spdl soph.spdl splice-as-hc-cj.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: spliceAShcCJ CV Secret_7 using cat bke-broken.spdl soph.spdl splice-as-hc-cj.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke-one.spdl bke.spdl bkepk-ce.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke-one.spdl bke.spdl bkepk-ce.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke-one.spdl bke.spdl bkepk-ce2.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke-one.spdl bke.spdl bkepk-ce2.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke-one.spdl bke.spdl bkepk.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke-one.spdl bke.spdl bkepk.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke-one.spdl bke.spdl boyd.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke-one.spdl bke.spdl boyd.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke-one.spdl bke.spdl broken1.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke-one.spdl bke.spdl broken1.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke-one.spdl bke.spdl carkey-broken-limited.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke-one.spdl bke.spdl carkey-broken-limited.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke-one.spdl bke.spdl carkey-ni.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke-one.spdl bke.spdl carkey-ni.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke-one.spdl bke.spdl carkey-ni2.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke-one.spdl bke.spdl carkey-ni2.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke-one.spdl bke.spdl ccitt509-ban.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke-one.spdl bke.spdl ccitt509-ban.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke-one.spdl bke.spdl five-run-bound.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke-one.spdl bke.spdl five-run-bound.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke-one.spdl bke.spdl helloworld.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke-one.spdl bke.spdl helloworld.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke-one.spdl bke.spdl isoiec11770-2-13.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke-one.spdl bke.spdl isoiec11770-2-13.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke-one.spdl bke.spdl kaochow.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke-one.spdl bke.spdl kaochow.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke-one.spdl bke.spdl ns3.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke-one.spdl bke.spdl ns3.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke-one.spdl bke.spdl nsl3-nisynch-rep.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke-one.spdl bke.spdl nsl3-nisynch-rep.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke-one.spdl bke.spdl nsl3.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke-one.spdl bke.spdl nsl3.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke-one.spdl bke.spdl onetrace.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke-one.spdl bke.spdl onetrace.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke-one.spdl bke.spdl otwayrees.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke-one.spdl bke.spdl otwayrees.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke-one.spdl bke.spdl simplest.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke-one.spdl bke.spdl simplest.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke-one.spdl bke.spdl soph-keyexch.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke-one.spdl bke.spdl soph-keyexch.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke-one.spdl bke.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke-one.spdl bke.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke-one.spdl bke.spdl splice-as-hc-cj.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke-one.spdl bke.spdl splice-as-hc-cj.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke-one.spdl bke.spdl splice-as.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke-one.spdl bke.spdl splice-as.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke-one.spdl bke.spdl tmn.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke-one.spdl bke.spdl tmn.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke-one.spdl bke.spdl unknown2.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke-one.spdl bke.spdl unknown2.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke-one.spdl bke.spdl wmf-brutus.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke-one.spdl bke.spdl wmf-brutus.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke-one.spdl bke.spdl woolam-ce.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke-one.spdl bke.spdl woolam-ce.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke-one.spdl bke.spdl woolam-cmv.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke-one.spdl bke.spdl woolam-cmv.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke-one.spdl bke.spdl yahalom-lowe.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke-one.spdl bke.spdl yahalom-lowe.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: carkeyni RV Nisynch_2 using cat bke-one.spdl carkey-ni.spdl carkey-ni2.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: carkeyni RV Nisynch_2 using cat bke-one.spdl carkey-ni.spdl ccitt509-ban.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: ns3 IV Secret_i1 using cat bke-one.spdl ns3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: ns3 IV Nisynch_i3 using cat bke-one.spdl ns3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: ns3 IV Niagree_i2 using cat bke-one.spdl ns3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Niagree_4 using cat bke-one.spdl nsl3-nisynch-rep.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Nisynch_i3 using cat bke-one.spdl nsl3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Secret_i1 using cat bke-one.spdl nsl3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Niagree_i2 using cat bke-one.spdl nsl3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: spliceAShcCJ SV Secret_8 using cat bke-one.spdl soph.spdl splice-as-hc-cj.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: spliceAShcCJ CV Secret_7 using cat bke-one.spdl soph.spdl splice-as-hc-cj.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke.spdl bkepk-ce.spdl bkepk-ce2.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke.spdl bkepk-ce.spdl bkepk-ce2.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke.spdl bkepk-ce.spdl bkepk.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke.spdl bkepk-ce.spdl bkepk.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke.spdl bkepk-ce.spdl boyd.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke.spdl bkepk-ce.spdl boyd.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke.spdl bkepk-ce.spdl broken1.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke.spdl bkepk-ce.spdl broken1.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke.spdl bkepk-ce.spdl carkey-broken-limited.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke.spdl bkepk-ce.spdl carkey-broken-limited.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke.spdl bkepk-ce.spdl carkey-ni.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke.spdl bkepk-ce.spdl carkey-ni.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke.spdl bkepk-ce.spdl carkey-ni2.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke.spdl bkepk-ce.spdl carkey-ni2.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke.spdl bkepk-ce.spdl ccitt509-ban.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke.spdl bkepk-ce.spdl ccitt509-ban.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke.spdl bkepk-ce.spdl five-run-bound.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke.spdl bkepk-ce.spdl five-run-bound.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke.spdl bkepk-ce.spdl helloworld.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke.spdl bkepk-ce.spdl helloworld.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke.spdl bkepk-ce.spdl isoiec11770-2-13.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke.spdl bkepk-ce.spdl isoiec11770-2-13.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke.spdl bkepk-ce.spdl kaochow.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke.spdl bkepk-ce.spdl kaochow.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke.spdl bkepk-ce.spdl ns3.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke.spdl bkepk-ce.spdl ns3.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke.spdl bkepk-ce.spdl nsl3-nisynch-rep.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke.spdl bkepk-ce.spdl nsl3-nisynch-rep.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke.spdl bkepk-ce.spdl nsl3.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke.spdl bkepk-ce.spdl nsl3.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke.spdl bkepk-ce.spdl onetrace.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke.spdl bkepk-ce.spdl onetrace.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke.spdl bkepk-ce.spdl otwayrees.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke.spdl bkepk-ce.spdl otwayrees.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke.spdl bkepk-ce.spdl simplest.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke.spdl bkepk-ce.spdl simplest.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke.spdl bkepk-ce.spdl soph-keyexch.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke.spdl bkepk-ce.spdl soph-keyexch.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke.spdl bkepk-ce.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke.spdl bkepk-ce.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke.spdl bkepk-ce.spdl splice-as-hc-cj.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke.spdl bkepk-ce.spdl splice-as-hc-cj.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke.spdl bkepk-ce.spdl splice-as.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke.spdl bkepk-ce.spdl splice-as.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke.spdl bkepk-ce.spdl tmn.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke.spdl bkepk-ce.spdl tmn.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke.spdl bkepk-ce.spdl unknown2.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke.spdl bkepk-ce.spdl unknown2.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke.spdl bkepk-ce.spdl wmf-brutus.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke.spdl bkepk-ce.spdl wmf-brutus.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke.spdl bkepk-ce.spdl woolam-ce.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke.spdl bkepk-ce.spdl woolam-ce.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke.spdl bkepk-ce.spdl woolam-cmv.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke.spdl bkepk-ce.spdl woolam-cmv.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke.spdl bkepk-ce.spdl yahalom-lowe.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke.spdl bkepk-ce.spdl yahalom-lowe.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke.spdl bkepk-ce2.spdl bkepk.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke.spdl bkepk-ce2.spdl bkepk.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke.spdl bkepk-ce2.spdl boyd.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke.spdl bkepk-ce2.spdl boyd.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke.spdl bkepk-ce2.spdl broken1.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke.spdl bkepk-ce2.spdl broken1.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke.spdl bkepk-ce2.spdl carkey-broken-limited.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke.spdl bkepk-ce2.spdl carkey-broken-limited.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke.spdl bkepk-ce2.spdl carkey-ni.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke.spdl bkepk-ce2.spdl carkey-ni.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke.spdl bkepk-ce2.spdl carkey-ni2.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke.spdl bkepk-ce2.spdl carkey-ni2.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke.spdl bkepk-ce2.spdl ccitt509-ban.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke.spdl bkepk-ce2.spdl ccitt509-ban.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke.spdl bkepk-ce2.spdl five-run-bound.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke.spdl bkepk-ce2.spdl five-run-bound.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke.spdl bkepk-ce2.spdl helloworld.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke.spdl bkepk-ce2.spdl helloworld.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke.spdl bkepk-ce2.spdl isoiec11770-2-13.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke.spdl bkepk-ce2.spdl isoiec11770-2-13.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke.spdl bkepk-ce2.spdl kaochow.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke.spdl bkepk-ce2.spdl kaochow.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke.spdl bkepk-ce2.spdl ns3.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke.spdl bkepk-ce2.spdl ns3.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke.spdl bkepk-ce2.spdl nsl3-nisynch-rep.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke.spdl bkepk-ce2.spdl nsl3-nisynch-rep.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke.spdl bkepk-ce2.spdl nsl3.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke.spdl bkepk-ce2.spdl nsl3.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke.spdl bkepk-ce2.spdl onetrace.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke.spdl bkepk-ce2.spdl onetrace.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke.spdl bkepk-ce2.spdl otwayrees.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke.spdl bkepk-ce2.spdl otwayrees.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke.spdl bkepk-ce2.spdl simplest.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke.spdl bkepk-ce2.spdl simplest.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke.spdl bkepk-ce2.spdl soph-keyexch.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke.spdl bkepk-ce2.spdl soph-keyexch.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke.spdl bkepk-ce2.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke.spdl bkepk-ce2.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke.spdl bkepk-ce2.spdl splice-as-hc-cj.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke.spdl bkepk-ce2.spdl splice-as-hc-cj.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke.spdl bkepk-ce2.spdl splice-as.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke.spdl bkepk-ce2.spdl splice-as.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke.spdl bkepk-ce2.spdl tmn.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke.spdl bkepk-ce2.spdl tmn.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke.spdl bkepk-ce2.spdl unknown2.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke.spdl bkepk-ce2.spdl unknown2.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke.spdl bkepk-ce2.spdl wmf-brutus.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke.spdl bkepk-ce2.spdl wmf-brutus.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke.spdl bkepk-ce2.spdl woolam-ce.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke.spdl bkepk-ce2.spdl woolam-ce.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke.spdl bkepk-ce2.spdl woolam-cmv.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke.spdl bkepk-ce2.spdl woolam-cmv.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke.spdl bkepk-ce2.spdl yahalom-lowe.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke.spdl bkepk-ce2.spdl yahalom-lowe.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke.spdl bkepk.spdl boyd.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke.spdl bkepk.spdl boyd.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke.spdl bkepk.spdl broken1.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke.spdl bkepk.spdl broken1.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke.spdl bkepk.spdl carkey-broken-limited.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke.spdl bkepk.spdl carkey-broken-limited.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke.spdl bkepk.spdl carkey-ni.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke.spdl bkepk.spdl carkey-ni.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke.spdl bkepk.spdl carkey-ni2.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke.spdl bkepk.spdl carkey-ni2.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke.spdl bkepk.spdl ccitt509-ban.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke.spdl bkepk.spdl ccitt509-ban.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke.spdl bkepk.spdl five-run-bound.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke.spdl bkepk.spdl five-run-bound.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke.spdl bkepk.spdl helloworld.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke.spdl bkepk.spdl helloworld.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke.spdl bkepk.spdl isoiec11770-2-13.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke.spdl bkepk.spdl isoiec11770-2-13.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke.spdl bkepk.spdl kaochow.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke.spdl bkepk.spdl kaochow.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke.spdl bkepk.spdl ns3.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke.spdl bkepk.spdl ns3.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke.spdl bkepk.spdl nsl3-nisynch-rep.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke.spdl bkepk.spdl nsl3-nisynch-rep.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke.spdl bkepk.spdl nsl3.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke.spdl bkepk.spdl nsl3.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke.spdl bkepk.spdl onetrace.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke.spdl bkepk.spdl onetrace.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke.spdl bkepk.spdl otwayrees.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke.spdl bkepk.spdl otwayrees.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke.spdl bkepk.spdl simplest.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke.spdl bkepk.spdl simplest.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke.spdl bkepk.spdl soph-keyexch.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke.spdl bkepk.spdl soph-keyexch.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke.spdl bkepk.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke.spdl bkepk.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke.spdl bkepk.spdl splice-as-hc-cj.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke.spdl bkepk.spdl splice-as-hc-cj.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke.spdl bkepk.spdl splice-as.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke.spdl bkepk.spdl splice-as.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke.spdl bkepk.spdl tmn.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke.spdl bkepk.spdl tmn.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke.spdl bkepk.spdl unknown2.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke.spdl bkepk.spdl unknown2.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke.spdl bkepk.spdl wmf-brutus.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke.spdl bkepk.spdl wmf-brutus.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke.spdl bkepk.spdl woolam-ce.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke.spdl bkepk.spdl woolam-ce.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke.spdl bkepk.spdl woolam-cmv.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke.spdl bkepk.spdl woolam-cmv.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke IV Nisynch_6 using cat bke.spdl bkepk.spdl yahalom-lowe.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: bke RV Nisynch_7 using cat bke.spdl bkepk.spdl yahalom-lowe.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: carkeyni RV Nisynch_2 using cat bke.spdl carkey-ni.spdl carkey-ni2.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: carkeyni RV Nisynch_2 using cat bke.spdl carkey-ni.spdl ccitt509-ban.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: ns3 IV Secret_i1 using cat bke.spdl ns3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: ns3 IV Niagree_i2 using cat bke.spdl ns3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: ns3 IV Nisynch_i3 using cat bke.spdl ns3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Niagree_4 using cat bke.spdl nsl3-nisynch-rep.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Secret_i1 using cat bke.spdl nsl3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Nisynch_i3 using cat bke.spdl nsl3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Niagree_i2 using cat bke.spdl nsl3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: spliceAShcCJ CV Secret_7 using cat bke.spdl soph.spdl splice-as-hc-cj.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: spliceAShcCJ SV Secret_8 using cat bke.spdl soph.spdl splice-as-hc-cj.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: carkeyni RV Nisynch_2 using cat bkepk-ce.spdl carkey-ni.spdl carkey-ni2.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: carkeyni RV Nisynch_2 using cat bkepk-ce.spdl carkey-ni.spdl ccitt509-ban.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: ns3 IV Secret_i1 using cat bkepk-ce.spdl ns3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: ns3 IV Nisynch_i3 using cat bkepk-ce.spdl ns3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: ns3 IV Niagree_i2 using cat bkepk-ce.spdl ns3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Niagree_4 using cat bkepk-ce.spdl nsl3-nisynch-rep.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Nisynch_i3 using cat bkepk-ce.spdl nsl3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Secret_i1 using cat bkepk-ce.spdl nsl3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Niagree_i2 using cat bkepk-ce.spdl nsl3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: spliceAShcCJ SV Secret_8 using cat bkepk-ce.spdl soph.spdl splice-as-hc-cj.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: spliceAShcCJ CV Secret_7 using cat bkepk-ce.spdl soph.spdl splice-as-hc-cj.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: carkeyni RV Nisynch_2 using cat bkepk-ce2.spdl carkey-ni.spdl carkey-ni2.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: carkeyni RV Nisynch_2 using cat bkepk-ce2.spdl carkey-ni.spdl ccitt509-ban.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: ns3 IV Secret_i1 using cat bkepk-ce2.spdl ns3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: ns3 IV Nisynch_i3 using cat bkepk-ce2.spdl ns3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: ns3 IV Niagree_i2 using cat bkepk-ce2.spdl ns3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Niagree_4 using cat bkepk-ce2.spdl nsl3-nisynch-rep.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Nisynch_i3 using cat bkepk-ce2.spdl nsl3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Secret_i1 using cat bkepk-ce2.spdl nsl3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Niagree_i2 using cat bkepk-ce2.spdl nsl3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: spliceAShcCJ SV Secret_8 using cat bkepk-ce2.spdl soph.spdl splice-as-hc-cj.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: spliceAShcCJ CV Secret_7 using cat bkepk-ce2.spdl soph.spdl splice-as-hc-cj.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: carkeyni RV Nisynch_2 using cat bkepk.spdl carkey-ni.spdl carkey-ni2.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: carkeyni RV Nisynch_2 using cat bkepk.spdl carkey-ni.spdl ccitt509-ban.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: ns3 IV Secret_i1 using cat bkepk.spdl ns3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: ns3 IV Nisynch_i3 using cat bkepk.spdl ns3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: ns3 IV Niagree_i2 using cat bkepk.spdl ns3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Niagree_4 using cat bkepk.spdl nsl3-nisynch-rep.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Nisynch_i3 using cat bkepk.spdl nsl3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Secret_i1 using cat bkepk.spdl nsl3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Niagree_i2 using cat bkepk.spdl nsl3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: spliceAShcCJ SV Secret_8 using cat bkepk.spdl soph.spdl splice-as-hc-cj.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: spliceAShcCJ CV Secret_7 using cat bkepk.spdl soph.spdl splice-as-hc-cj.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: carkeyni RV Nisynch_2 using cat boyd.spdl carkey-ni.spdl carkey-ni2.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: carkeyni RV Nisynch_2 using cat boyd.spdl carkey-ni.spdl ccitt509-ban.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: ns3 IV Secret_i1 using cat boyd.spdl ns3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: ns3 IV Niagree_i2 using cat boyd.spdl ns3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: ns3 IV Nisynch_i3 using cat boyd.spdl ns3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Niagree_4 using cat boyd.spdl nsl3-nisynch-rep.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Secret_i1 using cat boyd.spdl nsl3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Nisynch_i3 using cat boyd.spdl nsl3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Niagree_i2 using cat boyd.spdl nsl3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: spliceAShcCJ CV Secret_7 using cat boyd.spdl soph.spdl splice-as-hc-cj.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: spliceAShcCJ SV Secret_8 using cat boyd.spdl soph.spdl splice-as-hc-cj.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: carkeyni RV Nisynch_2 using cat broken1.spdl carkey-ni.spdl carkey-ni2.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: carkeyni RV Nisynch_2 using cat broken1.spdl carkey-ni.spdl ccitt509-ban.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: ns3 IV Secret_i1 using cat broken1.spdl ns3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: ns3 IV Nisynch_i3 using cat broken1.spdl ns3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: ns3 IV Niagree_i2 using cat broken1.spdl ns3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Niagree_4 using cat broken1.spdl nsl3-nisynch-rep.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Nisynch_i3 using cat broken1.spdl nsl3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Secret_i1 using cat broken1.spdl nsl3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Niagree_i2 using cat broken1.spdl nsl3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: spliceAShcCJ SV Secret_8 using cat broken1.spdl soph.spdl splice-as-hc-cj.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: spliceAShcCJ CV Secret_7 using cat broken1.spdl soph.spdl splice-as-hc-cj.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: yahalom AV Secret_5 using cat broken1.spdl woolam-cmv.spdl yahalom.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: carkeyni RV Nisynch_2 using cat carkey-broken-limited.spdl carkey-ni.spdl carkey-ni2.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: carkeyni RV Nisynch_2 using cat carkey-broken-limited.spdl carkey-ni.spdl ccitt509-ban.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: ns3 IV Secret_i1 using cat carkey-broken-limited.spdl ns3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: ns3 IV Nisynch_i3 using cat carkey-broken-limited.spdl ns3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: ns3 IV Niagree_i2 using cat carkey-broken-limited.spdl ns3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Niagree_4 using cat carkey-broken-limited.spdl nsl3-nisynch-rep.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Nisynch_i3 using cat carkey-broken-limited.spdl nsl3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Secret_i1 using cat carkey-broken-limited.spdl nsl3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Niagree_i2 using cat carkey-broken-limited.spdl nsl3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: spliceAShcCJ SV Secret_8 using cat carkey-broken-limited.spdl soph.spdl splice-as-hc-cj.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: spliceAShcCJ CV Secret_7 using cat carkey-broken-limited.spdl soph.spdl splice-as-hc-cj.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: yahalom AV Secret_5 using cat carkey-broken-limited.spdl woolam-cmv.spdl yahalom.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: carkeyni RV Nisynch_2 using cat carkey-ni.spdl carkey-ni2.spdl ccitt509-ban.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: carkeyni RV Nisynch_2 using cat carkey-ni.spdl carkey-ni2.spdl five-run-bound.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: carkeyni RV Nisynch_2 using cat carkey-ni.spdl carkey-ni2.spdl helloworld.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: carkeyni RV Nisynch_2 using cat carkey-ni.spdl carkey-ni2.spdl isoiec11770-2-13.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: carkeyni RV Nisynch_2 using cat carkey-ni.spdl carkey-ni2.spdl kaochow.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: carkeyni RV Nisynch_2 using cat carkey-ni.spdl carkey-ni2.spdl ns3.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: carkeyni RV Nisynch_2 using cat carkey-ni.spdl carkey-ni2.spdl nsl3-nisynch-rep.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: carkeyni RV Nisynch_2 using cat carkey-ni.spdl carkey-ni2.spdl nsl3.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: carkeyni RV Nisynch_2 using cat carkey-ni.spdl carkey-ni2.spdl onetrace.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: carkeyni RV Nisynch_2 using cat carkey-ni.spdl carkey-ni2.spdl otwayrees.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: carkeyni RV Nisynch_2 using cat carkey-ni.spdl carkey-ni2.spdl simplest.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: carkeyni RV Nisynch_2 using cat carkey-ni.spdl carkey-ni2.spdl soph-keyexch.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: carkeyni RV Nisynch_2 using cat carkey-ni.spdl carkey-ni2.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: carkeyni RV Nisynch_2 using cat carkey-ni.spdl carkey-ni2.spdl splice-as-hc-cj.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: carkeyni RV Nisynch_2 using cat carkey-ni.spdl carkey-ni2.spdl splice-as.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: carkeyni RV Nisynch_2 using cat carkey-ni.spdl carkey-ni2.spdl tmn.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: carkeyni RV Nisynch_2 using cat carkey-ni.spdl carkey-ni2.spdl unknown2.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: carkeyni RV Nisynch_2 using cat carkey-ni.spdl carkey-ni2.spdl wmf-brutus.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: carkeyni RV Nisynch_2 using cat carkey-ni.spdl carkey-ni2.spdl woolam-ce.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: carkeyni RV Nisynch_2 using cat carkey-ni.spdl carkey-ni2.spdl woolam-cmv.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: carkeyni RV Nisynch_2 using cat carkey-ni.spdl carkey-ni2.spdl yahalom-lowe.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: carkeyni RV Nisynch_2 using cat carkey-ni.spdl carkey-ni2.spdl yahalom.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: carkeyni RV Nisynch_2 using cat carkey-ni.spdl ccitt509-ban.spdl five-run-bound.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: carkeyni RV Nisynch_2 using cat carkey-ni.spdl ccitt509-ban.spdl helloworld.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: carkeyni RV Nisynch_2 using cat carkey-ni.spdl ccitt509-ban.spdl isoiec11770-2-13.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: carkeyni RV Nisynch_2 using cat carkey-ni.spdl ccitt509-ban.spdl kaochow.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: carkeyni RV Nisynch_2 using cat carkey-ni.spdl ccitt509-ban.spdl ns3.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: carkeyni RV Nisynch_2 using cat carkey-ni.spdl ccitt509-ban.spdl nsl3-nisynch-rep.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: carkeyni RV Nisynch_2 using cat carkey-ni.spdl ccitt509-ban.spdl nsl3.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: carkeyni RV Nisynch_2 using cat carkey-ni.spdl ccitt509-ban.spdl onetrace.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: carkeyni RV Nisynch_2 using cat carkey-ni.spdl ccitt509-ban.spdl otwayrees.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: carkeyni RV Nisynch_2 using cat carkey-ni.spdl ccitt509-ban.spdl simplest.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: carkeyni RV Nisynch_2 using cat carkey-ni.spdl ccitt509-ban.spdl soph-keyexch.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: carkeyni RV Nisynch_2 using cat carkey-ni.spdl ccitt509-ban.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: carkeyni RV Nisynch_2 using cat carkey-ni.spdl ccitt509-ban.spdl splice-as-hc-cj.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: carkeyni RV Nisynch_2 using cat carkey-ni.spdl ccitt509-ban.spdl splice-as.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: carkeyni RV Nisynch_2 using cat carkey-ni.spdl ccitt509-ban.spdl tmn.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: carkeyni RV Nisynch_2 using cat carkey-ni.spdl ccitt509-ban.spdl unknown2.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: carkeyni RV Nisynch_2 using cat carkey-ni.spdl ccitt509-ban.spdl wmf-brutus.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: carkeyni RV Nisynch_2 using cat carkey-ni.spdl ccitt509-ban.spdl woolam-ce.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: carkeyni RV Nisynch_2 using cat carkey-ni.spdl ccitt509-ban.spdl woolam-cmv.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: carkeyni RV Nisynch_2 using cat carkey-ni.spdl ccitt509-ban.spdl yahalom-lowe.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: ns3 IV Secret_i1 using cat carkey-ni.spdl ns3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: ns3 IV Nisynch_i3 using cat carkey-ni.spdl ns3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: ns3 IV Niagree_i2 using cat carkey-ni.spdl ns3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Niagree_4 using cat carkey-ni.spdl nsl3-nisynch-rep.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Nisynch_i3 using cat carkey-ni.spdl nsl3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Secret_i1 using cat carkey-ni.spdl nsl3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Niagree_i2 using cat carkey-ni.spdl nsl3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: spliceAShcCJ SV Secret_8 using cat carkey-ni.spdl soph.spdl splice-as-hc-cj.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: spliceAShcCJ CV Secret_7 using cat carkey-ni.spdl soph.spdl splice-as-hc-cj.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: yahalom AV Secret_5 using cat carkey-ni.spdl woolam-cmv.spdl yahalom.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: ns3 IV Secret_i1 using cat carkey-ni2.spdl ns3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: ns3 IV Nisynch_i3 using cat carkey-ni2.spdl ns3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: ns3 IV Niagree_i2 using cat carkey-ni2.spdl ns3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Niagree_4 using cat carkey-ni2.spdl nsl3-nisynch-rep.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Nisynch_i3 using cat carkey-ni2.spdl nsl3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Secret_i1 using cat carkey-ni2.spdl nsl3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Niagree_i2 using cat carkey-ni2.spdl nsl3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: spliceAShcCJ SV Secret_8 using cat carkey-ni2.spdl soph.spdl splice-as-hc-cj.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: spliceAShcCJ CV Secret_7 using cat carkey-ni2.spdl soph.spdl splice-as-hc-cj.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: yahalom AV Secret_5 using cat carkey-ni2.spdl woolam-cmv.spdl yahalom.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: ns3 IV Secret_i1 using cat ccitt509-ban.spdl ns3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: ns3 IV Niagree_i2 using cat ccitt509-ban.spdl ns3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: ns3 IV Nisynch_i3 using cat ccitt509-ban.spdl ns3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Niagree_4 using cat ccitt509-ban.spdl nsl3-nisynch-rep.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Secret_i1 using cat ccitt509-ban.spdl nsl3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Nisynch_i3 using cat ccitt509-ban.spdl nsl3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Niagree_i2 using cat ccitt509-ban.spdl nsl3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: spliceAShcCJ CV Secret_7 using cat ccitt509-ban.spdl soph.spdl splice-as-hc-cj.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: spliceAShcCJ SV Secret_8 using cat ccitt509-ban.spdl soph.spdl splice-as-hc-cj.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: ns3 IV Secret_i1 using cat five-run-bound.spdl ns3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: ns3 IV Nisynch_i3 using cat five-run-bound.spdl ns3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: ns3 IV Niagree_i2 using cat five-run-bound.spdl ns3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Niagree_4 using cat five-run-bound.spdl nsl3-nisynch-rep.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Nisynch_i3 using cat five-run-bound.spdl nsl3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Secret_i1 using cat five-run-bound.spdl nsl3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Niagree_i2 using cat five-run-bound.spdl nsl3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: spliceAShcCJ SV Secret_8 using cat five-run-bound.spdl soph.spdl splice-as-hc-cj.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: spliceAShcCJ CV Secret_7 using cat five-run-bound.spdl soph.spdl splice-as-hc-cj.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: yahalom AV Secret_5 using cat five-run-bound.spdl woolam-cmv.spdl yahalom.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: ns3 IV Secret_i1 using cat helloworld.spdl ns3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: ns3 IV Nisynch_i3 using cat helloworld.spdl ns3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: ns3 IV Niagree_i2 using cat helloworld.spdl ns3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Niagree_4 using cat helloworld.spdl nsl3-nisynch-rep.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Nisynch_i3 using cat helloworld.spdl nsl3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Secret_i1 using cat helloworld.spdl nsl3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Niagree_i2 using cat helloworld.spdl nsl3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: spliceAShcCJ SV Secret_8 using cat helloworld.spdl soph.spdl splice-as-hc-cj.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: spliceAShcCJ CV Secret_7 using cat helloworld.spdl soph.spdl splice-as-hc-cj.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: yahalom AV Secret_5 using cat helloworld.spdl woolam-cmv.spdl yahalom.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: ns3 IV Secret_i1 using cat isoiec11770-2-13.spdl ns3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: ns3 IV Nisynch_i3 using cat isoiec11770-2-13.spdl ns3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: ns3 IV Niagree_i2 using cat isoiec11770-2-13.spdl ns3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Niagree_4 using cat isoiec11770-2-13.spdl nsl3-nisynch-rep.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Nisynch_i3 using cat isoiec11770-2-13.spdl nsl3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Secret_i1 using cat isoiec11770-2-13.spdl nsl3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Niagree_i2 using cat isoiec11770-2-13.spdl nsl3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: spliceAShcCJ SV Secret_8 using cat isoiec11770-2-13.spdl soph.spdl splice-as-hc-cj.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: spliceAShcCJ CV Secret_7 using cat isoiec11770-2-13.spdl soph.spdl splice-as-hc-cj.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: wmfbrutus BV Secret_3 using cat isoiec11770-2-13.spdl wmf-brutus.spdl yahalom-ban.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: ns3 IV Secret_i1 using cat kaochow.spdl ns3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: ns3 IV Nisynch_i3 using cat kaochow.spdl ns3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: ns3 IV Niagree_i2 using cat kaochow.spdl ns3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Niagree_4 using cat kaochow.spdl nsl3-nisynch-rep.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Nisynch_i3 using cat kaochow.spdl nsl3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Secret_i1 using cat kaochow.spdl nsl3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Niagree_i2 using cat kaochow.spdl nsl3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: wmfbrutus BV Secret_3 using cat kaochow.spdl wmf-brutus.spdl yahalom-ban.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: yahalom AV Secret_5 using cat kaochow.spdl woolam-cmv.spdl yahalom.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: ns3 IV Secret_i1 using cat ns3.spdl nsl3-nisynch-rep.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Niagree_4 using cat ns3.spdl nsl3-nisynch-rep.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: ns3 IV Niagree_i2 using cat ns3.spdl nsl3-nisynch-rep.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: ns3 IV Nisynch_i3 using cat ns3.spdl nsl3-nisynch-rep.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: ns3 IV Secret_i1 using cat ns3.spdl nsl3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Secret_i1 using cat ns3.spdl nsl3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: ns3 IV Niagree_i2 using cat ns3.spdl nsl3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Nisynch_i3 using cat ns3.spdl nsl3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: ns3 IV Nisynch_i3 using cat ns3.spdl nsl3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Niagree_i2 using cat ns3.spdl nsl3.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: ns3 IV Secret_i1 using cat ns3.spdl onetrace.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: ns3 IV Nisynch_i3 using cat ns3.spdl onetrace.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: ns3 IV Niagree_i2 using cat ns3.spdl onetrace.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: ns3 IV Secret_i1 using cat ns3.spdl otwayrees.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: ns3 IV Nisynch_i3 using cat ns3.spdl otwayrees.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: ns3 IV Niagree_i2 using cat ns3.spdl otwayrees.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: ns3 IV Secret_i1 using cat ns3.spdl simplest.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: ns3 IV Nisynch_i3 using cat ns3.spdl simplest.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: ns3 IV Niagree_i2 using cat ns3.spdl simplest.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: ns3 IV Secret_i1 using cat ns3.spdl soph-keyexch.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: ns3 IV Nisynch_i3 using cat ns3.spdl soph-keyexch.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: ns3 IV Niagree_i2 using cat ns3.spdl soph-keyexch.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: ns3 IV Secret_i1 using cat ns3.spdl soph.spdl splice-as-hc-cj.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: ns3 IV Niagree_i2 using cat ns3.spdl soph.spdl splice-as-hc-cj.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: spliceAShcCJ CV Secret_7 using cat ns3.spdl soph.spdl splice-as-hc-cj.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: ns3 IV Nisynch_i3 using cat ns3.spdl soph.spdl splice-as-hc-cj.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: spliceAShcCJ SV Secret_8 using cat ns3.spdl soph.spdl splice-as-hc-cj.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: ns3 IV Secret_i1 using cat ns3.spdl soph.spdl tmn.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: ns3 IV Nisynch_i3 using cat ns3.spdl soph.spdl tmn.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: ns3 IV Niagree_i2 using cat ns3.spdl soph.spdl tmn.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: ns3 IV Secret_i1 using cat ns3.spdl soph.spdl unknown2.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: ns3 IV Niagree_i2 using cat ns3.spdl soph.spdl unknown2.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: ns3 IV Nisynch_i3 using cat ns3.spdl soph.spdl unknown2.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: ns3 IV Secret_i1 using cat ns3.spdl soph.spdl wmf-brutus.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: ns3 IV Nisynch_i3 using cat ns3.spdl soph.spdl wmf-brutus.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: ns3 IV Niagree_i2 using cat ns3.spdl soph.spdl wmf-brutus.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: ns3 IV Secret_i1 using cat ns3.spdl soph.spdl woolam-ce.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: ns3 IV Nisynch_i3 using cat ns3.spdl soph.spdl woolam-ce.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: ns3 IV Niagree_i2 using cat ns3.spdl soph.spdl woolam-ce.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: ns3 IV Secret_i1 using cat ns3.spdl soph.spdl woolam-cmv.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: ns3 IV Nisynch_i3 using cat ns3.spdl soph.spdl woolam-cmv.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: ns3 IV Niagree_i2 using cat ns3.spdl soph.spdl woolam-cmv.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: ns3 IV Secret_i1 using cat ns3.spdl soph.spdl yahalom-lowe.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: ns3 IV Nisynch_i3 using cat ns3.spdl soph.spdl yahalom-lowe.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: ns3 IV Niagree_i2 using cat ns3.spdl soph.spdl yahalom-lowe.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: yahalom AV Secret_5 using cat ns3.spdl woolam-cmv.spdl yahalom.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Niagree_4 using cat nsl3-nisynch-rep.spdl onetrace.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Niagree_4 using cat nsl3-nisynch-rep.spdl otwayrees.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Niagree_4 using cat nsl3-nisynch-rep.spdl simplest.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Niagree_4 using cat nsl3-nisynch-rep.spdl soph-keyexch.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Niagree_4 using cat nsl3-nisynch-rep.spdl soph.spdl splice-as-hc-cj.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: spliceAShcCJ CV Secret_7 using cat nsl3-nisynch-rep.spdl soph.spdl splice-as-hc-cj.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: spliceAShcCJ SV Secret_8 using cat nsl3-nisynch-rep.spdl soph.spdl splice-as-hc-cj.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Niagree_4 using cat nsl3-nisynch-rep.spdl soph.spdl tmn.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Niagree_4 using cat nsl3-nisynch-rep.spdl soph.spdl unknown2.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Niagree_4 using cat nsl3-nisynch-rep.spdl soph.spdl wmf-brutus.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Niagree_4 using cat nsl3-nisynch-rep.spdl soph.spdl woolam-ce.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Niagree_4 using cat nsl3-nisynch-rep.spdl soph.spdl woolam-cmv.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Niagree_4 using cat nsl3-nisynch-rep.spdl soph.spdl yahalom-lowe.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: yahalom AV Secret_5 using cat nsl3-nisynch-rep.spdl woolam-cmv.spdl yahalom.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Niagree_i2 using cat nsl3.spdl onetrace.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Secret_i1 using cat nsl3.spdl onetrace.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Nisynch_i3 using cat nsl3.spdl onetrace.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Secret_i1 using cat nsl3.spdl otwayrees.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Niagree_i2 using cat nsl3.spdl otwayrees.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Nisynch_i3 using cat nsl3.spdl otwayrees.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Niagree_i2 using cat nsl3.spdl simplest.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Secret_i1 using cat nsl3.spdl simplest.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Nisynch_i3 using cat nsl3.spdl simplest.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Secret_i1 using cat nsl3.spdl soph-keyexch.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Niagree_i2 using cat nsl3.spdl soph-keyexch.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Nisynch_i3 using cat nsl3.spdl soph-keyexch.spdl soph.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: spliceAShcCJ CV Secret_7 using cat nsl3.spdl soph.spdl splice-as-hc-cj.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Nisynch_i3 using cat nsl3.spdl soph.spdl splice-as-hc-cj.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Secret_i1 using cat nsl3.spdl soph.spdl splice-as-hc-cj.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: spliceAShcCJ SV Secret_8 using cat nsl3.spdl soph.spdl splice-as-hc-cj.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Niagree_i2 using cat nsl3.spdl soph.spdl splice-as-hc-cj.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Niagree_i2 using cat nsl3.spdl soph.spdl tmn.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Secret_i1 using cat nsl3.spdl soph.spdl tmn.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Nisynch_i3 using cat nsl3.spdl soph.spdl tmn.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Secret_i1 using cat nsl3.spdl soph.spdl unknown2.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Nisynch_i3 using cat nsl3.spdl soph.spdl unknown2.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Niagree_i2 using cat nsl3.spdl soph.spdl unknown2.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Niagree_i2 using cat nsl3.spdl soph.spdl wmf-brutus.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Secret_i1 using cat nsl3.spdl soph.spdl wmf-brutus.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Nisynch_i3 using cat nsl3.spdl soph.spdl wmf-brutus.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Niagree_i2 using cat nsl3.spdl soph.spdl woolam-ce.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Secret_i1 using cat nsl3.spdl soph.spdl woolam-ce.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Nisynch_i3 using cat nsl3.spdl soph.spdl woolam-ce.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Nisynch_i3 using cat nsl3.spdl soph.spdl woolam-cmv.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Niagree_i2 using cat nsl3.spdl soph.spdl woolam-cmv.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Secret_i1 using cat nsl3.spdl soph.spdl woolam-cmv.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Secret_i1 using cat nsl3.spdl soph.spdl yahalom-lowe.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Niagree_i2 using cat nsl3.spdl soph.spdl yahalom-lowe.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: nsl3 IV Nisynch_i3 using cat nsl3.spdl soph.spdl yahalom-lowe.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: yahalom AV Secret_5 using cat nsl3.spdl woolam-cmv.spdl yahalom.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: spliceAShcCJ SV Secret_8 using cat onetrace.spdl soph.spdl splice-as-hc-cj.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: spliceAShcCJ CV Secret_7 using cat onetrace.spdl soph.spdl splice-as-hc-cj.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: yahalom AV Secret_5 using cat onetrace.spdl woolam-cmv.spdl yahalom.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: spliceAShcCJ SV Secret_8 using cat otwayrees.spdl soph.spdl splice-as-hc-cj.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: spliceAShcCJ CV Secret_7 using cat otwayrees.spdl soph.spdl splice-as-hc-cj.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: yahalom AV Secret_5 using cat otwayrees.spdl woolam-cmv.spdl yahalom.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: spliceAShcCJ SV Secret_8 using cat simplest.spdl soph.spdl splice-as-hc-cj.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: spliceAShcCJ CV Secret_7 using cat simplest.spdl soph.spdl splice-as-hc-cj.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: yahalom AV Secret_5 using cat simplest.spdl woolam-cmv.spdl yahalom.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: spliceAShcCJ SV Secret_8 using cat soph-keyexch.spdl soph.spdl splice-as-hc-cj.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: spliceAShcCJ CV Secret_7 using cat soph-keyexch.spdl soph.spdl splice-as-hc-cj.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: yahalom AV Secret_5 using cat soph-keyexch.spdl woolam-cmv.spdl yahalom.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: spliceAShcCJ SV Secret_8 using cat soph.spdl splice-as-hc-cj.spdl tmn.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: spliceAShcCJ CV Secret_7 using cat soph.spdl splice-as-hc-cj.spdl tmn.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: spliceAShcCJ CV Secret_7 using cat soph.spdl splice-as-hc-cj.spdl unknown2.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: spliceAShcCJ SV Secret_8 using cat soph.spdl splice-as-hc-cj.spdl unknown2.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: spliceAShcCJ SV Secret_8 using cat soph.spdl splice-as-hc-cj.spdl wmf-brutus.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: spliceAShcCJ CV Secret_7 using cat soph.spdl splice-as-hc-cj.spdl wmf-brutus.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: spliceAShcCJ SV Secret_8 using cat soph.spdl splice-as-hc-cj.spdl woolam-ce.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: spliceAShcCJ CV Secret_7 using cat soph.spdl splice-as-hc-cj.spdl woolam-ce.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: spliceAShcCJ SV Secret_8 using cat soph.spdl splice-as-hc-cj.spdl woolam-cmv.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: spliceAShcCJ CV Secret_7 using cat soph.spdl splice-as-hc-cj.spdl woolam-cmv.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: spliceAShcCJ SV Secret_8 using cat soph.spdl splice-as-hc-cj.spdl yahalom-lowe.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: spliceAShcCJ CV Secret_7 using cat soph.spdl splice-as-hc-cj.spdl yahalom-lowe.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: yahalom AV Secret_5 using cat soph.spdl woolam-cmv.spdl yahalom.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: yahalom AV Secret_5 using cat tmn.spdl woolam-cmv.spdl yahalom.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: yahalom AV Secret_5 using cat unknown2.spdl woolam-cmv.spdl yahalom.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: yahalom AV Secret_5 using cat wmf-brutus.spdl woolam-cmv.spdl yahalom.spdl | ../src/scyther --summary -m0 -a -r4 -l40 -We found a new flaw: yahalom AV Secret_5 using cat woolam-ce.spdl woolam-cmv.spdl yahalom.spdl | ../src/scyther --summary -m0 -a -r4 -l40 diff --git a/spdl/protocol-list.txt b/spdl/misc/protocol-list.txt similarity index 100% rename from spdl/protocol-list.txt rename to spdl/misc/protocol-list.txt