@prefix r: <http://www.w3.org/2002/03owlt/resultsOntology#>.
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix : <#>.

:euler rdfs:comment """<a xmlns="http://www.w3.org/1999/xhtml" href="http://eulersharp.sourceforge.net/2003/03swap/">EulerSharp</a>
is an inference engine supporting logic based proofs.
It is a backward-chaining reasoner enhanced with Euler path detection and will tell
you whether a given set of facts and rules supports a given conclusion.
To parse the manifests and the test documents Jena 2 is used."""^^rdf:XMLLiteral;
rdfs:label "EulerSharp";
rdfs:seeAlso <http://eulersharp.sourceforge.net/2003/03swap/>.


[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/amp-in-url/Manifest.n3#test001>; r:begins "2005-09-29T12:55:12Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:12Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_ampinurl_test001.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/Manifest.n3#test001>; r:begins "2005-09-29T12:55:12Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:12Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_datatypes_test001.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/Manifest.n3#test002>; r:begins "2005-09-29T12:55:12Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:12Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_datatypes_test002.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-charmod-literals/Manifest.n3#test001>; r:begins "2005-09-29T12:55:12Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:12Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfcharmodliterals_test001.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-charmod-uris/Manifest.n3#test001>; r:begins "2005-09-29T12:55:12Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:12Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfcharmoduris_test001.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-charmod-uris/Manifest.n3#test002>; r:begins "2005-09-29T12:55:12Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:12Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfcharmoduris_test002.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/Manifest.n3#test001>; r:begins "2005-09-29T12:55:12Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:13Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfcontainerssyntaxvsschema_test001.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/Manifest.n3#test002>; r:begins "2005-09-29T12:55:13Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:13Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfcontainerssyntaxvsschema_test002.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/Manifest.n3#test003>; r:begins "2005-09-29T12:55:13Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:13Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfcontainerssyntaxvsschema_test003.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/Manifest.n3#test004>; r:begins "2005-09-29T12:55:13Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:13Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfcontainerssyntaxvsschema_test004.n3>; a r:UndecidedRun, r:IncompleteRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/Manifest.n3#test006>; r:begins "2005-09-29T12:55:13Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:13Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfcontainerssyntaxvsschema_test006.n3>; a r:UndecidedRun, r:IncompleteRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/Manifest.n3#test007>; r:begins "2005-09-29T12:55:13Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:13Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfcontainerssyntaxvsschema_test007.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-containers-syntax-vs-schema/Manifest.n3#test008>; r:begins "2005-09-29T12:55:13Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:13Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfcontainerssyntaxvsschema_test008.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-element-not-mandatory/Manifest.n3#test001>; r:begins "2005-09-29T12:55:13Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:13Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfelementnotmandatory_test001.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/Manifest.n3#test0001>; r:begins "2005-09-29T12:55:13Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:13Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfnsprefixconfusion_test0001.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/Manifest.n3#test0003>; r:begins "2005-09-29T12:55:13Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:13Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfnsprefixconfusion_test0003.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/Manifest.n3#test0004>; r:begins "2005-09-29T12:55:13Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:13Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfnsprefixconfusion_test0004.n3>; a r:UndecidedRun, r:IncompleteRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/Manifest.n3#test0005>; r:begins "2005-09-29T12:55:13Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:13Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfnsprefixconfusion_test0005.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/Manifest.n3#test0006>; r:begins "2005-09-29T12:55:13Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:13Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfnsprefixconfusion_test0006.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/Manifest.n3#test0009>; r:begins "2005-09-29T12:55:14Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:14Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfnsprefixconfusion_test0009.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/Manifest.n3#test0010>; r:begins "2005-09-29T12:55:14Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:14Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfnsprefixconfusion_test0010.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/Manifest.n3#test0011>; r:begins "2005-09-29T12:55:14Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:14Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfnsprefixconfusion_test0011.n3>; a r:UndecidedRun, r:IncompleteRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/Manifest.n3#test0012>; r:begins "2005-09-29T12:55:14Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:14Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfnsprefixconfusion_test0012.n3>; a r:UndecidedRun, r:IncompleteRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/Manifest.n3#test0013>; r:begins "2005-09-29T12:55:14Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:14Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfnsprefixconfusion_test0013.n3>; a r:UndecidedRun, r:IncompleteRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-ns-prefix-confusion/Manifest.n3#test0014>; r:begins "2005-09-29T12:55:14Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:14Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfnsprefixconfusion_test0014.n3>; a r:UndecidedRun, r:IncompleteRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-difference-between-ID-and-about/Manifest.n3#test1>; r:begins "2005-09-29T12:55:14Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:14Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfmsdifferencebetweenIDandabout_test1.n3>; a r:UndecidedRun, r:IncompleteRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-difference-between-ID-and-about/Manifest.n3#test2>; r:begins "2005-09-29T12:55:14Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:14Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfmsdifferencebetweenIDandabout_test2.n3>; a r:UndecidedRun, r:IncompleteRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-difference-between-ID-and-about/Manifest.n3#test3>; r:begins "2005-09-29T12:55:14Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:14Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfmsdifferencebetweenIDandabout_test3.n3>; a r:UndecidedRun, r:IncompleteRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-duplicate-member-props/Manifest.n3#test001>; r:begins "2005-09-29T12:55:14Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:14Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfmsduplicatememberprops_test001.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.n3#test001>; r:begins "2005-09-29T12:55:14Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:14Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfmsemptypropertyelements_test001.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.n3#test002>; r:begins "2005-09-29T12:55:14Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:14Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfmsemptypropertyelements_test002.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.n3#test003>; r:begins "2005-09-29T12:55:14Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:14Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfmsemptypropertyelements_test003.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.n3#test004>; r:begins "2005-09-29T12:55:15Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:15Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfmsemptypropertyelements_test004.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.n3#test005>; r:begins "2005-09-29T12:55:15Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:15Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfmsemptypropertyelements_test005.n3>; a r:UndecidedRun, r:IncompleteRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.n3#test006>; r:begins "2005-09-29T12:55:15Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:15Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfmsemptypropertyelements_test006.n3>; a r:UndecidedRun, r:IncompleteRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.n3#test007>; r:begins "2005-09-29T12:55:15Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:15Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfmsemptypropertyelements_test007.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.n3#test008>; r:begins "2005-09-29T12:55:15Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:15Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfmsemptypropertyelements_test009.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.n3#test009>; r:begins "2005-09-29T12:55:15Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:15Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfmsemptypropertyelements_test010.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.n3#test010>; r:begins "2005-09-29T12:55:15Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:15Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfmsemptypropertyelements_test011.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.n3#test011>; r:begins "2005-09-29T12:55:15Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:15Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfmsemptypropertyelements_test012.n3>; a r:UndecidedRun, r:IncompleteRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.n3#test012>; r:begins "2005-09-29T12:55:15Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:15Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfmsemptypropertyelements_test013.n3>; a r:UndecidedRun, r:IncompleteRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.n3#test013>; r:begins "2005-09-29T12:55:15Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:15Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfmsemptypropertyelements_test014.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.n3#test014>; r:begins "2005-09-29T12:55:15Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:15Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfmsemptypropertyelements_test015.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.n3#test015>; r:begins "2005-09-29T12:55:15Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:15Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfmsemptypropertyelements_test016.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.n3#test016>; r:begins "2005-09-29T12:55:16Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:16Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfmsemptypropertyelements_test017.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-empty-property-elements/Manifest.n3#test017>; r:begins "2005-09-29T12:55:16Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:16Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfmsidentityanonresources_test001.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-identity-anon-resources/Manifest.n3#test001>; r:begins "2005-09-29T12:55:16Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:16Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfmsidentityanonresources_test002.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-identity-anon-resources/Manifest.n3#test002>; r:begins "2005-09-29T12:55:16Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:16Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfmsidentityanonresources_test003.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-identity-anon-resources/Manifest.n3#test003>; r:begins "2005-09-29T12:55:16Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:16Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfmsidentityanonresources_test004.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-identity-anon-resources/Manifest.n3#test004>; r:begins "2005-09-29T12:55:16Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:16Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfmsidentityanonresources_test005.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-identity-anon-resources/Manifest.n3#test005>; r:begins "2005-09-29T12:55:16Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:16Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfmsnotidandresourceattr_test001.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-not-id-and-resource-attr/Manifest.n3#test001>; r:begins "2005-09-29T12:55:16Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:16Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfmsnotidandresourceattr_test002.n3>; a r:UndecidedRun, r:IncompleteRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-not-id-and-resource-attr/Manifest.n3#test002>; r:begins "2005-09-29T12:55:16Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:16Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfmsnotidandresourceattr_test004.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-not-id-and-resource-attr/Manifest.n3#test004>; r:begins "2005-09-29T12:55:16Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:16Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfmsnotidandresourceattr_test005.n3>; a r:UndecidedRun, r:IncompleteRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-not-id-and-resource-attr/Manifest.n3#test005>; r:begins "2005-09-29T12:55:16Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:16Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfmspara196_test001.n3>; a r:UndecidedRun, r:IncompleteRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-para196/Manifest.n3#test001>; r:begins "2005-09-29T12:55:16Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:16Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfmsrdfnamesuse_test001.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.n3#test-001>; r:begins "2005-09-29T12:55:16Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:16Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfmsrdfnamesuse_test002.n3>; a r:UndecidedRun, r:IncompleteRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.n3#test-002>; r:begins "2005-09-29T12:55:16Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:16Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfmsrdfnamesuse_test003.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.n3#test-003>; r:begins "2005-09-29T12:55:16Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:16Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfmsrdfnamesuse_test004.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.n3#test-004>; r:begins "2005-09-29T12:55:17Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:17Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfmsrdfnamesuse_test005.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.n3#test-005>; r:begins "2005-09-29T12:55:17Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:17Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfmsrdfnamesuse_test006.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.n3#test-006>; r:begins "2005-09-29T12:55:17Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:17Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfmsrdfnamesuse_test007.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.n3#test-007>; r:begins "2005-09-29T12:55:17Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:17Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfmsrdfnamesuse_test008.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.n3#test-008>; r:begins "2005-09-29T12:55:17Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:17Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfmsrdfnamesuse_test009.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.n3#test-009>; r:begins "2005-09-29T12:55:18Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:18Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfmsrdfnamesuse_test010.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.n3#test-010>; r:begins "2005-09-29T12:55:18Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:18Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfmsrdfnamesuse_test011.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.n3#test-011>; r:begins "2005-09-29T12:55:18Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:18Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfmsrdfnamesuse_test012.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.n3#test-012>; r:begins "2005-09-29T12:55:18Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:18Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfmsrdfnamesuse_test013.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.n3#test-013>; r:begins "2005-09-29T12:55:18Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:18Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfmsrdfnamesuse_test014.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.n3#test-014>; r:begins "2005-09-29T12:55:19Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:19Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfmsrdfnamesuse_test015.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.n3#test-015>; r:begins "2005-09-29T12:55:19Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:19Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfmsrdfnamesuse_test016.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.n3#test-016>; r:begins "2005-09-29T12:55:19Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:19Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfmsrdfnamesuse_test017.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.n3#test-017>; r:begins "2005-09-29T12:55:19Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:19Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfmsrdfnamesuse_test018.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.n3#test-018>; r:begins "2005-09-29T12:55:19Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:19Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfmsrdfnamesuse_test019.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.n3#test-019>; r:begins "2005-09-29T12:55:19Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:19Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfmsrdfnamesuse_test020.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.n3#test-020>; r:begins "2005-09-29T12:55:20Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:20Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfmsrdfnamesuse_test021.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.n3#test-021>; r:begins "2005-09-29T12:55:20Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:20Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfmsrdfnamesuse_test023.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.n3#test-022>; r:begins "2005-09-29T12:55:20Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:20Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfmsrdfnamesuse_test024.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.n3#test-023>; r:begins "2005-09-29T12:55:20Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:20Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfmsrdfnamesuse_test025.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.n3#test-024>; r:begins "2005-09-29T12:55:20Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:20Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfmsrdfnamesuse_test026.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.n3#test-025>; r:begins "2005-09-29T12:55:21Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:21Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfmsrdfnamesuse_test027.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.n3#test-026>; r:begins "2005-09-29T12:55:21Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:21Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfmsrdfnamesuse_test028.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.n3#test-027>; r:begins "2005-09-29T12:55:21Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:21Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfmsrdfnamesuse_test029.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.n3#test-028>; r:begins "2005-09-29T12:55:21Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:21Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfmsrdfnamesuse_test030.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.n3#test-029>; r:begins "2005-09-29T12:55:21Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:21Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfmsrdfnamesuse_test031.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.n3#test-030>; r:begins "2005-09-29T12:55:21Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:21Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfmsrdfnamesuse_test032.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.n3#test-031>; r:begins "2005-09-29T12:55:22Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:22Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfmsrdfnamesuse_test033.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.n3#test-032>; r:begins "2005-09-29T12:55:22Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:22Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfmsrdfnamesuse_test034.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.n3#test-033>; r:begins "2005-09-29T12:55:22Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:22Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfmsrdfnamesuse_test035.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.n3#test-034>; r:begins "2005-09-29T12:55:22Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:22Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfmsrdfnamesuse_test036.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.n3#test-035>; r:begins "2005-09-29T12:55:22Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:22Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfmsrdfnamesuse_test037.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.n3#test-036>; r:begins "2005-09-29T12:55:22Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:22Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfmsrdfnamesuse_warn001.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.n3#test-037>; r:begins "2005-09-29T12:55:23Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:23Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfmsrdfnamesuse_warn002.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.n3#warn-001>; r:begins "2005-09-29T12:55:23Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:23Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfmsrdfnamesuse_warn003.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.n3#warn-002>; r:begins "2005-09-29T12:55:23Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:23Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfmsreificationrequired_test001.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-rdf-names-use/Manifest.n3#warn-003>; r:begins "2005-09-29T12:55:23Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:23Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfmsseqrepresentation_test001.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-reification-required/Manifest.n3#test001>; r:begins "2005-09-29T12:55:23Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:23Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfmssyntaxincomplete_test001.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-seq-representation/Manifest.n3#test001>; r:begins "2005-09-29T12:55:23Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:23Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfmssyntaxincomplete_test002.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-syntax-incomplete/Manifest.n3#test001>; r:begins "2005-09-29T12:55:23Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:23Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfmssyntaxincomplete_test003.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-syntax-incomplete/Manifest.n3#test002>; r:begins "2005-09-29T12:55:23Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:23Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfmssyntaxincomplete_test004.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-syntax-incomplete/Manifest.n3#test003>; r:begins "2005-09-29T12:55:23Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:23Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfmsurisubstructure_test001.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-syntax-incomplete/Manifest.n3#test004>; r:begins "2005-09-29T12:55:23Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:23Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfmsxmlliteralnamespaces_test001.n3>; a r:UndecidedRun, r:IncompleteRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-uri-substructure/Manifest.n3#test001>; r:begins "2005-09-29T12:55:24Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:24Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfmsxmlliteralnamespaces_test002.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-xml-literal-namespaces/Manifest.n3#test001>; r:begins "2005-09-29T12:55:24Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:24Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfmsxmllang_test001.n3>; a r:UndecidedRun, r:IncompleteRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-xml-literal-namespaces/Manifest.n3#test002>; r:begins "2005-09-29T12:55:24Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:24Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfmsxmllang_test002.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-xmllang/Manifest.n3#test001>; r:begins "2005-09-29T12:55:24Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:24Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfmsxmllang_test003.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-xmllang/Manifest.n3#test002>; r:begins "2005-09-29T12:55:24Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:24Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfmsxmllang_test004.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-xmllang/Manifest.n3#test003>; r:begins "2005-09-29T12:55:24Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:24Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfmsxmllang_test005.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-xmllang/Manifest.n3#test004>; r:begins "2005-09-29T12:55:24Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:24Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfmsxmllang_test006.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-xmllang/Manifest.n3#test005>; r:begins "2005-09-29T12:55:24Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:24Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfsdomainandrange_test001.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-xmllang/Manifest.n3#test006>; r:begins "2005-09-29T12:55:24Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:24Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_rdfsdomainandrange_test002.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/Manifest.n3#test001>; r:begins "2005-09-29T12:55:24Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:24Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_unrecognisedxmlattributes_test001.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/Manifest.n3#test002>; r:begins "2005-09-29T12:55:24Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:24Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_unrecognisedxmlattributes_test002.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/unrecognised-xml-attributes/Manifest.n3#test001>; r:begins "2005-09-29T12:55:24Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:24Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_xmlcanon_test001.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/unrecognised-xml-attributes/Manifest.n3#test002>; r:begins "2005-09-29T12:55:24Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:24Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_xmlbase_test001.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/xml-canon/Manifest.n3#test001>; r:begins "2005-09-29T12:55:24Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:24Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_xmlbase_test002.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/xmlbase/Manifest.n3#test001>; r:begins "2005-09-29T12:55:24Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:24Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_xmlbase_test003.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/xmlbase/Manifest.n3#test002>; r:begins "2005-09-29T12:55:24Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:24Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_xmlbase_test004.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/xmlbase/Manifest.n3#test003>; r:begins "2005-09-29T12:55:24Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:24Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_xmlbase_test006.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/xmlbase/Manifest.n3#test004>; r:begins "2005-09-29T12:55:24Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:24Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_xmlbase_test007.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/xmlbase/Manifest.n3#test006>; r:begins "2005-09-29T12:55:24Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:24Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_xmlbase_test008.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/xmlbase/Manifest.n3#test007>; r:begins "2005-09-29T12:55:25Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:25Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_xmlbase_test009.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/xmlbase/Manifest.n3#test008>; r:begins "2005-09-29T12:55:25Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:25Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_xmlbase_test010.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/xmlbase/Manifest.n3#test009>; r:begins "2005-09-29T12:55:25Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:25Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_xmlbase_test011.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/xmlbase/Manifest.n3#test010>; r:begins "2005-09-29T12:55:25Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:25Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_xmlbase_test013.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/xmlbase/Manifest.n3#test011>; r:begins "2005-09-29T12:55:25Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:25Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_etc1_PositiveParserTest_rdftests_rdfcore_xmlbase_test014.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes-intensional/Manifest.n3#xsd-integer-string-incompatible>; r:begins "2005-09-29T12:55:25Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:25Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_PositiveEntailmentTest_etc1_rdftests_rdfcore_datatypesintensional_xsdintegerstringincompatible.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/Manifest.n3#non-well-formed-literal-1>; r:begins "2005-09-29T12:55:25Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:25Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_PositiveEntailmentTest_etc1_rdftests_rdfcore_datatypes_nonwellformedliteral1.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/Manifest.n3#plain-literal-and-xsd-string>; r:begins "2005-09-29T12:55:25Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:25Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_PositiveEntailmentTest_etc1_rdftests_rdfcore_datatypes_plainliteralandxsdstring.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/Manifest.n3#range-clash>; r:begins "2005-09-29T12:55:25Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:25Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_PositiveEntailmentTest_etc1_rdftests_rdfcore_datatypes_rangeclash.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/Manifest.n3#semantic-equivalence-between-datatypes>; r:begins "2005-09-29T12:55:25Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:25Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_PositiveEntailmentTest_etc1_rdftests_rdfcore_datatypes_semanticequivalencebetweendatatypes.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/Manifest.n3#semantic-equivalence-within-type-1>; r:begins "2005-09-29T12:55:25Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:25Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_PositiveEntailmentTest_etc1_rdftests_rdfcore_datatypes_semanticequivalencewithintype1.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/Manifest.n3#semantic-equivalence-within-type-2>; r:begins "2005-09-29T12:55:26Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:26Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_PositiveEntailmentTest_etc1_rdftests_rdfcore_datatypes_semanticequivalencewithintype2.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/Manifest.n3#test008>; r:begins "2005-09-29T12:55:26Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:26Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_PositiveEntailmentTest_etc1_rdftests_rdfcore_datatypes_test008.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/Manifest.n3#test010>; r:begins "2005-09-29T12:55:26Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:26Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_PositiveEntailmentTest_etc1_rdftests_rdfcore_datatypes_test010.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/pfps-10/Manifest.n3#non-well-formed-literal-1>; r:begins "2005-09-29T12:55:26Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:26Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_PositiveEntailmentTest_etc1_rdftests_rdfcore_pfps10_nonwellformedliteral1.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-seq-representation/Manifest.n3#test002>; r:begins "2005-09-29T12:55:26Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:26Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_PositiveEntailmentTest_etc1_rdftests_rdfcore_rdfmsseqrepresentation_test002.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-seq-representation/Manifest.n3#test003>; r:begins "2005-09-29T12:55:26Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:26Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_PositiveEntailmentTest_etc1_rdftests_rdfcore_rdfmsseqrepresentation_test003.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-seq-representation/Manifest.n3#test004>; r:begins "2005-09-29T12:55:26Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:26Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_PositiveEntailmentTest_etc1_rdftests_rdfcore_rdfmsseqrepresentation_test004.n3>; a r:PassingRun, r:TestRun].
[Fatal Error] :1:2: XML document structures must start and end within the same entity.
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-entailment/Manifest.n3#test001>; r:begins "2005-09-29T12:55:26Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:28Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_PositiveEntailmentTest_etc1_rdftests_rdfcore_rdfsentailment_test001.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-entailment/Manifest.n3#test002>; r:begins "2005-09-29T12:55:28Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:28Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_PositiveEntailmentTest_etc1_rdftests_rdfcore_rdfsentailment_test002.n3>; a r:UndecidedRun, r:IncompleteRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subClassOf/Manifest.n3#test001>; r:begins "2005-09-29T12:55:28Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:28Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_PositiveEntailmentTest_etc1_rdftests_rdfcore_rdfsnocyclesinsubClassOf_test001.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-no-cycles-in-subPropertyOf/Manifest.n3#test001>; r:begins "2005-09-29T12:55:28Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:28Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_PositiveEntailmentTest_etc1_rdftests_rdfcore_rdfsnocyclesinsubPropertyOf_test001.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-subPropertyOf-semantics/Manifest.n3#test001>; r:begins "2005-09-29T12:55:28Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:28Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_PositiveEntailmentTest_etc1_rdftests_rdfcore_rdfssubPropertyOfsemantics_test001.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/tex-01/Manifest.n3#language-tag-case-1>; r:begins "2005-09-29T12:55:28Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:28Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_PositiveEntailmentTest_etc1_rdftests_rdfcore_tex01_languagetagcase1.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/tex-01/Manifest.n3#language-tag-case-2>; r:begins "2005-09-29T12:55:28Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:28Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_PositiveEntailmentTest_etc1_rdftests_rdfcore_tex01_languagetagcase2.n3>; a r:PassingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/xmlsch-02/Manifest.n3#whitespace-facet-3>; r:begins "2005-09-29T12:55:28Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:29Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_PositiveEntailmentTest_etc1_rdftests_rdfcore_xmlsch02_whitespacefacet3.n3>; a r:UndecidedRun, r:IncompleteRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes-intensional/Manifest.n3#xsd-integer-decimal-compatible>; r:begins "2005-09-29T12:55:29Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:30Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_NegativeEntailmentTest_etc1_rdftests_rdfcore_datatypesintensional_xsdintegerdecimalcompatible.n3>; a r:UndecidedRun, r:IncompleteRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/Manifest.n3#non-well-formed-literal-2>; r:begins "2005-09-29T12:55:31Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:45Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_NegativeEntailmentTest_etc1_rdftests_rdfcore_datatypes_nonwellformedliteral2.n3>; a r:UndecidedRun, r:IncompleteRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/datatypes/Manifest.n3#test009>; r:begins "2005-09-29T12:55:46Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:46Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_NegativeEntailmentTest_etc1_rdftests_rdfcore_datatypes_test009.n3>; a r:UndecidedRun, r:IncompleteRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/horst-01/Manifest.n3#subClassOf-intensional>; r:begins "2005-09-29T12:55:46Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:46Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_NegativeEntailmentTest_etc1_rdftests_rdfcore_horst01_subClassOfintensional.n3>; a r:UndecidedRun, r:IncompleteRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/horst-01/Manifest.n3#subPropertyOf-intensional>; r:begins "2005-09-29T12:55:46Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:46Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_NegativeEntailmentTest_etc1_rdftests_rdfcore_horst01_subPropertyOfintensional.n3>; a r:FailingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-charmod-uris/Manifest.n3#test003>; r:begins "2005-09-29T12:55:46Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:46Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_NegativeEntailmentTest_etc1_rdftests_rdfcore_rdfcharmoduris_test003.n3>; a r:UndecidedRun, r:IncompleteRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdf-charmod-uris/Manifest.n3#test004>; r:begins "2005-09-29T12:55:46Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:46Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_NegativeEntailmentTest_etc1_rdftests_rdfcore_rdfcharmoduris_test004.n3>; a r:UndecidedRun, r:IncompleteRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-xmllang/Manifest.n3#test007a>; r:begins "2005-09-29T12:55:46Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:46Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_NegativeEntailmentTest_etc1_rdftests_rdfcore_rdfmsxmllang_test007a.n3>; a r:UndecidedRun, r:IncompleteRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-xmllang/Manifest.n3#test007b>; r:begins "2005-09-29T12:55:46Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:46Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_NegativeEntailmentTest_etc1_rdftests_rdfcore_rdfmsxmllang_test007b.n3>; a r:UndecidedRun, r:IncompleteRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfms-xmllang/Manifest.n3#test007c>; r:begins "2005-09-29T12:55:46Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:46Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_NegativeEntailmentTest_etc1_rdftests_rdfcore_rdfmsxmllang_test007c.n3>; a r:UndecidedRun, r:IncompleteRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-container-membership-superProperty/Manifest.n3#test001>; r:begins "2005-09-29T12:55:46Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:46Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_NegativeEntailmentTest_etc1_rdftests_rdfcore_rdfscontainermembershipsuperProperty_test001.n3>; a r:UndecidedRun, r:IncompleteRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/Manifest.n3#intensionality-domain>; r:begins "2005-09-29T12:55:46Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:46Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_NegativeEntailmentTest_etc1_rdftests_rdfcore_rdfsdomainandrange_intensionalitydomain.n3>; a r:UndecidedRun, r:IncompleteRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-domain-and-range/Manifest.n3#intensionality-range>; r:begins "2005-09-29T12:55:46Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:48Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_NegativeEntailmentTest_etc1_rdftests_rdfcore_rdfsdomainandrange_intensionalityrange.n3>; a r:UndecidedRun, r:IncompleteRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-subClassOf-a-Property/Manifest.n3#test001>; r:begins "2005-09-29T12:55:48Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:49Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_NegativeEntailmentTest_etc1_rdftests_rdfcore_rdfssubClassOfaProperty_test001.n3>; a r:UndecidedRun, r:IncompleteRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/Manifest.n3#test001>; r:begins "2005-09-29T12:55:49Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:49Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_NegativeEntailmentTest_etc1_rdftests_rdfcore_statemententailment_test001.n3>; a r:UndecidedRun, r:IncompleteRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/Manifest.n3#test002>; r:begins "2005-09-29T12:55:49Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:49Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_NegativeEntailmentTest_etc1_rdftests_rdfcore_statemententailment_test002.n3>; a r:UndecidedRun, r:IncompleteRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/Manifest.n3#test003>; r:begins "2005-09-29T12:55:49Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:49Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_NegativeEntailmentTest_etc1_rdftests_rdfcore_statemententailment_test003.n3>; a r:UndecidedRun, r:IncompleteRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/statement-entailment/Manifest.n3#test004>; r:begins "2005-09-29T12:55:49Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:49Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_NegativeEntailmentTest_etc1_rdftests_rdfcore_statemententailment_test004.n3>; a r:UndecidedRun, r:IncompleteRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/xmlsch-02/Manifest.n3#whitespace-facet-1>; r:begins "2005-09-29T12:55:49Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:49Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_NegativeEntailmentTest_etc1_rdftests_rdfcore_xmlsch02_whitespacefacet1.n3>; a r:FailingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/xmlsch-02/Manifest.n3#whitespace-facet-2>; r:begins "2005-09-29T12:55:49Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:49Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_NegativeEntailmentTest_etc1_rdftests_rdfcore_xmlsch02_whitespacefacet2.n3>; a r:FailingRun, r:TestRun].
[ r:test <http://www.w3.org/2000/10/rdf-tests/rdfcore/xmlsch-02/Manifest.n3#whitespace-facet-4>; r:begins "2005-09-29T12:55:49Z"^^xsd:dateTime; r:ends "2005-09-29T12:55:50Z"^^xsd:dateTime; r:system :euler; r:output <http://eulersharp.sourceforge.net/2004/01swap/docs/java/testResults/proofs/test_NegativeEntailmentTest_etc1_rdftests_rdfcore_xmlsch02_whitespacefacet4.n3>; a r:UndecidedRun, r:IncompleteRun, r:TestRun].