Changeset 1320 for cpp/tests/evol_test-f4.goal

Timestamp:

08/09/24 01:02:37 (6 weeks ago)

Author:

sz

Message:

update test results

File:

• cpp/tests/evol_test-f4.goal (modified) (1 diff)

cpp/tests/evol_test-f4.goal

@@ -1 +1 @@
 Evaluation 0    4,4.1,5 2,2,2   1,1,1   0,0,0   0,0,0   1,1.1,2
-Evaluation 10   4,5,6   2,2,2   1,1,1   0,0,0   0,0,0   1,2,3
-Evaluation 20   4,5.1,6 2,2,2   1,1,1   0,0,0   0,0,0   1,2.1,3
-Evaluation 30   5,7.2,11        2,2.3,3 1,1.3,2 0,0,0   0,0,0   2,3.6,6
-Evaluation 40   6,8.9,13        2,2.4,3 1,1.4,2 0,0,0   0,0,0   3,5.1,8
-Evaluation 50   6,12.2,19       2,2.9,4 1,1.9,3 0,0.1,1 0,0,0   3,7.3,13
-Evaluation 60   12,17.8,25      2,3.6,4 1,2.6,3 0,0.4,1 0,0,0   7,11.2,17
-Evaluation 70   12,22.6,30      2,4.1,5 1,3.1,4 0,0.6,1 0,0,0   8,14.8,20
-Evaluation 80   17,26,32        4,4.8,6 3,3.8,5 0,0.3,1 0,0,0   10,17.1,21
-Evaluation 90   5,26.4,35       2,5,6   1,4,5   0,0.1,1 0,0,0   2,17.3,24
-Evaluation 99   17,30,36        4,5.5,6 3,4.5,5 0,0,0   0,0,0   10,20,25
-35.0    /*4*/<l<XC#2>>X>l<X>l<Xrm>XC>
-17.0    /*4*/<<Xrm>X>X>
-36.0    /*4*/<l<QXC#2>>X>l<l<Xrm>XC>X>
-27.0    /*4*/<l<Xrml>X>l<Xrm>X>
-35.0    /*4*/<l<XC#2>>X>l<l<Xrm>XC>X>
-33.0    /*4*/<l<Xrml><X>X>l<Xrm>lX>
-32.0    /*4*/<l<XC>X>l<l<Xrm>XC>X>
-32.0    /*4*/<l<Xrml><X>X>l<Xrm>X>
-27.0    /*4*/<l<X>Xrml>l<Xrm>X>
-26.0    /*4*/<<Xrm>X>ll<X>Xrm>
+Evaluation 10   4,5,7   2,2,2   1,1,1   0,0,0   0,0,0   1,2,4
+Evaluation 20   4,8.2,16        2,2.1,3 1,1.1,2 0,0.2,1 0,0,0   1,4.8,12
+Evaluation 30   4,14.9,23       2,2.3,3 1,1.3,2 0,0.7,1 0,0,0   1,10.6,17
+Evaluation 40   13,21.8,30      2,2.5,4 1,1.5,3 1,1.3,2 0,0,0   9,16.5,22
+Evaluation 50   16,23.8,31      2,2.8,4 1,1.8,3 1,1.1,2 0,0,0   12,18.1,23
+Evaluation 60   17,25.7,38      2,2.9,4 1,1.9,3 1,1.2,2 0,0,0   13,19.7,31
+Evaluation 70   24,36.3,44      3,3.2,4 2,2.2,3 1,1.7,2 0,0.2,1 18,29,36
+Evaluation 80   32,39.4,49      2,3.3,5 1,2.3,4 1,1.9,2 0,0.2,1 24,31.7,38
+Evaluation 90   39,51.4,61      3,4.2,5 2,3.2,4 2,2.5,3 0,0.2,1 32,41.3,49
+Evaluation 99   39,54.1,65      3,4.2,5 2,3.2,4 2,2.8,4 0,0.2,1 32,43.7,52
+41.0    /*4*/m<,Q<X><N:|[-1:2.346]>bX>N:S:+!:>
+55.0    /*4*/m<<<X#3>>mmQ<,<N:Gpart>mX>N:S:+!:>bX>N:S:+!:>
+65.0    /*4*/<<GX><<X>mmQ<,<N:G><N:Gpart>mLX>N:S:+!:>bXL>N:S:+!:>
+55.0    /*4*/m<<<X#4>>mmQ<,<N:Gpart>mX>N:S:+!:>bX>N:S:+!:>
+61.0    /*4*/<<GX><,<mmQ<,<N:Gpart>mX>N:S:+!:>X#3>>GX>N:S:+!:>
+47.0    /*4*/<m<,Q<X><N:|[-1:2.346]>bX>N:S:+!:>bX>
+39.0    /*4*/<,<X#3>>mmQ<,mX>N:S:+!:>N:S:+!:>
+61.0    /*4*/<<GX><,<X#3>>mmQ<,<N:Gpart>mX>N:S:+!:>GX>N:S:+!:>
+55.0    /*4*/<<,<X#3>>mmQ<,<N:Gpart>mX>N:S:+!:>GX>N:S:+!:>
+62.0    /*4*/<<GX><<X#3>>mmQ<,<N:Gpart>mLX>N:S:+!:>bXL>N:S:+!:>