Commit c3392c91 authored by josd's avatar josd

running with SWI-Prolog 7.7.20 built with cmake

parent 81c9d650
......@@ -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-10-25T21:57:49.967Z in=34 out=1 ent=1 step=1 brake=2 inf=45668 sec=0.111 inf/sec=411423
#2018-10-28T19:51:27.546Z in=34 out=1 ent=1 step=1 brake=2 inf=47397 sec=0.118 inf/sec=401669
#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-10-25T21:57:51.694Z in=470 out=97 ent=145 step=755 brake=4 inf=957899 sec=0.512 inf/sec=1870896
#2018-10-28T19:51:29.462Z in=470 out=97 ent=145 step=755 brake=4 inf=959629 sec=0.531 inf/sec=1807211
#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-10-25T21:57:53.222Z in=295 out=50 ent=100 step=48 brake=4 inf=219258 sec=0.214 inf/sec=1024570
#2018-10-28T19:51:31.309Z in=295 out=50 ent=100 step=48 brake=4 inf=220988 sec=0.221 inf/sec=999946
#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-10-25T21:57:58.560Z in=10012 out=1518 ent=1518 step=1518 brake=1 inf=4717901 sec=2.367 inf/sec=1993199
#2018-10-28T19:51:36.974Z in=10012 out=1518 ent=1518 step=1518 brake=1 inf=4717879 sec=2.404 inf/sec=1962512
#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-10-25T21:57:59.077Z in=9 out=3 ent=6 step=12 brake=2 inf=27429 sec=0.081 inf/sec=338630
#2018-10-28T19:51:37.447Z in=9 out=3 ent=6 step=12 brake=2 inf=27407 sec=0.079 inf/sec=346924
#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-10-25T21:57:59.773Z in=43 out=2 ent=4 step=8 brake=2 inf=41186 sec=0.098 inf/sec=420265
#2018-10-28T19:51:38.377Z in=43 out=2 ent=4 step=8 brake=2 inf=41164 sec=0.095 inf/sec=433305
#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-10-25T21:58:01.036Z in=17 out=5 ent=5 step=5 brake=2 inf=48501 sec=0.113 inf/sec=429212
#2018-10-28T19:51:39.812Z in=17 out=5 ent=5 step=5 brake=2 inf=50209 sec=0.119 inf/sec=421924
#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-10-25T21:58:00.449Z in=22 out=17 ent=17 step=17 brake=2 inf=72858 sec=0.128 inf/sec=569203
#2018-10-28T19:51:39.232Z in=22 out=17 ent=17 step=17 brake=2 inf=74569 sec=0.133 inf/sec=560669
#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-10-25T21:58:01.737Z in=22 out=1 ent=6 step=18 brake=3 inf=24530 sec=0.084 inf/sec=292024
#2018-10-28T19:51:40.721Z in=22 out=1 ent=6 step=18 brake=3 inf=24488 sec=0.084 inf/sec=291524
#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-10-25T21:58:02.249Z in=14 out=2 ent=2 step=2 brake=1 inf=25913 sec=0.081 inf/sec=319914
#2018-10-28T19:51:41.330Z in=14 out=2 ent=2 step=2 brake=1 inf=25856 sec=0.083 inf/sec=311518
#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-10-25T21:58:02.672Z in=104 out=6 ent=6 step=6 brake=1 inf=43535 sec=0.095 inf/sec=458263
#2018-10-28T19:51:41.792Z in=104 out=6 ent=6 step=6 brake=1 inf=43495 sec=0.102 inf/sec=426422
#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-10-25T21:58:03.414Z in=1004 out=92 ent=92 step=92 brake=1 inf=391038 sec=0.275 inf/sec=1421956
#2018-10-28T19:51:42.518Z in=1004 out=92 ent=92 step=92 brake=1 inf=390994 sec=0.284 inf/sec=1376739
#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-10-25T21:58:06.837Z in=10004 out=966 ent=966 step=966 brake=1 inf=3881589 sec=2.291 inf/sec=1694277
#2018-10-28T19:51:45.941Z in=10004 out=966 ent=966 step=966 brake=1 inf=3881548 sec=2.297 inf/sec=1689834
#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-10-25T21:58:07.362Z in=54 out=2 ent=8 step=18 brake=2 inf=37989 sec=0.090 inf/sec=422100
#2018-10-28T19:51:46.472Z in=54 out=2 ent=8 step=18 brake=2 inf=37947 sec=0.094 inf/sec=403691
#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-10-25T21:58:07.904Z in=124 out=6 ent=23 step=48 brake=2 inf=70261 sec=0.109 inf/sec=644596
#2018-10-28T19:51:47.026Z in=124 out=6 ent=23 step=48 brake=2 inf=70219 sec=0.110 inf/sec=638355
#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-10-25T21:58:08.927Z in=1686 out=92 ent=355 step=712 brake=2 inf=805005 sec=0.454 inf/sec=1773139
#2018-10-28T19:51:48.141Z in=1686 out=92 ent=355 step=712 brake=2 inf=804964 sec=0.454 inf/sec=1773048
#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-10-25T21:58:13.735Z in=17278 out=966 ent=3682 step=7366 brake=2 inf=8124482 sec=3.877 inf/sec=2095559
#2018-10-28T19:51:53.641Z in=17278 out=966 ent=3682 step=7366 brake=2 inf=8124458 sec=3.941 inf/sec=2061522
#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-10-25T21:58:15.140Z in=43 out=1 ent=2 step=2 brake=1 inf=31724 sec=0.093 inf/sec=341118
#2018-10-28T19:51:55.304Z in=43 out=1 ent=2 step=2 brake=1 inf=31705 sec=0.088 inf/sec=360284
#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-10-25T21:58:15.983Z in=52 out=2 ent=32 step=120 brake=4 inf=42484 sec=0.097 inf/sec=437979
#2018-10-28T19:51:56.400Z in=52 out=2 ent=32 step=120 brake=4 inf=42462 sec=0.100 inf/sec=424620
#ENDS
......@@ -28,6 +28,6 @@ PREFIX dqc: <http://josd.github.io/eye/reasoning/dqc#>
3 dqc:sdcoding 0 .
3 dqc:sdcoding 2 .
#2018-10-25T21:58:16.581Z in=73 out=24 ent=0 step=0 brake=1 inf=16915 sec=0.078 inf/sec=216859
#2018-10-28T19:51:57.086Z in=73 out=24 ent=0 step=0 brake=1 inf=16894 sec=0.077 inf/sec=219403
#ENDS
......@@ -10,6 +10,6 @@ PREFIX math: <http://www.w3.org/2000/10/swap/math#>
0 dqc:sdcoding 0 .
2 dqc:sdcoding 2 .
#2018-10-25T21:58:17.093Z in=31 out=4 ent=4 step=4 brake=2 inf=15820 sec=0.074 inf/sec=213784
#2018-10-28T19:51:57.713Z in=31 out=4 ent=4 step=4 brake=2 inf=15798 sec=0.077 inf/sec=205169
#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-10-25T21:58:19.071Z in=9008 out=1 ent=2999 step=5998 brake=2 inf=1940875 sec=1.083 inf/sec=1792128
#2018-10-28T19:51:59.720Z in=9008 out=1 ent=2999 step=5998 brake=2 inf=1940849 sec=1.112 inf/sec=1745368
#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-10-25T21:58:19.835Z in=57 out=16 ent=32 step=64 brake=2 inf=200634 sec=0.158 inf/sec=1269835
#2018-10-28T19:52:00.447Z in=57 out=16 ent=32 step=64 brake=2 inf=200632 sec=0.161 inf/sec=1246161
#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-10-25T21:58:20.783Z in=28 out=1 ent=2 step=4 brake=2 inf=671759 sec=0.387 inf/sec=1735811
#2018-10-28T19:52:01.406Z in=28 out=1 ent=2 step=4 brake=2 inf=671760 sec=0.392 inf/sec=1713673
#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-10-25T21:58:27.150Z in=1004 out=1000 ent=1000 step=1000 brake=1 inf=9855658 sec=4.244 inf/sec=2322257
#2018-10-28T19:52:07.834Z in=1004 out=1000 ent=1000 step=1000 brake=1 inf=9855654 sec=4.366 inf/sec=2257365
#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-10-25T21:58:28.660Z in=260 out=8 ent=50 step=307 brake=6 inf=467601 sec=0.286 inf/sec=1634969
#2018-10-28T19:52:09.493Z in=260 out=8 ent=50 step=307 brake=6 inf=469350 sec=0.310 inf/sec=1514032
#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-10-25T21:58:30.381Z in=630 out=18 ent=237 step=1917 brake=5 inf=807191 sec=0.553 inf/sec=1459658
#2018-10-28T19:52:11.422Z in=630 out=18 ent=237 step=1917 brake=5 inf=807169 sec=0.645 inf/sec=1251425
#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-10-25T21:58:31.087Z in=14 out=1 ent=1 step=1 brake=1 inf=148973 sec=0.140 inf/sec=1064093
#2018-10-28T19:52:12.133Z in=14 out=1 ent=1 step=1 brake=1 inf=148950 sec=0.169 inf/sec=881361
#ENDS
......@@ -935,6 +935,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
);
r:rule <#lemma92>.
#2018-10-25T21:58:32.407Z in=347 out=6 ent=1591 step=18973 brake=12 inf=752202 sec=0.355 inf/sec=2118879
#2018-10-28T19:52:13.487Z in=347 out=6 ent=1591 step=18973 brake=12 inf=753933 sec=0.397 inf/sec=1899076
#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-10-25T21:58:33.082Z in=46 out=6 ent=7 step=30 brake=2 inf=43095 sec=0.092 inf/sec=468424
#2018-10-28T19:52:14.216Z in=46 out=6 ent=7 step=30 brake=2 inf=43074 sec=0.099 inf/sec=435091
#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-10-25T21:58:34.022Z in=60 out=1 ent=1 step=1 brake=2 inf=80342 sec=0.115 inf/sec=698626
#2018-10-28T19:52:15.255Z in=60 out=1 ent=1 step=1 brake=2 inf=80319 sec=0.123 inf/sec=653000
#ENDS
......@@ -5872,6 +5872,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
);
r:rule <#lemma336>.
#2018-10-25T21:58:35.830Z in=201 out=10 ent=10 step=10 brake=2 inf=2319770 sec=1.056 inf/sec=2196752
#2018-10-28T19:52:17.244Z in=201 out=10 ent=10 step=10 brake=2 inf=2321499 sec=1.260 inf/sec=1842460
#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-10-25T21:58:36.870Z in=171 out=1 ent=24 step=70 brake=2 inf=39720 sec=0.106 inf/sec=374717
#2018-10-28T19:52:18.258Z in=171 out=1 ent=24 step=70 brake=2 inf=39697 sec=0.101 inf/sec=393040
#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-10-25T21:58:37.783Z in=16 out=1 ent=6 step=12 brake=2 inf=27553 sec=0.092 inf/sec=299489
#2018-10-28T19:52:19.324Z in=16 out=1 ent=6 step=12 brake=2 inf=27531 sec=0.102 inf/sec=269912
#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-10-25T21:58:38.097Z in=13 out=1 ent=2 step=2 brake=1 inf=34325 sec=0.084 inf/sec=408631
#2018-10-28T19:52:19.740Z in=13 out=1 ent=2 step=2 brake=1 inf=34301 sec=0.085 inf/sec=403541
#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-10-25T21:58:40.107Z in=46 out=101 ent=202 step=404 brake=2 inf=1216623 sec=0.552 inf/sec=2204027
#2018-10-28T19:52:22.003Z in=46 out=101 ent=202 step=404 brake=2 inf=1216602 sec=0.597 inf/sec=2037859
#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-10-25T21:58:40.564Z in=29 out=10 ent=13 step=26 brake=2 inf=56065 sec=0.094 inf/sec=596436
#2018-10-28T19:52:22.519Z in=29 out=10 ent=13 step=26 brake=2 inf=56043 sec=0.095 inf/sec=589926
#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-10-25T21:58:41.725Z in=356 out=1 ent=39 step=124 brake=4 inf=130056 sec=0.152 inf/sec=855632
#2018-10-28T19:52:23.486Z in=356 out=1 ent=39 step=124 brake=4 inf=130037 sec=0.150 inf/sec=866913
#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-10-25T21:58:42.472Z in=56 out=1 ent=1 step=1 brake=2 inf=61689 sec=0.112 inf/sec=550795
#2018-10-28T19:52:24.260Z in=56 out=1 ent=1 step=1 brake=2 inf=61667 sec=0.107 inf/sec=576327
#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-10-25T21:58:43.477Z in=309 out=1 ent=10 step=82 brake=4 inf=128023 sec=0.149 inf/sec=859215
#2018-10-28T19:52:25.352Z in=309 out=1 ent=10 step=82 brake=4 inf=127999 sec=0.146 inf/sec=876705
#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-10-25T21:58:44.135Z in=30 out=2 ent=4 step=8 brake=4 inf=34715 sec=0.089 inf/sec=390056
#2018-10-28T19:52:25.974Z in=30 out=2 ent=4 step=8 brake=4 inf=34693 sec=0.088 inf/sec=394239
#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-10-25T21:58:46.079Z in=1546 out=47 ent=105 step=330 brake=4 inf=1536689 sec=1.026 inf/sec=1497748
#2018-10-28T19:52:28.160Z in=1546 out=47 ent=105 step=330 brake=4 inf=1536668 sec=1.071 inf/sec=1434797
#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-10-25T21:58:52.290Z in=7 out=7 ent=7 step=7 brake=1 inf=26552 sec=0.076 inf/sec=349368
#2018-10-28T19:52:34.675Z in=7 out=7 ent=7 step=7 brake=1 inf=26531 sec=0.078 inf/sec=340141
#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-10-25T21:58:52.566Z in=10 out=10 ent=10 step=10 brake=1 inf=29600 sec=0.082 inf/sec=360976
#2018-10-28T19:52:34.964Z in=10 out=10 ent=10 step=10 brake=1 inf=29577 sec=0.084 inf/sec=352107
#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-10-25T21:58:52.950Z in=12 out=12 ent=13 step=29 brake=2 inf=53835 sec=0.091 inf/sec=591593
#2018-10-28T19:52:35.314Z in=12 out=12 ent=13 step=29 brake=2 inf=53816 sec=0.095 inf/sec=566484
#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-10-25T21:58:52.015Z in=8 out=8 ent=8 step=8 brake=1 inf=32323 sec=0.083 inf/sec=389434
#2018-10-28T19:52:34.379Z in=8 out=8 ent=8 step=8 brake=1 inf=32300 sec=0.083 inf/sec=389157
#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-10-25T21:58:53.795Z in=158 out=1 ent=1 step=1 brake=2 inf=71493 sec=0.128 inf/sec=558539
#2018-10-28T19:52:36.341Z in=158 out=1 ent=1 step=1 brake=2 inf=73218 sec=0.126 inf/sec=581095
#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-10-25T21:58:54.199Z in=8 out=8 ent=8 step=8 brake=1 inf=31252 sec=0.088 inf/sec=355136
#2018-10-28T19:52:36.843Z in=8 out=8 ent=8 step=8 brake=1 inf=31230 sec=0.083 inf/sec=376265
#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-10-25T21:58:56.111Z in=22 out=1 ent=1 step=1 brake=1 inf=2902570 sec=1.295 inf/sec=2241367
#2018-10-28T19:52:38.889Z in=22 out=1 ent=1 step=1 brake=1 inf=2902548 sec=1.305 inf/sec=2224175
#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-10-25T21:58:57.399Z in=34 out=1 ent=2 step=4 brake=1 inf=32865 sec=0.101 inf/sec=325396
#2018-10-28T19:52:40.505Z in=34 out=1 ent=2 step=4 brake=1 inf=32844 sec=0.103 inf/sec=318874
#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-10-25T21:59:00.332Z in=59 out=16 ent=91 step=338 brake=3 inf=68986 sec=0.110 inf/sec=627145
#2018-10-28T19:52:43.593Z in=59 out=16 ent=91 step=338 brake=3 inf=68943 sec=0.104 inf/sec=662913
#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-10-25T21:59:00.943Z in=113 out=16 ent=27 step=115 brake=5 inf=54773 sec=0.103 inf/sec=531777
#2018-10-28T19:52:44.356Z in=113 out=16 ent=27 step=115 brake=5 inf=54730 sec=0.105 inf/sec=521238
#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-10-25T21:58:59.403Z in=106 out=35 ent=35 step=35 brake=0 inf=67003 sec=0.101 inf/sec=663396
#2018-10-28T19:52:42.599Z in=106 out=35 ent=35 step=35 brake=0 inf=66981 sec=0.110 inf/sec=608918
#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-10-25T21:58:58.282Z in=29 out=1 ent=1 step=1 brake=1 inf=158806 sec=0.141 inf/sec=1126284
#2018-10-28T19:52:41.500Z in=29 out=1 ent=1 step=1 brake=1 inf=158784 sec=0.140 inf/sec=1134171
#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-10-25T21:58:58.916Z in=27 out=1 ent=1 step=1 brake=1 inf=114894 sec=0.118 inf/sec=973678
#2018-10-28T19:52:42.147Z in=27 out=1 ent=1 step=1 brake=1 inf=114871 sec=0.124 inf/sec=926379
#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-10-25T21:58:57.643Z in=88 out=6 ent=6 step=6 brake=1 inf=27013 sec=0.084 inf/sec=321583
#2018-10-28T19:52:40.744Z in=88 out=6 ent=6 step=6 brake=1 inf=26992 sec=0.083 inf/sec=325205
#ENDS
stamp,in,out,ent,step,brake,inf,sec,inf/sec
2018-10-25T21:57:49.967Z,34,1,1,1,2,45668,0.111,411423
2018-10-25T21:57:51.694Z,470,97,145,755,4,957899,0.512,1870896
2018-10-25T21:57:53.222Z,295,50,100,48,4,219258,0.214,1024570
2018-10-25T21:57:58.560Z,10012,1518,1518,1518,1,4717901,2.367,1993199
2018-10-25T21:57:59.077Z,9,3,6,12,2,27429,0.081,338630
2018-10-25T21:57:59.773Z,43,2,4,8,2,41186,0.098,420265
2018-10-25T21:58:00.449Z,22,17,17,17,2,72858,0.128,569203
2018-10-25T21:58:01.036Z,17,5,5,5,2,48501,0.113,429212
2018-10-25T21:58:01.737Z,22,1,6,18,3,24530,0.084,292024
2018-10-25T21:58:02.249Z,14,2,2,2,1,25913,0.081,319914
2018-10-25T21:58:02.672Z,104,6,6,6,1,43535,0.095,458263
2018-10-25T21:58:03.414Z,1004,92,92,92,1,391038,0.275,1421956
2018-10-25T21:58:06.837Z,10004,966,966,966,1,3881589,2.291,1694277
2018-10-25T21:58:07.362Z,54,2,8,18,2,37989,0.090,422100
2018-10-25T21:58:07.904Z,124,6,23,48,2,70261,0.109,644596
2018-10-25T21:58:08.927Z,1686,92,355,712,2,805005,0.454,1773139
2018-10-25T21:58:13.735Z,17278,966,3682,7366,2,8124482,3.877,2095559
2018-10-25T21:58:15.140Z,43,1,2,2,1,31724,0.093,341118
2018-10-25T21:58:15.983Z,52,2,32,120,4,42484,0.097,437979
2018-10-25T21:58:16.581Z,73,24,0,0,1,16915,0.078,216859
2018-10-25T21:58:17.093Z,31,4,4,4,2,15820,0.074,213784
2018-10-25T21:58:19.071Z,9008,1,2999,5998,2,1940875,1.083,1792128
2018-10-25T21:58:19.835Z,57,16,32,64,2,200634,0.158,1269835
2018-10-25T21:58:20.783Z,28,1,2,4,2,671759,0.387,1735811
2018-10-25T21:58:27.150Z,1004,1000,1000,1000,1,9855658,4.244,2322257
2018-10-25T21:58:28.660Z,260,8,50,307,6,467601,0.286,1634969
2018-10-25T21:58:30.381Z,630,18,237,1917,5,807191,0.553,1459658
2018-10-25T21:58:31.087Z,14,1,1,1,1,148973,0.140,1064093
2018-10-25T21:58:32.407Z,347,6,1591,18973,12,752202,0.355,2118879
2018-10-25T21:58:33.082Z,46,6,7,30,2,43095,0.092,468424
2018-10-25T21:58:34.022Z,60,1,1,1,2,80342,0.115,698626
2018-10-25T21:58:35.830Z,201,10,10,10,2,2319770,1.056,2196752
2018-10-25T21:58:36.870Z,171,1,24,70,2,39720,0.106,374717
2018-10-25T21:58:37.783Z,16,1,6,12,2,27553,0.092,299489
2018-10-25T21:58:38.097Z,13,1,2,2,1,34325,0.084,408631
2018-10-25T21:58:40.107Z,46,101,202,404,2,1216623,0.552,2204027
2018-10-25T21:58:40.564Z,29,10,13,26,2,56065,0.094,596436
2018-10-25T21:58:41.725Z,356,1,39,124,4,130056,0.152,855632
2018-10-25T21:58:42.472Z,56,1,1,1,2,61689,0.112,550795
2018-10-25T21:58:43.477Z,309,1,10,82,4,128023,0.149,859215
2018-10-25T21:58:44.135Z,30,2,4,8,4,34715,0.089,390056
2018-10-25T21:58:46.079Z,1546,47,105,330,4,1536689,1.026,1497748
2018-10-25T21:58:51.552Z,100600,117,0,0,1,5366625,4.603,1165897
2018-10-25T21:58:52.015Z,8,8,8,8,1,32323,0.083,389434
2018-10-25T21:58:52.290Z,7,7,7,7,1,26552,0.076,349368
2018-10-25T21:58:52.566Z,10,10,10,10,1,29600,0.082,360976
2018-10-25T21:58:52.950Z,12,12,13,29,2,53835,0.091,591593
2018-10-25T21:58:53.795Z,158,1,1,1,2,71493,0.128,558539
2018-10-25T21:58:54.199Z,8,8,8,8,1,31252,0.088,355136
2018-10-25T21:58:56.111Z,22,1,1,1,1,2902570,1.295,2241367
2018-10-25T21:58:57.399Z,34,1,2,4,1,32865,0.101,325396
2018-10-25T21:58:57.643Z,88,6,6,6,1,27013,0.084,321583
2018-10-25T21:58:58.282Z,29,1,1,1,1,158806,0.141,1126284
2018-10-25T21:58:58.916Z,27,1,1,1,1,114894,0.118,973678
2018-10-25T21:58:59.403Z,106,35,35,35,0,67003,0.101,663396
2018-10-25T21:59:00.332Z,59,16,91,338,3,68986,0.110,627145
2018-10-25T21:59:00.943Z,113,16,27,115,5,54773,0.103,531777
2018-10-25T21:59:01.860Z,102,1,209,218,1,78681,0.118,666788
2018-10-25T21:59:02.465Z,78,4,47,7,1,56437,0.102,553304
2018-10-25T21:59:03.076Z,13,2,2,2,1,21976,0.081,271309
2018-10-25T21:59:03.649Z,13,2,2,2,1,22143,0.080,276788
2018-10-25T21:59:04.089Z,11,2,2,2,1,21162,0.080,264525
2018-10-25T21:59:05.520Z,683,222,443,1776,4,1533490,0.695,2206460
2018-10-25T21:59:06.375Z,59,16,91,338,3,69028,0.112,616321
2018-10-25T21:59:07.920Z,1013,1,1,1,1,1396593,0.642,2175379
2018-10-25T21:59:08.942Z,288,1,12,28,2,40176,0.101,397782
2018-10-25T21:59:09.629Z,9,2,3,6,2,21983,0.083,264855
2018-10-25T21:59:09.917Z,35,101,0,0,0,27586,0.080,344825
2018-10-25T21:59:10.770Z,606,81,81,81,1,92638,0.127,729433
2018-10-25T21:59:11.386Z,608,54,54,54,1,81749,0.126,648802
2018-10-25T21:59:11.995Z,608,46,46,46,1,74825,0.118,634110
2018-10-25T21:59:12.604Z,610,19,19,19,1,54495,0.108,504583
2018-10-25T21:59:14.276Z,769,3,1,1,0,336895,0.240,1403729
2018-10-25T21:59:15.548Z,16,1,1,1,1,1254839,0.675,1859021
2018-10-25T21:59:16.348Z,26,7,21,42,4,65925,0.108,610417
2018-10-25T21:59:17.024Z,57,1,1,1,1,63475,0.107,593224
2018-10-25T21:59:17.696Z,60,2,24,88,5,49609,0.098,506214
2018-10-25T21:59:18.080Z,5,5,5,5,1,25056,0.080,313200
2018-10-25T21:59:18.642Z,20,1,7,25,5,26866,0.084,319833
2018-10-25T21:59:19.369Z,97,1,9,43,3,41048,0.111,369802
2018-10-25T21:59:19.578Z,0,0,0,0,1,12341,0.066,186985
2018-10-28T19:51:27.546Z,34,1,1,1,2,47397,0.118,401669
2018-10-28T19:51:29.462Z,470,97,145,755,4,959629,0.531,1807211
2018-10-28T19:51:31.309Z,295,50,100,48,4,220988,0.221,999946
2018-10-28T19:51:36.974Z,10012,1518,1518,1518,1,4717879,2.404,1962512
2018-10-28T19:51:37.447Z,9,3,6,12,2,27407,0.079,346924
2018-10-28T19:51:38.377Z,43,2,4,8,2,41164,0.095,433305
2018-10-28T19:51:39.232Z,22,17,17,17,2,74569,0.133,560669
2018-10-28T19:51:39.812Z,17,5,5,5,2,50209,0.119,421924
2018-10-28T19:51:40.721Z,22,1,6,18,3,24488,0.084,291524
2018-10-28T19:51:41.330Z,14,2,2,2,1,25856,0.083,311518
2018-10-28T19:51:41.792Z,104,6,6,6,1,43495,0.102,426422
2018-10-28T19:51:42.518Z,1004,92,92,92,1,390994,0.284,1376739
2018-10-28T19:51:45.941Z,10004,966,966,966,1,3881548,2.297,1689834
2018-10-28T19:51:46.472Z,54,2,8,18,2,37947,0.094,403691
2018-10-28T19:51:47.026Z,124,6,23,48,2,70219,0.110,638355
2018-10-28T19:51:48.141Z,1686,92,355,712,2,804964,0.454,1773048
2018-10-28T19:51:53.641Z,17278,966,3682,7366,2,8124458,3.941,2061522
2018-10-28T19:51:55.304Z,43,1,2,2,1,31705,0.088,360284
2018-10-28T19:51:56.400Z,52,2,32,120,4,42462,0.100,424620
2018-10-28T19:51:57.086Z,73,24,0,0,1,16894,0.077,219403
2018-10-28T19:51:57.713Z,31,4,4,4,2,15798,0.077,205169
2018-10-28T19:51:59.720Z,9008,1,2999,5998,2,1940849,1.112,1745368
2018-10-28T19:52:00.447Z,57,16,32,64,2,200632,0.161,1246161
2018-10-28T19:52:01.406Z,28,1,2,4,2,671760,0.392,1713673
2018-10-28T19:52:07.834Z,1004,1000,1000,1000,1,9855654,4.366,2257365
2018-10-28T19:52:09.493Z,260,8,50,307,6,469350,0.310,1514032
2018-10-28T19:52:11.422Z,630,18,237,1917,5,807169,0.645,1251425
2018-10-28T19:52:12.133Z,14,1,1,1,1,148950,0.169,881361
2018-10-28T19:52:13.487Z,347,6,1591,18973,12,753933,0.397,1899076
2018-10-28T19:52:14.216Z,46,6,7,30,2,43074,0.099,435091
2018-10-28T19:52:15.255Z,60,1,1,1,2,80319,0.123,653000
2018-10-28T19:52:17.244Z,201,10,10,10,2,2321499,1.260,1842460
2018-10-28T19:52:18.258Z,171,1,24,70,2,39697,0.101,393040
2018-10-28T19:52:19.324Z,16,1,6,12,2,27531,0.102,269912
2018-10-28T19:52:19.740Z,13,1,2,2,1,34301,0.085,403541
2018-10-28T19:52:22.003Z,46,101,202,404,2,1216602,0.597,2037859
2018-10-28T19:52:22.519Z,29,10,13,26,2,56043,0.095,589926
2018-10-28T19:52:23.486Z,356,1,39,124,4,130037,0.150,866913
2018-10-28T19:52:24.260Z,56,1,1,1,2,61667,0.107,576327
2018-10-28T19:52:25.352Z,309,1,10,82,4,127999,0.146,876705
2018-10-28T19:52:25.974Z,30,2,4,8,4,34693,0.088,394239
2018-10-28T19:52:28.160Z,1546,47,105,330,4,1536668,1.071,1434797
2018-10-28T19:52:33.908Z,100600,117,0,0,1,5366591,4.820,1113401
2018-10-28T19:52:34.379Z,8,8,8,8,1,32300,0.083,389157
2018-10-28T19:52:34.675Z,7,7,7,7,1,26531,0.078,340141
2018-10-28T19:52:34.964Z,10,10,10,10,1,29577,0.084,352107
2018-10-28T19:52:35.314Z,12,12,13,29,2,53816,0.095,566484
2018-10-28T19:52:36.341Z,158,1,1,1,2,73218,0.126,581095
2018-10-28T19:52:36.843Z,8,8,8,8,1,31230,0.083,376265
2018-10-28T19:52:38.889Z,22,1,1,1,1,2902548,1.305,2224175
2018-10-28T19:52:40.505Z,34,1,2,4,1,32844,0.103,318874
2018-10-28T19:52:40.744Z,88,6,6,6,1,26992,0.083,325205
2018-10-28T19:52:41.500Z,29,1,1,1,1,158784,0.140,1134171
2018-10-28T19:52:42.147Z,27,1,1,1,1,114871,0.124,926379
2018-10-28T19:52:42.599Z,106,35,35,35,0,66981,0.110,608918
2018-10-28T19:52:43.593Z,59,16,91,338,3,68943,0.104,662913
2018-10-28T19:52:44.356Z,113,16,27,115,5,54730,0.105,521238
2018-10-28T19:52:45.244Z,102,1,209,218,1,78640,0.117,672137
2018-10-28T19:52:45.968Z,78,4,47,7,1,56395,0.102,552892
2018-10-28T19:52:46.581Z,13,2,2,2,1,21934,0.077,284857
2018-10-28T19:52:47.262Z,13,2,2,2,1,22103,0.075,294707
2018-10-28T19:52:47.892Z,11,2,2,2,1,21124,0.077,274338
2018-10-28T19:52:49.423Z,683,222,443,1776,4,1533448,0.735,2086324
2018-10-28T19:52:50.579Z,59,16,91,338,3,68987,0.113,610504
2018-10-28T19:52:52.247Z,1013,1,1,1,1,1396551,0.669,2087520
2018-10-28T19:52:53.241Z,288,1,12,28,2,40134,0.103,389650
2018-10-28T19:52:53.931Z,9,2,3,6,2,21941,0.079,277734
2018-10-28T19:52:54.240Z,35,101,0,0,0,27545,0.084,327917
2018-10-28T19:52:55.290Z,606,81,81,81,1,92616,0.131,706992
2018-10-28T19:52:55.895Z,608,54,54,54,1,81728,0.129,633550
2018-10-28T19:52:56.614Z,608,46,46,46,1,74804,0.126,593683
2018-10-28T19:52:57.190Z,610,19,19,19,1,54473,0.113,482062
2018-10-28T19:52:58.792Z,769,3,1,1,0,336872,0.241,1397809
2018-10-28T19:53:00.056Z,16,1,1,1,1,1254835,0.690,1818601
2018-10-28T19:53:01.012Z,26,7,21,42,4,65922,0.106,621906
2018-10-28T19:53:01.733Z,57,1,1,1,1,63486,0.111,571946
2018-10-28T19:53:02.554Z,60,2,24,88,5,49607,0.099,501081
2018-10-28T19:53:02.961Z,5,5,5,5,1,25053,0.079,317127
2018-10-28T19:53:03.566Z,20,1,7,25,5,26864,0.082,327610
2018-10-28T19:53:04.301Z,97,1,9,43,3,42812,0.116,369069
2018-10-28T19:53:04.513Z,0,0,0,0,1,12339,0.068,181456
# Thu Oct 25 23:57:49 CEST 2018
# Sun Oct 28 20:51:26 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-10-25T21:59:02.465Z in=78 out=4 ent=47 step=7 brake=1 inf=56437 sec=0.102 inf/sec=553304
#2018-10-28T19:52:45.968Z in=78 out=4 ent=47 step=7 brake=1 inf=56395 sec=0.102 inf/sec=552892
#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-10-25T21:59:01.860Z in=102 out=1 ent=209 step=218 brake=1 inf=78681 sec=0.118 inf/sec=666788
#2018-10-28T19:52:45.244Z in=102 out=1 ent=209 step=218 brake=1 inf=78640 sec=0.117 inf/sec=672137
#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-10-25T21:59:03.076Z in=13 out=2 ent=2 step=2 brake=1 inf=21976 sec=0.081 inf/sec=271309
#2018-10-28T19:52:46.581Z in=13 out=2 ent=2 step=2 brake=1 inf=21934 sec=0.077 inf/sec=284857
#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-10-25T21:59:03.649Z in=13 out=2 ent=2 step=2 brake=1 inf=22143 sec=0.080 inf/sec=276788
#2018-10-28T19:52:47.262Z in=13 out=2 ent=2 step=2 brake=1 inf=22103 sec=0.075 inf/sec=294707
#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-10-25T21:59:04.089Z in=11 out=2 ent=2 step=2 brake=1 inf=21162 sec=0.080 inf/sec=264525
#2018-10-28T19:52:47.892Z in=11 out=2 ent=2 step=2 brake=1 inf=21124 sec=0.077 inf/sec=274338
#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-10-25T21:59:05.520Z in=683 out=222 ent=443 step=1776 brake=4 inf=1533490 sec=0.695 inf/sec=2206460
#2018-10-28T19:52:49.423Z in=683 out=222 ent=443 step=1776 brake=4 inf=1533448 sec=0.735 inf/sec=2086324
#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-10-25T21:59:06.375Z in=59 out=16 ent=91 step=338 brake=3 inf=69028 sec=0.112 inf/sec=616321
#2018-10-28T19:52:50.579Z in=59 out=16 ent=91 step=338 brake=3 inf=68987 sec=0.113 inf/sec=610504
#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-10-25T21:59:07.920Z in=1013 out=1 ent=1 step=1 brake=1 inf=1396593 sec=0.642 inf/sec=2175379
#2018-10-28T19:52:52.247Z in=1013 out=1 ent=1 step=1 brake=1 inf=1396551 sec=0.669 inf/sec=2087520
#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-10-25T21:59:08.942Z in=288 out=1 ent=12 step=28 brake=2 inf=40176 sec=0.101 inf/sec=397782