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

update test results

File:
1 edited

Legend:

Unmodified
Added
Removed

  • 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
Note: See TracChangeset for help on using the changeset viewer.