Hashcons transition evaluation based on node configuration.
[tatoo.git] / tests / alphabet.xml.results /
drwxr-xr-x   ..
-rw-r--r-- 48 A10_jaxp.log
-rw-r--r-- 678 A10_jaxp.xml
-rw-r--r-- 48 A11_jaxp.log
-rw-r--r-- 436 A11_jaxp.xml
-rw-r--r-- 48 A12_jaxp.log
-rw-r--r-- 436 A12_jaxp.xml
-rw-r--r-- 48 A1_jaxp.log
-rw-r--r-- 246 A1_jaxp.xml
-rw-r--r-- 48 A2_jaxp.log
-rw-r--r-- 962 A2_jaxp.xml
-rw-r--r-- 48 A3_jaxp.log
-rw-r--r-- 335 A3_jaxp.xml
-rw-r--r-- 48 A4_jaxp.log
-rw-r--r-- 744 A4_jaxp.xml
-rw-r--r-- 48 A5_jaxp.log
-rw-r--r-- 2210 A5_jaxp.xml
-rw-r--r-- 48 A6_jaxp.log
-rw-r--r-- 2619 A6_jaxp.xml
-rw-r--r-- 48 A7_jaxp.log
-rw-r--r-- 268 A7_jaxp.xml
-rw-r--r-- 48 A8_jaxp.log
-rw-r--r-- 283 A8_jaxp.xml
-rw-r--r-- 48 A9_jaxp.log
-rw-r--r-- 711 A9_jaxp.xml
-rw-r--r-- 48 O1_jaxp.log
-rw-r--r-- 420 O1_jaxp.xml
-rw-r--r-- 48 O2_jaxp.log
-rw-r--r-- 318 O2_jaxp.xml
-rw-r--r-- 48 O3_jaxp.log
-rw-r--r-- 1362 O3_jaxp.xml
-rw-r--r-- 48 O4_jaxp.log
-rw-r--r-- 2518 O4_jaxp.xml
-rw-r--r-- 48 P10_jaxp.log
-rw-r--r-- 711 P10_jaxp.xml
-rw-r--r-- 48 P11_jaxp.log
-rw-r--r-- 436 P11_jaxp.xml
-rw-r--r-- 48 P12_jaxp.log
-rw-r--r-- 4262 P12_jaxp.xml
-rw-r--r-- 48 P1_jaxp.log
-rw-r--r-- 962 P1_jaxp.xml
-rw-r--r-- 48 P2_jaxp.log
-rw-r--r-- 246 P2_jaxp.xml
-rw-r--r-- 48 P3_jaxp.log
-rw-r--r-- 2210 P3_jaxp.xml
-rw-r--r-- 48 P4_jaxp.log
-rw-r--r-- 2619 P4_jaxp.xml
-rw-r--r-- 48 P5_jaxp.log
-rw-r--r-- 335 P5_jaxp.xml
-rw-r--r-- 48 P6_jaxp.log
-rw-r--r-- 744 P6_jaxp.xml
-rw-r--r-- 48 P7_jaxp.log
-rw-r--r-- 283 P7_jaxp.xml
-rw-r--r-- 48 P8_jaxp.log
-rw-r--r-- 268 P8_jaxp.xml
-rw-r--r-- 48 P9_jaxp.log
-rw-r--r-- 678 P9_jaxp.xml
-rw-r--r-- 48 T1_jaxp.log
-rw-r--r-- 100 T1_jaxp.xml
-rw-r--r-- 48 T2_jaxp.log
-rw-r--r-- 84 T2_jaxp.xml
-rw-r--r-- 48 T3_jaxp.log
-rw-r--r-- 58 T3_jaxp.xml
-rw-r--r-- 48 T4_jaxp.log
-rw-r--r-- 58 T4_jaxp.xml
-rw-r--r-- 48 T5_jaxp.log
-rw-r--r-- 407 T5_jaxp.xml
-rw-r--r-- 48 T6_jaxp.log
-rw-r--r-- 150 T6_jaxp.xml
-rw-r--r-- 48 T7_jaxp.log
-rw-r--r-- 246 T7_jaxp.xml