source: cpp/tests/evol_test-fL.goal @ 1092

Last change on this file since 1092 was 1009, checked in by Maciej Komosinski, 4 years ago

Added tests for most SDK demo programs

File size: 2.4 KB
RevLine 
[1009]1Evaluation 0    34,37.6,38      2,2,2   1,1,1   0,0,0   0,0,0   31,34.6,35
2Evaluation 10   29,40.4,56      2,2,2   1,1,1   0,0,0   0,0,0   26,37.4,53
3Evaluation 20   29,53,98        2,2.2,3 1,1.2,2 0,0.5,2 0,0.2,1 26,48.9,90
4Evaluation 30   29,80,119       2,2.3,3 1,1.3,2 0,1.2,2 0,0.6,1 26,74.6,111
5Evaluation 40   29,84.7,147     2,2.4,4 1,1.4,3 0,1.2,2 0,0.6,1 26,79.1,137
6Evaluation 50   34,126.8,162    2,3.5,4 1,2.5,3 0,2,3   0,0.5,1 31,118.3,151
7Evaluation 60   124,148.5,162   4,4,4   3,3,3   2,2.6,3 0,0.6,1 115,138.3,151
8Evaluation 70   133,158,178     4,4.2,5 3,3.2,4 2,2.9,4 0,0.8,1 124,146.9,167
9Evaluation 80   136,159.7,173   4,4.4,5 3,3.4,4 2,2.8,3 1,1,1   126,148.1,162
10Evaluation 90   136,163.1,189   4,4.6,5 3,3.6,4 2,2.8,3 1,1,1   126,151.1,178
11Evaluation 99   136,168.3,189   4,4.8,5 3,3.8,4 2,2.9,3 1,1,1   126,155.8,178
12167.0   //L
13w:w0
14i:axiom=N(d=Gpart:rz=-0.665)N(d=@:p=0.993)N(d=@:p=0.975)S()S(fr=0.8289400283247232)S()C(-0.7881847871467471)S(stam=0.5370225172955543), maxwords=300
15
16162.0   //L
17i:axiom=N(d=Gpart:rz=-0.665)N(d=@:p=0.948)N(d=@:p=0.975)S()S(fr=0.8289400283247232)S()C(-0.7881847871467471)S(stam=0.5370225172955543), maxwords=300
18
19167.0   //L
20i:axiom=N(d=Gpart:rz=-0.665)N(d=@:p=0.948)N(d=@:p=0.975)S()S(fr=0.8289400283247232)S()C(-0.7881847871467471)S(stam=0.5370225172955543), 0.0, maxwords=300
21
22136.0   //L
23i:axiom=N(d=@:p=0.993)N(d=@:p=0.975)S(fr=0.8289400283247232)S()C(-0.7881847871467471)S(stam=0.5370225172955543), maxwords=300
24
25189.0   //L
26i:axiom="N(d=Gpart:rz=-0.665)N(d=@:p=0.948)N(d=@:p=0.975)S()S(fr=0.8289400283247232, stam=0.4012594970408827)S()C(-0.7881847871467471)S(stam=0.5370225172955543)", maxwords=300
27
28167.0   //L
29w:w0
30i:axiom=N(d=Gpart:rz=-0.665)N(d=@:p=0.993)N(d=@:p=0.975)S()S(fr=0.8289400283247232)S()C(-0.7881847871467471)S(stam=0.5370225172955543), maxwords=300
31
32172.0   //L
33w:w0
34i:axiom=N(d=Gpart:rz=-0.665)N(d=@:p=0.993)N(d=@:p=0.975)S()S(fr=0.8289400283247232)S()C(-0.7881847871467471)S(stam=0.5370225172955543), 0.0, maxwords=300
35
36167.0   //L
37w:w0
38i:axiom=N(d=Gpart:rz=-0.665)N(d=@:p=0.991)N(d=@:p=0.975)S()S(fr=0.8289400283247232)S()C(-0.7881847871467471)S(stam=0.5370225172955543), maxwords=300
39
40189.0   //L
41w:w0
42i:axiom=N(d=Gpart:rz=-0.665)N(d=@:p=0.993)N(d=@:p=0.975)S()S(fr=0.8289400283247232)C(-0.8130810903385282)C(-0.7881847871467471)S(stam=0.5370225172955543), 0.0, maxwords=300
43
44167.0   //L
45i:axiom=N(d=Gpart:rz=-0.665)N(d=@:p=0.948)N(d=@:p=0.975)S()S(fr=0.8289400283247232)S()C(-0.7881847871467471)S(stam=0.5370225172955543), 0.0, maxwords=300
46
47
Note: See TracBrowser for help on using the repository browser.