Changeset 1159
- Timestamp:
- 10/04/21 19:47:13 (3 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
cpp/tests/evol_test-f9.goal
r1009 r1159 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, 4.9,10 2,2.3,4 1,1.3,3 0,0,0 0,0,0 1,1.3,33 Evaluation 20 4, 6.4,13 2,2.8,5 1,1.8,4 0,0,0 0,0,0 1,1.8,44 Evaluation 30 4,6.4,11 2,2.7,4 1,1.7,3 0,0,0 0,0,0 1,2,45 Evaluation 40 4,8.4,15 2,3.2,5 1,2.2,4 0,0,0 0,0,0 1,3,66 Evaluation 50 5,11.1,13 2,4,5 1,3,4 0,0,0 0,0,0 2,4.1,67 Evaluation 60 7,12.1,17 3,4.3,5 2,3.3,4 0,0,0 0,0,0 2,4.5,108 Evaluation 70 7,13.4,22 3,5.1,8 2,4.1,7 0,0,0 0,0,0 2,4.2,79 Evaluation 80 4,15,29 2,5.6,10 1,4.6,9 0,0,0 0,0,0 1,4.8,1010 Evaluation 90 4,19.6,39 2,7,13 1,6,12 0,0,0 0,0,0 1,6.6,1411 Evaluation 99 5,22.2,37 2,7.7,12 1,6.7,11 0,0,0 0,0,0 2,7.8,1412 37.0 /*9*/FUFFRFBLDLUFRL 13 35.0 /*9*/FUFFBFBLDLUFRL 14 14.0 /*9*/LFBDL 15 22.0 /*9*/LDLUUUL 16 5.0 /*9*/LR 17 32.0 /*9*/FUFLBFLUUUF 18 10.0 /*9*/UUL 19 16.0 /*9*/FUUUL 20 29.0 /*9*/FUFLBFUUUL 21 22.0 /*9*/LULUUUL 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 22 22
Note: See TracChangeset
for help on using the changeset viewer.