Commit 5a8cdbe3 authored by josd's avatar josd

retest

parent 97b18ff0
......@@ -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/book/3outof5/sample.n3>].
#2018-08-24T23:19:15.674Z in=34 out=1 ent=1 step=1 brake=2 inf=45343 sec=0.045 inf/sec=1007622
#2018-08-25T21:37:46.284Z in=34 out=1 ent=1 step=1 brake=2 inf=45711 sec=0.104 inf/sec=439529
#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/book/bi/biP.n3>].
#2018-08-24T23:19:16.719Z in=470 out=97 ent=145 step=755 brake=4 inf=957570 sec=0.178 inf/sec=5379607
#2018-08-25T21:37:47.806Z in=470 out=97 ent=145 step=755 brake=4 inf=957944 sec=0.521 inf/sec=1838664
#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/book/bmi/bmi_instances.n3>].
#2018-08-24T23:19:17.685Z in=295 out=50 ent=100 step=48 brake=4 inf=218927 sec=0.086 inf/sec=2545663
#2018-08-25T21:37:49.133Z in=295 out=50 ent=100 step=48 brake=4 inf=219305 sec=0.208 inf/sec=1054351
#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/book/bmt/1tt8.n3>].
#2018-08-24T23:19:20.471Z in=10012 out=1518 ent=1518 step=1518 brake=1 inf=4717805 sec=0.767 inf/sec=6150984
#2018-08-25T21:37:54.060Z in=10012 out=1518 ent=1518 step=1518 brake=1 inf=4717955 sec=2.360 inf/sec=1999133
#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/book/crypto/cryptoP.n3>].
#2018-08-24T23:19:20.774Z in=9 out=3 ent=6 step=12 brake=2 inf=27334 sec=0.033 inf/sec=828303
#2018-08-25T21:37:54.480Z in=9 out=3 ent=6 step=12 brake=2 inf=27488 sec=0.078 inf/sec=352410
#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/book/cs/rules-001.n3>].
#2018-08-24T23:19:21.262Z in=43 out=2 ent=4 step=8 brake=2 inf=41090 sec=0.038 inf/sec=1081316
#2018-08-25T21:37:55.117Z in=43 out=2 ent=4 step=8 brake=2 inf=41242 sec=0.093 inf/sec=443462
#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/book/csv/select-data-extra.n3>].
#2018-08-24T23:19:22.067Z in=17 out=5 ent=5 step=5 brake=2 inf=48148 sec=0.050 inf/sec=962960
#2018-08-25T21:37:56.481Z in=17 out=5 ent=5 step=5 brake=2 inf=48524 sec=0.107 inf/sec=453495
#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/book/csv/select-data.n3>].
#2018-08-24T23:19:21.710Z in=22 out=17 ent=17 step=17 brake=2 inf=72508 sec=0.046 inf/sec=1576261
#2018-08-25T21:37:55.716Z in=22 out=17 ent=17 step=17 brake=2 inf=72882 sec=0.123 inf/sec=592537
#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/book/de/de.n3>].
#2018-08-24T23:19:22.547Z in=22 out=1 ent=6 step=18 brake=3 inf=24412 sec=0.035 inf/sec=697486
#2018-08-25T21:37:57.127Z in=22 out=1 ent=6 step=18 brake=3 inf=24567 sec=0.082 inf/sec=299598
#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/book/djiti/graph-10.n3>].
#2018-08-24T23:19:24.692Z in=14 out=2 ent=2 step=2 brake=1 inf=25790 sec=0.039 inf/sec=661282
#2018-08-25T21:37:57.575Z in=14 out=2 ent=2 step=2 brake=1 inf=25935 sec=0.079 inf/sec=328291
#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/book/djiti/graph-100.n3>].
#2018-08-24T23:19:24.933Z in=104 out=6 ent=6 step=6 brake=1 inf=43420 sec=0.036 inf/sec=1206111
#2018-08-25T21:37:57.960Z in=104 out=6 ent=6 step=6 brake=1 inf=43572 sec=0.089 inf/sec=489573
#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/book/djiti/graph-1000.n3>].
#2018-08-24T23:19:25.272Z in=1004 out=92 ent=92 step=92 brake=1 inf=390921 sec=0.103 inf/sec=3795350
#2018-08-25T21:37:58.577Z in=1004 out=92 ent=92 step=92 brake=1 inf=391070 sec=0.277 inf/sec=1411805
#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/book/djiti/graph-10000.n3>].
#2018-08-24T23:19:26.502Z in=10004 out=966 ent=966 step=966 brake=1 inf=3881475 sec=0.809 inf/sec=4797868
#2018-08-25T21:38:01.387Z in=10004 out=966 ent=966 step=966 brake=1 inf=3881648 sec=2.309 inf/sec=1681095
#ENDS
......@@ -139,6 +139,6 @@ PREFIX : <http://josd.github.io/eye/book#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/book/djiti/proof-10.n3>].
#2018-08-24T23:19:26.861Z in=54 out=2 ent=8 step=18 brake=2 inf=37872 sec=0.049 inf/sec=772898
#2018-08-25T21:38:01.861Z in=54 out=2 ent=8 step=18 brake=2 inf=38045 sec=0.086 inf/sec=442384
#ENDS
......@@ -348,6 +348,6 @@ PREFIX : <http://josd.github.io/eye/book#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/book/djiti/proof-100.n3>].
#2018-08-24T23:19:27.212Z in=124 out=6 ent=23 step=48 brake=2 inf=70144 sec=0.045 inf/sec=1558756
#2018-08-25T21:38:02.367Z in=124 out=6 ent=23 step=48 brake=2 inf=70318 sec=0.107 inf/sec=657178
#ENDS
......@@ -5060,6 +5060,6 @@ PREFIX : <http://josd.github.io/eye/book#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/book/djiti/proof-1000.n3>].
#2018-08-24T23:19:27.718Z in=1686 out=92 ent=355 step=712 brake=2 inf=804889 sec=0.160 inf/sec=5030556
#2018-08-25T21:38:03.430Z in=1686 out=92 ent=355 step=712 brake=2 inf=805059 sec=0.446 inf/sec=1805065
#ENDS
......@@ -51865,6 +51865,6 @@ PREFIX : <http://josd.github.io/eye/book#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/book/djiti/proof-10000.n3>].
#2018-08-24T23:19:29.528Z in=17278 out=966 ent=3682 step=7366 brake=2 inf=8124385 sec=1.236 inf/sec=6573127
#2018-08-25T21:38:07.860Z in=17278 out=966 ent=3682 step=7366 brake=2 inf=8124557 sec=3.915 inf/sec=2075238
#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/book/dp/dp.n3>].
#2018-08-24T23:19:23.646Z in=43 out=1 ent=2 step=2 brake=1 inf=31628 sec=0.040 inf/sec=790700
#2018-08-25T21:38:09.253Z in=43 out=1 ent=2 step=2 brake=1 inf=31801 sec=0.089 inf/sec=357315
#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/book/dpe/dpe_theory.n3>].
#2018-08-24T23:19:24.238Z in=52 out=2 ent=32 step=120 brake=4 inf=42388 sec=0.047 inf/sec=901872
#2018-08-25T21:38:10.025Z in=52 out=2 ent=32 step=120 brake=4 inf=42541 sec=0.096 inf/sec=443135
#ENDS
......@@ -28,6 +28,6 @@ PREFIX dqt: <http://josd.github.io/eye/book/dqt#>
3 dqt:sdcoding 0 .
3 dqt:sdcoding 2 .
#2018-08-25T21:25:22.872Z in=73 out=24 ent=0 step=0 brake=1 inf=16973 sec=0.074 inf/sec=229365
#2018-08-25T21:38:10.580Z in=73 out=24 ent=0 step=0 brake=1 inf=16972 sec=0.075 inf/sec=226293
#ENDS
......@@ -10,6 +10,6 @@ PREFIX math: <http://www.w3.org/2000/10/swap/math#>
0 dqt:sdcoding 0 .
2 dqt:sdcoding 2 .
#2018-08-25T21:25:23.315Z in=31 out=4 ent=4 step=4 brake=2 inf=15879 sec=0.073 inf/sec=217521
#2018-08-25T21:38:11.314Z in=31 out=4 ent=4 step=4 brake=2 inf=15876 sec=0.073 inf/sec=217479
#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/book/dt/test-dt-1000.n3>].
#2018-08-24T23:19:30.535Z in=9008 out=1 ent=2999 step=5998 brake=2 inf=1940779 sec=0.352 inf/sec=5513577
#2018-08-25T21:38:13.029Z in=9008 out=1 ent=2999 step=5998 brake=2 inf=1940931 sec=1.082 inf/sec=1793836
#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/book/easter/easterP.n3>].
#2018-08-24T23:19:31.004Z in=57 out=16 ent=32 step=64 brake=2 inf=200537 sec=0.056 inf/sec=3581018
#2018-08-25T21:38:13.690Z in=57 out=16 ent=32 step=64 brake=2 inf=200689 sec=0.154 inf/sec=1303175
#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/book/einstein/einstein.n3>].
#2018-08-24T23:19:31.553Z in=28 out=1 ent=2 step=4 brake=2 inf=671664 sec=0.135 inf/sec=4975289
#2018-08-25T21:38:14.530Z in=28 out=1 ent=2 step=4 brake=2 inf=671815 sec=0.372 inf/sec=1805954
#ENDS
......@@ -1004,6 +1004,6 @@ PREFIX e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>
((1.0 0.0) (31.479139483246144 -5.637636835003695) (49.6500993311686 21.292855459119252) (-7.509269162080673 -4.685394625106959) (44.19898428417116 0.09388861810012417)) e:roots ((-30.04806036124109 6.671361387382722) (-1.8564286933350918 -0.8715530609384365) (0.14001882652977038 -0.8874311173161269) (0.2853307448002713 0.725259625875537)).
((1.0 0.0) (-3.4735945942544033 -5.724317381286637) (27.95030525291834 -45.78866148003705) (-35.441953702016335 -26.5046605108508) (-14.350738086782172 -39.59708380047468)) e:roots ((5.746180404504588 9.593740189549036) (-0.3856613070277868 -0.47108060895022996) (-2.1856418312890327 -4.580144382021954) (0.29871732806663354 1.181802182709784)).
#2018-08-24T23:19:34.096Z in=1004 out=1000 ent=1000 step=1000 brake=1 inf=9855560 sec=1.237 inf/sec=7967308
#2018-08-25T21:38:20.556Z in=1004 out=1000 ent=1000 step=1000 brake=1 inf=9855713 sec=4.231 inf/sec=2329405
#ENDS
......@@ -9,9 +9,10 @@ function eyebook {
pushd cs; ./test "$@"; git diff -U0 . | grep -E -v '^diff|^index|^Binary|^--|^\+-|\+\+|^@@|#Processed by|#DONE|in=|#ENDS' >> ../eyebook.diff; popd
pushd csv; ./test "$@"; git diff -U0 . | grep -E -v '^diff|^index|^Binary|^--|^\+-|\+\+|^@@|#Processed by|#DONE|in=|#ENDS' >> ../eyebook.diff; popd
pushd de; ./test "$@"; git diff -U0 . | grep -E -v '^diff|^index|^Binary|^--|^\+-|\+\+|^@@|#Processed by|#DONE|in=|#ENDS' >> ../eyebook.diff; popd
pushd djiti; ./test "$@"; git diff -U0 . | grep -E -v '^diff|^index|^Binary|^--|^\+-|\+\+|^@@|#Processed by|#DONE|in=|#ENDS' >> ../eyebook.diff; popd
pushd dp; ./test "$@"; git diff -U0 . | grep -E -v '^diff|^index|^Binary|^--|^\+-|\+\+|^@@|#Processed by|#DONE|in=|#ENDS' >> ../eyebook.diff; popd
pushd dpe; ./test "$@"; git diff -U0 . | grep -E -v '^diff|^index|^Binary|^--|^\+-|\+\+|^@@|#Processed by|#DONE|in=|#ENDS' >> ../eyebook.diff; popd
pushd djiti; ./test "$@"; git diff -U0 . | grep -E -v '^diff|^index|^Binary|^--|^\+-|\+\+|^@@|#Processed by|#DONE|in=|#ENDS' >> ../eyebook.diff; popd
pushd dqt; ./test "$@"; git diff -U0 . | grep -E -v '^diff|^index|^Binary|^--|^\+-|\+\+|^@@|#Processed by|#DONE|in=|#ENDS' >> ../eyebook.diff; popd
pushd dt; ./test "$@"; git diff -U0 . | grep -E -v '^diff|^index|^Binary|^--|^\+-|\+\+|^@@|#Processed by|#DONE|in=|#ENDS' >> ../eyebook.diff; popd
pushd easter; ./test "$@"; git diff -U0 . | grep -E -v '^diff|^index|^Binary|^--|^\+-|\+\+|^@@|#Processed by|#DONE|in=|#ENDS' >> ../eyebook.diff; popd
pushd einstein; ./test "$@"; git diff -U0 . | grep -E -v '^diff|^index|^Binary|^--|^\+-|\+\+|^@@|#Processed by|#DONE|in=|#ENDS' >> ../eyebook.diff; popd
......
stamp,in,out,ent,step,brake,inf,sec,inf/sec
2018-08-24T23:19:15.674Z,34,1,1,1,2,45343,0.045,1007622
2018-08-24T23:19:16.719Z,470,97,145,755,4,957570,0.178,5379607
2018-08-24T23:19:17.685Z,295,50,100,48,4,218927,0.086,2545663
2018-08-24T23:19:20.471Z,10012,1518,1518,1518,1,4717805,0.767,6150984
2018-08-24T23:19:20.774Z,9,3,6,12,2,27334,0.033,828303
2018-08-24T23:19:21.262Z,43,2,4,8,2,41090,0.038,1081316
2018-08-24T23:19:21.710Z,22,17,17,17,2,72508,0.046,1576261
2018-08-24T23:19:22.067Z,17,5,5,5,2,48148,0.050,962960
2018-08-24T23:19:22.547Z,22,1,6,18,3,24412,0.035,697486
2018-08-24T23:19:23.646Z,43,1,2,2,1,31628,0.040,790700
2018-08-24T23:19:24.238Z,52,2,32,120,4,42388,0.047,901872
2018-08-24T23:19:24.692Z,14,2,2,2,1,25790,0.039,661282
2018-08-24T23:19:24.933Z,104,6,6,6,1,43420,0.036,1206111
2018-08-24T23:19:25.272Z,1004,92,92,92,1,390921,0.103,3795350
2018-08-24T23:19:26.502Z,10004,966,966,966,1,3881475,0.809,4797868
2018-08-24T23:19:26.861Z,54,2,8,18,2,37872,0.049,772898
2018-08-24T23:19:27.212Z,124,6,23,48,2,70144,0.045,1558756
2018-08-24T23:19:27.718Z,1686,92,355,712,2,804889,0.160,5030556
2018-08-24T23:19:29.528Z,17278,966,3682,7366,2,8124385,1.236,6573127
2018-08-24T23:19:30.535Z,9008,1,2999,5998,2,1940779,0.352,5513577
2018-08-24T23:19:31.004Z,57,16,32,64,2,200537,0.056,3581018
2018-08-24T23:19:31.553Z,28,1,2,4,2,671664,0.135,4975289
2018-08-24T23:19:34.096Z,1004,1000,1000,1000,1,9855560,1.237,7967308
2018-08-24T23:19:34.938Z,260,8,50,307,6,467273,0.106,4408236
2018-08-24T23:19:35.983Z,630,18,237,1917,5,807095,0.185,4362676
2018-08-24T23:19:36.448Z,14,1,1,1,1,148877,0.052,2863019
2018-08-24T23:19:37.172Z,347,6,1591,18973,12,751873,0.121,6213826
2018-08-24T23:19:37.630Z,46,6,7,30,2,42999,0.044,977250
2018-08-24T23:19:38.236Z,60,1,1,1,2,80248,0.049,1637714
2018-08-24T23:19:39.078Z,201,10,10,10,2,2319438,0.350,6626966
2018-08-24T23:19:39.687Z,171,1,24,70,2,39624,0.048,825500
2018-08-24T23:19:40.300Z,16,1,6,12,2,27459,0.039,704077
2018-08-24T23:19:40.487Z,13,1,2,2,1,34226,0.032,1069563
2018-08-24T23:19:41.414Z,46,101,202,404,2,1216528,0.172,7072837
2018-08-24T23:19:41.720Z,29,10,13,26,2,55969,0.035,1599114
2018-08-24T23:19:42.358Z,356,1,39,124,4,129961,0.065,1999400
2018-08-24T23:19:42.882Z,56,1,1,1,2,61592,0.047,1310468
2018-08-24T23:19:43.565Z,309,1,10,82,4,127925,0.074,1728716
2018-08-24T23:19:44.013Z,30,2,4,8,4,34622,0.042,824333
2018-08-24T23:19:45.098Z,1546,47,105,330,4,1536592,0.258,5955783
2018-08-24T23:19:46.540Z,100600,117,0,0,1,5367519,1.213,4424995
2018-08-24T23:19:46.858Z,8,8,8,8,1,32226,0.035,920743
2018-08-24T23:19:47.028Z,7,7,7,7,1,26457,0.028,944893
2018-08-24T23:19:47.203Z,10,10,10,10,1,29504,0.028,1053714
2018-08-24T23:19:47.425Z,12,12,13,29,2,53742,0.042,1279571
2018-08-24T23:19:48.034Z,158,1,1,1,2,71161,0.057,1248439
2018-08-24T23:19:48.325Z,8,8,8,8,1,31154,0.035,890114
2018-08-24T23:19:49.069Z,22,1,1,1,1,2902473,0.382,7598097
2018-08-24T23:19:50.137Z,34,1,2,4,1,32768,0.043,762047
2018-08-24T23:19:50.281Z,88,6,6,6,1,26718,0.025,1068720
2018-08-24T23:19:50.758Z,29,1,1,1,1,158711,0.060,2645183
2018-08-24T23:19:51.215Z,27,1,1,1,1,114799,0.054,2125907
2018-08-24T23:19:51.517Z,106,35,35,35,0,66707,0.043,1551326
2018-08-24T23:19:52.185Z,59,16,91,338,3,68869,0.057,1208228
2018-08-24T23:19:52.599Z,113,16,27,115,5,54657,0.047,1162915
2018-08-24T23:19:53.200Z,102,1,209,218,1,78565,0.047,1671596
2018-08-24T23:19:53.661Z,78,4,47,7,1,56322,0.045,1251600
2018-08-24T23:19:54.106Z,13,2,2,2,1,21859,0.037,590784
2018-08-24T23:19:54.551Z,13,2,2,2,1,22028,0.042,524476
2018-08-24T23:19:54.882Z,11,2,2,2,1,21049,0.032,657781
2018-08-24T23:19:55.539Z,683,222,443,1776,4,1533379,0.227,6754974
2018-08-24T23:19:56.209Z,59,16,91,338,3,68913,0.053,1300245
2018-08-24T23:19:57.089Z,1013,1,1,1,1,1396477,0.214,6525593
2018-08-24T23:19:57.705Z,288,1,12,28,2,40061,0.046,870891
2018-08-24T23:19:58.144Z,9,2,3,6,2,21868,0.036,607444
2018-08-24T23:19:58.341Z,35,101,0,0,0,27471,0.037,742459
2018-08-24T23:19:58.870Z,606,81,81,81,1,92543,0.064,1445984
2018-08-24T23:19:59.185Z,608,54,54,54,1,81655,0.048,1701146
2018-08-24T23:19:59.493Z,608,46,46,46,1,74731,0.061,1225098
2018-08-24T23:19:59.800Z,610,19,19,19,1,54401,0.052,1046173
2018-08-24T23:20:00.669Z,769,3,1,1,0,336819,0.089,3784483
2018-08-24T23:20:01.313Z,16,1,1,1,1,1254762,0.218,5755789
2018-08-24T23:20:01.903Z,26,7,21,42,4,65847,0.050,1316940
2018-08-24T23:20:02.346Z,57,1,1,1,1,63399,0.044,1440886
2018-08-24T23:20:02.773Z,60,2,24,88,5,49534,0.048,1031958
2018-08-24T23:20:03.068Z,5,5,5,5,1,24981,0.034,734735
2018-08-24T23:20:03.396Z,20,1,7,25,5,26791,0.034,787971
2018-08-24T23:20:03.899Z,97,1,9,43,3,40738,0.042,969952
2018-08-24T23:20:04.045Z,0,0,0,0,1,12170,0.029,419655
2018-08-25T21:37:46.284Z,34,1,1,1,2,45711,0.104,439529
2018-08-25T21:37:47.806Z,470,97,145,755,4,957944,0.521,1838664
2018-08-25T21:37:49.133Z,295,50,100,48,4,219305,0.208,1054351
2018-08-25T21:37:54.060Z,10012,1518,1518,1518,1,4717955,2.360,1999133
2018-08-25T21:37:54.480Z,9,3,6,12,2,27488,0.078,352410
2018-08-25T21:37:55.117Z,43,2,4,8,2,41242,0.093,443462
2018-08-25T21:37:55.716Z,22,17,17,17,2,72882,0.123,592537
2018-08-25T21:37:56.481Z,17,5,5,5,2,48524,0.107,453495
2018-08-25T21:37:57.127Z,22,1,6,18,3,24567,0.082,299598
2018-08-25T21:37:57.575Z,14,2,2,2,1,25935,0.079,328291
2018-08-25T21:37:57.960Z,104,6,6,6,1,43572,0.089,489573
2018-08-25T21:37:58.577Z,1004,92,92,92,1,391070,0.277,1411805
2018-08-25T21:38:01.387Z,10004,966,966,966,1,3881648,2.309,1681095
2018-08-25T21:38:01.861Z,54,2,8,18,2,38045,0.086,442384
2018-08-25T21:38:02.367Z,124,6,23,48,2,70318,0.107,657178
2018-08-25T21:38:03.430Z,1686,92,355,712,2,805059,0.446,1805065
2018-08-25T21:38:07.860Z,17278,966,3682,7366,2,8124557,3.915,2075238
2018-08-25T21:38:09.253Z,43,1,2,2,1,31801,0.089,357315
2018-08-25T21:38:10.025Z,52,2,32,120,4,42541,0.096,443135
2018-08-25T21:38:10.580Z,73,24,0,0,1,16972,0.075,226293
2018-08-25T21:38:11.314Z,31,4,4,4,2,15876,0.073,217479
2018-08-25T21:38:13.029Z,9008,1,2999,5998,2,1940931,1.082,1793836
2018-08-25T21:38:13.690Z,57,16,32,64,2,200689,0.154,1303175
2018-08-25T21:38:14.530Z,28,1,2,4,2,671815,0.372,1805954
2018-08-25T21:38:20.556Z,1004,1000,1000,1000,1,9855713,4.231,2329405
2018-08-25T21:38:21.824Z,260,8,50,307,6,467644,0.284,1646634
2018-08-25T21:38:23.301Z,630,18,237,1917,5,807244,0.532,1517376
2018-08-25T21:38:24.056Z,14,1,1,1,1,149029,0.137,1087803
2018-08-25T21:38:25.650Z,347,6,1591,18973,12,752247,0.354,2124992
2018-08-25T21:38:26.230Z,46,6,7,30,2,43151,0.092,469033
2018-08-25T21:38:26.997Z,60,1,1,1,2,80397,0.111,724297
2018-08-25T21:38:28.828Z,201,10,10,10,2,2319811,1.045,2219915
2018-08-25T21:38:29.608Z,171,1,24,70,2,39776,0.096,414333
2018-08-25T21:38:30.694Z,16,1,6,12,2,27610,0.085,324824
2018-08-25T21:38:30.995Z,13,1,2,2,1,34377,0.082,419232
2018-08-25T21:38:32.992Z,46,101,202,404,2,1216680,0.561,2168770
2018-08-25T21:38:33.404Z,29,10,13,26,2,56121,0.090,623567
2018-08-25T21:38:34.414Z,356,1,39,124,4,130114,0.148,879149
2018-08-25T21:38:35.306Z,56,1,1,1,2,61745,0.104,593702
2018-08-25T21:38:36.461Z,309,1,10,82,4,128080,0.143,895664
2018-08-25T21:38:37.034Z,30,2,4,8,4,34771,0.091,382099
2018-08-25T21:38:38.903Z,1546,47,105,330,4,1536746,1.005,1529100
2018-08-25T21:38:43.598Z,100600,117,0,0,1,5367680,4.253,1262093
2018-08-25T21:38:44.067Z,8,8,8,8,1,32378,0.081,399728
2018-08-25T21:38:44.347Z,7,7,7,7,1,26607,0.077,345545
2018-08-25T21:38:44.618Z,10,10,10,10,1,29656,0.075,395413
2018-08-25T21:38:44.908Z,12,12,13,29,2,53894,0.090,598822
2018-08-25T21:38:45.831Z,158,1,1,1,2,71537,0.122,586369
2018-08-25T21:38:46.230Z,8,8,8,8,1,31308,0.082,381805
2018-08-25T21:38:48.028Z,22,1,1,1,1,2902626,1.297,2237954
2018-08-25T21:38:49.324Z,34,1,2,4,1,32921,0.100,329210
2018-08-25T21:38:49.556Z,88,6,6,6,1,26870,0.078,344487
2018-08-25T21:38:50.184Z,29,1,1,1,1,158862,0.140,1134729
2018-08-25T21:38:50.782Z,27,1,1,1,1,114948,0.116,990931
2018-08-25T21:38:51.205Z,106,35,35,35,0,66859,0.102,655480
2018-08-25T21:38:52.265Z,59,16,91,338,3,69021,0.114,605447
2018-08-25T21:38:52.832Z,113,16,27,115,5,54807,0.101,542644
2018-08-25T21:38:53.607Z,102,1,209,218,1,78713,0.114,690465
2018-08-25T21:38:54.204Z,78,4,47,7,1,56474,0.101,559149
2018-08-25T21:38:54.814Z,13,2,2,2,1,22011,0.078,282192
2018-08-25T21:38:55.383Z,13,2,2,2,1,22180,0.076,291842
2018-08-25T21:38:56.043Z,11,2,2,2,1,21200,0.077,275325
2018-08-25T21:38:57.254Z,683,222,443,1776,4,1533527,0.704,2178305
2018-08-25T21:38:58.118Z,59,16,91,338,3,69065,0.110,627864
2018-08-25T21:38:59.468Z,1013,1,1,1,1,1396628,0.629,2220394
2018-08-25T21:39:00.232Z,288,1,12,28,2,40234,0.099,406404
2018-08-25T21:39:00.802Z,9,2,3,6,2,22040,0.078,282564
2018-08-25T21:39:01.090Z,35,101,0,0,0,27642,0.076,363711
2018-08-25T21:39:01.927Z,606,81,81,81,1,92714,0.126,735825
2018-08-25T21:39:02.436Z,608,54,54,54,1,81841,0.123,665374
2018-08-25T21:39:02.921Z,608,46,46,46,1,74902,0.120,624183
2018-08-25T21:39:03.406Z,610,19,19,19,1,54573,0.111,491649
2018-08-25T21:39:04.652Z,769,3,1,1,0,336970,0.232,1452457
2018-08-25T21:39:05.878Z,16,1,1,1,1,1254915,0.665,1887090
2018-08-25T21:39:06.827Z,26,7,21,42,4,66000,0.107,616822
2018-08-25T21:39:07.429Z,57,1,1,1,1,63551,0.103,617000
2018-08-25T21:39:08.141Z,60,2,24,88,5,49686,0.093,534258
2018-08-25T21:39:08.556Z,5,5,5,5,1,25133,0.077,326403
2018-08-25T21:39:09.017Z,20,1,7,25,5,26942,0.082,328561
2018-08-25T21:39:09.681Z,97,1,9,43,3,41112,0.107,384224
2018-08-25T21:39:09.888Z,0,0,0,0,1,12320,0.065,189538
# Sat Aug 25 01:19:15 CEST 2018
# Sat Aug 25 23:37:45 CEST 2018
This source diff could not be displayed because it is too large. You can view the blob instead.
......@@ -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/book/fcm/example002P.n3>].
#2018-08-24T23:19:34.938Z in=260 out=8 ent=50 step=307 brake=6 inf=467273 sec=0.106 inf/sec=4408236
#2018-08-25T21:38:21.824Z in=260 out=8 ent=50 step=307 brake=6 inf=467644 sec=0.284 inf/sec=1646634
#ENDS
......@@ -1211,6 +1211,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
1 log:equalTo _:x_1_20} {1 log:equalTo 1 .
1 log:equalTo 1}) e:derive true}}}].
#2018-08-24T23:19:35.983Z in=630 out=18 ent=237 step=1917 brake=5 inf=807095 sec=0.185 inf/sec=4362676
#2018-08-25T21:38:23.301Z in=630 out=18 ent=237 step=1917 brake=5 inf=807244 sec=0.532 inf/sec=1517376
#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/book/fib/fib.n3>].
#2018-08-24T23:19:36.448Z in=14 out=1 ent=1 step=1 brake=1 inf=148877 sec=0.052 inf/sec=2863019
#2018-08-25T21:38:24.056Z in=14 out=1 ent=1 step=1 brake=1 inf=149029 sec=0.137 inf/sec=1087803
#ENDS
......@@ -935,6 +935,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
);
r:rule <#lemma92>.
#2018-08-24T23:19:37.172Z in=347 out=6 ent=1591 step=18973 brake=12 inf=751873 sec=0.121 inf/sec=6213826
#2018-08-25T21:38:25.650Z in=347 out=6 ent=1591 step=18973 brake=12 inf=752247 sec=0.354 inf/sec=2124992
#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/book/glass/test.n3>].
#2018-08-24T23:19:37.630Z in=46 out=6 ent=7 step=30 brake=2 inf=42999 sec=0.044 inf/sec=977250
#2018-08-25T21:38:26.230Z in=46 out=6 ent=7 step=30 brake=2 inf=43151 sec=0.092 inf/sec=469033
#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/book/gps/gps-plugin.n3>].
#2018-08-24T23:19:38.236Z in=60 out=1 ent=1 step=1 brake=2 inf=80248 sec=0.049 inf/sec=1637714
#2018-08-25T21:38:26.997Z in=60 out=1 ent=1 step=1 brake=2 inf=80397 sec=0.111 inf/sec=724297
#ENDS
......@@ -5872,6 +5872,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
);
r:rule <#lemma336>.
#2018-08-24T23:19:39.078Z in=201 out=10 ent=10 step=10 brake=2 inf=2319438 sec=0.350 inf/sec=6626966
#2018-08-25T21:38:28.828Z in=201 out=10 ent=10 step=10 brake=2 inf=2319811 sec=1.045 inf/sec=2219915
#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/book/graph/graph.axiom.n3>].
#2018-08-24T23:19:39.687Z in=171 out=1 ent=24 step=70 brake=2 inf=39624 sec=0.048 inf/sec=825500
#2018-08-25T21:38:29.608Z in=171 out=1 ent=24 step=70 brake=2 inf=39776 sec=0.096 inf/sec=414333
#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/book/h2o/rules-001.n3>].
#2018-08-24T23:19:40.300Z in=16 out=1 ent=6 step=12 brake=2 inf=27459 sec=0.039 inf/sec=704077
#2018-08-25T21:38:30.694Z in=16 out=1 ent=6 step=12 brake=2 inf=27610 sec=0.085 inf/sec=324824
#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/book/hanoi/hanoi.n3>].
#2018-08-24T23:19:40.487Z in=13 out=1 ent=2 step=2 brake=1 inf=34226 sec=0.032 inf/sec=1069563
#2018-08-25T21:38:30.995Z in=13 out=1 ent=2 step=2 brake=1 inf=34377 sec=0.082 inf/sec=419232
#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/book/image/year.n3>].
#2018-08-24T23:19:41.414Z in=46 out=101 ent=202 step=404 brake=2 inf=1216528 sec=0.172 inf/sec=7072837
#2018-08-25T21:38:32.992Z in=46 out=101 ent=202 step=404 brake=2 inf=1216680 sec=0.561 inf/sec=2168770
#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/book/iq/iq.n3>].
#2018-08-24T23:19:41.720Z in=29 out=10 ent=13 step=26 brake=2 inf=55969 sec=0.035 inf/sec=1599114
#2018-08-25T21:38:33.404Z in=29 out=10 ent=13 step=26 brake=2 inf=56121 sec=0.090 inf/sec=623567
#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/book/lldm/lldmP.n3>].
#2018-08-24T23:19:42.358Z in=356 out=1 ent=39 step=124 brake=4 inf=129961 sec=0.065 inf/sec=1999400
#2018-08-25T21:38:34.414Z in=356 out=1 ent=39 step=124 brake=4 inf=130114 sec=0.148 inf/sec=879149
#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/book/gps/gps-plugin.n3>].
#2018-08-24T23:19:42.882Z in=56 out=1 ent=1 step=1 brake=2 inf=61592 sec=0.047 inf/sec=1310468
#2018-08-25T21:38:35.306Z in=56 out=1 ent=1 step=1 brake=2 inf=61745 sec=0.104 inf/sec=593702
#ENDS
......@@ -295,6 +295,6 @@ PREFIX : <http://josd.github.io/eye/book#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/book/gps/gps-plugin.n3>].
#2018-08-24T23:19:43.565Z in=309 out=1 ent=10 step=82 brake=4 inf=127925 sec=0.074 inf/sec=1728716
#2018-08-25T21:38:36.461Z in=309 out=1 ent=10 step=82 brake=4 inf=128080 sec=0.143 inf/sec=895664
#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/book/medic/medic.n3>].
#2018-08-24T23:19:44.013Z in=30 out=2 ent=4 step=8 brake=4 inf=34622 sec=0.042 inf/sec=824333
#2018-08-25T21:38:37.034Z in=30 out=2 ent=4 step=8 brake=4 inf=34771 sec=0.091 inf/sec=382099
#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/book/mmln/mmln-plugin.n3>].
#2018-08-24T23:19:45.098Z in=1546 out=47 ent=105 step=330 brake=4 inf=1536592 sec=0.258 inf/sec=5955783
#2018-08-25T21:38:38.903Z in=1546 out=47 ent=105 step=330 brake=4 inf=1536746 sec=1.005 inf/sec=1529100
#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/book/n3p/extra.ttl>].
#2018-08-24T23:19:47.028Z in=7 out=7 ent=7 step=7 brake=1 inf=26457 sec=0.028 inf/sec=944893
#2018-08-25T21:38:44.347Z in=7 out=7 ent=7 step=7 brake=1 inf=26607 sec=0.077 inf/sec=345545
#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/book/n3p/literals.ttl>].
#2018-08-24T23:19:47.203Z in=10 out=10 ent=10 step=10 brake=1 inf=29504 sec=0.028 inf/sec=1053714
#2018-08-25T21:38:44.618Z in=10 out=10 ent=10 step=10 brake=1 inf=29656 sec=0.075 inf/sec=395413
#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/book/n3p/sample.n3>].
#2018-08-24T23:19:47.425Z in=12 out=12 ent=13 step=29 brake=2 inf=53742 sec=0.042 inf/sec=1279571
#2018-08-25T21:38:44.908Z in=12 out=12 ent=13 step=29 brake=2 inf=53894 sec=0.090 inf/sec=598822
#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/book/n3p/simple.ttl>].
#2018-08-24T23:19:46.858Z in=8 out=8 ent=8 step=8 brake=1 inf=32226 sec=0.035 inf/sec=920743
#2018-08-25T21:38:44.067Z in=8 out=8 ent=8 step=8 brake=1 inf=32378 sec=0.081 inf/sec=399728
#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/book/nbbn/nbbn-plugin.n3>].
#2018-08-24T23:19:48.034Z in=158 out=1 ent=1 step=1 brake=2 inf=71161 sec=0.057 inf/sec=1248439
#2018-08-25T21:38:45.831Z in=158 out=1 ent=1 step=1 brake=2 inf=71537 sec=0.122 inf/sec=586369
#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/book/numeral/numeral.n3>].
#2018-08-24T23:19:48.325Z in=8 out=8 ent=8 step=8 brake=1 inf=31154 sec=0.035 inf/sec=890114
#2018-08-25T21:38:46.230Z in=8 out=8 ent=8 step=8 brake=1 inf=31308 sec=0.082 inf/sec=381805
#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/book/pi/pi.n3>].
#2018-08-24T23:19:49.069Z in=22 out=1 ent=1 step=1 brake=1 inf=2902473 sec=0.382 inf/sec=7598097
#2018-08-25T21:38:48.028Z in=22 out=1 ent=1 step=1 brake=1 inf=2902626 sec=1.297 inf/sec=2237954
#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/book/pptbank/checking.n3>].
#2018-08-24T23:19:50.137Z in=34 out=1 ent=2 step=4 brake=1 inf=32768 sec=0.043 inf/sec=762047
#2018-08-25T21:38:49.324Z in=34 out=1 ent=2 step=4 brake=1 inf=32921 sec=0.100 inf/sec=329210
#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/book/rpo/rdfs-subClassOf.n3>].
#2018-08-24T23:19:52.185Z in=59 out=16 ent=91 step=338 brake=3 inf=68869 sec=0.057 inf/sec=1208228
#2018-08-25T21:38:52.265Z in=59 out=16 ent=91 step=338 brake=3 inf=69021 sec=0.114 inf/sec=605447
#ENDS
......@@ -377,6 +377,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/book/preduction/food2.n3>].
#2018-08-24T23:19:52.599Z in=113 out=16 ent=27 step=115 brake=5 inf=54657 sec=0.047 inf/sec=1162915
#2018-08-25T21:38:52.832Z in=113 out=16 ent=27 step=115 brake=5 inf=54807 sec=0.101 inf/sec=542644
#ENDS
......@@ -43,6 +43,6 @@ PREFIX p: <http://josd.github.io/eye/book/preduction#>
{?U_441 a food:RedMeat} => {?U_441 a food:Meat}.
{?U_454 a food:EatingGrape} => {?U_454 a food:Grape}.
#2018-08-24T23:19:51.517Z in=106 out=35 ent=35 step=35 brake=0 inf=66707 sec=0.043 inf/sec=1551326
#2018-08-25T21:38:51.205Z in=106 out=35 ent=35 step=35 brake=0 inf=66859 sec=0.102 inf/sec=655480
#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/book/preduction/palindrome.n3>].
#2018-08-24T23:19:50.758Z in=29 out=1 ent=1 step=1 brake=1 inf=158711 sec=0.060 inf/sec=2645183
#2018-08-25T21:38:50.184Z in=29 out=1 ent=1 step=1 brake=1 inf=158862 sec=0.140 inf/sec=1134729
#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/book/preduction/palindrome2.n3>].
#2018-08-24T23:19:51.215Z in=27 out=1 ent=1 step=1 brake=1 inf=114799 sec=0.054 inf/sec=2125907
#2018-08-25T21:38:50.782Z in=27 out=1 ent=1 step=1 brake=1 inf=114948 sec=0.116 inf/sec=990931
#ENDS
......@@ -13,6 +13,6 @@ PREFIX : <http://josd.github.io/eye/book#>
{(?U_15 :pop ?U_16) :palindrome true} <= {?U_15 e:firstRest (?U_17 ?U_18). ?U_16 e:firstRest (?U_17 ?U_19). (?U_18 :pop ?U_19) :palindrome true}.
(() :pop ()) :palindrome true.
#2018-08-24T23:19:50.281Z in=88 out=6 ent=6 step=6 brake=1 inf=26718 sec=0.025 inf/sec=1068720
#2018-08-25T21:38:49.556Z in=88 out=6 ent=6 step=6 brake=1 inf=26870 sec=0.078 inf/sec=344487
#ENDS
......@@ -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/book/resto/resto.n3>].
#2018-08-24T23:19:53.661Z in=78 out=4 ent=47 step=7 brake=1 inf=56322 sec=0.045 inf/sec=1251600
#2018-08-25T21:38:54.204Z in=78 out=4 ent=47 step=7 brake=1 inf=56474 sec=0.101 inf/sec=559149
#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/book/restpath/path-9-3.n3>].
#2018-08-24T23:19:53.200Z in=102 out=1 ent=209 step=218 brake=1 inf=78565 sec=0.047 inf/sec=1671596
#2018-08-25T21:38:53.607Z in=102 out=1 ent=209 step=218 brake=1 inf=78713 sec=0.114 inf/sec=690465
#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/book/rgb/greenquery001.n3>].
#2018-08-24T23:19:54.106Z in=13 out=2 ent=2 step=2 brake=1 inf=21859 sec=0.037 inf/sec=590784
#2018-08-25T21:38:54.814Z in=13 out=2 ent=2 step=2 brake=1 inf=22011 sec=0.078 inf/sec=282192
#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/book/rgb/greenquery002.n3>].
#2018-08-24T23:19:54.551Z in=13 out=2 ent=2 step=2 brake=1 inf=22028 sec=0.042 inf/sec=524476
#2018-08-25T21:38:55.383Z in=13 out=2 ent=2 step=2 brake=1 inf=22180 sec=0.076 inf/sec=291842
#ENDS
......@@ -42,6 +42,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/book/rgb/greenquery003.n3>].
#2018-08-24T23:19:54.882Z in=11 out=2 ent=2 step=2 brake=1 inf=21049 sec=0.032 inf/sec=657781
#2018-08-25T21:38:56.043Z in=11 out=2 ent=2 step=2 brake=1 inf=21200 sec=0.077 inf/sec=275325
#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/book/rif/rifP.n3>].
#2018-08-24T23:19:55.539Z in=683 out=222 ent=443 step=1776 brake=4 inf=1533379 sec=0.227 inf/sec=6754974
#2018-08-25T21:38:57.254Z in=683 out=222 ent=443 step=1776 brake=4 inf=1533527 sec=0.704 inf/sec=2178305
#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/book/rpo/rdfs-subClassOf.n3>].
#2018-08-24T23:19:56.209Z in=59 out=16 ent=91 step=338 brake=3 inf=68913 sec=0.053 inf/sec=1300245
#2018-08-25T21:38:58.118Z in=59 out=16 ent=91 step=338 brake=3 inf=69065 sec=0.110 inf/sec=627864
#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/book/rs/randomsample-rule.n3>].
#2018-08-24T23:19:57.089Z in=1013 out=1 ent=1 step=1 brake=1 inf=1396477 sec=0.214 inf/sec=6525593
#2018-08-25T21:38:59.468Z in=1013 out=1 ent=1 step=1 brake=1 inf=1396628 sec=0.629 inf/sec=2220394
#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/book/skos/skos-mapping-sample-snomed-icd10.n3>].