HAL Id: inria-00135013
https://hal.inria.fr/inria-00135013v2
Submitted on 12 Mar 2007
HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub- lished or not. The documents may come from
L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de
LIBOPT - An environment for testing solvers on heterogeneous collections of problems - Version 1.0
Jean Charles Gilbert, Xavier Jonsson
To cite this version:
Jean Charles Gilbert, Xavier Jonsson. LIBOPT - An environment for testing solvers on heteroge-
neous collections of problems - Version 1.0. [Technical Report] RT-0331, INRIA. 2007, pp.35. �inria-
00135013v2�
inria-00135013, version 2 - 12 Mar 2007
a p p o r t
t e c h n i q u e
ISRN INRIA/R T--0331--F R+ENG
Thème NUM
INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE
LIBOPT – An environment for testing solvers on heterogeneous collections of problems
– Version 1.0 –
J. Charles
— Xavier
N° 0331
22 février 2007
£
Ý
! " #$
%& ! & '($' (
& ' $)$) ' *($ (! &( & ($$ !
((+ (( & $ &(
! ', (( + %& &$
*'!- -('&,$) .() &(
(! &( &( -) $ ./%. '+
!(!' ( $( &'&(!
*' &(+ $$ -%& ! !
& - (+
& 0$1(( &(12 1%& 1 '(1
31 *(1*$ 1(!1$
!+
£
! " # $ %&'
(
Ý
) * + &!, !( %# $ - ! &. %/ )0 $
#%12 ! "$ %&' (
! " ! "
%4! %& ( '($ &(
'4( ! 5 ( ) *( '(! '
&(' '! ((+ 2' ! 5 $' (
( &( ! ! ' ', '4
(((4+ %& '!*'
,) .() ( &( ' ( 4 ( (! 4
(&(&(!()((5'./%.+ %4!6
$( '( ((& '!
(! * ' &(+ % ( ' $
(4! %& (+
((* 1((' &(1' (!1
2 1 ! ' 1 !( ' 1 %& 1 '( 1
1 *( '
!
- - -'!(!'-& 06
$' *($(!7 &(($8(( &(+ 9.()
3 ) ( '(-
:) ";+ ( '66 & - 0-
(! ' (( &( '' - <9($$+ < ''
('!( 3 '+ %& 0$& '$'
( &) (0 2 ) !' (( &(
- * ) ' ' !$ &( -
($$ 2= ') ' 3+
) %& & $ $3$ ' $ &( $
$ + >$ ) () ! ($$
'-&(+ ?()2 ''&%& (
(( &( !$ - ' (!6(( +
@$(() - ' ' 0 &( :A;
( !(&( 2 &() ' '! '$+
'( (( ' &( $ '( *
$ + B (.) ' '('
' '' '(3' &() -(' ! & 'Æ(
' & $ - <9+ , !' '!(
%& !) - (' ( !$ ! ((
&( 7('$ 2 ' '(8 ' (!) $3$ ' (3$
& - +
< '' (!6(( $) %& ( !' & 6
$) ( ( ) ! 0) $ (!
&()(($()'$+ (!'
(( (( '' $) !$ & -
(!6(( + @ !(&() (( ( &'
''$ ./%.'+
' + -)%& ) - $-)' '$
' ) & $ (!) &() ! ((
&(+ ? $ '& -+
Æ. CD ! ) ' !
' $)!( %& -* '' ' ' '(-
3(!'&(+ >-!)(' -
Æ( $( & $ &( * *('+
(!& '$' - ' $( '+
$3' ((-+ $'' !'
'! -+ !- %& ) ) )6
(( ('' & ('+ '&
%& 0$' ' = ((+
?' ''$ %& -
! - - (( &( ' (!= C(' '(D
'E+ F' #'G !( -((
-(( &('-(!+ '- !
&( !+
F ((-$ $ !+
' . & ' ((( ' *( ' '
.7-0$&8+ <)$
-') - & &' & ( -' ' '$ .)
- +
$)- $.%.+
'' & H4+ @( $ ' (
''&&0H4 'H4+
F ((-$ &&! $(.I
7 8)
7 8)
7 -$-'8)
- ' ') -() $) '
&+
# !!
%& !& '$'0' !0
(0' $) $) ' *($ (! &( $ $6
(( &(+ 0 & '!'' $I $
(!&()$$()'$+ %& 6
' 7'8 ' -$I ) )' +
, ' + ( $ !(&()
- $! '( '+ B & ) (
&'*$ (( ' +
''*( %& !+
' - %& (' ((' & (- !
+ 0 ' %& + <
- ) -(' & '$ &( '+ <'')
(0 $(( !!( *( -0$' &(
& (!'+
? $ *' ( ( &6
(+ >J ! .() & - (( & =
()- (( 0 ) $ '*6
+ (! $ & & 7
& ! $ H4=(( H4
'( ! () H4)& 8+
? &( & * +
((( $& &+ &(
((',& 7$$& '&8)&
-&(& ($$-',((!+
$ ' $$ &( !$ ((+
9)&( (( - ($$79)
2)(&) (&) ?() K) <9) -8+ ! )
%& !) (( &( (( '( -
' ! &( -
($$+ 9 ) &( (( (( & ($
*'73)(($&)',()8+
? (('&((&( ((.'
- ' $ '= ( '$
&( - (( & '&'+
? & &( & ($$ ((+ <
( & & + ? (( !( & (() '
&( & ($ & ((+ -
& (( '' (I (! ( (!
&( $! (( ' ( & &( '$ + 9
.() 3) '$$ & ((
' &() ( &() ' &() & ' 6
' &() ) (! ''' (
&(+
%& ('(-(!$'!+ '
' '& ' G+ B(-)- ' &
$ (!+ (() %& ( ' ((
&(((' + ('7
& ( (0 8 &( (( 7 &
& 8' *(' !((-((7
- & &8+ & '' #+ B(-) -
'&
) )'
$ (() & (() ' &() !(+
(- $ (! &( ((
%& ! &$
<-')'' ' -
C D+ F - '$ (0 +
9) ' $(!((!I
' ' '(!)(() &(+ <. )
!3,+ <()$!(()
- ' ' '' 'Æ( & )
& ')! & &'' !( +
')'*'')-(!'!( &&!'6
$ & - (!' ! ((+
?() &( ' ($ '! (( (' ((-
! &( $ !+
? ($( - ( '
- & (( ((+ B '(!
((&( & ((+ < Æ.CD
'$& !) & (( ')' '$
& &( ' $+ & ((
'& '&( &(7E+8)-'!'
& 7 E+8+
B ' (!6&( - ( *()
-&&( (' ./%. ''+ <' (!)
! (( *() - ( '!(
&( '+ < ) '' %& (( ! *(
!$(!&(7& ! & !'&$
! ') ' E ' E++8+
& ) %& '$' ( !(!) "
+ 9 )%& ' !( !L
(! ( &(+ < 3)
& '!!!()2)
&'()' +
< ' & &( 0 ) %& ( (!
& '' '' $
"
((' + < ' *(' ' &
H4+
* *(' $ C " D+ < 0 (
%& ( '' 7$ ' # .(8+
$ ('''%&
( & ( !(( ''+
. *(' $! ' (!78)
((78)' &(78)-(! (
$! ((-$ *('+
* *(' () ++) ' '+
((-$ +
$ ' 06
& )$'&H4+ ? $
$
H$4 7 $ ' & 8
7$ $ ( & 8+ & (- 06
& ) -'(7& #
06& (() & (-8 ' !
$
-$C D '' ( (!
(( (!' &( +
)%& (-&$!''&'!(6
(!)$'' -(! ((
(!' $! &(=%& 0 '+
(& ( & - - L.&(I &(0 7' & 8 6
'$ ! *(' ' ( *(' $') ' &
''7 - H%4'$ ' (8+
? .( %& ( 3(' &
" &'()& '& '$'*+,$'-)#$'-) $
(! &'() & &( '& ' ((
& ) &( A"#!&( 7$'*+,8' (&
'7 $8$ E ' $' !( 7$'-)' #$'-)8+
-)'
# "
. "
$*( " %& ('&$& !6
(! &( & (( ((+
< $ ! *( () ! ' ! 6
' ) ($ *() ' '$0
! &(- &( !( ($$ 7%& )()
./%.8+
& *( ( (0 " '
$$((($(*(+ $$
($ ' ! %& ((*(
' ( 7(!) (() &(8 (+
.(- ' ' + <
"
%& ( ( *( ' '') 0' 7 & (-8) ' '
'&)- ' ( " -0$'+ '&
($*()&&*( &*()' '$ $
+ &( *( " " " / " #+
! $0'&! &()-(!
*( ! & ' $ + '& ((
06!( I 0 * %& () .( $
CD) - ( &(0 7 !
$ C " D8= !( ' %& () ( - -
!'' & !+ B$
' (( (! ( *() & '& $((
( ) - '(' ' '+ '& &
$') $ 'I ($ '
'($(+ ? ((' '($!E+E
' ($+
!* ' (& ( & ' '
' /0 " *( 7 E+ (
' *(8+ < *() !* !
'& $$ + <'+ <()0
-0) 06& )'7((8
'+ (( ! ' ' ' '
('( 3) (($&) ',(
'+ >-!) !' ) ( !(' 0 *(
/0 + < *( ) -(( ' ) ' '!
!) -((! 0 %& ( $ ('&
'!+
' & '$' 0 & - (!
(' &(+ &' ( ' '&)
$'& '+ ? $( & ' 0$
)' & 0 %& ( 3$
( + ' & ' *(
& &( '( - (& K(+ *( '& #
$ (N( ' :E; (!+
<%& () *''! 06& 7'! 08
' + & ' ' !I
# 0 & ' (!) -(
6 0+ ? 06& !
((-$ I
06& )&!()' '(!7&(8)
& 06& & !7 8)
& 06& 7++)'& 8
- +
< .( $! $ ") $'*+, & '' '! 06
& 7 ' &( (!8) -(
#$'-)(( ) 3(! & ''
& & -('!!!(+ %& !
(!& '7. ! & 8)&
*( $ ('= -(' ! $
-+ @ ') - %& 0 !*
0) ( *( /0 7
E+ *(8+
) -!) '! 0 ( & $ ($
&( - '+ 9 .() & '
0$ (! &( - 7 (8 !&()
'/-7-8()+ -& )
'-' & C&( '!D '
* *( E+# ($ +
- $ &$
) 3 '& 7 ' ( " -0$
'8 ' ' * *( -0$ '
0- - '+ *( '& ' '( E+#+ <
+ (!
! & ') &( - ! & ')'
0 + 9.(
1 " !
#
& &
' ' & . 7
$ 0 & ' (8 (! " ) ! )
'7*(8) &( & ((
(( #7'(8+ $*(-' (
# ' &) - &( ' &K( (& $!
$ (0 *$ 7 - ''( $ * *(
0 0.5 1 1.5 2 2.5 3 3.5 4 4.5
0 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1
9$ I ( *( (!
$( $8+
%# $ ! & '' & N( ' :E;+ & 6
!) - ( $! - -' $ !+
& ' $( + &! ( &(
& & ! 7 (!8) -) - '$60) !' '
''$ !(!$! &(+
*(() ! ' Æ (!
&(+ %
IO (! &( )
-# & 06& +
# (!7- (! 8&(
O
¼ I
¼
@
+ @ ') '
P (( &(
' (! ) - & ' ( & $
($ & P
(! (! &( 7 3 %& (8+ ?(() -
(( ' ( (! ' (
O+P #$
(! 7(! (!8
:;P
78IO
I
:;
- '' & ( 7'(8+
@( ' & 0 ' ! $ '
66 -6 '$ I
78 $! &( - (! & =
- (! ! ! ' (( (! ( (!
$!&() $'!
¾Ë
78O=
& '* P)
78P O= ') (( )
7P8$!
&( (! (!= !( ' '
0 =
!(
78 & $! & !$
78I
78 &( ) (!
! - & (! 7 (( ' '
''&(8= $ -
C(
.(D !(
7P8 $ (+
F *() (! Æ (! $(I
$ $
)& (! +
$ %
& .( - 0 ' (( %&
0$) ' '('' '/*(+
%& & '$' & ' & )
'' %& ( !&( ((
( + %& & !' & ((-$ -
+
* &( $0$ <K9$ 200# #
)$ 1 '
1 ! 12003&# #010 "
- ' $' + ' & $'
K9$ ' ! + <
'!( 7' &8 %& +
&( ! 6$3 *(
" #
' 0 ) $ !( '#' +
!
!$ ' & ! & ') -
" + 6(!( ' ' " 7( %6
& '8) 7&( ((8) 7' 8)&
7($8) &7( ')E+"8)' 17(!
' ' 8= *$+
41 41 ' 41 5 6
" 4"
789:
& ;
6 &
& &' ; #
& < &
1 &'() " ;'() "
= ;'()0789:
& = ;'()0;
( " >( "
= >( 0789:
& = >( 0;
9$ I %& '' '&
' $ & ') 6
'$((' (( &(+ <'''&) *'
-(( 2 :"; ' '(:A)#;& + $6
(()' 0 ' ((+
F (( L' (()
' & $3'- $ ') %& '+
' & ' #+
<((('7& ' 8
# + *( - ! Æ. C D 7
( E+8+ - ( 'I
( (( &( ((=
( & &( ((= (
& - ( *' $ 7
E++8= & ( (0 ( +
< ( ( ! 0 & ') (( ((' ")
-((&( ((+ @ "& & ((0
( &( '+ 9 .() %& ) 0
0 " & ( (0 ' $ $3 ' <9 '$
2 &(+ @ ') '''&) 0
& 0 " & ' &( '(
(() - '& &( &$)')' 0*(+
' !' (!+ 6
$!&' 1)- & ' (!0-
%& !I &'() ' ( '''&+ ;'()
' 3 (!) $ 6B9K (:G;) ' (
(3(!)$ Q:);+ ' 1
((!)))L 2 '
1 ' 1& ' 7+8
'$ & - (! ' ((+ <'')
7)8)- (! 1 ' (( ?)
' 100 '&$ - (!
&( (( + ' (' ((-$
'*(/7 ( *$ 8I
:;! ;
7(8
7(8
78
: & 7 '8;
9$I ?$( (( (!(( 2 '
( ((&( (( (!
(( &( (! 7 $ ',
*( 00 '& ' & !8= )
*( 10&'()0 0 & ( (0 ( '
&( 2 ((=
( & &( = ( '&
- ( *' $7 E++8=
(( - (! &(
(( = (( 0 $ '
' ( 7 E++8=
' ' '- ('+
'(*()(0 ' $
& &((! $(&( (()
-0 & -./%.)'
0*(;! 7 E++E8+
"
@%& & 0') -$' & ' & & $&(
!+ F $$ ((-$ *!+
+ 9) '' ((-$ ! !&( '* (( *(
/0 7 (( '= ' '
*( ((',=$ >@:44!!&($& (
8I
1 4=AB<96=C
1 4=AB<9<49
1 <9@ D<9@E2 D4=AB<9 6=CE0"
!&( 4=AB<96=C ' %& =
$ C D ( '+ !&( 4=AB<9 <49
!' #--0)E+" !('!( $
CD+ ' $'' <9@' %& '+ <
%.)$(('' 4=AB<96=C0& &(
($+ < -)$
!
1 ;F<9@ GD;F<9@E2GD4=AB<9H6=CE0&
F $ (' ! - ((-$ 6
'I
&
+ R -((( '7 ')
4=AB<96=C0"8I
H "
' '* *( 0 7 ( ((6
.$'''&8) 10 1 7( (!
.$ '''&8) ' (! ! ()
'* 100 7 ( (( (!
& ' '8+ < ( !* %&
)&0$ - . ' *( +
+ ' ( &''+ < '$
*(/0 " 7'8+ *(!'''( 6
%& ') .( ($ '
%& (+ E+ '(' ' '!
& *(+
<3) &$ *($! '
G4=AB<9H6=C0 0 " H & /0 "
' ' -' 0' *(' '+
E+ '( -(( ((+ '( ((
(' ((' %& ) $ ' & '
& $ &( + S (( & ' (( 2
((I ((- ' '(' #++
#+ * (.+ < '( -(( (!
%& !+ <'') %& ' !' (!+
< (0) $ ! (! '' '&)
- (' *( 10 1 + < ) ((
(( '= '& ' *( 100C:6;:
'' (!+ @-) ((- $! G+
R('-& &( (!78&(78
((78) &$
. $!'( &( %& ! '
.( -''( -+
& !
' ( ( ' %& !+
) -!) ' (0 '$ -
(( &( -(! !+ ? ' ''$
%& ' (3$ (+ $(
!' ! ' ( $!$
-) -(( !(&( '+
%& ' ( ' " ' +
-(+ '!( ((-$)-
$-(( & 'I
( '= ( $'&$ ' $ '=
! 0 '=*($'&''('!'
.=
'= 1)& '.'=
1 !& '='.' '( '''
+
F'(' !) )'/1
) ' +
#
*( /0 " ' !' ''( %& )
- ! + > $ (I
! $
& ! $
" $
* - '! ('%& ( 7 $G8+
&(06' ( 0 '' & !('
%& (+ < '! ) 0 ('
-0'&'%& (!('7-
!*8+ &(06' (
0& '' 0+ < '! !)
!*' 0$0 +
0'& ' ( '-
0 ' 0 (! 0+
' '!) ") * '& &
'- *' ' ( ''
'& 7 ) ) +++8+ > $! ' (
! $! *(+ < ' (
*( !' *( ) ' '&
*( " -0$ '+ ( '& '0
! . C"D & ' & - *( - !$
. CD'C#D= ' ' $+
? .( " *( & ' ' 7'
" &8+ <& ( 3+
& ! %& ' ' ! () - ' (
' - %& +
(( '!'') ()!Æ.C D+
@*' ( (!) (() ' &( 7 8I
4=AB<9 6=C0 0
4=AB<9 6=C0 00
4=AB<9 6=C0 10 1
4=AB<9 6=C0 100
4=AB<9 6=C0 1000
?(( $'&78+ &(=
H%4 ' (+ 2 '
'& ( ' (+
#
' &&( (. ,' & %&
!+ <'(!&(7+ '8+
B $) ' (3 ( (( '(
+ <'') 0- (( &( (! '
&((( &(7!(((('J8+
9) '($ /$)
& $ -& '$ -(!'((
%& !+ $ (! &( ((
' ' (!( $+
*(!( ' (' ( +
' ' (! ' &(
((+ (!( (3 ' ( '
' (
(! &( (( + 7E+8
( & (!)
(() ' &( .' & ' (+ .
( ) (( $ '
(!(+
'& ' E++& (-+
& '*' - %& ! ' - - (! -
(( &(+
'(!( 0 $( 7E+8+ <
(3' &$
4=AB<9 6=C0 1000
((( '' '&+ ' (!(
)& ' L.&( ''&() $
' + >-!)
(0 ) ' ' (! ' &(
(( + ( $ ' *( -0$
') $ 0*( $.&( $)($ 6
$)' !$ '' ( *( -0$' .
$+ 9(( &( 7(0 2 8)
( ! & '($' $ ( 6
' ((+
' & $ E+++
$ & - - - (! - (( &(
((' %& !+ < & '' .$=
.( (( $(', & - $+
$ $ &( ' ( ' ' '
$ (!(+ ? $ & -) - '
') (( (!) ' '(! '$+ < (!(
$(( - '' + %&
! (0' - (!' &( +
? () $ & - - (!6(( +
(!( '& ' E++E+
! "
$( ' ((-$
! 1
- *( '(
- (!) ( $ $$$ (!
%& ( 7 ( '' E+G8)
(() ( & (( ) '
( &(06' ( &( & ((+ < *(
') ' '' + ) $(6
'()& ''' )$./%.
' (0 $G+
9 '() ( &( ((' & (!' &
&(' & ((-$ +
+ < & (( *' ' ( 7 CD8)
C D& ((
C D& ((-+ ($& '(& 6!
- &( ' ' ( 7 C D & ((
' $! (( &( ((8) ' ( &
&( ' - &( *' 7 C D & ((
'$! ($& ( &( $ ((8+
+ @& (() )& '') $!
'( (') ( 0 *('&$
& (( + < ((-$ 'I
-0$'
4=AB<9 6=C0 1000
4=AB<9 6=C0 00
($ ((-$+ *( 0-0$')
((-'&(' ( &( ( + .)
$! ( (! '(' - ((
) (! 0- &( (!+ < *(
' & !( ) '( $'+
+ C 0''( ($ &(
(&( & 7++) 4=AB<9 6=C0 100
0 8+ % & ($ (+
E+ *( ( ) 6
'() ' (
+ % & *((+
( 4=AB<9 6=C0 1000
&( ( +
! "
? . (! & (('
%& ! &( ((+ <& ('
' 4=AB<96=C0 100 '('& '+
< ((-$ ' (
! 1
!) ) ' 1 ' ' (
+ < ''&( (!7
E++8+ ?'' E++) $ $
) $(!() $ (! &(
(( +
F (' (!))& ((' &(
(() $ + <
'' (( Æ
4=AB<9 6=C0 1000
4=AB<9 6=C0 1000
' & ' *(! $ CD &$
CD+ .(. '' '&)- ! '
$ '$ 3 +
2' -$() - )& -
(( ((' + % '&
(3) ( (! + &( (!)
)$! &$(( $ '+ F !' & !
0 !) ) ' 1 '+ .)
(3 0+
+ B(' -0$ ' .&( $) & 7
& '-(( (! &( $(! 8)'
-0$') - 4=AB<9 6=C0 0
)'*( ( $ &+
' ' ' (( (( +
9 '((() '' $
0*(I
4=AB<9 6=C0 0& 0 "00;! )
4=AB<9 6=C0 100& 0;! +
) .$ !$-!6
!&( '&)- &( 7 ;B684B<9 <CBA8
' -0$' 7 IBCJ=FK 6=C8+
92 (()*0('!& 0 ')2
' 7$(80$+ >-!) ((-$
&( ' ) *( >=L# '
-0$' ' '' +
+ .&($ &7 2 ((8
-0$ '+
+ ! -0$'-(.&($
&7 2 ((8) ' *() ' *(
! & $' '$ . $+ 0 (
' '(( '(!+ 92 (()
0 0 $ &' ( +
! "#
$ -(' ! & - (!
(&( (( + ' $
$ 7 & &( ' &( ((8
&' ((-$ -+ ?(( &( (( '& ' &
' - ' ' (3' & #
+ (() *'
" )- ' &() &(
)(3 !&() ' '))
) - $! (! $! -
&( ( ' (! ! )
& )- -&'7 .6
() '(3 '' $ $'8)
' &( ) - (3 6( 6
+
& - $ ' &( (3' &
(0 ') - & *( ' - $ ' 6
' '&$ (' &( $! & '& '
E+++
<(($ ''+
< ' &( & (!' & (($ !
&( ' ! ' & ! (!
&( +
#
F!'' ($ +)( ' &
-0 ( %& !+ <() (( '( %& (
!& '+ <)-0
' (+
' ' ((-$
1 "
1 "
< ) ($'&$ '
$'.+ *'' ''$( '&)'
'($(+
'& *' - " + < )
( 0 '& *' & '! " *(
/0 " + 9(() ' .) '&
*( " -0$ ' 7 E+ '(8+ *(
CL ' * ' ' %& ()
(($'& '+ ?( '$(7(!)
(() &(8) (' .$ '& (') ( 6
+
$ ' ' ' *(
' & H4 - ($ ( 7(!) (()
&(8 -+ < !- *( ) *( ' &
' %& ('(-(7(!)(() &(8
%& ('(' '&+ < $C
D) ( '$ ( 7(!) (() &(8 O
7)) 8 '(' '& 7 8+ ? (! 7+
(() &(8 *(' $ (!7+(()
&(8+ 9 ) $ CD ( CD)((
( '$ (! '(' '&+ ?
.() $ CD) (( ( '$
&( (( '(' '&+
& ','($'-('!& (('$+
$ #
'- '' +E)- ( & -0
( %& ! --+ < )-'& '
'(+ < ((-$ I
1 " # # !
' ! (! $!
&(+ ? $( ' ' & *' &
C D) - # %&
( 7 + ' E+8= - $
* *( 7 & (-8+ ( -
'' (! ' ' & ' '&
7 " ') $! *(
' ( " ) E+ '(8) (( &( &
'+ '$ - *(I ! & ' ! #7
&' # ' " '
(8+ *(! & (& !'$ $
*( ' (!)! # K( '*(
*(+ # *(
! ($.6 '+
' & ' & $ * *(
-0$ '+ F $) ' *(
' *' ' ' + ) $ +
*( '& ' ( $ + 0 ' ((-
''&() '! **(!& (*'+ 9)
(-(!!& (' )" ')-
' & '!
1 "
& ' ((!'0
(!-( + @(() &( !& (' &
'!
( &( *'&'! ' ' ((-$ *(
-0$ '
4=AB<9 6=C0 00
- $ H 4 *' & '!+ 9(()
0 ! & *') ) ' (
& '!
&
>- ((&(-((& '
(! *'&H 14'!+ &(
((-$ 'I
$ &( !& *' & H 4'6
!) '! & ' * *( )
'& - 0)
! & ''' & H " &4'! 7 ($
8)
!& (!' &(( (! *'& H 14'!+
%
(!) # ) '*' '
'&( , '* (!+
( '$ '!( (!) - '&(
- -( '!( ' $ ' ,) & $ (
- ! - ! + F - (3$ '
' ' +
+ ? * &( -(' & '* (( - ' 4=AB<9 6=C0
1'--! (!+ ( '*$ -
- (!((2 '+ ( )&
' ' 0+ < '') (! - -
. ($+ ) &&( & '+
+ ? & - '$ ' ( ' $%&
() ' $$ (
" # ( ?
- # & $' # ( ? + '*' %&
( ( & &' & '$ *( $ %& (
- ! (!+ ' -(( & (! (
& $' &(!# ( ? )! $ '(
' . %& + ) -(( & '
-'Æ(-(!-(!& ''&
7$ ' 8) &( - # & ) &(
& ! # &' +
+ ?(!() ' ' $ ' $$ %& () ('
' ( !& - *() $ .'+ %&
,- $$ ,+ <'' &( ''
(! %& (+ &'&$
# ( ?
) $ C( ? D (!
%& ( '')- &
" # ( ? ###
@ ) ' (! # # ( ?
7& 'H4)(' .%& 8+ ,
&' & *($ '' - ' )
-( '* %& (+
9 .() '' ( ' '$($ '
6B9K ' &'() :G; E ' 2 &() '
((-+ &'() - ' ( $ 7'$( $ '8) $$$
(!- $C#D& '
&'()# # "
. &'()# "
& M'N $ ' $ &'()& ' & 2
&'() ($ ')$&*(&'()& )
( 2 )' $I
&'() # "
. &'() "
?'' ( &' - '&I
&'()# "
&'() "
?' 1'! * *( I
1 &'()# &'()
-
( ' $ *( C&D) (& 6*() - & '
( *( - ! &'()) $!
*$E+ ?''''' !'$( '
0 0.2 0.4 0.6 0.8 1 1.2 1.4 1.6 1.8
0 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1
9$EI *( '$(7#)'(' !8'(7 )
&( '' !8 $ ' &'() E ' &(
2 (() $& !(
&'() & '' ($( Æ ( '7 *(
$) +E8+ !$ ) ( - 6
($&!( ) ( '
"
!( '$( ') ( (
G !( +
& '
!!&( 4=AB<9 <49!' #--0+
$ C$++D)-$ '$)
$)' ( + '''&
%& (' ((-$ ( I
& O#
O#
-
& 7?(8)
26(0 )
O %. $)
O @T $ 78)
# K2( 2(()
# (' K(+
( '&'0*( %& !+
%& '''& '' &/('
*(+ F *(' $' -0$''
!( 4=AB<9<49 ' $ + ' $! & *(
&!
-CD $& !+ *( ( ' '
4=AB<9 6=C0 &
?-( &'&''$-*(&! ')
'$!!&('*'*(+ <'&$!
!&( 4=AB<9 <49+
' (%
&&( - 0$ (( &( %& 6
!+ (( ' ' $ ''
((+ 9 .() (( 2 ' '( ((
',+ ?( !$ &( !'' $ ((
L0'$((+ -%& & !-'
((7'8' '($7& ''8+
(( (((( (+ -(((
2 ' '(((+ F ' +
$ () *#+
%& (!$2 + )2 ('& ((' &
& $ 0' %& + @ ') '' '& %&
!' (( 2 %& ) ' 4=AB<9
6=C0 0 . ' ( &( P + ?(()
( $ ((' $ 2 & ' '*
4=AB<9 6=C0 0 0 "
& ( (0 ' $ &( 2 ((
7*( - Æ.C>=LD8)(( '' & ! !&( ;>9>=L+
'' '& %& *(
' ' #6' +
(( 2 (( (+ '
& '( '+ <'') (! ((' %& ! -
& ' 2 &(+ (' & !' (!
'''&) & '& - (!=
'' G++
$ ()
< ) - ' (( %& ! ( (6
( &(+ % ((
(( '(' '( (() ('
'''& %& :#;+ F'*'* ((
%& ' . &( - '$ &( ((+
$ %&# ! ' "
+ N*- '
4=AB<9 6=C0 0
4=AB<9 6=C0 0 0 "
''' (
4=AB<9 6=C0 0
(( &( (( " 7(!() 0
"& ((0 '$((&( ((8+
&( & ' ''' ' - "+
+ 2 *(
4=AB<9 6=C0 0 0
4=AB<9 6=C0 0 0
*( ((( &( (( + *(
(& &( ((=(&-
( *' $= ) & & ( (0
( )&'$./%.'H
4= -!) (( &() &&( &
($ ( &( L$ ((+ @
( &( ( & '*' ' +
?(( *( & (( ' +
$ ( # " !
F & (- &( (( '& '
''''
4=AB<9 6=C0 0 0 "0+
>) ( & - &( - - '+ &
' ((-+
+ < ( &(
G4=AB<9H6=C0 0 0
7' &( ('8+ ('& *('
('& &( 7(' H%4'
(8+
+ 2 '
4=AB<9 6=C0 0 0 "0)
' ') (( *( '* &( I *()
'*( 7 8) ' '*( 7 8+
+ 2 0*(
4=AB<9 6=C0 0 0 "00;! )
- ((-$ -$I
Æ ) - * - & -0$ ' !
-((&*('*$ '- -0$'
'*( '' (!$ &( 70$ & ( (0 &&(
8=
Æ ) - * - *( & !' -0$ '6
!$ (!' +
)
F ! # (( - (( %&
(+ >-!))(!((' %& !
- (( ) (( ( 1 2
'7+8!& *((' 7 1' (('(!)
-( ' $( ' $( (( 8+ F '
((-$ &(+
(!' . %& !I ((-
G+ ' ' &( .+
(!.%& !'''(!&(
2 ((I G++
(!.%& !'''(!&(
((' (( ', 2 I G+) -
'( (( '' $ + < ((
((') '* #+
$ )-
""
'' (!+
% ,
F $ & ' '*$ -
(! "" %& !) ' '( * ((+ >
+
+ ""& ''' *(
4=AB<9 6=C0 10 1 )
-( (! %& !+ *( ''
&%& ( $ ' &H4+
+ ((-$ ' & '
4=AB<9 6=C0 10""
4=AB<9 6=C0 10""0"+
' "" -(( ' (( ((
- (! ""-(( ! + ' " &( (
& ' (&'*$ (!7& ( (0 8+
+ 2( *(
4=AB<9 6=C0 10""0 )
- ( (( (!"" ' 7
* "" '' %& !8+
E+ < '' - *() ' C:6;: ) .( -
$$ ' ( %& ) '
'
4=AB<9 6=C0 10""
! (& ' & (!+
(( (( (! "" ( + -) (!
((+ 9) ((- G+ $
(!""2 (( G+ ((+
% " *#+
F
(! "" (' & ((' 2 ! 7
) ( :";8+ () () '!
$""&& ' 2 ! '
'"" & ')
"" )
- &( 2 ((+
2 (( & ((' %& ! 7 6
#+8)
(!""& '' %& ! 7 G+8+
F - ' &( & - (! "" '
2 (() - %& + F ' ((-$ +
+ 2 '
4=AB<9 6=C0 10""0
''' H 4 ( (( "" (!)(
4=AB<9 6=C0 10""0 +
+ N*
4=AB<9 6=C0 10""0 0"" +
- '$ ' ' '$
(!)I
4=AB<9 6=C0 100 0
4=AB<9 6=C0 10""0 0""
'* &$ *( "" (I
$ (( ""7 - & ( -
(3'( (8+ ?' !(( *(
"" )'($ -!( *( $' &(! ""
( ( -$ 7 $
)$ '$-(( 8+
+ ' .&( $H""&4((' 2 !)
%& () '*' + 7 ( '*'
($H " 48+
R('-& &(((!"" 2 &()$
' %& + B$
""
(' !( &$ C""D+
% "
F ' .( $ (! ""- ((
) '*' %& ! #++ F (( ((
'(' '(((+ '( $! :#;+
+ 2 '
4=AB<9 6=C0 10""0 )
--(($/""(! &()
''' (
4=AB<9 6=C0 10""0 )
-' "" '(- ((+
+ 2 *(
4=AB<9 6=C0 10""0 0
4=AB<9 6=C0 10""0 0 +
**(7 8(&( ((""
&( (! ) () - & !'+ <
)- -H%4' $'
(+ - '$ - *(
4=AB<9 6=C0 0 0 )
- ( (( &() ' ! ' *( &6
( ' ! . ' & ""+ 9 .() ""
(! ' 3 &() ! ' *(
)(( &( - + ( $ .
' 4=AB<9 6=C0 0 )-$&
- ( +
'*(& !7 8& &(('
* *( 7 8+ *( ' ' ( & (( -
( *' + ) & ( (0
* *( )&' $ . '
' 4=AB<9 6=C0 0 +
+ 2 .&(*(
4=AB<9 6=C0 10""0 0"" +
(' & "" $( &(+
E++ -- +
E+ 2 $
4=AB<9 6=C0 10""0 0"" &+
$!(!' '')-.-(0')
'Æ(0(3+ <$-((& (0' -
&'&$ &( (( (' &
) ! 7 (' &( 8' &
0*( 4=AB<9 6=C0 0 0 "00;! -0$
'7 #++8+
< 9M/M# '' ($$) - ' '
*(
G4=AB<9H6=C0 10( 0& 0( H& H&
*( 4=AB<9 6=C0 10""0 0"" &+
$ ! (!' ') '($ -(!-((!
& $( '*'+ :#; $+
#+ 2 0*(
4=AB<9 6=C0 10""0 0;! +
0*( (( %& ! - (0 (!
& - & *( '&$ &( (' &
+ < ( ) '$ & *( -(( & (0
-0$' ! 7 #++8+ -
'$ - .$0*() (0
4=AB<9 6=C0 10( 0& 0;! +
-((& '''*( 4=AB<9 6=C 6=C0 10""0
0;! +
R (' -& &(( '
"" 1
- L$1 7!& 8 ' $'(' %& )
- (( - (('+ L$ 7 '8 & ' ')
- - -('' -0$ '+
* + ,!
F ! ' ! + %& ! ' !
!' + ! - (' ( '!
!I - 0) ) ( ) - (
&) &(3 &()''!(
F& - !+
@(! -(('(! ''''&
!+ <(($ -(( '(! -)$
&( - &( !( -) .
' -(( -+ ) '') $ - , (( ((
(!(( 2 '+ F!!'
- (( ! -) ( 3
')0$ * &( & +
% ,!
F0U$ '( !$,''(-6
! 7!)?8 - -0-'+
-
:; <+B$3)?++2)+<++K(')+%+ 7MM#8+2 I2''
' $!+ ' (# !)
) 1G+
:; 9+ N(& ) U+2+ K(& 7#8+ K(&( ( !$ $' %6
$$($ (!$ !.'3&(+ #
& ' ))E#1GM+
:; 9+ N(& ) U+2+ K(& ) + K(-0) N+ 7G8+ 2' 6
3L$I K6-$'%$$
+ ) )GE)G"1GAE+
:E; +N+ N() U+U+ 78+ B0$ 3 - - 6
*(+ %)M)1+
:#; U+2+K(& 7"8+@$3 '((( 3&6
( %& !+ ( M)<<?) B#)"A# %
2)9+
:G; U+2+ K(& ) 2+%( 7MAM8+ ( . - !&(6
$6- ($+ %)E#)E"1E#+
:"; +K(') N+ @&)+%+ 78+ 2 7' N8) 2' '
' $!)!'+'
(# !) M)"1ME+
:A; 2+%(7MA8+$ '(3 '+&('(
+
!.
) $(.
) ')*(
)(
&(0 ) $( .
) ((
(() #
7$ 8) #
2 ))) )G1"
'()))
1)#
'7%& 18
)G1M)1
" )E
) '!) A1))
1
)E1"))) "1)E
)) *
'7./%. 18
)G)")#) A)E
#)"
#)
)E
1)
)
' 78)E
) %& ()(
7P *(8)
2 ) ((
) (
'!
" )G
)M)1
" ) *(
) '
! !&(
4=AB<96=C)E
4=AB<9<49)E) #)G
;>9>=L)G
>@:44)E
*() (
" 7*(8)A)#1G
" 7' ( '& 8) A)
+) )
#)
&)
7 **(8) M)
#) '
7'8)#
O) (
) 0
" ) '
(( ) E1#
! 7'8)#
%& ) E
%& (),) M))A) ))E
1)"
$ 1) $
4=AB<9 6=C)! !&(
4=AB<9 <49) ! !&(
" ) *(
() G1"
)- ) A)"
1) "
)) M)"
(() E)G)"
&() )G)") M
(!)E1G
& O#7( 8)#
;>9>=L) ! !&(
'() ((
)(() &()(!)&6
((
O#7( 8)#
)')*(
)
*()M)./
(!)
0) 0
( )E)#1G
) &(
&()#
1)#
7$ 8) #
) '
$(.
7(() ( 8)#
78)E
7&(08)E
7 -$-'8)E
) '
78)
) $( .
) (!
) '
(!) E
&'())"))
1)#
7$ 8)#
( ))
$)$
) $( .
& (() #
)A
)M
1)#
7$ 8)#
Æ.
) ()
) *(
7'8)#
$)A)
0)"
'!) M
) "
) ")*)
06& ) "
) $( .
1 7'8)G
) $( .
-0$')
