Commit 72a8f265 authored by josd's avatar josd

retest

parent f4eb1fb8
#Processed by EYE v18.1121.1508 josd
#Processed by EYE v18.1121.1531 josd
#eye --n3 http://josd.github.io/eye/reasoning/3outof5/sample.n3 --query http://josd.github.io/eye/reasoning/3outof5/query.n3
PREFIX log: <http://www.w3.org/2000/10/swap/log#>
......@@ -123,6 +123,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/3outof5/sample.n3>].
#2018-11-21T15:09:52.940Z in=34 out=1 ent=1 step=1 brake=2 inf=47083 sec=0.059 inf/sec=798017
#2018-11-21T20:39:22.878Z in=34 out=1 ent=1 step=1 brake=2 inf=47123 sec=0.115 inf/sec=409765
#ENDS
#Processed by EYE v18.1121.1508 josd
#Processed by EYE v18.1121.1531 josd
#eye --n3 http://josd.github.io/eye/reasoning/bi/biP.n3 --query http://josd.github.io/eye/reasoning/bi/biQ.n3
PREFIX math: <http://www.w3.org/2000/10/swap/math#>
......@@ -4021,6 +4021,6 @@ PREFIX fl: <http://eulersharp.sourceforge.net/2003/03swap/fl-rules#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/bi/biP.n3>].
#2018-11-21T15:09:54.011Z in=470 out=97 ent=146 step=855 brake=5 inf=976980 sec=0.181 inf/sec=5397680
#2018-11-21T20:39:24.098Z in=470 out=97 ent=146 step=855 brake=5 inf=976983 sec=0.537 inf/sec=1819335
#ENDS
#Processed by EYE v18.1121.1508 josd
#Processed by EYE v18.1121.1531 josd
#eye --n3 http://josd.github.io/eye/reasoning/bmi/bmi_instances.n3 --n3 http://josd.github.io/eye/reasoning/bmi/bmi_rules.n3 --n3 http://josd.github.io/eye/reasoning/bmi/weightStatus_rules.n3 --n3 http://josd.github.io/eye/reasoning/bmi/age_rules_backward.n3 --query http://josd.github.io/eye/reasoning/bmi/bmi_query.n3
PREFIX i: <http://josd.github.io/eye/reasoning/bmi/bmi_instances.n3#>
......@@ -1144,6 +1144,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/bmi/bmi_instances.n3>].
#2018-11-21T15:09:55.004Z in=295 out=50 ent=100 step=48 brake=4 inf=220674 sec=0.103 inf/sec=2142466
#2018-11-21T20:39:25.083Z in=295 out=50 ent=100 step=48 brake=4 inf=220677 sec=0.216 inf/sec=1021653
#ENDS
#Processed by EYE v18.1121.1508 josd
#Processed by EYE v18.1121.1531 josd
#eye --n3 http://josd.github.io/eye/reasoning/bmt/1tt1.n3 --n3 http://josd.github.io/eye/reasoning/bmt/1tt2.n3 --n3 http://josd.github.io/eye/reasoning/bmt/1tt3.n3 --n3 http://josd.github.io/eye/reasoning/bmt/1tt4.n3 --n3 http://josd.github.io/eye/reasoning/bmt/1tt5.n3 --n3 http://josd.github.io/eye/reasoning/bmt/1tt6.n3 --n3 http://josd.github.io/eye/reasoning/bmt/1tt7.n3 --n3 http://josd.github.io/eye/reasoning/bmt/1tt8.n3 --n3 http://josd.github.io/eye/reasoning/bmt/1tt9.n3 --n3 http://josd.github.io/eye/reasoning/bmt/1tt10.n3 --query http://josd.github.io/eye/reasoning/bmt/query.n3
PREFIX : <http://eulersharp.sourceforge.net/2007/07test/graph#>
......@@ -32573,6 +32573,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/bmt/1tt8.n3>].
#2018-11-21T15:09:57.707Z in=10012 out=1518 ent=1518 step=1518 brake=1 inf=4717764 sec=0.798 inf/sec=5911985
#2018-11-21T20:39:29.454Z in=10012 out=1518 ent=1518 step=1518 brake=1 inf=4717688 sec=2.534 inf/sec=1861755
#ENDS
#Processed by EYE v18.1121.1508 josd
#Processed by EYE v18.1121.1531 josd
#eye --hmac-key k123 --n3 http://josd.github.io/eye/reasoning/crypto/cryptoP.n3 --pass
PREFIX crypto: <http://www.w3.org/2000/10/swap/crypto#>
......@@ -94,6 +94,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/crypto/cryptoP.n3>].
#2018-11-21T15:09:58.004Z in=9 out=3 ent=6 step=12 brake=2 inf=27290 sec=0.030 inf/sec=909667
#2018-11-21T20:39:30.017Z in=9 out=3 ent=6 step=12 brake=2 inf=27339 sec=0.082 inf/sec=333402
#ENDS
#Processed by EYE v18.1121.1508 josd
#Processed by EYE v18.1121.1531 josd
#eye --turtle http://josd.github.io/eye/reasoning/cs/data-001.n3 --n3 http://josd.github.io/eye/reasoning/cs/rules-001.n3 --query http://josd.github.io/eye/reasoning/cs/query-001.n3
PREFIX math: <http://www.w3.org/2000/10/swap/math#>
......@@ -158,6 +158,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/cs/rules-001.n3>].
#2018-11-21T15:09:58.496Z in=43 out=2 ent=4 step=8 brake=2 inf=41048 sec=0.041 inf/sec=1001171
#2018-11-21T20:39:30.947Z in=43 out=2 ent=4 step=8 brake=2 inf=41071 sec=0.093 inf/sec=441624
#ENDS
#Processed by EYE v18.1121.1508 josd
#Processed by EYE v18.1121.1531 josd
#eye --n3 http://josd.github.io/eye/reasoning/csv/select-data-extra.n3 --query http://josd.github.io/eye/reasoning/csv/select-query.n3
PREFIX xsd: <http://www.w3.org/2001/XMLSchema#>
......@@ -113,6 +113,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/csv/select-data-extra.n3>].
#2018-11-21T15:09:59.285Z in=17 out=5 ent=5 step=5 brake=2 inf=49895 sec=0.047 inf/sec=1061596
#2018-11-21T20:39:32.404Z in=17 out=5 ent=5 step=5 brake=2 inf=49933 sec=0.114 inf/sec=438009
#ENDS
#Processed by EYE v18.1121.1508 josd
#Processed by EYE v18.1121.1531 josd
#eye --turtle http://josd.github.io/eye/reasoning/csv/select-data.n3 --query http://josd.github.io/eye/reasoning/csv/select-query.n3
PREFIX xsd: <http://www.w3.org/2001/XMLSchema#>
......@@ -323,6 +323,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/csv/select-data.n3>].
#2018-11-21T15:09:58.940Z in=22 out=17 ent=17 step=17 brake=2 inf=74253 sec=0.061 inf/sec=1217262
#2018-11-21T20:39:31.805Z in=22 out=17 ent=17 step=17 brake=2 inf=74292 sec=0.132 inf/sec=562818
#ENDS
#Processed by EYE v18.1121.1508 josd
#Processed by EYE v18.1121.1531 josd
#eye --n3 http://josd.github.io/eye/reasoning/de/de.n3 --n3 http://josd.github.io/eye/reasoning/de/deA.n3 --query http://josd.github.io/eye/reasoning/de/deQ.n3
PREFIX : <http://josd.github.io/eye/reasoning#>
......@@ -76,6 +76,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/de/de.n3>].
#2018-11-21T15:09:59.754Z in=22 out=1 ent=6 step=18 brake=3 inf=24372 sec=0.036 inf/sec=677000
#2018-11-21T20:39:33.162Z in=22 out=1 ent=6 step=18 brake=3 inf=24396 sec=0.086 inf/sec=283674
#ENDS
#Processed by EYE v18.1121.1508 josd
#Processed by EYE v18.1121.1531 josd
#eye --turtle http://josd.github.io/eye/reasoning/djiti/graph-10.n3 --query http://josd.github.io/eye/reasoning/djiti/query.n3
PREFIX : <http://josd.github.io/eye/reasoning#>
......@@ -63,6 +63,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/djiti/graph-10.n3>].
#2018-11-21T15:10:00.120Z in=14 out=2 ent=2 step=2 brake=1 inf=25752 sec=0.034 inf/sec=757412
#2018-11-21T20:39:33.703Z in=14 out=2 ent=2 step=2 brake=1 inf=25777 sec=0.084 inf/sec=306869
#ENDS
#Processed by EYE v18.1121.1508 josd
#Processed by EYE v18.1121.1531 josd
#eye --turtle http://josd.github.io/eye/reasoning/djiti/graph-100.n3 --query http://josd.github.io/eye/reasoning/djiti/query.n3
PREFIX : <http://josd.github.io/eye/reasoning#>
......@@ -153,6 +153,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/djiti/graph-100.n3>].
#2018-11-21T15:10:00.378Z in=104 out=6 ent=6 step=6 brake=1 inf=43388 sec=0.047 inf/sec=923149
#2018-11-21T20:39:34.129Z in=104 out=6 ent=6 step=6 brake=1 inf=43416 sec=0.097 inf/sec=447588
#ENDS
#Processed by EYE v18.1121.1508 josd
#Processed by EYE v18.1121.1531 josd
#eye --turtle http://josd.github.io/eye/reasoning/djiti/graph-1000.n3 --query http://josd.github.io/eye/reasoning/djiti/query.n3
PREFIX : <http://josd.github.io/eye/reasoning#>
......@@ -2145,6 +2145,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/djiti/graph-1000.n3>].
#2018-11-21T15:10:00.729Z in=1004 out=92 ent=92 step=92 brake=1 inf=390887 sec=0.109 inf/sec=3586119
#2018-11-21T20:39:34.884Z in=1004 out=92 ent=92 step=92 brake=1 inf=390914 sec=0.285 inf/sec=1371628
#ENDS
#Processed by EYE v18.1121.1508 josd
#Processed by EYE v18.1121.1531 josd
#eye --turtle http://josd.github.io/eye/reasoning/djiti/graph-10000.n3 --query http://josd.github.io/eye/reasoning/djiti/query.n3
PREFIX : <http://josd.github.io/eye/reasoning#>
......@@ -22107,6 +22107,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/djiti/graph-10000.n3>].
#2018-11-21T15:10:02.240Z in=10004 out=966 ent=966 step=966 brake=1 inf=3881458 sec=0.819 inf/sec=4739265
#2018-11-21T20:39:38.069Z in=10004 out=966 ent=966 step=966 brake=1 inf=3881468 sec=2.353 inf/sec=1649583
#ENDS
#Processed by EYE v18.1121.1508 josd
#Processed by EYE v18.1121.1531 josd
#eye --proof http://josd.github.io/eye/reasoning/djiti/proof-10.n3 --query http://josd.github.io/eye/reasoning/djiti/query.n3
PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
......@@ -139,6 +139,6 @@ PREFIX : <http://josd.github.io/eye/reasoning#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/djiti/proof-10.n3>].
#2018-11-21T15:10:02.599Z in=54 out=2 ent=8 step=18 brake=2 inf=37841 sec=0.041 inf/sec=922951
#2018-11-21T20:39:38.627Z in=54 out=2 ent=8 step=18 brake=2 inf=37868 sec=0.094 inf/sec=402851
#ENDS
#Processed by EYE v18.1121.1508 josd
#Processed by EYE v18.1121.1531 josd
#eye --proof http://josd.github.io/eye/reasoning/djiti/proof-100.n3 --query http://josd.github.io/eye/reasoning/djiti/query.n3
PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
......@@ -348,6 +348,6 @@ PREFIX : <http://josd.github.io/eye/reasoning#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/djiti/proof-100.n3>].
#2018-11-21T15:10:02.963Z in=124 out=6 ent=23 step=48 brake=2 inf=70115 sec=0.046 inf/sec=1524239
#2018-11-21T20:39:39.182Z in=124 out=6 ent=23 step=48 brake=2 inf=70138 sec=0.111 inf/sec=631874
#ENDS
#Processed by EYE v18.1121.1508 josd
#Processed by EYE v18.1121.1531 josd
#eye --proof http://josd.github.io/eye/reasoning/djiti/proof-1000.n3 --query http://josd.github.io/eye/reasoning/djiti/query.n3
PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
......@@ -5060,6 +5060,6 @@ PREFIX : <http://josd.github.io/eye/reasoning#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/djiti/proof-1000.n3>].
#2018-11-21T15:10:03.475Z in=1686 out=92 ent=355 step=712 brake=2 inf=804858 sec=0.168 inf/sec=4790821
#2018-11-21T20:39:40.198Z in=1686 out=92 ent=355 step=712 brake=2 inf=804883 sec=0.455 inf/sec=1768974
#ENDS
#Processed by EYE v18.1121.1508 josd
#Processed by EYE v18.1121.1531 josd
#eye --proof http://josd.github.io/eye/reasoning/djiti/proof-10000.n3 --query http://josd.github.io/eye/reasoning/djiti/query.n3
PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
......@@ -51865,6 +51865,6 @@ PREFIX : <http://josd.github.io/eye/reasoning#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/djiti/proof-10000.n3>].
#2018-11-21T15:10:05.270Z in=17278 out=966 ent=3682 step=7366 brake=2 inf=8124352 sec=1.249 inf/sec=6504685
#2018-11-21T20:39:45.084Z in=17278 out=966 ent=3682 step=7366 brake=2 inf=8124379 sec=3.943 inf/sec=2060456
#ENDS
#Processed by EYE v18.1121.1508 josd
#Processed by EYE v18.1121.1531 josd
#eye --tactic limited-answer 1 --n3 http://josd.github.io/eye/reasoning/dp/dp.n3 --query http://josd.github.io/eye/reasoning/dp/dpQ.n3
# <http://josd.github.io/eye/reasoning#person5> thinking for 0.025 seconds
......@@ -69,6 +69,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/dp/dp.n3>].
#2018-11-21T15:10:06.496Z in=43 out=1 ent=2 step=2 brake=1 inf=31597 sec=0.039 inf/sec=810179
#2018-11-21T20:39:47.057Z in=43 out=1 ent=2 step=2 brake=1 inf=31622 sec=0.092 inf/sec=343717
#ENDS
#Processed by EYE v18.1121.1508 josd
#Processed by EYE v18.1121.1531 josd
#eye --tactic limited-answer 1 --n3 http://josd.github.io/eye/reasoning/dpe/dpe_theory.n3 --n3 http://josd.github.io/eye/reasoning/dpe/dpe_assumption.n3 --query http://josd.github.io/eye/reasoning/dpe/dpe_query.n3
PREFIX : <http://josd.github.io/eye/reasoning/dpe/dpe#>
......@@ -241,6 +241,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/dpe/dpe_theory.n3>].
#2018-11-21T15:10:07.097Z in=52 out=2 ent=32 step=120 brake=4 inf=42357 sec=0.041 inf/sec=1033098
#2018-11-21T20:39:47.940Z in=52 out=2 ent=32 step=120 brake=4 inf=42370 sec=0.101 inf/sec=419505
#ENDS
#Processed by EYE v18.1121.1508 josd
#Processed by EYE v18.1121.1531 josd
#eye --no-distinct-output --nope --n3 http://josd.github.io/eye/reasoning/dqc/sdcoding.n3 --query http://josd.github.io/eye/reasoning/dqc/sdcoding-q.n3
PREFIX dqc: <http://josd.github.io/eye/reasoning/dqc#>
......@@ -28,6 +28,6 @@ PREFIX dqc: <http://josd.github.io/eye/reasoning/dqc#>
3 dqc:sdcoding 0 .
3 dqc:sdcoding 2 .
#2018-11-21T15:10:07.537Z in=73 out=24 ent=0 step=0 brake=1 inf=16787 sec=0.030 inf/sec=559567
#2018-11-21T20:39:48.645Z in=73 out=24 ent=0 step=0 brake=1 inf=16813 sec=0.080 inf/sec=210163
#ENDS
#Processed by EYE v18.1121.1508 josd
#Processed by EYE v18.1121.1531 josd
#eye --no-distinct-input --nope --n3 http://josd.github.io/eye/reasoning/dqc/sdcoding-a.n3 --query http://josd.github.io/eye/reasoning/dqc/sdcoding-query.n3
PREFIX dqc: <http://josd.github.io/eye/reasoning/dqc#>
......@@ -10,6 +10,6 @@ PREFIX math: <http://www.w3.org/2000/10/swap/math#>
0 dqc:sdcoding 0 .
2 dqc:sdcoding 2 .
#2018-11-21T15:10:07.878Z in=31 out=4 ent=4 step=4 brake=2 inf=15692 sec=0.039 inf/sec=402359
#2018-11-21T20:39:49.142Z in=31 out=4 ent=4 step=4 brake=2 inf=15719 sec=0.077 inf/sec=204143
#ENDS
#Processed by EYE v18.1121.1508 josd
#Processed by EYE v18.1121.1531 josd
#eye --n3 http://josd.github.io/eye/reasoning/dt/test-facts.n3 --n3 http://josd.github.io/eye/reasoning/dt/test-dt-1000.n3 --query http://josd.github.io/eye/reasoning/dt/test-query.n3
PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#>
......@@ -15034,6 +15034,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/dt/test-dt-1000.n3>].
#2018-11-21T15:10:08.942Z in=9008 out=1 ent=2999 step=5998 brake=2 inf=1940747 sec=0.385 inf/sec=5040901
#2018-11-21T20:39:51.149Z in=9008 out=1 ent=2999 step=5998 brake=2 inf=1940763 sec=1.096 inf/sec=1770769
#ENDS
#Processed by EYE v18.1121.1508 josd
#Processed by EYE v18.1121.1531 josd
#eye --n3 http://josd.github.io/eye/reasoning/easter/easterP.n3 --query http://josd.github.io/eye/reasoning/easter/easterF.n3
PREFIX math: <http://www.w3.org/2000/10/swap/math#>
......@@ -1016,6 +1016,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/easter/easterP.n3>].
#2018-11-21T15:10:09.422Z in=57 out=16 ent=32 step=64 brake=2 inf=200505 sec=0.066 inf/sec=3037955
#2018-11-21T20:39:51.834Z in=57 out=16 ent=32 step=64 brake=2 inf=200531 sec=0.161 inf/sec=1245534
#ENDS
#Processed by EYE v18.1121.1508 josd
#Processed by EYE v18.1121.1531 josd
#eye --n3 http://josd.github.io/eye/reasoning/einstein/einstein.n3 --query http://josd.github.io/eye/reasoning/einstein/einsteinQ.n3
PREFIX list: <http://www.w3.org/2000/10/swap/list#>
......@@ -110,6 +110,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/einstein/einstein.n3>].
#2018-11-21T15:10:10.245Z in=28 out=1 ent=2 step=4 brake=2 inf=671611 sec=0.136 inf/sec=4938316
#2018-11-21T20:39:52.834Z in=28 out=1 ent=2 step=4 brake=2 inf=671658 sec=0.382 inf/sec=1758267
#ENDS
#Processed by EYE v18.1121.1508 josd
#Processed by EYE v18.1121.1531 josd
#eye --nope --n3 http://josd.github.io/eye/reasoning/equation4/polynomial.n3 --query http://josd.github.io/eye/reasoning/equation4/query.n3
PREFIX e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>
......@@ -1004,6 +1004,6 @@ PREFIX e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>
((1.0 0.0) (31.479139483246144 -5.637636835003695) (49.6500993311686 21.292855459119252) (-7.509269162080673 -4.685394625106959) (44.19898428417116 0.09388861810012417)) e:roots ((-30.04806036124109 6.671361387382722) (-1.8564286933350918 -0.8715530609384365) (0.14001882652977038 -0.8874311173161269) (0.2853307448002713 0.725259625875537)).
((1.0 0.0) (-3.4735945942544033 -5.724317381286637) (27.95030525291834 -45.78866148003705) (-35.441953702016335 -26.5046605108508) (-14.350738086782172 -39.59708380047468)) e:roots ((5.746180404504588 9.593740189549036) (-0.3856613070277868 -0.47108060895022996) (-2.1856418312890327 -4.580144382021954) (0.29871732806663354 1.181802182709784)).
#2018-11-21T15:10:12.579Z in=1004 out=1000 ent=1000 step=1000 brake=1 inf=9855509 sec=1.150 inf/sec=8570008
#2018-11-21T20:39:59.748Z in=1004 out=1000 ent=1000 step=1000 brake=1 inf=9855555 sec=4.424 inf/sec=2227748
#ENDS
#Processed by EYE v18.1121.1508 josd
#Processed by EYE v18.1121.1531 josd
#eye --n3 http://josd.github.io/eye/reasoning/fcm/fcm-plugin.n3 --n3 http://josd.github.io/eye/reasoning/fcm/fl-rules.n3 --n3 http://josd.github.io/eye/reasoning/fcm/example001P.n3 --n3 http://josd.github.io/eye/reasoning/fcm/example002P.n3 --query http://josd.github.io/eye/reasoning/fcm/example003Q.n3
PREFIX fcm: <http://eulersharp.sourceforge.net/2006/02swap/fcm-plugin#>
......@@ -669,6 +669,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/fcm/example002P.n3>].
#2018-11-21T15:10:13.452Z in=260 out=8 ent=50 step=307 brake=6 inf=469005 sec=0.114 inf/sec=4114079
#2018-11-21T20:40:01.450Z in=260 out=8 ent=50 step=307 brake=6 inf=469039 sec=0.294 inf/sec=1595371
#ENDS
#Processed by EYE v18.1121.1508 josd
#Processed by EYE v18.1121.1531 josd
#eye --n3 http://josd.github.io/eye/reasoning/fgcm/fgcm-plugin.n3 --n3 http://josd.github.io/eye/reasoning/fcm/fl-rules.n3 --n3 http://josd.github.io/eye/reasoning/fgcm/patient.n3 --n3 http://josd.github.io/eye/reasoning/fgcm/fgcm-model.n3 --query http://josd.github.io/eye/reasoning/fgcm/fgcm-query.n3
PREFIX fgcm: <http://eulersharp.sourceforge.net/2006/02swap/fgcm-plugin#>
......@@ -1211,6 +1211,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
1 log:equalTo _:x_1_20} {1 log:equalTo 1 .
1 log:equalTo 1}) e:derive true}}}].
#2018-11-21T15:10:14.464Z in=630 out=18 ent=237 step=1917 brake=5 inf=807042 sec=0.198 inf/sec=4075970
#2018-11-21T20:40:03.378Z in=630 out=18 ent=237 step=1917 brake=5 inf=807073 sec=0.549 inf/sec=1470078
#ENDS
This diff is collapsed.
@prefix : <try#>.
{(100) :fib ?Y} => {(100) :fib ?Y}.
{(92) :fib ?Y} => {(92) :fib ?Y}.
#Processed by EYE v18.1121.1508 josd
#Processed by EYE v18.1121.1531 josd
#eye --n3 http://josd.github.io/eye/reasoning/gedcom/gedcom-facts.n3 --n3 http://josd.github.io/eye/reasoning/gedcom/gedcom-relations.n3 --n3 http://josd.github.io/eye/reasoning/gedcom/rpo-rules.n3 --query http://josd.github.io/eye/reasoning/gedcom/gedcom-filter.n3
PREFIX math: <http://www.w3.org/2000/10/swap/math#>
......@@ -935,6 +935,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
);
r:rule <#lemma92>.
#2018-11-21T15:10:15.637Z in=347 out=6 ent=1591 step=18973 brake=12 inf=753609 sec=0.123 inf/sec=6126902
#2018-11-21T20:40:05.410Z in=347 out=6 ent=1591 step=18973 brake=12 inf=753653 sec=0.367 inf/sec=2053550
#ENDS
#Processed by EYE v18.1121.1508 josd
#Processed by EYE v18.1121.1531 josd
#eye --n3 http://josd.github.io/eye/reasoning/glass/test.n3 --query http://josd.github.io/eye/reasoning/glass/testQ.n3
PREFIX log: <http://www.w3.org/2000/10/swap/log#>
......@@ -172,6 +172,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/glass/test.n3>].
#2018-11-21T15:10:16.096Z in=46 out=6 ent=7 step=30 brake=2 inf=42947 sec=0.047 inf/sec=913766
#2018-11-21T20:40:06.073Z in=46 out=6 ent=7 step=30 brake=2 inf=43014 sec=0.094 inf/sec=457596
#ENDS
#Processed by EYE v18.1121.1508 josd
#Processed by EYE v18.1121.1531 josd
#eye --n3 http://josd.github.io/eye/reasoning/gps/gps-plugin.n3 --n3 http://josd.github.io/eye/reasoning/gps/gps-example1.n3 --query http://josd.github.io/eye/reasoning/gps/gps-query1.n3
PREFIX list: <http://www.w3.org/2000/10/swap/list#>
......@@ -285,6 +285,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/gps/gps-plugin.n3>].
#2018-11-21T15:10:16.698Z in=60 out=1 ent=1 step=1 brake=2 inf=80192 sec=0.053 inf/sec=1513057
#2018-11-21T20:40:07.039Z in=60 out=1 ent=1 step=1 brake=2 inf=80248 sec=0.115 inf/sec=697809
#ENDS
#Processed by EYE v18.1121.1508 josd
#Processed by EYE v18.1121.1531 josd
#eye --n3 http://josd.github.io/eye/reasoning/gps/gps-plugin.n3 --n3 http://josd.github.io/eye/reasoning/gps/gps-example2.n3 --query http://josd.github.io/eye/reasoning/gps/gps-query2.n3
PREFIX list: <http://www.w3.org/2000/10/swap/list#>
......@@ -5872,6 +5872,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
);
r:rule <#lemma336>.
#2018-11-21T15:10:17.544Z in=201 out=10 ent=10 step=10 brake=2 inf=2321174 sec=0.348 inf/sec=6670040
#2018-11-21T20:40:09.051Z in=201 out=10 ent=10 step=10 brake=2 inf=2321230 sec=1.067 inf/sec=2175473
#ENDS
#Processed by EYE v18.1121.1508 josd
#Processed by EYE v18.1121.1531 josd
#eye --n3 http://josd.github.io/eye/reasoning/graph/graph.axiom.n3 --n3 http://josd.github.io/eye/reasoning/graph/rpo-rules.n3 --query http://josd.github.io/eye/reasoning/graph/graph.filter.n3
PREFIX math: <http://www.w3.org/2000/10/swap/math#>
......@@ -158,6 +158,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/graph/graph.axiom.n3>].
#2018-11-21T15:10:18.162Z in=171 out=1 ent=24 step=70 brake=2 inf=39572 sec=0.046 inf/sec=860261
#2018-11-21T20:40:10.062Z in=171 out=1 ent=24 step=70 brake=2 inf=39606 sec=0.102 inf/sec=388294
#ENDS
#Processed by EYE v18.1121.1508 josd
#Processed by EYE v18.1121.1531 josd
#eye --turtle http://josd.github.io/eye/reasoning/h2o/hypothesis-001.n3 --turtle http://josd.github.io/eye/reasoning/h2o/data-001.n3 --n3 http://josd.github.io/eye/reasoning/h2o/rules-001.n3 --query http://josd.github.io/eye/reasoning/h2o/query-001.n3
PREFIX list: <http://www.w3.org/2000/10/swap/list#>
......@@ -58,6 +58,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/h2o/rules-001.n3>].
#2018-11-21T15:10:18.839Z in=16 out=1 ent=6 step=12 brake=2 inf=27404 sec=0.040 inf/sec=685100
#2018-11-21T20:40:11.077Z in=16 out=1 ent=6 step=12 brake=2 inf=27427 sec=0.089 inf/sec=308169
#ENDS
#Processed by EYE v18.1121.1508 josd
#Processed by EYE v18.1121.1531 josd
#eye --tactic limited-answer 1 --n3 http://josd.github.io/eye/reasoning/hanoi/hanoi.n3 --pass
# Move top disk from <http://josd.github.io/eye/reasoning#left> to <http://josd.github.io/eye/reasoning#right>
......@@ -149,6 +149,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/hanoi/hanoi.n3>].
#2018-11-21T15:10:19.036Z in=13 out=1 ent=2 step=2 brake=1 inf=34175 sec=0.038 inf/sec=899342
#2018-11-21T20:40:11.495Z in=13 out=1 ent=2 step=2 brake=1 inf=34233 sec=0.085 inf/sec=402741
#ENDS
#Processed by EYE v18.1121.1508 josd
#Processed by EYE v18.1121.1531 josd
#eye --n3 http://josd.github.io/eye/reasoning/image/year.n3 --n3 http://josd.github.io/eye/reasoning/image/easter.n3 --query http://josd.github.io/eye/reasoning/image/query.n3
PREFIX e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>
......@@ -6534,6 +6534,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/image/year.n3>].
#2018-11-21T15:10:19.972Z in=46 out=101 ent=202 step=404 brake=2 inf=1216478 sec=0.180 inf/sec=6758211
#2018-11-21T20:40:13.523Z in=46 out=101 ent=202 step=404 brake=2 inf=1216533 sec=0.568 inf/sec=2141783
#ENDS
#Processed by EYE v18.1121.1508 josd
#Processed by EYE v18.1121.1531 josd
#eye --no-genid --n3 http://josd.github.io/eye/reasoning/iq/iq.n3 --pass-all
PREFIX : <http://example.org/test#>
......@@ -199,6 +199,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/iq/iq.n3>].
#2018-11-21T15:10:20.267Z in=29 out=10 ent=13 step=26 brake=2 inf=55918 sec=0.041 inf/sec=1363854
#2018-11-21T20:40:13.962Z in=29 out=10 ent=13 step=26 brake=2 inf=55976 sec=0.095 inf/sec=589221
#ENDS
#Processed by EYE v18.1121.1508 josd
#Processed by EYE v18.1121.1531 josd
#eye --n3 http://josd.github.io/eye/reasoning/lldm/lldmD.n3 --n3 http://josd.github.io/eye/reasoning/lldm/lldmP.n3 --query http://josd.github.io/eye/reasoning/lldm/lldmF.n3
PREFIX log: <http://www.w3.org/2000/10/swap/log#>
......@@ -867,6 +867,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/lldm/lldmP.n3>].
#2018-11-21T15:10:20.877Z in=356 out=1 ent=39 step=124 brake=4 inf=129908 sec=0.056 inf/sec=2319786
#2018-11-21T20:40:14.925Z in=356 out=1 ent=39 step=124 brake=4 inf=129944 sec=0.150 inf/sec=866293
#ENDS
#Processed by EYE v18.1121.1508 josd
#Processed by EYE v18.1121.1531 josd
#eye --n3 http://josd.github.io/eye/reasoning/gps/gps-plugin.n3 --n3 http://josd.github.io/eye/reasoning/map/agent1-map.n3 --query http://josd.github.io/eye/reasoning/map/agent1-query.n3
PREFIX math: <http://www.w3.org/2000/10/swap/math#>
......@@ -208,6 +208,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/gps/gps-plugin.n3>].
#2018-11-21T15:10:21.372Z in=56 out=1 ent=1 step=1 brake=2 inf=61542 sec=0.043 inf/sec=1431209
#2018-11-21T20:40:15.673Z in=56 out=1 ent=1 step=1 brake=2 inf=61575 sec=0.114 inf/sec=540132
#ENDS
#Processed by EYE v18.1121.1508 josd
#Processed by EYE v18.1121.1531 josd
#eye --n3 http://josd.github.io/eye/reasoning/gps/gps-plugin.n3 --n3 http://josd.github.io/eye/reasoning/map/agent2-map.n3 --proof http://josd.github.io/eye/reasoning/map/agent1-proof.n3 --query http://josd.github.io/eye/reasoning/map/agent2-query.n3
PREFIX math: <http://www.w3.org/2000/10/swap/math#>
......@@ -295,6 +295,6 @@ PREFIX : <http://josd.github.io/eye/reasoning#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/gps/gps-plugin.n3>].
#2018-11-21T15:10:22.043Z in=309 out=1 ent=10 step=82 brake=4 inf=127874 sec=0.066 inf/sec=1937485
#2018-11-21T20:40:16.882Z in=309 out=1 ent=10 step=82 brake=4 inf=127896 sec=0.148 inf/sec=864162
#ENDS
#Processed by EYE v18.1121.1508 josd
#Processed by EYE v18.1121.1531 josd
#eye --n3 http://josd.github.io/eye/reasoning/medic/medic.n3 --query http://josd.github.io/eye/reasoning/medic/medicF.n3
PREFIX math: <http://www.w3.org/2000/10/swap/math#>
......@@ -100,6 +100,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/medic/medic.n3>].
#2018-11-21T15:10:22.490Z in=30 out=2 ent=4 step=8 brake=4 inf=34569 sec=0.038 inf/sec=909711
#2018-11-21T20:40:17.531Z in=30 out=2 ent=4 step=8 brake=4 inf=34614 sec=0.088 inf/sec=393341
#ENDS
#Processed by EYE v18.1121.1508 josd
#Processed by EYE v18.1121.1531 josd
#eye --n3 http://josd.github.io/eye/reasoning/mmln/mmln-gv-example.n3 --n3 http://josd.github.io/eye/reasoning/mmln/mmln-gv-mln.n3 --n3 http://josd.github.io/eye/reasoning/mmln/mmln-plugin.n3 --query http://josd.github.io/eye/reasoning/mmln/mmln-gv-query.n3
PREFIX math: <http://www.w3.org/2000/10/swap/math#>
......@@ -1538,6 +1538,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mmln/mmln-plugin.n3>].
#2018-11-21T15:10:23.690Z in=1546 out=47 ent=105 step=330 brake=4 inf=1536541 sec=0.270 inf/sec=5690893
#2018-11-21T20:40:19.870Z in=1546 out=47 ent=105 step=330 brake=4 inf=1536564 sec=1.026 inf/sec=1497626
#ENDS
This diff is collapsed.
#Processed by EYE v18.1121.1508 josd
#Processed by EYE v18.1121.1531 josd
#eye --plugin http://josd.github.io/eye/reasoning/n3p/extra.n3p --pass
PREFIX : <http://example.org/try#>
......@@ -133,6 +133,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/n3p/extra.ttl>].
#2018-11-21T15:10:26.029Z in=7 out=7 ent=7 step=7 brake=1 inf=26404 sec=0.033 inf/sec=800121
#2018-11-21T20:40:26.027Z in=7 out=7 ent=7 step=7 brake=1 inf=26474 sec=0.079 inf/sec=335114
#ENDS
#Processed by EYE v18.1121.1508 josd
#Processed by EYE v18.1121.1531 josd
#eye --plugin http://josd.github.io/eye/reasoning/n3p/literals.n3p --pass
PREFIX xsd: <http://www.w3.org/2001/XMLSchema#>
......@@ -185,6 +185,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/n3p/literals.ttl>].
#2018-11-21T15:10:26.221Z in=10 out=10 ent=10 step=10 brake=1 inf=29453 sec=0.043 inf/sec=684953
#2018-11-21T20:40:26.438Z in=10 out=10 ent=10 step=10 brake=1 inf=29522 sec=0.080 inf/sec=369025
#ENDS
#Processed by EYE v18.1121.1508 josd
#Processed by EYE v18.1121.1531 josd
#eye --plugin http://josd.github.io/eye/reasoning/n3p/sample.n3p --pass-all
PREFIX e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>
......@@ -258,6 +258,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/n3p/sample.n3>].
#2018-11-21T15:10:26.422Z in=12 out=12 ent=13 step=29 brake=2 inf=53690 sec=0.043 inf/sec=1248605
#2018-11-21T20:40:26.759Z in=12 out=12 ent=13 step=29 brake=2 inf=53761 sec=0.093 inf/sec=578075
#ENDS
#Processed by EYE v18.1121.1508 josd
#Processed by EYE v18.1121.1531 josd
#eye --plugin http://josd.github.io/eye/reasoning/n3p/simple.n3p --pass
PREFIX : <http://example.org/try#>
......@@ -150,6 +150,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/n3p/simple.ttl>].
#2018-11-21T15:10:25.844Z in=8 out=8 ent=8 step=8 brake=1 inf=32174 sec=0.030 inf/sec=1072467
#2018-11-21T20:40:25.619Z in=8 out=8 ent=8 step=8 brake=1 inf=32243 sec=0.083 inf/sec=388470
#ENDS
#Processed by EYE v18.1121.1508 josd
#Processed by EYE v18.1121.1531 josd
#eye --n3 http://josd.github.io/eye/reasoning/nbbn/nbbn-plugin.n3 --n3 http://josd.github.io/eye/reasoning/nbbn/nbbn-model.n3 --query http://josd.github.io/eye/reasoning/nbbn/nbbn-query.n3
PREFIX math: <http://www.w3.org/2000/10/swap/math#>
......@@ -114,6 +114,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/nbbn/nbbn-plugin.n3>].
#2018-11-21T15:10:27.050Z in=158 out=1 ent=1 step=1 brake=2 inf=72897 sec=0.053 inf/sec=1375415
#2018-11-21T20:40:27.812Z in=158 out=1 ent=1 step=1 brake=2 inf=72934 sec=0.146 inf/sec=499548
#ENDS
#Processed by EYE v18.1121.1508 josd
#Processed by EYE v18.1121.1531 josd
#eye --strict --no-numerals --turtle http://josd.github.io/eye/reasoning/numeral/numeral.n3 --pass
PREFIX xsd: <http://www.w3.org/2001/XMLSchema#>
......@@ -100,6 +100,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/numeral/numeral.n3>].
#2018-11-21T15:10:27.349Z in=5 out=5 ent=5 step=5 brake=1 inf=25609 sec=0.038 inf/sec=673921
#2018-11-21T20:40:28.236Z in=5 out=5 ent=5 step=5 brake=1 inf=25667 sec=0.078 inf/sec=329064
#ENDS
#Processed by EYE v18.1121.1508 josd
#Processed by EYE v18.1121.1531 josd
#eye --n3 http://josd.github.io/eye/reasoning/pi/pi.n3 --query http://josd.github.io/eye/reasoning/pi/pi-query.n3
PREFIX math: <http://www.w3.org/2000/10/swap/math#>
......@@ -18057,6 +18057,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/pi/pi.n3>].
#2018-11-21T15:10:28.109Z in=22 out=1 ent=1 step=1 brake=1 inf=2902421 sec=0.392 inf/sec=7404135
#2018-11-21T20:40:30.164Z in=22 out=1 ent=1 step=1 brake=1 inf=2902467 sec=1.355 inf/sec=2142042
#ENDS
#Processed by EYE v18.1121.1508 josd
#Processed by EYE v18.1121.1531 josd
#eye --n3 http://josd.github.io/eye/reasoning/pptbank/bankSW.n3 --n3 http://josd.github.io/eye/reasoning/pptbank/checking.n3 --query http://josd.github.io/eye/reasoning/pptbank/query.n3
PREFIX my: <http://josd.github.io/eye/reasoning/ppt-bank/acct3#>
......@@ -80,6 +80,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/pptbank/checking.n3>].
#2018-11-21T15:10:29.143Z in=34 out=1 ent=2 step=4 brake=1 inf=32717 sec=0.047 inf/sec=696106
#2018-11-21T20:40:31.763Z in=34 out=1 ent=2 step=4 brake=1 inf=32715 sec=0.099 inf/sec=330455
#ENDS
#Processed by EYE v18.1121.1508 josd
#Processed by EYE v18.1121.1531 josd
#eye --n3 http://josd.github.io/eye/reasoning/preduction/food-example.n3 --n3 http://josd.github.io/eye/reasoning/preduction/food.n3 --n3 http://josd.github.io/eye/reasoning/rpo/rdfs-subClassOf.n3 --query http://josd.github.io/eye/reasoning/preduction/food-query.n3
PREFIX food: <http://www.w3.org/2002/03owlt/miscellaneous/consistent002#>
......@@ -429,6 +429,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/rpo/rdfs-subClassOf.n3>].
#2018-11-21T15:10:31.161Z in=59 out=16 ent=91 step=338 brake=3 inf=68819 sec=0.047 inf/sec=1464234
#2018-11-21T20:40:34.858Z in=59 out=16 ent=91 step=338 brake=3 inf=68840 sec=0.113 inf/sec=609204
#ENDS
#Processed by EYE v18.1121.1508 josd
#Processed by EYE v18.1121.1531 josd
#eye --n3 http://josd.github.io/eye/reasoning/preduction/food-example.n3 --n3 http://josd.github.io/eye/reasoning/preduction/food2.n3 --query http://josd.github.io/eye/reasoning/preduction/food-query.n3
PREFIX food: <http://www.w3.org/2002/03owlt/miscellaneous/consistent002#>
......@@ -377,6 +377,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/preduction/food2.n3>].
#2018-11-21T15:10:31.572Z in=113 out=16 ent=27 step=115 brake=5 inf=54606 sec=0.045 inf/sec=1213467
#2018-11-21T20:40:35.587Z in=113 out=16 ent=27 step=115 brake=5 inf=54641 sec=0.103 inf/sec=530495
#ENDS
#Processed by EYE v18.1121.1508 josd
#Processed by EYE v18.1121.1531 josd
#eye --nope --n3 food.n3 food-declarations.n3 --n3 preduction-plugin.n3 --query food-preduction.n3
PREFIX food: <http://www.w3.org/2002/03owlt/miscellaneous/consistent002#>
......@@ -43,6 +43,6 @@ PREFIX p: <http://josd.github.io/eye/reasoning/preduction#>
{?U_441 a food:RedMeat} => {?U_441 a food:Meat}.
{?U_454 a food:EatingGrape} => {?U_454 a food:Grape}.
#2018-11-21T15:10:30.528Z in=106 out=35 ent=35 step=35 brake=0 inf=66854 sec=0.051 inf/sec=1310863
#2018-11-21T20:40:33.846Z in=106 out=35 ent=35 step=35 brake=0 inf=66864 sec=0.106 inf/sec=630792
#ENDS
#Processed by EYE v18.1121.1508 josd
#Processed by EYE v18.1121.1531 josd
#eye --n3 http://josd.github.io/eye/reasoning/preduction/palindrome.n3 --query http://josd.github.io/eye/reasoning/preduction/palindrome-query.n3
PREFIX e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>
......@@ -738,6 +738,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/preduction/palindrome.n3>].
#2018-11-21T15:10:29.763Z in=29 out=1 ent=1 step=1 brake=1 inf=158659 sec=0.063 inf/sec=2518397
#2018-11-21T20:40:32.749Z in=29 out=1 ent=1 step=1 brake=1 inf=158704 sec=0.145 inf/sec=1094510
#ENDS
#Processed by EYE v18.1121.1508 josd
#Processed by EYE v18.1121.1531 josd
#eye --n3 http://josd.github.io/eye/reasoning/preduction/palindrome2.n3 --query http://josd.github.io/eye/reasoning/preduction/palindrome2-query.n3