- Timestamp:
- Nov 15, 2017, 1:42:41 PM (6 years ago)
- Branches:
- (u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')
- Children:
- 27bb789a6e8f2e1b0194f9c70ebd97a64a7383df
- Parents:
- b61a5ae28476abbc371c65a3265cf49056224a75
- Location:
- Tst
- Files:
-
- 15 edited
-
Long/classify2.res.gz.uu (modified) (1 diff)
-
Long/classify2.stat (modified) (1 diff)
-
Long/classify2.tst (modified) (1 diff)
-
Short/combinat.res.gz.uu (modified) (1 diff)
-
Short/combinat.stat (modified) (1 diff)
-
Short/combinat.tst (modified) (1 diff)
-
Short/methods.res.gz.uu (modified) (1 diff)
-
Short/methods.stat (modified) (1 diff)
-
Short/methods.tst (modified) (1 diff)
-
Short/polyclass.res.gz.uu (modified) (1 diff)
-
Short/polyclass.stat (modified) (1 diff)
-
Short/polyclass.tst (modified) (1 diff)
-
Short/sets.res.gz.uu (modified) (1 diff)
-
Short/sets.stat (modified) (1 diff)
-
Short/sets.tst (modified) (5 diffs)
Legend:
- Unmodified
- Added
- Removed
-
Tst/Long/classify2.res.gz.uu
rb61a5a r31e58a 1 1 begin 640 classify2.res.gz 2 M'XL(" +GG^5D"`V-L87-S:69Y,BYR97,`M5SK;]LX$O]NX/X'(?UB1;(C/B223 M EW6`WJ8%6MPN%K<+.)L@#=S6OE/73K*QLV??HO_[D=2#HR=%-]L/223-ZS<D4 M AYSAH#__<OGN1\_ST(7WSW?_\$YVV]UTG7X\.?_;Z.?\$[[PY-N[]#[=C7WY5 M 7OWA75QXG]:+[39='?#T?OG?Z7:WV)4LY,(S_'2:B3;T-07QA??XE-[OULL_6 M ENM9!+XD4`Z;@@<^]23+O[U_>3,O"L?[\."'G[>`50!6%$V]=;K=>>G]Y_2/7 M ]//S8KV5?.K5^.3-77(2[C^0X/"!AOJ5[X>&%4U+.I;1[4\/'T@+)3:4O)`88 M M]"1@N[J3B@Z&NP_8"D3&POR%Q4V6K"]OT-1;DG)EW3SQ<8LA`N[6$XOJ>,*9 M =0*HB<&;XSA\X!5J!JAI(9L;V4F%F@/JTD,H,N0L5#^K*@1@$L8@5AB$4"A_10 M 5"#CR/#@J%2$C"*N%8D*4SG0UW<(::;3@QE!14\K]!C0XX)>D\&Q(!4>`GB(11 M T9%TC`:F@)X9>NAAC815N&+`Q:%E2>$TH7P659@2P"2,*M$[.KB<`//<"12X12 M K,4!'-"3?/(;E]4F#!:`FAGJ<C*RL&8/B0`'+^QAT!X:9K\KCB;(+*XQ"2,?13 M KB\"W)"]:/J<@-DP1H4`Y?92!&N*J*`EQ-A>BJ!`0%(3D,'Q?1/T"`5!C\AI14 M \/BP/GBK*%PA0"2#ZD_Z/7C'+KP?'YXVB_5;^?/-[\^+7?IP[[T%%/PB"Z&?15 M 5C)RRK6$"/@H@^UF\>@]_B<U+VET(>/MSOL"7B%@'Y4N4]]WCS#D4[EUK!Z>16 M O+'ZE"I5Y^EWLVWZO^48!&__/`T"_T_#);&F*\GTW06%K^5T.YET_P.;4(RF17 M <'>X26]OT"WX+%?B*IK5*#"DD$M!&_YEALZ_-$U6].36/_]2,3R1$U;^DZ)718 M 4?!I=?/E]K3!(U\:-8F<)5_-DURUTNG231\7VZ7:$,-]H"==D.T+V:Y&3O<!19 M SF(`D"17UPK-)/MX%8%)Q.2XJ#'>+'Y;JGDR7B'X-?>T'+49\O_\]+!Y7"_W20 M OQP>E^.5?_[56ZZW2\_@8W($WDIA.=WW^1%`T98T7+H>S#1.(4(NW7J2WC\^21 M [[R38+M3$*OFB@B2B\P]/6,^DOO]Z/N'I\7];](N/,JFO1RYC;<LYOW#RMM)22 M 1/+[FYODMI5DYNVE;^GHAW1]+T?]_GGS<?DDWR:C'QX^+];I[J`.)J/+Y6[Y23 M M$GO%Y\.WG<SCXY&&9:,N=],YF(FZS%S?R`-.UFOG3&P4W'W&\I=#.5]_HP;24 M =O+!=DKF/C/5J6FTETX?;.O[&Q3U&(OP'A_D&DL:-DM%P&@T^FGQM-@HPSUE25 M O'JE6>M@&`!CA/>['F$7WR/<C6>"T/X03PZL"0=;X&2L=3@<PE$$@91M04.<26 M T)`>-$H?0@?>1$-L@Z.X:EA$93WDDBU8J!,6VC?3I/>2H`T+M6*1G'U@2M$627 M ,$Y+'''+-&,!(OL##PYJI=0Q558\KF':%M.-A9Z640<G)VL5'=1E`2F<0(K>28 M V<>DE0>$I/*#6C]UD&(`2,FN0"K^.DA2F8\L@+KZ0>+(!22.+-.23Y1WQ42J29 M ;X#$D0VDEA!ZF8Q>D)I2CZ0(E*X^D"I_&P[R^@:A;I`'K9FV[4P*L77QT9X=30 M "\BVP,%.<+`%#CZH24/=XWS&6T>4U!`5XBV8B!,F8ANBN'4C)@.&*+8!RF1;31 M X#`G.,P&)]%SG;4&?39D6259?&0]P;^AR0*1.T'D?1"U6B37L@I9Q^P!BCD+32 M CHTSH7P#(-8T62`*)XC"-HKEWB..V`%Z=[FH/HQ`51_&N5,PF?<%$SK)%OND33 M +38..3*VQ!(3'6D12BS1<>X42>9]D82JL*4FRU&!I'G.2@"84K(%"W/"PGH&34 M 1QWFI48U+XX*(II9+S'>?;*GQ6DX5V-!QYW0\9Z1TI.#JH,#[DA:!H00)2([35 M ?>"^]*70%F2$MC0FKR".U,G;(=>4/+9D4QZ>R1F.F3I=RE]M426QHM:"-.I<36 M 5".VH'H>2HHM0ECBIRY;CM26ZA)&^X`?H`5)T#;0\5#(6D1/EMK4U3^=,[0N37 M ,[H'J9S+I7(UU]J"4&Q?LP8J;IX]&9S2=6U%`0V6D$4\5>594#P625&>'5J:38 M %8-KL"CJK<&BR%:#1=$Q-5B$'&NP",$:+$+'UV`1:J_!(MQ7@T78J0:+L+T&39 M BTBE!HL([:^Z(L*@"V@TJ.HJ1_/O(^EI7525`Z<?(FL5U+"QX6P<L/&A;%=W40 M HF2[NA&&#=E+BP5?5C4<QJCK=\9.==@:S$@@(W%@I)"1.C!"ER+@4VROJP!&41 M ,9P11X`11T,9=?Y?,&;I_3",UW`XKAV&XQH.Q[7#<.C$$3`R!XP<,G('1@$942 M !P_''#IG[N"<.73.W,$Y<^B<N8-SYM`Y<P?G%$<WLY;UJ6RH9[,#`7#N<.9Y43 M C7E>9RXB+;A!1>H&U3P0^$#A0PP?$OC`X$-^-^^M%IMTG2Y-,PVB(KO*W3S/44 M $#>O8W7#*_>AS?.%VH<*OAN][19/?H!N9]F]]NN[<C/9//NAEVV1\N\`^46?45 M S%<@'F*-\;3410?HNFSJTOT,\FG2KHU`;=1H0[W0RC:B]PV%L#]'J:7R;=ZX46 M D#V"JWNDKH_+?]D):Z;.5Y)09">J`3;\>C<NC4@#Z@<G8?E,`R5JDLJ7_HDR47 M 3[Z1#\!$&HQS$K_6370._)3`^U:4R'/#V9EY!*.$H@'#=-7P&JUY+?9#X+3848 M KPQ:(@<-JH?#Q@:HUPL>6#!!2>:?:O>'^L+\_(_$]Z!%S`^+]U73XJIIB3(M49 M LRP98)F.)A7+XM*R2EN)^L;]TLB*;;RPC57FFKKY!Z;I"W^;/?-N>VC-&N&750 M 9E6L$84UO&*-ZBB`UO!B#+W-PV</>[.9%_F>W6/S5UTFCK-`0WSY2[7=C)5P51 M ><#WL#\A?N,5+LQNTH9-6K4Z2N-Y=3FH5@89,U6`,WA51T,=('I!@'HLQIG#52 M <S/A2U:\].`BK]*';?05H+KKPF`2,%0+N"T)N"T).BU;@L[.O--3[VGY>;E*53 M [U4GYY>LYT=^\TOZ&(I-IM5>(218:S):NJZ:B2(AAF:B.)(03M[I_$>E53()54 M *D>GFI3B2,]>\!5\XCI?A9P@6<6JL[21K$+B1J:*50]H+5.M,L`T%2.8HV'555 M %'EVUI^HMB:I6'4MMO&=#DMRL6HM;$ERL6KOZTQR,<$N22Y6W6Z6)!<3#I-<56 M 3!'T#[6DO)@R:Y(+9LSK2K4366I#K_NJG=*]2%@*G,U;$'/1D_$/M/O2J4I[57 M V6NW/&\AYFRXJ5+E`@9:_M[)\O>]-U2![KY!^("HQ?[6[A[%5H=5::DRT@>"58 M DR>[.$38H=SXJTS1PK@+8M%?%`?[MO8$?E0#D^F]R,7OX\#6D5#%F(3RM.V$59 M $86)#6,B,:(7PXCJ&!-K0T(5(PM1Y(8Q"ID-(Y,8HQ?#&-4Q,FO[3!4C#X4360 M 1!%R&T(>[,5+`11U?-9[TRH\::X3/.D."[Q]^R7QR\#+?#<<GIIP3OC4E+8!61 M 9`.ZO8Z?H?D"<,`H`X<31A6:;!BS4/!719H\D#E@E!N`$T:UQ=@P9B']K]HQ62 M \@UI(,8KIRW_JO]*6>F?J$V9N*/+^;H[V*C9\\GP`\V8A"Y;OBI7]G7X9E?(63 M T@0T8=0^BATWC+HM,1?0VY>H[Q>Q;DRD#L<`7?D@OML5<F]_6&E)%!!!^!FS64 M K]+V>V0I(?2,B)Z+\XI2!7_PNIV[PI_WPJ?EJ(M)S(]MN,6JVRKG[VY%HB5H65 M H3$/CL=99<,)]"L+ZNQZ6S5_X?TAF2"Z/ZY)!.M6NIR_IT6DJB_(Z)W@4U?X66 M =`#\K",@5O;@MI8",:RE(`Z]7$)G.V'5!4!GD3YS4\O!5)BJ$(ZC6I<!5I7_67 M X84=')/!A9TX&5K8B45G84=5N7L*.TGL7-A)N$MAAU4*%XP>6]AA[-L*.SQJ68 M +^QPTE?8X8E388<+>V%'51Q!84>UK1C_Z`:4GL(.B9!S8:>XIGM=N5R,CJ^X69 M %`(O.P2Z5T)`/P*'-ZXO480H9!<UAKKT;TO_@72=W7=)/R[Q!M)U7MTE_:B470 M UPC7&6V7[&/232-:9Y,=HH]+]8SL+)/K$GY<DF6D9SE4E_3CTALC/<M>NJ2[71 M )Q:F$ZAU!7W+D1XV&&!XS?]BIV?8A4#:-'S["17V*K2I^/;C8*GA5:>*%SEW72 K5?10JY[&X89$V!QN2`2NO$A$X8/JI]SN[M3_E?*\'<M=\?\I#FQ1?T4`````2 M'XL("#,E#%H"`V-L87-S:69Y,BYR97,`M5SK;^,V$O_NOT)([X,5R8GXD$A= 3 MZ@![W1;HXEH4UP+>;K`;N+OVG5([26.G9U_1__WXD,31BQ2]Z7Y(;&E>OR$Y 4 MY`PG^^-/K[_]/@@"=!W\\]M_!&?[W?YB4_QR=C7YL7R#KP/Q\+:X+_;3\&HB 5 M?P?7U\''S7*W*]9'?'&_^N_%;K_<UQSD.J@_TPLMUY`WI:?7P>-3<;_?K'Y? 6 M;>:)>9$!(>S"?.87@:#_=_"O8!XD\?00'\/XT\[PY88/)1?!IMCM@^+^4_%[ 7 M\>EYN=D)+OEH>O;U;786'SZ0Z/B!QNI1&,8U)[JHR9@F.YP?/Y`N(3:$O)*7 8 M=LE(1?;V-I=D-#I\P$(B-NK+!Y"+5EQO;E%2FE&S98-LJ;$)X<HH5I(+XA02 9 M9X"8&*@EAN,'#HD9(*:59&XD9Y"8`^+:-R@QU"R6/QL*<L"3&VM890U"L?@! 10 MT>+$L."D5H.,&J[4Y)"G'MYWMP@IGO.C&3A)3B$Y!N2X(E=4<`P(9"&`A1@- 11 M6?\H8`K(F2&'KE4H&&1*`1.'9F65NW+IK03R9(`G-XIRVZC@>M@7)7X*G-7% 12 MS@$Y*6>[<59SEN`<$#-#7,\_%C>-(0E@X)4Q#!I#8_T;>I@@LY:F)$Y"N)P( 13 M\(!^T'$V`7-@BBI^Z>]:`NM*@$@),8;7$BC@SUK\&DL8UK&-4!/;B!C\QX?- 14 M,5@G\1H9$A$V?U"/S2-V'7S_\+1=;KX1/[_^[7FY+Q[N@V\,`;_68?+C6D1' 15 ML7(0,>]$.-TN'X/'_Q3U,YI<BXBZ#^[,$V0,H\)1\NW^$41S*K:$]<-3,)5O 16 M"JGEJOAROBO^MYJ"V!Q>%5$4_E$SB451K`7/E]<4/!4S^&PV_,_L+91?P,A_ 17 M4[R_0>_KMZF81^MDWB+`@$``43;?S='57==:24[>AU=WT.94V"S^"<'K)/JX 18 MOKE[?]YA$0^-$H'FS_J+,%@X6KCGE^5N)7>Y^!"I&1;ID*\W*W)^B+!>Z;6< 19 M3*)!<\$]72=FQF02@Y"W7?ZZDM-BND;@9>E?,5)S%/[Q\6'[N%D=?CH^KJ;K 20 M\.K/8+79K8(:628L_4:(*LF^*O=S25J3"/O-M&()@,:$(6?%_>/S/CB+=GN) 21 MK6$HHY!8.<4RQA.Q>4^^>GA:WO\J+,(3/;W%8&V#536_'];!7D`1[[^^R=[W 22 MDLR#@_`HG7Q7;.[%0-\_;W]9/8FGV>2[AT_+3;$_RC/&Y/5JOWK:%O?+C\?@ 23 MRWE`)Q,-1#/;S60^9C*+F8<CZ=C)K':FP$[);3>4^QC*;?Y,.W;RT78*9IN9 24 M\A@T.0BGC[;US0U*+,8B?,!'L;*RCLU"$3`:37Y8/BVWTO!`&B\?*=8V&`;` 25 M&.%VUR/LXWN$A_',$#H<T]F1=>%@!QS-VH;#(1Q)$`G9#C3$"PVQH)'Z$#KR 26 M+AKB&AS)U<*2-]9#*=F!A7IAH;:9)KR717U8J!.+X+2!J44[P'@M<<0=TXQ% 27 MB!R./#K*E=+&U%CQN(5I5TTW%@=*1AN<F*Q-=%"7`V3N!3*WSCXFK#PB))0? 28 MY?II@\Q'@!3L$J3D;X,DC?G((JC+#A(G/B!QXIB6?":]F\^$^@Y(G+A`*@EQ 29 MH&5802I*-9)Y)'790,J\;#S(=S<(#8,\*LVT;V>2B)V+CUIV+"#;`0=[P<$. 30 M./@H)PWUC_.:MXTH:R&JQ#LP$2],Q#5$:>]&3$8,4>H"I&4[X#`O.,P%)U-S 31 MG?4&?39F664Z/C)+\.]H<D#D7A"Y#:)2B\1:EB'KE#U`,NO@V#D3BB<`8DN3 32 M`V+N!3%WC6*]]^0G[`#672YI#R-09<.X\`HF"ULPH3.]V&=]L7',D;$GEICH 33 M2*M0XHB."Z](LK!%$BK#EIPL)P62[CDK`V!JR0XLS`L+LPR./,P+C7)>G!1$ 34 M%+-:8GSX9$^KTW"IQH&.>Z'CEI%2DX/*@P,>2%I&A!`I0I\^L"U]J;1%FM"5 35 MQI0UPHD\>7ODFH+'E6R*PS.YQ"F3ITOQJR^J9$[42I!"78KJQ!;4SD-)M47D 36 MCOBI2I,3N:7ZA%$;\".T((OZ!CH="UF)L&2I75WVZ:S1^LQH"U(QEVOE<J[U 37 M!:'4O68-5-P]>S(XI=O:JOH9,^58QB]D*=94B%E>E6)'EF%Y,K;@RK&MX,JI 38 MH^#*LQ,*KIS[%5QS6)7,\<D%UYSV%ESSS%)PS;E'P14EB:O@BA(,"JXHH=8: 39 M*TI`K1DE?$R-58S?WR?"O:J$*L9*?4F<-4_#QL:S<<#&Q[*]O<UKMK<WN6%# 40 M[D)BQ:=KA.,85;7.V"F/5J,9"60D'HP4,E(/1NA2!'R*W544P)B/9\0)8,3) 41 M6$:5[5>,.ID?A_$='(YW'L/Q#@['.X_A4&DB8&0>&#EDY!Z,.60</1P+Z)R% 42 MAW,6T#D+#^<LH',6'LY90.<L/)Q3'=3,6E9GL+&>U=L_<.YXYD6+>=%FK@*M 43 M:4A!LB&E_HS`9PP^$_"9@L\I^%S>X@?KY;;8%*NZ_04AIN]FM\]SQ,U3?JTV 44 MGNWSM=QX*JX;M<-6W\((O9_K"^I7M_4&LGT.XT!OB.)SA,*JM^5/(QT@E-T8 45 ME28Z0M/KKB;5CR"^S?IT801T8:,+66'533]O.NI@1XU42L73LO-`?S7W[PCK 46 MRUW]3Y^AYO($)>AR?68:8<+/M]/:AB*B8706U]]I)$7-"O$P/)/6B2?B"["0 47 M1M.2)&RU_UP!)\&-7C9O7%[6WSCP63)B@-YV/$9;'DO#&#@L#1O#)::&44[` 48 MY$!LA'*UNH'^&<JT:YJM&_(-"\L/61A`>U@85\^A800U#%,S2=N5C;!+!8Z& 49 M76EM5Z,E1+[C86UBPS)>6<;@'",4#A>1QTF7-8MA:VC+ECRLC6K8DE>V\(8M 50 M'-I"Z]$+M@^?`AS,YT$2!FYO+;X8,G"J`PL)Q2_9+C.5PL7A/<#AC(2=1[@R 51 MNDL;=VGEDJAMQPTDPL<B0,IP5F.5;25M=.@%T:EAF&I?ES;"AZQZ&,!EW:2/ 52 M^^@;*.69WB`"83D%&T\*-IZT;-:YNYI<7@;GY\'3ZM-J7=S+!LL[W:US=Q76 53 MU`1(I!>-%A^4IKUY9>VQ1E*)TK%=/$@VQ9Q]J[(:F2F)U*8>DD9^B60+S.4E 54 M>&G>8)5Y0CX,WM*>M!/2MG-.)%MA6CEGDQXDG"CC(!@S9:,]Y>Q+-Q$;R%3/ 55 M1V6KB/5FJXA9LE7$O+)5[LY6>2-;Y:#C!\G4WY:Z<F>V"F;(JT:1$CE*.J]L 56 M14KA590[ZI+=RPMS/Z/Y1]K]VJNX^MIJMSA#(>9MN"DNE0)&6O[&R_(WUHNE 57 M2#7-('Q$U&%_;U..9&O#:G1"&>DCP8D#6QHC[%$E_%GD6G$Z!+%J"TJC0U]7 58 M`3^I[\BT3)3B#VGD:B1H8LQB<8;VPHCBS(4Q$QC1BV%$;8R9LX^@B9'%*/'# 59 MF,3,A9$)C,F+84S:&)FSZZ6)D<>Y%\0\YBZ$/#KD+P4P;^-S7G<VX0ESO>`) 60 M=SC@'?KO=E\&GO;=>'ARPGGADU/:!9"-:-(Z?8:6"\`#HP@<7AAE:')AU*'@ 61 MKXHT92#SP"@V`"^,<HMQ8=0A_:_:,<H-:23&MUY;_EO[3;#4/Y.;,O%'5_(- 62 M-YY1L^>3\0>:*8E]MGQ9=[0UYNJ;7V$"FC'J'L6!BT'535@*L+83JFM!K/H) 63 MJ<<Q0-4U2.AW\VMMZZHM22*2$W[)W*NT__I72(@#(\)RW]U0*N&/7K<+7_@+ 64 M*WQ:CWH^2_FI?;)8-DF5_,,=1+0&G2O,H^.Q+E]X@?["@5K?2LN>+7PX9C-$ 65 M#Z?U=F#5`5?R6SH[FOHB3>\%G_K"IR/@ZXO\5-J#^SH!\G&=`&D<E!(&NP"; 66 M+@`ZJ^P95()R4`G*4;,W`.78IX:3D[$UG#P=6</)V5`-)\\M-1R<(,\:#D[( 67 M^!H.3E)3J\`).ZV&@Y/\<VHX6%X8=6LX6-X7#=5PL+PT&EW#P?+/>^TU'"S_ 68 M0+>NX6#Y=[2U7^2?O%IJ.!BGOC6<ZFKM5>-",#F]N%()?#T@T+_H`7H(.+PE 69 M?8EZ0R6[*B>TI7]>I@^DJT1^2/II.3:0KE+H(>DG9;=&N$I>AV2?DED:T2IQ 70 M'!!]6E9G9.ND;4CX:?F4D:[3I2'IIV4R1KI.5(:D^^<0IGNG=P5]SND=-@5@ 71 M>#7_8@=EV#E`^C1\_F$4]A?TJ?C\DU^MX8M!%2]RQ&KHH4X]G7,,QN;_!,'R 72 :6EO^MR3R/QYYWDW%GO>WR?\!-G#=YLQ$```` 73 73 ` 74 74 end -
Tst/Long/classify2.stat
rb61a5a r31e58a 1 1 >> tst_memory_0 :: 15 09550009:4103, 64 bit:4.1.0:x86_64-Linux:nepomuck:21406642 1 >> tst_memory_1 :: 15 09550009:4103, 64 bit:4.1.0:x86_64-Linux:nepomuck:171540483 1 >> tst_memory_2 :: 15 09550009:4103, 64 bit:4.1.0:x86_64-Linux:nepomuck:450682884 1 >> tst_timer_1 :: 15 09550009:4103, 64 bit:4.1.0:x86_64-Linux:nepomuck:208041 1 >> tst_memory_0 :: 1510745395:4104, 64 bit:4.1.0:x86_64-Linux:nepomuck:2128336 2 1 >> tst_memory_1 :: 1510745395:4104, 64 bit:4.1.0:x86_64-Linux:nepomuck:17154048 3 1 >> tst_memory_2 :: 1510745395:4104, 64 bit:4.1.0:x86_64-Linux:nepomuck:44822528 4 1 >> tst_timer_1 :: 1510745395:4104, 64 bit:4.1.0:x86_64-Linux:nepomuck:11874 -
Tst/Long/classify2.tst
rb61a5a r31e58a 153 153 } 154 154 155 156 157 tst_status(1); 155 tst_status(1);$ -
Tst/Short/combinat.res.gz.uu
rb61a5a r31e58a 1 1 begin 640 combinat.res.gz 2 M'XL(" +;/!5H"`V-O;6)I;F%T+G)E<P"M5TV/VC`0O2/U/T1[2B0+Q6,[@:XV3 M AZJ7E5`/W=Y05<$VJB(!2TFVI?^^,U[\$4S`T%[8'6?>F\G+>,9^^O+Q\5.24 M )+Q*9H\?DKNN[<:K9GEW_V[T='@$58*KWYI-TZ49KM,_254ESR_K9;-9=.--5 M _7O<=HO.(D25.+@<OS%;]R-Z527;7;/I5O6O>O60>T\*GZ8<X\^J:;MDECPD6 M G`$33#+EN4\J_&E?E^34IC-*=<Z_OA_A:KW>=G\T>C2'MR7SB-Y]-!?!(HSF7 M \H0GV>`[J<!)C.;%120ZE2=B!DZ3B!S(%CYH&H`D2I%?I"(O?C$K\H*KTR*48 M .*%5R"TCQ`NY582:(:JX05ZR98\E_)(*5R]_.O*:7LP;O2"_.D]"\8MZDQ=<9 M K3>AQ-5Z$TK^L][$HD[4=_A>142]AQF6$?4?HB8W[(?PO:81^R.(+?(;]DL010 M 6_`;]D_(`O]A/Y&M/%;3WZ?>..`YC0,<&S^2SP]ISO:<[8'M!=O+C*4_,_9]11 M ZR8#YS09MO5N_=K5*4V!U/?W!X7^F^*BS3K=B\RFG.XAL_DB2=8?)]87?)8!12 M H!B."#Y0'`-E#PB#$0.@&DZU%U$>`XOAB.(LL(Q4E?M`Y.^-O7.J!L#I<$0^13 M *`X!>^/1.E^252/Y<+)\4!Z-A.&8XCPRMGIZ`HGL:+R>*Y\0J2*UA0!91&H;14 M (LOA;(>UU<C)<$PXCYQ&[I.>0C([&M/G-DJ(C*TA")"Q-10B1:2V(D#*2&V/15 M D:8A@]_*!;7R[6+7-5WSLFE3P4J_)><L9Z7MLSGCK+#-,\=K@+(=,:<K@6US16 M .5X/W%$\9XJ!;4@Y*QBW70;Y66Y;!\=XA>L''`,JM\GIXN$=@#F&%&X[<HP)17 M ;H\ADL*8C8.94QRS&P`#*5?B@(&DJUN@&XXK1KKN@*LP3(*83=F@"L1L:D$@18 M LW0?6""S<%\-B325,J;05(4QI:8Z9(6&QDZ,R35V:DP@K#F"H."$-6<)S(F<19 M S:$`M=#.PIB@G0]9H33ZJ3(FUT\/6>$'0M-4C/3+1U'YX/VQWK7U<S?3ES\]20 M X^G+:14SIFV2$-^N-^_!%I:PA$452>ALGY);2K!UZLA+/_4)I;ZNU\MZAV0'21 C3KS4:CYNW?R##^#!QQE\K*_F=/E^;5.>W?\%7:C;D\\/````2 M'XL("&,A#%H"`V-O;6)I;F%T+G)E<P"M5TUOVS`,O?M7&,4.-B`$%B79R8KZ 3 M,.Q2(-AAW2T8AJ8S!@-)FL7NEOW[D6KTX2A.U&R7II3Y'NEGBI0>OGR\_Y2F 4 M*:_3^?V']*;O^LFJ7=[<)@^')U"GN/BMW;1]EM\F])O6=?KTO%ZVF\=^LFE^ 5 M3[K^L;<`4:?V?SEYI;7>0VY5I]M=N^E7S:]F=5>X!Z7'44WPSZKM^G2>WJ6< 6 M`1-,,N6<IS7^Z5Z6Y--E<TQRP;^^3W"Q66_[/QJ;+.!UR3RB=TX6(EB$9"%/ 7 M>)(-OI,*G$2R*"\BT:DZ$3-PFD;D0+;P0;,`)%&*XB(5>?&+69$7O#DM0HD3 8 M6H7<,D*\D%M%J!FBRBOD)5L.6,(OJ7#U\J<CK]G%O-$+BC?G22A^46_R@C?K 9 M32CQ9KT))?]9;V)1)^H[?*\RHM[##*N(^@]1TROV0_A>LXC]$<06Q17[)8@M 10 M^!7[)V2!_["?R%8>JVGO,S<+>$&S`"?&C_3S75:P/6=[8'O!]C)GV<^<?=_: 11 ML<`YC85MLUN_]$U&,R#SW;TIH7\S7+,I9WN1VWRS/>0V6>3(A[/$^H+/,@(4 12 MXQ'!!XICH!P`831B`%3CJ0XBRF-@.1Y1G`56D:IR'XC\@YEW3M4`.!N/R$?% 13 M(>!@-EKG2[)J)!]/EH_*HY$P'E.<1\96ST`@D1_-UG/E$R)5I+80(,M(;4-D 14 M-9[MN+8:.1V/">>1L\A],E!(YD<S^MQ&"9&Q-00!,K:&0J2(U%8$2!FI[3'2 15 M]&/P^KB@/KY]W/5MWSYONDRPRFO(!2M89;MLP3@K;>LL\/RO;#\LZ"Y@FUR! 16 M]P)W"B^88F#;4<%*QFV/07Y6V,;!,5[IN@''@,IM<;IQ>&=?CB&%VXP<8X+; 17 M88BD,&;;8.84Q^P%P$#*%3A@(.FJ%NAJXTJ1[CG@Z@N3(&93-*@",9M*$,@L 18 MW><5R"S<-T,B3:6,*315:4RIJ0Y9H:&Q4V-RC9T9$PAK3A\H.&'-,0)S(F=S 19 M'D`MM+,P)FCG0U8HC7ZJC,GUTT-6^('0-`4CO>)15#QX:VQV7?/4S_6M3\]W 20 M^G!:Q)QIFQ3$E_-G/=BR$I:OK"/YG.TQ<LL(MD@==^7E/:6\U\UZV>R0ZL"( 21 @-UEBX];+.^X`'G?H[DW7ZY<NX_GMN^0O[@;P'+$/```` 22 22 ` 23 23 end -
Tst/Short/combinat.stat
rb61a5a r31e58a 1 1 >> tst_memory_0 :: 1510 330294:4103, 64 bit:4.1.0:x86_64-Linux:nepomuck:856322 1 >> tst_memory_1 :: 1510 330294:4103, 64 bit:4.1.0:x86_64-Linux:nepomuck:22159363 1 >> tst_memory_2 :: 1510 330294:4103, 64 bit:4.1.0:x86_64-Linux:nepomuck:22159364 1 >> tst_timer_1 :: 1510 330294:4103, 64 bit:4.1.0:x86_64-Linux:nepomuck:11 1 >> tst_memory_0 :: 1510744419:4104, 64 bit:4.1.0:x86_64-Linux:nepomuck:85632 2 1 >> tst_memory_1 :: 1510744419:4104, 64 bit:4.1.0:x86_64-Linux:nepomuck:2215936 3 1 >> tst_memory_2 :: 1510744419:4104, 64 bit:4.1.0:x86_64-Linux:nepomuck:2215936 4 1 >> tst_timer_1 :: 1510744419:4104, 64 bit:4.1.0:x86_64-Linux:nepomuck:2 -
Tst/Short/combinat.tst
rb61a5a r31e58a 18 18 member(1,list(1,4,5)); 19 19 20 21 tst_status(1); 20 tst_status(1);$ -
Tst/Short/methods.res.gz.uu
rb61a5a r31e58a 1 1 begin 640 methods.res.gz 2 M'XL(" +S/!5H"`VUE=&AO9',N<F5S`-5536_;,`R]!]A_('R24\&-9*=)4-B'3 M 82AL;-UA+9##T!3^4!9CCMM9RI9@Z'\?93NVTG09ANZR@R&+I)[X'BGIYO9=4 M ]!$`6``?HK=@*:F<(D^LRS>#F];%`T#K?5[FBMAHUS\0!+`6:O602:<4/QRI5 M 8M4M<`/H5WM.`[R/?@8^#N"QRDM5B.^B\$>&Y\)$F3C&9.I`&,O5;9P4`D+P6 M 8;6?D2*7BEBQ1:T$O]2R:6NI3;4-C;:QS2R`$*<Q^`'$\2#18Y(,4CVFZ6`?7 M QT9&.HS]BPS.SV$XA$ID8HF2EE\0B+P:U>YRQ+))48A4O1<[$NJ%>E.DM@_`8 M ,H5#JZZ&8?5,GN/_@"?V28\V?P$MPU4"O^6?NX%-L`FRK,.3*-S</M$>66L79 M K7WYO&VFF-W9_#4(,Z,@?.3@<7E(07[;Q)4@>'`@MW]60FVJDN0+;E\^]6PX10 M ,Z4)V;$VC1R(@BJTVC3(!ZIP;*7K^OC"6H,T1YF$S(S!;LI+O`:*H@DE:T;U11 M ;6*905Y]E1"N;5YGK>\`)/4UB:7@),]$7$!$-;FR(U<[241+S.RI1SRH?LA_12 M2 U%C8KT/J#;['5*=]%2YOR?*S8AI'^&OV=F:&[[9D0A'&KAXD53Z%'SR1Y1L13 M Z<ZFV:/AQIJU`B"7[<*EN\7$<&,I(E^JC$0FIMOH&M$ZT_O/[,[?<1SYG;_=14 M X>CBR+MHS]3LZF17T!/RM9U"7]+1'?<JN7W+7)DA%T=BN<=J3?Z*V;2)=G7L15 >K+.:)\@;&2^)A_>X?MKTZ[61!/OY%QF5,W$/!P``2 M'XL("-H@#%H"`VUE=&AO9',N<F5S`,U536^;0!"]\RM&J(?%61'O@H,M"PY5 3 M%8'Z<6@B^5#%$1_K&A63%'!KJ\I_[RQ@=ATGJ:KTT`,:F)E]N^_-S')U_2[Z 4 M!``L@`_16S";NK&+/#'GQE4?X0&@\S8O\X98<T-:"`+8B&9]E]5V*7[:=1,W 5 M0[X3P/#NVAWJ(?D8>1+`?96732%^B,(?J\"%!N'9ZGUJ0QC7Z^LX*02$X,/Z 6 M\$6*O&Z(&9O43/!)38OVGM;5^M!IJ3UF`81S(P8_@#@V$FF3Q$BE35/CD,;& 7 MZBB,_8/MS\]A-()*9&*%2I9?$8>\%M0:3HBUJD4ATN:]V)-0KL,MD=8ACK4) 8 M1Z:L@>9T-8J3_YXB]H8"6SP!EN$B@<_JCSW`/*Q]E@UP-4JVL)YOBJSWB]Z_ 9 M>MPL4SS;V>(5`#-5"CZV<3KN4JB_;^-*$)P3R*U?E6BV54GR);?F#P,3SG15 10 M0G8J2Z<$@J``O2P=L"X(Q_[YV(XJ;"1&-[8D9%H*ME!>XL`719=)-HS*6\/4 11 M<MSVRB!X1,,=G.VT(Y]O25P+3O),Q`5$5/(J!UYMD$2TQ%,]#$N/:A[R9]E) 12 M2*SR$<MNNR.6GF+)_0-'KB5,58*_86<;KD*S$_J/V3MX952R[3_[8TIV=&_1 13 M[%Y%L5(]=:2Q6SITO_14%`L0^763D4@#=#HY(RK/>/N%W?A[CI;?^+L]6@<M 14 M'Y)=7:O+%QN!OB!;WQST"?V<B9+'45URJ65<G*CDG,CD_0VK:9?L8.IL<&K3 15 8XN*TR+^4_!-M:X(-^\;X#=M1`H7;!@`` 16 16 ` 17 17 end -
Tst/Short/methods.stat
rb61a5a r31e58a 1 1 >> tst_memory_0 :: 1510 330300:4103, 64 bit:4.1.0:x86_64-Linux:nepomuck:962962 1 >> tst_memory_1 :: 1510 330300:4103, 64 bit:4.1.0:x86_64-Linux:nepomuck:22159363 1 >> tst_memory_2 :: 1510 330300:4103, 64 bit:4.1.0:x86_64-Linux:nepomuck:22159364 1 >> tst_timer_1 :: 1510 330300:4103, 64 bit:4.1.0:x86_64-Linux:nepomuck:11 1 >> tst_memory_0 :: 1510744282:4104, 64 bit:4.1.0:x86_64-Linux:nepomuck:96296 2 1 >> tst_memory_1 :: 1510744282:4104, 64 bit:4.1.0:x86_64-Linux:nepomuck:2215936 3 1 >> tst_memory_2 :: 1510744282:4104, 64 bit:4.1.0:x86_64-Linux:nepomuck:2215936 4 1 >> tst_timer_1 :: 1510744282:4104, 64 bit:4.1.0:x86_64-Linux:nepomuck:2 -
Tst/Short/methods.tst
rb61a5a r31e58a 38 38 tst(3); 39 39 40 41 tst_status(1); 40 tst_status(1);$ -
Tst/Short/polyclass.res.gz.uu
rb61a5a r31e58a 1 1 begin 640 polyclass.res.gz 2 M'XL(" ,;F^5D"`W!O;'EC;&%S<RYR97,`O5;13MLP%'V/M'^XXBF)0TAL-TG%3 M TH?!*E4:"`$/DQ"=#$U0M#3MDA02OG[7SIH::#O&PUY<V_?<<WV/?:I<79].4 M S@'`'\&WR1<XJ*O:S;.[@^-/QM6?$!T![O[(BJPV+=R7$QB-8+G(V_M<5)5;5 M )$]N58NZ3V$CV.1SMZ/>X%\5&"!7F15UGCPF>>QID4#G"5T`A#W`I1][CMDX6 M K>7,EAHZ&@%<8!%(8V8W4TH:NR6^!ABN`0\QM1O23MDFZ'L83.T'W&$-;1EI7 M 6DZ"AA&**]+*7Z/'^A)+)!8#"$<PQHF_05")4/PT;`*"PZ`EPX:WB&62+6PX8 M \2.<RWS<'2(+0QJ-`U6$JI8MFZG5G8LHQ!K`-7G\@:LM@EZKV/0<82FYG&?G9 M "26KM*9#+#'/"GDU$(.8TD.J135!FRDG**G=HJP"QX@\(_AI*N%'1V#;4":S10 M ),6W@453,-^19_5UY+V<+\JYR,<X?OVU$G6V*&"\.0J5MS-V'T59X3EE9WE611 M U>:E=4-O-92O4&4B\A-1)8C4;I]2%2S>UHDAU6!,P>:+F<BSNGW%P57P?E&*12 M XB>&-+'H0(6R(BGK3$R*6=*\R@T48);428F2BWO)'6GQL"N<Y7C$\]7\+BD113 M T"W-%%O/5XFEP2,%7XI2S"6EU$5IH@8EM:.FGD,M2T\<JL0*-5SEHL0>K]NE14 M U.K@^XW/;C5C,B4ZKD_Z?HU)UQ]DZP:-[N)2'"%9*[I(H>Y(%>=63`S/^!#P15 M 1>,#D08PA66WD7&F&H9B+8#/C#/M+HR+=<,@=<2M/J_(L(;Z5RH6\PRG,H8/16 M VL)#(_91[=QX#M!;XU2[A<]X#;WIF*]YBE'-4XSUGJ)HJEV68GR[:<(/FB;<17 M 81HVV&V:-]QCY-Z.W?`%VQU&7UJ,A7LLQJ)W68P-]UB,>SLMQOV_6(S3_1;C18 M [)\LQOD^BX4;BQT&3O3"8WSP7H_QX']Z+/R(P6323K_P4/,+CS2_\*&V&'BN19 3^HB07PFKRO2MX]^00D39>0@`````2 M'XL("%8@#%H"`W!O;'EC;&%S<RYR97,`O571;ILP%'WG*ZZJ/0"F%&P'B#+R 3 ML':1(JU5U?9A4M5,;@,5&B$9D!;Z];MV%DS4I.OZL!?'\3D^]CW7)[F^.9M> 4 M`(`_AF_3+W!45[6;9_='(^/Z#T+'@(L_LB*K36MDR$\8CV&US-N'7%256R3/ 5 M;E6+NMO!QM#-N;O1U?1=]0$JE5E1Y\E3DL>>!H*>2.@"(.D1KOS8<\S&:2UG 6 MOM+<:`QPB0=`&C.[F5'2V"WQ-3[<XH\QM1O2SEB'^1YBJ?TX,EA#6T::EI.@ 7 M883B-]+*3Z.C^I)*D(KKR$8NPL37!"H)4IR&34!P&+1DV/`6J4QJA0TG?H1S 8 MN1U7ARC"4*4G@=Y!5<MBS=12ER**L,6YML4?N'H>=!;%IN<(2[GDO#C/Z%2E 9 MJPU1?I$5LAL0@YC18ZK!GHW-C!,TTF[13(%C1%Z0^SQ#]LD)V#:4R3Q)\2W@ 10 MB2F8?]]F=:?(9EPLRX7()SA^_;46=;8L8-+=@\J63-PG459X1UE4GE6U>67= 11 MTCM-\A6I3$1^*JH$B;K?E"JL>'U(#*EF,<5:+.<BS^IV5X$K[&%9BN(G(MHD 12 M.E!(5B1EG8EI,4^:W9V!PN=)G91HM'B0PI&&P\VA68ZWNU@O[I,2\<U7,\6: 13 M\W5B:7:DV"M1BH44E'XH+]2@#';4U'.H9?7V#=6^"JU;YZ+$ZF[:E?3HZ/NM 14 MS^YT_)BR>F2<=H4:TTUED&U+,S;-2G&$9&OD,H5Z(ZD4]W)B>,'>X_O%-R%? 15 MNRDLNXV,<U4L%-OB?6:<]WI@7&ZK!6DA+G7[B@S/4#\\Q7*1X51B^((MO#1R 16 MG]3*K><`O3/.>@WXC!WH$L9\G2!&=8(8ZQ)$,4('`L3X_HR$'\M(N#\C;'`P 17 M(Z^4)ZB\EZK5@OUYHCN!8N'A0+'H/8%BP\.!XMZA0''_[4!Q^F:@./N70''^ 18 M5J!"':CCP(GZB>*#=R:*!_\Q4>%'XB0W'4P'#W4Z>.2J?W[YW[ZN3-\:?3)^ 19 )`U3JH3PO"``` 20 20 ` 21 21 end -
Tst/Short/polyclass.stat
rb61a5a r31e58a 1 1 >> tst_memory_0 :: 15 09549766:4103, 64 bit:4.1.0:x86_64-Linux:nepomuck:1835202 1 >> tst_memory_1 :: 15 09549766:4103, 64 bit:4.1.0:x86_64-Linux:nepomuck:22159363 1 >> tst_memory_2 :: 15 09549766:4103, 64 bit:4.1.0:x86_64-Linux:nepomuck:22159364 1 >> tst_timer_1 :: 15 09549766:4103, 64 bit:4.1.0:x86_64-Linux:nepomuck:41 1 >> tst_memory_0 :: 1510744150:4104, 64 bit:4.1.0:x86_64-Linux:nepomuck:183272 2 1 >> tst_memory_1 :: 1510744150:4104, 64 bit:4.1.0:x86_64-Linux:nepomuck:2215936 3 1 >> tst_memory_2 :: 1510744150:4104, 64 bit:4.1.0:x86_64-Linux:nepomuck:2215936 4 1 >> tst_timer_1 :: 1510744150:4104, 64 bit:4.1.0:x86_64-Linux:nepomuck:3 -
Tst/Short/polyclass.tst
rb61a5a r31e58a 46 46 F; 47 47 48 tst_status(1);$ 48 49 49 50 tst_status(1); -
Tst/Short/sets.res.gz.uu
rb61a5a r31e58a 1 1 begin 640 sets.res.gz 2 M'XL(",+/!5H"`W-E=',N<F5S`.5976^;2!1]C[3_X:JJ5,BR+C-\#"2Q5[OJ 3 M2FLI]D-=[4O5KG$\24@P=@&WR?[ZG1F8#["S;6+\M))E&1C.N?=RSMP;,OOP 4 M;CP%`#2"R_'O\*HJJT&6+EZ=_W0R:R[A$;"S?Z=Y6EDV.\]_P&@$):W*04Z_ 5 M#<HJJ=1J;P3Z5G]0HXJE#2P[_2O,_TS*VP_)(J-S2$O8YDMZG>9T65^E1;$N 6 M8'UUM2T*NH0T!W:XH-?K@H*$.CM;K9<B*,C8G1"[9S`'L,_G-49&DZ]I?K-G 7 M_<G;MW!Z"@R9<_(U"LGB`#8'*._3S89?J^A#!=?%>L70YTUD2075^I[F,+<[ 8 M;"M:W:Z774)9CF`$FR+-JXQ^I=G0-6H<FE4C`X`9K6#F)C!DV965);Z0@QW/ 9 M=EHG[.88N0Y"MBWKFY1E>I-S%"OP?%O"^%YD?[_$=1RBJH07]<6QS%5*T4BF 10 MM&C#B*5=F-[3B'0:/\BO0X]YZ.[B@E5`J9<="]WFZPI^6+E&/+&(1X(J+N0* 11 MKH2=7AA<R4%<R*W)&E1-AFJRX;"=V8%LJ&%K8#4=UG0])H<-NE9V;!\2SQDN 12 MV0-'CM"K-ASRI2`1NWS9M]Z0KP37X.O``LZ,=`70<W=`DR<0/,C$9UL)%'PO 13 M>H^,?(DZBUE`KF,].(^VL]P82Y1'L<S[/7+X!_?N1Z0-N8],)R/,AW6Q\"'% 14 MJEV'#7S,#9<N:9+!F#^HAY\?=4$PTA=YE(^?L7$1ZXM>?:<#%ONV/QLRPYZL 15 MJ2?3'"-GC)VQUWM-L:=JNH],YRRD[^F:>@?4%-="]TQ\+O"T_./+-LE$`#K5 16 M.>M]K(<^;.A5Q4"_W:89A<4VS99<F7-YT_QY(0@/=`EU.&$G''SD<,)N."U% 17 M8VY$-AAL&=5$2.[TAN86ZT'PV/PRY!,9BQL)BD787!0;B_B3%RI4J-;#+^I( 18 MW^2Y4IB^U,H$.1/L3/H7IN<J8>XC4Z7Q1$/RM3#]`X3IU7W(-_&%9?-JQ<:W 19 M%?J(/WWT/O'6P!J#XSN!$QKE\8RE>'<I,9:J3A+(Y%;(66%GA?JOI&XK^\AT 20 MIJ+'!+J2P2&5K'M,8.)S3RW2FZ9"B^\4D[17?Z>>J@V%,L4%<A;861RAGKH- 21 M[2/3^8HV%.IZAH?4LVY#H8'O<S<6M%QGVRI=YU#PC8$=6ZOD0?08BXW:KF%? 22 M'W5NP-T;_,X-6%:5R$0+Y/!/_\W=QZJJ^\ATUMQD9?H/M69$[\DS<M!`Z(LN 23 MJ%$UFV_\B>4'`^,@'#2C8@;#SISH$SE&WL%0J-6X)I4Z'6:]UU`I4X#K+.*& 24 M<S*\ZYTSEIP"7'$&7)U3]8"F!V@_$*U@:H)S)4\4^.00<+'E3TQPKOKIZ:03 25 M^TNU%0AA"SQ-8;[O"'Q#5@'3&.\AD`Z-03P(Z\X"=T.U/S/'YE5ZG=("YG=S 26 M3K\MZ?,BJX<."=M,+-^*-7^!\;BA+-VK+"D2OED,ZC-O;FFVX;><OU&Q*;'? 27 M-T8PY1Y$2GKW?4LOB+3T[LWJ<KFGC`W),R$7(Y?^1_3IC'/@$]9.Q"_OA'45 28 M\<M7J_M35[BCKA#7DV5&5^SY6:DS^8^M]/5X^M=OE^-WKRW7?LY++H4O]U:N 29 MP0U[E"M:,;VP3"`Y!WU"U/`<X,FW8`KPJ;=<YWO?<LF<O5;.=_^+G,W.$9J= 30 M(PS-`])N(ZPN.R\:,[#:2VQU=V0T&NV]'80[B6`NTRCQ\5I2&.]O2<0]7DLB 31 M[OZ61%!O+8F@;DLBN+=-@^#NID&X@:[6JTWCH.E1'*0)&@N)QMMVS.Q9%M*( 32 M+_(0,3U$3`^1\!#;$-*';<@1)SGRQ"1'CCC)D2<FN:B_22[:F>2B_GIMM--K 33 M(S')7?0UR47U)'?1HN#.G%Q,.QF\F$+\(2+P-(7I@LAT0720"Z)>7!`=T071 34 M$RZ(CNB"Z`D7Q/VY(-YQ0=R?"^(=%\3"!:.^7!#7+ABU*(0+1GVY(*Y=,&J5 35 =R'1!;+H@9B[@_VKF_U#>EO4+RW\!)<GB(J$>```` 2 M'XL("-@?#%H"`W-E=',N<F5S`)6736_;.!"&[_X5@Z('*<MUQ`^)$A3IL.T> 3 M#$0"6O?4(%W8M9I5(CG92-G&#?:_+TF+'[(=)X$-6YIY.9QY.*3E^9>/LQ(` 4 M<`[GLS_@7=_UTZ9>ODLG\\%#<A#&O^IUW7M^.I'?D.?057TW75<_IUV_Z(V8 5 MYF"NV70;4BG',<,<[N[K==]4_U9-%EA'Y(SG4X!YU<,\6$`&3=WUGOK`B"#J 6 MHY'!'^YQ@##V?1LPSG60Y3B($NX&<08F<F"P/!.SIQ.LS3A0YH4P+]-)8,QX 7 M:\ZR'3FQ]I%><%+)P+G("B-5DID;,YTT%MYS:P^E':>3)YH"20'_-Y&JGW7_ 8 M-U"HFJJMUGTW,7(!$P3E*_B,;0QNC$0$#Y#WB#8^6MU9A4%&-+'/&,DWL7BP 9 MPD-$*MZG3_X0Q%O=><1''_P4O*]?3RD)`KKUH5];+Y5>)VNRGS61A.M5M6A@ 10 M)LM__&UC9B78^F1RFV_$^HCUT>TX!)[X]+]9LH3JVJBN;8;1C*`9M;41A5\, 11 M>MH(R"+""PG+5:F[/_]Y6#0JF@QE.H!$.UX)T?0!D:O1WJX>F@H*5>W)5;7V 12 M1&/"9KBR:<6.=JA>:9QE(8FCD24J`":F]_B[N3-C:*"9,,VDP*@@J'"84-7@ 13 M3#'1D]ID=:['05&U0NN^7?30X@MR>4$O9?.+UD<,A2BRLU%'2?:5W"K-5@EU 14 M\BU&+4&M6Z':-Z%(W@D!J3LUO)"Z7,5E?37DM#R>/1^+CQ=@=END"UABM"1H 15 MZ1:@=IN8X>D"+D08($AL^$LD;AB"$`&'2_%*X1EWI-S'2V2R#>ZK[K9YZ.O; 16 M-=S+=A3W7KMX5-M*;M[`YL3PCI[LZME83W2A7!=ZCY%\._W+Y,)W]:_*FW-A 17 M)<;.[.\""Z?V.IH.YV@#V?@095P?L=>0*>[6I9F766.-R6`LLFMC#"64\K4' 18 M;BB1%$+-4I`#7E!+(.5),40_OCJA!'-3-PTXR3E00@=***&(YH,ZL^=^R+=; 19 M"JZST!ICS>AFP.=0"BV0FW1R>@HG)V)]5]4/\00@?CX*\(S7UV,B=7@[QU\D 20 MD8B40V,@8T9CJ&R_\HAN#]"MW:M1X1ZO$1MYKY77'*]1J*D5Z`99<I'SF!%Q 21 M2RZ*G>MDW%H'$#0"@:LP&'C@]-XN5X[=[ML+6@Y<I=<&)`>:D].A.7<@'F@? 22 MSMY(G4MRWV_;NP%LJ<#*1F4OS!19Y"5J'.B<6^C<`<WW0`^.^!C%&!_8P_$A 23 M3/'K,<5OQ11+3.59X71D+`$49Z73AC%_CDD<6R9Q8IDDP3-,$GR$24(.,$GH 24 M`28)>S63)'PCDT0"*//"`9!(`$5>.IB2^#DF26*8X""8VFL\57]$Y/^-ATX^ 25 -P;R?_`]]'#+0O@P````` 36 26 ` 37 27 end -
Tst/Short/sets.stat
rb61a5a r31e58a 1 1 >> tst_memory_0 :: 1510 330306:4103, 64 bit:4.1.0:x86_64-Linux:nepomuck:2460562 1 >> tst_memory_1 :: 1510 330306:4103, 64 bit:4.1.0:x86_64-Linux:nepomuck:23511043 1 >> tst_memory_2 :: 1510 330306:4103, 64 bit:4.1.0:x86_64-Linux:nepomuck:23511044 1 >> tst_timer_1 :: 1510 330306:4103, 64 bit:4.1.0:x86_64-Linux:nepomuck:11 1 >> tst_memory_0 :: 1510744024:4104, 64 bit:4.1.0:x86_64-Linux:nepomuck:269240 2 1 >> tst_memory_1 :: 1510744024:4104, 64 bit:4.1.0:x86_64-Linux:nepomuck:2404352 3 1 >> tst_memory_2 :: 1510744024:4104, 64 bit:4.1.0:x86_64-Linux:nepomuck:2568192 4 1 >> tst_timer_1 :: 1510744024:4104, 64 bit:4.1.0:x86_64-Linux:nepomuck:4 -
Tst/Short/sets.tst
rb61a5a r31e58a 51 51 M; 52 52 N*M; 53 kill j; 53 54 54 55 … … 62 63 isElement(i,M); 63 64 isElement(j,M); 65 kill M,k,j; 64 66 65 67 … … 72 74 M; 73 75 complement(N,M); 76 kill M,N,l,j; 74 77 75 78 … … 82 85 N<M; 83 86 M<N; 87 kill M,N,l,j; 84 88 85 89 … … 92 96 N>M; 93 97 M>N; 98 kill M,N,l,j; 94 99 95 100 96 tst_status(1); 101 tst_status(1);$ 102
Note: See TracChangeset
for help on using the changeset viewer.
