/testcases/constraints/
drwxr-xr-x [up]
-rw-r--r-- 2013-06-04 21:43 +0200 150 ordering-activity1-PASS-c30.provn
-rw-r--r-- 2013-06-04 21:43 +0200 596 ordering-activity1-PASS-c30.provx
-rw-r--r-- 2013-06-04 21:43 +0200 438 ordering-activity1-PASS-c30.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 197 ordering-activity2-PASS-c33.provn
-rw-r--r-- 2013-06-04 21:43 +0200 791 ordering-activity2-PASS-c33.provx
-rw-r--r-- 2013-06-04 21:43 +0200 543 ordering-activity2-PASS-c33.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 206 ordering-activity3-PASS-c34.provn
-rw-r--r-- 2013-06-04 21:43 +0200 811 ordering-activity3-PASS-c34.provx
-rw-r--r-- 2013-06-04 21:43 +0200 555 ordering-activity3-PASS-c34.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 181 ordering-activity4-PASS-c31.provn
-rw-r--r-- 2013-06-04 21:43 +0200 819 ordering-activity4-PASS-c31.provx
-rw-r--r-- 2013-06-04 21:43 +0200 534 ordering-activity4-PASS-c31.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 173 ordering-activity5-PASS-c32.provn
-rw-r--r-- 2013-06-04 21:43 +0200 807 ordering-activity5-PASS-c32.provx
-rw-r--r-- 2013-06-04 21:43 +0200 518 ordering-activity5-PASS-c32.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 360 ordering-association1-PASS-c47.provn
-rw-r--r-- 2013-06-04 21:43 +0200 1555 ordering-association1-PASS-c47.provx
-rw-r--r-- 2013-06-04 21:43 +0200 895 ordering-association1-PASS-c47.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 377 ordering-association2-PASS-c47.provn
-rw-r--r-- 2013-06-04 21:43 +0200 1501 ordering-association2-PASS-c47.provx
-rw-r--r-- 2013-06-04 21:43 +0200 680 ordering-association2-PASS-c47.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 245 ordering-attribution1-PASS-c48.provn
-rw-r--r-- 2013-06-04 21:43 +0200 1088 ordering-attribution1-PASS-c48.provx
-rw-r--r-- 2013-06-04 21:43 +0200 678 ordering-attribution1-PASS-c48.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 253 ordering-attribution2-PASS-c48.provn
-rw-r--r-- 2013-06-04 21:43 +0200 1091 ordering-attribution2-PASS-c48.provx
-rw-r--r-- 2013-06-04 21:43 +0200 687 ordering-attribution2-PASS-c48.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 139 ordering-communication-PASS-c35.provn
-rw-r--r-- 2013-06-04 21:43 +0200 595 ordering-communication-PASS-c35.provx
-rw-r--r-- 2013-06-04 21:43 +0200 232 ordering-communication-PASS-c35.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 223 ordering-delegation1-PASS-c49.provn
-rw-r--r-- 2013-06-04 21:43 +0200 942 ordering-delegation1-PASS-c49.provx
-rw-r--r-- 2013-06-04 21:43 +0200 604 ordering-delegation1-PASS-c49.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 233 ordering-delegation2-PASS-c49.provn
-rw-r--r-- 2013-06-04 21:43 +0200 940 ordering-delegation2-PASS-c49.provx
-rw-r--r-- 2013-06-04 21:43 +0200 584 ordering-delegation2-PASS-c49.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 186 ordering-derivation1-PASS-c42.provn
-rw-r--r-- 2013-06-04 21:43 +0200 870 ordering-derivation1-PASS-c42.provx
-rw-r--r-- 2013-06-04 21:43 +0200 571 ordering-derivation1-PASS-c42.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 223 ordering-derivation2-FAIL-c42.provn
-rw-r--r-- 2013-06-04 21:43 +0200 1066 ordering-derivation2-FAIL-c42.provx
-rw-r--r-- 2013-06-04 21:43 +0200 663 ordering-derivation2-FAIL-c42.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 259 ordering-derivation3-PASS-c41-c42.provn
-rw-r--r-- 2013-06-04 21:43 +0200 1181 ordering-derivation3-PASS-c41-c42.provx
-rw-r--r-- 2013-06-04 21:43 +0200 767 ordering-derivation3-PASS-c41-c42.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 311 ordering-ends1-PASS-c44.provn
-rw-r--r-- 2013-06-04 21:43 +0200 1316 ordering-ends1-PASS-c44.provx
-rw-r--r-- 2013-06-04 21:43 +0200 785 ordering-ends1-PASS-c44.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 233 ordering-entity1-PASS-c36-c37-c38.provn
-rw-r--r-- 2013-06-04 21:43 +0200 1035 ordering-entity1-PASS-c36-c37-c38.provx
-rw-r--r-- 2013-06-04 21:43 +0200 663 ordering-entity1-PASS-c36-c37-c38.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 205 ordering-entity2-PASS-c36.provn
-rw-r--r-- 2013-06-04 21:43 +0200 894 ordering-entity2-PASS-c36.provx
-rw-r--r-- 2013-06-04 21:43 +0200 581 ordering-entity2-PASS-c36.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 183 ordering-entity3-PASS-c39.provn
-rw-r--r-- 2013-06-04 21:43 +0200 825 ordering-entity3-PASS-c39.provx
-rw-r--r-- 2013-06-04 21:43 +0200 552 ordering-entity3-PASS-c39.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 187 ordering-entity4-PASS-c40.provn
-rw-r--r-- 2013-06-04 21:43 +0200 833 ordering-entity4-PASS-c40.provx
-rw-r--r-- 2013-06-04 21:43 +0200 560 ordering-entity4-PASS-c40.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 179 ordering-specialization1-PASS-c45.provn
-rw-r--r-- 2013-06-04 21:43 +0200 890 ordering-specialization1-PASS-c45.provx
-rw-r--r-- 2013-06-04 21:43 +0200 510 ordering-specialization1-PASS-c45.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 183 ordering-specialization2-PASS-c46.provn
-rw-r--r-- 2013-06-04 21:43 +0200 898 ordering-specialization2-PASS-c46.provx
-rw-r--r-- 2013-06-04 21:43 +0200 518 ordering-specialization2-PASS-c46.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 216 ordering-specialization3-PASS-c42-c45.provn
-rw-r--r-- 2013-06-04 21:43 +0200 1088 ordering-specialization3-PASS-c42-c45.provx
-rw-r--r-- 2013-06-04 21:43 +0200 602 ordering-specialization3-PASS-c42-c45.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 216 ordering-specialization4-FAIL-c42-c45.provn
-rw-r--r-- 2013-06-04 21:43 +0200 1088 ordering-specialization4-FAIL-c42-c45.provx
-rw-r--r-- 2013-06-04 21:43 +0200 602 ordering-specialization4-FAIL-c42-c45.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 319 ordering-starts1-PASS-c43.provn
-rw-r--r-- 2013-06-04 21:43 +0200 1328 ordering-starts1-PASS-c43.provx
-rw-r--r-- 2013-06-04 21:43 +0200 801 ordering-starts1-PASS-c43.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 422 prov-o-property-hadGeneration-FAIL-c51-DM.provn
-rw-r--r-- 2013-06-04 21:43 +0200 1460 prov-o-property-hadGeneration-FAIL-c51-DM.provx
-rw-r--r-- 2013-06-04 21:43 +0200 887 prov-o-property-hadGeneration-FAIL-c51-DM.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 233 prov-o-property-hadUsage-FAIL-c51-DM.provn
-rw-r--r-- 2013-06-04 21:43 +0200 1084 prov-o-property-hadUsage-FAIL-c51-DM.provx
-rw-r--r-- 2013-06-04 21:43 +0200 570 prov-o-property-hadUsage-FAIL-c51-DM.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 142 type-collection-FAIL-c56.provn
-rw-r--r-- 2013-06-04 21:43 +0200 641 type-collection-FAIL-c56.provx
-rw-r--r-- 2013-06-04 21:43 +0200 229 type-collection-FAIL-c56.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 144 type-f1-FAIL-c50-c55.provn
-rw-r--r-- 2013-06-04 21:43 +0200 551 type-f1-FAIL-c50-c55.provx
-rw-r--r-- 2013-06-04 21:43 +0200 251 type-f1-FAIL-c50-c55.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 179 type-f2-FAIL-c50-c55.provn
-rw-r--r-- 2013-06-04 21:43 +0200 751 type-f2-FAIL-c50-c55.provx
-rw-r--r-- 2013-06-04 21:43 +0200 520 type-f2-FAIL-c50-c55.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 177 type-f3-FAIL-c54.provn
-rw-r--r-- 2013-06-04 21:43 +0200 736 type-f3-FAIL-c54.provx
-rw-r--r-- 2013-06-04 21:43 +0200 387 type-f3-FAIL-c54.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 130 type-f4-FAIL-c53.provn
-rw-r--r-- 2013-06-04 21:43 +0200 667 type-f4-FAIL-c53.provx
-rw-r--r-- 2013-06-04 21:43 +0200 303 type-f4-FAIL-c53.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 144 type-s1-PASS-c50-c55.provn
-rw-r--r-- 2013-06-04 21:43 +0200 551 type-s1-PASS-c50-c55.provx
-rw-r--r-- 2013-06-04 21:43 +0200 250 type-s1-PASS-c50-c55.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 375 type-s2-PASS-c50-c55.provn
-rw-r--r-- 2013-06-04 21:43 +0200 987 type-s2-PASS-c50-c55.provx
-rw-r--r-- 2013-06-04 21:43 +0200 458 type-s2-PASS-c50-c55.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 179 unification-activity-end-f1-FAIL-c29.provn
-rw-r--r-- 2013-06-04 21:43 +0200 735 unification-activity-end-f1-FAIL-c29.provx
-rw-r--r-- 2013-06-04 21:43 +0200 546 unification-activity-end-f1-FAIL-c29.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 179 unification-activity-end-s1-PASS-c29.provn
-rw-r--r-- 2013-06-04 21:43 +0200 735 unification-activity-end-s1-PASS-c29.provx
-rw-r--r-- 2013-06-04 21:43 +0200 546 unification-activity-end-s1-PASS-c29.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 100 unification-activity-s1-PASS-c22.provn
-rw-r--r-- 2013-06-04 21:43 +0200 442 unification-activity-s1-PASS-c22.provx
-rw-r--r-- 2013-06-04 21:43 +0200 316 unification-activity-s1-PASS-c22.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 111 unification-activity-s2-PASS-c22.provn
-rw-r--r-- 2013-06-04 21:43 +0200 505 unification-activity-s2-PASS-c22.provx
-rw-r--r-- 2013-06-04 21:43 +0200 374 unification-activity-s2-PASS-c22.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 111 unification-activity-s3-PASS-c22.provn
-rw-r--r-- 2013-06-04 21:43 +0200 502 unification-activity-s3-PASS-c22.provx
-rw-r--r-- 2013-06-04 21:43 +0200 372 unification-activity-s3-PASS-c22.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 129 unification-activity-s4-PASS-c22.provn
-rw-r--r-- 2013-06-04 21:43 +0200 564 unification-activity-s4-PASS-c22.provx
-rw-r--r-- 2013-06-04 21:43 +0200 430 unification-activity-s4-PASS-c22.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 183 unification-activity-start-f1-FAIL-c28.provn
-rw-r--r-- 2013-06-04 21:43 +0200 741 unification-activity-start-f1-FAIL-c28.provx
-rw-r--r-- 2013-06-04 21:43 +0200 556 unification-activity-start-f1-FAIL-c28.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 183 unification-activity-start-s1-PASS-c28.provn
-rw-r--r-- 2013-06-04 21:43 +0200 741 unification-activity-start-s1-PASS-c28.provx
-rw-r--r-- 2013-06-04 21:43 +0200 556 unification-activity-start-s1-PASS-c28.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 227 unification-association-f1-FAIL-c23.provn
-rw-r--r-- 2013-06-04 21:43 +0200 1039 unification-association-f1-FAIL-c23.provx
-rw-r--r-- 2013-06-04 21:43 +0200 615 unification-association-f1-FAIL-c23.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 227 unification-association-f2-FAIL-c23.provn
-rw-r--r-- 2013-06-04 21:43 +0200 1039 unification-association-f2-FAIL-c23.provx
-rw-r--r-- 2013-06-04 21:43 +0200 619 unification-association-f2-FAIL-c23.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 227 unification-association-f3-FAIL-c23.provn
-rw-r--r-- 2013-06-04 21:43 +0200 1039 unification-association-f3-FAIL-c23.provx
-rw-r--r-- 2013-06-04 21:43 +0200 614 unification-association-f3-FAIL-c23.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 217 unification-association-f4-FAIL-c23.provn
-rw-r--r-- 2013-06-04 21:43 +0200 1024 unification-association-f4-FAIL-c23.provx
-rw-r--r-- 2013-06-04 21:43 +0200 212 unification-association-f5-FAIL-c23.provn
-rw-r--r-- 2013-06-04 21:43 +0200 1007 unification-association-f5-FAIL-c23.provx
-rw-r--r-- 2013-06-04 21:43 +0200 169 unification-association-f6-FAIL-DM.provn
-rw-r--r-- 2013-06-04 21:43 +0200 780 unification-association-f6-FAIL-DM.provx
-rw-r--r-- 2013-06-04 21:43 +0200 504 unification-association-f6-FAIL-DM.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 221 unification-association-s1-PASS-c23.provn
-rw-r--r-- 2013-06-04 21:43 +0200 1033 unification-association-s1-PASS-c23.provx
-rw-r--r-- 2013-06-04 21:43 +0200 549 unification-association-s1-PASS-c23.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 221 unification-association-s2-PASS-c23.provn
-rw-r--r-- 2013-06-04 21:43 +0200 1033 unification-association-s2-PASS-c23.provx
-rw-r--r-- 2013-06-04 21:43 +0200 679 unification-association-s2-PASS-c23.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 216 unification-association-s3-PASS-c23.provn
-rw-r--r-- 2013-06-04 21:43 +0200 985 unification-association-s3-PASS-c23.provx
-rw-r--r-- 2013-06-04 21:43 +0200 549 unification-association-s3-PASS-c23.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 216 unification-association-s4-PASS-c23.provn
-rw-r--r-- 2013-06-04 21:43 +0200 985 unification-association-s4-PASS-c23.provx
-rw-r--r-- 2013-06-04 21:43 +0200 549 unification-association-s4-PASS-c23.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 201 unification-association-s5-PASS-c23.provn
-rw-r--r-- 2013-06-04 21:43 +0200 995 unification-association-s5-PASS-c23.provx
-rw-r--r-- 2013-06-04 21:43 +0200 766 unification-association-s5-PASS-c23.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 153 unification-attributes-activity-s1-PASS-c22.provn
-rw-r--r-- 2013-06-04 21:43 +0200 616 unification-attributes-activity-s1-PASS-c22.provx
-rw-r--r-- 2013-06-04 21:43 +0200 398 unification-attributes-activity-s1-PASS-c22.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 225 unification-attributes-end-s1-PASS-c23.provn
-rw-r--r-- 2013-06-04 21:43 +0200 1078 unification-attributes-end-s1-PASS-c23.provx
-rw-r--r-- 2013-06-04 21:43 +0200 719 unification-attributes-end-s1-PASS-c23.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 312 unification-attributes-end-s2-PASS-c23.provn
-rw-r--r-- 2013-06-04 21:43 +0200 1221 unification-attributes-end-s2-PASS-c23.provx
-rw-r--r-- 2013-06-04 21:43 +0200 784 unification-attributes-end-s2-PASS-c23.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 147 unification-attributes-entity-s1-PASS-c22.provn
-rw-r--r-- 2013-06-04 21:43 +0200 612 unification-attributes-entity-s1-PASS-c22.provx
-rw-r--r-- 2013-06-04 21:43 +0200 398 unification-attributes-entity-s1-PASS-c22.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 231 unification-attributes-start-s1-PASS-c23.provn
-rw-r--r-- 2013-06-04 21:43 +0200 1094 unification-attributes-start-s1-PASS-c23.provx
-rw-r--r-- 2013-06-04 21:43 +0200 735 unification-attributes-start-s1-PASS-c23.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 322 unification-attributes-start-s2-PASS-c23.provn
-rw-r--r-- 2013-06-04 21:43 +0200 1258 unification-attributes-start-s2-PASS-c23.provx
-rw-r--r-- 2013-06-04 21:43 +0200 802 unification-attributes-start-s2-PASS-c23.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 115 unification-attribution-f1-FAIL-DM.provn
-rw-r--r-- 2013-06-04 21:43 +0200 561 unification-attribution-f1-FAIL-DM.provx
-rw-r--r-- 2013-06-04 21:43 +0200 410 unification-attribution-f1-FAIL-DM.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 115 unification-attribution-f2-FAIL-DM.provn
-rw-r--r-- 2013-06-04 21:43 +0200 560 unification-attribution-f2-FAIL-DM.provx
-rw-r--r-- 2013-06-04 21:43 +0200 409 unification-attribution-f2-FAIL-DM.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 159 unification-attribution-s1-PASS-c23.provn
-rw-r--r-- 2013-06-04 21:43 +0200 794 unification-attribution-s1-PASS-c23.provx
-rw-r--r-- 2013-06-04 21:43 +0200 431 unification-attribution-s1-PASS-c23.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 159 unification-attribution-s2-PASS-c23.provn
-rw-r--r-- 2013-06-04 21:43 +0200 794 unification-attribution-s2-PASS-c23.provx
-rw-r--r-- 2013-06-04 21:43 +0200 525 unification-attribution-s2-PASS-c23.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 151 unification-attribution-s3-PASS-c23.provn
-rw-r--r-- 2013-06-04 21:43 +0200 776 unification-attribution-s3-PASS-c23.provx
-rw-r--r-- 2013-06-04 21:43 +0200 468 unification-attribution-s3-PASS-c23.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 143 unification-attribution-s4-PASS-c23.provn
-rw-r--r-- 2013-06-04 21:43 +0200 758 unification-attribution-s4-PASS-c23.provx
-rw-r--r-- 2013-06-04 21:43 +0200 374 unification-attribution-s4-PASS-c23.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 241 unification-bundle-f1-FAIL-c55-c56.provn
-rw-r--r-- 2013-06-04 21:43 +0200 1006 unification-bundle-f1-FAIL-c55-c56.provx
-rw-r--r-- 2013-06-04 21:43 +0200 300 unification-bundle-f1-FAIL-c55-c56.trig
-rw-r--r-- 2013-06-04 21:43 +0200 124 unification-communication-f1-FAIL-DM.provn
-rw-r--r-- 2013-06-04 21:43 +0200 568 unification-communication-f1-FAIL-DM.provx
-rw-r--r-- 2013-06-04 21:43 +0200 418 unification-communication-f1-FAIL-DM.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 124 unification-communication-f2-FAIL-DM.provn
-rw-r--r-- 2013-06-04 21:43 +0200 569 unification-communication-f2-FAIL-DM.provx
-rw-r--r-- 2013-06-04 21:43 +0200 396 unification-communication-f2-FAIL-DM.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 163 unification-communication-s1-PASS-c23.provn
-rw-r--r-- 2013-06-04 21:43 +0200 805 unification-communication-s1-PASS-c23.provx
-rw-r--r-- 2013-06-04 21:43 +0200 441 unification-communication-s1-PASS-c23.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 163 unification-communication-s2-PASS-c23.provn
-rw-r--r-- 2013-06-04 21:43 +0200 805 unification-communication-s2-PASS-c23.provx
-rw-r--r-- 2013-06-04 21:43 +0200 541 unification-communication-s2-PASS-c23.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 155 unification-communication-s3-PASS-c23.provn
-rw-r--r-- 2013-06-04 21:43 +0200 787 unification-communication-s3-PASS-c23.provx
-rw-r--r-- 2013-06-04 21:43 +0200 475 unification-communication-s3-PASS-c23.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 147 unification-communication-s4-PASS-c23.provn
-rw-r--r-- 2013-06-04 21:43 +0200 769 unification-communication-s4-PASS-c23.provx
-rw-r--r-- 2013-06-04 21:43 +0200 375 unification-communication-s4-PASS-c23.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 197 unification-delegation-f1-FAIL-c23.provn
-rw-r--r-- 2013-06-04 21:43 +0200 995 unification-delegation-f1-FAIL-c23.provx
-rw-r--r-- 2013-06-04 21:43 +0200 553 unification-delegation-f1-FAIL-c23.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 197 unification-delegation-f2-FAIL-c23.provn
-rw-r--r-- 2013-06-04 21:43 +0200 995 unification-delegation-f2-FAIL-c23.provx
-rw-r--r-- 2013-06-04 21:43 +0200 554 unification-delegation-f2-FAIL-c23.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 197 unification-delegation-f3-FAIL-c23.provn
-rw-r--r-- 2013-06-04 21:43 +0200 995 unification-delegation-f3-FAIL-c23.provx
-rw-r--r-- 2013-06-04 21:43 +0200 560 unification-delegation-f3-FAIL-c23.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 141 unification-delegation-f6-FAIL-DM.provn
-rw-r--r-- 2013-06-04 21:43 +0200 727 unification-delegation-f6-FAIL-DM.provx
-rw-r--r-- 2013-06-04 21:43 +0200 438 unification-delegation-f6-FAIL-DM.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 191 unification-delegation-s1-PASS-c23.provn
-rw-r--r-- 2013-06-04 21:43 +0200 989 unification-delegation-s1-PASS-c23.provx
-rw-r--r-- 2013-06-04 21:43 +0200 489 unification-delegation-s1-PASS-c23.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 191 unification-delegation-s2-PASS-c23.provn
-rw-r--r-- 2013-06-04 21:43 +0200 989 unification-delegation-s2-PASS-c23.provx
-rw-r--r-- 2013-06-04 21:43 +0200 616 unification-delegation-s2-PASS-c23.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 146 unification-delegation-s3-PASS-c23.provn
-rw-r--r-- 2013-06-04 21:43 +0200 935 unification-delegation-s3-PASS-c23.provx
-rw-r--r-- 2013-06-04 21:43 +0200 489 unification-delegation-s3-PASS-c23.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 146 unification-delegation-s4-PASS-c23.provn
-rw-r--r-- 2013-06-04 21:43 +0200 827 unification-delegation-s4-PASS-c23.provx
-rw-r--r-- 2013-06-04 21:43 +0200 489 unification-delegation-s4-PASS-c23.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 175 unification-delegation-s5-PASS-c23.provn
-rw-r--r-- 2013-06-04 21:43 +0200 955 unification-delegation-s5-PASS-c23.provx
-rw-r--r-- 2013-06-04 21:43 +0200 714 unification-delegation-s5-PASS-c23.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 177 unification-derivation-f1-FAIL-c23.provn
-rw-r--r-- 2013-06-04 21:43 +0200 843 unification-derivation-f1-FAIL-c23.provx
-rw-r--r-- 2013-06-04 21:43 +0200 167 unification-derivation-f2-FAIL-c23.provn
-rw-r--r-- 2013-06-04 21:43 +0200 861 unification-derivation-f2-FAIL-c23.provx
-rw-r--r-- 2013-06-04 21:43 +0200 172 unification-derivation-f3-FAIL-c23.provn
-rw-r--r-- 2013-06-04 21:43 +0200 900 unification-derivation-f3-FAIL-c23.provx
-rw-r--r-- 2013-06-04 21:43 +0200 172 unification-derivation-f4-FAIL-c23.provn
-rw-r--r-- 2013-06-04 21:43 +0200 895 unification-derivation-f4-FAIL-c23.provx
-rw-r--r-- 2013-06-04 21:43 +0200 155 unification-derivation-s1-PASS-c23.provn
-rw-r--r-- 2013-06-04 21:43 +0200 826 unification-derivation-s1-PASS-c23.provx
-rw-r--r-- 2013-06-04 21:43 +0200 429 unification-derivation-s1-PASS-c23.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 179 unification-derivation-s2-PASS-c23.provn
-rw-r--r-- 2013-06-04 21:43 +0200 896 unification-derivation-s2-PASS-c23.provx
-rw-r--r-- 2013-06-04 21:43 +0200 486 unification-derivation-s2-PASS-c23.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 184 unification-derivation-s3-PASS-c23.provn
-rw-r--r-- 2013-06-04 21:43 +0200 983 unification-derivation-s3-PASS-c23.provx
-rw-r--r-- 2013-06-04 21:43 +0200 523 unification-derivation-s3-PASS-c23.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 184 unification-derivation-s4-PASS-c23.provn
-rw-r--r-- 2013-06-04 21:43 +0200 971 unification-derivation-s4-PASS-c23.provx
-rw-r--r-- 2013-06-04 21:43 +0200 518 unification-derivation-s4-PASS-c23.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 199 unification-derivation-s5-PASS-c23.provn
-rw-r--r-- 2013-06-04 21:43 +0200 1042 unification-derivation-s5-PASS-c23.provx
-rw-r--r-- 2013-06-04 21:43 +0200 555 unification-derivation-s5-PASS-c23.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 193 unification-end-f1-FAIL-c23.provn
-rw-r--r-- 2013-06-04 21:43 +0200 988 unification-end-f1-FAIL-c23.provx
-rw-r--r-- 2013-06-04 21:43 +0200 536 unification-end-f1-FAIL-c23.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 193 unification-end-f2-FAIL-c23.provn
-rw-r--r-- 2013-06-04 21:43 +0200 987 unification-end-f2-FAIL-c23.provx
-rw-r--r-- 2013-06-04 21:43 +0200 540 unification-end-f2-FAIL-c23.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 193 unification-end-f3-FAIL-c23.provn
-rw-r--r-- 2013-06-04 21:43 +0200 987 unification-end-f3-FAIL-c23.provx
-rw-r--r-- 2013-06-04 21:43 +0200 547 unification-end-f3-FAIL-c23.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 193 unification-end-f4-FAIL-c27.provn
-rw-r--r-- 2013-06-04 21:43 +0200 1008 unification-end-f4-FAIL-c27.provx
-rw-r--r-- 2013-06-04 21:43 +0200 606 unification-end-f4-FAIL-c27.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 223 unification-end-f5-FAIL-c23.provn
-rw-r--r-- 2013-06-04 21:43 +0200 951 unification-end-f5-FAIL-c23.provx
-rw-r--r-- 2013-06-04 21:43 +0200 578 unification-end-f5-FAIL-c23.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 179 unification-end-s1-PASS-c27.provn
-rw-r--r-- 2013-06-04 21:43 +0200 970 unification-end-s1-PASS-c27.provx
-rw-r--r-- 2013-06-04 21:43 +0200 649 unification-end-s1-PASS-c27.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 175 unification-end-s2-PASS-c27.provn
-rw-r--r-- 2013-06-04 21:43 +0200 919 unification-end-s2-PASS-c27.provx
-rw-r--r-- 2013-06-04 21:43 +0200 597 unification-end-s2-PASS-c27.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 193 unification-end-s3-PASS-c27.provn
-rw-r--r-- 2013-06-04 21:43 +0200 879 unification-end-s3-PASS-c27.provx
-rw-r--r-- 2013-06-04 21:43 +0200 648 unification-end-s3-PASS-c27.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 175 unification-end-s4-PASS-c27.provn
-rw-r--r-- 2013-06-04 21:43 +0200 971 unification-end-s4-PASS-c27.provx
-rw-r--r-- 2013-06-04 21:43 +0200 597 unification-end-s4-PASS-c27.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 225 unification-end-s5-PASS-c23-c27.provn
-rw-r--r-- 2013-06-04 21:43 +0200 1070 unification-end-s5-PASS-c23-c27.provx
-rw-r--r-- 2013-06-04 21:43 +0200 679 unification-end-s5-PASS-c23-c27.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 225 unification-end-s6-PASS-c23-c27.provn
-rw-r--r-- 2013-06-04 21:43 +0200 921 unification-end-s6-PASS-c23-c27.provx
-rw-r--r-- 2013-06-04 21:43 +0200 687 unification-end-s6-PASS-c23-c27.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 169 unification-generation-f1-FAIL-c24.provn
-rw-r--r-- 2013-06-04 21:43 +0200 853 unification-generation-f1-FAIL-c24.provx
-rw-r--r-- 2013-06-04 21:43 +0200 539 unification-generation-f1-FAIL-c24.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 169 unification-generation-f2-FAIL-c23.provn
-rw-r--r-- 2013-06-04 21:43 +0200 841 unification-generation-f2-FAIL-c23.provx
-rw-r--r-- 2013-06-04 21:43 +0200 498 unification-generation-f2-FAIL-c23.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 169 unification-generation-f3-FAIL-c23.provn
-rw-r--r-- 2013-06-04 21:43 +0200 840 unification-generation-f3-FAIL-c23.provx
-rw-r--r-- 2013-06-04 21:43 +0200 501 unification-generation-f3-FAIL-c23.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 199 unification-generation-f4-FAIL-c23.provn
-rw-r--r-- 2013-06-04 21:43 +0200 806 unification-generation-f4-FAIL-c23.provx
-rw-r--r-- 2013-06-04 21:43 +0200 530 unification-generation-f4-FAIL-c23.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 191 unification-generation-f5-FAIL-c23.provn
-rw-r--r-- 2013-06-04 21:43 +0200 788 unification-generation-f5-FAIL-c23.provx
-rw-r--r-- 2013-06-04 21:43 +0200 710 unification-generation-f5-FAIL-c23.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 183 unification-generation-f6-FAIL-c23.provn
-rw-r--r-- 2013-06-04 21:43 +0200 770 unification-generation-f6-FAIL-c23.provx
-rw-r--r-- 2013-06-04 21:43 +0200 740 unification-generation-f6-FAIL-c23.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 229 unification-generation-f7-FAIL-c23.provn
-rw-r--r-- 2013-06-04 21:43 +0200 927 unification-generation-f7-FAIL-c23.provx
-rw-r--r-- 2013-06-04 21:43 +0200 710 unification-generation-f7-FAIL-c23.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 163 unification-generation-s1-PASS-c23.provn
-rw-r--r-- 2013-06-04 21:43 +0200 808 unification-generation-s1-PASS-c23.provx
-rw-r--r-- 2013-06-04 21:43 +0200 433 unification-generation-s1-PASS-c23.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 159 unification-generation-s2-PASS-c23.provn
-rw-r--r-- 2013-06-04 21:43 +0200 793 unification-generation-s2-PASS-c23.provx
-rw-r--r-- 2013-06-04 21:43 +0200 433 unification-generation-s2-PASS-c23.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 155 unification-generation-s3-PASS-c24.provn
-rw-r--r-- 2013-06-04 21:43 +0200 819 unification-generation-s3-PASS-c24.provx
-rw-r--r-- 2013-06-04 21:43 +0200 462 unification-generation-s3-PASS-c24.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 199 unification-generation-s5-PASS-c23.provn
-rw-r--r-- 2013-06-04 21:43 +0200 806 unification-generation-s5-PASS-c23.provx
-rw-r--r-- 2013-06-04 21:43 +0200 492 unification-generation-s5-PASS-c23.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 181 unification-generation-s6-PASS-c23.provn
-rw-r--r-- 2013-06-04 21:43 +0200 865 unification-generation-s6-PASS-c23.provx
-rw-r--r-- 2013-06-04 21:43 +0200 492 unification-generation-s6-PASS-c23.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 229 unification-generation-s7-PASS-c23-c24.provn
-rw-r--r-- 2013-06-04 21:43 +0200 927 unification-generation-s7-PASS-c23-c24.provx
-rw-r--r-- 2013-06-04 21:43 +0200 710 unification-generation-s7-PASS-c23-c24.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 211 unification-generation-s8-PASS-c23-c24.provn
-rw-r--r-- 2013-06-04 21:43 +0200 881 unification-generation-s8-PASS-c23-c24.provx
-rw-r--r-- 2013-06-04 21:43 +0200 651 unification-generation-s8-PASS-c23-c24.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 96 unification-influence-f1-FAIL-DM.provn
-rw-r--r-- 2013-06-04 21:43 +0200 481 unification-influence-f1-FAIL-DM.provx
-rw-r--r-- 2013-06-04 21:43 +0200 151 unification-influence-f1-FAIL-DM.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 93 unification-influence-f2-FAIL-DM.provn
-rw-r--r-- 2013-06-04 21:43 +0200 481 unification-influence-f2-FAIL-DM.provx
-rw-r--r-- 2013-06-04 21:43 +0200 137 unification-influence-f2-FAIL-DM.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 139 unification-influence-s1-PASS-c23.provn
-rw-r--r-- 2013-06-04 21:43 +0200 634 unification-influence-s1-PASS-c23.provx
-rw-r--r-- 2013-06-04 21:43 +0200 275 unification-influence-s1-PASS-c23.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 173 unification-invalidation-f1-FAIL-c25.provn
-rw-r--r-- 2013-06-04 21:43 +0200 861 unification-invalidation-f1-FAIL-c25.provx
-rw-r--r-- 2013-06-04 21:43 +0200 547 unification-invalidation-f1-FAIL-c25.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 173 unification-invalidation-f2-FAIL-c23.provn
-rw-r--r-- 2013-06-04 21:43 +0200 849 unification-invalidation-f2-FAIL-c23.provx
-rw-r--r-- 2013-06-04 21:43 +0200 504 unification-invalidation-f2-FAIL-c23.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 173 unification-invalidation-f3-FAIL-c23.provn
-rw-r--r-- 2013-06-04 21:43 +0200 848 unification-invalidation-f3-FAIL-c23.provx
-rw-r--r-- 2013-06-04 21:43 +0200 505 unification-invalidation-f3-FAIL-c23.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 203 unification-invalidation-f4-FAIL-c23.provn
-rw-r--r-- 2013-06-04 21:43 +0200 814 unification-invalidation-f4-FAIL-c23.provx
-rw-r--r-- 2013-06-04 21:43 +0200 534 unification-invalidation-f4-FAIL-c23.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 195 unification-invalidation-f5-FAIL-c23-c25.provn
-rw-r--r-- 2013-06-04 21:43 +0200 796 unification-invalidation-f5-FAIL-c23-c25.provx
-rw-r--r-- 2013-06-04 21:43 +0200 720 unification-invalidation-f5-FAIL-c23-c25.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 187 unification-invalidation-f6-FAIL-c23-c25.provn
-rw-r--r-- 2013-06-04 21:43 +0200 778 unification-invalidation-f6-FAIL-c23-c25.provx
-rw-r--r-- 2013-06-04 21:43 +0200 750 unification-invalidation-f6-FAIL-c23-c25.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 235 unification-invalidation-f7-FAIL-c23-c25.provn
-rw-r--r-- 2013-06-04 21:43 +0200 939 unification-invalidation-f7-FAIL-c23-c25.provx
-rw-r--r-- 2013-06-04 21:43 +0200 720 unification-invalidation-f7-FAIL-c23-c25.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 167 unification-invalidation-s1-PASS-c23.provn
-rw-r--r-- 2013-06-04 21:43 +0200 816 unification-invalidation-s1-PASS-c23.provx
-rw-r--r-- 2013-06-04 21:43 +0200 437 unification-invalidation-s1-PASS-c23.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 163 unification-invalidation-s2-PASS-c23.provn
-rw-r--r-- 2013-06-04 21:43 +0200 801 unification-invalidation-s2-PASS-c23.provx
-rw-r--r-- 2013-06-04 21:43 +0200 437 unification-invalidation-s2-PASS-c23.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 159 unification-invalidation-s3-PASS-c25.provn
-rw-r--r-- 2013-06-04 21:43 +0200 827 unification-invalidation-s3-PASS-c25.provx
-rw-r--r-- 2013-06-04 21:43 +0200 468 unification-invalidation-s3-PASS-c25.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 203 unification-invalidation-s5-PASS-c23.provn
-rw-r--r-- 2013-06-04 21:43 +0200 814 unification-invalidation-s5-PASS-c23.provx
-rw-r--r-- 2013-06-04 21:43 +0200 496 unification-invalidation-s5-PASS-c23.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 185 unification-invalidation-s6-PASS-c23.provn
-rw-r--r-- 2013-06-04 21:43 +0200 768 unification-invalidation-s6-PASS-c23.provx
-rw-r--r-- 2013-06-04 21:43 +0200 496 unification-invalidation-s6-PASS-c23.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 235 unification-invalidation-s7-PASS-c23-c25.provn
-rw-r--r-- 2013-06-04 21:43 +0200 939 unification-invalidation-s7-PASS-c23-c25.provx
-rw-r--r-- 2013-06-04 21:43 +0200 720 unification-invalidation-s7-PASS-c23-c25.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 217 unification-invalidation-s8-PASS-c23-c25.provn
-rw-r--r-- 2013-06-04 21:43 +0200 1044 unification-invalidation-s8-PASS-c23-c25.provx
-rw-r--r-- 2013-06-04 21:43 +0200 661 unification-invalidation-s8-PASS-c23-c25.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 105 unification-membership-f1-FAIL-DM.provn
-rw-r--r-- 2013-06-04 21:43 +0200 531 unification-membership-f1-FAIL-DM.provx
-rw-r--r-- 2013-06-04 21:43 +0200 112 unification-specialization-f1-FAIL-DM.provn
-rw-r--r-- 2013-06-04 21:43 +0200 563 unification-specialization-f1-FAIL-DM.provx
-rw-r--r-- 2013-06-04 21:43 +0200 112 unification-specialization-f2-FAIL-DM.provn
-rw-r--r-- 2013-06-04 21:43 +0200 562 unification-specialization-f2-FAIL-DM.provx
-rw-r--r-- 2013-06-04 21:43 +0200 97 unification-specialization-f3-FAIL-c52.provn
-rw-r--r-- 2013-06-04 21:43 +0200 577 unification-specialization-f3-FAIL-c52.provx
-rw-r--r-- 2013-06-04 21:43 +0200 345 unification-specialization-f3-FAIL-c52.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 141 unification-specialization-f4-FAIL-c52.provn
-rw-r--r-- 2013-06-04 21:43 +0200 802 unification-specialization-f4-FAIL-c52.provx
-rw-r--r-- 2013-06-04 21:43 +0200 405 unification-specialization-f4-FAIL-c52.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 111 unification-specialization-s1-PASS.provn
-rw-r--r-- 2013-06-04 21:43 +0200 618 unification-specialization-s1-PASS.provx
-rw-r--r-- 2013-06-04 21:43 +0200 368 unification-specialization-s1-PASS.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 155 unification-specialization-s2-PASS.provn
-rw-r--r-- 2013-06-04 21:43 +0200 863 unification-specialization-s2-PASS.provx
-rw-r--r-- 2013-06-04 21:43 +0200 434 unification-specialization-s2-PASS.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 201 unification-start-f1-FAIL-c23.provn
-rw-r--r-- 2013-06-04 21:43 +0200 882 unification-start-f1-FAIL-c23.provx
-rw-r--r-- 2013-06-04 21:43 +0200 550 unification-start-f1-FAIL-c23.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 201 unification-start-f2-FAIL-c23.provn
-rw-r--r-- 2013-06-04 21:43 +0200 882 unification-start-f2-FAIL-c23.provx
-rw-r--r-- 2013-06-04 21:43 +0200 552 unification-start-f2-FAIL-c23.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 201 unification-start-f3-FAIL-c23.provn
-rw-r--r-- 2013-06-04 21:43 +0200 882 unification-start-f3-FAIL-c23.provx
-rw-r--r-- 2013-06-04 21:43 +0200 559 unification-start-f3-FAIL-c23.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 201 unification-start-f4-FAIL-c26.provn
-rw-r--r-- 2013-06-04 21:43 +0200 903 unification-start-f4-FAIL-c26.provx
-rw-r--r-- 2013-06-04 21:43 +0200 626 unification-start-f4-FAIL-c26.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 231 unification-start-f5-FAIL-c23.provn
-rw-r--r-- 2013-06-04 21:43 +0200 967 unification-start-f5-FAIL-c23.provx
-rw-r--r-- 2013-06-04 21:43 +0200 588 unification-start-f5-FAIL-c23.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 253 unification-start-f6-FAIL-c23.provn
-rw-r--r-- 2013-06-04 21:43 +0200 987 unification-start-f6-FAIL-c23.provx
-rw-r--r-- 2013-06-04 21:43 +0200 746 unification-start-f6-FAIL-c23.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 253 unification-start-f7-FAIL-c23.provn
-rw-r--r-- 2013-06-04 21:43 +0200 1008 unification-start-f7-FAIL-c23.provx
-rw-r--r-- 2013-06-04 21:43 +0200 746 unification-start-f7-FAIL-c23.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 271 unification-start-f8-FAIL-c23.provn
-rw-r--r-- 2013-06-04 21:43 +0200 1090 unification-start-f8-FAIL-c23.provx
-rw-r--r-- 2013-06-04 21:43 +0200 797 unification-start-f8-FAIL-c23.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 185 unification-start-s1-PASS-c26.provn
-rw-r--r-- 2013-06-04 21:43 +0200 866 unification-start-s1-PASS-c26.provx
-rw-r--r-- 2013-06-04 21:43 +0200 665 unification-start-s1-PASS-c26.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 181 unification-start-s2-PASS-c26.provn
-rw-r--r-- 2013-06-04 21:43 +0200 958 unification-start-s2-PASS-c26.provx
-rw-r--r-- 2013-06-04 21:43 +0200 611 unification-start-s2-PASS-c26.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 199 unification-start-s3-PASS-c26.provn
-rw-r--r-- 2013-06-04 21:43 +0200 974 unification-start-s3-PASS-c26.provx
-rw-r--r-- 2013-06-04 21:43 +0200 662 unification-start-s3-PASS-c26.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 181 unification-start-s4-PASS-c26.provn
-rw-r--r-- 2013-06-04 21:43 +0200 980 unification-start-s4-PASS-c26.provx
-rw-r--r-- 2013-06-04 21:43 +0200 611 unification-start-s4-PASS-c26.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 235 unification-start-s5-PASS-c23-c26.provn
-rw-r--r-- 2013-06-04 21:43 +0200 941 unification-start-s5-PASS-c23-c26.provx
-rw-r--r-- 2013-06-04 21:43 +0200 695 unification-start-s5-PASS-c23-c26.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 235 unification-start-s6-PASS-c23-c26.provn
-rw-r--r-- 2013-06-04 21:43 +0200 941 unification-start-s6-PASS-c23-c26.provx
-rw-r--r-- 2013-06-04 21:43 +0200 705 unification-start-s6-PASS-c23-c26.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 253 unification-start-s7-PASS-c23-c26.provn
-rw-r--r-- 2013-06-04 21:43 +0200 987 unification-start-s7-PASS-c23-c26.provx
-rw-r--r-- 2013-06-04 21:43 +0200 756 unification-start-s7-PASS-c23-c26.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 253 unification-start-s8-PASS-c23-c26.provn
-rw-r--r-- 2013-06-04 21:43 +0200 987 unification-start-s8-PASS-c23-c26.provx
-rw-r--r-- 2013-06-04 21:43 +0200 705 unification-start-s8-PASS-c23-c26.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 253 unification-start-s9-PASS-c23-c26.provn
-rw-r--r-- 2013-06-04 21:43 +0200 1127 unification-start-s9-PASS-c23-c26.provx
-rw-r--r-- 2013-06-04 21:43 +0200 746 unification-start-s9-PASS-c23-c26.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 149 unification-usage-f2-FAIL-c23.provn
-rw-r--r-- 2013-06-04 21:43 +0200 706 unification-usage-f2-FAIL-c23.provx
-rw-r--r-- 2013-06-04 21:43 +0200 483 unification-usage-f2-FAIL-c23.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 149 unification-usage-f3-FAIL-c23.provn
-rw-r--r-- 2013-06-04 21:43 +0200 706 unification-usage-f3-FAIL-c23.provx
-rw-r--r-- 2013-06-04 21:43 +0200 485 unification-usage-f3-FAIL-c23.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 179 unification-usage-f4-FAIL-c23.provn
-rw-r--r-- 2013-06-04 21:43 +0200 766 unification-usage-f4-FAIL-c23.provx
-rw-r--r-- 2013-06-04 21:43 +0200 518 unification-usage-f4-FAIL-c23.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 171 unification-usage-f5-PASS-c23.provn
-rw-r--r-- 2013-06-04 21:43 +0200 748 unification-usage-f5-PASS-c23.provx
-rw-r--r-- 2013-06-04 21:43 +0200 676 unification-usage-f5-PASS-c23.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 163 unification-usage-f6-PASS-c23.provn
-rw-r--r-- 2013-06-04 21:43 +0200 730 unification-usage-f6-PASS-c23.provx
-rw-r--r-- 2013-06-04 21:43 +0200 706 unification-usage-f6-PASS-c23.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 199 unification-usage-f7-PASS-c23.provn
-rw-r--r-- 2013-06-04 21:43 +0200 867 unification-usage-f7-PASS-c23.provx
-rw-r--r-- 2013-06-04 21:43 +0200 676 unification-usage-f7-PASS-c23.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 143 unification-usage-s1-PASS-c23.provn
-rw-r--r-- 2013-06-04 21:43 +0200 674 unification-usage-s1-PASS-c23.provx
-rw-r--r-- 2013-06-04 21:43 +0200 421 unification-usage-s1-PASS-c23.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 139 unification-usage-s2-PASS-c23.provn
-rw-r--r-- 2013-06-04 21:43 +0200 672 unification-usage-s2-PASS-c23.provx
-rw-r--r-- 2013-06-04 21:43 +0200 421 unification-usage-s2-PASS-c23.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 179 unification-usage-s5-PASS-c23.provn
-rw-r--r-- 2013-06-04 21:43 +0200 766 unification-usage-s5-PASS-c23.provx
-rw-r--r-- 2013-06-04 21:43 +0200 480 unification-usage-s5-PASS-c23.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 161 unification-usage-s6-PASS-c23.provn
-rw-r--r-- 2013-06-04 21:43 +0200 720 unification-usage-s6-PASS-c23.provx
-rw-r--r-- 2013-06-04 21:43 +0200 480 unification-usage-s6-PASS-c23.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 199 unification-usage-s7-PASS-c23.provn
-rw-r--r-- 2013-06-04 21:43 +0200 867 unification-usage-s7-PASS-c23.provx
-rw-r--r-- 2013-06-04 21:43 +0200 676 unification-usage-s7-PASS-c23.ttl
-rw-r--r-- 2013-06-04 21:43 +0200 181 unification-usage-s8-PASS-c23.provn
-rw-r--r-- 2013-06-04 21:43 +0200 821 unification-usage-s8-PASS-c23.provx
-rw-r--r-- 2013-06-04 21:43 +0200 617 unification-usage-s8-PASS-c23.ttl