Commit d6e9af0d authored by josd's avatar josd

retest

parent a5cdd3e0
......@@ -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-11-21T20:39:22.878Z in=34 out=1 ent=1 step=1 brake=2 inf=47123 sec=0.115 inf/sec=409765
#2018-11-21T21:06:29.127Z in=34 out=1 ent=1 step=1 brake=2 inf=47449 sec=0.115 inf/sec=412600
#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-11-21T20:39:24.098Z in=470 out=97 ent=146 step=855 brake=5 inf=976983 sec=0.537 inf/sec=1819335
#2018-11-21T21:06:31.226Z in=470 out=97 ent=146 step=855 brake=5 inf=977311 sec=0.528 inf/sec=1850968
#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-11-21T20:39:25.083Z in=295 out=50 ent=100 step=48 brake=4 inf=220677 sec=0.216 inf/sec=1021653
#2018-11-21T21:06:33.000Z in=295 out=50 ent=100 step=48 brake=4 inf=221006 sec=0.219 inf/sec=1009160
#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-11-21T20:39:29.454Z in=10012 out=1518 ent=1518 step=1518 brake=1 inf=4717688 sec=2.534 inf/sec=1861755
#2018-11-21T21:06:38.829Z in=10012 out=1518 ent=1518 step=1518 brake=1 inf=4717720 sec=2.383 inf/sec=1979740
#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-11-21T20:39:30.017Z in=9 out=3 ent=6 step=12 brake=2 inf=27339 sec=0.082 inf/sec=333402
#2018-11-21T21:06:39.336Z in=9 out=3 ent=6 step=12 brake=2 inf=27367 sec=0.085 inf/sec=321965
#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-11-21T20:39:30.947Z in=43 out=2 ent=4 step=8 brake=2 inf=41071 sec=0.093 inf/sec=441624
#2018-11-21T21:06:40.067Z in=43 out=2 ent=4 step=8 brake=2 inf=41101 sec=0.098 inf/sec=419398
#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-11-21T20:39:32.404Z in=17 out=5 ent=5 step=5 brake=2 inf=49933 sec=0.114 inf/sec=438009
#2018-11-21T21:06:42.083Z in=17 out=5 ent=5 step=5 brake=2 inf=50262 sec=0.120 inf/sec=418850
#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-11-21T20:39:31.805Z in=22 out=17 ent=17 step=17 brake=2 inf=74292 sec=0.132 inf/sec=562818
#2018-11-21T21:06:41.530Z in=22 out=17 ent=17 step=17 brake=2 inf=74620 sec=0.131 inf/sec=569618
#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-11-21T20:39:33.162Z in=22 out=1 ent=6 step=18 brake=3 inf=24396 sec=0.086 inf/sec=283674
#2018-11-21T21:06:42.783Z in=22 out=1 ent=6 step=18 brake=3 inf=24424 sec=0.088 inf/sec=277545
#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-11-21T20:39:33.703Z in=14 out=2 ent=2 step=2 brake=1 inf=25777 sec=0.084 inf/sec=306869
#2018-11-21T21:06:43.737Z in=14 out=2 ent=2 step=2 brake=1 inf=25807 sec=0.084 inf/sec=307226
#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-11-21T20:39:34.129Z in=104 out=6 ent=6 step=6 brake=1 inf=43416 sec=0.097 inf/sec=447588
#2018-11-21T21:06:44.278Z in=104 out=6 ent=6 step=6 brake=1 inf=43444 sec=0.101 inf/sec=430139
#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-11-21T20:39:34.884Z in=1004 out=92 ent=92 step=92 brake=1 inf=390914 sec=0.285 inf/sec=1371628
#2018-11-21T21:06:45.026Z in=1004 out=92 ent=92 step=92 brake=1 inf=390944 sec=0.276 inf/sec=1416464
#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-11-21T20:39:38.069Z in=10004 out=966 ent=966 step=966 brake=1 inf=3881468 sec=2.353 inf/sec=1649583
#2018-11-21T21:06:48.334Z in=10004 out=966 ent=966 step=966 brake=1 inf=3881496 sec=2.294 inf/sec=1692021
#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-11-21T20:39:38.627Z in=54 out=2 ent=8 step=18 brake=2 inf=37868 sec=0.094 inf/sec=402851
#2018-11-21T21:06:48.970Z 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-11-21T20:39:39.182Z in=124 out=6 ent=23 step=48 brake=2 inf=70138 sec=0.111 inf/sec=631874
#2018-11-21T21:06:49.823Z in=124 out=6 ent=23 step=48 brake=2 inf=70166 sec=0.110 inf/sec=637873
#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-11-21T20:39:40.198Z in=1686 out=92 ent=355 step=712 brake=2 inf=804883 sec=0.455 inf/sec=1768974
#2018-11-21T21:06:50.839Z in=1686 out=92 ent=355 step=712 brake=2 inf=804911 sec=0.451 inf/sec=1784725
#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-11-21T20:39:45.084Z in=17278 out=966 ent=3682 step=7366 brake=2 inf=8124379 sec=3.943 inf/sec=2060456
#2018-11-21T21:06:56.227Z in=17278 out=966 ent=3682 step=7366 brake=2 inf=8124408 sec=3.906 inf/sec=2079982
#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-11-21T20:39:47.057Z in=43 out=1 ent=2 step=2 brake=1 inf=31622 sec=0.092 inf/sec=343717
#2018-11-21T21:06:57.809Z in=43 out=1 ent=2 step=2 brake=1 inf=31652 sec=0.092 inf/sec=344043
#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-11-21T20:39:47.940Z in=52 out=2 ent=32 step=120 brake=4 inf=42370 sec=0.101 inf/sec=419505
#2018-11-21T21:06:58.800Z in=52 out=2 ent=32 step=120 brake=4 inf=42398 sec=0.094 inf/sec=451043
#ENDS
......@@ -28,6 +28,6 @@ PREFIX dqc: <http://josd.github.io/eye/reasoning/dqc#>
3 dqc:sdcoding 0 .
3 dqc:sdcoding 2 .
#2018-11-21T20:39:48.645Z in=73 out=24 ent=0 step=0 brake=1 inf=16813 sec=0.080 inf/sec=210163
#2018-11-21T21:06:59.601Z in=73 out=24 ent=0 step=0 brake=1 inf=16843 sec=0.078 inf/sec=215936
#ENDS
......@@ -10,6 +10,6 @@ PREFIX math: <http://www.w3.org/2000/10/swap/math#>
0 dqc:sdcoding 0 .
2 dqc:sdcoding 2 .
#2018-11-21T20:39:49.142Z in=31 out=4 ent=4 step=4 brake=2 inf=15719 sec=0.077 inf/sec=204143
#2018-11-21T21:07:00.318Z in=31 out=4 ent=4 step=4 brake=2 inf=15767 sec=0.079 inf/sec=199582
#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-11-21T20:39:51.149Z in=9008 out=1 ent=2999 step=5998 brake=2 inf=1940763 sec=1.096 inf/sec=1770769
#2018-11-21T21:07:02.404Z in=9008 out=1 ent=2999 step=5998 brake=2 inf=1940811 sec=1.091 inf/sec=1778929
#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-11-21T20:39:51.834Z in=57 out=16 ent=32 step=64 brake=2 inf=200531 sec=0.161 inf/sec=1245534
#2018-11-21T21:07:03.153Z in=57 out=16 ent=32 step=64 brake=2 inf=200580 sec=0.155 inf/sec=1294065
#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-11-21T20:39:52.834Z in=28 out=1 ent=2 step=4 brake=2 inf=671658 sec=0.382 inf/sec=1758267
#2018-11-21T21:07:04.100Z in=28 out=1 ent=2 step=4 brake=2 inf=671709 sec=0.377 inf/sec=1781721
#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-11-21T20:39:59.748Z in=1004 out=1000 ent=1000 step=1000 brake=1 inf=9855555 sec=4.424 inf/sec=2227748
#2018-11-21T21:07:10.245Z in=1004 out=1000 ent=1000 step=1000 brake=1 inf=9855584 sec=4.038 inf/sec=2440709
#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-11-21T20:40:01.450Z in=260 out=8 ent=50 step=307 brake=6 inf=469039 sec=0.294 inf/sec=1595371
#2018-11-21T21:07:11.689Z in=260 out=8 ent=50 step=307 brake=6 inf=469347 sec=0.294 inf/sec=1596418
#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-11-21T20:40:03.378Z in=630 out=18 ent=237 step=1917 brake=5 inf=807073 sec=0.549 inf/sec=1470078
#2018-11-21T21:07:13.655Z in=630 out=18 ent=237 step=1917 brake=5 inf=807080 sec=0.542 inf/sec=1489077
#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-11-21T21:05:12.241Z in=14 out=1 ent=1 step=1 brake=1 inf=138710 sec=0.137 inf/sec=1012482
#2018-11-21T21:07:14.510Z in=14 out=1 ent=1 step=1 brake=1 inf=138708 sec=0.134 inf/sec=1035134
#ENDS
......@@ -935,6 +935,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
);
r:rule <#lemma92>.
#2018-11-21T20:40:05.410Z in=347 out=6 ent=1591 step=18973 brake=12 inf=753653 sec=0.367 inf/sec=2053550
#2018-11-21T21:07:16.061Z in=347 out=6 ent=1591 step=18973 brake=12 inf=753962 sec=0.377 inf/sec=1999899
#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-11-21T20:40:06.073Z in=46 out=6 ent=7 step=30 brake=2 inf=43014 sec=0.094 inf/sec=457596
#2018-11-21T21:07:16.824Z in=46 out=6 ent=7 step=30 brake=2 inf=43021 sec=0.094 inf/sec=457670
#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-11-21T20:40:07.039Z in=60 out=1 ent=1 step=1 brake=2 inf=80248 sec=0.115 inf/sec=697809
#2018-11-21T21:07:17.864Z in=60 out=1 ent=1 step=1 brake=2 inf=80257 sec=0.116 inf/sec=691871
#ENDS
......@@ -5872,6 +5872,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
);
r:rule <#lemma336>.
#2018-11-21T20:40:09.051Z in=201 out=10 ent=10 step=10 brake=2 inf=2321230 sec=1.067 inf/sec=2175473
#2018-11-21T21:07:19.610Z in=201 out=10 ent=10 step=10 brake=2 inf=2321539 sec=1.042 inf/sec=2227964
#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-11-21T20:40:10.062Z in=171 out=1 ent=24 step=70 brake=2 inf=39606 sec=0.102 inf/sec=388294
#2018-11-21T21:07:20.508Z in=171 out=1 ent=24 step=70 brake=2 inf=39634 sec=0.105 inf/sec=377467
#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-11-21T20:40:11.077Z in=16 out=1 ent=6 step=12 brake=2 inf=27427 sec=0.089 inf/sec=308169
#2018-11-21T21:07:21.625Z in=16 out=1 ent=6 step=12 brake=2 inf=27456 sec=0.098 inf/sec=280163
#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-11-21T20:40:11.495Z in=13 out=1 ent=2 step=2 brake=1 inf=34233 sec=0.085 inf/sec=402741
#2018-11-21T21:07:21.933Z in=13 out=1 ent=2 step=2 brake=1 inf=34261 sec=0.082 inf/sec=417817
#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-11-21T20:40:13.523Z in=46 out=101 ent=202 step=404 brake=2 inf=1216533 sec=0.568 inf/sec=2141783
#2018-11-21T21:07:23.993Z in=46 out=101 ent=202 step=404 brake=2 inf=1216562 sec=0.541 inf/sec=2248728
#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-11-21T20:40:13.962Z in=29 out=10 ent=13 step=26 brake=2 inf=55976 sec=0.095 inf/sec=589221
#2018-11-21T21:07:24.429Z in=29 out=10 ent=13 step=26 brake=2 inf=56005 sec=0.097 inf/sec=577371
#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-11-21T20:40:14.925Z in=356 out=1 ent=39 step=124 brake=4 inf=129944 sec=0.150 inf/sec=866293
#2018-11-21T21:07:25.575Z in=356 out=1 ent=39 step=124 brake=4 inf=129972 sec=0.150 inf/sec=866480
#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-11-21T20:40:15.673Z in=56 out=1 ent=1 step=1 brake=2 inf=61575 sec=0.114 inf/sec=540132
#2018-11-21T21:07:26.322Z in=56 out=1 ent=1 step=1 brake=2 inf=61604 sec=0.107 inf/sec=575738
#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-11-21T20:40:16.882Z in=309 out=1 ent=10 step=82 brake=4 inf=127896 sec=0.148 inf/sec=864162
#2018-11-21T21:07:27.446Z in=309 out=1 ent=10 step=82 brake=4 inf=127925 sec=0.149 inf/sec=858557
#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-11-21T20:40:17.531Z in=30 out=2 ent=4 step=8 brake=4 inf=34614 sec=0.088 inf/sec=393341
#2018-11-21T21:07:28.392Z in=30 out=2 ent=4 step=8 brake=4 inf=34643 sec=0.092 inf/sec=376554
#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-11-21T20:40:19.870Z in=1546 out=47 ent=105 step=330 brake=4 inf=1536564 sec=1.026 inf/sec=1497626
#2018-11-21T21:07:30.580Z in=1546 out=47 ent=105 step=330 brake=4 inf=1536592 sec=0.985 inf/sec=1559992
#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-11-21T20:40:26.027Z in=7 out=7 ent=7 step=7 brake=1 inf=26474 sec=0.079 inf/sec=335114
#2018-11-21T21:07:36.777Z in=7 out=7 ent=7 step=7 brake=1 inf=26503 sec=0.079 inf/sec=335481
#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-11-21T20:40:26.438Z in=10 out=10 ent=10 step=10 brake=1 inf=29522 sec=0.080 inf/sec=369025
#2018-11-21T21:07:37.070Z in=10 out=10 ent=10 step=10 brake=1 inf=29551 sec=0.080 inf/sec=369388
#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-11-21T20:40:26.759Z in=12 out=12 ent=13 step=29 brake=2 inf=53761 sec=0.093 inf/sec=578075
#2018-11-21T21:07:37.428Z in=12 out=12 ent=13 step=29 brake=2 inf=53790 sec=0.097 inf/sec=554536
#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-11-21T20:40:25.619Z in=8 out=8 ent=8 step=8 brake=1 inf=32243 sec=0.083 inf/sec=388470
#2018-11-21T21:07:36.473Z in=8 out=8 ent=8 step=8 brake=1 inf=32274 sec=0.083 inf/sec=388843
#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-11-21T20:40:27.812Z in=158 out=1 ent=1 step=1 brake=2 inf=72934 sec=0.146 inf/sec=499548
#2018-11-21T21:07:38.444Z in=158 out=1 ent=1 step=1 brake=2 inf=73263 sec=0.133 inf/sec=550850
#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-11-21T20:40:28.236Z in=5 out=5 ent=5 step=5 brake=1 inf=25667 sec=0.078 inf/sec=329064
#2018-11-21T21:07:38.933Z in=5 out=5 ent=5 step=5 brake=1 inf=25696 sec=0.082 inf/sec=313366
#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-11-21T20:40:30.164Z in=22 out=1 ent=1 step=1 brake=1 inf=2902467 sec=1.355 inf/sec=2142042
#2018-11-21T21:07:41.261Z in=22 out=1 ent=1 step=1 brake=1 inf=2902497 sec=1.263 inf/sec=2298097
#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-11-21T20:40:31.763Z in=34 out=1 ent=2 step=4 brake=1 inf=32715 sec=0.099 inf/sec=330455
#2018-11-21T21:07:42.724Z in=34 out=1 ent=2 step=4 brake=1 inf=32744 sec=0.101 inf/sec=324198
#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-11-21T20:40:34.858Z in=59 out=16 ent=91 step=338 brake=3 inf=68840 sec=0.113 inf/sec=609204
#2018-11-21T21:07:45.977Z in=59 out=16 ent=91 step=338 brake=3 inf=68869 sec=0.113 inf/sec=609460
#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-11-21T20:40:35.587Z in=113 out=16 ent=27 step=115 brake=5 inf=54641 sec=0.103 inf/sec=530495
#2018-11-21T21:07:46.952Z in=113 out=16 ent=27 step=115 brake=5 inf=54667 sec=0.103 inf/sec=530748
#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-11-21T20:40:33.846Z in=106 out=35 ent=35 step=35 brake=0 inf=66864 sec=0.106 inf/sec=630792
#2018-11-21T21:07:45.070Z in=106 out=35 ent=35 step=35 brake=0 inf=66894 sec=0.104 inf/sec=643212
#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-11-21T20:40:32.749Z in=29 out=1 ent=1 step=1 brake=1 inf=158704 sec=0.145 inf/sec=1094510
#2018-11-21T21:07:44.010Z in=29 out=1 ent=1 step=1 brake=1 inf=158733 sec=0.146 inf/sec=1087212
#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-11-21T20:40:33.398Z in=27 out=1 ent=1 step=1 brake=1 inf=114791 sec=0.121 inf/sec=948686
#2018-11-21T21:07:44.642Z in=27 out=1 ent=1 step=1 brake=1 inf=114819 sec=0.123 inf/sec=933488
#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-11-21T20:40:32.003Z in=88 out=6 ent=6 step=6 brake=1 inf=26889 sec=0.085 inf/sec=316341
#2018-11-21T21:07:42.967Z 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-11-21T20:39:22.878Z,34,1,1,1,2,47123,0.115,409765
2018-11-21T20:39:24.098Z,470,97,146,855,5,976983,0.537,1819335
2018-11-21T20:39:25.083Z,295,50,100,48,4,220677,0.216,1021653
2018-11-21T20:39:29.454Z,10012,1518,1518,1518,1,4717688,2.534,1861755
2018-11-21T20:39:30.017Z,9,3,6,12,2,27339,0.082,333402
2018-11-21T20:39:30.947Z,43,2,4,8,2,41071,0.093,441624
2018-11-21T20:39:31.805Z,22,17,17,17,2,74292,0.132,562818
2018-11-21T20:39:32.404Z,17,5,5,5,2,49933,0.114,438009
2018-11-21T20:39:33.162Z,22,1,6,18,3,24396,0.086,283674
2018-11-21T20:39:33.703Z,14,2,2,2,1,25777,0.084,306869
2018-11-21T20:39:34.129Z,104,6,6,6,1,43416,0.097,447588
2018-11-21T20:39:34.884Z,1004,92,92,92,1,390914,0.285,1371628
2018-11-21T20:39:38.069Z,10004,966,966,966,1,3881468,2.353,1649583
2018-11-21T20:39:38.627Z,54,2,8,18,2,37868,0.094,402851
2018-11-21T20:39:39.182Z,124,6,23,48,2,70138,0.111,631874
2018-11-21T20:39:40.198Z,1686,92,355,712,2,804883,0.455,1768974
2018-11-21T20:39:45.084Z,17278,966,3682,7366,2,8124379,3.943,2060456
2018-11-21T20:39:47.057Z,43,1,2,2,1,31622,0.092,343717
2018-11-21T20:39:47.940Z,52,2,32,120,4,42370,0.101,419505
2018-11-21T20:39:48.645Z,73,24,0,0,1,16813,0.080,210163
2018-11-21T20:39:49.142Z,31,4,4,4,2,15719,0.077,204143
2018-11-21T20:39:51.149Z,9008,1,2999,5998,2,1940763,1.096,1770769
2018-11-21T20:39:51.834Z,57,16,32,64,2,200531,0.161,1245534
2018-11-21T20:39:52.834Z,28,1,2,4,2,671658,0.382,1758267
2018-11-21T20:39:59.748Z,1004,1000,1000,1000,1,9855555,4.424,2227748
2018-11-21T20:40:01.450Z,260,8,50,307,6,469039,0.294,1595371
2018-11-21T20:40:03.378Z,630,18,237,1917,5,807073,0.549,1470078
2018-11-21T20:40:04.071Z,14,1,1,1,1,148890,0.142,1048521
2018-11-21T20:40:05.410Z,347,6,1591,18973,12,753653,0.367,2053550
2018-11-21T20:40:06.073Z,46,6,7,30,2,43014,0.094,457596
2018-11-21T20:40:07.039Z,60,1,1,1,2,80248,0.115,697809
2018-11-21T20:40:09.051Z,201,10,10,10,2,2321230,1.067,2175473
2018-11-21T20:40:10.062Z,171,1,24,70,2,39606,0.102,388294
2018-11-21T20:40:11.077Z,16,1,6,12,2,27427,0.089,308169
2018-11-21T20:40:11.495Z,13,1,2,2,1,34233,0.085,402741
2018-11-21T20:40:13.523Z,46,101,202,404,2,1216533,0.568,2141783
2018-11-21T20:40:13.962Z,29,10,13,26,2,55976,0.095,589221
2018-11-21T20:40:14.925Z,356,1,39,124,4,129944,0.150,866293
2018-11-21T20:40:15.673Z,56,1,1,1,2,61575,0.114,540132
2018-11-21T20:40:16.882Z,309,1,10,82,4,127896,0.148,864162
2018-11-21T20:40:17.531Z,30,2,4,8,4,34614,0.088,393341
2018-11-21T20:40:19.870Z,1546,47,105,330,4,1536564,1.026,1497626
2018-11-21T20:40:25.149Z,100600,117,0,0,1,5365335,4.479,1197887
2018-11-21T20:40:25.619Z,8,8,8,8,1,32243,0.083,388470
2018-11-21T20:40:26.027Z,7,7,7,7,1,26474,0.079,335114
2018-11-21T20:40:26.438Z,10,10,10,10,1,29522,0.080,369025
2018-11-21T20:40:26.759Z,12,12,13,29,2,53761,0.093,578075
2018-11-21T20:40:27.812Z,158,1,1,1,2,72934,0.146,499548
2018-11-21T20:40:28.236Z,5,5,5,5,1,25667,0.078,329064
2018-11-21T20:40:30.164Z,22,1,1,1,1,2902467,1.355,2142042
2018-11-21T20:40:31.763Z,34,1,2,4,1,32715,0.099,330455
2018-11-21T20:40:32.003Z,88,6,6,6,1,26889,0.085,316341
2018-11-21T20:40:32.749Z,29,1,1,1,1,158704,0.145,1094510
2018-11-21T20:40:33.398Z,27,1,1,1,1,114791,0.121,948686
2018-11-21T20:40:33.846Z,106,35,35,35,0,66864,0.106,630792
2018-11-21T20:40:34.858Z,59,16,91,338,3,68840,0.113,609204
2018-11-21T20:40:35.587Z,113,16,27,115,5,54641,0.103,530495
2018-11-21T20:40:36.706Z,102,1,209,218,1,78546,0.115,683009
2018-11-21T20:40:37.429Z,78,4,47,7,1,56316,0.106,531283
2018-11-21T20:40:38.110Z,13,2,2,2,1,21853,0.080,273163
2018-11-21T20:40:38.700Z,13,2,2,2,1,22022,0.080,275275
2018-11-21T20:40:39.339Z,11,2,2,2,1,21044,0.077,273299
2018-11-21T20:40:40.733Z,683,222,443,1776,4,1533368,0.714,2147574
2018-11-21T20:40:41.674Z,59,16,91,338,3,68884,0.119,578857
2018-11-21T20:40:43.250Z,1013,1,1,1,1,1397433,0.644,2169927
2018-11-21T20:40:44.278Z,288,1,12,28,2,40044,0.104,385038
2018-11-21T20:40:44.878Z,9,2,3,6,2,21862,0.084,260262
2018-11-21T20:40:45.192Z,35,101,0,0,0,27465,0.080,343313
2018-11-21T20:40:46.037Z,606,81,81,81,1,92524,0.131,706290
2018-11-21T20:40:46.641Z,608,54,54,54,1,81635,0.126,647897
2018-11-21T20:40:47.237Z,608,46,46,46,1,74711,0.119,627824
2018-11-21T20:40:47.816Z,610,19,19,19,1,54383,0.109,498927
2018-11-21T20:40:49.535Z,769,3,1,1,0,336744,0.239,1408971
2018-11-21T20:40:50.765Z,16,1,1,1,1,1254735,0.673,1864391
2018-11-21T20:40:51.630Z,26,7,21,42,4,65810,0.112,587589
2018-11-21T20:40:52.366Z,57,1,1,1,1,63372,0.106,597849
2018-11-21T20:40:52.982Z,60,2,24,88,5,49508,0.101,490178
2018-11-21T20:40:53.576Z,5,5,5,5,1,24967,0.079,316038
2018-11-21T20:40:54.186Z,20,1,7,25,5,26763,0.083,322446
2018-11-21T20:40:55.138Z,97,1,9,43,3,42491,0.118,360093
2018-11-21T21:06:29.127Z,34,1,1,1,2,47449,0.115,412600
2018-11-21T21:06:31.226Z,470,97,146,855,5,977311,0.528,1850968
2018-11-21T21:06:33.000Z,295,50,100,48,4,221006,0.219,1009160
2018-11-21T21:06:38.829Z,10012,1518,1518,1518,1,4717720,2.383,1979740
2018-11-21T21:06:39.336Z,9,3,6,12,2,27367,0.085,321965
2018-11-21T21:06:40.067Z,43,2,4,8,2,41101,0.098,419398
2018-11-21T21:06:41.530Z,22,17,17,17,2,74620,0.131,569618
2018-11-21T21:06:42.083Z,17,5,5,5,2,50262,0.120,418850
2018-11-21T21:06:42.783Z,22,1,6,18,3,24424,0.088,277545
2018-11-21T21:06:43.737Z,14,2,2,2,1,25807,0.084,307226
2018-11-21T21:06:44.278Z,104,6,6,6,1,43444,0.101,430139
2018-11-21T21:06:45.026Z,1004,92,92,92,1,390944,0.276,1416464
2018-11-21T21:06:48.334Z,10004,966,966,966,1,3881496,2.294,1692021
2018-11-21T21:06:48.970Z,54,2,8,18,2,37896,0.089,425798
2018-11-21T21:06:49.823Z,124,6,23,48,2,70166,0.110,637873
2018-11-21T21:06:50.839Z,1686,92,355,712,2,804911,0.451,1784725
2018-11-21T21:06:56.227Z,17278,966,3682,7366,2,8124408,3.906,2079982
2018-11-21T21:06:57.809Z,43,1,2,2,1,31652,0.092,344043
2018-11-21T21:06:58.800Z,52,2,32,120,4,42398,0.094,451043
2018-11-21T21:06:59.601Z,73,24,0,0,1,16843,0.078,215936
2018-11-21T21:07:00.318Z,31,4,4,4,2,15767,0.079,199582
2018-11-21T21:07:02.404Z,9008,1,2999,5998,2,1940811,1.091,1778929
2018-11-21T21:07:03.153Z,57,16,32,64,2,200580,0.155,1294065
2018-11-21T21:07:04.100Z,28,1,2,4,2,671709,0.377,1781721
2018-11-21T21:07:10.245Z,1004,1000,1000,1000,1,9855584,4.038,2440709
2018-11-21T21:07:11.689Z,260,8,50,307,6,469347,0.294,1596418
2018-11-21T21:07:13.655Z,630,18,237,1917,5,807080,0.542,1489077
2018-11-21T21:07:14.510Z,14,1,1,1,1,138708,0.134,1035134
2018-11-21T21:07:16.061Z,347,6,1591,18973,12,753962,0.377,1999899
2018-11-21T21:07:16.824Z,46,6,7,30,2,43021,0.094,457670
2018-11-21T21:07:17.864Z,60,1,1,1,2,80257,0.116,691871
2018-11-21T21:07:19.610Z,201,10,10,10,2,2321539,1.042,2227964
2018-11-21T21:07:20.508Z,171,1,24,70,2,39634,0.105,377467
2018-11-21T21:07:21.625Z,16,1,6,12,2,27456,0.098,280163
2018-11-21T21:07:21.933Z,13,1,2,2,1,34261,0.082,417817
2018-11-21T21:07:23.993Z,46,101,202,404,2,1216562,0.541,2248728
2018-11-21T21:07:24.429Z,29,10,13,26,2,56005,0.097,577371
2018-11-21T21:07:25.575Z,356,1,39,124,4,129972,0.150,866480
2018-11-21T21:07:26.322Z,56,1,1,1,2,61604,0.107,575738
2018-11-21T21:07:27.446Z,309,1,10,82,4,127925,0.149,858557
2018-11-21T21:07:28.392Z,30,2,4,8,4,34643,0.092,376554
2018-11-21T21:07:30.580Z,1546,47,105,330,4,1536592,0.985,1559992
2018-11-21T21:07:35.964Z,100600,117,0,0,1,5366354,4.581,1171437
2018-11-21T21:07:36.473Z,8,8,8,8,1,32274,0.083,388843
2018-11-21T21:07:36.777Z,7,7,7,7,1,26503,0.079,335481
2018-11-21T21:07:37.070Z,10,10,10,10,1,29551,0.080,369388
2018-11-21T21:07:37.428Z,12,12,13,29,2,53790,0.097,554536
2018-11-21T21:07:38.444Z,158,1,1,1,2,73263,0.133,550850
2018-11-21T21:07:38.933Z,5,5,5,5,1,25696,0.082,313366
2018-11-21T21:07:41.261Z,22,1,1,1,1,2902497,1.263,2298097
2018-11-21T21:07:42.724Z,34,1,2,4,1,32744,0.101,324198
2018-11-21T21:07:42.967Z,88,6,6,6,1,26917,0.086,312988
2018-11-21T21:07:44.010Z,29,1,1,1,1,158733,0.146,1087212
2018-11-21T21:07:44.642Z,27,1,1,1,1,114819,0.123,933488
2018-11-21T21:07:45.070Z,106,35,35,35,0,66894,0.104,643212
2018-11-21T21:07:45.977Z,59,16,91,338,3,68869,0.113,609460
2018-11-21T21:07:46.952Z,113,16,27,115,5,54667,0.103,530748
2018-11-21T21:07:48.080Z,102,1,209,218,1,78575,0.125,628600
2018-11-21T21:07:48.723Z,78,4,47,7,1,56344,0.105,536610
2018-11-21T21:07:49.375Z,13,2,2,2,1,21883,0.082,266866
2018-11-21T21:07:49.989Z,13,2,2,2,1,22051,0.082,268915
2018-11-21T21:07:50.707Z,11,2,2,2,1,21073,0.080,263413
2018-11-21T21:07:52.140Z,683,222,443,1776,4,1533397,0.712,2153647
2018-11-21T21:07:53.394Z,59,16,91,338,3,68912,0.118,584000
2018-11-21T21:07:55.034Z,1013,1,1,1,1,1397461,0.647,2159909
2018-11-21T21:07:56.259Z,288,1,12,28,2,40074,0.104,385327
2018-11-21T21:07:56.952Z,9,2,3,6,2,21890,0.080,273625
2018-11-21T21:07:57.272Z,35,101,0,0,0,27494,0.081,339432
2018-11-21T21:07:58.124Z,606,81,81,81,1,92553,0.130,711946
2018-11-21T21:07:58.813Z,608,54,54,54,1,81665,0.127,643031
2018-11-21T21:07:59.435Z,608,46,46,46,1,74741,0.126,593183
2018-11-21T21:08:00.013Z,610,19,19,19,1,54432,0.112,486000
2018-11-21T21:08:01.810Z,769,3,1,1,0,336792,0.248,1358032
2018-11-21T21:08:03.096Z,16,1,1,1,1,1254786,0.673,1864467
2018-11-21T21:08:04.251Z,26,7,21,42,4,65858,0.114,577702
2018-11-21T21:08:04.968Z,57,1,1,1,1,63422,0.109,581853
2018-11-21T21:08:05.869Z,60,2,24,88,5,49557,0.099,500576
2018-11-21T21:08:06.282Z,5,5,5,5,1,25017,0.081,308852
2018-11-21T21:08:06.992Z,20,1,7,25,5,26813,0.082,326988
2018-11-21T21:08:08.046Z,97,1,9,43,3,42840,0.122,351148
2018-11-21T21:08:08.259Z,0,0,0,0,1,12300,0.069,178261
This diff is collapsed.
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-11-21T20:40:37.429Z in=78 out=4 ent=47 step=7 brake=1 inf=56316 sec=0.106 inf/sec=531283
#2018-11-21T21:07:48.723Z in=78 out=4 ent=47 step=7 brake=1 inf=56344 sec=0.105 inf/sec=536610
#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-11-21T20:40:36.706Z in=102 out=1 ent=209 step=218 brake=1 inf=78546 sec=0.115 inf/sec=683009
#2018-11-21T21:07:48.080Z in=102 out=1 ent=209 step=218 brake=1 inf=78575 sec=0.125 inf/sec=628600
#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-11-21T20:40:38.110Z in=13 out=2 ent=2 step=2 brake=1 inf=21853 sec=0.080 inf/sec=273163
#2018-11-21T21:07:49.375Z in=13 out=2 ent=2 step=2 brake=1 inf=21883 sec=0.082 inf/sec=266866
#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-11-21T20:40:38.700Z in=13 out=2 ent=2 step=2 brake=1 inf=22022 sec=0.080 inf/sec=275275
#2018-11-21T21:07:49.989Z in=13 out=2 ent=2 step=2 brake=1 inf=22051 sec=0.082 inf/sec=268915
#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-11-21T20:40:39.339Z in=11 out=2 ent=2 step=2 brake=1 inf=21044 sec=0.077 inf/sec=273299
#2018-11-21T21:07:50.707Z in=11 out=2 ent=2 step=2 brake=1 inf=21073 sec=0.080 inf/sec=263413
#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-11-21T20:40:40.733Z in=683 out=222 ent=443 step=1776 brake=4 inf=1533368 sec=0.714 inf/sec=2147574
#2018-11-21T21:07:52.140Z in=683 out=222 ent=443 step=1776 brake=4 inf=1533397 sec=0.712 inf/sec=2153647
#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-11-21T20:40:41.674Z in=59 out=16 ent=91 step=338 brake=3 inf=68884 sec=0.119 inf/sec=578857
#2018-11-21T21:07:53.394Z in=59 out=16 ent=91 step=338 brake=3 inf=68912 sec=0.118 inf/sec=584000
#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-11-21T20:40:43.250Z in=1013 out=1 ent=1 step=1 brake=1 inf=1397433 sec=0.644 inf/sec=2169927
#2018-11-21T21:07:55.034Z in=1013 out=1 ent=1 step=1 brake=1 inf=1397461 sec=0.647 inf/sec=2159909
#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-11-21T20:40:44.278Z in=288 out=1 ent=12 step=28 brake=2 inf=40044 sec=0.104 inf/sec=385038
#2018-11-21T21:07:56.259Z in=288 out=1 ent=12 step=28 brake=2 inf=40074 sec=0.104 inf/sec=385327
#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/socrates/socrates.n3>].
#2018-11-21T20:40:44.878Z in=9 out=2 ent=3 step=6 brake=2 inf=21862 sec=0.084 inf/sec=260262
#2018-11-21T21:07:56.952Z in=9 out=2 ent=3 step=6 brake=2 inf=21890 sec=0.080 inf/sec=273625