Changeset 1334
- Timestamp:
- 01/08/25 16:51:56 (20 hours ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
cpp/tests/evol_test-f9.goal
r1320 r1334 1 1 Evaluation 0 4,4,4 2,2,2 1,1,1 0,0,0 0,0,0 1,1,1 2 Evaluation 10 4,6. 5,13 2,2.8,5 1,1.8,4 0,0,0 0,0,0 1,1.9,43 Evaluation 20 5,9.3,14 2,3.6,5 1,2.6,4 0,0,0 0,0,0 2,3.1,54 Evaluation 30 5,10. 6,16 2,4,6 1,3,5 0,0,0 0,0,0 2,3.6,55 Evaluation 40 5,11.4,22 2,4.3,8 1,3.3,7 0,0,0 0,0,0 2,3.8,76 Evaluation 50 5,18.7,36 2,6.6,12 1,5.6,11 0,0,0 0,0,0 2,6.5,137 Evaluation 60 7,24.2,36 3,8.2,12 2,7.2,11 0,0,0 0,0,0 2,8.8,138 Evaluation 70 7,32.6,51 3,11.1,17 2,10.1,16 0,0,0 0,0,0 2,11.4,189 Evaluation 80 23,38.3,58 8,12.8,19 7,11.8,18 0,0,0 0,0,0 8,13.7,2110 Evaluation 90 31,40.7,48 10,13.1,16 9,12.2,15 0,0,0 0,0,0 12,15.4,1711 Evaluation 99 31,50.1,71 10,16,23 9,15.1,22 0,0,0 0,0,0 12,19,2612 71.0 /*9*/DBBDBFDBBBDBFDBLUBDBFBDBBD 13 44.0 /*9*/DUBDBFDBBFBDBDBBD 14 69.0 /*9*/DBBDBFDBBBDBFDBLUBDBFBDFBD 15 41.0 /*9*/DBBDBFDBBFBDBBFD16 41.0 /*9*/DUBDBFDBUFBDBDBBD17 48.0 /*9*/DBBDBFDBFFBDBFBDBBD 18 37.0 /*9*/BDDBLBDBDBBD 19 67.0 /*9*/DBBDBFDBBFBDBBFDBBFBDDDBBD20 31.0 /*9*/BDFBFBDBDBBD 21 52.0 /*9*/DBBDBFDBLUBDBFBDBBD 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,6.9,13 2,2.9,5 1,1.9,4 0,0,0 0,0,0 1,2.1,4 4 Evaluation 30 5,10.2,16 2,4,6 1,3,5 0,0,0 0,0,0 2,3.2,5 5 Evaluation 40 7,11.8,16 3,4.5,6 2,3.5,5 0,0,0 0,0,0 2,3.8,5 6 Evaluation 50 10,15.8,19 4,5.9,7 3,4.9,6 0,0,0 0,0,0 3,5,6 7 Evaluation 60 12,16.5,19 4,6.1,7 3,5.1,6 0,0,0 0,0,0 4,5.3,6 8 Evaluation 70 13,17.7,20 5,6.5,7 4,5.5,6 0,0,0 0,0,0 4,5.7,7 9 Evaluation 80 13,18.3,22 5,6.7,8 4,5.8,7 0,0,0 0,0,0 4,5.8,7 10 Evaluation 90 16,18.5,22 6,6.7,8 5,5.9,7 0,0,0 0,0,0 5,5.9,7 11 Evaluation 99 16,18.6,22 6,6.6,8 5,5.9,7 0,0,0 0,0,0 5,6.1,7 12 19.0 /*9*/DDRRRR 13 18.0 /*9*/ULDRDR 14 18.0 /*9*/ULDRRR 15 20.0 /*9*/DBRRUDD 16 22.0 /*9*/DBRRDDD 17 19.0 /*9*/DBRRDR 18 16.0 /*9*/RRRRR 19 17.0 /*9*/DDRRUD 20 21.0 /*9*/ULDRDDR 21 16.0 /*9*/RRRDR 22 22
Note: See TracChangeset
for help on using the changeset viewer.