ctest dfa

[unres.git] / ctest / dfa / template05.sco

diff --git a/ctest/dfa/template05.sco b/ctest/dfa/template05.sco
index 2a5d3f4..e93c26d 100644 (file)
--- a/ctest/dfa/template05.sco
+++ b/ctest/dfa/template05.sco
@@ -1,75 +1,75 @@
-1 1.0 1.0 0
-2 1.0 1.0 0
-3 1.0 1.0 0
-4 1.0 0.2 1
-5 1.0 0.2 1
-6 1.0 0.2 1
-7 1.0 0.2 1
-8 1.0 0.2 1
-9 1.0 0.2 1
-10 1.0 0.2 1
-11 1.0 0.2 1
-12 1.0 1.0 0
-13 1.0 1.0 0
-14 1.0 1.0 0
-15 1.0 1.0 0
-16 1.0 1.0 0
-17 1.0 1.0 0
-18 1.0 1.0 0
-19 1.0 1.0 0
-20 1.0 0.2 2
-21 1.0 0.2 2
-22 1.0 0.2 2
-23 1.0 0.2 2
-24 1.0 0.2 2
-25 1.0 0.2 2
-26 1.0 0.2 2
-27 1.0 0.2 2
-28 1.0 0.2 2
-29 1.0 0.2 2
-30 1.0 0.2 2
-31 1.0 0.2 2
-32 1.0 0.2 2
-33 1.0 0.2 2
-34 1.0 0.2 2
-35 1.0 0.2 2
-36 1.0 0.2 2
-37 1.0 0.2 2
-38 1.0 0.2 2
-39 1.0 0.2 2
-40 1.0 0.2 2
-41 1.0 0.2 2
-42 1.0 0.2 2
-43 1.0 0.2 2
-44 1.0 0.2 2
-45 1.0 0.2 2
-46 1.0 0.2 2
-47 1.0 0.2 2
-48 1.0 0.2 2
-49 1.0 0.2 2
-50 1.0 0.2 2
-51 1.0 1.0 0
-52 1.0 1.0 0
-53 1.0 1.0 0
-54 1.0 1.0 0
-55 1.0 1.0 0
-56 1.0 1.0 0
-57 1.0 0.2 3
-58 1.0 0.2 3
-59 1.0 0.2 3
-60 1.0 0.2 3
-61 1.0 0.2 3
-62 1.0 0.2 3
-63 1.0 0.2 3
-64 1.0 0.2 3
-65 1.0 0.2 3
-66 1.0 0.2 3
-67 1.0 1.0 0
-68 1.0 1.0 0
-69 1.0 1.0 0
-70 1.0 1.0 0
-71 1.0 1.0 0
-72 1.0 1.0 0
-73 1.0 1.0 0
-74 1.0 1.0 0
-75 1.0 1.0 0
+1  1.0 1.0 1.0 0
+2  1.0 1.0 1.0 0
+3  1.0 1.0 1.0 0
+4  1.0 0.2 0.2 1
+5  1.0 0.2 0.2 1
+6  1.0 0.2 0.2 1
+7  1.0 0.2 0.2 1
+8  1.0 0.2 0.2 1
+9  1.0 0.2 0.2 1
+10 1.0 0.2 0.2 1
+11 1.0 0.2 0.2 1
+12 1.0 1.0 1.0 0
+13 1.0 1.0 1.0 0
+14 1.0 1.0 1.0 0
+15 1.0 1.0 1.0 0
+16 1.0 1.0 1.0 0
+17 1.0 1.0 1.0 0
+18 1.0 1.0 1.0 0
+19 1.0 1.0 1.0 0
+20 1.0 0.2 0.2 2
+21 1.0 0.2 0.2 2
+22 1.0 0.2 0.2 2
+23 1.0 0.2 0.2 2
+24 1.0 0.2 0.2 2
+25 1.0 0.2 0.2 2
+26 1.0 0.2 0.2 2
+27 1.0 0.2 0.2 2
+28 1.0 0.2 0.2 2
+29 1.0 0.2 0.2 2
+30 1.0 0.2 0.2 2
+31 1.0 0.2 0.2 2
+32 1.0 0.2 0.2 2
+33 1.0 0.2 0.2 2
+34 1.0 0.2 0.2 2
+35 1.0 0.2 0.2 2
+36 1.0 0.2 0.2 2
+37 1.0 0.2 0.2 2
+38 1.0 0.2 0.2 2
+39 1.0 0.2 0.2 2
+40 1.0 0.2 0.2 2
+41 1.0 0.2 0.2 2
+42 1.0 0.2 0.2 2
+43 1.0 0.2 0.2 2
+44 1.0 0.2 0.2 2
+45 1.0 0.2 0.2 2
+46 1.0 0.2 0.2 2
+47 1.0 0.2 0.2 2
+48 1.0 0.2 0.2 2
+49 1.0 0.2 0.2 2
+50 1.0 0.2 0.2 2
+51 1.0 1.0 1.0 0
+52 1.0 1.0 1.0 0
+53 1.0 1.0 1.0 0
+54 1.0 1.0 1.0 0
+55 1.0 1.0 1.0 0
+56 1.0 1.0 1.0 0
+57 1.0 0.2 0.2 3
+58 1.0 0.2 0.2 3
+59 1.0 0.2 0.2 3
+60 1.0 0.2 0.2 3
+61 1.0 0.2 0.2 3
+62 1.0 0.2 0.2 3
+63 1.0 0.2 0.2 3
+64 1.0 0.2 0.2 3
+65 1.0 0.2 0.2 3
+66 1.0 0.2 0.2 3
+67 1.0 1.0 1.0 0
+68 1.0 1.0 1.0 0
+69 1.0 1.0 1.0 0
+70 1.0 1.0 1.0 0
+71 1.0 1.0 1.0 0
+72 1.0 1.0 1.0 0
+73 1.0 1.0 1.0 0
+74 1.0 1.0 1.0 0
+75 1.0 1.0 1.0 0