Tune the Remakefile to re-run tests when the binary changes.
[tatoo.git] / tests / alphabet.xml.summary
index bf9f0ec..5b57a8a 100644 (file)
@@ -1,8 +1,487 @@
+Query: A1 : //L/*
+STATS: parsing xml document: 0.373125ms
+STATS: parsing XPath query: 0.056982ms
+STATS: compiling XPath query: 0.371933ms
+STATS: Query: /descendant-or-self::node()/child::L/child::* 
+STATS: Automaton: 
+STATS: evaluating query: 2.438068ms
+STATS: serializing results: 1.538038ms
+STATS: 1 iterations
+STATS: automaton 0, cache2: 70 entries, cache6: 809 entries
+STATS: cache2: length: 105, used: 35, occupation: 0.333333
+STATS: cache4: length: 933, used: 124, occupation: 0.132905
+Diff: ok
+-------------------------------------------
+Query: A2 : //L/parent::*
+STATS: parsing xml document: 0.387907ms
+STATS: parsing XPath query: 0.049114ms
+STATS: compiling XPath query: 0.173092ms
+STATS: Query: /descendant-or-self::node()/child::L/parent::* 
+STATS: Automaton: 
+STATS: evaluating query: 2.977848ms
+STATS: serializing results: 2.058983ms
+STATS: 1 iterations
+STATS: automaton 0, cache2: 70 entries, cache6: 1310 entries
+STATS: cache2: length: 105, used: 35, occupation: 0.333333
+STATS: cache4: length: 1464, used: 154, occupation: 0.105191
+Diff: ok
+-------------------------------------------
+Query: A3 : //L/descendant::*
+STATS: parsing xml document: 0.375032ms
+STATS: parsing XPath query: 0.044107ms
+STATS: compiling XPath query: 0.216961ms
+STATS: Query: /descendant-or-self::node()/child::L/descendant::* 
+STATS: Automaton: 
+STATS: evaluating query: 2.354145ms
+STATS: serializing results: 1.631975ms
+STATS: 1 iterations
+STATS: automaton 0, cache2: 70 entries, cache6: 918 entries
+STATS: cache2: length: 105, used: 35, occupation: 0.333333
+STATS: cache4: length: 1060, used: 142, occupation: 0.133962
+Diff: ok
+-------------------------------------------
+Query: A4 : //L/descendant-or-self::*
+STATS: parsing xml document: 0.375032ms
+STATS: parsing XPath query: 0.046015ms
+STATS: compiling XPath query: 0.190973ms
+STATS: Query: /descendant-or-self::node()/child::L/descendant-or-self::* 
+STATS: Automaton: 
+STATS: evaluating query: 2.285004ms
+STATS: serializing results: 1.811981ms
+STATS: 1 iterations
+STATS: automaton 0, cache2: 70 entries, cache6: 918 entries
+STATS: cache2: length: 105, used: 35, occupation: 0.333333
+STATS: cache4: length: 1060, used: 142, occupation: 0.133962
+Diff: ok
+-------------------------------------------
+Query: A5 : //L/ancestor::*
+STATS: parsing xml document: 0.500917ms
+STATS: parsing XPath query: 0.043154ms
+STATS: compiling XPath query: 0.171900ms
+STATS: Query: /descendant-or-self::node()/child::L/ancestor::* 
+STATS: Automaton: 
+STATS: evaluating query: 2.166986ms
+STATS: serializing results: 2.167940ms
+STATS: 1 iterations
+STATS: automaton 0, cache2: 70 entries, cache6: 1320 entries
+STATS: cache2: length: 105, used: 35, occupation: 0.333333
+STATS: cache4: length: 1476, used: 156, occupation: 0.105691
+Diff: ok
+-------------------------------------------
+Query: A6 : //L/ancestor-or-self::*
+STATS: parsing xml document: 0.383139ms
+STATS: parsing XPath query: 0.045061ms
+STATS: compiling XPath query: 0.215769ms
+STATS: Query: /descendant-or-self::node()/child::L/ancestor-or-self::* 
+STATS: Automaton: 
+STATS: evaluating query: 2.175808ms
+STATS: serializing results: 2.177000ms
+STATS: 1 iterations
+STATS: automaton 0, cache2: 70 entries, cache6: 1242 entries
+STATS: cache2: length: 105, used: 35, occupation: 0.333333
+STATS: cache4: length: 1397, used: 155, occupation: 0.110952
+Diff: ok
+-------------------------------------------
+Query: A7 : //L/following-sibling::*
+STATS: parsing xml document: 0.408888ms
+STATS: parsing XPath query: 0.045061ms
+STATS: compiling XPath query: 0.169039ms
+STATS: Query: /descendant-or-self::node()/child::L/following-sibling::* 
+STATS: Automaton: 
+STATS: evaluating query: 2.287149ms
+STATS: serializing results: 1.610041ms
+STATS: 1 iterations
+STATS: automaton 0, cache2: 70 entries, cache6: 1051 entries
+STATS: cache2: length: 105, used: 35, occupation: 0.333333
+STATS: cache4: length: 1173, used: 122, occupation: 0.104007
+Diff: ok
+-------------------------------------------
+Query: A8 : //L/preceding-sibling::*
+STATS: parsing xml document: 0.376940ms
+STATS: parsing XPath query: 0.051022ms
+STATS: compiling XPath query: 0.169039ms
+STATS: Query: /descendant-or-self::node()/child::L/preceding-sibling::* 
+STATS: Automaton: 
+STATS: evaluating query: 2.012014ms
+STATS: serializing results: 4.889965ms
+STATS: 1 iterations
+STATS: automaton 0, cache2: 70 entries, cache6: 1174 entries
+STATS: cache2: length: 105, used: 35, occupation: 0.333333
+STATS: cache4: length: 1314, used: 140, occupation: 0.106545
+Diff: ok
+-------------------------------------------
+Query: A9 : //L/following::*
+STATS: parsing xml document: 0.383854ms
+STATS: parsing XPath query: 0.048876ms
+STATS: compiling XPath query: 0.290155ms
+STATS: Query: /descendant-or-self::node()/child::L/ancestor-or-self::node()/following-sibling::node()/descendant-or-self::* 
+STATS: Automaton: 
+STATS: evaluating query: 6.689072ms
+STATS: serializing results: 1.752138ms
+STATS: 1 iterations
+STATS: automaton 0, cache2: 70 entries, cache6: 2104 entries
+STATS: cache2: length: 105, used: 35, occupation: 0.333333
+STATS: cache4: length: 2334, used: 230, occupation: 0.098543
+Diff: ok
+-------------------------------------------
+Query: A10 : //L/preceding::*
+STATS: parsing xml document: 0.398874ms
+STATS: parsing XPath query: 0.051975ms
+STATS: compiling XPath query: 0.268936ms
+STATS: Query: /descendant-or-self::node()/child::L/ancestor-or-self::node()/preceding-sibling::node()/descendant-or-self::* 
+STATS: Automaton: 
+STATS: evaluating query: 4.401922ms
+STATS: serializing results: 1.770020ms
+STATS: 2 iterations
+STATS: automaton 0, cache2: 0 entries, cache6: 942 entries
+STATS: cache2: length: 0, used: 0, occupation: -nan
+STATS: cache4: length: 1077, used: 135, occupation: 0.125348
+Diff: ok
+-------------------------------------------
+Query: A11 : //L/self::*
+STATS: parsing xml document: 0.379801ms
+STATS: parsing XPath query: 0.043869ms
+STATS: compiling XPath query: 0.163078ms
+STATS: Query: /descendant-or-self::node()/child::L/self::* 
+STATS: Automaton: 
+STATS: evaluating query: 1.757860ms
+STATS: serializing results: 1.677990ms
+STATS: 1 iterations
+STATS: automaton 0, cache2: 70 entries, cache6: 837 entries
+STATS: cache2: length: 105, used: 35, occupation: 0.333333
+STATS: cache4: length: 946, used: 109, occupation: 0.115222
+Diff: ok
+-------------------------------------------
+Query: A12 : //L/@id/parent::*
+STATS: parsing xml document: 0.378132ms
+STATS: parsing XPath query: 0.054836ms
+STATS: compiling XPath query: 0.246048ms
+STATS: Query: /descendant-or-self::node()/child::L/attribute::@id/parent::* 
+STATS: Automaton: 
+STATS: evaluating query: 3.379107ms
+STATS: serializing results: 1.619816ms
+STATS: 1 iterations
+STATS: automaton 0, cache2: 70 entries, cache6: 1594 entries
+STATS: cache2: length: 105, used: 35, occupation: 0.333333
+STATS: cache4: length: 1750, used: 156, occupation: 0.089143
+Diff: ok
+-------------------------------------------
+Query: P1 : //*[L]
+STATS: parsing xml document: 0.555038ms
+STATS: parsing XPath query: 0.041008ms
+STATS: compiling XPath query: 0.166178ms
+STATS: Query: /descendant-or-self::node()/child::*[ child::L ] 
+STATS: Automaton: 
+STATS: evaluating query: 2.022982ms
+STATS: serializing results: 1.830816ms
+STATS: 1 iterations
+STATS: automaton 0, cache2: 70 entries, cache6: 1326 entries
+STATS: cache2: length: 105, used: 35, occupation: 0.333333
+STATS: cache4: length: 1480, used: 154, occupation: 0.104054
+Diff: ok
+-------------------------------------------
+Query: P2 : //*[parent::L]
+STATS: parsing xml document: 0.520945ms
+STATS: parsing XPath query: 0.064850ms
+STATS: compiling XPath query: 0.242949ms
+STATS: Query: /descendant-or-self::node()/child::*[ parent::L ] 
+STATS: Automaton: 
+STATS: evaluating query: 2.733946ms
+STATS: serializing results: 1.567841ms
+STATS: 1 iterations
+STATS: automaton 0, cache2: 70 entries, cache6: 809 entries
+STATS: cache2: length: 105, used: 35, occupation: 0.333333
+STATS: cache4: length: 933, used: 124, occupation: 0.132905
+Diff: ok
+-------------------------------------------
+Query: P3 : //*[descendant::L]
+STATS: parsing xml document: 0.395775ms
+STATS: parsing XPath query: 0.046015ms
+STATS: compiling XPath query: 0.176191ms
+STATS: Query: /descendant-or-self::node()/child::*[ descendant::L ] 
+STATS: Automaton: 
+STATS: evaluating query: 1.870871ms
+STATS: serializing results: 2.191067ms
+STATS: 1 iterations
+STATS: automaton 0, cache2: 70 entries, cache6: 1336 entries
+STATS: cache2: length: 105, used: 35, occupation: 0.333333
+STATS: cache4: length: 1492, used: 156, occupation: 0.104558
+Diff: ok
+-------------------------------------------
+Query: P4 : //*[descendant-or-self::L]
+STATS: parsing xml document: 0.369072ms
+STATS: parsing XPath query: 0.043869ms
+STATS: compiling XPath query: 0.174046ms
+STATS: Query: /descendant-or-self::node()/child::*[ descendant-or-self::L ] 
+STATS: Automaton: 
+STATS: evaluating query: 2.180099ms
+STATS: serializing results: 2.135038ms
+STATS: 1 iterations
+STATS: automaton 0, cache2: 70 entries, cache6: 1242 entries
+STATS: cache2: length: 105, used: 35, occupation: 0.333333
+STATS: cache4: length: 1397, used: 155, occupation: 0.110952
+Diff: ok
+-------------------------------------------
+Query: P5 : //*[ancestor::L]
+STATS: parsing xml document: 0.398874ms
+STATS: parsing XPath query: 0.059128ms
+STATS: compiling XPath query: 0.276089ms
+STATS: Query: /descendant-or-self::node()/child::*[ ancestor::L ] 
+STATS: Automaton: 
+STATS: evaluating query: 1.901865ms
+STATS: serializing results: 1.575232ms
+STATS: 1 iterations
+STATS: automaton 0, cache2: 70 entries, cache6: 918 entries
+STATS: cache2: length: 105, used: 35, occupation: 0.333333
+STATS: cache4: length: 1060, used: 142, occupation: 0.133962
+Diff: ok
+-------------------------------------------
+Query: P6 : //*[ancestor-or-self::L]
+STATS: parsing xml document: 0.487089ms
+STATS: parsing XPath query: 0.046968ms
+STATS: compiling XPath query: 0.190973ms
+STATS: Query: /descendant-or-self::node()/child::*[ ancestor-or-self::L ] 
+STATS: Automaton: 
+STATS: evaluating query: 1.915932ms
+STATS: serializing results: 1.822233ms
+STATS: 1 iterations
+STATS: automaton 0, cache2: 70 entries, cache6: 918 entries
+STATS: cache2: length: 105, used: 35, occupation: 0.333333
+STATS: cache4: length: 1060, used: 142, occupation: 0.133962
+Diff: ok
+-------------------------------------------
+Query: P7 : //*[following-sibling::L]
+STATS: parsing xml document: 0.407934ms
+STATS: parsing XPath query: 0.028133ms
+STATS: compiling XPath query: 0.077963ms
+STATS: Query: /descendant-or-self::node()/child::*[ following-sibling::L ] 
+STATS: Automaton: 
+STATS: evaluating query: 1.742125ms
+STATS: serializing results: 1.702070ms
+STATS: 1 iterations
+STATS: automaton 0, cache2: 70 entries, cache6: 1174 entries
+STATS: cache2: length: 105, used: 35, occupation: 0.333333
+STATS: cache4: length: 1314, used: 140, occupation: 0.106545
+Diff: ok
+-------------------------------------------
+Query: P8 : //*[preceding-sibling::L]
+STATS: parsing xml document: 0.378847ms
+STATS: parsing XPath query: 0.052929ms
+STATS: compiling XPath query: 0.164986ms
+STATS: Query: /descendant-or-self::node()/child::*[ preceding-sibling::L ] 
+STATS: Automaton: 
+STATS: evaluating query: 1.487970ms
+STATS: serializing results: 1.522064ms
+STATS: 1 iterations
+STATS: automaton 0, cache2: 70 entries, cache6: 1051 entries
+STATS: cache2: length: 105, used: 35, occupation: 0.333333
+STATS: cache4: length: 1173, used: 122, occupation: 0.104007
+Diff: ok
+-------------------------------------------
+Query: P9 : //*[following::L]
+STATS: parsing xml document: 0.377178ms
+STATS: parsing XPath query: 0.048161ms
+STATS: compiling XPath query: 0.226021ms
+STATS: Query: /descendant-or-self::node()/child::*[ ancestor-or-self::node()/following-sibling::node()/descendant-or-self::L ] 
+STATS: Automaton: 
+STATS: evaluating query: 6.520033ms
+STATS: serializing results: 1.826048ms
+STATS: 2 iterations
+STATS: automaton 0, cache2: 0 entries, cache6: 780 entries
+STATS: cache2: length: 0, used: 0, occupation: -nan
+STATS: cache4: length: 915, used: 135, occupation: 0.147541
+Diff: ok
+-------------------------------------------
+Query: P10 : //*[preceding::L]
+STATS: parsing xml document: 0.375986ms
+STATS: parsing XPath query: 0.051022ms
+STATS: compiling XPath query: 0.226021ms
+STATS: Query: /descendant-or-self::node()/child::*[ ancestor-or-self::node()/preceding-sibling::node()/descendant-or-self::L ] 
+STATS: Automaton: 
+STATS: evaluating query: 6.186008ms
+STATS: serializing results: 1.768112ms
+STATS: 1 iterations
+STATS: automaton 0, cache2: 70 entries, cache6: 1767 entries
+STATS: cache2: length: 105, used: 35, occupation: 0.333333
+STATS: cache4: length: 1980, used: 213, occupation: 0.107576
+Diff: ok
+-------------------------------------------
+Query: P11 : //*[self::L]
+STATS: parsing xml document: 0.464916ms
+STATS: parsing XPath query: 0.068903ms
+STATS: compiling XPath query: 0.159979ms
+STATS: Query: /descendant-or-self::node()/child::*[ self::L ] 
+STATS: Automaton: 
+STATS: evaluating query: 1.491070ms
+STATS: serializing results: 1.654863ms
+STATS: 1 iterations
+STATS: automaton 0, cache2: 70 entries, cache6: 837 entries
+STATS: cache2: length: 105, used: 35, occupation: 0.333333
+STATS: cache4: length: 946, used: 109, occupation: 0.115222
+Diff: ok
+-------------------------------------------
+Query: P12 : //*[@id]
+STATS: parsing xml document: 0.381947ms
+STATS: parsing XPath query: 0.037909ms
+STATS: compiling XPath query: 0.167847ms
+STATS: Query: /descendant-or-self::node()/child::*[ attribute::@id ] 
+STATS: Automaton: 
+STATS: evaluating query: 1.470089ms
+STATS: serializing results: 2.379894ms
+STATS: 1 iterations
+STATS: automaton 0, cache2: 70 entries, cache6: 907 entries
+STATS: cache2: length: 105, used: 35, occupation: 0.333333
+STATS: cache4: length: 1022, used: 115, occupation: 0.112524
+Diff: ok
+-------------------------------------------
+Query: T1 : //L/text()
+STATS: parsing xml document: 0.394821ms
+STATS: parsing XPath query: 0.074863ms
+STATS: compiling XPath query: 0.215054ms
+STATS: Query: /descendant-or-self::node()/child::L/child::text() 
+STATS: Automaton: 
+STATS: evaluating query: 2.219915ms
+STATS: serializing results: 1.530886ms
+STATS: 1 iterations
+STATS: automaton 0, cache2: 70 entries, cache6: 809 entries
+STATS: cache2: length: 105, used: 35, occupation: 0.333333
+STATS: cache4: length: 933, used: 124, occupation: 0.132905
+Diff: ok
+-------------------------------------------
+Query: T2 : //L/comment()
+STATS: parsing xml document: 0.375986ms
+STATS: parsing XPath query: 0.059128ms
+STATS: compiling XPath query: 0.207186ms
+STATS: Query: /descendant-or-self::node()/child::L/child::comment() 
+STATS: Automaton: 
+STATS: evaluating query: 2.162933ms
+STATS: serializing results: 1.442909ms
+STATS: 1 iterations
+STATS: automaton 0, cache2: 70 entries, cache6: 809 entries
+STATS: cache2: length: 105, used: 35, occupation: 0.333333
+STATS: cache4: length: 933, used: 124, occupation: 0.132905
+Diff: ok
+-------------------------------------------
+Query: T3 : //L/processing-instruction()
+STATS: parsing xml document: 0.597000ms
+STATS: parsing XPath query: 0.087976ms
+STATS: compiling XPath query: 0.222921ms
+STATS: Query: /descendant-or-self::node()/child::L/child::processing-instruction() 
+STATS: Automaton: 
+STATS: evaluating query: 0.879049ms
+STATS: serializing results: 1.473904ms
+STATS: 1 iterations
+STATS: automaton 0, cache2: 70 entries, cache6: 809 entries
+STATS: cache2: length: 105, used: 35, occupation: 0.333333
+STATS: cache4: length: 933, used: 124, occupation: 0.132905
+Diff: ok
+-------------------------------------------
+Query: T4 : //L/processing-instruction("myPI")
+STATS: parsing xml document: 0.383854ms
+STATS: parsing XPath query: 0.077963ms
+STATS: compiling XPath query: 0.201941ms
+STATS: Query: /descendant-or-self::node()/child::L/child::processing-instruction('?myPI') 
+STATS: Automaton: 
+STATS: evaluating query: 2.202988ms
+STATS: serializing results: 1.402140ms
+STATS: 1 iterations
+STATS: automaton 0, cache2: 70 entries, cache6: 809 entries
+STATS: cache2: length: 105, used: 35, occupation: 0.333333
+STATS: cache4: length: 933, used: 124, occupation: 0.132905
+Diff: ok
+-------------------------------------------
+Query: T5 : //L/node()
+STATS: parsing xml document: 0.417948ms
+STATS: parsing XPath query: 0.055790ms
+STATS: compiling XPath query: 0.195980ms
+STATS: Query: /descendant-or-self::node()/child::L/child::node() 
+STATS: Automaton: 
+STATS: evaluating query: 2.192020ms
+STATS: serializing results: 1.589060ms
+STATS: 1 iterations
+STATS: automaton 0, cache2: 70 entries, cache6: 809 entries
+STATS: cache2: length: 105, used: 35, occupation: 0.333333
+STATS: cache4: length: 933, used: 124, occupation: 0.132905
+Diff: ok
+-------------------------------------------
+Query: T6 : //L/N
+STATS: parsing xml document: 0.374079ms
+STATS: parsing XPath query: 0.043154ms
+STATS: compiling XPath query: 0.210047ms
+STATS: Query: /descendant-or-self::node()/child::L/child::N 
+STATS: Automaton: 
+STATS: evaluating query: 2.251863ms
+STATS: serializing results: 1.713991ms
+STATS: 1 iterations
+STATS: automaton 0, cache2: 70 entries, cache6: 819 entries
+STATS: cache2: length: 105, used: 35, occupation: 0.333333
+STATS: cache4: length: 952, used: 133, occupation: 0.139706
+Diff: ok
+-------------------------------------------
+Query: T7 : //L/*
+STATS: parsing xml document: 0.376940ms
+STATS: parsing XPath query: 0.038147ms
+STATS: compiling XPath query: 0.208139ms
+STATS: Query: /descendant-or-self::node()/child::L/child::* 
+STATS: Automaton: 
+STATS: evaluating query: 2.440214ms
+STATS: serializing results: 1.535892ms
+STATS: 1 iterations
+STATS: automaton 0, cache2: 70 entries, cache6: 809 entries
+STATS: cache2: length: 105, used: 35, occupation: 0.333333
+STATS: cache4: length: 933, used: 124, occupation: 0.132905
+Diff: ok
+-------------------------------------------
+Query: O1 : //*[child::* and preceding::Q]
+STATS: parsing xml document: 0.399113ms
+STATS: parsing XPath query: 0.065088ms
+STATS: compiling XPath query: 0.272989ms
+STATS: Query: /descendant-or-self::node()/child::*[ child::* and ancestor-or-self::node()/preceding-sibling::node()/descendant-or-self::Q ] 
+STATS: Automaton: 
+STATS: evaluating query: 5.662918ms
+STATS: serializing results: 1.690865ms
+STATS: 1 iterations
+STATS: automaton 0, cache2: 70 entries, cache6: 1873 entries
+STATS: cache2: length: 105, used: 35, occupation: 0.333333
+STATS: cache4: length: 2090, used: 217, occupation: 0.103828
+Diff: ok
+-------------------------------------------
+Query: O2 : //*[not(child::*) and preceding::Q]
+STATS: parsing xml document: 0.393867ms
+STATS: parsing XPath query: 0.077009ms
+STATS: compiling XPath query: 0.274181ms
+STATS: Query: /descendant-or-self::node()/child::*[ not(child::*) and ancestor-or-self::node()/preceding-sibling::node()/descendant-or-self::Q ] 
+STATS: Automaton: 
+STATS: evaluating query: 5.995035ms
+STATS: serializing results: 1.695871ms
+STATS: 1 iterations
+STATS: automaton 0, cache2: 70 entries, cache6: 1873 entries
+STATS: cache2: length: 105, used: 35, occupation: 0.333333
+STATS: cache4: length: 2090, used: 217, occupation: 0.103828
+Diff: ok
+-------------------------------------------
+Query: O3 : //*[preceding::L or following::L]
+STATS: parsing xml document: 0.380993ms
+STATS: parsing XPath query: 0.067949ms
+STATS: compiling XPath query: 0.332832ms
+STATS: Query: /descendant-or-self::node()/child::*[ ancestor-or-self::node()/preceding-sibling::node()/descendant-or-self::L or ancestor-or-self::node()/following-sibling::node()/descendant-or-self::L ] 
+STATS: Automaton: 
+STATS: evaluating query: 11.430025ms
+STATS: serializing results: 1.812935ms
+STATS: 2 iterations
+STATS: automaton 0, cache2: 0 entries, cache6: 610 entries
+STATS: cache2: length: 0, used: 0, occupation: -nan
+STATS: cache4: length: 778, used: 168, occupation: 0.215938
+Diff: ok
+-------------------------------------------
 Query: O4 : //L/ancestor::* | //L/descendant::*
 Query: O4 : //L/ancestor::* | //L/descendant::*
+STATS: parsing xml document: 0.386953ms
+STATS: parsing XPath query: 0.051975ms
+STATS: compiling XPath query: 0.380039ms
 STATS: Query: /descendant-or-self::node()/child::L/ancestor::* | /descendant-or-self::node()/child::L/descendant::* 
 STATS: Automaton: 
 STATS: Query: /descendant-or-self::node()/child::L/ancestor::* | /descendant-or-self::node()/child::L/descendant::* 
 STATS: Automaton: 
-STATS: evaluation time: 7.114887ms
-STATS: serialization time: 0.150919ms
+STATS: evaluating query: 7.618904ms
+STATS: serializing results: 2.229929ms
 STATS: 1 iterations
 STATS: automaton 0, cache2: 70 entries, cache6: 2345 entries
 STATS: cache2: length: 105, used: 35, occupation: 0.333333
 STATS: 1 iterations
 STATS: automaton 0, cache2: 70 entries, cache6: 2345 entries
 STATS: cache2: length: 105, used: 35, occupation: 0.333333