Commit 72e85ee5 authored by josd's avatar josd

retest

parent e33fdc0c
......@@ -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-06T22:29:52.909Z in=34 out=1 ent=1 step=1 brake=2 inf=47206 sec=0.045 inf/sec=1049022
#2018-12-09T11:25:00.237Z in=34 out=1 ent=1 step=1 brake=2 inf=47227 sec=0.043 inf/sec=1098302
#ENDS
......@@ -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-12-06T22:29:53.935Z in=470 out=97 ent=146 step=855 brake=5 inf=977169 sec=0.190 inf/sec=5142995
#2018-12-09T11:25:01.586Z in=470 out=97 ent=146 step=855 brake=5 inf=977189 sec=0.180 inf/sec=5428828
#ENDS
......@@ -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-06T22:29:54.918Z in=295 out=50 ent=100 step=48 brake=4 inf=220862 sec=0.093 inf/sec=2374860
#2018-12-09T11:25:02.485Z in=295 out=50 ent=100 step=48 brake=4 inf=220883 sec=0.078 inf/sec=2831833
#ENDS
......@@ -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-06T22:29:57.509Z in=10012 out=1518 ent=1518 step=1518 brake=1 inf=4718073 sec=0.761 inf/sec=6199833
#2018-12-09T11:25:05.261Z in=10012 out=1518 ent=1518 step=1518 brake=1 inf=4718094 sec=0.768 inf/sec=6143352
#ENDS
......@@ -12,6 +12,6 @@ PREFIX : <http://josd.github.io/eye/reasoning#>
(_:t_2 ((:input1 "xyz" 1.6666666666666667) (:input2 40 7.0) (:input5 "a" 1.0))) :answer (:output1 1 :expected 1 :belief 0.683005530572854).
(_:t_3 ((:input3 (0 1) 1.0) (:input4 :v3 0.6))) :answer (:output1 0 :expected 0 :belief 0.5760810560972536).
#2018-12-09T11:17:39.397Z in=61 out=4 ent=0 step=0 brake=1 inf=23496 sec=0.081 inf/sec=290074
#2018-12-09T11:25:06.314Z in=61 out=4 ent=0 step=0 brake=1 inf=23594 sec=0.036 inf/sec=655389
#ENDS
......@@ -20,6 +20,6 @@ PREFIX : <http://josd.github.io/eye/reasoning#>
(:input5 "c") :model (0 3).
(:input5 "a") :model (1 1).
#2018-12-09T11:17:38.721Z in=66 out=13 ent=13 step=82 brake=2 inf=25731 sec=0.083 inf/sec=310012
#2018-12-09T11:25:05.837Z in=66 out=13 ent=13 step=82 brake=2 inf=25830 sec=0.036 inf/sec=717500
#ENDS
......@@ -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-06T22:29:58.773Z in=9 out=3 ent=6 step=12 brake=2 inf=27381 sec=0.029 inf/sec=944172
#2018-12-09T11:25:06.490Z in=9 out=3 ent=6 step=12 brake=2 inf=27401 sec=0.033 inf/sec=830333
#ENDS
......@@ -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-06T22:29:59.265Z in=43 out=2 ent=4 step=8 brake=2 inf=41181 sec=0.042 inf/sec=980500
#2018-12-09T11:25:06.968Z in=43 out=2 ent=4 step=8 brake=2 inf=41201 sec=0.040 inf/sec=1030025
#ENDS
......@@ -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-06T22:30:00.062Z in=17 out=5 ent=5 step=5 brake=2 inf=50039 sec=0.045 inf/sec=1111978
#2018-12-09T11:25:07.777Z in=17 out=5 ent=5 step=5 brake=2 inf=50039 sec=0.050 inf/sec=1000780
#ENDS
......@@ -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-06T22:29:59.713Z in=22 out=17 ent=17 step=17 brake=2 inf=74380 sec=0.049 inf/sec=1517959
#2018-12-09T11:25:07.421Z in=22 out=17 ent=17 step=17 brake=2 inf=74397 sec=0.051 inf/sec=1458765
#ENDS
......@@ -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-06T22:30:00.531Z in=22 out=1 ent=6 step=18 brake=3 inf=24526 sec=0.034 inf/sec=721353
#2018-12-09T11:25:08.601Z in=22 out=1 ent=6 step=18 brake=3 inf=24526 sec=0.040 inf/sec=613150
#ENDS
......@@ -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-06T22:30:01.071Z in=14 out=2 ent=2 step=2 brake=1 inf=25871 sec=0.034 inf/sec=760912
#2018-12-09T11:25:08.943Z in=14 out=2 ent=2 step=2 brake=1 inf=25873 sec=0.032 inf/sec=808531
#ENDS
......@@ -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-06T22:30:01.311Z in=104 out=6 ent=6 step=6 brake=1 inf=43512 sec=0.042 inf/sec=1036000
#2018-12-09T11:25:09.182Z in=104 out=6 ent=6 step=6 brake=1 inf=43510 sec=0.044 inf/sec=988864
#ENDS
......@@ -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-06T22:30:01.641Z in=1004 out=92 ent=92 step=92 brake=1 inf=391025 sec=0.104 inf/sec=3759856
#2018-12-09T11:25:09.515Z in=1004 out=92 ent=92 step=92 brake=1 inf=391011 sec=0.104 inf/sec=3759721
#ENDS
......@@ -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-06T22:30:02.896Z in=10004 out=966 ent=966 step=966 brake=1 inf=3881564 sec=0.811 inf/sec=4786145
#2018-12-09T11:25:11.160Z in=10004 out=966 ent=966 step=966 brake=1 inf=3881545 sec=0.830 inf/sec=4676560
#ENDS
......@@ -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-12-06T22:30:03.249Z in=54 out=2 ent=8 step=18 brake=2 inf=37963 sec=0.039 inf/sec=973410
#2018-12-09T11:25:11.521Z in=54 out=2 ent=8 step=18 brake=2 inf=37943 sec=0.043 inf/sec=882395
#ENDS
......@@ -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-12-06T22:30:03.623Z in=124 out=6 ent=23 step=48 brake=2 inf=70250 sec=0.056 inf/sec=1254464
#2018-12-09T11:25:11.904Z in=124 out=6 ent=23 step=48 brake=2 inf=70215 sec=0.057 inf/sec=1231842
#ENDS
......@@ -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-12-06T22:30:04.115Z in=1686 out=92 ent=355 step=712 brake=2 inf=804979 sec=0.156 inf/sec=5160122
#2018-12-09T11:25:12.405Z in=1686 out=92 ent=355 step=712 brake=2 inf=804958 sec=0.157 inf/sec=5127121
#ENDS
......@@ -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-12-06T22:30:05.983Z in=17278 out=966 ent=3682 step=7366 brake=2 inf=8124475 sec=1.218 inf/sec=6670341
#2018-12-09T11:25:14.353Z in=17278 out=966 ent=3682 step=7366 brake=2 inf=8124455 sec=1.224 inf/sec=6637627
#ENDS
......@@ -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-06T22:30:07.210Z in=43 out=1 ent=2 step=2 brake=1 inf=31719 sec=0.040 inf/sec=792975
#2018-12-09T11:25:15.586Z in=43 out=1 ent=2 step=2 brake=1 inf=31698 sec=0.041 inf/sec=773122
#ENDS
......@@ -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-06T22:30:07.794Z in=52 out=2 ent=32 step=120 brake=4 inf=42502 sec=0.038 inf/sec=1118474
#2018-12-09T11:25:16.173Z in=52 out=2 ent=32 step=120 brake=4 inf=42481 sec=0.040 inf/sec=1062025
#ENDS
......@@ -28,6 +28,6 @@ PREFIX dqc: <http://josd.github.io/eye/reasoning/dqc#>
3 dqc:sdcoding 0 .
3 dqc:sdcoding 2 .
#2018-12-06T22:30:08.239Z in=73 out=24 ent=0 step=0 brake=1 inf=16909 sec=0.036 inf/sec=469694
#2018-12-09T11:25:16.602Z in=73 out=24 ent=0 step=0 brake=1 inf=16889 sec=0.029 inf/sec=582379
#ENDS
......@@ -10,6 +10,6 @@ PREFIX math: <http://www.w3.org/2000/10/swap/math#>
0 dqc:sdcoding 0 .
2 dqc:sdcoding 2 .
#2018-12-06T22:30:08.568Z in=31 out=4 ent=4 step=4 brake=2 inf=15814 sec=0.034 inf/sec=465118
#2018-12-09T11:25:16.916Z in=31 out=4 ent=4 step=4 brake=2 inf=15794 sec=0.032 inf/sec=493563
#ENDS
......@@ -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-06T22:30:09.734Z in=9008 out=1 ent=2999 step=5998 brake=2 inf=1940890 sec=0.350 inf/sec=5545400
#2018-12-09T11:25:18.404Z in=9008 out=1 ent=2999 step=5998 brake=2 inf=1940870 sec=0.349 inf/sec=5561232
#ENDS
......@@ -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-06T22:30:10.200Z in=57 out=16 ent=32 step=64 brake=2 inf=200608 sec=0.053 inf/sec=3785057
#2018-12-09T11:25:18.866Z in=57 out=16 ent=32 step=64 brake=2 inf=200606 sec=0.057 inf/sec=3519404
#ENDS
......@@ -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-06T22:30:11.078Z in=28 out=1 ent=2 step=4 brake=2 inf=671733 sec=0.132 inf/sec=5088886
#2018-12-09T11:25:19.390Z in=28 out=1 ent=2 step=4 brake=2 inf=671733 sec=0.120 inf/sec=5597775
#ENDS
......@@ -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-06T22:30:13.586Z in=1004 out=1000 ent=1000 step=1000 brake=1 inf=9855633 sec=1.235 inf/sec=7980270
#2018-12-09T11:25:21.929Z in=1004 out=1000 ent=1000 step=1000 brake=1 inf=9855630 sec=1.218 inf/sec=8091650
#ENDS
......@@ -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-06T22:30:14.424Z in=260 out=8 ent=50 step=307 brake=6 inf=469207 sec=0.110 inf/sec=4265518
#2018-12-09T11:25:22.802Z in=260 out=8 ent=50 step=307 brake=6 inf=469206 sec=0.107 inf/sec=4385103
#ENDS
......@@ -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-06T22:30:15.416Z in=630 out=18 ent=237 step=1917 brake=5 inf=807230 sec=0.192 inf/sec=4204323
#2018-12-09T11:25:24.172Z in=630 out=18 ent=237 step=1917 brake=5 inf=807233 sec=0.187 inf/sec=4316754
#ENDS
......@@ -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-06T22:30:15.874Z in=14 out=1 ent=1 step=1 brake=1 inf=138755 sec=0.056 inf/sec=2477768
#2018-12-09T11:25:24.626Z in=14 out=1 ent=1 step=1 brake=1 inf=138755 sec=0.048 inf/sec=2890729
#ENDS
......@@ -935,6 +935,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
);
r:rule <#lemma92>.
#2018-12-06T22:30:16.589Z in=347 out=6 ent=1591 step=18973 brake=12 inf=753787 sec=0.123 inf/sec=6128350
#2018-12-09T11:25:25.344Z in=347 out=6 ent=1591 step=18973 brake=12 inf=753785 sec=0.123 inf/sec=6128333
#ENDS
......@@ -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-06T22:30:17.024Z in=46 out=6 ent=7 step=30 brake=2 inf=43066 sec=0.047 inf/sec=916298
#2018-12-09T11:25:25.770Z in=46 out=6 ent=7 step=30 brake=2 inf=43069 sec=0.036 inf/sec=1196361
#ENDS
......@@ -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-06T22:30:17.615Z in=60 out=1 ent=1 step=1 brake=2 inf=80338 sec=0.045 inf/sec=1785289
#2018-12-09T11:25:26.368Z in=60 out=1 ent=1 step=1 brake=2 inf=80337 sec=0.048 inf/sec=1673688
#ENDS
......@@ -5872,6 +5872,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
);
r:rule <#lemma336>.
#2018-12-06T22:30:18.480Z in=201 out=10 ent=10 step=10 brake=2 inf=2321330 sec=0.351 inf/sec=6613476
#2018-12-09T11:25:27.236Z in=201 out=10 ent=10 step=10 brake=2 inf=2321331 sec=0.350 inf/sec=6632374
#ENDS
......@@ -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-12-06T22:30:19.080Z in=171 out=1 ent=24 step=70 brake=2 inf=39716 sec=0.041 inf/sec=968683
#2018-12-09T11:25:27.841Z in=171 out=1 ent=24 step=70 brake=2 inf=39717 sec=0.047 inf/sec=845043
#ENDS
......@@ -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-06T22:30:19.707Z in=16 out=1 ent=6 step=12 brake=2 inf=27571 sec=0.040 inf/sec=689275
#2018-12-09T11:25:28.463Z in=16 out=1 ent=6 step=12 brake=2 inf=27571 sec=0.040 inf/sec=689275
#ENDS
......@@ -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-06T22:30:19.883Z in=13 out=1 ent=2 step=2 brake=1 inf=34275 sec=0.032 inf/sec=1071094
#2018-12-09T11:25:28.644Z in=13 out=1 ent=2 step=2 brake=1 inf=34275 sec=0.034 inf/sec=1008088
#ENDS
......@@ -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-06T22:30:20.806Z in=46 out=101 ent=202 step=404 brake=2 inf=1216576 sec=0.168 inf/sec=7241524
#2018-12-09T11:25:29.546Z in=46 out=101 ent=202 step=404 brake=2 inf=1216575 sec=0.159 inf/sec=7651415
#ENDS
......@@ -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-06T22:30:21.104Z in=29 out=10 ent=13 step=26 brake=2 inf=56018 sec=0.035 inf/sec=1600514
#2018-12-09T11:25:29.839Z in=29 out=10 ent=13 step=26 brake=2 inf=56018 sec=0.035 inf/sec=1600514
#ENDS
......@@ -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-06T22:30:21.747Z in=356 out=1 ent=39 step=124 brake=4 inf=130054 sec=0.063 inf/sec=2064349
#2018-12-09T11:25:30.449Z in=356 out=1 ent=39 step=124 brake=4 inf=130055 sec=0.055 inf/sec=2364636
#ENDS
......@@ -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-06T22:30:22.253Z in=56 out=1 ent=1 step=1 brake=2 inf=61686 sec=0.043 inf/sec=1434558
#2018-12-09T11:25:30.943Z in=56 out=1 ent=1 step=1 brake=2 inf=61685 sec=0.045 inf/sec=1370778
#ENDS
......@@ -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-12-06T22:30:22.921Z in=309 out=1 ent=10 step=82 brake=4 inf=128038 sec=0.065 inf/sec=1969815
#2018-12-09T11:25:31.613Z in=309 out=1 ent=10 step=82 brake=4 inf=128039 sec=0.068 inf/sec=1882926
#ENDS
......@@ -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-06T22:30:23.365Z in=30 out=2 ent=4 step=8 brake=4 inf=34691 sec=0.039 inf/sec=889513
#2018-12-09T11:25:32.055Z in=30 out=2 ent=4 step=8 brake=4 inf=34690 sec=0.039 inf/sec=889487
#ENDS
......@@ -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-06T22:30:24.339Z in=1546 out=47 ent=105 step=330 brake=4 inf=1536709 sec=0.263 inf/sec=5843000
#2018-12-09T11:25:33.033Z in=1546 out=47 ent=105 step=330 brake=4 inf=1536705 sec=0.253 inf/sec=6073933
#ENDS
This diff is collapsed.
......@@ -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-12-06T22:30:26.552Z in=7 out=7 ent=7 step=7 brake=1 inf=26481 sec=0.030 inf/sec=882700
#2018-12-09T11:25:35.222Z in=7 out=7 ent=7 step=7 brake=1 inf=26482 sec=0.031 inf/sec=854258
#ENDS
......@@ -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-12-06T22:30:26.743Z in=10 out=10 ent=10 step=10 brake=1 inf=29529 sec=0.036 inf/sec=820250
#2018-12-09T11:25:35.407Z in=10 out=10 ent=10 step=10 brake=1 inf=29530 sec=0.032 inf/sec=922813
#ENDS
......@@ -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-12-06T22:30:26.921Z in=12 out=12 ent=13 step=29 brake=2 inf=53768 sec=0.038 inf/sec=1414947
#2018-12-09T11:25:35.588Z in=12 out=12 ent=13 step=29 brake=2 inf=53768 sec=0.043 inf/sec=1250419
#ENDS
......@@ -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-12-06T22:30:26.379Z in=8 out=8 ent=8 step=8 brake=1 inf=32253 sec=0.034 inf/sec=948618
#2018-12-09T11:25:35.045Z in=8 out=8 ent=8 step=8 brake=1 inf=32252 sec=0.032 inf/sec=1007875
#ENDS
......@@ -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-12-06T22:30:27.540Z in=158 out=1 ent=1 step=1 brake=2 inf=73053 sec=0.058 inf/sec=1259534
#2018-12-09T11:25:36.175Z in=158 out=1 ent=1 step=1 brake=2 inf=73055 sec=0.053 inf/sec=1378396
#ENDS
......@@ -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-12-06T22:30:27.836Z in=5 out=5 ent=5 step=5 brake=1 inf=25709 sec=0.036 inf/sec=714139
#2018-12-09T11:25:36.457Z in=5 out=5 ent=5 step=5 brake=1 inf=25709 sec=0.028 inf/sec=918179
#ENDS
......@@ -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-12-06T22:30:28.571Z in=22 out=1 ent=1 step=1 brake=1 inf=2902546 sec=0.376 inf/sec=7719537
#2018-12-09T11:25:37.213Z in=22 out=1 ent=1 step=1 brake=1 inf=2902545 sec=0.382 inf/sec=7598285
#ENDS
......@@ -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-12-06T22:30:29.630Z in=34 out=1 ent=2 step=4 brake=1 inf=32927 sec=0.049 inf/sec=671980
#2018-12-09T11:25:38.245Z in=34 out=1 ent=2 step=4 brake=1 inf=32929 sec=0.045 inf/sec=731756
#ENDS
......@@ -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-12-06T22:30:31.656Z in=59 out=16 ent=91 step=338 brake=3 inf=68983 sec=0.054 inf/sec=1277463
#2018-12-09T11:25:40.271Z in=59 out=16 ent=91 step=338 brake=3 inf=68983 sec=0.057 inf/sec=1210228
#ENDS
......@@ -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-12-06T22:30:32.066Z in=113 out=16 ent=27 step=115 brake=5 inf=54750 sec=0.050 inf/sec=1095000
#2018-12-09T11:25:40.695Z in=113 out=16 ent=27 step=115 brake=5 inf=54749 sec=0.054 inf/sec=1013870
#ENDS
......@@ -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-12-06T22:30:31.009Z in=106 out=35 ent=35 step=35 brake=0 inf=67043 sec=0.046 inf/sec=1457457
#2018-12-09T11:25:39.610Z in=106 out=35 ent=35 step=35 brake=0 inf=67042 sec=0.042 inf/sec=1596238
#ENDS
......@@ -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-12-06T22:30:30.249Z in=29 out=1 ent=1 step=1 brake=1 inf=158780 sec=0.062 inf/sec=2560968
#2018-12-09T11:25:38.860Z in=29 out=1 ent=1 step=1 brake=1 inf=158781 sec=0.064 inf/sec=2480953
#ENDS
......@@ -427,6 +427,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/palindrome2.n3>].
#2018-12-06T22:30:30.705Z in=27 out=1 ent=1 step=1 brake=1 inf=114867 sec=0.053 inf/sec=2167302
#2018-12-09T11:25:39.312Z in=27 out=1 ent=1 step=1 brake=1 inf=114868 sec=0.053 inf/sec=2167321
#ENDS
......@@ -13,6 +13,6 @@ PREFIX : <http://josd.github.io/eye/reasoning#>
{(?U_15 :pop ?U_16) :palindrome true} <= {?U_15 e:firstRest (?U_17 ?U_18). ?U_16 e:firstRest (?U_17 ?U_19). (?U_18 :pop ?U_19) :palindrome true}.
(() :pop ()) :palindrome true.
#2018-12-06T22:30:29.788Z in=88 out=6 ent=6 step=6 brake=1 inf=27032 sec=0.032 inf/sec=844750
#2018-12-09T11:25:38.395Z in=88 out=6 ent=6 step=6 brake=1 inf=27033 sec=0.027 inf/sec=1001222
#ENDS
stamp,in,out,ent,step,brake,inf,sec,inf/sec
2018-12-06T22:29:52.909Z,34,1,1,1,2,47206,0.045,1049022
2018-12-06T22:29:53.935Z,470,97,146,855,5,977169,0.190,5142995
2018-12-06T22:29:54.918Z,295,50,100,48,4,220862,0.093,2374860
2018-12-06T22:29:57.509Z,10012,1518,1518,1518,1,4718073,0.761,6199833
2018-12-06T22:29:58.110Z,66,13,13,82,2,25811,0.039,661821
2018-12-06T22:29:58.585Z,53,4,0,0,1,23261,0.038,612132
2018-12-06T22:29:58.773Z,9,3,6,12,2,27381,0.029,944172
2018-12-06T22:29:59.265Z,43,2,4,8,2,41181,0.042,980500
2018-12-06T22:29:59.713Z,22,17,17,17,2,74380,0.049,1517959
2018-12-06T22:30:00.062Z,17,5,5,5,2,50039,0.045,1111978
2018-12-06T22:30:00.531Z,22,1,6,18,3,24526,0.034,721353
2018-12-06T22:30:01.071Z,14,2,2,2,1,25871,0.034,760912
2018-12-06T22:30:01.311Z,104,6,6,6,1,43512,0.042,1036000
2018-12-06T22:30:01.641Z,1004,92,92,92,1,391025,0.104,3759856
2018-12-06T22:30:02.896Z,10004,966,966,966,1,3881564,0.811,4786145
2018-12-06T22:30:03.249Z,54,2,8,18,2,37963,0.039,973410
2018-12-06T22:30:03.623Z,124,6,23,48,2,70250,0.056,1254464
2018-12-06T22:30:04.115Z,1686,92,355,712,2,804979,0.156,5160122
2018-12-06T22:30:05.983Z,17278,966,3682,7366,2,8124475,1.218,6670341
2018-12-06T22:30:07.210Z,43,1,2,2,1,31719,0.040,792975
2018-12-06T22:30:07.794Z,52,2,32,120,4,42502,0.038,1118474
2018-12-06T22:30:08.239Z,73,24,0,0,1,16909,0.036,469694
2018-12-06T22:30:08.568Z,31,4,4,4,2,15814,0.034,465118
2018-12-06T22:30:09.734Z,9008,1,2999,5998,2,1940890,0.350,5545400
2018-12-06T22:30:10.200Z,57,16,32,64,2,200608,0.053,3785057
2018-12-06T22:30:11.078Z,28,1,2,4,2,671733,0.132,5088886
2018-12-06T22:30:13.586Z,1004,1000,1000,1000,1,9855633,1.235,7980270
2018-12-06T22:30:14.424Z,260,8,50,307,6,469207,0.110,4265518
2018-12-06T22:30:15.416Z,630,18,237,1917,5,807230,0.192,4204323
2018-12-06T22:30:15.874Z,14,1,1,1,1,138755,0.056,2477768
2018-12-06T22:30:16.589Z,347,6,1591,18973,12,753787,0.123,6128350
2018-12-06T22:30:17.024Z,46,6,7,30,2,43066,0.047,916298
2018-12-06T22:30:17.615Z,60,1,1,1,2,80338,0.045,1785289
2018-12-06T22:30:18.480Z,201,10,10,10,2,2321330,0.351,6613476
2018-12-06T22:30:19.080Z,171,1,24,70,2,39716,0.041,968683
2018-12-06T22:30:19.707Z,16,1,6,12,2,27571,0.040,689275
2018-12-06T22:30:19.883Z,13,1,2,2,1,34275,0.032,1071094
2018-12-06T22:30:20.806Z,46,101,202,404,2,1216576,0.168,7241524
2018-12-06T22:30:21.104Z,29,10,13,26,2,56018,0.035,1600514
2018-12-06T22:30:21.747Z,356,1,39,124,4,130054,0.063,2064349
2018-12-06T22:30:22.253Z,56,1,1,1,2,61686,0.043,1434558
2018-12-06T22:30:22.921Z,309,1,10,82,4,128038,0.065,1969815
2018-12-06T22:30:23.365Z,30,2,4,8,4,34691,0.039,889513
2018-12-06T22:30:24.339Z,1546,47,105,330,4,1536709,0.263,5843000
2018-12-06T22:30:26.078Z,100600,117,0,0,1,5369786,1.406,3819193
2018-12-06T22:30:26.379Z,8,8,8,8,1,32253,0.034,948618
2018-12-06T22:30:26.552Z,7,7,7,7,1,26481,0.030,882700
2018-12-06T22:30:26.743Z,10,10,10,10,1,29529,0.036,820250
2018-12-06T22:30:26.921Z,12,12,13,29,2,53768,0.038,1414947
2018-12-06T22:30:27.540Z,158,1,1,1,2,73053,0.058,1259534
2018-12-06T22:30:27.836Z,5,5,5,5,1,25709,0.036,714139
2018-12-06T22:30:28.571Z,22,1,1,1,1,2902546,0.376,7719537
2018-12-06T22:30:29.630Z,34,1,2,4,1,32927,0.049,671980
2018-12-06T22:30:29.788Z,88,6,6,6,1,27032,0.032,844750
2018-12-06T22:30:30.249Z,29,1,1,1,1,158780,0.062,2560968
2018-12-06T22:30:30.705Z,27,1,1,1,1,114867,0.053,2167302
2018-12-06T22:30:31.009Z,106,35,35,35,0,67043,0.046,1457457
2018-12-06T22:30:31.656Z,59,16,91,338,3,68983,0.054,1277463
2018-12-06T22:30:32.066Z,113,16,27,115,5,54750,0.050,1095000
2018-12-06T22:30:32.979Z,102,1,209,218,1,78657,0.044,1787659
2018-12-06T22:30:33.445Z,78,4,47,7,1,56392,0.048,1174833
2018-12-06T22:30:33.881Z,13,2,2,2,1,21929,0.040,548225
2018-12-06T22:30:34.310Z,13,2,2,2,1,22099,0.040,552475
2018-12-06T22:30:34.645Z,11,2,2,2,1,21118,0.029,728207
2018-12-06T22:30:35.312Z,683,222,443,1776,4,1533444,0.229,6696262
2018-12-06T22:30:35.964Z,59,16,91,338,3,69026,0.049,1408694
2018-12-06T22:30:36.788Z,1013,1,1,1,1,1397542,0.224,6239027
2018-12-06T22:30:37.407Z,288,1,12,28,2,40154,0.051,787333
2018-12-06T22:30:37.735Z,9,2,3,6,2,21939,0.034,645265
2018-12-06T22:30:38.133Z,35,101,0,0,0,27541,0.030,918033
2018-12-06T22:30:38.638Z,606,81,81,81,1,92634,0.056,1654179
2018-12-06T22:30:38.947Z,608,54,54,54,1,81745,0.046,1777065
2018-12-06T22:30:39.271Z,608,46,46,46,1,74822,0.055,1360400
2018-12-06T22:30:39.599Z,610,19,19,19,1,54491,0.053,1028132
2018-12-06T22:30:40.494Z,769,3,1,1,0,336956,0.092,3662565
2018-12-06T22:30:41.156Z,16,1,1,1,1,1254813,0.233,5385464
2018-12-06T22:30:41.780Z,26,7,21,42,4,65920,0.049,1345306
2018-12-06T22:30:42.239Z,57,1,1,1,1,63449,0.051,1244098
2018-12-06T22:30:42.687Z,60,2,24,88,5,49585,0.048,1033021
2018-12-06T22:30:42.991Z,5,5,5,5,1,25009,0.040,625225
2018-12-06T22:30:43.309Z,20,1,7,25,5,26840,0.033,813333
2018-12-06T22:30:43.798Z,97,1,9,43,3,42611,0.041,1039293
2018-12-06T22:30:43.943Z,0,0,0,0,1,12293,0.026,472808
2018-12-09T11:25:00.237Z,34,1,1,1,2,47227,0.043,1098302
2018-12-09T11:25:01.586Z,470,97,146,855,5,977189,0.180,5428828
2018-12-09T11:25:02.485Z,295,50,100,48,4,220883,0.078,2831833
2018-12-09T11:25:05.261Z,10012,1518,1518,1518,1,4718094,0.768,6143352
2018-12-09T11:25:05.837Z,66,13,13,82,2,25830,0.036,717500
2018-12-09T11:25:06.314Z,61,4,0,0,1,23594,0.036,655389
2018-12-09T11:25:06.490Z,9,3,6,12,2,27401,0.033,830333
2018-12-09T11:25:06.968Z,43,2,4,8,2,41201,0.040,1030025
2018-12-09T11:25:07.421Z,22,17,17,17,2,74397,0.051,1458765
2018-12-09T11:25:07.777Z,17,5,5,5,2,50039,0.050,1000780
2018-12-09T11:25:08.601Z,22,1,6,18,3,24526,0.040,613150
2018-12-09T11:25:08.943Z,14,2,2,2,1,25873,0.032,808531
2018-12-09T11:25:09.182Z,104,6,6,6,1,43510,0.044,988864
2018-12-09T11:25:09.515Z,1004,92,92,92,1,391011,0.104,3759721
2018-12-09T11:25:11.160Z,10004,966,966,966,1,3881545,0.830,4676560
2018-12-09T11:25:11.521Z,54,2,8,18,2,37943,0.043,882395
2018-12-09T11:25:11.904Z,124,6,23,48,2,70215,0.057,1231842
2018-12-09T11:25:12.405Z,1686,92,355,712,2,804958,0.157,5127121
2018-12-09T11:25:14.353Z,17278,966,3682,7366,2,8124455,1.224,6637627
2018-12-09T11:25:15.586Z,43,1,2,2,1,31698,0.041,773122
2018-12-09T11:25:16.173Z,52,2,32,120,4,42481,0.040,1062025
2018-12-09T11:25:16.602Z,73,24,0,0,1,16889,0.029,582379
2018-12-09T11:25:16.916Z,31,4,4,4,2,15794,0.032,493563
2018-12-09T11:25:18.404Z,9008,1,2999,5998,2,1940870,0.349,5561232
2018-12-09T11:25:18.866Z,57,16,32,64,2,200606,0.057,3519404
2018-12-09T11:25:19.390Z,28,1,2,4,2,671733,0.120,5597775
2018-12-09T11:25:21.929Z,1004,1000,1000,1000,1,9855630,1.218,8091650
2018-12-09T11:25:22.802Z,260,8,50,307,6,469206,0.107,4385103
2018-12-09T11:25:24.172Z,630,18,237,1917,5,807233,0.187,4316754
2018-12-09T11:25:24.626Z,14,1,1,1,1,138755,0.048,2890729
2018-12-09T11:25:25.344Z,347,6,1591,18973,12,753785,0.123,6128333
2018-12-09T11:25:25.770Z,46,6,7,30,2,43069,0.036,1196361
2018-12-09T11:25:26.368Z,60,1,1,1,2,80337,0.048,1673688
2018-12-09T11:25:27.236Z,201,10,10,10,2,2321331,0.350,6632374
2018-12-09T11:25:27.841Z,171,1,24,70,2,39717,0.047,845043
2018-12-09T11:25:28.463Z,16,1,6,12,2,27571,0.040,689275
2018-12-09T11:25:28.644Z,13,1,2,2,1,34275,0.034,1008088
2018-12-09T11:25:29.546Z,46,101,202,404,2,1216575,0.159,7651415
2018-12-09T11:25:29.839Z,29,10,13,26,2,56018,0.035,1600514
2018-12-09T11:25:30.449Z,356,1,39,124,4,130055,0.055,2364636
2018-12-09T11:25:30.943Z,56,1,1,1,2,61685,0.045,1370778
2018-12-09T11:25:31.613Z,309,1,10,82,4,128039,0.068,1882926
2018-12-09T11:25:32.055Z,30,2,4,8,4,34690,0.039,889487
2018-12-09T11:25:33.033Z,1546,47,105,330,4,1536705,0.253,6073933
2018-12-09T11:25:34.741Z,100600,117,0,0,1,5369768,1.379,3893958
2018-12-09T11:25:35.045Z,8,8,8,8,1,32252,0.032,1007875
2018-12-09T11:25:35.222Z,7,7,7,7,1,26482,0.031,854258
2018-12-09T11:25:35.407Z,10,10,10,10,1,29530,0.032,922813
2018-12-09T11:25:35.588Z,12,12,13,29,2,53768,0.043,1250419
2018-12-09T11:25:36.175Z,158,1,1,1,2,73055,0.053,1378396
2018-12-09T11:25:36.457Z,5,5,5,5,1,25709,0.028,918179
2018-12-09T11:25:37.213Z,22,1,1,1,1,2902545,0.382,7598285
2018-12-09T11:25:38.245Z,34,1,2,4,1,32929,0.045,731756
2018-12-09T11:25:38.395Z,88,6,6,6,1,27033,0.027,1001222
2018-12-09T11:25:38.860Z,29,1,1,1,1,158781,0.064,2480953
2018-12-09T11:25:39.312Z,27,1,1,1,1,114868,0.053,2167321
2018-12-09T11:25:39.610Z,106,35,35,35,0,67042,0.042,1596238
2018-12-09T11:25:40.271Z,59,16,91,338,3,68983,0.057,1210228
2018-12-09T11:25:40.695Z,113,16,27,115,5,54749,0.054,1013870
2018-12-09T11:25:41.278Z,102,1,209,218,1,78657,0.047,1673553
2018-12-09T11:25:41.719Z,78,4,47,7,1,56390,0.042,1342619
2018-12-09T11:25:42.142Z,13,2,2,2,1,21930,0.032,685313
2018-12-09T11:25:42.561Z,13,2,2,2,1,22097,0.036,613806
2018-12-09T11:25:42.889Z,11,2,2,2,1,21119,0.033,639970
2018-12-09T11:25:43.755Z,683,222,443,1776,4,1533443,0.231,6638281
2018-12-09T11:25:44.401Z,59,16,91,338,3,69026,0.051,1353451
2018-12-09T11:25:45.203Z,1013,1,1,1,1,1397542,0.218,6410743
2018-12-09T11:25:45.797Z,288,1,12,28,2,40155,0.045,892333
2018-12-09T11:25:46.126Z,9,2,3,6,2,21938,0.030,731267
2018-12-09T11:25:46.312Z,35,101,0,0,0,27542,0.029,949724
2018-12-09T11:25:46.801Z,606,81,81,81,1,92631,0.051,1816294
2018-12-09T11:25:47.131Z,608,54,54,54,1,81746,0.054,1513815
2018-12-09T11:25:47.449Z,608,46,46,46,1,74822,0.055,1360400
2018-12-09T11:25:47.759Z,610,19,19,19,1,54493,0.046,1184630
2018-12-09T11:25:48.652Z,769,3,1,1,0,336957,0.097,3473784
2018-12-09T11:25:49.305Z,16,1,1,1,1,1254814,0.232,5408681
2018-12-09T11:25:49.900Z,26,7,21,42,4,65920,0.043,1533023
2018-12-09T11:25:50.352Z,57,1,1,1,1,63448,0.044,1442000
2018-12-09T11:25:50.790Z,60,2,24,88,5,49586,0.040,1239650
2018-12-09T11:25:51.076Z,5,5,5,5,1,25009,0.033,757848
2018-12-09T11:25:51.397Z,20,1,7,25,5,26841,0.036,745583
2018-12-09T11:25:51.877Z,97,1,9,43,3,42611,0.046,926326
2018-12-09T11:25:52.015Z,0,0,0,0,1,12293,0.021,585381
# Thu Dec 6 23:29:52 CET 2018
# Sun Dec 9 12:24:59 CET 2018
This source diff could not be displayed because it is too large. You can view the blob instead.
......@@ -252,6 +252,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/resto/resto.n3>].
#2018-12-06T22:30:33.445Z in=78 out=4 ent=47 step=7 brake=1 inf=56392 sec=0.048 inf/sec=1174833
#2018-12-09T11:25:41.719Z in=78 out=4 ent=47 step=7 brake=1 inf=56390 sec=0.042 inf/sec=1342619
#ENDS
......@@ -309,6 +309,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/restpath/path-9-3.n3>].
#2018-12-06T22:30:32.979Z in=102 out=1 ent=209 step=218 brake=1 inf=78657 sec=0.044 inf/sec=1787659
#2018-12-09T11:25:41.278Z in=102 out=1 ent=209 step=218 brake=1 inf=78657 sec=0.047 inf/sec=1673553
#ENDS
......@@ -48,6 +48,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/rgb/greenquery001.n3>].
#2018-12-06T22:30:33.881Z in=13 out=2 ent=2 step=2 brake=1 inf=21929 sec=0.040 inf/sec=548225
#2018-12-09T11:25:42.142Z in=13 out=2 ent=2 step=2 brake=1 inf=21930 sec=0.032 inf/sec=685313
#ENDS
......@@ -48,6 +48,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/rgb/greenquery002.n3>].
#2018-12-06T22:30:34.310Z in=13 out=2 ent=2 step=2 brake=1 inf=22099 sec=0.040 inf/sec=552475
#2018-12-09T11:25:42.561Z in=13 out=2 ent=2 step=2 brake=1 inf=22097 sec=0.036 inf/sec=613806
#ENDS
......@@ -42,6 +42,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/rgb/greenquery003.n3>].
#2018-12-06T22:30:34.645Z in=11 out=2 ent=2 step=2 brake=1 inf=21118 sec=0.029 inf/sec=728207
#2018-12-09T11:25:42.889Z in=11 out=2 ent=2 step=2 brake=1 inf=21119 sec=0.033 inf/sec=639970
#ENDS
......@@ -6221,6 +6221,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/rif/rifP.n3>].
#2018-12-06T22:30:35.312Z in=683 out=222 ent=443 step=1776 brake=4 inf=1533444 sec=0.229 inf/sec=6696262
#2018-12-09T11:25:43.755Z in=683 out=222 ent=443 step=1776 brake=4 inf=1533443 sec=0.231 inf/sec=6638281
#ENDS
......@@ -429,6 +429,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};