Commit c71f71ab authored by josd's avatar josd

retest

parent 82f51f86
......@@ -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-05T20:49:55.816Z in=34 out=1 ent=1 step=1 brake=2 inf=47450 sec=0.115 inf/sec=412609
#2018-12-05T21:44:41.670Z in=34 out=1 ent=1 step=1 brake=2 inf=47207 sec=0.046 inf/sec=1026239
#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-05T20:49:57.626Z in=470 out=97 ent=146 step=855 brake=5 inf=977309 sec=0.528 inf/sec=1850964
#2018-12-05T21:44:42.902Z in=470 out=97 ent=146 step=855 brake=5 inf=977171 sec=0.181 inf/sec=5398735
#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-05T20:49:59.484Z in=295 out=50 ent=100 step=48 brake=4 inf=221006 sec=0.221 inf/sec=1000027
#2018-12-05T21:44:44.041Z in=295 out=50 ent=100 step=48 brake=4 inf=220863 sec=0.087 inf/sec=2538655
#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-05T20:50:05.170Z in=10012 out=1518 ent=1518 step=1518 brake=1 inf=4717740 sec=2.327 inf/sec=2027391
#2018-12-05T21:44:46.663Z in=10012 out=1518 ent=1518 step=1518 brake=1 inf=4718073 sec=0.766 inf/sec=6159364
#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-05T20:50:05.719Z in=9 out=3 ent=6 step=12 brake=2 inf=27388 sec=0.085 inf/sec=322212
#2018-12-05T21:44:46.967Z in=9 out=3 ent=6 step=12 brake=2 inf=27381 sec=0.030 inf/sec=912700
#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-05T20:50:06.442Z in=43 out=2 ent=4 step=8 brake=2 inf=41120 sec=0.098 inf/sec=419592
#2018-12-05T21:44:47.749Z in=43 out=2 ent=4 step=8 brake=2 inf=41181 sec=0.042 inf/sec=980500
#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-05T20:50:07.748Z in=17 out=5 ent=5 step=5 brake=2 inf=50281 sec=0.123 inf/sec=408789
#2018-12-05T21:44:48.571Z in=17 out=5 ent=5 step=5 brake=2 inf=50019 sec=0.051 inf/sec=980765
#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-05T20:50:07.194Z in=22 out=17 ent=17 step=17 brake=2 inf=74641 sec=0.132 inf/sec=565462
#2018-12-05T21:44:48.210Z in=22 out=17 ent=17 step=17 brake=2 inf=74379 sec=0.053 inf/sec=1403377
#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-05T20:50:08.788Z in=22 out=1 ent=6 step=18 brake=3 inf=24444 sec=0.086 inf/sec=284233
#2018-12-05T21:44:49.063Z in=22 out=1 ent=6 step=18 brake=3 inf=24506 sec=0.036 inf/sec=680722
#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-05T20:50:09.506Z in=14 out=2 ent=2 step=2 brake=1 inf=25824 sec=0.085 inf/sec=303812
#2018-12-05T21:44:49.659Z in=14 out=2 ent=2 step=2 brake=1 inf=25854 sec=0.032 inf/sec=807938
#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-05T20:50:10.054Z in=104 out=6 ent=6 step=6 brake=1 inf=43444 sec=0.098 inf/sec=443306
#2018-12-05T21:44:49.895Z in=104 out=6 ent=6 step=6 brake=1 inf=43492 sec=0.045 inf/sec=966489
#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-05T20:50:10.791Z in=1004 out=92 ent=92 step=92 brake=1 inf=390943 sec=0.278 inf/sec=1406270
#2018-12-05T21:44:50.230Z in=1004 out=92 ent=92 step=92 brake=1 inf=390990 sec=0.101 inf/sec=3871188
#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-05T20:50:14.033Z in=10004 out=966 ent=966 step=966 brake=1 inf=3881500 sec=2.312 inf/sec=1678849
#2018-12-05T21:44:51.482Z in=10004 out=966 ent=966 step=966 brake=1 inf=3881546 sec=0.815 inf/sec=4762633
#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-05T20:50:14.569Z in=54 out=2 ent=8 step=18 brake=2 inf=37896 sec=0.089 inf/sec=425798
#2018-12-05T21:44:51.840Z in=54 out=2 ent=8 step=18 brake=2 inf=37942 sec=0.043 inf/sec=882372
#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-05T20:50:15.189Z in=124 out=6 ent=23 step=48 brake=2 inf=70167 sec=0.109 inf/sec=643734
#2018-12-05T21:44:52.201Z in=124 out=6 ent=23 step=48 brake=2 inf=70214 sec=0.050 inf/sec=1404280
#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-05T20:50:16.203Z in=1686 out=92 ent=355 step=712 brake=2 inf=804911 sec=0.445 inf/sec=1808789
#2018-12-05T21:44:52.712Z in=1686 out=92 ent=355 step=712 brake=2 inf=804959 sec=0.161 inf/sec=4999745
#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-05T20:50:21.269Z in=17278 out=966 ent=3682 step=7366 brake=2 inf=8124409 sec=3.883 inf/sec=2092302
#2018-12-05T21:44:54.443Z in=17278 out=966 ent=3682 step=7366 brake=2 inf=8124454 sec=1.243 inf/sec=6536166
#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-05T20:50:22.966Z in=43 out=1 ent=2 step=2 brake=1 inf=31653 sec=0.093 inf/sec=340355
#2018-12-05T21:44:55.664Z in=43 out=1 ent=2 step=2 brake=1 inf=31699 sec=0.040 inf/sec=792475
#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-05T20:50:24.054Z in=52 out=2 ent=32 step=120 brake=4 inf=42399 sec=0.096 inf/sec=441656
#2018-12-05T21:44:56.264Z in=52 out=2 ent=32 step=120 brake=4 inf=42480 sec=0.043 inf/sec=987907
#ENDS
......@@ -28,6 +28,6 @@ PREFIX dqc: <http://josd.github.io/eye/reasoning/dqc#>
3 dqc:sdcoding 0 .
3 dqc:sdcoding 2 .
#2018-12-05T20:50:24.754Z in=73 out=24 ent=0 step=0 brake=1 inf=16841 sec=0.078 inf/sec=215910
#2018-12-05T21:44:56.693Z in=73 out=24 ent=0 step=0 brake=1 inf=16888 sec=0.033 inf/sec=511758
#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-05T20:50:25.371Z in=31 out=4 ent=4 step=4 brake=2 inf=15746 sec=0.078 inf/sec=201872
#2018-12-05T21:44:57.031Z in=31 out=4 ent=4 step=4 brake=2 inf=15793 sec=0.033 inf/sec=478576
#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-05T20:50:27.429Z in=9008 out=1 ent=2999 step=5998 brake=2 inf=1940790 sec=1.092 inf/sec=1777280
#2018-12-05T21:44:58.087Z in=9008 out=1 ent=2999 step=5998 brake=2 inf=1940872 sec=0.354 inf/sec=5482689
#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-05T20:50:28.155Z in=57 out=16 ent=32 step=64 brake=2 inf=200560 sec=0.159 inf/sec=1261384
#2018-12-05T21:44:58.563Z in=57 out=16 ent=32 step=64 brake=2 inf=200604 sec=0.057 inf/sec=3519368
#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-05T20:50:29.138Z in=28 out=1 ent=2 step=4 brake=2 inf=671687 sec=0.377 inf/sec=1781663
#2018-12-05T21:44:59.096Z in=28 out=1 ent=2 step=4 brake=2 inf=671735 sec=0.136 inf/sec=4939228
#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-05T20:50:35.412Z in=1004 out=1000 ent=1000 step=1000 brake=1 inf=9855584 sec=4.045 inf/sec=2436486
#2018-12-05T21:45:01.600Z in=1004 out=1000 ent=1000 step=1000 brake=1 inf=9855651 sec=1.231 inf/sec=8006215
#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-05T20:50:37.043Z in=260 out=8 ent=50 step=307 brake=6 inf=469348 sec=0.291 inf/sec=1612880
#2018-12-05T21:45:02.452Z in=260 out=8 ent=50 step=307 brake=6 inf=469226 sec=0.112 inf/sec=4189518
#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-05T20:50:39.112Z in=630 out=18 ent=237 step=1917 brake=5 inf=807082 sec=0.533 inf/sec=1514225
#2018-12-05T21:45:03.429Z in=630 out=18 ent=237 step=1917 brake=5 inf=807250 sec=0.195 inf/sec=4139744
#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-05T20:50:39.970Z in=14 out=1 ent=1 step=1 brake=1 inf=138707 sec=0.136 inf/sec=1019904
#2018-12-05T21:45:03.890Z in=14 out=1 ent=1 step=1 brake=1 inf=138775 sec=0.054 inf/sec=2569907
#ENDS
......@@ -935,6 +935,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
);
r:rule <#lemma92>.
#2018-12-05T20:50:41.313Z in=347 out=6 ent=1591 step=18973 brake=12 inf=753961 sec=0.372 inf/sec=2026777
#2018-12-05T21:45:04.585Z in=347 out=6 ent=1591 step=18973 brake=12 inf=753807 sec=0.119 inf/sec=6334513
#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-05T20:50:41.975Z in=46 out=6 ent=7 step=30 brake=2 inf=43022 sec=0.093 inf/sec=462602
#2018-12-05T21:45:05.034Z in=46 out=6 ent=7 step=30 brake=2 inf=43090 sec=0.046 inf/sec=936739
#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-05T20:50:43.120Z in=60 out=1 ent=1 step=1 brake=2 inf=80259 sec=0.118 inf/sec=680161
#2018-12-05T21:45:05.631Z in=60 out=1 ent=1 step=1 brake=2 inf=80357 sec=0.047 inf/sec=1709723
#ENDS
......@@ -5872,6 +5872,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
);
r:rule <#lemma336>.
#2018-12-05T20:50:44.903Z in=201 out=10 ent=10 step=10 brake=2 inf=2321539 sec=1.044 inf/sec=2223696
#2018-12-05T21:45:06.477Z in=201 out=10 ent=10 step=10 brake=2 inf=2321350 sec=0.356 inf/sec=6520646
#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-05T20:50:45.778Z in=171 out=1 ent=24 step=70 brake=2 inf=39633 sec=0.102 inf/sec=388559
#2018-12-05T21:45:07.088Z in=171 out=1 ent=24 step=70 brake=2 inf=39750 sec=0.046 inf/sec=864130
#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-05T20:50:46.864Z in=16 out=1 ent=6 step=12 brake=2 inf=27457 sec=0.091 inf/sec=301725
#2018-12-05T21:45:07.692Z in=16 out=1 ent=6 step=12 brake=2 inf=27591 sec=0.038 inf/sec=726079
#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-05T20:50:47.196Z in=13 out=1 ent=2 step=2 brake=1 inf=34261 sec=0.085 inf/sec=403071
#2018-12-05T21:45:07.888Z in=13 out=1 ent=2 step=2 brake=1 inf=34311 sec=0.036 inf/sec=953083
#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-05T20:50:49.224Z in=46 out=101 ent=202 step=404 brake=2 inf=1216564 sec=0.583 inf/sec=2086731
#2018-12-05T21:45:08.803Z in=46 out=101 ent=202 step=404 brake=2 inf=1216596 sec=0.170 inf/sec=7156447
#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-05T20:50:49.653Z in=29 out=10 ent=13 step=26 brake=2 inf=56005 sec=0.102 inf/sec=549069
#2018-12-05T21:45:09.101Z in=29 out=10 ent=13 step=26 brake=2 inf=56038 sec=0.037 inf/sec=1514541
#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-05T20:50:50.724Z in=356 out=1 ent=39 step=124 brake=4 inf=129971 sec=0.151 inf/sec=860735
#2018-12-05T21:45:09.719Z in=356 out=1 ent=39 step=124 brake=4 inf=130074 sec=0.054 inf/sec=2408778
#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-05T20:50:51.472Z in=56 out=1 ent=1 step=1 brake=2 inf=61604 sec=0.108 inf/sec=570407
#2018-12-05T21:45:10.233Z in=56 out=1 ent=1 step=1 brake=2 inf=61685 sec=0.050 inf/sec=1233700
#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-05T20:50:52.686Z in=309 out=1 ent=10 step=82 brake=4 inf=127925 sec=0.146 inf/sec=876199
#2018-12-05T21:45:10.889Z in=309 out=1 ent=10 step=82 brake=4 inf=128040 sec=0.065 inf/sec=1969846
#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-05T20:50:53.326Z in=30 out=2 ent=4 step=8 brake=4 inf=34642 sec=0.088 inf/sec=393659
#2018-12-05T21:45:11.321Z in=30 out=2 ent=4 step=8 brake=4 inf=34690 sec=0.041 inf/sec=846098
#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-05T20:50:55.521Z in=1546 out=47 ent=105 step=330 brake=4 inf=1536591 sec=0.977 inf/sec=1572765
#2018-12-05T21:45:12.402Z in=1546 out=47 ent=105 step=330 brake=4 inf=1536709 sec=0.265 inf/sec=5798902
#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-05T20:51:01.833Z in=7 out=7 ent=7 step=7 brake=1 inf=26523 sec=0.079 inf/sec=335734
#2018-12-05T21:45:14.635Z in=7 out=7 ent=7 step=7 brake=1 inf=26482 sec=0.024 inf/sec=1103417
#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-05T20:51:02.246Z in=10 out=10 ent=10 step=10 brake=1 inf=29570 sec=0.086 inf/sec=343837
#2018-12-05T21:45:14.810Z in=10 out=10 ent=10 step=10 brake=1 inf=29530 sec=0.031 inf/sec=952581
#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-05T20:51:02.688Z in=12 out=12 ent=13 step=29 brake=2 inf=53810 sec=0.097 inf/sec=554742
#2018-12-05T21:45:14.995Z in=12 out=12 ent=13 step=29 brake=2 inf=53770 sec=0.037 inf/sec=1453243
#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-05T20:51:01.518Z in=8 out=8 ent=8 step=8 brake=1 inf=32292 sec=0.078 inf/sec=414000
#2018-12-05T21:45:14.463Z in=8 out=8 ent=8 step=8 brake=1 inf=32253 sec=0.035 inf/sec=921514
#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-05T20:51:03.828Z in=158 out=1 ent=1 step=1 brake=2 inf=73298 sec=0.137 inf/sec=535022
#2018-12-05T21:45:15.615Z in=158 out=1 ent=1 step=1 brake=2 inf=73053 sec=0.050 inf/sec=1461060
#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-05T20:51:04.265Z in=5 out=5 ent=5 step=5 brake=1 inf=25716 sec=0.084 inf/sec=306143
#2018-12-05T21:45:15.899Z in=5 out=5 ent=5 step=5 brake=1 inf=25708 sec=0.033 inf/sec=779030
#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-05T20:51:06.218Z in=22 out=1 ent=1 step=1 brake=1 inf=2902514 sec=1.269 inf/sec=2287245
#2018-12-05T21:45:16.658Z in=22 out=1 ent=1 step=1 brake=1 inf=2902542 sec=0.385 inf/sec=7539070
#ENDS
......@@ -12,6 +12,6 @@ PREFIX : <http://josd.github.io/eye/reasoning#>
(_:t_2 ((:input1 "xyz" 2) (:input5 "a" 1))) :answer (:output1 1 :expected 1 :belief 0.6529946561177041 _:t_2).
(_:t_3 ((:input3 (0 1) 1) (:input4 :v3 0.5))) :answer (:output1 0 :expected 0 :belief 0.6800639260090449 _:t_3).
#2018-12-05T20:51:08.472Z in=47 out=4 ent=0 step=0 brake=1 inf=22901 sec=0.084 inf/sec=272631
#2018-12-05T21:45:17.961Z in=47 out=4 ent=0 step=0 brake=1 inf=22963 sec=0.037 inf/sec=620622
#ENDS
......@@ -18,6 +18,6 @@ PREFIX : <http://josd.github.io/eye/reasoning#>
:input5 :ground "c".
:input5 :ground "a".
#2018-12-05T20:51:07.051Z in=55 out=13 ent=13 step=41 brake=1 inf=21841 sec=0.084 inf/sec=260012
#2018-12-05T21:45:17.111Z in=55 out=13 ent=13 step=41 brake=1 inf=21870 sec=0.030 inf/sec=729000
#ENDS
......@@ -16,6 +16,6 @@ PREFIX : <http://josd.github.io/eye/reasoning#>
(:input4 :v3) :odds 0.5 .
(:input5 "a") :odds 1 .
#2018-12-05T20:51:07.762Z in=78 out=9 ent=9 step=9 brake=2 inf=24790 sec=0.090 inf/sec=275444
#2018-12-05T21:45:17.495Z in=78 out=9 ent=9 step=9 brake=2 inf=24849 sec=0.038 inf/sec=653921
#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-05T20:51:09.794Z in=34 out=1 ent=2 step=4 brake=1 inf=32762 sec=0.099 inf/sec=330929
#2018-12-05T21:45:19.200Z in=34 out=1 ent=2 step=4 brake=1 inf=32927 sec=0.047 inf/sec=700574
#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-05T20:51:12.912Z in=59 out=16 ent=91 step=338 brake=3 inf=68869 sec=0.112 inf/sec=614902
#2018-12-05T21:45:21.244Z in=59 out=16 ent=91 step=338 brake=3 inf=68984 sec=0.057 inf/sec=1210246
#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-05T20:51:13.567Z in=113 out=16 ent=27 step=115 brake=5 inf=54668 sec=0.105 inf/sec=520648
#2018-12-05T21:45:21.654Z in=113 out=16 ent=27 step=115 brake=5 inf=54749 sec=0.048 inf/sec=1140604
#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-05T20:51:11.849Z in=106 out=35 ent=35 step=35 brake=0 inf=66894 sec=0.105 inf/sec=637086
#2018-12-05T21:45:20.572Z in=106 out=35 ent=35 step=35 brake=0 inf=67044 sec=0.051 inf/sec=1314588
#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-05T20:51:10.789Z in=29 out=1 ent=1 step=1 brake=1 inf=158732 sec=0.144 inf/sec=1102306
#2018-12-05T21:45:19.810Z in=29 out=1 ent=1 step=1 brake=1 inf=158780 sec=0.060 inf/sec=2646333
#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-05T20:51:11.412Z in=27 out=1 ent=1 step=1 brake=1 inf=114820 sec=0.117 inf/sec=981368
#2018-12-05T21:45:20.270Z in=27 out=1 ent=1 step=1 brake=1 inf=114867 sec=0.050 inf/sec=2297340
#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-05T20:51:10.036Z in=88 out=6 ent=6 step=6 brake=1 inf=26917 sec=0.086 inf/sec=312988
#2018-12-05T21:45:19.357Z in=88 out=6 ent=6 step=6 brake=1 inf=27031 sec=0.032 inf/sec=844719
#ENDS
stamp,in,out,ent,step,brake,inf,sec,inf/sec
2018-12-05T20:49:55.816Z,34,1,1,1,2,47450,0.115,412609
2018-12-05T20:49:57.626Z,470,97,146,855,5,977309,0.528,1850964
2018-12-05T20:49:59.484Z,295,50,100,48,4,221006,0.221,1000027
2018-12-05T20:50:05.170Z,10012,1518,1518,1518,1,4717740,2.327,2027391
2018-12-05T20:50:05.719Z,9,3,6,12,2,27388,0.085,322212
2018-12-05T20:50:06.442Z,43,2,4,8,2,41120,0.098,419592
2018-12-05T20:50:07.194Z,22,17,17,17,2,74641,0.132,565462
2018-12-05T20:50:07.748Z,17,5,5,5,2,50281,0.123,408789
2018-12-05T20:50:08.788Z,22,1,6,18,3,24444,0.086,284233
2018-12-05T20:50:09.506Z,14,2,2,2,1,25824,0.085,303812
2018-12-05T20:50:10.054Z,104,6,6,6,1,43444,0.098,443306
2018-12-05T20:50:10.791Z,1004,92,92,92,1,390943,0.278,1406270
2018-12-05T20:50:14.033Z,10004,966,966,966,1,3881500,2.312,1678849
2018-12-05T20:50:14.569Z,54,2,8,18,2,37896,0.089,425798
2018-12-05T20:50:15.189Z,124,6,23,48,2,70167,0.109,643734
2018-12-05T20:50:16.203Z,1686,92,355,712,2,804911,0.445,1808789
2018-12-05T20:50:21.269Z,17278,966,3682,7366,2,8124409,3.883,2092302
2018-12-05T20:50:22.966Z,43,1,2,2,1,31653,0.093,340355
2018-12-05T20:50:24.054Z,52,2,32,120,4,42399,0.096,441656
2018-12-05T20:50:24.754Z,73,24,0,0,1,16841,0.078,215910
2018-12-05T20:50:25.371Z,31,4,4,4,2,15746,0.078,201872
2018-12-05T20:50:27.429Z,9008,1,2999,5998,2,1940790,1.092,1777280
2018-12-05T20:50:28.155Z,57,16,32,64,2,200560,0.159,1261384
2018-12-05T20:50:29.138Z,28,1,2,4,2,671687,0.377,1781663
2018-12-05T20:50:35.412Z,1004,1000,1000,1000,1,9855584,4.045,2436486
2018-12-05T20:50:37.043Z,260,8,50,307,6,469348,0.291,1612880
2018-12-05T20:50:39.112Z,630,18,237,1917,5,807082,0.533,1514225
2018-12-05T20:50:39.970Z,14,1,1,1,1,138707,0.136,1019904
2018-12-05T20:50:41.313Z,347,6,1591,18973,12,753961,0.372,2026777
2018-12-05T20:50:41.975Z,46,6,7,30,2,43022,0.093,462602
2018-12-05T20:50:43.120Z,60,1,1,1,2,80259,0.118,680161
2018-12-05T20:50:44.903Z,201,10,10,10,2,2321539,1.044,2223696
2018-12-05T20:50:45.778Z,171,1,24,70,2,39633,0.102,388559
2018-12-05T20:50:46.864Z,16,1,6,12,2,27457,0.091,301725
2018-12-05T20:50:47.196Z,13,1,2,2,1,34261,0.085,403071
2018-12-05T20:50:49.224Z,46,101,202,404,2,1216564,0.583,2086731
2018-12-05T20:50:49.653Z,29,10,13,26,2,56005,0.102,549069
2018-12-05T20:50:50.724Z,356,1,39,124,4,129971,0.151,860735
2018-12-05T20:50:51.472Z,56,1,1,1,2,61604,0.108,570407
2018-12-05T20:50:52.686Z,309,1,10,82,4,127925,0.146,876199
2018-12-05T20:50:53.326Z,30,2,4,8,4,34642,0.088,393659
2018-12-05T20:50:55.521Z,1546,47,105,330,4,1536591,0.977,1572765
2018-12-05T20:51:00.999Z,100600,117,0,0,1,5367472,4.582,1171426
2018-12-05T20:51:01.518Z,8,8,8,8,1,32292,0.078,414000
2018-12-05T20:51:01.833Z,7,7,7,7,1,26523,0.079,335734
2018-12-05T20:51:02.246Z,10,10,10,10,1,29570,0.086,343837
2018-12-05T20:51:02.688Z,12,12,13,29,2,53810,0.097,554742
2018-12-05T20:51:03.828Z,158,1,1,1,2,73298,0.137,535022
2018-12-05T20:51:04.265Z,5,5,5,5,1,25716,0.084,306143
2018-12-05T20:51:06.218Z,22,1,1,1,1,2902514,1.269,2287245
2018-12-05T20:51:07.051Z,55,13,13,41,1,21841,0.084,260012
2018-12-05T20:51:07.762Z,78,9,9,9,2,24790,0.090,275444
2018-12-05T20:51:08.472Z,47,4,0,0,1,22901,0.084,272631
2018-12-05T20:51:09.794Z,34,1,2,4,1,32762,0.099,330929
2018-12-05T20:51:10.036Z,88,6,6,6,1,26917,0.086,312988
2018-12-05T20:51:10.789Z,29,1,1,1,1,158732,0.144,1102306
2018-12-05T20:51:11.412Z,27,1,1,1,1,114820,0.117,981368
2018-12-05T20:51:11.849Z,106,35,35,35,0,66894,0.105,637086
2018-12-05T20:51:12.912Z,59,16,91,338,3,68869,0.112,614902
2018-12-05T20:51:13.567Z,113,16,27,115,5,54668,0.105,520648
2018-12-05T20:51:14.772Z,102,1,209,218,1,78576,0.117,671590
2018-12-05T20:51:15.572Z,78,4,47,7,1,56345,0.104,541779
2018-12-05T20:51:16.270Z,13,2,2,2,1,21881,0.083,263627
2018-12-05T20:51:16.986Z,13,2,2,2,1,22053,0.078,282731
2018-12-05T20:51:17.601Z,11,2,2,2,1,21072,0.078,270154
2018-12-05T20:51:19.033Z,683,222,443,1776,4,1533398,0.717,2138630
2018-12-05T20:51:20.286Z,59,16,91,338,3,68913,0.113,609850
2018-12-05T20:51:22.046Z,1013,1,1,1,1,1397462,0.648,2156577
2018-12-05T20:51:23.154Z,288,1,12,28,2,40074,0.100,400740
2018-12-05T20:51:23.644Z,9,2,3,6,2,21890,0.079,277089
2018-12-05T20:51:24.253Z,35,101,0,0,0,27493,0.083,331241
2018-12-05T20:51:25.202Z,606,81,81,81,1,92552,0.132,701152
2018-12-05T20:51:25.916Z,608,54,54,54,1,81665,0.122,669385
2018-12-05T20:51:26.530Z,608,46,46,46,1,74740,0.121,617686
2018-12-05T20:51:27.237Z,610,19,19,19,1,54413,0.113,481531
2018-12-05T20:51:28.823Z,769,3,1,1,0,336774,0.235,1433081
2018-12-05T20:51:30.302Z,16,1,1,1,1,1254766,0.664,1889708
2018-12-05T20:51:31.223Z,26,7,21,42,4,65839,0.114,577535
2018-12-05T20:51:31.962Z,57,1,1,1,1,63403,0.108,587065
2018-12-05T20:51:32.655Z,60,2,24,88,5,49537,0.099,500374
2018-12-05T20:51:33.172Z,5,5,5,5,1,24995,0.081,308580
2018-12-05T20:51:33.784Z,20,1,7,25,5,26792,0.085,315200
2018-12-05T20:51:34.733Z,97,1,9,43,3,42820,0.114,375614
2018-12-05T20:51:34.942Z,0,0,0,0,1,12282,0.067,183313
2018-12-05T21:44:41.670Z,34,1,1,1,2,47207,0.046,1026239
2018-12-05T21:44:42.902Z,470,97,146,855,5,977171,0.181,5398735
2018-12-05T21:44:44.041Z,295,50,100,48,4,220863,0.087,2538655
2018-12-05T21:44:46.663Z,10012,1518,1518,1518,1,4718073,0.766,6159364
2018-12-05T21:44:46.967Z,9,3,6,12,2,27381,0.030,912700
2018-12-05T21:44:47.749Z,43,2,4,8,2,41181,0.042,980500
2018-12-05T21:44:48.210Z,22,17,17,17,2,74379,0.053,1403377
2018-12-05T21:44:48.571Z,17,5,5,5,2,50019,0.051,980765
2018-12-05T21:44:49.063Z,22,1,6,18,3,24506,0.036,680722
2018-12-05T21:44:49.659Z,14,2,2,2,1,25854,0.032,807938
2018-12-05T21:44:49.895Z,104,6,6,6,1,43492,0.045,966489
2018-12-05T21:44:50.230Z,1004,92,92,92,1,390990,0.101,3871188
2018-12-05T21:44:51.482Z,10004,966,966,966,1,3881546,0.815,4762633
2018-12-05T21:44:51.840Z,54,2,8,18,2,37942,0.043,882372
2018-12-05T21:44:52.201Z,124,6,23,48,2,70214,0.050,1404280
2018-12-05T21:44:52.712Z,1686,92,355,712,2,804959,0.161,4999745
2018-12-05T21:44:54.443Z,17278,966,3682,7366,2,8124454,1.243,6536166
2018-12-05T21:44:55.664Z,43,1,2,2,1,31699,0.040,792475
2018-12-05T21:44:56.264Z,52,2,32,120,4,42480,0.043,987907
2018-12-05T21:44:56.693Z,73,24,0,0,1,16888,0.033,511758
2018-12-05T21:44:57.031Z,31,4,4,4,2,15793,0.033,478576
2018-12-05T21:44:58.087Z,9008,1,2999,5998,2,1940872,0.354,5482689
2018-12-05T21:44:58.563Z,57,16,32,64,2,200604,0.057,3519368
2018-12-05T21:44:59.096Z,28,1,2,4,2,671735,0.136,4939228
2018-12-05T21:45:01.600Z,1004,1000,1000,1000,1,9855651,1.231,8006215
2018-12-05T21:45:02.452Z,260,8,50,307,6,469226,0.112,4189518
2018-12-05T21:45:03.429Z,630,18,237,1917,5,807250,0.195,4139744
2018-12-05T21:45:03.890Z,14,1,1,1,1,138775,0.054,2569907
2018-12-05T21:45:04.585Z,347,6,1591,18973,12,753807,0.119,6334513
2018-12-05T21:45:05.034Z,46,6,7,30,2,43090,0.046,936739
2018-12-05T21:45:05.631Z,60,1,1,1,2,80357,0.047,1709723
2018-12-05T21:45:06.477Z,201,10,10,10,2,2321350,0.356,6520646
2018-12-05T21:45:07.088Z,171,1,24,70,2,39750,0.046,864130
2018-12-05T21:45:07.692Z,16,1,6,12,2,27591,0.038,726079
2018-12-05T21:45:07.888Z,13,1,2,2,1,34311,0.036,953083
2018-12-05T21:45:08.803Z,46,101,202,404,2,1216596,0.170,7156447
2018-12-05T21:45:09.101Z,29,10,13,26,2,56038,0.037,1514541
2018-12-05T21:45:09.719Z,356,1,39,124,4,130074,0.054,2408778
2018-12-05T21:45:10.233Z,56,1,1,1,2,61685,0.050,1233700
2018-12-05T21:45:10.889Z,309,1,10,82,4,128040,0.065,1969846
2018-12-05T21:45:11.321Z,30,2,4,8,4,34690,0.041,846098
2018-12-05T21:45:12.402Z,1546,47,105,330,4,1536709,0.265,5798902
2018-12-05T21:45:14.164Z,100600,117,0,0,1,5369778,1.425,3768265
2018-12-05T21:45:14.463Z,8,8,8,8,1,32253,0.035,921514
2018-12-05T21:45:14.635Z,7,7,7,7,1,26482,0.024,1103417
2018-12-05T21:45:14.810Z,10,10,10,10,1,29530,0.031,952581
2018-12-05T21:45:14.995Z,12,12,13,29,2,53770,0.037,1453243
2018-12-05T21:45:15.615Z,158,1,1,1,2,73053,0.050,1461060
2018-12-05T21:45:15.899Z,5,5,5,5,1,25708,0.033,779030
2018-12-05T21:45:16.658Z,22,1,1,1,1,2902542,0.385,7539070
2018-12-05T21:45:17.111Z,55,13,13,41,1,21870,0.030,729000
2018-12-05T21:45:17.495Z,78,9,9,9,2,24849,0.038,653921
2018-12-05T21:45:17.961Z,47,4,0,0,1,22963,0.037,620622
2018-12-05T21:45:19.200Z,34,1,2,4,1,32927,0.047,700574
2018-12-05T21:45:19.357Z,88,6,6,6,1,27031,0.032,844719
2018-12-05T21:45:19.810Z,29,1,1,1,1,158780,0.060,2646333
2018-12-05T21:45:20.270Z,27,1,1,1,1,114867,0.050,2297340
2018-12-05T21:45:20.572Z,106,35,35,35,0,67044,0.051,1314588
2018-12-05T21:45:21.244Z,59,16,91,338,3,68984,0.057,1210246
2018-12-05T21:45:21.654Z,113,16,27,115,5,54749,0.048,1140604
2018-12-05T21:45:22.286Z,102,1,209,218,1,78658,0.047,1673574
2018-12-05T21:45:22.748Z,78,4,47,7,1,56392,0.046,1225913
2018-12-05T21:45:23.187Z,13,2,2,2,1,21929,0.041,534854
2018-12-05T21:45:23.617Z,13,2,2,2,1,22098,0.038,581526
2018-12-05T21:45:23.959Z,11,2,2,2,1,21120,0.036,586667
2018-12-05T21:45:24.710Z,683,222,443,1776,4,1533442,0.231,6638277
2018-12-05T21:45:25.448Z,59,16,91,338,3,69028,0.047,1468681
2018-12-05T21:45:26.248Z,1013,1,1,1,1,1397543,0.224,6239031
2018-12-05T21:45:26.875Z,288,1,12,28,2,40155,0.043,933837
2018-12-05T21:45:27.193Z,9,2,3,6,2,21939,0.033,664818
2018-12-05T21:45:27.380Z,35,101,0,0,0,27540,0.030,918000
2018-12-05T21:45:27.866Z,606,81,81,81,1,92633,0.057,1625140
2018-12-05T21:45:28.180Z,608,54,54,54,1,81745,0.051,1602843
2018-12-05T21:45:28.490Z,608,46,46,46,1,74821,0.049,1526959
2018-12-05T21:45:28.808Z,610,19,19,19,1,54494,0.049,1112122
2018-12-05T21:45:29.678Z,769,3,1,1,0,336956,0.101,3336198
2018-12-05T21:45:30.327Z,16,1,1,1,1,1254813,0.228,5503566
2018-12-05T21:45:30.945Z,26,7,21,42,4,65920,0.052,1267692
2018-12-05T21:45:31.373Z,57,1,1,1,1,63450,0.044,1442045
2018-12-05T21:45:31.827Z,60,2,24,88,5,49584,0.048,1033000
2018-12-05T21:45:32.122Z,5,5,5,5,1,25009,0.035,714543
2018-12-05T21:45:32.461Z,20,1,7,25,5,26839,0.034,789382
2018-12-05T21:45:32.949Z,97,1,9,43,3,42610,0.052,819423
2018-12-05T21:45:33.093Z,0,0,0,0,1,12294,0.026,472846
# Wed Dec 5 21:49:55 CET 2018
# Wed Dec 5 22:44:41 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-05T20:51:15.572Z in=78 out=4 ent=47 step=7 brake=1 inf=56345 sec=0.104 inf/sec=541779
#2018-12-05T21:45:22.748Z in=78 out=4 ent=47 step=7 brake=1 inf=56392 sec=0.046 inf/sec=1225913
#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-05T20:51:14.772Z in=102 out=1 ent=209 step=218 brake=1 inf=78576 sec=0.117 inf/sec=671590
#2018-12-05T21:45:22.286Z in=102 out=1 ent=209 step=218 brake=1 inf=78658 sec=0.047 inf/sec=1673574
#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-05T20:51:16.270Z in=13 out=2 ent=2 step=2 brake=1 inf=21881 sec=0.083 inf/sec=263627
#2018-12-05T21:45:23.187Z in=13 out=2 ent=2 step=2 brake=1 inf=21929 sec=0.041 inf/sec=534854
#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-05T20:51:16.986Z in=13 out=2 ent=2 step=2 brake=1 inf=22053 sec=0.078 inf/sec=282731
#2018-12-05T21:45:23.617Z in=13 out=2 ent=2 step=2 brake=1 inf=22098 sec=0.038 inf/sec=581526
#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-05T20:51:17.601Z in=11 out=2 ent=2 step=2 brake=1 inf=21072 sec=0.078 inf/sec=270154
#2018-12-05T21:45:23.959Z in=11 out=2 ent=2 step=2 brake=1 inf=21120 sec=0.036 inf/sec=586667
#ENDS