Commit 196cb176 authored by josd's avatar josd

working on EYE Reasoning

parent 1fad12d4
......@@ -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-08-30T10:00:57.380Z in=34 out=1 ent=1 step=1 brake=2 inf=45721 sec=0.108 inf/sec=423343
#2018-08-30T11:22:25.316Z in=34 out=1 ent=1 step=1 brake=2 inf=45711 sec=0.105 inf/sec=435343
#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-08-30T10:00:58.755Z in=470 out=97 ent=145 step=755 brake=4 inf=957954 sec=0.519 inf/sec=1845769
#2018-08-30T11:22:27.225Z in=470 out=97 ent=145 step=755 brake=4 inf=957944 sec=0.512 inf/sec=1870984
#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-08-30T10:00:59.554Z in=295 out=50 ent=100 step=48 brake=4 inf=219312 sec=0.214 inf/sec=1024822
#2018-08-30T11:22:28.481Z in=295 out=50 ent=100 step=48 brake=4 inf=219304 sec=0.217 inf/sec=1010618
#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-08-30T10:01:03.278Z in=10012 out=1518 ent=1518 step=1518 brake=1 inf=4717987 sec=2.383 inf/sec=1979852
#2018-08-30T11:22:33.309Z in=10012 out=1518 ent=1518 step=1518 brake=1 inf=4717957 sec=2.363 inf/sec=1996596
#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-08-30T10:01:03.605Z in=9 out=3 ent=6 step=12 brake=2 inf=27515 sec=0.080 inf/sec=343938
#2018-08-30T11:22:33.730Z in=9 out=3 ent=6 step=12 brake=2 inf=27486 sec=0.077 inf/sec=356961
#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-08-30T10:01:04.081Z in=43 out=2 ent=4 step=8 brake=2 inf=41271 sec=0.098 inf/sec=421133
#2018-08-30T11:22:34.380Z in=43 out=2 ent=4 step=8 brake=2 inf=41241 sec=0.094 inf/sec=438734
#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-08-30T10:01:04.910Z in=17 out=5 ent=5 step=5 brake=2 inf=48555 sec=0.110 inf/sec=441409
#2018-08-30T11:22:35.647Z in=17 out=5 ent=5 step=5 brake=2 inf=48521 sec=0.106 inf/sec=457745
#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-08-30T10:01:04.511Z in=22 out=17 ent=17 step=17 brake=2 inf=72912 sec=0.125 inf/sec=583296
#2018-08-30T11:22:35.151Z in=22 out=17 ent=17 step=17 brake=2 inf=72881 sec=0.120 inf/sec=607342
#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-08-30T10:01:05.253Z in=22 out=1 ent=6 step=18 brake=3 inf=24596 sec=0.081 inf/sec=303654
#2018-08-30T11:22:36.469Z in=22 out=1 ent=6 step=18 brake=3 inf=24565 sec=0.079 inf/sec=310949
#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-08-30T10:01:05.529Z in=14 out=2 ent=2 step=2 brake=1 inf=25963 sec=0.081 inf/sec=320531
#2018-08-30T11:22:37.092Z in=14 out=2 ent=2 step=2 brake=1 inf=25935 sec=0.084 inf/sec=308750
#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-08-30T10:01:05.889Z in=104 out=6 ent=6 step=6 brake=1 inf=43602 sec=0.095 inf/sec=458968
#2018-08-30T11:22:37.468Z in=104 out=6 ent=6 step=6 brake=1 inf=43574 sec=0.100 inf/sec=435740
#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-08-30T10:01:06.384Z in=1004 out=92 ent=92 step=92 brake=1 inf=391103 sec=0.279 inf/sec=1401803
#2018-08-30T11:22:38.260Z in=1004 out=92 ent=92 step=92 brake=1 inf=391073 sec=0.299 inf/sec=1307936
#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-08-30T10:01:09.083Z in=10004 out=966 ent=966 step=966 brake=1 inf=3881656 sec=2.296 inf/sec=1690617
#2018-08-30T11:22:41.232Z in=10004 out=966 ent=966 step=966 brake=1 inf=3881626 sec=2.496 inf/sec=1555139
#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-08-30T10:01:09.475Z in=54 out=2 ent=8 step=18 brake=2 inf=38054 sec=0.086 inf/sec=442488
#2018-08-30T11:22:41.773Z in=54 out=2 ent=8 step=18 brake=2 inf=38023 sec=0.093 inf/sec=408849
#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-08-30T10:01:09.884Z in=124 out=6 ent=23 step=48 brake=2 inf=70326 sec=0.106 inf/sec=663453
#2018-08-30T11:22:42.188Z in=124 out=6 ent=23 step=48 brake=2 inf=70297 sec=0.116 inf/sec=606009
#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-08-30T10:01:10.671Z in=1686 out=92 ent=355 step=712 brake=2 inf=805049 sec=0.447 inf/sec=1801004
#2018-08-30T11:22:43.193Z in=1686 out=92 ent=355 step=712 brake=2 inf=805041 sec=0.514 inf/sec=1566228
#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-08-30T10:01:15.085Z in=17278 out=966 ent=3682 step=7366 brake=2 inf=8124546 sec=3.954 inf/sec=2054766
#2018-08-30T11:22:48.278Z in=17278 out=966 ent=3682 step=7366 brake=2 inf=8124540 sec=4.512 inf/sec=1800652
#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-08-30T10:01:16.597Z in=43 out=1 ent=2 step=2 brake=1 inf=31792 sec=0.088 inf/sec=361273
#2018-08-30T11:22:49.670Z in=43 out=1 ent=2 step=2 brake=1 inf=31781 sec=0.089 inf/sec=357090
#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-08-30T10:01:17.073Z in=52 out=2 ent=32 step=120 brake=4 inf=42549 sec=0.095 inf/sec=447884
#2018-08-30T11:22:50.428Z in=52 out=2 ent=32 step=120 brake=4 inf=42540 sec=0.101 inf/sec=421188
#ENDS
......@@ -28,6 +28,6 @@ PREFIX dqt: <http://josd.github.io/eye/reasoning/dqt#>
3 dqt:sdcoding 0 .
3 dqt:sdcoding 2 .
#2018-08-30T10:01:17.716Z in=73 out=24 ent=0 step=0 brake=1 inf=16981 sec=0.076 inf/sec=223434
#2018-08-30T11:22:50.993Z in=73 out=24 ent=0 step=0 brake=1 inf=16971 sec=0.079 inf/sec=214823
#ENDS
......@@ -10,6 +10,6 @@ PREFIX math: <http://www.w3.org/2000/10/swap/math#>
0 dqt:sdcoding 0 .
2 dqt:sdcoding 2 .
#2018-08-30T10:01:17.990Z in=31 out=4 ent=4 step=4 brake=2 inf=15892 sec=0.074 inf/sec=214757
#2018-08-30T11:22:51.452Z in=31 out=4 ent=4 step=4 brake=2 inf=15877 sec=0.075 inf/sec=211693
#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-08-30T10:01:19.449Z in=9008 out=1 ent=2999 step=5998 brake=2 inf=1940940 sec=1.099 inf/sec=1766096
#2018-08-30T11:22:53.414Z in=9008 out=1 ent=2999 step=5998 brake=2 inf=1940931 sec=1.209 inf/sec=1605402
#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-08-30T10:01:19.934Z in=57 out=16 ent=32 step=64 brake=2 inf=200698 sec=0.156 inf/sec=1286526
#2018-08-30T11:22:54.074Z in=57 out=16 ent=32 step=64 brake=2 inf=200689 sec=0.157 inf/sec=1278274
#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-08-30T10:01:20.597Z in=28 out=1 ent=2 step=4 brake=2 inf=671827 sec=0.367 inf/sec=1830591
#2018-08-30T11:22:54.925Z in=28 out=1 ent=2 step=4 brake=2 inf=671815 sec=0.370 inf/sec=1815716
#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-08-30T10:01:26.553Z in=1004 out=1000 ent=1000 step=1000 brake=1 inf=9855722 sec=4.340 inf/sec=2270904
#2018-08-30T11:23:01.980Z in=1004 out=1000 ent=1000 step=1000 brake=1 inf=9855749 sec=4.600 inf/sec=2142554
#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-08-30T10:01:27.657Z in=260 out=8 ent=50 step=307 brake=6 inf=467654 sec=0.280 inf/sec=1670193
#2018-08-30T11:23:03.629Z in=260 out=8 ent=50 step=307 brake=6 inf=467664 sec=0.277 inf/sec=1688318
#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-08-30T10:01:28.775Z in=630 out=18 ent=237 step=1917 brake=5 inf=807256 sec=0.528 inf/sec=1528894
#2018-08-30T11:23:05.099Z in=630 out=18 ent=237 step=1917 brake=5 inf=807267 sec=0.540 inf/sec=1494939
#ENDS
......@@ -1253,6 +1253,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-08-30T10:01:29.316Z in=14 out=1 ent=1 step=1 brake=1 inf=149038 sec=0.136 inf/sec=1095868
#2018-08-30T11:23:05.736Z in=14 out=1 ent=1 step=1 brake=1 inf=149048 sec=0.149 inf/sec=1000322
#ENDS
......@@ -935,6 +935,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
);
r:rule <#lemma92>.
#2018-08-30T10:01:30.039Z in=347 out=6 ent=1591 step=18973 brake=12 inf=752257 sec=0.357 inf/sec=2107162
#2018-08-30T11:23:06.827Z in=347 out=6 ent=1591 step=18973 brake=12 inf=752266 sec=0.354 inf/sec=2125045
#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-08-30T10:01:30.441Z in=46 out=6 ent=7 step=30 brake=2 inf=43161 sec=0.090 inf/sec=479567
#2018-08-30T11:23:07.519Z in=46 out=6 ent=7 step=30 brake=2 inf=43172 sec=0.088 inf/sec=490591
#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-08-30T10:01:30.943Z in=60 out=1 ent=1 step=1 brake=2 inf=80407 sec=0.113 inf/sec=711566
#2018-08-30T11:23:08.430Z in=60 out=1 ent=1 step=1 brake=2 inf=80419 sec=0.112 inf/sec=718027
#ENDS
......@@ -5872,6 +5872,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
);
r:rule <#lemma336>.
#2018-08-30T10:01:32.436Z in=201 out=10 ent=10 step=10 brake=2 inf=2319821 sec=1.060 inf/sec=2188510
#2018-08-30T11:23:10.132Z in=201 out=10 ent=10 step=10 brake=2 inf=2319811 sec=1.067 inf/sec=2174143
#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-08-30T10:01:32.925Z in=171 out=1 ent=24 step=70 brake=2 inf=39786 sec=0.096 inf/sec=414438
#2018-08-30T11:23:11.223Z in=171 out=1 ent=24 step=70 brake=2 inf=39776 sec=0.092 inf/sec=432348
#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-08-30T10:01:33.383Z in=16 out=1 ent=6 step=12 brake=2 inf=27618 sec=0.084 inf/sec=328786
#2018-08-30T11:23:12.068Z in=16 out=1 ent=6 step=12 brake=2 inf=27609 sec=0.087 inf/sec=317345
#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-08-30T10:01:33.577Z in=13 out=1 ent=2 step=2 brake=1 inf=34388 sec=0.082 inf/sec=419366
#2018-08-30T11:23:12.363Z in=13 out=1 ent=2 step=2 brake=1 inf=34379 sec=0.083 inf/sec=414205
#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-08-30T10:01:35.246Z in=46 out=101 ent=202 step=404 brake=2 inf=1216689 sec=0.565 inf/sec=2153432
#2018-08-30T11:23:14.405Z in=46 out=101 ent=202 step=404 brake=2 inf=1216680 sec=0.573 inf/sec=2123351
#ENDS
No preview for this file type
......@@ -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-08-30T10:01:35.577Z in=29 out=10 ent=13 step=26 brake=2 inf=56131 sec=0.089 inf/sec=630685
#2018-08-30T11:23:15.230Z in=29 out=10 ent=13 step=26 brake=2 inf=56121 sec=0.089 inf/sec=630573
#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-08-30T10:01:36.195Z in=356 out=1 ent=39 step=124 brake=4 inf=130123 sec=0.149 inf/sec=873309
#2018-08-30T11:23:16.046Z in=356 out=1 ent=39 step=124 brake=4 inf=130113 sec=0.144 inf/sec=903563
#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-08-30T10:01:36.681Z in=56 out=1 ent=1 step=1 brake=2 inf=61756 sec=0.105 inf/sec=588152
#2018-08-30T11:23:17.079Z in=56 out=1 ent=1 step=1 brake=2 inf=61745 sec=0.106 inf/sec=582500
#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-08-30T10:01:37.292Z in=309 out=1 ent=10 step=82 brake=4 inf=128088 sec=0.145 inf/sec=883366
#2018-08-30T11:23:17.945Z in=309 out=1 ent=10 step=82 brake=4 inf=128078 sec=0.141 inf/sec=908355
#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-08-30T10:01:37.686Z in=30 out=2 ent=4 step=8 brake=4 inf=34782 sec=0.088 inf/sec=395250
#2018-08-30T11:23:18.531Z in=30 out=2 ent=4 step=8 brake=4 inf=34772 sec=0.088 inf/sec=395136
#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-08-30T10:01:39.294Z in=1546 out=47 ent=105 step=330 brake=4 inf=1536756 sec=1.007 inf/sec=1526073
#2018-08-30T11:23:20.529Z in=1546 out=47 ent=105 step=330 brake=4 inf=1536748 sec=1.029 inf/sec=1493438
#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-08-30T10:01:44.607Z in=7 out=7 ent=7 step=7 brake=1 inf=26617 sec=0.078 inf/sec=341244
#2018-08-30T11:23:26.594Z in=7 out=7 ent=7 step=7 brake=1 inf=26608 sec=0.078 inf/sec=341128
#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-08-30T10:01:44.788Z in=10 out=10 ent=10 step=10 brake=1 inf=29666 sec=0.077 inf/sec=385273
#2018-08-30T11:23:26.866Z in=10 out=10 ent=10 step=10 brake=1 inf=29655 sec=0.080 inf/sec=370688
#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-08-30T10:01:44.992Z in=12 out=12 ent=13 step=29 brake=2 inf=53902 sec=0.093 inf/sec=579591
#2018-08-30T11:23:27.158Z in=12 out=12 ent=13 step=29 brake=2 inf=53896 sec=0.092 inf/sec=585826
#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-08-30T10:01:44.424Z in=8 out=8 ent=8 step=8 brake=1 inf=32387 sec=0.082 inf/sec=394963
#2018-08-30T11:23:26.315Z in=8 out=8 ent=8 step=8 brake=1 inf=32378 sec=0.082 inf/sec=394854
#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-08-30T10:01:45.507Z in=158 out=1 ent=1 step=1 brake=2 inf=71546 sec=0.129 inf/sec=554620
#2018-08-30T11:23:27.942Z in=158 out=1 ent=1 step=1 brake=2 inf=71536 sec=0.121 inf/sec=591207
#ENDS
......@@ -151,6 +151,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-08-30T10:01:45.850Z in=8 out=8 ent=8 step=8 brake=1 inf=31318 sec=0.083 inf/sec=377325
#2018-08-30T11:23:28.344Z in=8 out=8 ent=8 step=8 brake=1 inf=31307 sec=0.078 inf/sec=401372
#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-08-30T10:01:47.489Z in=22 out=1 ent=1 step=1 brake=1 inf=2902636 sec=1.314 inf/sec=2209008
#2018-08-30T11:23:30.124Z in=22 out=1 ent=1 step=1 brake=1 inf=2902626 sec=1.281 inf/sec=2265906
#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-08-30T10:01:48.236Z in=34 out=1 ent=2 step=4 brake=1 inf=32930 sec=0.095 inf/sec=346632
#2018-08-30T11:23:31.603Z in=34 out=1 ent=2 step=4 brake=1 inf=32922 sec=0.097 inf/sec=339402
#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-08-30T10:01:50.266Z in=59 out=16 ent=91 step=338 brake=3 inf=69033 sec=0.113 inf/sec=610912
#2018-08-30T11:23:34.512Z in=59 out=16 ent=91 step=338 brake=3 inf=69021 sec=0.114 inf/sec=605447
#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-08-30T10:01:50.734Z in=113 out=16 ent=27 step=115 brake=5 inf=54819 sec=0.097 inf/sec=565144
#2018-08-30T11:23:35.077Z in=113 out=16 ent=27 step=115 brake=5 inf=54813 sec=0.104 inf/sec=527048
#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-08-30T10:01:49.696Z in=106 out=35 ent=35 step=35 brake=0 inf=67068 sec=0.102 inf/sec=657529
#2018-08-30T11:23:33.541Z in=106 out=35 ent=35 step=35 brake=0 inf=67059 sec=0.104 inf/sec=644798
#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-08-30T10:01:48.903Z in=29 out=1 ent=1 step=1 brake=1 inf=158872 sec=0.140 inf/sec=1134800
#2018-08-30T11:23:32.445Z in=29 out=1 ent=1 step=1 brake=1 inf=158861 sec=0.140 inf/sec=1134721
#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-08-30T10:01:49.312Z in=27 out=1 ent=1 step=1 brake=1 inf=114960 sec=0.121 inf/sec=950083
#2018-08-30T11:23:33.069Z in=27 out=1 ent=1 step=1 brake=1 inf=114951 sec=0.120 inf/sec=957925
#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-08-30T10:01:48.468Z in=88 out=6 ent=6 step=6 brake=1 inf=27080 sec=0.078 inf/sec=347179
#2018-08-30T11:23:31.835Z in=88 out=6 ent=6 step=6 brake=1 inf=27070 sec=0.076 inf/sec=356184
#ENDS
stamp,in,out,ent,step,brake,inf,sec,inf/sec
2018-08-30T10:00:57.380Z,34,1,1,1,2,45721,0.108,423343
2018-08-30T10:00:58.755Z,470,97,145,755,4,957954,0.519,1845769
2018-08-30T10:00:59.554Z,295,50,100,48,4,219312,0.214,1024822
2018-08-30T10:01:03.278Z,10012,1518,1518,1518,1,4717987,2.383,1979852
2018-08-30T10:01:03.605Z,9,3,6,12,2,27515,0.080,343938
2018-08-30T10:01:04.081Z,43,2,4,8,2,41271,0.098,421133
2018-08-30T10:01:04.511Z,22,17,17,17,2,72912,0.125,583296
2018-08-30T10:01:04.910Z,17,5,5,5,2,48555,0.110,441409
2018-08-30T10:01:05.253Z,22,1,6,18,3,24596,0.081,303654
2018-08-30T10:01:05.529Z,14,2,2,2,1,25963,0.081,320531
2018-08-30T10:01:05.889Z,104,6,6,6,1,43602,0.095,458968
2018-08-30T10:01:06.384Z,1004,92,92,92,1,391103,0.279,1401803
2018-08-30T10:01:09.083Z,10004,966,966,966,1,3881656,2.296,1690617
2018-08-30T10:01:09.475Z,54,2,8,18,2,38054,0.086,442488
2018-08-30T10:01:09.884Z,124,6,23,48,2,70326,0.106,663453
2018-08-30T10:01:10.671Z,1686,92,355,712,2,805049,0.447,1801004
2018-08-30T10:01:15.085Z,17278,966,3682,7366,2,8124546,3.954,2054766
2018-08-30T10:01:16.597Z,43,1,2,2,1,31792,0.088,361273
2018-08-30T10:01:17.073Z,52,2,32,120,4,42549,0.095,447884
2018-08-30T10:01:17.716Z,73,24,0,0,1,16981,0.076,223434
2018-08-30T10:01:17.990Z,31,4,4,4,2,15892,0.074,214757
2018-08-30T10:01:19.449Z,9008,1,2999,5998,2,1940940,1.099,1766096
2018-08-30T10:01:19.934Z,57,16,32,64,2,200698,0.156,1286526
2018-08-30T10:01:20.597Z,28,1,2,4,2,671827,0.367,1830591
2018-08-30T10:01:26.553Z,1004,1000,1000,1000,1,9855722,4.340,2270904
2018-08-30T10:01:27.657Z,260,8,50,307,6,467654,0.280,1670193
2018-08-30T10:01:28.775Z,630,18,237,1917,5,807256,0.528,1528894
2018-08-30T10:01:29.316Z,14,1,1,1,1,149038,0.136,1095868
2018-08-30T10:01:30.039Z,347,6,1591,18973,12,752257,0.357,2107162
2018-08-30T10:01:30.441Z,46,6,7,30,2,43161,0.090,479567
2018-08-30T10:01:30.943Z,60,1,1,1,2,80407,0.113,711566
2018-08-30T10:01:32.436Z,201,10,10,10,2,2319821,1.060,2188510
2018-08-30T10:01:32.925Z,171,1,24,70,2,39786,0.096,414438
2018-08-30T10:01:33.383Z,16,1,6,12,2,27618,0.084,328786
2018-08-30T10:01:33.577Z,13,1,2,2,1,34388,0.082,419366
2018-08-30T10:01:35.246Z,46,101,202,404,2,1216689,0.565,2153432
2018-08-30T10:01:35.577Z,29,10,13,26,2,56131,0.089,630685
2018-08-30T10:01:36.195Z,356,1,39,124,4,130123,0.149,873309
2018-08-30T10:01:36.681Z,56,1,1,1,2,61756,0.105,588152
2018-08-30T10:01:37.292Z,309,1,10,82,4,128088,0.145,883366
2018-08-30T10:01:37.686Z,30,2,4,8,4,34782,0.088,395250
2018-08-30T10:01:39.294Z,1546,47,105,330,4,1536756,1.007,1526073
2018-08-30T10:01:44.098Z,100600,117,0,0,1,5368699,4.356,1232484
2018-08-30T10:01:44.424Z,8,8,8,8,1,32387,0.082,394963
2018-08-30T10:01:44.607Z,7,7,7,7,1,26617,0.078,341244
2018-08-30T10:01:44.788Z,10,10,10,10,1,29666,0.077,385273
2018-08-30T10:01:44.992Z,12,12,13,29,2,53902,0.093,579591
2018-08-30T10:01:45.507Z,158,1,1,1,2,71546,0.129,554620
2018-08-30T10:01:45.850Z,8,8,8,8,1,31318,0.083,377325
2018-08-30T10:01:47.489Z,22,1,1,1,1,2902636,1.314,2209008
2018-08-30T10:01:48.236Z,34,1,2,4,1,32930,0.095,346632
2018-08-30T10:01:48.468Z,88,6,6,6,1,27080,0.078,347179
2018-08-30T10:01:48.903Z,29,1,1,1,1,158872,0.140,1134800
2018-08-30T10:01:49.312Z,27,1,1,1,1,114960,0.121,950083
2018-08-30T10:01:49.696Z,106,35,35,35,0,67068,0.102,657529
2018-08-30T10:01:50.266Z,59,16,91,338,3,69033,0.113,610912
2018-08-30T10:01:50.734Z,113,16,27,115,5,54819,0.097,565144
2018-08-30T10:01:51.236Z,102,1,209,218,1,78727,0.115,684583
2018-08-30T10:01:51.725Z,78,4,47,7,1,56483,0.100,564830
2018-08-30T10:01:52.109Z,13,2,2,2,1,22022,0.077,286000
2018-08-30T10:01:52.477Z,13,2,2,2,1,22189,0.077,288169
2018-08-30T10:01:52.741Z,11,2,2,2,1,21211,0.074,286635
2018-08-30T10:01:53.782Z,683,222,443,1776,4,1533536,0.715,2144806
2018-08-30T10:01:54.362Z,59,16,91,338,3,69075,0.107,645561
2018-08-30T10:01:55.460Z,1013,1,1,1,1,1396639,0.646,2161980
2018-08-30T10:01:55.955Z,288,1,12,28,2,40222,0.095,423389
2018-08-30T10:01:56.335Z,9,2,3,6,2,22030,0.082,268659
2018-08-30T10:01:56.536Z,35,101,0,0,0,27632,0.078,354256
2018-08-30T10:01:56.954Z,606,81,81,81,1,92704,0.130,713108
2018-08-30T10:01:57.481Z,608,54,54,54,1,81816,0.124,659806
2018-08-30T10:01:57.868Z,608,46,46,46,1,74892,0.117,640103
2018-08-30T10:01:58.249Z,610,19,19,19,1,54561,0.110,496009
2018-08-30T10:01:59.001Z,769,3,1,1,0,336959,0.234,1439996
2018-08-30T10:02:00.229Z,16,1,1,1,1,1254925,0.671,1870231
2018-08-30T10:02:00.739Z,26,7,21,42,4,66009,0.108,611194
2018-08-30T10:02:01.142Z,57,1,1,1,1,63560,0.105,605333
2018-08-30T10:02:01.542Z,60,2,24,88,5,49695,0.094,528670
2018-08-30T10:02:01.840Z,5,5,5,5,1,25142,0.079,318253
2018-08-30T10:02:02.098Z,20,1,7,25,5,26952,0.075,359360
2018-08-30T10:02:02.507Z,97,1,9,43,3,41122,0.111,370468
2018-08-30T10:02:02.711Z,0,0,0,0,1,12489,0.064,195141
2018-08-30T11:22:25.316Z,34,1,1,1,2,45711,0.105,435343
2018-08-30T11:22:27.225Z,470,97,145,755,4,957944,0.512,1870984
2018-08-30T11:22:28.481Z,295,50,100,48,4,219304,0.217,1010618
2018-08-30T11:22:33.309Z,10012,1518,1518,1518,1,4717957,2.363,1996596
2018-08-30T11:22:33.730Z,9,3,6,12,2,27486,0.077,356961
2018-08-30T11:22:34.380Z,43,2,4,8,2,41241,0.094,438734
2018-08-30T11:22:35.151Z,22,17,17,17,2,72881,0.120,607342
2018-08-30T11:22:35.647Z,17,5,5,5,2,48521,0.106,457745
2018-08-30T11:22:36.469Z,22,1,6,18,3,24565,0.079,310949
2018-08-30T11:22:37.092Z,14,2,2,2,1,25935,0.084,308750
2018-08-30T11:22:37.468Z,104,6,6,6,1,43574,0.100,435740
2018-08-30T11:22:38.260Z,1004,92,92,92,1,391073,0.299,1307936
2018-08-30T11:22:41.232Z,10004,966,966,966,1,3881626,2.496,1555139
2018-08-30T11:22:41.773Z,54,2,8,18,2,38023,0.093,408849
2018-08-30T11:22:42.188Z,124,6,23,48,2,70297,0.116,606009
2018-08-30T11:22:43.193Z,1686,92,355,712,2,805041,0.514,1566228
2018-08-30T11:22:48.278Z,17278,966,3682,7366,2,8124540,4.512,1800652
2018-08-30T11:22:49.670Z,43,1,2,2,1,31781,0.089,357090
2018-08-30T11:22:50.428Z,52,2,32,120,4,42540,0.101,421188
2018-08-30T11:22:50.993Z,73,24,0,0,1,16971,0.079,214823
2018-08-30T11:22:51.452Z,31,4,4,4,2,15877,0.075,211693
2018-08-30T11:22:53.414Z,9008,1,2999,5998,2,1940931,1.209,1605402
2018-08-30T11:22:54.074Z,57,16,32,64,2,200689,0.157,1278274
2018-08-30T11:22:54.925Z,28,1,2,4,2,671815,0.370,1815716
2018-08-30T11:23:01.980Z,1004,1000,1000,1000,1,9855749,4.600,2142554
2018-08-30T11:23:03.629Z,260,8,50,307,6,467664,0.277,1688318
2018-08-30T11:23:05.099Z,630,18,237,1917,5,807267,0.540,1494939
2018-08-30T11:23:05.736Z,14,1,1,1,1,149048,0.149,1000322
2018-08-30T11:23:06.827Z,347,6,1591,18973,12,752266,0.354,2125045
2018-08-30T11:23:07.519Z,46,6,7,30,2,43172,0.088,490591
2018-08-30T11:23:08.430Z,60,1,1,1,2,80419,0.112,718027
2018-08-30T11:23:10.132Z,201,10,10,10,2,2319811,1.067,2174143
2018-08-30T11:23:11.223Z,171,1,24,70,2,39776,0.092,432348
2018-08-30T11:23:12.068Z,16,1,6,12,2,27609,0.087,317345
2018-08-30T11:23:12.363Z,13,1,2,2,1,34379,0.083,414205
2018-08-30T11:23:14.405Z,46,101,202,404,2,1216680,0.573,2123351
2018-08-30T11:23:15.230Z,29,10,13,26,2,56121,0.089,630573
2018-08-30T11:23:16.046Z,356,1,39,124,4,130113,0.144,903563
2018-08-30T11:23:17.079Z,56,1,1,1,2,61745,0.106,582500
2018-08-30T11:23:17.945Z,309,1,10,82,4,128078,0.141,908355
2018-08-30T11:23:18.531Z,30,2,4,8,4,34772,0.088,395136
2018-08-30T11:23:20.529Z,1546,47,105,330,4,1536748,1.029,1493438
2018-08-30T11:23:25.891Z,100600,117,0,0,1,5367695,4.895,1096567
2018-08-30T11:23:26.315Z,8,8,8,8,1,32378,0.082,394854
2018-08-30T11:23:26.594Z,7,7,7,7,1,26608,0.078,341128
2018-08-30T11:23:26.866Z,10,10,10,10,1,29655,0.080,370688
2018-08-30T11:23:27.158Z,12,12,13,29,2,53896,0.092,585826
2018-08-30T11:23:27.942Z,158,1,1,1,2,71536,0.121,591207
2018-08-30T11:23:28.344Z,8,8,8,8,1,31307,0.078,401372
2018-08-30T11:23:30.124Z,22,1,1,1,1,2902626,1.281,2265906
2018-08-30T11:23:31.603Z,34,1,2,4,1,32922,0.097,339402
2018-08-30T11:23:31.835Z,88,6,6,6,1,27070,0.076,356184
2018-08-30T11:23:32.445Z,29,1,1,1,1,158861,0.140,1134721
2018-08-30T11:23:33.069Z,27,1,1,1,1,114951,0.120,957925
2018-08-30T11:23:33.541Z,106,35,35,35,0,67059,0.104,644798
2018-08-30T11:23:34.512Z,59,16,91,338,3,69021,0.114,605447
2018-08-30T11:23:35.077Z,113,16,27,115,5,54813,0.104,527048
2018-08-30T11:23:35.858Z,102,1,209,218,1,78717,0.111,709162
2018-08-30T11:23:36.460Z,78,4,47,7,1,56474,0.099,570444
2018-08-30T11:23:37.045Z,13,2,2,2,1,22011,0.076,289618
2018-08-30T11:23:37.947Z,13,2,2,2,1,22180,0.076,291842
2018-08-30T11:23:38.404Z,11,2,2,2,1,21201,0.076,278961
2018-08-30T11:23:39.616Z,683,222,443,1776,4,1533526,0.697,2200181
2018-08-30T11:23:40.495Z,59,16,91,338,3,69064,0.108,639481
2018-08-30T11:23:42.193Z,1013,1,1,1,1,1396629,0.639,2185648
2018-08-30T11:23:43.015Z,288,1,12,28,2,40214,0.098,410347
2018-08-30T11:23:43.575Z,9,2,3,6,2,22018,0.078,282282
2018-08-30T11:23:43.859Z,35,101,0,0,0,27623,0.077,358740
2018-08-30T11:23:44.526Z,606,81,81,81,1,92694,0.123,753610
2018-08-30T11:23:45.437Z,608,54,54,54,1,81804,0.123,665073
2018-08-30T11:23:45.924Z,608,46,46,46,1,74880,0.119,629244
2018-08-30T11:23:46.411Z,610,19,19,19,1,54554,0.105,519562
2018-08-30T11:23:48.059Z,769,3,1,1,0,336950,0.234,1439957
2018-08-30T11:23:49.239Z,16,1,1,1,1,1254895,0.655,1915870
2018-08-30T11:23:50.032Z,26,7,21,42,4,65981,0.105,628390
2018-08-30T11:23:50.768Z,57,1,1,1,1,63530,0.096,661771
2018-08-30T11:23:51.379Z,60,2,24,88,5,49665,0.092,539837
2018-08-30T11:23:51.775Z,5,5,5,5,1,25113,0.077,326143
2018-08-30T11:23:52.246Z,20,1,7,25,5,26920,0.079,340759
2018-08-30T11:23:52.905Z,97,1,9,43,3,41091,0.104,395106
2018-08-30T11:23:53.114Z,0,0,0,0,1,12398,0.063,196794
# Thu Aug 30 12:00:56 CEST 2018
# Thu Aug 30 13:22:24 CEST 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-08-30T10:01:51.725Z in=78 out=4 ent=47 step=7 brake=1 inf=56483 sec=0.100 inf/sec=564830
#2018-08-30T11:23:36.460Z in=78 out=4 ent=47 step=7 brake=1 inf=56474 sec=0.099 inf/sec=570444
#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-08-30T10:01:51.236Z in=102 out=1 ent=209 step=218 brake=1 inf=78727 sec=0.115 inf/sec=684583
#2018-08-30T11:23:35.858Z in=102 out=1 ent=209 step=218 brake=1 inf=78717 sec=0.111 inf/sec=709162
#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-08-30T10:01:52.109Z in=13 out=2 ent=2 step=2 brake=1 inf=22022 sec=0.077 inf/sec=286000
#2018-08-30T11:23:37.045Z in=13 out=2 ent=2 step=2 brake=1 inf=22011 sec=0.076 inf/sec=289618
#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-08-30T10:01:52.477Z in=13 out=2 ent=2 step=2 brake=1 inf=22189 sec=0.077 inf/sec=288169
#2018-08-30T11:23:37.947Z in=13 out=2 ent=2 step=2 brake=1 inf=22180 sec=0.076 inf/sec=291842
#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-08-30T10:01:52.741Z in=11 out=2 ent=2 step=2 brake=1 inf=21211 sec=0.074 inf/sec=286635
#2018-08-30T11:23:38.404Z in=11 out=2 ent=2 step=2 brake=1 inf=21201 sec=0.076 inf/sec=278961
#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-08-30T10:01:53.782Z in=683 out=222 ent=443 step=1776 brake=4 inf=1533536 sec=0.715 inf/sec=2144806
#2018-08-30T11:23:39.616Z in=683 out=222 ent=443 step=1776 brake=4 inf=1533526 sec=0.697 inf/sec=2200181
#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-08-30T10:01:54.362Z in=59 out=16 ent=91 step=338 brake=3 inf=69075 sec=0.107 inf/sec=645561
#2018-08-30T11:23:40.495Z in=59 out=16 ent=91 step=338 brake=3 inf=69064 sec=0.108 inf/sec=639481
#ENDS
......@@ -2149,6 +2149,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/rs/randomsample-rule.n3>].
#2018-08-30T10:01:55.460Z in=1013 out=1 ent=1 step=1 brake=1 inf=1396639 sec=0.646 inf/sec=2161980
#2018-08-30T11:23:42.193Z in=1013 out=1 ent=1 step=1 brake=1 inf=1396629 sec=0.639 inf/sec=2185648
#ENDS
......@@ -120,6 +120,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/skos/skos-mapping-sample-snomed-icd10.n3>].
#2018-08-30T10:01:55.955Z in=288 out=1 ent=12 step=28 brake=2 inf=40222 sec=0.095 inf/sec=423389