Commit 82f51f86 authored by josd's avatar josd

refresh

parent 34067c37
......@@ -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-04T22:53:32.097Z in=34 out=1 ent=1 step=1 brake=2 inf=47448 sec=0.121 inf/sec=392132
#2018-12-05T20:49:55.816Z in=34 out=1 ent=1 step=1 brake=2 inf=47450 sec=0.115 inf/sec=412609
#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-04T22:53:33.901Z in=470 out=97 ent=146 step=855 brake=5 inf=977309 sec=0.531 inf/sec=1840507
#2018-12-05T20:49:57.626Z in=470 out=97 ent=146 step=855 brake=5 inf=977309 sec=0.528 inf/sec=1850964
#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-04T22:53:35.362Z in=295 out=50 ent=100 step=48 brake=4 inf=221006 sec=0.222 inf/sec=995523
#2018-12-05T20:49:59.484Z in=295 out=50 ent=100 step=48 brake=4 inf=221006 sec=0.221 inf/sec=1000027
#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-04T22:53:40.851Z in=10012 out=1518 ent=1518 step=1518 brake=1 inf=4717721 sec=2.367 inf/sec=1993123
#2018-12-05T20:50:05.170Z in=10012 out=1518 ent=1518 step=1518 brake=1 inf=4717740 sec=2.327 inf/sec=2027391
#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-04T22:53:41.297Z in=9 out=3 ent=6 step=12 brake=2 inf=27367 sec=0.083 inf/sec=329723
#2018-12-05T20:50:05.719Z in=9 out=3 ent=6 step=12 brake=2 inf=27388 sec=0.085 inf/sec=322212
#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-04T22:53:42.099Z in=43 out=2 ent=4 step=8 brake=2 inf=41102 sec=0.097 inf/sec=423732
#2018-12-05T20:50:06.442Z in=43 out=2 ent=4 step=8 brake=2 inf=41120 sec=0.098 inf/sec=419592
#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-04T22:53:43.490Z in=17 out=5 ent=5 step=5 brake=2 inf=50263 sec=0.118 inf/sec=425958
#2018-12-05T20:50:07.748Z in=17 out=5 ent=5 step=5 brake=2 inf=50281 sec=0.123 inf/sec=408789
#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-04T22:53:42.951Z in=22 out=17 ent=17 step=17 brake=2 inf=74622 sec=0.132 inf/sec=565318
#2018-12-05T20:50:07.194Z in=22 out=17 ent=17 step=17 brake=2 inf=74641 sec=0.132 inf/sec=565462
#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-04T22:53:44.339Z in=22 out=1 ent=6 step=18 brake=3 inf=24424 sec=0.086 inf/sec=284000
#2018-12-05T20:50:08.788Z in=22 out=1 ent=6 step=18 brake=3 inf=24444 sec=0.086 inf/sec=284233
#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-04T22:53:45.058Z in=14 out=2 ent=2 step=2 brake=1 inf=25807 sec=0.085 inf/sec=303612
#2018-12-05T20:50:09.506Z in=14 out=2 ent=2 step=2 brake=1 inf=25824 sec=0.085 inf/sec=303812
#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-04T22:53:45.597Z in=104 out=6 ent=6 step=6 brake=1 inf=43444 sec=0.094 inf/sec=462170
#2018-12-05T20:50:10.054Z in=104 out=6 ent=6 step=6 brake=1 inf=43444 sec=0.098 inf/sec=443306
#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-04T22:53:46.339Z in=1004 out=92 ent=92 step=92 brake=1 inf=390944 sec=0.282 inf/sec=1386326
#2018-12-05T20:50:10.791Z in=1004 out=92 ent=92 step=92 brake=1 inf=390943 sec=0.278 inf/sec=1406270
#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-04T22:53:49.670Z in=10004 out=966 ent=966 step=966 brake=1 inf=3881497 sec=2.296 inf/sec=1690547
#2018-12-05T20:50:14.033Z in=10004 out=966 ent=966 step=966 brake=1 inf=3881500 sec=2.312 inf/sec=1678849
#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-04T22:53:50.290Z in=54 out=2 ent=8 step=18 brake=2 inf=37895 sec=0.090 inf/sec=421056
#2018-12-05T20:50:14.569Z in=54 out=2 ent=8 step=18 brake=2 inf=37896 sec=0.089 inf/sec=425798
#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-04T22:53:50.934Z in=124 out=6 ent=23 step=48 brake=2 inf=70167 sec=0.108 inf/sec=649694
#2018-12-05T20:50:15.189Z in=124 out=6 ent=23 step=48 brake=2 inf=70167 sec=0.109 inf/sec=643734
#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-04T22:53:52.062Z in=1686 out=92 ent=355 step=712 brake=2 inf=804912 sec=0.456 inf/sec=1765158
#2018-12-05T20:50:16.203Z in=1686 out=92 ent=355 step=712 brake=2 inf=804911 sec=0.445 inf/sec=1808789
#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-04T22:53:57.001Z in=17278 out=966 ent=3682 step=7366 brake=2 inf=8124407 sec=3.878 inf/sec=2094999
#2018-12-05T20:50:21.269Z in=17278 out=966 ent=3682 step=7366 brake=2 inf=8124409 sec=3.883 inf/sec=2092302
#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-04T22:53:58.488Z in=43 out=1 ent=2 step=2 brake=1 inf=31652 sec=0.086 inf/sec=368047
#2018-12-05T20:50:22.966Z in=43 out=1 ent=2 step=2 brake=1 inf=31653 sec=0.093 inf/sec=340355
#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-04T22:53:59.506Z in=52 out=2 ent=32 step=120 brake=4 inf=42399 sec=0.100 inf/sec=423990
#2018-12-05T20:50:24.054Z in=52 out=2 ent=32 step=120 brake=4 inf=42399 sec=0.096 inf/sec=441656
#ENDS
......@@ -28,6 +28,6 @@ PREFIX dqc: <http://josd.github.io/eye/reasoning/dqc#>
3 dqc:sdcoding 0 .
3 dqc:sdcoding 2 .
#2018-12-04T22:54:00.204Z in=73 out=24 ent=0 step=0 brake=1 inf=16858 sec=0.076 inf/sec=221816
#2018-12-05T20:50:24.754Z in=73 out=24 ent=0 step=0 brake=1 inf=16841 sec=0.078 inf/sec=215910
#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-04T22:54:00.693Z in=31 out=4 ent=4 step=4 brake=2 inf=15767 sec=0.079 inf/sec=199582
#2018-12-05T20:50:25.371Z in=31 out=4 ent=4 step=4 brake=2 inf=15746 sec=0.078 inf/sec=201872
#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-04T22:54:02.655Z in=9008 out=1 ent=2999 step=5998 brake=2 inf=1940809 sec=1.097 inf/sec=1769197
#2018-12-05T20:50:27.429Z in=9008 out=1 ent=2999 step=5998 brake=2 inf=1940790 sec=1.092 inf/sec=1777280
#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-04T22:54:03.571Z in=57 out=16 ent=32 step=64 brake=2 inf=200578 sec=0.162 inf/sec=1238136
#2018-12-05T20:50:28.155Z in=57 out=16 ent=32 step=64 brake=2 inf=200560 sec=0.159 inf/sec=1261384
#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-04T22:54:06.340Z in=28 out=1 ent=2 step=4 brake=2 inf=671707 sec=0.371 inf/sec=1810531
#2018-12-05T20:50:29.138Z in=28 out=1 ent=2 step=4 brake=2 inf=671687 sec=0.377 inf/sec=1781663
#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-04T22:54:12.495Z in=1004 out=1000 ent=1000 step=1000 brake=1 inf=9855583 sec=4.040 inf/sec=2439501
#2018-12-05T20:50:35.412Z in=1004 out=1000 ent=1000 step=1000 brake=1 inf=9855584 sec=4.045 inf/sec=2436486
#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-04T22:54:14.131Z in=260 out=8 ent=50 step=307 brake=6 inf=469348 sec=0.296 inf/sec=1585635
#2018-12-05T20:50:37.043Z in=260 out=8 ent=50 step=307 brake=6 inf=469348 sec=0.291 inf/sec=1612880
#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-04T22:54:15.991Z in=630 out=18 ent=237 step=1917 brake=5 inf=807081 sec=0.535 inf/sec=1508563
#2018-12-05T20:50:39.112Z in=630 out=18 ent=237 step=1917 brake=5 inf=807082 sec=0.533 inf/sec=1514225
#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-04T22:54:16.849Z in=14 out=1 ent=1 step=1 brake=1 inf=138708 sec=0.135 inf/sec=1027467
#2018-12-05T20:50:39.970Z in=14 out=1 ent=1 step=1 brake=1 inf=138707 sec=0.136 inf/sec=1019904
#ENDS
......@@ -935,6 +935,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
);
r:rule <#lemma92>.
#2018-12-04T22:54:18.399Z in=347 out=6 ent=1591 step=18973 brake=12 inf=753962 sec=0.373 inf/sec=2021346
#2018-12-05T20:50:41.313Z in=347 out=6 ent=1591 step=18973 brake=12 inf=753961 sec=0.372 inf/sec=2026777
#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-04T22:54:19.063Z in=46 out=6 ent=7 step=30 brake=2 inf=43021 sec=0.096 inf/sec=448135
#2018-12-05T20:50:41.975Z in=46 out=6 ent=7 step=30 brake=2 inf=43022 sec=0.093 inf/sec=462602
#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-04T22:54:19.896Z in=60 out=1 ent=1 step=1 brake=2 inf=80257 sec=0.116 inf/sec=691871
#2018-12-05T20:50:43.120Z in=60 out=1 ent=1 step=1 brake=2 inf=80259 sec=0.118 inf/sec=680161
#ENDS
......@@ -5872,6 +5872,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
);
r:rule <#lemma336>.
#2018-12-04T22:54:21.649Z in=201 out=10 ent=10 step=10 brake=2 inf=2321539 sec=1.037 inf/sec=2238707
#2018-12-05T20:50:44.903Z in=201 out=10 ent=10 step=10 brake=2 inf=2321539 sec=1.044 inf/sec=2223696
#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-04T22:54:22.492Z in=171 out=1 ent=24 step=70 brake=2 inf=39635 sec=0.100 inf/sec=396350
#2018-12-05T20:50:45.778Z in=171 out=1 ent=24 step=70 brake=2 inf=39633 sec=0.102 inf/sec=388559
#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-04T22:54:23.556Z in=16 out=1 ent=6 step=12 brake=2 inf=27455 sec=0.092 inf/sec=298424
#2018-12-05T20:50:46.864Z in=16 out=1 ent=6 step=12 brake=2 inf=27457 sec=0.091 inf/sec=301725
#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-04T22:54:23.867Z in=13 out=1 ent=2 step=2 brake=1 inf=34262 sec=0.083 inf/sec=412795
#2018-12-05T20:50:47.196Z in=13 out=1 ent=2 step=2 brake=1 inf=34261 sec=0.085 inf/sec=403071
#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-04T22:54:25.863Z in=46 out=101 ent=202 step=404 brake=2 inf=1216561 sec=0.542 inf/sec=2244577
#2018-12-05T20:50:49.224Z in=46 out=101 ent=202 step=404 brake=2 inf=1216564 sec=0.583 inf/sec=2086731
#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-04T22:54:26.338Z in=29 out=10 ent=13 step=26 brake=2 inf=56005 sec=0.097 inf/sec=577371
#2018-12-05T20:50:49.653Z in=29 out=10 ent=13 step=26 brake=2 inf=56005 sec=0.102 inf/sec=549069
#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-04T22:54:27.324Z in=356 out=1 ent=39 step=124 brake=4 inf=129971 sec=0.154 inf/sec=843968
#2018-12-05T20:50:50.724Z in=356 out=1 ent=39 step=124 brake=4 inf=129971 sec=0.151 inf/sec=860735
#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-04T22:54:28.493Z in=56 out=1 ent=1 step=1 brake=2 inf=61605 sec=0.118 inf/sec=522076
#2018-12-05T20:50:51.472Z in=56 out=1 ent=1 step=1 brake=2 inf=61604 sec=0.108 inf/sec=570407
#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-04T22:54:29.657Z in=309 out=1 ent=10 step=82 brake=4 inf=127924 sec=0.142 inf/sec=900873
#2018-12-05T20:50:52.686Z in=309 out=1 ent=10 step=82 brake=4 inf=127925 sec=0.146 inf/sec=876199
#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-04T22:54:30.305Z in=30 out=2 ent=4 step=8 brake=4 inf=34642 sec=0.094 inf/sec=368532
#2018-12-05T20:50:53.326Z in=30 out=2 ent=4 step=8 brake=4 inf=34642 sec=0.088 inf/sec=393659
#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-04T22:54:33.022Z in=1546 out=47 ent=105 step=330 brake=4 inf=1536592 sec=0.982 inf/sec=1564758
#2018-12-05T20:50:55.521Z in=1546 out=47 ent=105 step=330 brake=4 inf=1536591 sec=0.977 inf/sec=1572765
#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-04T22:54:39.412Z in=7 out=7 ent=7 step=7 brake=1 inf=26503 sec=0.076 inf/sec=348724
#2018-12-05T20:51:01.833Z in=7 out=7 ent=7 step=7 brake=1 inf=26523 sec=0.079 inf/sec=335734
#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-04T22:54:39.729Z in=10 out=10 ent=10 step=10 brake=1 inf=29552 sec=0.088 inf/sec=335818
#2018-12-05T20:51:02.246Z in=10 out=10 ent=10 step=10 brake=1 inf=29570 sec=0.086 inf/sec=343837
#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-04T22:54:40.153Z in=12 out=12 ent=13 step=29 brake=2 inf=53788 sec=0.105 inf/sec=512267
#2018-12-05T20:51:02.688Z in=12 out=12 ent=13 step=29 brake=2 inf=53810 sec=0.097 inf/sec=554742
#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-04T22:54:39.112Z in=8 out=8 ent=8 step=8 brake=1 inf=32274 sec=0.079 inf/sec=408532
#2018-12-05T20:51:01.518Z in=8 out=8 ent=8 step=8 brake=1 inf=32292 sec=0.078 inf/sec=414000
#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-04T22:54:41.103Z in=158 out=1 ent=1 step=1 brake=2 inf=73264 sec=0.140 inf/sec=523314
#2018-12-05T20:51:03.828Z in=158 out=1 ent=1 step=1 brake=2 inf=73298 sec=0.137 inf/sec=535022
#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-04T22:54:41.570Z in=5 out=5 ent=5 step=5 brake=1 inf=25697 sec=0.078 inf/sec=329449
#2018-12-05T20:51:04.265Z in=5 out=5 ent=5 step=5 brake=1 inf=25716 sec=0.084 inf/sec=306143
#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-04T22:54:43.503Z in=22 out=1 ent=1 step=1 brake=1 inf=2902497 sec=1.408 inf/sec=2061433
#2018-12-05T20:51:06.218Z in=22 out=1 ent=1 step=1 brake=1 inf=2902514 sec=1.269 inf/sec=2287245
#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:48:52.800Z in=47 out=4 ent=0 step=0 brake=1 inf=22885 sec=0.087 inf/sec=263046
#2018-12-05T20:51:08.472Z in=47 out=4 ent=0 step=0 brake=1 inf=22901 sec=0.084 inf/sec=272631
#ENDS
......@@ -18,6 +18,6 @@ PREFIX : <http://josd.github.io/eye/reasoning#>
:input5 :ground "c".
:input5 :ground "a".
#2018-12-05T20:48:51.264Z in=55 out=13 ent=13 step=41 brake=1 inf=21826 sec=0.086 inf/sec=253791
#2018-12-05T20:51:07.051Z in=55 out=13 ent=13 step=41 brake=1 inf=21841 sec=0.084 inf/sec=260012
#ENDS
......@@ -16,6 +16,6 @@ PREFIX : <http://josd.github.io/eye/reasoning#>
(:input4 :v3) :odds 0.5 .
(:input5 "a") :odds 1 .
#2018-12-05T20:48:51.872Z in=78 out=9 ent=9 step=9 brake=2 inf=24773 sec=0.091 inf/sec=272231
#2018-12-05T20:51:07.762Z in=78 out=9 ent=9 step=9 brake=2 inf=24790 sec=0.090 inf/sec=275444
#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-04T22:54:44.950Z in=34 out=1 ent=2 step=4 brake=1 inf=32744 sec=0.102 inf/sec=321020
#2018-12-05T20:51:09.794Z in=34 out=1 ent=2 step=4 brake=1 inf=32762 sec=0.099 inf/sec=330929
#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-04T22:54:48.143Z in=59 out=16 ent=91 step=338 brake=3 inf=68869 sec=0.110 inf/sec=626082
#2018-12-05T20:51:12.912Z in=59 out=16 ent=91 step=338 brake=3 inf=68869 sec=0.112 inf/sec=614902
#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-04T22:54:48.773Z in=113 out=16 ent=27 step=115 brake=5 inf=54668 sec=0.103 inf/sec=530757
#2018-12-05T20:51:13.567Z in=113 out=16 ent=27 step=115 brake=5 inf=54668 sec=0.105 inf/sec=520648
#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-04T22:54:47.124Z in=106 out=35 ent=35 step=35 brake=0 inf=66894 sec=0.108 inf/sec=619389
#2018-12-05T20:51:11.849Z in=106 out=35 ent=35 step=35 brake=0 inf=66894 sec=0.105 inf/sec=637086
#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-04T22:54:45.937Z in=29 out=1 ent=1 step=1 brake=1 inf=158733 sec=0.143 inf/sec=1110021
#2018-12-05T20:51:10.789Z in=29 out=1 ent=1 step=1 brake=1 inf=158732 sec=0.144 inf/sec=1102306
#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-04T22:54:46.632Z in=27 out=1 ent=1 step=1 brake=1 inf=114822 sec=0.118 inf/sec=973068
#2018-12-05T20:51:11.412Z in=27 out=1 ent=1 step=1 brake=1 inf=114820 sec=0.117 inf/sec=981368
#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-04T22:54:45.189Z in=88 out=6 ent=6 step=6 brake=1 inf=26916 sec=0.084 inf/sec=320429
#2018-12-05T20:51:10.036Z in=88 out=6 ent=6 step=6 brake=1 inf=26917 sec=0.086 inf/sec=312988
#ENDS
stamp,in,out,ent,step,brake,inf,sec,inf/sec
2018-12-04T22:53:32.097Z,34,1,1,1,2,47448,0.121,392132
2018-12-04T22:53:33.901Z,470,97,146,855,5,977309,0.531,1840507
2018-12-04T22:53:35.362Z,295,50,100,48,4,221006,0.222,995523
2018-12-04T22:53:40.851Z,10012,1518,1518,1518,1,4717721,2.367,1993123
2018-12-04T22:53:41.297Z,9,3,6,12,2,27367,0.083,329723
2018-12-04T22:53:42.099Z,43,2,4,8,2,41102,0.097,423732
2018-12-04T22:53:42.951Z,22,17,17,17,2,74622,0.132,565318
2018-12-04T22:53:43.490Z,17,5,5,5,2,50263,0.118,425958
2018-12-04T22:53:44.339Z,22,1,6,18,3,24424,0.086,284000
2018-12-04T22:53:45.058Z,14,2,2,2,1,25807,0.085,303612
2018-12-04T22:53:45.597Z,104,6,6,6,1,43444,0.094,462170
2018-12-04T22:53:46.339Z,1004,92,92,92,1,390944,0.282,1386326
2018-12-04T22:53:49.670Z,10004,966,966,966,1,3881497,2.296,1690547
2018-12-04T22:53:50.290Z,54,2,8,18,2,37895,0.090,421056
2018-12-04T22:53:50.934Z,124,6,23,48,2,70167,0.108,649694
2018-12-04T22:53:52.062Z,1686,92,355,712,2,804912,0.456,1765158
2018-12-04T22:53:57.001Z,17278,966,3682,7366,2,8124407,3.878,2094999
2018-12-04T22:53:58.488Z,43,1,2,2,1,31652,0.086,368047
2018-12-04T22:53:59.506Z,52,2,32,120,4,42399,0.100,423990
2018-12-04T22:54:00.204Z,73,24,0,0,1,16858,0.076,221816
2018-12-04T22:54:00.693Z,31,4,4,4,2,15767,0.079,199582
2018-12-04T22:54:02.655Z,9008,1,2999,5998,2,1940809,1.097,1769197
2018-12-04T22:54:03.571Z,57,16,32,64,2,200578,0.162,1238136
2018-12-04T22:54:04.172Z,55,13,13,41,1,21842,0.083,263157
2018-12-04T22:54:04.810Z,79,9,9,9,2,25019,0.090,277989
2018-12-04T22:54:05.535Z,46,4,0,0,1,22587,0.088,256670
2018-12-04T22:54:06.340Z,28,1,2,4,2,671707,0.371,1810531
2018-12-04T22:54:12.495Z,1004,1000,1000,1000,1,9855583,4.040,2439501
2018-12-04T22:54:14.131Z,260,8,50,307,6,469348,0.296,1585635
2018-12-04T22:54:15.991Z,630,18,237,1917,5,807081,0.535,1508563
2018-12-04T22:54:16.849Z,14,1,1,1,1,138708,0.135,1027467
2018-12-04T22:54:18.399Z,347,6,1591,18973,12,753962,0.373,2021346
2018-12-04T22:54:19.063Z,46,6,7,30,2,43021,0.096,448135
2018-12-04T22:54:19.896Z,60,1,1,1,2,80257,0.116,691871
2018-12-04T22:54:21.649Z,201,10,10,10,2,2321539,1.037,2238707
2018-12-04T22:54:22.492Z,171,1,24,70,2,39635,0.100,396350
2018-12-04T22:54:23.556Z,16,1,6,12,2,27455,0.092,298424
2018-12-04T22:54:23.867Z,13,1,2,2,1,34262,0.083,412795
2018-12-04T22:54:25.863Z,46,101,202,404,2,1216561,0.542,2244577
2018-12-04T22:54:26.338Z,29,10,13,26,2,56005,0.097,577371
2018-12-04T22:54:27.324Z,356,1,39,124,4,129971,0.154,843968
2018-12-04T22:54:28.493Z,56,1,1,1,2,61605,0.118,522076
2018-12-04T22:54:29.657Z,309,1,10,82,4,127924,0.142,900873
2018-12-04T22:54:30.305Z,30,2,4,8,4,34642,0.094,368532
2018-12-04T22:54:33.022Z,1546,47,105,330,4,1536592,0.982,1564758
2018-12-04T22:54:38.595Z,100600,117,0,0,1,5366355,4.578,1172205
2018-12-04T22:54:39.112Z,8,8,8,8,1,32274,0.079,408532
2018-12-04T22:54:39.412Z,7,7,7,7,1,26503,0.076,348724
2018-12-04T22:54:39.729Z,10,10,10,10,1,29552,0.088,335818
2018-12-04T22:54:40.153Z,12,12,13,29,2,53788,0.105,512267
2018-12-04T22:54:41.103Z,158,1,1,1,2,73264,0.140,523314
2018-12-04T22:54:41.570Z,5,5,5,5,1,25697,0.078,329449
2018-12-04T22:54:43.503Z,22,1,1,1,1,2902497,1.408,2061433
2018-12-04T22:54:44.950Z,34,1,2,4,1,32744,0.102,321020
2018-12-04T22:54:45.189Z,88,6,6,6,1,26916,0.084,320429
2018-12-04T22:54:45.937Z,29,1,1,1,1,158733,0.143,1110021
2018-12-04T22:54:46.632Z,27,1,1,1,1,114822,0.118,973068
2018-12-04T22:54:47.124Z,106,35,35,35,0,66894,0.108,619389
2018-12-04T22:54:48.143Z,59,16,91,338,3,68869,0.110,626082
2018-12-04T22:54:48.773Z,113,16,27,115,5,54668,0.103,530757
2018-12-04T22:54:49.610Z,102,1,209,218,1,78576,0.116,677379
2018-12-04T22:54:50.316Z,78,4,47,7,1,56345,0.110,512227
2018-12-04T22:54:50.986Z,13,2,2,2,1,21881,0.085,257424
2018-12-04T22:54:51.690Z,13,2,2,2,1,22053,0.080,275663
2018-12-04T22:54:52.174Z,11,2,2,2,1,21071,0.083,253867
2018-12-04T22:54:53.526Z,683,222,443,1776,4,1533396,0.720,2129717
2018-12-04T22:54:54.705Z,59,16,91,338,3,68911,0.116,594060
2018-12-04T22:54:56.255Z,1013,1,1,1,1,1397463,0.657,2127037
2018-12-04T22:54:57.367Z,288,1,12,28,2,40073,0.102,392873
2018-12-04T22:54:57.939Z,9,2,3,6,2,21891,0.083,263747
2018-12-04T22:54:58.252Z,35,101,0,0,0,27495,0.081,339444
2018-12-04T22:54:59.133Z,606,81,81,81,1,92554,0.128,723078
2018-12-04T22:54:59.734Z,608,54,54,54,1,81663,0.130,628177
2018-12-04T22:55:00.430Z,608,46,46,46,1,74762,0.121,617868
2018-12-04T22:55:00.996Z,610,19,19,19,1,54432,0.111,490378
2018-12-04T22:55:02.808Z,769,3,1,1,0,336794,0.239,1409180
2018-12-04T22:55:04.043Z,16,1,1,1,1,1254787,0.668,1878424
2018-12-04T22:55:04.928Z,26,7,21,42,4,65861,0.111,593342
2018-12-04T22:55:05.762Z,57,1,1,1,1,63422,0.107,592729
2018-12-04T22:55:06.473Z,60,2,24,88,5,49555,0.100,495550
2018-12-04T22:55:06.889Z,5,5,5,5,1,25016,0.080,312700
2018-12-04T22:55:07.395Z,20,1,7,25,5,26812,0.084,319190
2018-12-04T22:55:08.433Z,97,1,9,43,3,42840,0.120,357000
2018-12-04T22:55:08.649Z,0,0,0,0,1,12301,0.068,180897
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
# Tue Dec 4 23:53:31 CET 2018
# Wed Dec 5 21:49:55 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-04T22:54:50.316Z in=78 out=4 ent=47 step=7 brake=1 inf=56345 sec=0.110 inf/sec=512227
#2018-12-05T20:51:15.572Z in=78 out=4 ent=47 step=7 brake=1 inf=56345 sec=0.104 inf/sec=541779
#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-04T22:54:49.610Z in=102 out=1 ent=209 step=218 brake=1 inf=78576 sec=0.116 inf/sec=677379
#2018-12-05T20:51:14.772Z in=102 out=1 ent=209 step=218 brake=1 inf=78576 sec=0.117 inf/sec=671590
#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-04T22:54:50.986Z in=13 out=2 ent=2 step=2 brake=1 inf=21881 sec=0.085 inf/sec=257424
#2018-12-05T20:51:16.270Z in=13 out=2 ent=2 step=2 brake=1 inf=21881 sec=0.083 inf/sec=263627
#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-04T22:54:51.690Z in=13 out=2 ent=2 step=2 brake=1 inf=22053 sec=0.080 inf/sec=275663
#2018-12-05T20:51:16.986Z in=13 out=2 ent=2 step=2 brake=1 inf=22053 sec=0.078 inf/sec=282731
#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-04T22:54:52.174Z in=11 out=2 ent=2 step=2 brake=1 inf=21071 sec=0.083 inf/sec=253867
#2018-12-05T20:51:17.601Z in=11 out=2 ent=2 step=2 brake=1 inf=21072 sec=0.078 inf/sec=270154
#ENDS