Changeset 1320


Ignore:
Timestamp:
08/09/24 01:02:37 (3 months ago)
Author:
sz
Message:

update test results

Location:
cpp/tests
Files:
9 edited

Legend:

Unmodified
Added
Removed
  • cpp/tests/evol_test-f4.goal

    r1263 r1320  
    11Evaluation 0    4,4.1,5 2,2,2   1,1,1   0,0,0   0,0,0   1,1.1,2
    2 Evaluation 10   4,5,6   2,2,2   1,1,1   0,0,0   0,0,0   1,2,3
    3 Evaluation 20   4,5.1,6 2,2,2   1,1,1   0,0,0   0,0,0   1,2.1,3
    4 Evaluation 30   5,7.2,11        2,2.3,3 1,1.3,2 0,0,0   0,0,0   2,3.6,6
    5 Evaluation 40   6,8.9,13        2,2.4,3 1,1.4,2 0,0,0   0,0,0   3,5.1,8
    6 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
    7 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
    8 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
    9 Evaluation 80   17,26,32        4,4.8,6 3,3.8,5 0,0.3,1 0,0,0   10,17.1,21
    10 Evaluation 90   5,26.4,35       2,5,6   1,4,5   0,0.1,1 0,0,0   2,17.3,24
    11 Evaluation 99   17,30,36        4,5.5,6 3,4.5,5 0,0,0   0,0,0   10,20,25
    12 35.0    /*4*/<l<XC#2>>X>l<X>l<Xrm>XC>
    13 17.0    /*4*/<<Xrm>X>X>
    14 36.0    /*4*/<l<QXC#2>>X>l<l<Xrm>XC>X>
    15 27.0    /*4*/<l<Xrml>X>l<Xrm>X>
    16 35.0    /*4*/<l<XC#2>>X>l<l<Xrm>XC>X>
    17 33.0    /*4*/<l<Xrml><X>X>l<Xrm>lX>
    18 32.0    /*4*/<l<XC>X>l<l<Xrm>XC>X>
    19 32.0    /*4*/<l<Xrml><X>X>l<Xrm>X>
    20 27.0    /*4*/<l<X>Xrml>l<Xrm>X>
    21 26.0    /*4*/<<Xrm>X>ll<X>Xrm>
     2Evaluation 10   4,5,7   2,2,2   1,1,1   0,0,0   0,0,0   1,2,4
     3Evaluation 20   4,8.2,16        2,2.1,3 1,1.1,2 0,0.2,1 0,0,0   1,4.8,12
     4Evaluation 30   4,14.9,23       2,2.3,3 1,1.3,2 0,0.7,1 0,0,0   1,10.6,17
     5Evaluation 40   13,21.8,30      2,2.5,4 1,1.5,3 1,1.3,2 0,0,0   9,16.5,22
     6Evaluation 50   16,23.8,31      2,2.8,4 1,1.8,3 1,1.1,2 0,0,0   12,18.1,23
     7Evaluation 60   17,25.7,38      2,2.9,4 1,1.9,3 1,1.2,2 0,0,0   13,19.7,31
     8Evaluation 70   24,36.3,44      3,3.2,4 2,2.2,3 1,1.7,2 0,0.2,1 18,29,36
     9Evaluation 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
     10Evaluation 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
     11Evaluation 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
     1241.0    /*4*/m<,Q<X><N:|[-1:2.346]>bX>N:S:+!:>
     1355.0    /*4*/m<<<X#3>>mmQ<,<N:Gpart>mX>N:S:+!:>bX>N:S:+!:>
     1465.0    /*4*/<<GX><<X>mmQ<,<N:G><N:Gpart>mLX>N:S:+!:>bXL>N:S:+!:>
     1555.0    /*4*/m<<<X#4>>mmQ<,<N:Gpart>mX>N:S:+!:>bX>N:S:+!:>
     1661.0    /*4*/<<GX><,<mmQ<,<N:Gpart>mX>N:S:+!:>X#3>>GX>N:S:+!:>
     1747.0    /*4*/<m<,Q<X><N:|[-1:2.346]>bX>N:S:+!:>bX>
     1839.0    /*4*/<,<X#3>>mmQ<,mX>N:S:+!:>N:S:+!:>
     1961.0    /*4*/<<GX><,<X#3>>mmQ<,<N:Gpart>mX>N:S:+!:>GX>N:S:+!:>
     2055.0    /*4*/<<,<X#3>>mmQ<,<N:Gpart>mX>N:S:+!:>GX>N:S:+!:>
     2162.0    /*4*/<<GX><<X#3>>mmQ<,<N:Gpart>mLX>N:S:+!:>bXL>N:S:+!:>
    2222
  • cpp/tests/evol_test-f9.goal

    r1159 r1320  
    11Evaluation 0    4,4,4   2,2,2   1,1,1   0,0,0   0,0,0   1,1,1
    2 Evaluation 10   4,6.8,13        2,2.9,5 1,1.9,4 0,0,0   0,0,0   1,2,4
    3 Evaluation 20   4,7.5,13        2,3.1,5 1,2.1,4 0,0,0   0,0,0   1,2.3,4
    4 Evaluation 30   5,10.5,13       2,4.1,5 1,3.1,4 0,0,0   0,0,0   2,3.3,4
    5 Evaluation 40   7,12.8,22       3,4.9,8 2,3.9,7 0,0,0   0,0,0   2,4,7
    6 Evaluation 50   10,19.8,34      4,7.2,12        3,6.2,11        0,0,0   0,0,0   3,6.4,11
    7 Evaluation 60   13,25,38        5,8.8,13        4,7.8,12        0,0,0   0,0,0   4,8.4,13
    8 Evaluation 70   22,32.4,41      8,11.3,14       7,10.3,13       0,0,0   0,0,0   7,10.8,14
    9 Evaluation 80   22,30.7,40      8,10.7,14       7,9.7,13        0,0,0   0,0,0   7,10.3,13
    10 Evaluation 90   22,36.9,49      8,12.9,17       7,11.9,16       0,0,0   0,0,0   7,12.1,16
    11 Evaluation 99   7,41.2,85       3,14.4,29       2,13.4,28       0,0,0   0,0,0   2,13.4,28
    12 85.0    /*9*/UURUUUUUFLULBURUUUUUUUUUULUB
    13 43.0    /*9*/UURUUUUUFLULBB
    14 31.0    /*9*/UUUUFLULBB
    15 40.0    /*9*/UURUUUUUUULUB
    16 37.0    /*9*/UURBUUUUUUBB
    17 40.0    /*9*/UUUUUUUUUULUB
    18 49.0    /*9*/UURUUUUUUUUUULUB
    19 43.0    /*9*/UURBUUUUFLULBB
    20 37.0    /*9*/UUUUUUUUUUUB
    21 7.0     /*9*/UB
     2Evaluation 10   4,6.5,13        2,2.8,5 1,1.8,4 0,0,0   0,0,0   1,1.9,4
     3Evaluation 20   5,9.3,14        2,3.6,5 1,2.6,4 0,0,0   0,0,0   2,3.1,5
     4Evaluation 30   5,10.6,16       2,4,6   1,3,5   0,0,0   0,0,0   2,3.6,5
     5Evaluation 40   5,11.4,22       2,4.3,8 1,3.3,7 0,0,0   0,0,0   2,3.8,7
     6Evaluation 50   5,18.7,36       2,6.6,12        1,5.6,11        0,0,0   0,0,0   2,6.5,13
     7Evaluation 60   7,24.2,36       3,8.2,12        2,7.2,11        0,0,0   0,0,0   2,8.8,13
     8Evaluation 70   7,32.6,51       3,11.1,17       2,10.1,16       0,0,0   0,0,0   2,11.4,18
     9Evaluation 80   23,38.3,58      8,12.8,19       7,11.8,18       0,0,0   0,0,0   8,13.7,21
     10Evaluation 90   31,40.7,48      10,13.1,16      9,12.2,15       0,0,0   0,0,0   12,15.4,17
     11Evaluation 99   31,50.1,71      10,16,23        9,15.1,22       0,0,0   0,0,0   12,19,26
     1271.0    /*9*/DBBDBFDBBBDBFDBLUBDBFBDBBD
     1344.0    /*9*/DUBDBFDBBFBDBDBBD
     1469.0    /*9*/DBBDBFDBBBDBFDBLUBDBFBDFBD
     1541.0    /*9*/DBBDBFDBBFBDBBFD
     1641.0    /*9*/DUBDBFDBUFBDBDBBD
     1748.0    /*9*/DBBDBFDBFFBDBFBDBBD
     1837.0    /*9*/BDDBLBDBDBBD
     1967.0    /*9*/DBBDBFDBBFBDBBFDBBFBDDDBBD
     2031.0    /*9*/BDFBFBDBDBBD
     2152.0    /*9*/DBBDBFDBLUBDBFBDBBD
    2222
  • cpp/tests/evol_test-fB.goal

    r1301 r1320  
    11Evaluation 0    12,12,12        3,3,3   2,2,2   0,0,0   0,0,0   7,7,7
    2 Evaluation 10   9,14.9,23       2,2.8,4 1,1.8,3 0,0,0   0,0,0   6,10.3,20
    3 Evaluation 20   9,20.4,37       2,2.7,4 1,1.7,3 0,0,0   0,0,0   6,16,32
    4 Evaluation 30   12,20,26        2,2.6,4 1,1.6,3 0,0,0   0,0,0   7,15.8,23
    5 Evaluation 40   12,23.9,39      2,2.3,4 1,1.3,3 0,0,0   0,0,0   9,20.3,34
    6 Evaluation 50   12,31.8,43      2,2.7,4 1,1.7,3 0,0,0   0,0,0   9,27.4,36
    7 Evaluation 60   12,29.5,43      2,2.6,4 1,1.6,3 0,0,0   0,0,0   9,25.3,36
    8 Evaluation 70   23,38.2,44      2,3.1,4 1,2.1,3 0,0,0   0,0,0   20,33,37
    9 Evaluation 80   39,43.6,50      2,3.8,6 1,2.8,5 0,0,0   0,0,0   36,37,39
    10 Evaluation 90   41,45.2,51      3,4.1,6 2,3.1,5 0,0.1,1 0,0.1,1 36,37.8,40
    11 Evaluation 99   41,45.5,51      3,4,5   2,3,4   0,0.2,1 0,0.2,1 36,38.1,42
    12 44.0    //B
    13 3
    14 aaaba"N:s=-0.213"aaa"T:rz=-0.939"zz
    15 47.0    //B
    16 3
    17 aaaa"N:s=-0.213"aaa"T:rz=-0.939"zbkz
    18 45.0    //B
    19 3
    20 aaakba"N:s=-0.213"aaa"T:rz=-0.939"zz
     2Evaluation 10   12,14,22        2,2.8,3 1,1.8,2 0,0,0   0,0,0   7,9.4,19
     3Evaluation 20   9,13.6,22       2,2.6,3 1,1.6,2 0,0,0   0,0,0   6,9.4,19
     4Evaluation 30   9,12,13 2,2.9,3 1,1.9,2 0,0,0   0,0,0   6,7.2,8
     5Evaluation 40   9,12.8,24       2,2.6,3 1,1.6,2 0,0.2,1 0,0,0   6,8.4,19
     6Evaluation 50   10,20.5,25      2,3,4   1,2,3   0,0,0   0,0,0   7,15.5,21
     7Evaluation 60   10,23.4,37      2,3.4,5 1,2.4,4 0,0.1,1 0,0,0   7,17.5,27
     8Evaluation 70   10,36.4,50      2,4.9,6 1,3.9,5 0,0.1,1 0,0,0   7,27.5,39
     9Evaluation 80   10,36.9,61      2,4,6   1,3,5   0,0.5,2 0,0,0   7,29.4,50
     10Evaluation 90   10,41.7,62      2,4.3,7 1,3.3,6 0,0.5,1 0,0,0   7,33.6,51
     11Evaluation 99   33,50.6,66      3,5.5,10        2,4.5,9 0,0.7,2 0,0,0   27,39.9,57
    211241.0    //B
    22133
    23 aaba"N:s=-0.213"aaa"T:rz=-0.939"zz
     14aafaanabaa"*"aaz"T:r=0.936"aa
     1561.0    //B
     163
     17aa"T:r=0.936"azn"N:in=0.727, fo=0.263"aaa"*"apaa
     1861.0    //B
     193
     20aa"T:r=0.962"aaaaz"T:r=0.936"nakbaa"*"aa
    242151.0    //B
    25223
    26 aaa"G"aaba"N:s=-0.213"aaa"T:rz=-0.939"zz
    27 49.0    //B
     23aaazn"N:in=0.727, fo=0.263"aaa"*"aaa
     2466.0    //B
    28253
    29 aabaaaka"N:s=-0.213"aaa"T:rz=-0.939"zz
    30 45.0    //B
     26aa"Gpart:rz=1.136"a"|:r=0.937"az"T:r=0.936"abaa"*"aanaa
     2734.0    //B
    31283
    32 aaa"T:rz=-0.939"zbk"N:s=-0.213"aaaaz
    33 41.0    //B
     29aanabaa"*"aaz"T:r=0.936"aa
     3051.0    //B
    34313
    35 aaaba"N:s=-0.213"aa"T:rz=-0.939"zz
    36 47.0    //B
     32aaazn"N:in=0.727, fo=0.263"aaa"*"aaa
     3354.0    //B
    37343
    38 aaaa"N:s=-0.213"aaa"T:rz=-0.939"zbkz
    39 45.0    //B
     35aa"T:r=0.962"aanakbaa"*"aaz"T:r=0.936"aa
     3654.0    //B
    40373
    41 aaaba"N:s=-0.213"daaa"T:rz=-0.939"zz
     38aa"Gpart:rz=1.136"aanabaa"*"aaz"T:r=0.936"aa
     3933.0    //B
     403
     41aanaba"*"aaz"T:r=0.936"aa
    4242
  • cpp/tests/evol_test-fH.goal

    r1301 r1320  
    1 Evaluation 0    7,7.6,13        2,2.1,3 1,1.1,2 0,0,0   0,0,0   4,4.4,8
    2 Evaluation 10   7,95.7,300      2,2.6,4 1,1.6,3 0,0.3,1 0,0,0   4,91.2,292
    3 Evaluation 20   7,213.5,441     2,3.2,4 1,2.2,3 0,0.5,1 0,0,0   4,207.6,433
    4 Evaluation 30   154,500.3,868   3,4.5,5 2,3.5,4 0,1.1,2 0,0,0   147,491.2,857
    5 Evaluation 40   421,597.5,868   4,4.8,6 3,3.8,5 0,1.2,2 0,0,0   412,587.7,857
    6 Evaluation 50   421,768.7,1432  4,5.6,9 3,4.6,8 0,1.5,3 0,0,0   412,757,1413
    7 Evaluation 60   453,958.1,1444  3,6.7,10        2,5.7,9 1,1.8,3 0,0,0   445,943.9,1424
    8 Evaluation 70   453,1125.2,1582 4,7.6,9 3,6.6,8 1,2,3   0,0,0   445,1109,1562
    9 Evaluation 80   878,1350,1590   7,8.2,10        6,7.2,9 2,2.6,3 0,0,0   863,1332,1570
    10 Evaluation 90   595,1179.2,1736 6,7.7,10        5,6.7,9 1,2.3,4 0,0,0   583,1162.5,1713
    11 Evaluation 99   1015,1336.6,1736        7,8.4,10        6,7.4,9 2,2.9,4 0,0,0   998,1317.9,1713
    12 1735.0  //H
     1Evaluation 0    7,7.1,8 2,2,2   1,1,1   0,0,0   0,0,0   4,4.1,5
     2Evaluation 10   7,88.1,195      2,2.2,3 1,1.2,2 0,0.3,1 0,0,0   4,84.4,189
     3Evaluation 20   16,165.5,336    2,2.8,4 1,1.8,3 0,0.2,1 0,0,0   13,160.7,328
     4Evaluation 30   35,198.1,467    2,2.7,4 1,1.7,3 0,0.2,1 0,0,0   32,193.5,459
     5Evaluation 40   35,180.4,293    2,2.6,4 1,1.6,3 0,0.1,1 0,0,0   32,176.1,289
     6Evaluation 50   153,344.4,722   2,3.1,4 1,2.1,3 0,0.5,2 0,0,0   150,338.7,713
     7Evaluation 60   152,492.2,1713  2,3.2,7 1,2.2,6 0,1,4   0,0.2,2 149,485.6,1694
     8Evaluation 70   153,358,722     2,2.7,4 1,1.7,3 0,0.8,2 0,0,0   150,352.8,713
     9Evaluation 80   278,506.4,1397  2,2.9,5 1,1.9,4 0,1.7,6 0,0,0   273,499.9,1382
     10Evaluation 90   276,435.3,568   2,2.7,3 1,1.7,2 0,1.4,2 0,0,0   272,429.5,561
     11Evaluation 99   278,526.3,998   3,3.5,6 2,2.5,5 0,1.2,2 0,0,0   273,519.1,985
     12425.0   //H
    13133
    14 j:-0.06737845437601209, -0.511148823890835, -0.6820608270354569, -0.050604989752173424, 0.24702021200209856, -0.3239847649820149, fr=0.919, l=1.363
    15 j:0.7835460035130382, 0.9273255281150341, -0.23311695735901594, -0.8865740485489368, -0.45468741096556187, -0.0446697766892612, l=1.272
    16 j:-0.06737845437601209, -0.511148823890835, -0.6820608270354569, -0.050604989752173424, 0.24702021200209856, -0.3239847649820149, fr=0.919, l=1.232
    17 j:0.7835460035130382, 0.9273255281150341, -0.23311695735901594, -0.8865740485489368, -0.45468741096556187, -0.0446697766892612, l=1.272
    18 j:-0.06737845437601209, -0.511148823890835, -0.6820608270354569, -0.050604989752173424, 0.24702021200209856, -0.3239847649820149, fr=0.919, l=1.232
    19 j:
    20 j:0.7835460035130382, 0.9273255281150341, -0.23311695735901594, -0.8865740485489368, -0.45468741096556187, -0.0446697766892612, l=1.272
    21 j:-0.06737845437601209, -0.511148823890835, -0.6820608270354569, -0.050604989752173424, 0.24702021200209856, -0.3239847649820149, fr=0.919, l=1.232
    22 j:0.7835460035130382, 0.9273255281150341, -0.23311695735901594, -0.8865740485489368, -0.45468741096556187, -0.0446697766892612, l=1.272
    23 n:0.1043849429115653, 0.16895214468240738, 0.9238727670162916, 0.4633875167928636, -0.9087707279250026, -0.5816859439946711, d=Gpart:ry=-1.415
    24 n:0.1043849429115653, 0.16895214468240738, 0.9238727670162916, 0.4633875167928636, -0.9087707279250026, -0.5816859439946711, d=Gpart:ry=-1.415
    25 n:0.1043849429115653, 0.16895214468240738, 0.9238727670162916, 0.4633875167928636, -0.9087707279250026, -0.5816859439946711, d=Gpart:ry=-1.415
    26 n:0.1043849429115653, 0.16895214468240738, 0.9238727670162916, 0.4633875167928636, -0.9087707279250026, -0.5816859439946711, d=Gpart:ry=-1.51
     14j:-0.038212927524000406, 0.37732237251475453, 0.7609517863020301, -0.7625445714220405, -0.3640336534008384, -0.1714740232564509, l=1.359
     15j:-0.038212927524000406, 0.37732237251475453, 0.7609517863020301, -0.7625445714220405, -0.3640336534008384, -0.1714740232564509, l=1.359
     16n:-0.4936176179908216, -0.7378895306028426, -0.9759275536052883, 0.5421781041659415, -0.24754683719947934, -0.017950518522411585, d=N:s=-0.244
    2717
    28 1278.0  //H
     18563.0   //H
    29193
    30 j:0.7835460035130382, 0.9273255281150341, -0.23311695735901594, -0.8865740485489368, -0.45468741096556187, -0.0446697766892612, l=1.272
    31 j:0.7835460035130382, 0.9273255281150341, -0.23311695735901594, -0.8865740485489368, -0.45468741096556187, -0.0446697766892612, l=1.364
    32 j:-0.06737845437601209, -0.511148823890835, -0.6820608270354569, -0.050604989752173424, 0.24702021200209856, -0.3239847649820149, fr=0.919, l=1.232
    33 j:0.7835460035130382, 0.9273255281150341, -0.23311695735901594, -0.8865740485489368, -0.45468741096556187, -0.0446697766892612, l=1.272
    34 j:
    35 j:0.2289294134825468, -0.9338508220389485, -0.9687878657132387, 0.6790259419940412, 0.04474106524139643, 0.026149732992053032, rotstif=0.98
    36 n:0.1043849429115653, 0.16895214468240738, 0.9238727670162916, 0.4633875167928636, -0.9087707279250026, -0.5816859439946711, d=Gpart:ry=-1.415
    37 n:0.1043849429115653, 0.16895214468240738, 0.9238727670162916, 0.4633875167928636, -0.9087707279250026, -0.5816859439946711, d=Gpart:ry=-1.415
    38 n:0.1043849429115653, 0.16895214468240738, 0.9238727670162916, 0.4633875167928636, -0.9087707279250026, -0.5816859439946711, d=Gpart:ry=-1.415
    39 c:0.23696052748709917, 0.948512434028089, 0.9806900122202933, -0.5106971822679043, -0.25135360984131694, -0.9086807160638273, 0.005
     20j:-0.038212927524000406, 0.37732237251475453, 0.7609517863020301, -0.7625445714220405, -0.3640336534008384, -0.1714740232564509, l=1.216
     21j:0.7719245310872793, -0.29625887237489223, 0.4767806753516197, 0.6783782416023314, -0.524516352917999, 0.004778912756592035, rotstif=0.889
     22j:-0.038212927524000406, 0.37732237251475453, 0.7609517863020301, -0.7625445714220405, -0.3640336534008384, -0.1714740232564509, l=1.359
     23n:-0.30929664289578795, 0.8561625853180885, 0.4088287986814976, 0.8882395019754767, 0.21650573518127203, 0.19331082561984658, d=N:s=-0.105
    4024
    41 1146.0  //H
     25582.0   //H
    42263
    43 j:0.7835460035130382, 0.9273255281150341, -0.23311695735901594, -0.8865740485489368, -0.45468741096556187, -0.0446697766892612, l=1.272
    44 j:0.7835460035130382, 0.9273255281150341, -0.23311695735901594, -0.8865740485489368, -0.45468741096556187, -0.0446697766892612, l=1.272
    45 j:-0.06737845437601209, -0.511148823890835, -0.6820608270354569, -0.050604989752173424, 0.24702021200209856, -0.3239847649820149, fr=0.919, l=1.232
    46 j:0.7835460035130382, 0.9273255281150341, -0.23311695735901594, -0.8865740485489368, -0.45468741096556187, -0.0446697766892612, l=1.272
    47 j:
    48 j:0.2289294134825468, -0.9338508220389485, -0.9687878657132387, 0.6790259419940412, 0.04474106524139643, 0.026149732992053032, rotstif=0.98
    49 n:0.1043849429115653, 0.16895214468240738, 0.9238727670162916, 0.4633875167928636, -0.9087707279250026, -0.5816859439946711, d=Gpart:ry=-1.415
    50 n:0.1043849429115653, 0.16895214468240738, 0.9238727670162916, 0.4633875167928636, -0.9087707279250026, -0.5816859439946711, d=Gpart:ry=-1.415
    51 n:0.1043849429115653, 0.16895214468240738, 0.9238727670162916, 0.4633875167928636, -0.9087707279250026, -0.5816859439946711, d=Gpart:ry=-1.415
     27j:0.2685481063090265, 0.9178985385224223, 0.30558063788339496, 0.9767476636916399, -0.7959103863686323, -0.5822464828379452, rotstif=0.793, l=1.03
     28j:0.7719245310872793, -0.29625887237489223, 0.4767806753516197, 0.6783782416023314, -0.524516352917999, 0.004778912756592035, rotstif=0.889
     29n:-0.4936176179908216, -0.7378895306028426, -0.9759275536052883, 0.5421781041659415, -0.24754683719947934, -0.017950518522411585, d=N:s=-0.244
     30n:-0.4936176179908216, -0.7378895306028426, -0.9759275536052883, 0.5421781041659415, -0.24754683719947934, -0.017950518522411585, d=N:s=-0.244
    5231
    53 1448.0  //H
     32425.0   //H
    54333
    55 j:-0.06737845437601209, -0.511148823890835, -0.6820608270354569, -0.050604989752173424, 0.24702021200209856, -0.3239847649820149, fr=0.919, l=1.232
    56 j:
    57 j:0.3556330786086619, -0.459984062705189, 0.47038804087787867, 0.13923680875450373, 0.40747456159442663, -0.4230471351183951, l=0.966
    58 j:-0.7859917231835425, 0.17938943253830075, 0.49079614458605647, 0.16680837189778686, 0.8729361924342811, 0.8815633179619908, fr=0.267, l=1.217
    59 j:-0.06737845437601209, -0.511148823890835, -0.6820608270354569, -0.050604989752173424, 0.24702021200209856, -0.3239847649820149, fr=0.919, l=1.363
    60 j:0.7835460035130382, 0.9273255281150341, -0.23311695735901594, -0.8865740485489368, -0.45468741096556187, -0.0446697766892612, l=1.272
    61 j:0.7835460035130382, 0.9273255281150341, -0.23311695735901594, -0.8865740485489368, -0.45468741096556187, -0.0446697766892612, l=1.272
    62 j:-0.06737845437601209, -0.511148823890835, -0.6820608270354569, -0.050604989752173424, 0.24702021200209856, -0.3239847649820149, fr=0.919, l=1.232
    63 n:0.1043849429115653, 0.16895214468240738, 0.9238727670162916, 0.4633875167928636, -0.9087707279250026, -0.5816859439946711, d=Gpart:ry=-1.415
    64 n:0.1043849429115653, 0.16895214468240738, 0.9238727670162916, 0.4633875167928636, -0.9087707279250026, -0.5816859439946711, d=Gpart:ry=-1.415
    65 n:0.1043849429115653, 0.16895214468240738, 0.9238727670162916, 0.4633875167928636, -0.9087707279250026, -0.5816859439946711, d=Gpart:ry=-1.415
     34j:-0.038212927524000406, 0.37732237251475453, 0.7609517863020301, -0.7625445714220405, -0.3640336534008384, -0.1714740232564509, l=1.311
     35j:-0.038212927524000406, 0.37732237251475453, 0.7609517863020301, -0.7625445714220405, -0.3640336534008384, -0.1714740232564509, l=1.359
     36n:-0.4936176179908216, -0.7378895306028426, -0.9759275536052883, 0.5421781041659415, -0.24754683719947934, -0.017950518522411585, d=N:s=-0.244
    6637
    67 1278.0  //H
     38278.0   //H
    68393
    69 j:0.7835460035130382, 0.9273255281150341, -0.23311695735901594, -0.8865740485489368, -0.45468741096556187, -0.0446697766892612, l=1.272
    70 j:0.7835460035130382, 0.9273255281150341, -0.23311695735901594, -0.8865740485489368, -0.45468741096556187, -0.0446697766892612, l=1.272
    71 j:-0.06737845437601209, -0.511148823890835, -0.6820608270354569, -0.050604989752173424, 0.24702021200209856, -0.3239847649820149, fr=0.919, l=1.232
    72 j:0.7835460035130382, 0.9273255281150341, -0.23311695735901594, -0.8865740485489368, -0.45468741096556187, -0.0446697766892612, l=1.272
    73 j:
    74 j:0.2289294134825468, -0.9338508220389485, -0.9687878657132387, 0.6790259419940412, 0.04474106524139643, 0.026149732992053032, rotstif=0.98
    75 n:0.1043849429115653, 0.16895214468240738, 0.9238727670162916, 0.4633875167928636, -0.9087707279250026, -0.5816859439946711, d=Gpart:ry=-1.415
    76 n:0.1043849429115653, 0.16895214468240738, 0.9238727670162916, 0.4633875167928636, -0.9087707279250026, -0.5816859439946711, d=Gpart:ry=-1.415
    77 n:0.1043849429115653, 0.16895214468240738, 0.9238727670162916, 0.4633875167928636, -0.9087707279250026, -0.5816859439946711, d=Gpart:ry=-1.415
    78 c:0.23696052748709917, 0.948512434028089, 0.9806900122202933, -0.5106971822679043, -0.25135360984131694, -0.9086807160638273, 0.005
     40j:0.2685481063090265, 0.9178985385224223, 0.30558063788339496, 0.9767476636916399, -0.7959103863686323, -0.5822464828379452, rotstif=0.793, l=1.03
     41j:-0.038212927524000406, 0.37732237251475453, 0.7609517863020301, -0.7625445714220405, -0.405, -0.1714740232564509, l=1.359
    7942
    80 1438.0  //H
     43563.0   //H
    81443
    82 j:-0.06737845437601209, -0.511148823890835, -0.6820608270354569, -0.050604989752173424, 0.24702021200209856, -0.3239847649820149, fr=0.919, l=1.232
    83 j:
    84 j:0.3556330786086619, -0.459984062705189, 0.47038804087787867, 0.13923680875450373, 0.40747456159442663, -0.4230471351183951, l=0.966
    85 j:-0.7859917231835425, 0.17938943253830075, 0.49079614458605647, 0.16680837189778686, 0.8729361924342811, 0.8815633179619908, l=1.217
    86 j:-0.06737845437601209, -0.511148823890835, -0.6820608270354569, -0.050604989752173424, 0.24702021200209856, -0.3239847649820149, fr=0.919, l=1.363
    87 j:0.7835460035130382, 0.9273255281150341, -0.23311695735901594, -0.8865740485489368, -0.45468741096556187, -0.0446697766892612, l=1.272
    88 j:0.7835460035130382, 0.9273255281150341, -0.23311695735901594, -0.8865740485489368, -0.45468741096556187, -0.0446697766892612, l=1.272
    89 j:-0.06737845437601209, -0.511148823890835, -0.6820608270354569, -0.050604989752173424, 0.24702021200209856, -0.3239847649820149, fr=0.919, l=1.232
    90 n:0.1043849429115653, 0.16895214468240738, 0.9238727670162916, 0.4633875167928636, -0.9087707279250026, -0.5816859439946711, d=Gpart:ry=-1.415
    91 n:0.1043849429115653, 0.16895214468240738, 0.9238727670162916, 0.4633875167928636, -0.9087707279250026, -0.5816859439946711, d=Gpart:ry=-1.415
    92 n:0.1043849429115653, 0.16895214468240738, 0.9238727670162916, 0.4633875167928636, -0.9087707279250026, -0.5816859439946711, d=Gpart:ry=-1.415
     45j:-0.038212927524000406, 0.37732237251475453, 0.7609517863020301, -0.7625445714220405, -0.3640336534008384, -0.1714740232564509, l=1.359
     46j:0.7719245310872793, -0.29625887237489223, 0.4767806753516197, 0.6783782416023314, -0.524516352917999, 0.004778912756592035, rotstif=0.889
     47j:-0.038212927524000406, 0.37732237251475453, 0.7609517863020301, -0.7625445714220405, -0.3640336534008384, -0.1714740232564509, l=1.359
     48n:-0.30929664289578795, 0.8561625853180885, 0.4088287986814976, 0.8882395019754767, 0.21650573518127203, 0.19331082561984658, d=N:s=-0.105
    9349
    94 1015.0  //H
     50998.0   //H
    95513
    96 j:
    97 j:-0.06737845437601209, -0.511148823890835, -0.6820608270354569, -0.050604989752173424, 0.24702021200209856, -0.3239847649820149, fr=0.919, l=1.232
    98 j:
    99 j:0.7835460035130382, 0.9273255281150341, -0.23311695735901594, -0.8865740485489368, -0.45468741096556187, -0.0446697766892612, l=1.272
    100 j:0.7835460035130382, 0.9273255281150341, -0.23311695735901594, -0.8865740485489368, -0.45468741096556187, -0.0446697766892612, l=1.272
    101 j:0.7835460035130382, 0.9273255281150341, -0.23311695735901594, -0.8865740485489368, -0.45468741096556187, -0.0446697766892612, l=1.272
    102 j:-0.06737845437601209, -0.511148823890835, -0.6820608270354569, -0.050604989752173424, 0.24702021200209856, -0.3239847649820149, fr=0.919, l=1.232
    103 n:0.1043849429115653, 0.16895214468240738, 0.9238727670162916, 0.4633875167928636, -0.9087707279250026, -0.5816859439946711, d=Gpart:ry=-1.415
    104 n:0.1043849429115653, 0.16895214468240738, 0.9238727670162916, 0.4633875167928636, -0.9087707279250026, -0.5816859439946711, d=Gpart:ry=-1.415
     52j:0.2685481063090265, 0.9178985385224223, 0.30558063788339496, 0.9767476636916399, -0.7959103863686323, -0.5822464828379452, rotstif=0.793, l=1.03
     53j:0.7719245310872793, -0.29625887237489223, 0.4767806753516197, 0.6783782416023314, -0.524516352917999, 0.004778912756592035, rotstif=0.889
     54j:-0.038212927524000406, 0.37732237251475453, 0.7609517863020301, -0.7625445714220405, -0.3640336534008384, -0.1714740232564509, l=1.359
     55j:0.7719245310872793, -0.29625887237489223, 0.4767806753516197, 0.6783782416023314, -0.524516352917999, 0.004778912756592035, rotstif=0.889
     56j:-0.038212927524000406, 0.37732237251475453, 0.7609517863020301, -0.7625445714220405, -0.3640336534008384, -0.1714740232564509, l=1.359
     57n:-0.4936176179908216, -0.7378895306028426, -0.9759275536052883, 0.5421781041659415, -0.24754683719947934, -0.017950518522411585, d=N:s=-0.244
     58n:-0.30929664289578795, 0.8561625853180885, 0.4088287986814976, 0.8882395019754767, 0.21650573518127203, 0.19331082561984658, d=N:s=-0.105
    10559
    106 1023.0  //H
     60435.0   //H
    107613
    108 j:fr=0.866
    109 j:-0.06737845437601209, -0.511148823890835, -0.6820608270354569, -0.050604989752173424, 0.24702021200209856, -0.3239847649820149, fr=0.919, l=1.232
    110 j:
    111 j:0.7835460035130382, 0.9273255281150341, -0.23311695735901594, -0.8865740485489368, -0.45468741096556187, -0.0446697766892612, l=1.272
    112 j:0.7835460035130382, 0.9273255281150341, -0.23311695735901594, -0.8865740485489368, -0.45468741096556187, -0.0446697766892612, l=1.272
    113 j:0.7835460035130382, 0.9273255281150341, -0.23311695735901594, -0.8865740485489368, -0.45468741096556187, -0.0446697766892612, l=1.272
    114 j:-0.06737845437601209, -0.511148823890835, -0.6820608270354569, -0.050604989752173424, 0.24702021200209856, -0.3239847649820149, fr=0.919, l=1.232
    115 n:0.1043849429115653, 0.16895214468240738, 0.9238727670162916, 0.4633875167928636, -0.9087707279250026, -0.5816859439946711, d=Gpart:ry=-1.415
    116 n:0.1043849429115653, 0.16895214468240738, 0.9238727670162916, 0.4633875167928636, -0.9087707279250026, -0.5816859439946711, d=Gpart:ry=-1.415
     62j:0.2685481063090265, 0.9178985385224223, 0.30558063788339496, 0.9767476636916399, -0.7959103863686323, -0.5822464828379452, rotstif=0.793, l=1.03
     63j:-0.038212927524000406, 0.37732237251475453, 0.7609517863020301, -0.7625445714220405, -0.3640336534008384, -0.1714740232564509, l=1.359
     64n:-0.4936176179908216, -0.7378895306028426, -0.9759275536052883, 0.5421781041659415, -0.24754683719947934, -0.017950518522411585, d=N:s=-0.244
    11765
    118 1736.0  //H
     66435.0   //H
    119673
    120 j:-0.06737845437601209, -0.511148823890835, -0.6820608270354569, -0.050604989752173424, 0.24702021200209856, -0.3239847649820149, fr=0.919, l=1.363
    121 j:0.7835460035130382, 0.9273255281150341, -0.23311695735901594, -0.8865740485489368, -0.45468741096556187, -0.0446697766892612, l=1.272
    122 j:-0.06737845437601209, -0.511148823890835, -0.6820608270354569, -0.050604989752173424, 0.24702021200209856, -0.3239847649820149, fr=0.919, l=1.232
    123 j:0.7835460035130382, 0.9273255281150341, -0.23311695735901594, -0.8865740485489368, -0.45468741096556187, -0.0446697766892612, l=1.272
    124 j:-0.06737845437601209, -0.511148823890835, -0.6820608270354569, -0.050604989752173424, 0.24702021200209856, -0.3239847649820149, fr=0.919, l=1.232
    125 j:
    126 j:0.7835460035130382, 0.9273255281150341, -0.23311695735901594, -0.8865740485489368, -0.45468741096556187, -0.0446697766892612, l=1.272
    127 j:-0.06737845437601209, -0.511148823890835, -0.6820608270354569, -0.050604989752173424, 0.24702021200209856, -0.3239847649820149, fr=0.919, l=1.232
    128 j:0.7835460035130382, 0.9273255281150341, -0.23311695735901594, -0.8865740485489368, -0.45468741096556187, -0.0446697766892612, l=1.272
    129 n:0.1043849429115653, 0.16895214468240738, 0.9238727670162916, 0.4633875167928636, -0.9087707279250026, -0.5816859439946711, d=Gpart:ry=-1.415
    130 n:0.1043849429115653, 0.16895214468240738, 0.9238727670162916, 0.4633875167928636, -0.9087707279250026, -0.5816859439946711, d=Gpart:ry=-1.415
    131 n:0.1043849429115653, 0.16895214468240738, 0.9238727670162916, 0.4633875167928636, -0.9087707279250026, -0.5816859439946711, d=Gpart:ry=-1.415
    132 n:0.1043849429115653, 0.16895214468240738, 0.9238727670162916, 0.4633875167928636, -0.9087707279250026, -0.5816859439946711, d=Gpart:ry=-1.415
     68j:-0.038212927524000406, 0.37732237251475453, 0.7609517863020301, -0.7625445714220405, -0.3640336534008384, -0.1714740232564509, l=1.359
     69j:-0.038212927524000406, 0.37732237251475453, 0.7609517863020301, -0.7625445714220405, -0.3640336534008384, -0.1714740232564509, fr=0.129, l=1.359
     70n:-0.4936176179908216, -0.7378895306028426, -0.9759275536052883, 0.5421781041659415, -0.24754683719947934, -0.017950518522411585, d=N:s=-0.244
    13371
    134 1269.0  //H
     72559.0   //H
    135733
    136 j:-0.06737845437601209, -0.511148823890835, -0.6820608270354569, -0.050604989752173424, 0.24702021200209856, -0.3239847649820149, fr=0.919, l=1.232
    137 j:0.7835460035130382, 0.9273255281150341, -0.23311695735901594, -0.8865740485489368, -0.45468741096556187, -0.0446697766892612, l=1.272
    138 j:
    139 j:0.7835460035130382, 0.9273255281150341, -0.23311695735901594, -0.8865740485489368, -0.45468741096556187, -0.0446697766892612, l=1.272
    140 j:
    141 j:0.3556330786086619, -0.459984062705189, 0.47038804087787867, 0.13923680875450373, 0.40747456159442663, -0.4230471351183951, l=0.966
    142 j:0.7835460035130382, 0.9273255281150341, -0.23311695735901594, -0.8865740485489368, -0.45468741096556187, -0.0446697766892612, l=1.272
    143 j:-0.7859917231835425, 0.17938943253830075, 0.49079614458605647, 0.16680837189778686, 0.8729361924342811, 0.8815633179619908, l=1.217
    144 n:0.1043849429115653, 0.16895214468240738, 0.9238727670162916, 0.4633875167928636, -0.9087707279250026, -0.5816859439946711, d=Gpart:ry=-1.415
    145 n:0.1043849429115653, 0.16895214468240738, 0.9238727670162916, 0.4633875167928636, -0.9087707279250026, -0.5816859439946711, d=Gpart:ry=-1.415
    146 c:0.23696052748709917, 0.948512434028089, 0.9806900122202933, -0.5106971822679043, -0.25135360984131694, -0.9086807160638273, 0.005
     74j:-0.038212927524000406, 0.37732237251475453, 0.7609517863020301, -0.7625445714220405, -0.3640336534008384, -0.1714740232564509, l=1.359
     75j:-0.038212927524000406, 0.37732237251475453, 0.7609517863020301, -0.7625445714220405, -0.3640336534008384, -0.1714740232564509, l=1.359
     76n:-0.4936176179908216, -0.7378895306028426, -0.9759275536052883, 0.5421781041659415, -0.24754683719947934, -0.017950518522411585, d=N:s=-0.244
     77n:0.6790259419940412, 0.04474106524139643, 0.026149732992053032, -0.9338508220389485, -0.9687878657132387, -0.14240856189280748, d=*
    14778
    14879
  • cpp/tests/evol_test-fL.goal

    r1301 r1320  
    11Evaluation 0    34,37.6,38      2,2,2   1,1,1   0,0,0   0,0,0   31,34.6,35
    2 Evaluation 10   34,47.7,77      2,2,2   1,1,1   0,0.2,1 0,0,0   31,44.5,74
    3 Evaluation 20   34,44.8,55      2,2,2   1,1,1   0,0,0   0,0,0   31,41.8,52
    4 Evaluation 30   34,46.4,55      2,2,2   1,1,1   0,0.1,1 0,0,0   31,43.3,52
    5 Evaluation 40   34,51.6,79      2,2,2   1,1,1   0,0.1,1 0,0,0   31,48.5,76
    6 Evaluation 50   36,52.8,62      2,2,2   1,1,1   0,0.3,1 0,0,0   32,49.5,58
    7 Evaluation 60   36,65.2,88      2,2.1,3 1,1.1,2 0,0.8,1 0,0,0   32,61.2,82
    8 Evaluation 70   36,70.5,96      2,2.2,3 1,1.2,2 0,1,2   0,0,0   32,66.1,90
    9 Evaluation 80   69,85.3,123     2,2,2   1,1,1   1,1.1,2 0,0,0   64,81.2,119
    10 Evaluation 90   70,98.3,127     2,2,2   1,1,1   1,1.1,2 0,0,0   66,94.2,123
    11 Evaluation 99   93,117.9,143    2,2,2   1,1,1   1,1.4,2 0,0.2,1 89,113.3,137
    12 143.0   //L
     2Evaluation 10   34,44.7,63      2,2,2   1,1,1   0,0.2,1 0,0,0   31,41.5,59
     3Evaluation 20   34,52.9,75      2,2,2   1,1,1   0,0.1,1 0,0,0   31,49.8,72
     4Evaluation 30   34,63.2,109     2,2,2   1,1,1   0,0,0   0,0,0   31,60.2,106
     5Evaluation 40   34,73.5,125     2,2.1,3 1,1.1,2 0,0.1,1 0,0.1,1 31,70.1,118
     6Evaluation 50   34,77.2,126     2,2,2   1,1,1   0,0,0   0,0,0   31,74.2,123
     7Evaluation 60   56,95.4,126     2,2.1,3 1,1.1,2 0,0.5,2 0,0,0   53,91.7,123
     8Evaluation 70   56,110.7,145    2,2,2   1,1,1   0,1.8,3 0,0,0   53,105.9,139
     9Evaluation 80   56,117.7,158    2,2,2   1,1,1   0,2.5,4 0,0.3,1 53,111.9,150
     10Evaluation 90   112,147.7,180   2,2.1,3 1,1.1,2 3,4,5   0,0.9,1 106,139.6,172
     11Evaluation 99   120,164.5,213   2,2,2   1,1,1   3,4.5,6 0,0.9,1 114,156.1,204
     12158.0   //L
     13i:axiom=rotY(1.9037489495240152)N(d=G)N(d=|:p=0.216)rotZ(0.43379396200180054)C(0.8684280035085976)N(d=Gpart:ry=-0.461)N(d=|:r=0.845)S(), maxwords=300
     14
     15134.0   //L
     16i:axiom=N(d=G)N(d=|:p=0.216)rotZ(0.43379396200180054)C(0.8684280035085976)N(d=Gpart:ry=-0.461)N(d=|:r=0.845)S(), maxwords=300
     17
     18165.0   //L
     19i:axiom=rotY(1.9037489495240152)N(d=G)N(d=|:p=0.216)rotZ(0.43379396200180054)C(0.8684280035085976)N(d=*)N(d=Gpart:ry=-0.461)N(d=|:r=0.845)S(), maxwords=300
     20
     21149.0   //L
    1322w:w0, 2
    14 w:w1, 2
    15 i:axiom=rotX(1.354823648929596)C(0.7401745021343231)w0()N(d=@:p=0.925)C(-0.6802658420056105)N(d=G)S(), 0.0, maxwords=300
     23i:axiom=N(d=G)N(d=S)N(d=|:p=0.216)rotZ(0.43379396200180054)C(0.8684280035085976)N(d=Gpart:ry=-0.461)N(d=|:r=0.845)S(), maxwords=300
    1624
    17 127.0   //L
    18 w:w1, 2
     25120.0   //L
    1926w:w0, 2
    20 i:axiom=rotX(1.354823648929596)C(0.7401745021343231)w0()C(-0.6802658420056105)N(d=G)S(), 0.0, maxwords=300
     27i:axiom=N(d=G)rotZ(0.43379396200180054)C(0.8684280035085976)N(d=@:p=0.979)N(d=|:r=0.845)S(), maxwords=300
    2128
    22 123.0   //L
    23 w:w0, 2
    24 w:w1, 2
    25 i:axiom=N(d=Gpart:ry=-0.962)rotY(1.9037489495240152)C(0.7401745021343231)N(d=G)S(), 0.0, maxwords=300
     29163.0   //L
     30w:w0
     31i:axiom=rotY(1.9037489495240152)N(d=G)N(d=|:p=0.216)rotZ(0.43379396200180054)C(0.8684280035085976)N(d=Gpart:ry=-0.461)N(d=|:r=0.845)S(), maxwords=300
    2632
    27 143.0   //L
    28 w:w0, 2
    29 w:w1, 2
    30 i:axiom=rotX(1.354823648929596)C(0.7401745021343231)w0()N(d=@:p=0.925)C(-0.6802658420056105)N(d=G)S(), 0.0, maxwords=300
     33189.0   //L
     34i:axiom=rotY(1.9037489495240152)N(d=G)N(d=|:p=0.216)rotZ(0.43379396200180054)C(0.8684280035085976)N(d=*)rotY(0.5448737954720855)N(d=Gpart:ry=-0.461)N(d=|:r=0.845)S(), maxwords=300
    3135
    32 102.0   //L
    33 w:w1, 2
    34 w:w0, 2
    35 i:axiom=rotY(1.9037489495240152)C(0.7401745021343231)N(d=G)S(), 0.0, maxwords=300
     36213.0   //L
     37i:axiom=rotY(1.9037489495240152)N(d=G)rotZ(1.4767806753516197)N(d=|:p=0.216)rotZ(0.43379396200180054)C(0.8684280035085976)N(d=*)rotY(0.5448737954720855)N(d=Gpart:ry=-0.461)N(d=|:r=0.845)S(), maxwords=300
    3638
    37 96.0    //L
    38 w:w1, 2
    39 w:w0, 2
    40 i:axiom=rotX(1.354823648929596)C(0.7401745021343231)N(d=G)S(), maxwords=300
     39187.0   //L
     40i:axiom=rotY(1.9037489495240152)N(d=@:p=0.991)N(d=N:fo=1.0)N(d=G)N(d=|:p=0.216)rotZ(0.43379396200180054)C(0.8684280035085976)N(d=Gpart:ry=-0.461)N(d=|:r=0.845)S(), maxwords=300
    4141
    42 123.0   //L
    43 w:w1, 2
    44 w:w0, 2
    45 i:axiom=N(d=Gpart:ry=-0.962)rotY(1.9037489495240152)C(0.7401745021343231)N(d=G)S(), 0.0, maxwords=300
    46 
    47 93.0    //L
    48 w:w0, 2
    49 i:axiom=rotX(1.354823648929596)C(0.7401745021343231)N(d=G)S(), 0.0, maxwords=300
    50 
    51 127.0   //L
    52 w:w0, 2
    53 w:w1, 2
    54 i:axiom=rotX(1.354823648929596)C(0.7401745021343231)w0()C(-0.6802658420056105)N(d=G)S(), 0.0, maxwords=300
    55 
    56 102.0   //L
    57 w:w0, 2
    58 w:w1, 2
    59 i:axiom=rotY(1.9037489495240152)C(0.7401745021343231)N(d=G)S(), 0.0, maxwords=300
     42167.0   //L
     43w:w0
     44i:axiom=w0()rotY(1.9037489495240152)N(d=G)N(d=|:p=0.216)rotZ(0.43379396200180054)C(0.8684280035085976)N(d=Gpart:ry=-0.461)N(d=|:r=0.845)S(), maxwords=300
    6045
    6146
  • cpp/tests/evol_test-fS.goal

    r1033 r1320  
    11Evaluation 0    37,42.4,43      1,1,1   0,0,0   0,0,0   0,0,0   36,41.4,42
    2 Evaluation 10   37,40,45        1,1,1   0,0,0   0,0,0   0,0,0   36,39,44
    3 Evaluation 20   30,50.8,130     1,1.1,2 0,0.1,1 0,0.3,2 0,0,0   29,49.3,126
    4 Evaluation 30   38,82.4,131     1,1.4,2 0,0.4,1 0,0.4,1 0,0,0   37,80.2,127
    5 Evaluation 40   38,91,130       1,1.3,2 0,0.3,1 0,0.3,1 0,0,0   37,89.1,126
    6 Evaluation 50   47,96.1,122     1,1.1,2 0,0.1,1 0,0.2,1 0,0,0   46,94.7,118
    7 Evaluation 60   98,106.2,113    1,1,1   0,0,0   0,0,0   0,0,0   97,105.2,112
    8 Evaluation 70   100,109.8,119   1,1,1   0,0,0   0,0.5,2 0,0,0   99,108.3,116
    9 Evaluation 80   112,114.8,118   1,1,1   0,0,0   0,0.8,2 0,0,0   110,113,115
    10 Evaluation 90   112,141.7,200   1,1.3,2 0,0.3,1 0,1.7,3 0,0,0   110,138.4,195
    11 Evaluation 99   116,183.7,224   1,1.7,2 0,0.7,1 1,2,3   0,0,0   114,179.3,218
    12 216.0   /*S*/1.1,0,0.4:cFiR[*;Gpart]{rx=0.6168,ry=1.4967,rz=-0.468,s=1.026,tx=-0.0382,ty=-0.5913,tz=1.197,x=0.7085,y=0.912,z=0.912}FR{rx=-0.9779,ry=0.174,rz=0.9518,tx=-0.4499,ty=-0.5055,tz=-0.8089,x=0.8736,y=0.8736,z=0.8736}
    13 215.0   /*S*/1.1,0,0.4:cFiR[*;Gpart]{rx=0.6168,ry=1.4967,rz=-0.468,s=1.026,tx=-0.0382,ty=-0.5913,tz=1.197,x=0.7085,y=0.912,z=0.912}R{rx=-0.9779,ry=0.174,rz=0.9518,tx=-0.4499,ty=-0.5055,tz=-0.8089,x=0.8736,y=0.8736,z=0.8736}
    14 224.0   /*S*/1.1,0,0.4:cFiR[*;Gpart]{rx=0.6168,ry=1.4967,rz=-0.468,s=1.026,tx=-0.0382,ty=-0.5913,tz=1.197,x=0.7085,y=0.912,z=0.912}FR[Gpart]{rx=-0.9779,ry=0.174,rz=0.9518,tx=-0.4499,ty=-0.5055,tz=-0.8089,x=0.8736,y=0.8736,z=0.8736}
    15 116.0   /*S*/1.1,0,0.4:csC[N]{rx=0.6168,ry=1.4967,rz=-0.3841,s=1.026,tx=-0.0382,ty=-0.5913,tz=1.197,x=0.6537,y=0.8414,z=0.8414}
    16 208.0   /*S*/1.1,0,0.4:ciC[*;Gpart]{rx=0.6168,ry=1.4967,rz=-0.468,s=1.026,tx=-0.0382,ty=-0.5913,tz=1.197,x=1.465,y=0.359,z=0.88}C{rx=-0.0202,ry=-1.4451,rz=1.0233,tx=-0.593,ty=-1.2751,tz=0.0792,x=1.299,y=1.145,z=1.64}
    17 117.0   /*S*/1.1,0,0.4:ciC[*;Gpart]{rx=0.6168,ry=1.4967,rz=2.579,s=1.026,tx=-0.0382,ty=-0.5913,tz=1.197,x=1.465,y=0.359,z=0.88}
    18 205.0   /*S*/1.1,0,0.4:cFiR[*;Gpart]{rx=0.6168,ry=1.4967,rz=-0.468,s=1.026,tx=-0.0382,ty=-0.5913,tz=1.197,x=0.7085,y=0.912,z=0.912}FR{rx=-0.9779,ry=0.174,rz=0.9518,tx=-0.4499,tz=-0.8089,x=0.8736,y=0.8736,z=0.8736}
    19 120.0   /*S*/1.1,0,0.4:ciR[*;Gpart]{rx=0.6168,ry=1.4967,rz=-0.468,s=1.026,tx=-0.0382,ty=-0.5913,tz=1.197,x=0.7085,y=0.912,z=0.912}
    20 201.0   /*S*/1.1,0,0.4:ciC[*;Gpart]{rx=0.6168,ry=1.4967,rz=-0.468,s=1.026,tx=-0.0382,ty=-0.5913,tz=1.197,x=0.6537,y=0.8414,z=0.8414}E{rx=-0.9779,ry=0.174,rz=0.9518,tx=-0.4499,ty=-0.5055,tz=-0.8089,x=1,y=1,z=1}
    21 215.0   /*S*/1.1,0,0.4:cFiR[*;Gpart]{rx=0.6168,ry=1.4967,rz=-0.468,s=1.026,tx=-0.0382,ty=-0.5913,tz=1.197,x=0.7085,y=0.912,z=0.912}R{rx=-0.9779,ry=0.174,rz=0.9518,tx=-0.4499,ty=-0.5055,tz=-0.8089,x=0.8736,y=0.8736,z=0.8736}
     2Evaluation 10   37,39.4,43      1,1,1   0,0,0   0,0.1,1 0,0,0   36,38.3,42
     3Evaluation 20   29,83.4,138     1,1.5,2 0,0.5,1 0,0,0   0,0,0   28,81.4,135
     4Evaluation 30   46,122.4,139    1,1.8,2 0,0.8,1 0,0.1,1 0,0,0   45,119.7,136
     5Evaluation 40   46,114.3,139    1,1.9,2 0,0.9,1 0,0,0   0,0,0   45,111.5,136
     6Evaluation 50   127,134.6,143   2,2,2   1,1,1   0,0.3,1 0,0,0   124,131.3,139
     7Evaluation 60   37,140.2,213    1,2.1,3 0,1.1,2 0,0.3,1 0,0,0   36,136.7,207
     8Evaluation 70   119,154.7,221   2,2.2,3 1,1.2,2 0,0.6,1 0,0,0   115,150.7,216
     9Evaluation 80   127,182.2,274   2,2.7,4 1,1.7,3 0,0.9,1 0,0,0   124,176.9,266
     10Evaluation 90   154,224.8,285   2,3.4,4 1,2.4,3 1,1,1   0,0,0   150,218,277
     11Evaluation 99   181,264,366     3,3.9,5 2,2.9,4 1,1.2,2 0,0.1,1 175,255.9,356
     12270.0   /*S*/1.1,0,0.4:C{x=0.806,y=0.806,z=3.743}(cC[T:ry=-2.471;*]{x=0.806,y=0.806,z=3.743}bR{f=2.29,rx=-1.5401,ry=0.9311,rz=-0.6023,tx=-0.8168,ty=0.8387,tz=-1.0664,x=0.525,y=0.8736,z=0.8736},C{rx=-0.3851,ry=0.6445,rz=0.9719,tx=1.3427,ty=-0.2881,tz=0.6068,y=1.507,z=0.823})
     13181.0   /*S*/1.1,0,0.4:C{x=0.806,y=0.806,z=3.743}C[T:ry=-2.471]{x=0.806,y=0.806,z=3.743}bR{f=2.29,rx=-1.5401,ry=0.9311,rz=-0.6023,tx=-0.8168,ty=0.8387,tz=-1.0664,x=0.525,y=0.8736,z=0.8736}
     14267.0   /*S*/1.1,0,0.4:C{x=0.806,y=0.806,z=3.743}(cC[T:ry=-2.471]{x=0.806,y=0.806,z=3.743}bR{f=2.29,rx=-1.5401,ry=0.9311,rz=-0.6023,tx=-0.8168,ty=0.8387,tz=-1.0664,x=0.525,y=0.8736,z=0.8736},C{rx=-0.3851,ry=0.6445,rz=0.9719,tx=1.3427,ty=-0.2881,tz=0.6068,y=1.507,z=0.823})
     15275.0   /*S*/1.1,0,0.4:C{x=0.806,y=0.806,z=3.743}(cC[T:ry=-2.471]{x=0.806,y=0.806,z=3.743}bR{f=2.29,rx=-1.5401,ry=0.9311,rz=-0.6023,tx=-0.8168,ty=0.8387,tz=-1.0664,x=0.525,y=0.8736,z=0.8736},C{rx=-0.3851,ry=0.6445,rz=0.9719,tx=1.3427,ty=-0.2881,tz=0.6068,x=1.945,y=1.507,z=0.823})
     16366.0   /*S*/1.1,0,0.4:C{x=0.806,y=0.806,z=3.743}(bC[T:ry=-2.471]{x=0.806,y=0.806,z=3.743}bR{f=2.29,rx=-1.5401,ry=0.9311,rz=-0.6023,tx=-0.8168,ty=0.8387,tz=-1.0664,x=0.525,y=0.8736,z=0.8736}C{rx=-0.8053,ry=0.8926,rz=0.2785,tx=-1.4238,ty=-0.0331,tz=1.5646,x=0.587,y=1.169,z=1.913},C{rx=-0.3851,ry=0.6445,rz=0.9719,tx=1.3427,ty=-0.2881,tz=0.6068,x=1.945,y=1.507,z=0.823})
     17282.0   /*S*/1.1,0,0.4:C{x=0.806,y=0.806,z=3.743}(cC[T:ry=-2.471]{x=0.806,y=0.806,z=3.743}bR[N,0]{f=2.29,rx=-1.5401,ry=0.9311,rz=-0.6023,tx=-0.8168,ty=0.8387,tz=-1.0664,x=0.525,y=0.8736,z=0.8736},C{rx=-0.3851,ry=0.6445,rz=0.9719,tx=1.3427,ty=-0.2881,tz=0.6068,x=1.945,y=1.507,z=0.823})
     18181.0   /*S*/1.1,0,0.4:C{x=0.806,y=0.806,z=3.743}C[T:ry=-2.471]{x=0.806,y=0.806,z=3.743}bR{f=2.29,rx=-1.5401,ry=0.9311,rz=-0.6023,tx=-0.8168,ty=0.8387,tz=-1.0664,x=0.525,y=0.8736,z=0.8736}
     19275.0   /*S*/1.1,0,0.4:C{x=0.806,y=0.806,z=3.743}(bC[T:ry=-2.471]{x=0.806,y=0.806,z=3.743}bR{f=2.29,rx=-1.5401,ry=0.9311,rz=-0.6023,tx=-0.8168,ty=0.8387,tz=-1.0664,x=0.525,y=0.8736,z=0.8736},C{rx=-0.3851,ry=0.6445,rz=0.9719,tx=1.3427,ty=-0.2881,tz=0.6068,x=1.945,y=1.507,z=0.823})
     20275.0   /*S*/1.1,0,0.4:C{x=0.806,y=0.806,z=3.743}(cC[T:ry=-2.471]{x=0.806,y=0.806,z=3.743}bR{f=2.29,rx=-1.5401,ry=0.9311,rz=-0.6023,tx=-0.8168,ty=0.8387,tz=-1.0664,x=0.525,y=0.8736,z=0.8736},C{rx=-0.3851,ry=0.6445,rz=0.9719,tx=1.3427,ty=-0.2881,tz=0.6068,x=1.945,y=1.507,z=0.823})
     21268.0   /*S*/1.1,0,0.4:C{x=0.806,y=0.806,z=3.743}(csC[T:ry=-2.471]{x=0.806,y=0.806,z=3.743}bR{f=2.29,rx=-1.5401,ry=0.9311,rz=-0.6023,tx=-0.8168,ty=0.8387,tz=-1.0664,x=0.525,y=0.8736,z=0.8736},C{rx=-0.3851,ry=0.6445,rz=0.9719,tx=1.3427,ty=-0.2881,tz=0.6068,y=1.507,z=0.823})
    2222
  • cpp/tests/geometry_goals/f1.goal

    r1263 r1320  
    44p:sh=2, sx=0.05, sy=0.5, sz=0.05, vr=0.0, 1.0, 0.0
    55p:sh=2, sx=0.05, sy=0.05, sz=0.5, vr=0.0, 0.0, 1.0
    6 p:y=-0.8325007346354043, -0.2, sh=1, sx=0.05, sy=0.05, sz=0.05, vr=1.0, 1.0, 0.0
    7 p:y=-0.8325007346354043, 0.2, sh=1, sx=0.05, sy=0.05, sz=0.05, vr=1.0, 1.0, 0.0
    8 p:y=0.8325007346354043, -0.2, sh=1, sx=0.05, sy=0.05, sz=0.05, vr=1.0, 1.0, 0.0
    9 p:y=0.8325007346354043, 0.2, sh=1, sx=0.05, sy=0.05, sz=0.05, vr=1.0, 1.0, 0.0
    10 p:3.4767959999999998, -0.8325007346354043, -0.2, sh=1, sx=0.05, sy=0.05, sz=0.05, vr=1.0, 1.0, 0.0
    11 p:3.4767959999999998, -0.8325007346354043, 0.2, sh=1, sx=0.05, sy=0.05, sz=0.05, vr=1.0, 1.0, 0.0
    12 p:3.4767959999999998, 0.8325007346354043, -0.2, sh=1, sx=0.05, sy=0.05, sz=0.05, vr=1.0, 1.0, 0.0
    13 p:3.4767959999999998, 0.8325007346354043, 0.2, sh=1, sx=0.05, sy=0.05, sz=0.05, vr=1.0, 1.0, 0.0
    14 p:1.7383979999999999, sh=2, sx=3.4997300503918867, sy=0.05, sz=0.05, rx=0.2342831811098684, -0.11454484673768733, -3.443227636570292e-17, vr=1.0, 0.0, 0.0
    15 p:1.7383979999999999, sh=2, sx=0.05, sy=1.7117636757570973, sz=0.05, rx=0.2342831811098684, -0.11454484673768733, -3.443227636570292e-17, vr=0.0, 1.0, 0.0
    16 p:1.7383979999999999, sh=2, sx=0.05, sy=0.05, sz=0.8923778124409683, rx=0.2342831811098684, -0.11454484673768733, -3.443227636570292e-17, vr=0.0, 0.0, 1.0
    17 p:0.3325, sh=3, sx=0.3325, sy=0.2, sz=0.2, rx=-1.5707963267948966, rz=3.141592653589793
    18 p:0.6649984710283758, -0.41624999999719187, sh=3, sx=0.41624999999999995, sy=0.2, sz=0.2, rz=1.5707926535897934
    19 p:0.9556250000000001, sh=3, sx=0.290625, sy=0.2, sz=0.2, rx=-1.5707963267948966, rz=3.141592653589793
    20 p:1.5264060000000002, sh=3, sx=0.28015599999999996, sy=0.2, sz=0.2, rx=-1.5707963267948966, rz=3.141592653589793
    21 p:1.8065605671634997, -0.3900779999973684, sh=3, sx=0.390078, sy=0.2, sz=0.2, rz=1.5707926535897931
    22 p:2.19664, sh=3, sx=0.3900779999999999, sy=0.2, sz=0.2, rx=-1.5707963267948966, rz=3.141592653589793
    23 p:3.031757, sh=3, sx=0.44503899999999996, sy=0.2, sz=0.2, rx=-1.5707963267948966, rz=3.141592653589793
    24 p:1.8065605671634997, 0.3900779999973684, sh=3, sx=0.390078, sy=0.2, sz=0.2, rz=-1.5707926535897931
    25 p:0.6649984710283758, 0.41624999999719187, sh=3, sx=0.41624999999999995, sy=0.2, sz=0.2, rz=-1.5707926535897934
     6p:y=-0.8325005509751492, -0.15, sh=1, sx=0.05, sy=0.05, sz=0.05, vr=1.0, 1.0, 0.0
     7p:y=-0.8325005509751492, 0.15, sh=1, sx=0.05, sy=0.05, sz=0.05, vr=1.0, 1.0, 0.0
     8p:y=0.8325005509751492, -0.15, sh=1, sx=0.05, sy=0.05, sz=0.05, vr=1.0, 1.0, 0.0
     9p:y=0.8325005509751492, 0.15, sh=1, sx=0.05, sy=0.05, sz=0.05, vr=1.0, 1.0, 0.0
     10p:3.4767959999999998, -0.8325005509751492, -0.15, sh=1, sx=0.05, sy=0.05, sz=0.05, vr=1.0, 1.0, 0.0
     11p:3.4767959999999998, -0.8325005509751492, 0.15, sh=1, sx=0.05, sy=0.05, sz=0.05, vr=1.0, 1.0, 0.0
     12p:3.4767959999999998, 0.8325005509751492, -0.15, sh=1, sx=0.05, sy=0.05, sz=0.05, vr=1.0, 1.0, 0.0
     13p:3.4767959999999998, 0.8325005509751492, 0.15, sh=1, sx=0.05, sy=0.05, sz=0.05, vr=1.0, 1.0, 0.0
     14p:1.7383979999999999, sh=2, sx=3.4897149490489903, sy=0.05, sz=0.05, rx=0.1776213289780406, -0.08607314756290158, -3.2671104874555106e-17, vr=1.0, 0.0, 0.0
     15p:1.7383979999999999, sh=2, sx=0.05, sy=1.6916145755300782, sz=0.05, rx=0.1776213289780406, -0.08607314756290158, -3.2671104874555106e-17, vr=0.0, 1.0, 0.0
     16p:1.7383979999999999, sh=2, sx=0.05, sy=0.05, sz=0.6791989526823026, rx=0.1776213289780406, -0.08607314756290158, -3.2671104874555106e-17, vr=0.0, 0.0, 1.0
     17p:0.3325, sh=3, sx=0.3325, sy=0.15, sz=0.15, rx=-1.5707963267948966, rz=3.141592653589793
     18p:0.6649984710283758, -0.41624999999719187, sh=3, sx=0.41624999999999995, sy=0.15, sz=0.15, rz=1.5707926535897934
     19p:0.9556250000000001, sh=3, sx=0.290625, sy=0.15, sz=0.15, rx=-1.5707963267948966, rz=3.141592653589793
     20p:1.5264060000000002, sh=3, sx=0.28015599999999996, sy=0.15, sz=0.15, rx=-1.5707963267948966, rz=3.141592653589793
     21p:1.8065605671634997, -0.3900779999973684, sh=3, sx=0.390078, sy=0.15, sz=0.15, rz=1.5707926535897931
     22p:2.19664, sh=3, sx=0.3900779999999999, sy=0.15, sz=0.15, rx=-1.5707963267948966, rz=3.141592653589793
     23p:3.031757, sh=3, sx=0.44503899999999996, sy=0.15, sz=0.15, rx=-1.5707963267948966, rz=3.141592653589793
     24p:1.8065605671634997, 0.3900779999973684, sh=3, sx=0.390078, sy=0.15, sz=0.15, rz=-1.5707926535897931
     25p:0.6649984710283758, 0.41624999999719187, sh=3, sx=0.41624999999999995, sy=0.15, sz=0.15, rz=-1.5707926535897934
    2626j:0, 1, sh=1
    2727j:0, 2, sh=1
     
    4848j:0, 15, sh=1
    4949
    50 # volume=0.463110
    51 # area=7.221219
    52 # sizes.x=3.499730 sizes.y=1.711764 sizes.z=0.892378
    53 # axes.x=(0.993447, -0.000000, -0.114295)
    54 # axes.y=(0.026533, 0.972681, 0.230625)
    55 # axes.z=(0.111172, -0.232146, 0.966307)
     50# volume=0.347332
     51# area=5.180295
     52# sizes.x=3.489715 sizes.y=1.691615 sizes.z=0.679199
     53# axes.x=(0.996298, -0.000000, -0.085967)
     54# axes.y=(0.015189, 0.984267, 0.176035)
     55# axes.z=(0.084614, -0.176689, 0.980623)
    5656# box.x=[0.000000, 3.476796]
    5757# box.y=[-0.832501, 0.832501]
    58 # box.z=[-0.200000, 0.200000]
     58# box.z=[-0.150000, 0.150000]
    5959
  • cpp/tests/shapeconvert.goal

    r1009 r1320  
    11//0s
    2 p:0.5, sh=3, sx=0.5, sy=0.20000000298023224, sz=0.20000000298023224, rx=-1.5707963267948966, rz=3.141592653589793
    3 p:1.249998939636273, -0.4330133140917716, sh=3, sx=0.5, sy=0.20000000298023224, sz=0.20000000298023224, rz=2.0943926535897934
    4 p:1.249998939636273, 0.4330133140917716, sh=3, sx=0.5, sy=0.20000000298023224, sz=0.20000000298023224, rz=-2.0943926535897934
    5 p:1.7499968189088184, 1.2990399422753147, sh=3, sx=0.5, sy=0.20000000298023224, sz=0.20000000298023224, rz=-2.0943926535897934
     2p:0.5, sh=3, sx=0.5, sy=0.15000000596046448, sz=0.15000000596046448, rx=-1.5707963267948966, rz=3.141592653589793
     3p:1.249998939636273, -0.4330133140917716, sh=3, sx=0.5, sy=0.15000000596046448, sz=0.15000000596046448, rz=2.0943926535897934
     4p:1.249998939636273, 0.4330133140917716, sh=3, sx=0.5, sy=0.15000000596046448, sz=0.15000000596046448, rz=-2.0943926535897934
     5p:1.7499968189088184, 1.2990399422753147, sh=3, sx=0.5, sy=0.15000000596046448, sz=0.15000000596046448, rz=-2.0943926535897934
    66j:0, 1, sh=1
    77j:0, 2, sh=1
  • cpp/tests/similarity_goals/distribution.goal

    r1263 r1320  
    1 0.00    0.53    0.24    0.44    0.78   
    2 0.53    0.00    0.73    0.25    1.30   
    3 0.24    0.73    0.00    0.66    0.57   
    4 0.44    0.25    0.66    0.00    1.22   
    5 0.78    1.30    0.57    1.22    0.00   
     10.00    0.54    0.25    0.48    0.74   
     20.54    0.00    0.75    0.25    1.27   
     30.25    0.75    0.00    0.70    0.52   
     40.48    0.25    0.70    0.00    1.22   
     50.74    1.27    0.52    1.22    0.00   
    66
Note: See TracChangeset for help on using the changeset viewer.