Hashcons transition evaluation based on node configuration.
[tatoo.git] / tests / xmark_small.xml.results /
drwxr-xr-x   ..
-rw-r--r-- 50 A1_jaxp.log
-rw-r--r-- 14860 A1_jaxp.xml
-rw-r--r-- 50 A2_jaxp.log
-rw-r--r-- 45612 A2_jaxp.xml
-rw-r--r-- 50 A3_jaxp.log
-rw-r--r-- 45612 A3_jaxp.xml
-rw-r--r-- 49 A4_jaxp.log
-rw-r--r-- 3051 A4_jaxp.xml
-rw-r--r-- 49 A5_jaxp.log
-rw-r--r-- 6147 A5_jaxp.xml
-rw-r--r-- 49 A6_jaxp.log
-rw-r--r-- 4577 A6_jaxp.xml
-rw-r--r-- 50 A7_jaxp.log
-rw-r--r-- 27308 A7_jaxp.xml
-rw-r--r-- 50 A8_jaxp.log
-rw-r--r-- 10236 A8_jaxp.xml
-rw-r--r-- 50 B10_jaxp.log
-rw-r--r-- 27 B10_jaxp.xml
-rw-r--r-- 50 B11_jaxp.log
-rw-r--r-- 38580 B11_jaxp.xml
-rw-r--r-- 50 B12_jaxp.log
-rw-r--r-- 34454 B12_jaxp.xml
-rw-r--r-- 50 B13_jaxp.log
-rw-r--r-- 124387 B13_jaxp.xml
-rw-r--r-- 50 B1_jaxp.log
-rw-r--r-- 17608 B1_jaxp.xml
-rw-r--r-- 50 B2_jaxp.log
-rw-r--r-- 111714 B2_jaxp.xml
-rw-r--r-- 50 B3_jaxp.log
-rw-r--r-- 302533 B3_jaxp.xml
-rw-r--r-- 50 B4_jaxp.log
-rw-r--r-- 302575 B4_jaxp.xml
-rw-r--r-- 50 B5_jaxp.log
-rw-r--r-- 34435 B5_jaxp.xml
-rw-r--r-- 50 B6_jaxp.log
-rw-r--r-- 34418 B6_jaxp.xml
-rw-r--r-- 50 B7_jaxp.log
-rw-r--r-- 18637 B7_jaxp.xml
-rw-r--r-- 49 B8_jaxp.log
-rw-r--r-- 6417 B8_jaxp.xml
-rw-r--r-- 53 B9_jaxp.log
-rw-r--r-- 42627 B9_jaxp.xml