Changeset 1263 for cpp/tests/evol_test-f4.goal
- Timestamp:
- 06/23/23 00:37:18 (10 months ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
cpp/tests/evol_test-f4.goal
r1009 r1263 1 Evaluation 0 4,4 ,4 2,2,2 1,1,1 0,0,0 0,0,0 1,1,12 Evaluation 10 4,5 .8,15 2,2,2 1,1,1 0,0.1,1 0,0,0 1,2.7,113 Evaluation 20 4,5. 8,15 2,2,2 1,1,1 0,0.1,1 0,0,0 1,2.7,114 Evaluation 30 4,5.5,7 2,2,2 1,1,1 0,0,0 0,0,0 1,2.5,45 Evaluation 40 5,6.3,8 2,2,2 1,1,1 0,0,0 0,0,0 2,3.3,56 Evaluation 50 6, 8.1,10 2,2,2 1,1,1 0,0,0 0,0,0 3,5.1,77 Evaluation 60 6,9.1,11 2,2,2 1,1,1 0,0,0 0,0,0 3,6.1,88 Evaluation 70 8,11.8,20 2,2,2 1,1,1 0,0,0 0,0,0 5,8.8,179 Evaluation 80 1 0,15.1,20 2,2.1,3 1,1.1,2 0,0,0 0,0,0 7,11.9,1710 Evaluation 90 16,18.5,21 2,2,2 1,1,1 0,0,0 0,0,0 13,15.5,1811 Evaluation 99 1 0,17.9,24 2,2,2 1,1,1 0,0,0 0,0,0 7,14.9,2112 20.0 /*4*/IX#2Ql#2>>l#2l>ll 13 17.0 /*4*/ IX#2Ql>l#2l>ll14 21.0 /*4*/IX#2Ql#2>>l#2l>ll, 15 12.0 /*4*/IXl#2l>ll 16 20.0 /*4*/IX#2Ql#2>>l#2l>ll 17 24.0 /*4*/IX#2Ql#2>>l#2l>l#2l,>18 16.0 /*4*/IX#2Ql>#2l>ll 19 10.0 /*4*/IXQl#2>20 2 4.0 /*4*/IXN:M#2Ql#2>>l#2l>ll,21 15.0 /*4*/IX#2l>#2l>ll 1 Evaluation 0 4,4.1,5 2,2,2 1,1,1 0,0,0 0,0,0 1,1.1,2 2 Evaluation 10 4,5,6 2,2,2 1,1,1 0,0,0 0,0,0 1,2,3 3 Evaluation 20 4,5.1,6 2,2,2 1,1,1 0,0,0 0,0,0 1,2.1,3 4 Evaluation 30 5,7.2,11 2,2.3,3 1,1.3,2 0,0,0 0,0,0 2,3.6,6 5 Evaluation 40 6,8.9,13 2,2.4,3 1,1.4,2 0,0,0 0,0,0 3,5.1,8 6 Evaluation 50 6,12.2,19 2,2.9,4 1,1.9,3 0,0.1,1 0,0,0 3,7.3,13 7 Evaluation 60 12,17.8,25 2,3.6,4 1,2.6,3 0,0.4,1 0,0,0 7,11.2,17 8 Evaluation 70 12,22.6,30 2,4.1,5 1,3.1,4 0,0.6,1 0,0,0 8,14.8,20 9 Evaluation 80 17,26,32 4,4.8,6 3,3.8,5 0,0.3,1 0,0,0 10,17.1,21 10 Evaluation 90 5,26.4,35 2,5,6 1,4,5 0,0.1,1 0,0,0 2,17.3,24 11 Evaluation 99 17,30,36 4,5.5,6 3,4.5,5 0,0,0 0,0,0 10,20,25 12 35.0 /*4*/<l<XC#2>>X>l<X>l<Xrm>XC> 13 17.0 /*4*/<<Xrm>X>X> 14 36.0 /*4*/<l<QXC#2>>X>l<l<Xrm>XC>X> 15 27.0 /*4*/<l<Xrml>X>l<Xrm>X> 16 35.0 /*4*/<l<XC#2>>X>l<l<Xrm>XC>X> 17 33.0 /*4*/<l<Xrml><X>X>l<Xrm>lX> 18 32.0 /*4*/<l<XC>X>l<l<Xrm>XC>X> 19 32.0 /*4*/<l<Xrml><X>X>l<Xrm>X> 20 27.0 /*4*/<l<X>Xrml>l<Xrm>X> 21 26.0 /*4*/<<Xrm>X>ll<X>Xrm> 22 22
Note: See TracChangeset
for help on using the changeset viewer.