Commit 36fb531c authored by josd's avatar josd

retest

parent 1e076c73
#Processed by EYE v18.1222.1845 josd
#Processed by EYE v18.1230.1307 josd
#eye --n3 http://josd.github.io/eye/reasoning/3outof5/sample.n3 --query http://josd.github.io/eye/reasoning/3outof5/query.n3
PREFIX : <http://josd.github.io/eye/reasoning#>
......@@ -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-12-22T18:57:01.147Z in=6 out=1 ent=1 step=1 brake=2 inf=56650 sec=0.046 inf/sec=1231522
#2019-01-03T11:34:44.980Z in=6 out=1 ent=1 step=1 brake=2 inf=56649 sec=0.053 inf/sec=1068849
#ENDS
#Processed by EYE v18.1222.1845 josd
#Processed by EYE v18.1230.1307 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#>
......@@ -4020,6 +4020,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-12-22T18:57:01.824Z in=131 out=97 ent=200 step=910 brake=6 inf=1124502 sec=0.195 inf/sec=5766677
#2019-01-03T11:34:46.022Z in=131 out=97 ent=200 step=910 brake=6 inf=1124501 sec=0.200 inf/sec=5622505
#ENDS
#Processed by EYE v18.1222.1845 josd
#Processed by EYE v18.1230.1307 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 owl: <http://www.w3.org/2002/07/owl#>
......@@ -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-12-22T18:57:02.316Z in=97 out=50 ent=100 step=48 brake=4 inf=391455 sec=0.119 inf/sec=3289538
#2019-01-03T11:34:46.949Z in=97 out=50 ent=100 step=48 brake=4 inf=391455 sec=0.116 inf/sec=3374612
#ENDS
#Processed by EYE v18.1222.1845 josd
#Processed by EYE v18.1230.1307 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-12-22T18:57:04.419Z in=9841 out=1518 ent=1518 step=1518 brake=1 inf=7685641 sec=1.285 inf/sec=5981044
#2019-01-03T11:34:50.106Z in=9841 out=1518 ent=1518 step=1518 brake=1 inf=7685642 sec=1.308 inf/sec=5875873
#ENDS
......@@ -12,6 +12,6 @@ _:t_1 :answer (:expected 0 :predicted 0 :belief 0.6217496707387207 :evidence ((:
_:t_2 :answer (:expected 1 :predicted 1 :belief 0.8262932434158183 :evidence ((:input1 "xyz" 0.6931471805599453) (:input2 40 2.772588722239781) (:input5 "a" 0.0) (:input10 ("xyz" 40) 2.772588722239781))).
_:t_3 :answer (:expected 0 :predicted 0 :belief 0.5857864376269049 :evidence ((:input3 (0 1) 0.0) (:input4 :v3 -0.6931471805599453))).
#2019-01-03T11:25:16.746Z in=40 out=4 ent=3 step=6 brake=2 inf=52152 sec=0.104 inf/sec=501462
#2019-01-03T11:34:51.504Z in=40 out=4 ent=3 step=6 brake=2 inf=51941 sec=0.037 inf/sec=1403811
#ENDS
......@@ -25,6 +25,6 @@ PREFIX e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>
(:input10 ("abc" 60)) ccd:model (:output1 1 2).
(:input10 ("xyz" 40)) ccd:model (:output1 1 0).
#2019-01-03T11:25:15.428Z in=54 out=17 ent=24 step=110 brake=2 inf=40636 sec=0.098 inf/sec=414653
#2019-01-03T11:34:50.844Z in=54 out=17 ent=24 step=110 brake=2 inf=40423 sec=0.043 inf/sec=940070
#ENDS
#Processed by EYE v18.1222.1845 josd
#Processed by EYE v18.1230.1307 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-12-22T18:57:05.033Z in=3 out=3 ent=6 step=12 brake=2 inf=29951 sec=0.037 inf/sec=809486
#2019-01-03T11:34:51.688Z in=3 out=3 ent=6 step=12 brake=2 inf=29950 sec=0.035 inf/sec=855714
#ENDS
#Processed by EYE v18.1222.1845 josd
#Processed by EYE v18.1230.1307 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 : <http://josd.github.io/eye/reasoning/cs#>
......@@ -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-12-22T18:57:05.247Z in=15 out=2 ent=4 step=8 brake=2 inf=54615 sec=0.046 inf/sec=1187283
#2019-01-03T11:34:52.186Z in=15 out=2 ent=4 step=8 brake=2 inf=54616 sec=0.053 inf/sec=1030491
#ENDS
#Processed by EYE v18.1222.1845 josd
#Processed by EYE v18.1230.1307 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-12-22T18:57:05.776Z in=6 out=5 ent=5 step=5 brake=2 inf=55354 sec=0.051 inf/sec=1085373
#2019-01-03T11:34:53.019Z in=6 out=5 ent=5 step=5 brake=2 inf=55355 sec=0.055 inf/sec=1006455
#ENDS
#Processed by EYE v18.1222.1845 josd
#Processed by EYE v18.1230.1307 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-12-22T18:57:05.516Z in=18 out=17 ent=17 step=17 brake=2 inf=76203 sec=0.052 inf/sec=1465442
#2019-01-03T11:34:52.659Z in=18 out=17 ent=17 step=17 brake=2 inf=76201 sec=0.053 inf/sec=1437755
#ENDS
#Processed by EYE v18.1222.1845 josd
#Processed by EYE v18.1230.1307 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-12-22T18:57:05.977Z in=8 out=1 ent=6 step=18 brake=3 inf=29646 sec=0.034 inf/sec=871941
#2019-01-03T11:34:53.504Z in=8 out=1 ent=6 step=18 brake=3 inf=29646 sec=0.033 inf/sec=898364
#ENDS
#Processed by EYE v18.1222.1845 josd
#Processed by EYE v18.1230.1307 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-12-22T18:57:06.120Z in=11 out=2 ent=2 step=2 brake=1 inf=27190 sec=0.030 inf/sec=906333
#2019-01-03T11:34:53.864Z in=11 out=2 ent=2 step=2 brake=1 inf=27191 sec=0.034 inf/sec=799735
#ENDS
#Processed by EYE v18.1222.1845 josd
#Processed by EYE v18.1230.1307 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-12-22T18:57:06.281Z in=101 out=6 ent=6 step=6 brake=1 inf=44831 sec=0.049 inf/sec=914918
#2019-01-03T11:34:54.116Z in=101 out=6 ent=6 step=6 brake=1 inf=44829 sec=0.048 inf/sec=933938
#ENDS
#Processed by EYE v18.1222.1845 josd
#Processed by EYE v18.1230.1307 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-12-22T18:57:06.522Z in=1001 out=92 ent=92 step=92 brake=1 inf=392330 sec=0.102 inf/sec=3846373
#2019-01-03T11:34:54.443Z in=1001 out=92 ent=92 step=92 brake=1 inf=392329 sec=0.105 inf/sec=3736467
#ENDS
#Processed by EYE v18.1222.1845 josd
#Processed by EYE v18.1230.1307 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-12-22T18:57:07.684Z in=10001 out=966 ent=966 step=966 brake=1 inf=3882879 sec=0.832 inf/sec=4666922
#2019-01-03T11:34:55.665Z in=10001 out=966 ent=966 step=966 brake=1 inf=3882885 sec=0.812 inf/sec=4781878
#ENDS
#Processed by EYE v18.1222.1845 josd
#Processed by EYE v18.1230.1307 josd
#eye --proof http://josd.github.io/eye/reasoning/djiti/proof-10.n3 --query http://josd.github.io/eye/reasoning/djiti/query.n3
PREFIX : <http://josd.github.io/eye/reasoning#>
......@@ -139,6 +139,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/proof-10.n3>].
#2018-12-22T18:57:07.941Z in=39 out=2 ent=8 step=18 brake=2 inf=59859 sec=0.050 inf/sec=1197180
#2019-01-03T11:34:56.024Z in=39 out=2 ent=8 step=18 brake=2 inf=59860 sec=0.057 inf/sec=1050175
#ENDS
#Processed by EYE v18.1222.1845 josd
#Processed by EYE v18.1230.1307 josd
#eye --proof http://josd.github.io/eye/reasoning/djiti/proof-100.n3 --query http://josd.github.io/eye/reasoning/djiti/query.n3
PREFIX : <http://josd.github.io/eye/reasoning#>
......@@ -348,6 +348,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/proof-100.n3>].
#2018-12-22T18:57:08.211Z in=94 out=6 ent=23 step=48 brake=2 inf=120111 sec=0.061 inf/sec=1969033
#2019-01-03T11:34:56.386Z in=94 out=6 ent=23 step=48 brake=2 inf=120110 sec=0.059 inf/sec=2035763
#ENDS
#Processed by EYE v18.1222.1845 josd
#Processed by EYE v18.1230.1307 josd
#eye --proof http://josd.github.io/eye/reasoning/djiti/proof-1000.n3 --query http://josd.github.io/eye/reasoning/djiti/query.n3
PREFIX : <http://josd.github.io/eye/reasoning#>
......@@ -5060,6 +5060,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/proof-1000.n3>].
#2018-12-22T18:57:08.810Z in=1324 out=92 ent=355 step=712 brake=2 inf=1484273 sec=0.252 inf/sec=5889972
#2019-01-03T11:34:56.998Z in=1324 out=92 ent=355 step=712 brake=2 inf=1484275 sec=0.259 inf/sec=5730792
#ENDS
#Processed by EYE v18.1222.1845 josd
#Processed by EYE v18.1230.1307 josd
#eye --proof http://josd.github.io/eye/reasoning/djiti/proof-10000.n3 --query http://josd.github.io/eye/reasoning/djiti/query.n3
PREFIX : <http://josd.github.io/eye/reasoning#>
......@@ -51865,6 +51865,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/proof-10000.n3>].
#2018-12-22T18:57:11.543Z in=13589 out=966 ent=3682 step=7366 brake=2 inf=15212992 sec=2.185 inf/sec=6962468
#2019-01-03T11:34:59.951Z in=13589 out=966 ent=3682 step=7366 brake=2 inf=15213011 sec=2.219 inf/sec=6855796
#ENDS
#Processed by EYE v18.1222.1845 josd
#Processed by EYE v18.1230.1307 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-12-22T18:57:12.783Z in=10 out=1 ent=2 step=2 brake=1 inf=53761 sec=0.039 inf/sec=1378487
#2019-01-03T11:35:01.188Z in=10 out=1 ent=2 step=2 brake=1 inf=53805 sec=0.046 inf/sec=1169674
#ENDS
#Processed by EYE v18.1222.1845 josd
#Processed by EYE v18.1230.1307 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-12-22T18:57:13.341Z in=16 out=2 ent=32 step=120 brake=4 inf=53521 sec=0.038 inf/sec=1408447
#2019-01-03T11:35:01.772Z in=16 out=2 ent=32 step=120 brake=4 inf=53562 sec=0.046 inf/sec=1164391
#ENDS
#Processed by EYE v18.1222.1845 josd
#Processed by EYE v18.1230.1307 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-12-22T18:57:13.959Z in=29 out=24 ent=0 step=0 brake=1 inf=37003 sec=0.034 inf/sec=1088324
#2019-01-03T11:35:02.198Z in=29 out=24 ent=0 step=0 brake=1 inf=37044 sec=0.032 inf/sec=1157625
#ENDS
#Processed by EYE v18.1222.1845 josd
#Processed by EYE v18.1230.1307 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-12-22T18:57:14.293Z in=25 out=4 ent=4 step=4 brake=2 inf=27010 sec=0.036 inf/sec=750278
#2019-01-03T11:35:02.521Z in=25 out=4 ent=4 step=4 brake=2 inf=27051 sec=0.039 inf/sec=693615
#ENDS
#Processed by EYE v18.1222.1845 josd
#Processed by EYE v18.1230.1307 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 : <http://eulersharp.sourceforge.net/2009/12dtb/test#>
......@@ -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-12-22T18:57:15.344Z in=3004 out=1 ent=2999 step=5998 brake=2 inf=4150903 sec=0.533 inf/sec=7787811
#2019-01-03T11:35:03.596Z in=3004 out=1 ent=2999 step=5998 brake=2 inf=4150944 sec=0.548 inf/sec=7574715
#ENDS
#Processed by EYE v18.1222.1845 josd
#Processed by EYE v18.1230.1307 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-12-22T18:57:15.801Z in=19 out=16 ent=32 step=64 brake=2 inf=223667 sec=0.062 inf/sec=3607532
#2019-01-03T11:35:04.068Z in=19 out=16 ent=32 step=64 brake=2 inf=223706 sec=0.068 inf/sec=3289794
#ENDS
#Processed by EYE v18.1222.1845 josd
#Processed by EYE v18.1230.1307 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-12-22T18:57:16.333Z in=5 out=1 ent=2 step=4 brake=2 inf=688150 sec=0.134 inf/sec=5135448
#2019-01-03T11:35:04.602Z in=5 out=1 ent=2 step=4 brake=2 inf=688190 sec=0.138 inf/sec=4986884
#ENDS
#Processed by EYE v18.1222.1845 josd
#Processed by EYE v18.1230.1307 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-12-22T18:57:19.073Z in=1001 out=1000 ent=1000 step=1000 brake=1 inf=12869862 sec=1.463 inf/sec=8796898
#2019-01-03T11:35:07.371Z in=1001 out=1000 ent=1000 step=1000 brake=1 inf=12869901 sec=1.477 inf/sec=8713542
#ENDS
#Processed by EYE v18.1222.1845 josd
#Processed by EYE v18.1230.1307 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 math: <http://www.w3.org/2000/10/swap/math#>
......@@ -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-12-22T18:57:19.902Z in=76 out=8 ent=50 step=307 brake=6 inf=591109 sec=0.121 inf/sec=4885198
#2019-01-03T11:35:08.242Z in=76 out=8 ent=50 step=307 brake=6 inf=591148 sec=0.134 inf/sec=4411552
#ENDS
#Processed by EYE v18.1222.1845 josd
#Processed by EYE v18.1230.1307 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 log: <http://www.w3.org/2000/10/swap/log#>
......@@ -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-12-22T18:57:20.913Z in=253 out=18 ent=237 step=1917 brake=5 inf=1216214 sec=0.237 inf/sec=5131705
#2019-01-03T11:35:09.270Z in=253 out=18 ent=237 step=1917 brake=5 inf=1216257 sec=0.245 inf/sec=4964314
#ENDS
#Processed by EYE v18.1222.1845 josd
#Processed by EYE v18.1230.1307 josd
#eye --tactic limited-answer 1 --n3 http://josd.github.io/eye/reasoning/fib/fib.n3 --query http://josd.github.io/eye/reasoning/fib/fibQ.n3
PREFIX math: <http://www.w3.org/2000/10/swap/math#>
......@@ -1157,6 +1157,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/fib/fib.n3>].
#2018-12-22T18:57:21.360Z in=4 out=1 ent=1 step=1 brake=1 inf=139023 sec=0.049 inf/sec=2837204
#2019-01-03T11:35:09.756Z in=4 out=1 ent=1 step=1 brake=1 inf=139064 sec=0.057 inf/sec=2439719
#ENDS
#Processed by EYE v18.1222.1845 josd
#Processed by EYE v18.1230.1307 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 gc: <http://www.daml.org/2001/01/gedcom/gedcom#>
......@@ -934,6 +934,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
);
r:rule <#lemma92>.
#2018-12-22T18:57:22.068Z in=185 out=6 ent=1591 step=18973 brake=12 inf=864898 sec=0.144 inf/sec=6006236
#2019-01-03T11:35:10.689Z in=185 out=6 ent=1591 step=18973 brake=12 inf=864919 sec=0.155 inf/sec=5580123
#ENDS
#Processed by EYE v18.1222.1845 josd
#Processed by EYE v18.1230.1307 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-12-22T18:57:22.501Z in=9 out=6 ent=7 step=30 brake=2 inf=53505 sec=0.040 inf/sec=1337625
#2019-01-03T11:35:11.123Z in=9 out=6 ent=7 step=30 brake=2 inf=53528 sec=0.049 inf/sec=1092408
#ENDS
#Processed by EYE v18.1222.1845 josd
#Processed by EYE v18.1230.1307 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 math: <http://www.w3.org/2000/10/swap/math#>
......@@ -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-12-22T18:57:23.093Z in=11 out=1 ent=1 step=1 brake=2 inf=123901 sec=0.058 inf/sec=2136224
#2019-01-03T11:35:11.776Z in=11 out=1 ent=1 step=1 brake=2 inf=123921 sec=0.066 inf/sec=1877591
#ENDS
#Processed by EYE v18.1222.1845 josd
#Processed by EYE v18.1230.1307 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 math: <http://www.w3.org/2000/10/swap/math#>
......@@ -5872,6 +5872,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
);
r:rule <#lemma336>.
#2018-12-22T18:57:23.919Z in=44 out=10 ent=10 step=10 brake=2 inf=2337064 sec=0.368 inf/sec=6350717
#2019-01-03T11:35:12.724Z in=44 out=10 ent=10 step=10 brake=2 inf=2337084 sec=0.361 inf/sec=6473917
#ENDS
#Processed by EYE v18.1222.1845 josd
#Processed by EYE v18.1230.1307 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 log: <http://www.w3.org/2000/10/swap/log#>
......@@ -157,6 +157,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-12-22T18:57:24.521Z in=89 out=1 ent=24 step=70 brake=2 inf=93531 sec=0.053 inf/sec=1764736
#2019-01-03T11:35:13.348Z in=89 out=1 ent=24 step=70 brake=2 inf=93551 sec=0.061 inf/sec=1533623
#ENDS
#Processed by EYE v18.1222.1845 josd
#Processed by EYE v18.1230.1307 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 h: <http://josd.github.io/eye/reasoning/h2o#>
......@@ -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-12-22T18:57:25.251Z in=10 out=1 ent=6 step=12 brake=2 inf=31677 sec=0.041 inf/sec=772610
#2019-01-03T11:35:14.089Z in=10 out=1 ent=6 step=12 brake=2 inf=31698 sec=0.042 inf/sec=754714
#ENDS
#Processed by EYE v18.1222.1845 josd
#Processed by EYE v18.1230.1307 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-12-22T18:57:25.438Z in=3 out=1 ent=2 step=2 brake=1 inf=40229 sec=0.036 inf/sec=1117472
#2019-01-03T11:35:14.273Z in=3 out=1 ent=2 step=2 brake=1 inf=40250 sec=0.038 inf/sec=1059211
#ENDS
#Processed by EYE v18.1222.1845 josd
#Processed by EYE v18.1230.1307 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-12-22T18:57:26.373Z in=5 out=101 ent=202 step=404 brake=2 inf=1179411 sec=0.170 inf/sec=6937712
#2019-01-03T11:35:15.368Z in=5 out=101 ent=202 step=404 brake=2 inf=1179428 sec=0.175 inf/sec=6739589
#ENDS
#Processed by EYE v18.1222.1845 josd
#Processed by EYE v18.1230.1307 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-12-22T18:57:26.671Z in=7 out=10 ent=13 step=26 brake=2 inf=61971 sec=0.036 inf/sec=1721417
#2019-01-03T11:35:15.681Z in=7 out=10 ent=13 step=26 brake=2 inf=61991 sec=0.039 inf/sec=1589513
#ENDS
#Processed by EYE v18.1222.1845 josd
#Processed by EYE v18.1230.1307 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-12-22T18:57:27.280Z in=168 out=1 ent=39 step=124 brake=4 inf=235816 sec=0.072 inf/sec=3275222
#2019-01-03T11:35:16.319Z in=168 out=1 ent=39 step=124 brake=4 inf=235835 sec=0.085 inf/sec=2774529
#ENDS
#Processed by EYE v18.1222.1845 josd
#Processed by EYE v18.1230.1307 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-12-22T18:57:27.769Z in=10 out=1 ent=1 step=1 brake=2 inf=103230 sec=0.053 inf/sec=1947736
#2019-01-03T11:35:16.838Z in=10 out=1 ent=1 step=1 brake=2 inf=103250 sec=0.058 inf/sec=1780172
#ENDS
#Processed by EYE v18.1222.1845 josd
#Processed by EYE v18.1230.1307 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 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-12-22T18:57:28.455Z in=149 out=1 ent=10 step=82 brake=4 inf=302549 sec=0.090 inf/sec=3361656
#2019-01-03T11:35:17.542Z in=149 out=1 ent=10 step=82 brake=4 inf=302568 sec=0.102 inf/sec=2966353
#ENDS
#Processed by EYE v18.1222.1845 josd
#Processed by EYE v18.1230.1307 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-12-22T18:57:28.878Z in=18 out=2 ent=4 step=8 brake=4 inf=50542 sec=0.045 inf/sec=1123156
#2019-01-03T11:35:17.993Z in=18 out=2 ent=4 step=8 brake=4 inf=50562 sec=0.049 inf/sec=1031878
#ENDS
#Processed by EYE v18.1222.1845 josd
#Processed by EYE v18.1230.1307 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 : <http://3dsa.metadata.net/3dsa/annotator/data/gv_ontology_v1.owl#>
......@@ -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-12-22T18:57:29.904Z in=345 out=47 ent=105 step=330 brake=4 inf=2014472 sec=0.308 inf/sec=6540494
#2019-01-03T11:35:19.022Z in=345 out=47 ent=105 step=330 brake=4 inf=2014491 sec=0.307 inf/sec=6561860
#ENDS
#Processed by EYE v18.1222.1845 josd
#Processed by EYE v18.1230.1307 josd
#eye --wcache http://josd.github.io/eye/reasoning/mq . --turtle http://josd.github.io/eye/reasoning/mq/data.n3 --multi-query
PREFIX : <http://josd.github.io/eye/reasoning#>
PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
#DONE 0.027 [sec] mq=1 out=0 out/sec=0
#DONE 0.026 [sec] mq=1 out=0 out/sec=0
PREFIX : <http://josd.github.io/eye/reasoning#>
PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
......@@ -118,12 +118,12 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].
#DONE 0.004 [sec] mq=2 out=3 out/sec=750
#DONE 0.003 [sec] mq=2 out=3 out/sec=1000
PREFIX : <http://josd.github.io/eye/reasoning#>
PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
#DONE 0.001 [sec] mq=3 out=0 out/sec=0
#DONE 0.000 [sec] mq=3 out=0 out/sec=
PREFIX : <http://josd.github.io/eye/reasoning#>
PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
......@@ -179,7 +179,7 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/queries/query4.n3>].
#DONE 0.002 [sec] mq=4 out=1 out/sec=500
#DONE 0.001 [sec] mq=4 out=1 out/sec=1000
PREFIX : <http://josd.github.io/eye/reasoning#>
PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
......@@ -456,7 +456,7 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/queries/query8.n3>].
#DONE 0.002 [sec] mq=8 out=1 out/sec=500
#DONE 0.001 [sec] mq=8 out=1 out/sec=1000
PREFIX : <http://josd.github.io/eye/reasoning#>
PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
......@@ -512,7 +512,7 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/queries/query9.n3>].
#DONE 0.002 [sec] mq=9 out=1 out/sec=500
#DONE 0.001 [sec] mq=9 out=1 out/sec=1000
PREFIX : <http://josd.github.io/eye/reasoning#>
PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
......@@ -636,12 +636,12 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
PREFIX : <http://josd.github.io/eye/reasoning#>
PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
#DONE 0.001 [sec] mq=12 out=0 out/sec=0
#DONE 0.000 [sec] mq=12 out=0 out/sec=
PREFIX : <http://josd.github.io/eye/reasoning#>
PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
#DONE 0.001 [sec] mq=13 out=0 out/sec=0
#DONE 0.000 [sec] mq=13 out=0 out/sec=
PREFIX : <http://josd.github.io/eye/reasoning#>
PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
......@@ -702,7 +702,7 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/queries/query15.n3>].
#DONE 0.002 [sec] mq=15 out=1 out/sec=500
#DONE 0.001 [sec] mq=15 out=1 out/sec=1000
PREFIX : <http://josd.github.io/eye/reasoning#>
PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
......@@ -936,7 +936,7 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/queries/query21.n3>].
#DONE 0.002 [sec] mq=21 out=1 out/sec=500
#DONE 0.001 [sec] mq=21 out=1 out/sec=1000
PREFIX : <http://josd.github.io/eye/reasoning#>
PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
......@@ -1430,12 +1430,12 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].
#DONE 0.004 [sec] mq=26 out=5 out/sec=1250
#DONE 0.003 [sec] mq=26 out=5 out/sec=1667
PREFIX : <http://josd.github.io/eye/reasoning#>
PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
#DONE 0.001 [sec] mq=27 out=0 out/sec=0
#DONE 0.000 [sec] mq=27 out=0 out/sec=
PREFIX : <http://josd.github.io/eye/reasoning#>
PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
......@@ -1506,7 +1506,7 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
PREFIX : <http://josd.github.io/eye/reasoning#>
PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
#DONE 0.001 [sec] mq=31 out=0 out/sec=0
#DONE 0.000 [sec] mq=31 out=0 out/sec=
PREFIX : <http://josd.github.io/eye/reasoning#>
PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
......@@ -1679,7 +1679,7 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/queries/query35.n3>].
#DONE 0.002 [sec] mq=35 out=1 out/sec=500
#DONE 0.001 [sec] mq=35 out=1 out/sec=1000
PREFIX : <http://josd.github.io/eye/reasoning#>
PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
......@@ -2530,7 +2530,7 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/queries/query52.n3>].
#DONE 0.002 [sec] mq=52 out=1 out/sec=500
#DONE 0.001 [sec] mq=52 out=1 out/sec=1000
PREFIX : <http://josd.github.io/eye/reasoning#>
PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
......@@ -2839,7 +2839,7 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/queries/query56.n3>].
#DONE 0.002 [sec] mq=56 out=1 out/sec=500
#DONE 0.001 [sec] mq=56 out=1 out/sec=1000
PREFIX : <http://josd.github.io/eye/reasoning#>
PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
......@@ -3072,7 +3072,7 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].
#DONE 0.003 [sec] mq=60 out=3 out/sec=1000
#DONE 0.002 [sec] mq=60 out=3 out/sec=1500
PREFIX : <http://josd.github.io/eye/reasoning#>
PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
......@@ -3875,7 +3875,7 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/queries/query74.n3>].
#DONE 0.002 [sec] mq=74 out=1 out/sec=500
#DONE 0.001 [sec] mq=74 out=1 out/sec=1000
PREFIX : <http://josd.github.io/eye/reasoning#>
PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
......@@ -4529,7 +4529,7 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};