Changeset 1143 for cpp/tests/evol_test-fL.goal
- Timestamp:
- 06/18/21 14:19:23 (4 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
cpp/tests/evol_test-fL.goal
r1009 r1143 8 8 Evaluation 70 133,158,178 4,4.2,5 3,3.2,4 2,2.9,4 0,0.8,1 124,146.9,167 9 9 Evaluation 80 136,159.7,173 4,4.4,5 3,3.4,4 2,2.8,3 1,1,1 126,148.1,162 10 Evaluation 90 136,163 .1,189 4,4.6,5 3,3.6,4 2,2.8,3 1,1,1 126,151.1,17811 Evaluation 99 136,168. 3,189 4,4.8,5 3,3.8,4 2,2.9,3 1,1,1 126,155.8,17810 Evaluation 90 136,163,189 4,4.6,5 3,3.6,4 2,2.8,3 1,1,1 126,151,178 11 Evaluation 99 136,168.2,189 4,4.8,5 3,3.8,4 2,2.9,3 1,1,1 126,155.7,178 12 12 167.0 //L 13 13 w:w0 … … 15 15 16 16 162.0 //L 17 i:axiom=N(d=Gpart:rz=-0.665)N(d=@:p=0.94 8)N(d=@:p=0.975)S()S(fr=0.8289400283247232)S()C(-0.7881847871467471)S(stam=0.5370225172955543), maxwords=30017 i:axiom=N(d=Gpart:rz=-0.665)N(d=@:p=0.947)N(d=@:p=0.975)S()S(fr=0.8289400283247232)S()C(-0.7881847871467471)S(stam=0.5370225172955543), maxwords=300 18 18 19 19 167.0 //L 20 i:axiom=N(d=Gpart:rz=-0.665)N(d=@:p=0.94 8)N(d=@:p=0.975)S()S(fr=0.8289400283247232)S()C(-0.7881847871467471)S(stam=0.5370225172955543), 0.0, maxwords=30020 i:axiom=N(d=Gpart:rz=-0.665)N(d=@:p=0.947)N(d=@:p=0.975)S()S(fr=0.8289400283247232)S()C(-0.7881847871467471)S(stam=0.5370225172955543), 0.0, maxwords=300 21 21 22 22 136.0 //L … … 24 24 25 25 189.0 //L 26 i:axiom="N(d=Gpart:rz=-0.665)N(d=@:p=0.94 8)N(d=@:p=0.975)S()S(fr=0.8289400283247232, stam=0.4012594970408827)S()C(-0.7881847871467471)S(stam=0.5370225172955543)", maxwords=30026 i:axiom="N(d=Gpart:rz=-0.665)N(d=@:p=0.947)N(d=@:p=0.975)S()S(fr=0.8289400283247232, stam=0.4012594970408827)S()C(-0.7881847871467471)S(stam=0.5370225172955543)", maxwords=300 27 27 28 28 167.0 //L … … 34 34 i: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 35 36 16 7.0 //L36 166.0 //L 37 37 w:w0 38 i:axiom=N(d=Gpart:rz=-0.665)N(d=@:p=0.99 1)N(d=@:p=0.975)S()S(fr=0.8289400283247232)S()C(-0.7881847871467471)S(stam=0.5370225172955543), maxwords=30038 i:axiom=N(d=Gpart:rz=-0.665)N(d=@:p=0.99)N(d=@:p=0.975)S()S(fr=0.8289400283247232)S()C(-0.7881847871467471)S(stam=0.5370225172955543), maxwords=300 39 39 40 40 189.0 //L … … 43 43 44 44 167.0 //L 45 i:axiom=N(d=Gpart:rz=-0.665)N(d=@:p=0.94 8)N(d=@:p=0.975)S()S(fr=0.8289400283247232)S()C(-0.7881847871467471)S(stam=0.5370225172955543), 0.0, maxwords=30045 i:axiom=N(d=Gpart:rz=-0.665)N(d=@:p=0.947)N(d=@:p=0.975)S()S(fr=0.8289400283247232)S()C(-0.7881847871467471)S(stam=0.5370225172955543), 0.0, maxwords=300 46 46 47 47
Note: See TracChangeset
for help on using the changeset viewer.