Updated test case file lists
authorTrung Dong Huynh <tdh@ecs.soton.ac.uk>
Fri, 11 Jan 2013 15:51:20 +0000
changeset 5421 7f7d0e153a65
parent 5420 d1bc3cbaeb24
child 5422 31e095b65310
Updated test case file lists
testcases/Makefile
testcases/all-tests.txt
testcases/provn-tests.txt
testcases/rdf-tests.txt
testcases/xml-tests.txt
--- a/testcases/Makefile	Fri Jan 11 10:10:34 2013 +0100
+++ b/testcases/Makefile	Fri Jan 11 15:51:20 2013 +0000
@@ -1,5 +1,5 @@
 TXTFILES = rdf-tests.txt provn-tests.txt xml-tests.txt all-tests.txt
-BASE_URL = http://dvcs.w3.org/hg/prov/raw-file/default/testcases/
+BASE_URL = https://dvcs.w3.org/hg/prov/raw-file/default/testcases/
 
 all:	$(TXTFILES)
 
--- a/testcases/all-tests.txt	Fri Jan 11 10:10:34 2013 +0100
+++ b/testcases/all-tests.txt	Fri Jan 11 15:51:20 2013 +0000
@@ -127,10 +127,8 @@
 https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-f3-FAIL-c23.ttl
 https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-f3-FAIL-c23.provn
 https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-f3-FAIL-c23.provx
-https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-f4-FAIL-c23.ttl
 https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-f4-FAIL-c23.provn
 https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-f4-FAIL-c23.provx
-https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-f5-FAIL-c23.ttl
 https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-f5-FAIL-c23.provn
 https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-f5-FAIL-c23.provx
 https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-f6-FAIL-DM.ttl
@@ -187,7 +185,7 @@
 https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attribution-s4-PASS-c23.ttl
 https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attribution-s4-PASS-c23.provn
 https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attribution-s4-PASS-c23.provx
-https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-bundle-f1-FAIL-c55-c56.trig
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-bundle-f1-FAIL-c55-c56.tr
 https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-bundle-f1-FAIL-c55-c56.provn
 https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-bundle-f1-FAIL-c55-c56.provx
 https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-communication-f1-FAIL-DM.ttl
@@ -235,16 +233,12 @@
 https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-delegation-s5-PASS-c23.ttl
 https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-delegation-s5-PASS-c23.provn
 https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-delegation-s5-PASS-c23.provx
-https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-f1-FAIL-c23.ttl
 https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-f1-FAIL-c23.provn
 https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-f1-FAIL-c23.provx
-https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-f2-FAIL-c23.ttl
 https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-f2-FAIL-c23.provn
 https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-f2-FAIL-c23.provx
-https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-f3-FAIL-c23.ttl
 https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-f3-FAIL-c23.provn
 https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-f3-FAIL-c23.provx
-https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-f4-FAIL-c23.ttl
 https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-f4-FAIL-c23.provn
 https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-f4-FAIL-c23.provx
 https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-s1-PASS-c23.ttl
--- a/testcases/provn-tests.txt	Fri Jan 11 10:10:34 2013 +0100
+++ b/testcases/provn-tests.txt	Fri Jan 11 15:51:20 2013 +0000
@@ -1,247 +1,247 @@
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-activity1-PASS-c30.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-activity2-PASS-c33.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-activity3-PASS-c34.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-activity4-PASS-c31.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-activity5-PASS-c32.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-association1-PASS-c47.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-association2-PASS-c47.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-attribution1-PASS-c48.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-attribution2-PASS-c48.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-communication-PASS-c35.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-delegation1-PASS-c49.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-delegation2-PASS-c49.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-derivation1-PASS-c42.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-derivation2-FAIL-c42.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-derivation3-PASS-c41-c42.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-ends1-PASS-c44.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-entity1-PASS-c36-c37-c38.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-entity2-PASS-c36.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-entity3-PASS-c39.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-entity4-PASS-c40.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-specialization1-PASS-c45.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-specialization2-PASS-c46.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-specialization3-PASS-c42-c45.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-specialization4-FAIL-c42-c45.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-starts1-PASS-c43.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/type-collection-FAIL-c56.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/type-f1-FAIL-c50-c55.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/type-f2-FAIL-c50-c55.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/type-f3-FAIL-c54.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/type-f4-FAIL-c53.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/type-s1-PASS-c50-c55.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/type-s2-PASS-c50-c55.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-activity-end-f1-FAIL-c29.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-activity-end-s1-PASS-c29.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-activity-s1-PASS-c22.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-activity-s2-PASS-c22.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-activity-s3-PASS-c22.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-activity-s4-PASS-c22.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-activity-start-f1-FAIL-c28.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-activity-start-s1-PASS-c28.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-f1-FAIL-c23.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-f2-FAIL-c23.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-f3-FAIL-c23.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-f4-FAIL-c23.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-f5-FAIL-c23.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-f6-FAIL-DM.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-s1-PASS-c23.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-s2-PASS-c23.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-s3-PASS-c23.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-s4-PASS-c23.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-s5-PASS-c23.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attributes-activity-s1-PASS-c22.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attributes-end-s1-PASS-c23.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attributes-end-s2-PASS-c23.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attributes-entity-s1-PASS-c22.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attributes-start-s1-PASS-c23.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attributes-start-s2-PASS-c23.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attribution-f1-FAIL-DM.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attribution-f2-FAIL-DM.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attribution-s1-PASS-c23.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attribution-s2-PASS-c23.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attribution-s3-PASS-c23.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attribution-s4-PASS-c23.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-bundle-f1-FAIL-c55-c56.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-communication-f1-FAIL-DM.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-communication-f2-FAIL-DM.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-communication-s1-PASS-c23.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-communication-s2-PASS-c23.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-communication-s3-PASS-c23.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-communication-s4-PASS-c23.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-delegation-f1-FAIL-c23.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-delegation-f2-FAIL-c23.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-delegation-f3-FAIL-c23.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-delegation-f6-FAIL-DM.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-delegation-s1-PASS-c23.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-delegation-s2-PASS-c23.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-delegation-s3-PASS-c23.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-delegation-s4-PASS-c23.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-delegation-s5-PASS-c23.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-f1-FAIL-c23.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-f2-FAIL-c23.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-f3-FAIL-c23.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-f4-FAIL-c23.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-s1-PASS-c23.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-s2-PASS-c23.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-s3-PASS-c23.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-s4-PASS-c23.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-s5-PASS-c23.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-f1-FAIL-c23.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-f2-FAIL-c23.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-f3-FAIL-c23.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-f4-FAIL-c27.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-f5-FAIL-c23.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-s1-PASS-c27.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-s2-PASS-c27.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-s3-PASS-c27.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-s4-PASS-c27.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-s5-PASS-c23-c27.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-s6-PASS-c23-c27.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-f1-FAIL-c24.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-f2-FAIL-c23.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-f3-FAIL-c23.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-f4-FAIL-c23.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-f5-FAIL-c23.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-f6-FAIL-c23.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-f7-FAIL-c23.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-s1-PASS-c23.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-s2-PASS-c23.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-s3-PASS-c24.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-s5-PASS-c23.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-s6-PASS-c23.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-s7-PASS-c23-c24.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-s8-PASS-c23-c24.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-influence-f1-FAIL-DM.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-influence-f2-FAIL-DM.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-influence-s1-PASS-c23.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-f1-FAIL-c25.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-f2-FAIL-c23.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-f3-FAIL-c23.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-f4-FAIL-c23.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-f5-FAIL-c23-c25.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-f6-FAIL-c23-c25.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-f7-FAIL-c23-c25.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-s1-PASS-c23.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-s2-PASS-c23.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-s3-PASS-c25.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-s5-PASS-c23.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-s6-PASS-c23.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-s7-PASS-c23-c25.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-s8-PASS-c23-c25.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-membership-f1-FAIL-DM.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-specialization-f1-FAIL-DM.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-specialization-f2-FAIL-DM.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-specialization-f3-FAIL-c52.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-specialization-f4-FAIL-c52.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-f1-FAIL-c23.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-f2-FAIL-c23.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-f3-FAIL-c23.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-f4-FAIL-c26.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-f5-FAIL-c23.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-f6-FAIL-c23.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-f7-FAIL-c23.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-f8-FAIL-c23.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-s1-PASS-c26.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-s2-PASS-c26.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-s3-PASS-c26.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-s4-PASS-c26.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-s5-PASS-c23-c26.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-s6-PASS-c23-c26.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-s7-PASS-c23-c26.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-s8-PASS-c23-c26.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-s9-PASS-c23-c26.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-f2-FAIL-c23.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-f3-FAIL-c23.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-f4-FAIL-c23.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-f5-PASS-c23.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-f6-PASS-c23.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-f7-PASS-c23.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-s1-PASS-c23.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-s2-PASS-c23.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-s5-PASS-c23.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-s6-PASS-c23.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-s7-PASS-c23.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-s8-PASS-c23.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/prov-o-property-hadGeneration-FAIL-c51-DM.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/prov-o-property-hadUsage-FAIL-c51-DM.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Activity-PASS.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-ActivityInfluence-PASS.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Agent-PASS.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-AgentInfluence-PASS.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Association-PASS.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Attribution-PASS.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Bundle-PASS.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Collection-PASS.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Communication-PASS.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Delegation-PASS.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Derivation-FAIL.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-EmptyCollection-PASS.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-End-PASS.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Entity-PASS.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-EntityInfluence-PASS.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Generation-PASS.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Influence-PASS.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-InstantaneousEvent-PASS.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Invalidation-PASS.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Location-PASS.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Organization-PASS.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Person-PASS.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Plan-PASS.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-PrimarySource-PASS.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Quotation-PASS.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Revision-PASS.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Role-PASS.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-SoftwareAgent-PASS.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Start-PASS.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Usage-PASS.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-actedOnBehalfOf-PASS.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-activity-PASS.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-agent-PASS.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-alternateOf-PASS.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-atLocation-PASS.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-atTime-PASS.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-endedAtTime-PASS.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-entity-PASS.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-generated-PASS.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-generatedAtTime-PASS.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-hadActivity-PASS.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-hadGeneration-FAIL.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-hadMember-PASS.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-hadPlan-PASS.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-hadPrimarySource-PASS.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-hadRole-PASS.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-hadUsage-FAIL.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-hasAnchor-PASS.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-influenced-PASS.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-influencer-PASS.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-invalidated-PASS.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-invalidatedAtTime-PASS.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-qualifiedAssociation-PASS.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-qualifiedAttribution-PASS.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-qualifiedCommunication-PASS.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-qualifiedDelegation-PASS.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-qualifiedDerivation-FAIL.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-qualifiedEnd-PASS.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-qualifiedGeneration-PASS.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-qualifiedInfluence-PASS.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-qualifiedInvalidation-PASS.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-qualifiedPrimarySource-PASS.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-qualifiedQuotation-PASS.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-qualifiedRevision-PASS.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-qualifiedStart-PASS.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-qualifiedUsage-PASS.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-removed-PASS.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-specializationOf-PASS.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-startedAtTime-PASS.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-used-PASS.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-wasAssociatedWith-PASS.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-wasAttributedTo-PASS.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-wasDerivedFrom-PASS.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-wasEndedBy-PASS.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-wasGeneratedBy-PASS.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-wasInfluencedBy-PASS.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-wasInformedBy-PASS.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-wasInvalidatedBy-PASS.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-wasQuotedFrom-PASS.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-wasRevisionOf-PASS.provn
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-wasStartedBy-PASS.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-activity1-PASS-c30.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-activity2-PASS-c33.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-activity3-PASS-c34.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-activity4-PASS-c31.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-activity5-PASS-c32.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-association1-PASS-c47.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-association2-PASS-c47.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-attribution1-PASS-c48.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-attribution2-PASS-c48.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-communication-PASS-c35.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-delegation1-PASS-c49.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-delegation2-PASS-c49.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-derivation1-PASS-c42.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-derivation2-FAIL-c42.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-derivation3-PASS-c41-c42.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-ends1-PASS-c44.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-entity1-PASS-c36-c37-c38.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-entity2-PASS-c36.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-entity3-PASS-c39.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-entity4-PASS-c40.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-specialization1-PASS-c45.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-specialization2-PASS-c46.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-specialization3-PASS-c42-c45.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-specialization4-FAIL-c42-c45.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-starts1-PASS-c43.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/type-collection-FAIL-c56.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/type-f1-FAIL-c50-c55.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/type-f2-FAIL-c50-c55.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/type-f3-FAIL-c54.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/type-f4-FAIL-c53.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/type-s1-PASS-c50-c55.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/type-s2-PASS-c50-c55.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-activity-end-f1-FAIL-c29.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-activity-end-s1-PASS-c29.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-activity-s1-PASS-c22.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-activity-s2-PASS-c22.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-activity-s3-PASS-c22.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-activity-s4-PASS-c22.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-activity-start-f1-FAIL-c28.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-activity-start-s1-PASS-c28.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-f1-FAIL-c23.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-f2-FAIL-c23.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-f3-FAIL-c23.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-f4-FAIL-c23.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-f5-FAIL-c23.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-f6-FAIL-DM.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-s1-PASS-c23.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-s2-PASS-c23.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-s3-PASS-c23.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-s4-PASS-c23.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-s5-PASS-c23.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attributes-activity-s1-PASS-c22.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attributes-end-s1-PASS-c23.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attributes-end-s2-PASS-c23.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attributes-entity-s1-PASS-c22.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attributes-start-s1-PASS-c23.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attributes-start-s2-PASS-c23.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attribution-f1-FAIL-DM.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attribution-f2-FAIL-DM.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attribution-s1-PASS-c23.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attribution-s2-PASS-c23.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attribution-s3-PASS-c23.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attribution-s4-PASS-c23.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-bundle-f1-FAIL-c55-c56.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-communication-f1-FAIL-DM.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-communication-f2-FAIL-DM.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-communication-s1-PASS-c23.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-communication-s2-PASS-c23.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-communication-s3-PASS-c23.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-communication-s4-PASS-c23.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-delegation-f1-FAIL-c23.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-delegation-f2-FAIL-c23.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-delegation-f3-FAIL-c23.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-delegation-f6-FAIL-DM.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-delegation-s1-PASS-c23.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-delegation-s2-PASS-c23.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-delegation-s3-PASS-c23.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-delegation-s4-PASS-c23.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-delegation-s5-PASS-c23.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-f1-FAIL-c23.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-f2-FAIL-c23.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-f3-FAIL-c23.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-f4-FAIL-c23.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-s1-PASS-c23.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-s2-PASS-c23.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-s3-PASS-c23.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-s4-PASS-c23.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-s5-PASS-c23.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-f1-FAIL-c23.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-f2-FAIL-c23.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-f3-FAIL-c23.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-f4-FAIL-c27.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-f5-FAIL-c23.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-s1-PASS-c27.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-s2-PASS-c27.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-s3-PASS-c27.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-s4-PASS-c27.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-s5-PASS-c23-c27.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-s6-PASS-c23-c27.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-f1-FAIL-c24.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-f2-FAIL-c23.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-f3-FAIL-c23.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-f4-FAIL-c23.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-f5-FAIL-c23.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-f6-FAIL-c23.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-f7-FAIL-c23.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-s1-PASS-c23.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-s2-PASS-c23.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-s3-PASS-c24.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-s5-PASS-c23.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-s6-PASS-c23.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-s7-PASS-c23-c24.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-s8-PASS-c23-c24.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-influence-f1-FAIL-DM.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-influence-f2-FAIL-DM.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-influence-s1-PASS-c23.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-f1-FAIL-c25.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-f2-FAIL-c23.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-f3-FAIL-c23.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-f4-FAIL-c23.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-f5-FAIL-c23-c25.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-f6-FAIL-c23-c25.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-f7-FAIL-c23-c25.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-s1-PASS-c23.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-s2-PASS-c23.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-s3-PASS-c25.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-s5-PASS-c23.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-s6-PASS-c23.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-s7-PASS-c23-c25.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-s8-PASS-c23-c25.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-membership-f1-FAIL-DM.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-specialization-f1-FAIL-DM.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-specialization-f2-FAIL-DM.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-specialization-f3-FAIL-c52.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-specialization-f4-FAIL-c52.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-f1-FAIL-c23.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-f2-FAIL-c23.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-f3-FAIL-c23.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-f4-FAIL-c26.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-f5-FAIL-c23.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-f6-FAIL-c23.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-f7-FAIL-c23.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-f8-FAIL-c23.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-s1-PASS-c26.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-s2-PASS-c26.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-s3-PASS-c26.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-s4-PASS-c26.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-s5-PASS-c23-c26.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-s6-PASS-c23-c26.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-s7-PASS-c23-c26.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-s8-PASS-c23-c26.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-s9-PASS-c23-c26.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-f2-FAIL-c23.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-f3-FAIL-c23.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-f4-FAIL-c23.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-f5-PASS-c23.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-f6-PASS-c23.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-f7-PASS-c23.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-s1-PASS-c23.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-s2-PASS-c23.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-s5-PASS-c23.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-s6-PASS-c23.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-s7-PASS-c23.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-s8-PASS-c23.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/prov-o-property-hadGeneration-FAIL-c51-DM.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/prov-o-property-hadUsage-FAIL-c51-DM.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Activity-PASS.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-ActivityInfluence-PASS.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Agent-PASS.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-AgentInfluence-PASS.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Association-PASS.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Attribution-PASS.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Bundle-PASS.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Collection-PASS.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Communication-PASS.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Delegation-PASS.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Derivation-FAIL.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-EmptyCollection-PASS.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-End-PASS.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Entity-PASS.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-EntityInfluence-PASS.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Generation-PASS.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Influence-PASS.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-InstantaneousEvent-PASS.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Invalidation-PASS.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Location-PASS.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Organization-PASS.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Person-PASS.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Plan-PASS.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-PrimarySource-PASS.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Quotation-PASS.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Revision-PASS.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Role-PASS.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-SoftwareAgent-PASS.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Start-PASS.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Usage-PASS.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-actedOnBehalfOf-PASS.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-activity-PASS.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-agent-PASS.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-alternateOf-PASS.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-atLocation-PASS.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-atTime-PASS.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-endedAtTime-PASS.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-entity-PASS.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-generated-PASS.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-generatedAtTime-PASS.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-hadActivity-PASS.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-hadGeneration-FAIL.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-hadMember-PASS.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-hadPlan-PASS.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-hadPrimarySource-PASS.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-hadRole-PASS.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-hadUsage-FAIL.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-hasAnchor-PASS.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-influenced-PASS.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-influencer-PASS.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-invalidated-PASS.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-invalidatedAtTime-PASS.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-qualifiedAssociation-PASS.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-qualifiedAttribution-PASS.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-qualifiedCommunication-PASS.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-qualifiedDelegation-PASS.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-qualifiedDerivation-FAIL.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-qualifiedEnd-PASS.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-qualifiedGeneration-PASS.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-qualifiedInfluence-PASS.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-qualifiedInvalidation-PASS.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-qualifiedPrimarySource-PASS.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-qualifiedQuotation-PASS.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-qualifiedRevision-PASS.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-qualifiedStart-PASS.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-qualifiedUsage-PASS.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-removed-PASS.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-specializationOf-PASS.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-startedAtTime-PASS.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-used-PASS.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-wasAssociatedWith-PASS.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-wasAttributedTo-PASS.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-wasDerivedFrom-PASS.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-wasEndedBy-PASS.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-wasGeneratedBy-PASS.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-wasInfluencedBy-PASS.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-wasInformedBy-PASS.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-wasInvalidatedBy-PASS.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-wasQuotedFrom-PASS.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-wasRevisionOf-PASS.provn
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-wasStartedBy-PASS.provn
--- a/testcases/rdf-tests.txt	Fri Jan 11 10:10:34 2013 +0100
+++ b/testcases/rdf-tests.txt	Fri Jan 11 15:51:20 2013 +0000
@@ -1,238 +1,237 @@
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-activity1-PASS-c30.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-activity2-PASS-c33.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-activity3-PASS-c34.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-activity4-PASS-c31.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-activity5-PASS-c32.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-association1-PASS-c47.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-association2-PASS-c47.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-attribution1-PASS-c48.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-attribution2-PASS-c48.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-communication-PASS-c35.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-delegation1-PASS-c49.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-delegation2-PASS-c49.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-derivation1-PASS-c42.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-derivation2-FAIL-c42.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-derivation3-PASS-c41-c42.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-ends1-PASS-c44.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-entity1-PASS-c36-c37-c38.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-entity2-PASS-c36.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-entity3-PASS-c39.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-entity4-PASS-c40.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-specialization1-PASS-c45.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-specialization2-PASS-c46.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-specialization3-PASS-c42-c45.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-specialization4-FAIL-c42-c45.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-starts1-PASS-c43.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/type-collection-FAIL-c56.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/type-f1-FAIL-c50-c55.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/type-f2-FAIL-c50-c55.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/type-f3-FAIL-c54.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/type-f4-FAIL-c53.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/type-s1-PASS-c50-c55.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/type-s2-PASS-c50-c55.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-activity-end-f1-FAIL-c29.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-activity-end-s1-PASS-c29.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-activity-s1-PASS-c22.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-activity-s2-PASS-c22.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-activity-s3-PASS-c22.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-activity-s4-PASS-c22.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-activity-start-f1-FAIL-c28.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-activity-start-s1-PASS-c28.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-f1-FAIL-c23.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-f2-FAIL-c23.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-f3-FAIL-c23.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-f6-FAIL-DM.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-s1-PASS-c23.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-s2-PASS-c23.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-s3-PASS-c23.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-s4-PASS-c23.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-s5-PASS-c23.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attributes-activity-s1-PASS-c22.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attributes-end-s1-PASS-c23.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attributes-end-s2-PASS-c23.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attributes-entity-s1-PASS-c22.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attributes-start-s1-PASS-c23.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attributes-start-s2-PASS-c23.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attribution-f1-FAIL-DM.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attribution-f2-FAIL-DM.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attribution-s1-PASS-c23.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attribution-s2-PASS-c23.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attribution-s3-PASS-c23.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attribution-s4-PASS-c23.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-bundle-f1-FAIL-c55-c56.trig
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-communication-f1-FAIL-DM.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-communication-f2-FAIL-DM.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-communication-s1-PASS-c23.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-communication-s2-PASS-c23.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-communication-s3-PASS-c23.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-communication-s4-PASS-c23.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-delegation-f1-FAIL-c23.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-delegation-f2-FAIL-c23.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-delegation-f3-FAIL-c23.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-delegation-f6-FAIL-DM.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-delegation-s1-PASS-c23.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-delegation-s2-PASS-c23.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-delegation-s3-PASS-c23.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-delegation-s4-PASS-c23.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-delegation-s5-PASS-c23.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-s1-PASS-c23.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-s2-PASS-c23.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-s3-PASS-c23.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-s4-PASS-c23.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-s5-PASS-c23.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-f1-FAIL-c23.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-f2-FAIL-c23.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-f3-FAIL-c23.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-f4-FAIL-c27.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-f5-FAIL-c23.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-s1-PASS-c27.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-s2-PASS-c27.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-s3-PASS-c27.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-s4-PASS-c27.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-s5-PASS-c23-c27.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-s6-PASS-c23-c27.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-f1-FAIL-c24.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-f2-FAIL-c23.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-f3-FAIL-c23.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-f4-FAIL-c23.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-f5-FAIL-c23.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-f6-FAIL-c23.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-f7-FAIL-c23.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-s1-PASS-c23.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-s2-PASS-c23.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-s3-PASS-c24.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-s5-PASS-c23.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-s6-PASS-c23.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-s7-PASS-c23-c24.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-s8-PASS-c23-c24.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-influence-f1-FAIL-DM.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-influence-f2-FAIL-DM.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-influence-s1-PASS-c23.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-f1-FAIL-c25.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-f2-FAIL-c23.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-f3-FAIL-c23.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-f4-FAIL-c23.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-f5-FAIL-c23-c25.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-f6-FAIL-c23-c25.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-f7-FAIL-c23-c25.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-s1-PASS-c23.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-s2-PASS-c23.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-s3-PASS-c25.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-s5-PASS-c23.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-s6-PASS-c23.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-s7-PASS-c23-c25.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-s8-PASS-c23-c25.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-specialization-f3-FAIL-c52.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-specialization-f4-FAIL-c52.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-f1-FAIL-c23.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-f2-FAIL-c23.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-f3-FAIL-c23.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-f4-FAIL-c26.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-f5-FAIL-c23.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-f6-FAIL-c23.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-f7-FAIL-c23.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-f8-FAIL-c23.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-s1-PASS-c26.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-s2-PASS-c26.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-s3-PASS-c26.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-s4-PASS-c26.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-s5-PASS-c23-c26.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-s6-PASS-c23-c26.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-s7-PASS-c23-c26.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-s8-PASS-c23-c26.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-s9-PASS-c23-c26.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-f2-FAIL-c23.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-f3-FAIL-c23.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-f4-FAIL-c23.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-f5-PASS-c23.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-f6-PASS-c23.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-f7-PASS-c23.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-s1-PASS-c23.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-s2-PASS-c23.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-s5-PASS-c23.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-s6-PASS-c23.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-s7-PASS-c23.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-s8-PASS-c23.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/prov-o-property-hadGeneration-FAIL-c51-DM.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/prov-o-property-hadUsage-FAIL-c51-DM.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Activity-PASS.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-ActivityInfluence-PASS.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Agent-PASS.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-AgentInfluence-PASS.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Association-PASS.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Attribution-PASS.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Bundle-PASS.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Collection-PASS.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Communication-PASS.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Delegation-PASS.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Derivation-FAIL.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-EmptyCollection-PASS.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-End-PASS.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Entity-PASS.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-EntityInfluence-PASS.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Generation-PASS.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Influence-PASS.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-InstantaneousEvent-PASS.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Invalidation-PASS.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Location-PASS.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Organization-PASS.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Person-PASS.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Plan-PASS.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-PrimarySource-PASS.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Quotation-PASS.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Revision-PASS.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Role-PASS.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-SoftwareAgent-PASS.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Start-PASS.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Usage-PASS.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-actedOnBehalfOf-PASS.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-activity-PASS.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-agent-PASS.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-alternateOf-PASS.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-atLocation-PASS.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-atTime-PASS.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-endedAtTime-PASS.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-entity-PASS.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-generated-PASS.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-generatedAtTime-PASS.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-hadActivity-PASS.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-hadGeneration-FAIL.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-hadMember-PASS.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-hadPlan-PASS.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-hadPrimarySource-PASS.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-hadRole-PASS.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-hadUsage-FAIL.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-hasAnchor-PASS.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-influenced-PASS.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-influencer-PASS.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-invalidated-PASS.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-invalidatedAtTime-PASS.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-qualifiedAssociation-PASS.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-qualifiedAttribution-PASS.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-qualifiedCommunication-PASS.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-qualifiedDelegation-PASS.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-qualifiedDerivation-FAIL.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-qualifiedEnd-PASS.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-qualifiedGeneration-PASS.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-qualifiedInfluence-PASS.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-qualifiedInvalidation-PASS.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-qualifiedPrimarySource-PASS.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-qualifiedQuotation-PASS.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-qualifiedRevision-PASS.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-qualifiedStart-PASS.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-qualifiedUsage-PASS.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-removed-PASS.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-specializationOf-PASS.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-startedAtTime-PASS.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-used-PASS.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-wasAssociatedWith-PASS.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-wasAttributedTo-PASS.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-wasDerivedFrom-PASS.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-wasEndedBy-PASS.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-wasGeneratedBy-PASS.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-wasInfluencedBy-PASS.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-wasInformedBy-PASS.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-wasInvalidatedBy-PASS.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-wasQuotedFrom-PASS.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-wasRevisionOf-PASS.ttl
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-wasStartedBy-PASS.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-activity1-PASS-c30.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-activity2-PASS-c33.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-activity3-PASS-c34.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-activity4-PASS-c31.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-activity5-PASS-c32.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-association1-PASS-c47.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-association2-PASS-c47.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-attribution1-PASS-c48.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-attribution2-PASS-c48.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-communication-PASS-c35.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-delegation1-PASS-c49.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-delegation2-PASS-c49.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-derivation1-PASS-c42.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-derivation2-FAIL-c42.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-derivation3-PASS-c41-c42.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-ends1-PASS-c44.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-entity1-PASS-c36-c37-c38.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-entity2-PASS-c36.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-entity3-PASS-c39.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-entity4-PASS-c40.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-specialization1-PASS-c45.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-specialization2-PASS-c46.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-specialization3-PASS-c42-c45.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-specialization4-FAIL-c42-c45.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-starts1-PASS-c43.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/type-collection-FAIL-c56.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/type-f1-FAIL-c50-c55.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/type-f2-FAIL-c50-c55.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/type-f3-FAIL-c54.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/type-f4-FAIL-c53.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/type-s1-PASS-c50-c55.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/type-s2-PASS-c50-c55.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-activity-end-f1-FAIL-c29.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-activity-end-s1-PASS-c29.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-activity-s1-PASS-c22.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-activity-s2-PASS-c22.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-activity-s3-PASS-c22.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-activity-s4-PASS-c22.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-activity-start-f1-FAIL-c28.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-activity-start-s1-PASS-c28.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-f1-FAIL-c23.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-f2-FAIL-c23.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-f3-FAIL-c23.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-f6-FAIL-DM.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-s1-PASS-c23.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-s2-PASS-c23.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-s3-PASS-c23.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-s4-PASS-c23.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-s5-PASS-c23.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attributes-activity-s1-PASS-c22.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attributes-end-s1-PASS-c23.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attributes-end-s2-PASS-c23.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attributes-entity-s1-PASS-c22.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attributes-start-s1-PASS-c23.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attributes-start-s2-PASS-c23.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attribution-f1-FAIL-DM.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attribution-f2-FAIL-DM.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attribution-s1-PASS-c23.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attribution-s2-PASS-c23.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attribution-s3-PASS-c23.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attribution-s4-PASS-c23.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-communication-f1-FAIL-DM.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-communication-f2-FAIL-DM.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-communication-s1-PASS-c23.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-communication-s2-PASS-c23.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-communication-s3-PASS-c23.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-communication-s4-PASS-c23.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-delegation-f1-FAIL-c23.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-delegation-f2-FAIL-c23.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-delegation-f3-FAIL-c23.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-delegation-f6-FAIL-DM.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-delegation-s1-PASS-c23.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-delegation-s2-PASS-c23.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-delegation-s3-PASS-c23.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-delegation-s4-PASS-c23.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-delegation-s5-PASS-c23.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-s1-PASS-c23.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-s2-PASS-c23.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-s3-PASS-c23.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-s4-PASS-c23.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-s5-PASS-c23.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-f1-FAIL-c23.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-f2-FAIL-c23.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-f3-FAIL-c23.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-f4-FAIL-c27.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-f5-FAIL-c23.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-s1-PASS-c27.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-s2-PASS-c27.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-s3-PASS-c27.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-s4-PASS-c27.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-s5-PASS-c23-c27.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-s6-PASS-c23-c27.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-f1-FAIL-c24.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-f2-FAIL-c23.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-f3-FAIL-c23.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-f4-FAIL-c23.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-f5-FAIL-c23.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-f6-FAIL-c23.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-f7-FAIL-c23.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-s1-PASS-c23.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-s2-PASS-c23.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-s3-PASS-c24.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-s5-PASS-c23.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-s6-PASS-c23.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-s7-PASS-c23-c24.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-s8-PASS-c23-c24.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-influence-f1-FAIL-DM.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-influence-f2-FAIL-DM.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-influence-s1-PASS-c23.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-f1-FAIL-c25.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-f2-FAIL-c23.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-f3-FAIL-c23.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-f4-FAIL-c23.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-f5-FAIL-c23-c25.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-f6-FAIL-c23-c25.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-f7-FAIL-c23-c25.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-s1-PASS-c23.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-s2-PASS-c23.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-s3-PASS-c25.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-s5-PASS-c23.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-s6-PASS-c23.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-s7-PASS-c23-c25.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-s8-PASS-c23-c25.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-specialization-f3-FAIL-c52.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-specialization-f4-FAIL-c52.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-f1-FAIL-c23.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-f2-FAIL-c23.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-f3-FAIL-c23.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-f4-FAIL-c26.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-f5-FAIL-c23.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-f6-FAIL-c23.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-f7-FAIL-c23.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-f8-FAIL-c23.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-s1-PASS-c26.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-s2-PASS-c26.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-s3-PASS-c26.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-s4-PASS-c26.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-s5-PASS-c23-c26.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-s6-PASS-c23-c26.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-s7-PASS-c23-c26.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-s8-PASS-c23-c26.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-s9-PASS-c23-c26.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-f2-FAIL-c23.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-f3-FAIL-c23.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-f4-FAIL-c23.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-f5-PASS-c23.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-f6-PASS-c23.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-f7-PASS-c23.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-s1-PASS-c23.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-s2-PASS-c23.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-s5-PASS-c23.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-s6-PASS-c23.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-s7-PASS-c23.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-s8-PASS-c23.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/prov-o-property-hadGeneration-FAIL-c51-DM.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/prov-o-property-hadUsage-FAIL-c51-DM.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Activity-PASS.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-ActivityInfluence-PASS.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Agent-PASS.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-AgentInfluence-PASS.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Association-PASS.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Attribution-PASS.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Bundle-PASS.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Collection-PASS.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Communication-PASS.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Delegation-PASS.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Derivation-FAIL.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-EmptyCollection-PASS.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-End-PASS.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Entity-PASS.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-EntityInfluence-PASS.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Generation-PASS.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Influence-PASS.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-InstantaneousEvent-PASS.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Invalidation-PASS.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Location-PASS.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Organization-PASS.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Person-PASS.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Plan-PASS.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-PrimarySource-PASS.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Quotation-PASS.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Revision-PASS.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Role-PASS.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-SoftwareAgent-PASS.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Start-PASS.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Usage-PASS.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-actedOnBehalfOf-PASS.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-activity-PASS.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-agent-PASS.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-alternateOf-PASS.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-atLocation-PASS.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-atTime-PASS.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-endedAtTime-PASS.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-entity-PASS.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-generated-PASS.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-generatedAtTime-PASS.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-hadActivity-PASS.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-hadGeneration-FAIL.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-hadMember-PASS.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-hadPlan-PASS.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-hadPrimarySource-PASS.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-hadRole-PASS.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-hadUsage-FAIL.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-hasAnchor-PASS.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-influenced-PASS.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-influencer-PASS.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-invalidated-PASS.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-invalidatedAtTime-PASS.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-qualifiedAssociation-PASS.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-qualifiedAttribution-PASS.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-qualifiedCommunication-PASS.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-qualifiedDelegation-PASS.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-qualifiedDerivation-FAIL.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-qualifiedEnd-PASS.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-qualifiedGeneration-PASS.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-qualifiedInfluence-PASS.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-qualifiedInvalidation-PASS.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-qualifiedPrimarySource-PASS.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-qualifiedQuotation-PASS.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-qualifiedRevision-PASS.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-qualifiedStart-PASS.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-qualifiedUsage-PASS.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-removed-PASS.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-specializationOf-PASS.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-startedAtTime-PASS.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-used-PASS.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-wasAssociatedWith-PASS.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-wasAttributedTo-PASS.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-wasDerivedFrom-PASS.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-wasEndedBy-PASS.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-wasGeneratedBy-PASS.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-wasInfluencedBy-PASS.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-wasInformedBy-PASS.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-wasInvalidatedBy-PASS.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-wasQuotedFrom-PASS.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-wasRevisionOf-PASS.ttl
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-wasStartedBy-PASS.ttl
--- a/testcases/xml-tests.txt	Fri Jan 11 10:10:34 2013 +0100
+++ b/testcases/xml-tests.txt	Fri Jan 11 15:51:20 2013 +0000
@@ -1,247 +1,247 @@
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-activity1-PASS-c30.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-activity2-PASS-c33.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-activity3-PASS-c34.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-activity4-PASS-c31.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-activity5-PASS-c32.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-association1-PASS-c47.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-association2-PASS-c47.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-attribution1-PASS-c48.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-attribution2-PASS-c48.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-communication-PASS-c35.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-delegation1-PASS-c49.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-delegation2-PASS-c49.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-derivation1-PASS-c42.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-derivation2-FAIL-c42.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-derivation3-PASS-c41-c42.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-ends1-PASS-c44.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-entity1-PASS-c36-c37-c38.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-entity2-PASS-c36.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-entity3-PASS-c39.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-entity4-PASS-c40.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-specialization1-PASS-c45.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-specialization2-PASS-c46.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-specialization3-PASS-c42-c45.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-specialization4-FAIL-c42-c45.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-starts1-PASS-c43.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/type-collection-FAIL-c56.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/type-f1-FAIL-c50-c55.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/type-f2-FAIL-c50-c55.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/type-f3-FAIL-c54.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/type-f4-FAIL-c53.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/type-s1-PASS-c50-c55.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/type-s2-PASS-c50-c55.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-activity-end-f1-FAIL-c29.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-activity-end-s1-PASS-c29.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-activity-s1-PASS-c22.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-activity-s2-PASS-c22.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-activity-s3-PASS-c22.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-activity-s4-PASS-c22.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-activity-start-f1-FAIL-c28.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-activity-start-s1-PASS-c28.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-f1-FAIL-c23.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-f2-FAIL-c23.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-f3-FAIL-c23.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-f4-FAIL-c23.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-f5-FAIL-c23.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-f6-FAIL-DM.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-s1-PASS-c23.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-s2-PASS-c23.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-s3-PASS-c23.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-s4-PASS-c23.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-s5-PASS-c23.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attributes-activity-s1-PASS-c22.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attributes-end-s1-PASS-c23.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attributes-end-s2-PASS-c23.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attributes-entity-s1-PASS-c22.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attributes-start-s1-PASS-c23.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attributes-start-s2-PASS-c23.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attribution-f1-FAIL-DM.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attribution-f2-FAIL-DM.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attribution-s1-PASS-c23.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attribution-s2-PASS-c23.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attribution-s3-PASS-c23.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attribution-s4-PASS-c23.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-bundle-f1-FAIL-c55-c56.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-communication-f1-FAIL-DM.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-communication-f2-FAIL-DM.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-communication-s1-PASS-c23.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-communication-s2-PASS-c23.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-communication-s3-PASS-c23.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-communication-s4-PASS-c23.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-delegation-f1-FAIL-c23.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-delegation-f2-FAIL-c23.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-delegation-f3-FAIL-c23.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-delegation-f6-FAIL-DM.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-delegation-s1-PASS-c23.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-delegation-s2-PASS-c23.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-delegation-s3-PASS-c23.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-delegation-s4-PASS-c23.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-delegation-s5-PASS-c23.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-f1-FAIL-c23.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-f2-FAIL-c23.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-f3-FAIL-c23.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-f4-FAIL-c23.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-s1-PASS-c23.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-s2-PASS-c23.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-s3-PASS-c23.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-s4-PASS-c23.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-s5-PASS-c23.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-f1-FAIL-c23.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-f2-FAIL-c23.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-f3-FAIL-c23.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-f4-FAIL-c27.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-f5-FAIL-c23.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-s1-PASS-c27.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-s2-PASS-c27.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-s3-PASS-c27.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-s4-PASS-c27.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-s5-PASS-c23-c27.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-s6-PASS-c23-c27.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-f1-FAIL-c24.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-f2-FAIL-c23.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-f3-FAIL-c23.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-f4-FAIL-c23.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-f5-FAIL-c23.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-f6-FAIL-c23.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-f7-FAIL-c23.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-s1-PASS-c23.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-s2-PASS-c23.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-s3-PASS-c24.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-s5-PASS-c23.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-s6-PASS-c23.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-s7-PASS-c23-c24.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-s8-PASS-c23-c24.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-influence-f1-FAIL-DM.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-influence-f2-FAIL-DM.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-influence-s1-PASS-c23.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-f1-FAIL-c25.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-f2-FAIL-c23.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-f3-FAIL-c23.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-f4-FAIL-c23.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-f5-FAIL-c23-c25.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-f6-FAIL-c23-c25.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-f7-FAIL-c23-c25.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-s1-PASS-c23.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-s2-PASS-c23.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-s3-PASS-c25.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-s5-PASS-c23.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-s6-PASS-c23.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-s7-PASS-c23-c25.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-s8-PASS-c23-c25.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-membership-f1-FAIL-DM.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-specialization-f1-FAIL-DM.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-specialization-f2-FAIL-DM.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-specialization-f3-FAIL-c52.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-specialization-f4-FAIL-c52.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-f1-FAIL-c23.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-f2-FAIL-c23.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-f3-FAIL-c23.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-f4-FAIL-c26.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-f5-FAIL-c23.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-f6-FAIL-c23.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-f7-FAIL-c23.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-f8-FAIL-c23.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-s1-PASS-c26.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-s2-PASS-c26.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-s3-PASS-c26.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-s4-PASS-c26.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-s5-PASS-c23-c26.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-s6-PASS-c23-c26.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-s7-PASS-c23-c26.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-s8-PASS-c23-c26.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-s9-PASS-c23-c26.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-f2-FAIL-c23.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-f3-FAIL-c23.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-f4-FAIL-c23.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-f5-PASS-c23.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-f6-PASS-c23.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-f7-PASS-c23.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-s1-PASS-c23.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-s2-PASS-c23.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-s5-PASS-c23.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-s6-PASS-c23.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-s7-PASS-c23.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-s8-PASS-c23.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/prov-o-property-hadGeneration-FAIL-c51-DM.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/prov-o-property-hadUsage-FAIL-c51-DM.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Activity-PASS.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-ActivityInfluence-PASS.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Agent-PASS.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-AgentInfluence-PASS.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Association-PASS.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Attribution-PASS.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Bundle-PASS.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Collection-PASS.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Communication-PASS.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Delegation-PASS.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Derivation-FAIL.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-EmptyCollection-PASS.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-End-PASS.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Entity-PASS.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-EntityInfluence-PASS.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Generation-PASS.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Influence-PASS.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-InstantaneousEvent-PASS.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Invalidation-PASS.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Location-PASS.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Organization-PASS.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Person-PASS.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Plan-PASS.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-PrimarySource-PASS.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Quotation-PASS.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Revision-PASS.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Role-PASS.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-SoftwareAgent-PASS.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Start-PASS.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Usage-PASS.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-actedOnBehalfOf-PASS.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-activity-PASS.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-agent-PASS.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-alternateOf-PASS.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-atLocation-PASS.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-atTime-PASS.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-endedAtTime-PASS.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-entity-PASS.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-generated-PASS.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-generatedAtTime-PASS.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-hadActivity-PASS.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-hadGeneration-FAIL.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-hadMember-PASS.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-hadPlan-PASS.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-hadPrimarySource-PASS.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-hadRole-PASS.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-hadUsage-FAIL.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-hasAnchor-PASS.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-influenced-PASS.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-influencer-PASS.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-invalidated-PASS.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-invalidatedAtTime-PASS.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-qualifiedAssociation-PASS.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-qualifiedAttribution-PASS.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-qualifiedCommunication-PASS.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-qualifiedDelegation-PASS.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-qualifiedDerivation-FAIL.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-qualifiedEnd-PASS.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-qualifiedGeneration-PASS.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-qualifiedInfluence-PASS.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-qualifiedInvalidation-PASS.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-qualifiedPrimarySource-PASS.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-qualifiedQuotation-PASS.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-qualifiedRevision-PASS.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-qualifiedStart-PASS.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-qualifiedUsage-PASS.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-removed-PASS.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-specializationOf-PASS.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-startedAtTime-PASS.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-used-PASS.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-wasAssociatedWith-PASS.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-wasAttributedTo-PASS.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-wasDerivedFrom-PASS.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-wasEndedBy-PASS.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-wasGeneratedBy-PASS.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-wasInfluencedBy-PASS.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-wasInformedBy-PASS.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-wasInvalidatedBy-PASS.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-wasQuotedFrom-PASS.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-wasRevisionOf-PASS.provx
-http://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-wasStartedBy-PASS.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-activity1-PASS-c30.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-activity2-PASS-c33.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-activity3-PASS-c34.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-activity4-PASS-c31.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-activity5-PASS-c32.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-association1-PASS-c47.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-association2-PASS-c47.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-attribution1-PASS-c48.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-attribution2-PASS-c48.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-communication-PASS-c35.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-delegation1-PASS-c49.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-delegation2-PASS-c49.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-derivation1-PASS-c42.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-derivation2-FAIL-c42.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-derivation3-PASS-c41-c42.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-ends1-PASS-c44.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-entity1-PASS-c36-c37-c38.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-entity2-PASS-c36.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-entity3-PASS-c39.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-entity4-PASS-c40.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-specialization1-PASS-c45.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-specialization2-PASS-c46.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-specialization3-PASS-c42-c45.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-specialization4-FAIL-c42-c45.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/ordering-starts1-PASS-c43.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/type-collection-FAIL-c56.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/type-f1-FAIL-c50-c55.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/type-f2-FAIL-c50-c55.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/type-f3-FAIL-c54.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/type-f4-FAIL-c53.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/type-s1-PASS-c50-c55.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/type-s2-PASS-c50-c55.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-activity-end-f1-FAIL-c29.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-activity-end-s1-PASS-c29.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-activity-s1-PASS-c22.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-activity-s2-PASS-c22.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-activity-s3-PASS-c22.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-activity-s4-PASS-c22.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-activity-start-f1-FAIL-c28.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-activity-start-s1-PASS-c28.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-f1-FAIL-c23.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-f2-FAIL-c23.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-f3-FAIL-c23.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-f4-FAIL-c23.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-f5-FAIL-c23.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-f6-FAIL-DM.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-s1-PASS-c23.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-s2-PASS-c23.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-s3-PASS-c23.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-s4-PASS-c23.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-association-s5-PASS-c23.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attributes-activity-s1-PASS-c22.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attributes-end-s1-PASS-c23.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attributes-end-s2-PASS-c23.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attributes-entity-s1-PASS-c22.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attributes-start-s1-PASS-c23.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attributes-start-s2-PASS-c23.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attribution-f1-FAIL-DM.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attribution-f2-FAIL-DM.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attribution-s1-PASS-c23.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attribution-s2-PASS-c23.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attribution-s3-PASS-c23.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-attribution-s4-PASS-c23.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-bundle-f1-FAIL-c55-c56.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-communication-f1-FAIL-DM.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-communication-f2-FAIL-DM.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-communication-s1-PASS-c23.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-communication-s2-PASS-c23.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-communication-s3-PASS-c23.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-communication-s4-PASS-c23.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-delegation-f1-FAIL-c23.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-delegation-f2-FAIL-c23.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-delegation-f3-FAIL-c23.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-delegation-f6-FAIL-DM.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-delegation-s1-PASS-c23.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-delegation-s2-PASS-c23.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-delegation-s3-PASS-c23.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-delegation-s4-PASS-c23.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-delegation-s5-PASS-c23.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-f1-FAIL-c23.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-f2-FAIL-c23.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-f3-FAIL-c23.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-f4-FAIL-c23.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-s1-PASS-c23.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-s2-PASS-c23.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-s3-PASS-c23.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-s4-PASS-c23.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-derivation-s5-PASS-c23.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-f1-FAIL-c23.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-f2-FAIL-c23.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-f3-FAIL-c23.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-f4-FAIL-c27.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-f5-FAIL-c23.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-s1-PASS-c27.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-s2-PASS-c27.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-s3-PASS-c27.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-s4-PASS-c27.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-s5-PASS-c23-c27.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-end-s6-PASS-c23-c27.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-f1-FAIL-c24.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-f2-FAIL-c23.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-f3-FAIL-c23.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-f4-FAIL-c23.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-f5-FAIL-c23.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-f6-FAIL-c23.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-f7-FAIL-c23.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-s1-PASS-c23.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-s2-PASS-c23.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-s3-PASS-c24.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-s5-PASS-c23.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-s6-PASS-c23.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-s7-PASS-c23-c24.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-generation-s8-PASS-c23-c24.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-influence-f1-FAIL-DM.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-influence-f2-FAIL-DM.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-influence-s1-PASS-c23.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-f1-FAIL-c25.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-f2-FAIL-c23.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-f3-FAIL-c23.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-f4-FAIL-c23.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-f5-FAIL-c23-c25.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-f6-FAIL-c23-c25.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-f7-FAIL-c23-c25.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-s1-PASS-c23.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-s2-PASS-c23.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-s3-PASS-c25.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-s5-PASS-c23.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-s6-PASS-c23.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-s7-PASS-c23-c25.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-invalidation-s8-PASS-c23-c25.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-membership-f1-FAIL-DM.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-specialization-f1-FAIL-DM.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-specialization-f2-FAIL-DM.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-specialization-f3-FAIL-c52.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-specialization-f4-FAIL-c52.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-f1-FAIL-c23.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-f2-FAIL-c23.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-f3-FAIL-c23.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-f4-FAIL-c26.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-f5-FAIL-c23.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-f6-FAIL-c23.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-f7-FAIL-c23.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-f8-FAIL-c23.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-s1-PASS-c26.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-s2-PASS-c26.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-s3-PASS-c26.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-s4-PASS-c26.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-s5-PASS-c23-c26.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-s6-PASS-c23-c26.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-s7-PASS-c23-c26.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-s8-PASS-c23-c26.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-start-s9-PASS-c23-c26.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-f2-FAIL-c23.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-f3-FAIL-c23.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-f4-FAIL-c23.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-f5-PASS-c23.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-f6-PASS-c23.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-f7-PASS-c23.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-s1-PASS-c23.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-s2-PASS-c23.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-s5-PASS-c23.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-s6-PASS-c23.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-s7-PASS-c23.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/unification-usage-s8-PASS-c23.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/prov-o-property-hadGeneration-FAIL-c51-DM.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/constraints/prov-o-property-hadUsage-FAIL-c51-DM.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Activity-PASS.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-ActivityInfluence-PASS.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Agent-PASS.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-AgentInfluence-PASS.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Association-PASS.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Attribution-PASS.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Bundle-PASS.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Collection-PASS.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Communication-PASS.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Delegation-PASS.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Derivation-FAIL.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-EmptyCollection-PASS.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-End-PASS.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Entity-PASS.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-EntityInfluence-PASS.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Generation-PASS.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Influence-PASS.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-InstantaneousEvent-PASS.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Invalidation-PASS.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Location-PASS.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Organization-PASS.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Person-PASS.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Plan-PASS.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-PrimarySource-PASS.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Quotation-PASS.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Revision-PASS.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Role-PASS.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-SoftwareAgent-PASS.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Start-PASS.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-class-Usage-PASS.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-actedOnBehalfOf-PASS.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-activity-PASS.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-agent-PASS.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-alternateOf-PASS.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-atLocation-PASS.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-atTime-PASS.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-endedAtTime-PASS.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-entity-PASS.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-generated-PASS.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-generatedAtTime-PASS.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-hadActivity-PASS.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-hadGeneration-FAIL.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-hadMember-PASS.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-hadPlan-PASS.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-hadPrimarySource-PASS.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-hadRole-PASS.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-hadUsage-FAIL.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-hasAnchor-PASS.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-influenced-PASS.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-influencer-PASS.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-invalidated-PASS.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-invalidatedAtTime-PASS.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-qualifiedAssociation-PASS.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-qualifiedAttribution-PASS.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-qualifiedCommunication-PASS.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-qualifiedDelegation-PASS.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-qualifiedDerivation-FAIL.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-qualifiedEnd-PASS.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-qualifiedGeneration-PASS.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-qualifiedInfluence-PASS.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-qualifiedInvalidation-PASS.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-qualifiedPrimarySource-PASS.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-qualifiedQuotation-PASS.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-qualifiedRevision-PASS.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-qualifiedStart-PASS.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-qualifiedUsage-PASS.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-removed-PASS.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-specializationOf-PASS.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-startedAtTime-PASS.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-used-PASS.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-wasAssociatedWith-PASS.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-wasAttributedTo-PASS.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-wasDerivedFrom-PASS.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-wasEndedBy-PASS.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-wasGeneratedBy-PASS.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-wasInfluencedBy-PASS.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-wasInformedBy-PASS.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-wasInvalidatedBy-PASS.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-wasQuotedFrom-PASS.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-wasRevisionOf-PASS.provx
+https://dvcs.w3.org/hg/prov/raw-file/default/testcases/provo/prov-o-property-wasStartedBy-PASS.provx