Commit 96832c00 authored by josd's avatar josd

retest

parent 5a8cdbe3
......@@ -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-25T21:37:46.284Z in=34 out=1 ent=1 step=1 brake=2 inf=45711 sec=0.104 inf/sec=439529
#2018-08-26T09:35:18.420Z in=34 out=1 ent=1 step=1 brake=2 inf=45720 sec=0.106 inf/sec=431321
#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-25T21:37:47.806Z in=470 out=97 ent=145 step=755 brake=4 inf=957944 sec=0.521 inf/sec=1838664
#2018-08-26T09:35:19.676Z in=470 out=97 ent=145 step=755 brake=4 inf=957954 sec=0.514 inf/sec=1863724
#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-25T21:37:49.133Z in=295 out=50 ent=100 step=48 brake=4 inf=219305 sec=0.208 inf/sec=1054351
#2018-08-26T09:35:20.441Z in=295 out=50 ent=100 step=48 brake=4 inf=219313 sec=0.218 inf/sec=1006023
#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-25T21:37:54.060Z in=10012 out=1518 ent=1518 step=1518 brake=1 inf=4717955 sec=2.360 inf/sec=1999133
#2018-08-26T09:35:24.153Z in=10012 out=1518 ent=1518 step=1518 brake=1 inf=4717968 sec=2.367 inf/sec=1993227
#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-25T21:37:54.480Z in=9 out=3 ent=6 step=12 brake=2 inf=27488 sec=0.078 inf/sec=352410
#2018-08-26T09:35:24.480Z in=9 out=3 ent=6 step=12 brake=2 inf=27496 sec=0.079 inf/sec=348051
#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-25T21:37:55.117Z in=43 out=2 ent=4 step=8 brake=2 inf=41242 sec=0.093 inf/sec=443462
#2018-08-26T09:35:25.090Z in=43 out=2 ent=4 step=8 brake=2 inf=41252 sec=0.092 inf/sec=448391
#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-25T21:37:56.481Z in=17 out=5 ent=5 step=5 brake=2 inf=48524 sec=0.107 inf/sec=453495
#2018-08-26T09:35:25.932Z in=17 out=5 ent=5 step=5 brake=2 inf=48534 sec=0.107 inf/sec=453589
#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-25T21:37:55.716Z in=22 out=17 ent=17 step=17 brake=2 inf=72882 sec=0.123 inf/sec=592537
#2018-08-26T09:35:25.525Z in=22 out=17 ent=17 step=17 brake=2 inf=72893 sec=0.125 inf/sec=583144
#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-25T21:37:57.127Z in=22 out=1 ent=6 step=18 brake=3 inf=24567 sec=0.082 inf/sec=299598
#2018-08-26T09:35:26.310Z in=22 out=1 ent=6 step=18 brake=3 inf=24576 sec=0.083 inf/sec=296096
#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-25T21:37:57.575Z in=14 out=2 ent=2 step=2 brake=1 inf=25935 sec=0.079 inf/sec=328291
#2018-08-26T09:35:26.598Z in=14 out=2 ent=2 step=2 brake=1 inf=25946 sec=0.080 inf/sec=324325
#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-25T21:37:57.960Z in=104 out=6 ent=6 step=6 brake=1 inf=43572 sec=0.089 inf/sec=489573
#2018-08-26T09:35:26.908Z in=104 out=6 ent=6 step=6 brake=1 inf=43583 sec=0.097 inf/sec=449309
#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-25T21:37:58.577Z in=1004 out=92 ent=92 step=92 brake=1 inf=391070 sec=0.277 inf/sec=1411805
#2018-08-26T09:35:27.414Z in=1004 out=92 ent=92 step=92 brake=1 inf=391081 sec=0.278 inf/sec=1406766
#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-25T21:38:01.387Z in=10004 out=966 ent=966 step=966 brake=1 inf=3881648 sec=2.309 inf/sec=1681095
#2018-08-26T09:35:30.106Z in=10004 out=966 ent=966 step=966 brake=1 inf=3881637 sec=2.294 inf/sec=1692082
#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-25T21:38:01.861Z in=54 out=2 ent=8 step=18 brake=2 inf=38045 sec=0.086 inf/sec=442384
#2018-08-26T09:35:30.549Z in=54 out=2 ent=8 step=18 brake=2 inf=38033 sec=0.092 inf/sec=413402
#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-25T21:38:02.367Z in=124 out=6 ent=23 step=48 brake=2 inf=70318 sec=0.107 inf/sec=657178
#2018-08-26T09:35:30.969Z in=124 out=6 ent=23 step=48 brake=2 inf=70308 sec=0.109 inf/sec=645028
#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-25T21:38:03.430Z in=1686 out=92 ent=355 step=712 brake=2 inf=805059 sec=0.446 inf/sec=1805065
#2018-08-26T09:35:31.752Z in=1686 out=92 ent=355 step=712 brake=2 inf=805049 sec=0.453 inf/sec=1777150
#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-25T21:38:07.860Z in=17278 out=966 ent=3682 step=7366 brake=2 inf=8124557 sec=3.915 inf/sec=2075238
#2018-08-26T09:35:36.117Z in=17278 out=966 ent=3682 step=7366 brake=2 inf=8124547 sec=3.931 inf/sec=2066789
#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-25T21:38:09.253Z in=43 out=1 ent=2 step=2 brake=1 inf=31801 sec=0.089 inf/sec=357315
#2018-08-26T09:35:37.389Z in=43 out=1 ent=2 step=2 brake=1 inf=31791 sec=0.086 inf/sec=369663
#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-25T21:38:10.025Z in=52 out=2 ent=32 step=120 brake=4 inf=42541 sec=0.096 inf/sec=443135
#2018-08-26T09:35:37.881Z in=52 out=2 ent=32 step=120 brake=4 inf=42551 sec=0.094 inf/sec=452670
#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:38:10.580Z in=73 out=24 ent=0 step=0 brake=1 inf=16972 sec=0.075 inf/sec=226293
#2018-08-26T09:35:38.253Z in=73 out=24 ent=0 step=0 brake=1 inf=16980 sec=0.076 inf/sec=223421
#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:38:11.314Z in=31 out=4 ent=4 step=4 brake=2 inf=15876 sec=0.073 inf/sec=217479
#2018-08-26T09:35:38.591Z in=31 out=4 ent=4 step=4 brake=2 inf=15887 sec=0.070 inf/sec=226957
#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-25T21:38:13.029Z in=9008 out=1 ent=2999 step=5998 brake=2 inf=1940931 sec=1.082 inf/sec=1793836
#2018-08-26T09:35:40.045Z in=9008 out=1 ent=2999 step=5998 brake=2 inf=1940939 sec=1.094 inf/sec=1774167
#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-25T21:38:13.690Z in=57 out=16 ent=32 step=64 brake=2 inf=200689 sec=0.154 inf/sec=1303175
#2018-08-26T09:35:40.538Z in=57 out=16 ent=32 step=64 brake=2 inf=200700 sec=0.155 inf/sec=1294839
#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-25T21:38:14.530Z in=28 out=1 ent=2 step=4 brake=2 inf=671815 sec=0.372 inf/sec=1805954
#2018-08-26T09:35:41.210Z in=28 out=1 ent=2 step=4 brake=2 inf=671827 sec=0.370 inf/sec=1815749
#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-25T21:38:20.556Z in=1004 out=1000 ent=1000 step=1000 brake=1 inf=9855713 sec=4.231 inf/sec=2329405
#2018-08-26T09:35:47.068Z in=1004 out=1000 ent=1000 step=1000 brake=1 inf=9855723 sec=4.245 inf/sec=2321725
#ENDS
stamp,in,out,ent,step,brake,inf,sec,inf/sec
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
2018-08-26T09:35:18.420Z,34,1,1,1,2,45720,0.106,431321
2018-08-26T09:35:19.676Z,470,97,145,755,4,957954,0.514,1863724
2018-08-26T09:35:20.441Z,295,50,100,48,4,219313,0.218,1006023
2018-08-26T09:35:24.153Z,10012,1518,1518,1518,1,4717968,2.367,1993227
2018-08-26T09:35:24.480Z,9,3,6,12,2,27496,0.079,348051
2018-08-26T09:35:25.090Z,43,2,4,8,2,41252,0.092,448391
2018-08-26T09:35:25.525Z,22,17,17,17,2,72893,0.125,583144
2018-08-26T09:35:25.932Z,17,5,5,5,2,48534,0.107,453589
2018-08-26T09:35:26.310Z,22,1,6,18,3,24576,0.083,296096
2018-08-26T09:35:26.598Z,14,2,2,2,1,25946,0.080,324325
2018-08-26T09:35:26.908Z,104,6,6,6,1,43583,0.097,449309
2018-08-26T09:35:27.414Z,1004,92,92,92,1,391081,0.278,1406766
2018-08-26T09:35:30.106Z,10004,966,966,966,1,3881637,2.294,1692082
2018-08-26T09:35:30.549Z,54,2,8,18,2,38033,0.092,413402
2018-08-26T09:35:30.969Z,124,6,23,48,2,70308,0.109,645028
2018-08-26T09:35:31.752Z,1686,92,355,712,2,805049,0.453,1777150
2018-08-26T09:35:36.117Z,17278,966,3682,7366,2,8124547,3.931,2066789
2018-08-26T09:35:37.389Z,43,1,2,2,1,31791,0.086,369663
2018-08-26T09:35:37.881Z,52,2,32,120,4,42551,0.094,452670
2018-08-26T09:35:38.253Z,73,24,0,0,1,16980,0.076,223421
2018-08-26T09:35:38.591Z,31,4,4,4,2,15887,0.070,226957
2018-08-26T09:35:40.045Z,9008,1,2999,5998,2,1940939,1.094,1774167
2018-08-26T09:35:40.538Z,57,16,32,64,2,200700,0.155,1294839
2018-08-26T09:35:41.210Z,28,1,2,4,2,671827,0.370,1815749
2018-08-26T09:35:47.068Z,1004,1000,1000,1000,1,9855723,4.245,2321725
2018-08-26T09:35:47.845Z,260,8,50,307,6,467655,0.281,1664253
2018-08-26T09:35:49.047Z,630,18,237,1917,5,807258,0.567,1423735
2018-08-26T09:35:49.506Z,14,1,1,1,1,149039,0.139,1072223
2018-08-26T09:35:50.242Z,347,6,1591,18973,12,752258,0.354,2125023
2018-08-26T09:35:50.654Z,46,6,7,30,2,43161,0.095,454326
2018-08-26T09:35:51.364Z,60,1,1,1,2,80406,0.113,711558
2018-08-26T09:35:52.870Z,201,10,10,10,2,2319820,1.061,2186447
2018-08-26T09:35:53.368Z,171,1,24,70,2,39786,0.095,418800
2018-08-26T09:35:53.819Z,16,1,6,12,2,27618,0.086,321140
2018-08-26T09:35:54.018Z,13,1,2,2,1,34388,0.081,424543
2018-08-26T09:35:55.594Z,46,101,202,404,2,1216690,0.561,2168788
2018-08-26T09:35:55.923Z,29,10,13,26,2,56131,0.090,623678
2018-08-26T09:35:56.467Z,356,1,39,124,4,130124,0.149,873315
2018-08-26T09:35:57.127Z,56,1,1,1,2,61756,0.105,588152
2018-08-26T09:35:57.739Z,309,1,10,82,4,128088,0.142,902028
2018-08-26T09:35:58.129Z,30,2,4,8,4,34782,0.085,409200
2018-08-26T09:35:59.613Z,1546,47,105,330,4,1536756,1.001,1535221
2018-08-26T09:36:04.329Z,100600,117,0,0,1,5370820,4.268,1258393
2018-08-26T09:36:04.650Z,8,8,8,8,1,32404,0.083,390410
2018-08-26T09:36:04.838Z,7,7,7,7,1,26637,0.080,332963
2018-08-26T09:36:05.024Z,10,10,10,10,1,29686,0.079,375772
2018-08-26T09:36:05.224Z,12,12,13,29,2,53924,0.093,579828
2018-08-26T09:36:05.755Z,158,1,1,1,2,71566,0.125,572528
2018-08-26T09:36:06.065Z,8,8,8,8,1,31339,0.083,377578
2018-08-26T09:36:07.659Z,22,1,1,1,1,2902658,1.280,2267702
2018-08-26T09:36:08.442Z,34,1,2,4,1,32946,0.098,336184
2018-08-26T09:36:08.669Z,88,6,6,6,1,26900,0.078,344872
2018-08-26T09:36:09.108Z,29,1,1,1,1,158892,0.139,1143108
2018-08-26T09:36:09.525Z,27,1,1,1,1,114981,0.120,958175
2018-08-26T09:36:09.851Z,106,35,35,35,0,66889,0.100,668890
2018-08-26T09:36:10.428Z,59,16,91,338,3,69031,0.106,651236
2018-08-26T09:36:10.915Z,113,16,27,115,5,54818,0.107,512318
2018-08-26T09:36:11.435Z,102,1,209,218,1,78727,0.113,696699
2018-08-26T09:36:11.842Z,78,4,47,7,1,56487,0.100,564870
2018-08-26T09:36:12.237Z,13,2,2,2,1,22022,0.077,286000
2018-08-26T09:36:12.623Z,13,2,2,2,1,22189,0.076,291961
2018-08-26T09:36:12.898Z,11,2,2,2,1,21210,0.078,271923
2018-08-26T09:36:13.957Z,683,222,443,1776,4,1533538,0.714,2147812
2018-08-26T09:36:14.580Z,59,16,91,338,3,69074,0.107,645551
2018-08-26T09:36:15.703Z,1013,1,1,1,1,1396639,0.633,2206381
2018-08-26T09:36:16.269Z,288,1,12,28,2,40224,0.099,406303
2018-08-26T09:36:16.657Z,9,2,3,6,2,22029,0.078,282423
2018-08-26T09:36:16.885Z,35,101,0,0,0,27633,0.078,354269
2018-08-26T09:36:17.308Z,606,81,81,81,1,92703,0.129,718628
2018-08-26T09:36:17.703Z,608,54,54,54,1,81818,0.123,665187
2018-08-26T09:36:18.111Z,608,46,46,46,1,74892,0.121,618942
2018-08-26T09:36:18.500Z,610,19,19,19,1,54564,0.109,500587
2018-08-26T09:36:19.298Z,769,3,1,1,0,336960,0.233,1446180
2018-08-26T09:36:20.320Z,16,1,1,1,1,1254905,0.662,1895627
2018-08-26T09:36:20.833Z,26,7,21,42,4,65989,0.108,611009
2018-08-26T09:36:21.467Z,57,1,1,1,1,63540,0.103,616893
2018-08-26T09:36:21.871Z,60,2,24,88,5,49674,0.097,512103
2018-08-26T09:36:22.172Z,5,5,5,5,1,25123,0.076,330566
2018-08-26T09:36:22.465Z,20,1,7,25,5,26930,0.079,340886
2018-08-26T09:36:22.867Z,97,1,9,43,3,41102,0.116,354328
2018-08-26T09:36:23.063Z,0,0,0,0,1,12311,0.064,192359
# Sat Aug 25 23:37:45 CEST 2018
# Sun Aug 26 11:35:18 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-25T21:38:21.824Z in=260 out=8 ent=50 step=307 brake=6 inf=467644 sec=0.284 inf/sec=1646634
#2018-08-26T09:35:47.845Z in=260 out=8 ent=50 step=307 brake=6 inf=467655 sec=0.281 inf/sec=1664253
#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-25T21:38:23.301Z in=630 out=18 ent=237 step=1917 brake=5 inf=807244 sec=0.532 inf/sec=1517376
#2018-08-26T09:35:49.047Z in=630 out=18 ent=237 step=1917 brake=5 inf=807258 sec=0.567 inf/sec=1423735
#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-25T21:38:24.056Z in=14 out=1 ent=1 step=1 brake=1 inf=149029 sec=0.137 inf/sec=1087803
#2018-08-26T09:35:49.506Z in=14 out=1 ent=1 step=1 brake=1 inf=149039 sec=0.139 inf/sec=1072223
#ENDS
......@@ -935,6 +935,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
);
r:rule <#lemma92>.
#2018-08-25T21:38:25.650Z in=347 out=6 ent=1591 step=18973 brake=12 inf=752247 sec=0.354 inf/sec=2124992
#2018-08-26T09:35:50.242Z in=347 out=6 ent=1591 step=18973 brake=12 inf=752258 sec=0.354 inf/sec=2125023
#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-25T21:38:26.230Z in=46 out=6 ent=7 step=30 brake=2 inf=43151 sec=0.092 inf/sec=469033
#2018-08-26T09:35:50.654Z in=46 out=6 ent=7 step=30 brake=2 inf=43161 sec=0.095 inf/sec=454326
#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-25T21:38:26.997Z in=60 out=1 ent=1 step=1 brake=2 inf=80397 sec=0.111 inf/sec=724297
#2018-08-26T09:35:51.364Z in=60 out=1 ent=1 step=1 brake=2 inf=80406 sec=0.113 inf/sec=711558
#ENDS
......@@ -5872,6 +5872,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
);
r:rule <#lemma336>.
#2018-08-25T21:38:28.828Z in=201 out=10 ent=10 step=10 brake=2 inf=2319811 sec=1.045 inf/sec=2219915
#2018-08-26T09:35:52.870Z in=201 out=10 ent=10 step=10 brake=2 inf=2319820 sec=1.061 inf/sec=2186447
#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-25T21:38:29.608Z in=171 out=1 ent=24 step=70 brake=2 inf=39776 sec=0.096 inf/sec=414333
#2018-08-26T09:35:53.368Z in=171 out=1 ent=24 step=70 brake=2 inf=39786 sec=0.095 inf/sec=418800
#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-25T21:38:30.694Z in=16 out=1 ent=6 step=12 brake=2 inf=27610 sec=0.085 inf/sec=324824
#2018-08-26T09:35:53.819Z in=16 out=1 ent=6 step=12 brake=2 inf=27618 sec=0.086 inf/sec=321140
#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-25T21:38:30.995Z in=13 out=1 ent=2 step=2 brake=1 inf=34377 sec=0.082 inf/sec=419232
#2018-08-26T09:35:54.018Z in=13 out=1 ent=2 step=2 brake=1 inf=34388 sec=0.081 inf/sec=424543
#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-25T21:38:32.992Z in=46 out=101 ent=202 step=404 brake=2 inf=1216680 sec=0.561 inf/sec=2168770
#2018-08-26T09:35:55.594Z in=46 out=101 ent=202 step=404 brake=2 inf=1216690 sec=0.561 inf/sec=2168788
#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-25T21:38:33.404Z in=29 out=10 ent=13 step=26 brake=2 inf=56121 sec=0.090 inf/sec=623567
#2018-08-26T09:35:55.923Z in=29 out=10 ent=13 step=26 brake=2 inf=56131 sec=0.090 inf/sec=623678
#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-25T21:38:34.414Z in=356 out=1 ent=39 step=124 brake=4 inf=130114 sec=0.148 inf/sec=879149
#2018-08-26T09:35:56.467Z in=356 out=1 ent=39 step=124 brake=4 inf=130124 sec=0.149 inf/sec=873315
#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-25T21:38:35.306Z in=56 out=1 ent=1 step=1 brake=2 inf=61745 sec=0.104 inf/sec=593702
#2018-08-26T09:35:57.127Z in=56 out=1 ent=1 step=1 brake=2 inf=61756 sec=0.105 inf/sec=588152
#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-25T21:38:36.461Z in=309 out=1 ent=10 step=82 brake=4 inf=128080 sec=0.143 inf/sec=895664
#2018-08-26T09:35:57.739Z in=309 out=1 ent=10 step=82 brake=4 inf=128088 sec=0.142 inf/sec=902028
#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-25T21:38:37.034Z in=30 out=2 ent=4 step=8 brake=4 inf=34771 sec=0.091 inf/sec=382099
#2018-08-26T09:35:58.129Z in=30 out=2 ent=4 step=8 brake=4 inf=34782 sec=0.085 inf/sec=409200
#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-25T21:38:38.903Z in=1546 out=47 ent=105 step=330 brake=4 inf=1536746 sec=1.005 inf/sec=1529100
#2018-08-26T09:35:59.613Z in=1546 out=47 ent=105 step=330 brake=4 inf=1536756 sec=1.001 inf/sec=1535221
#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-25T21:38:44.347Z in=7 out=7 ent=7 step=7 brake=1 inf=26607 sec=0.077 inf/sec=345545
#2018-08-26T09:36:04.838Z in=7 out=7 ent=7 step=7 brake=1 inf=26637 sec=0.080 inf/sec=332963
#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-25T21:38:44.618Z in=10 out=10 ent=10 step=10 brake=1 inf=29656 sec=0.075 inf/sec=395413
#2018-08-26T09:36:05.024Z in=10 out=10 ent=10 step=10 brake=1 inf=29686 sec=0.079 inf/sec=375772
#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-25T21:38:44.908Z in=12 out=12 ent=13 step=29 brake=2 inf=53894 sec=0.090 inf/sec=598822
#2018-08-26T09:36:05.224Z in=12 out=12 ent=13 step=29 brake=2 inf=53924 sec=0.093 inf/sec=579828
#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-25T21:38:44.067Z in=8 out=8 ent=8 step=8 brake=1 inf=32378 sec=0.081 inf/sec=399728
#2018-08-26T09:36:04.650Z in=8 out=8 ent=8 step=8 brake=1 inf=32404 sec=0.083 inf/sec=390410
#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-25T21:38:45.831Z in=158 out=1 ent=1 step=1 brake=2 inf=71537 sec=0.122 inf/sec=586369
#2018-08-26T09:36:05.755Z in=158 out=1 ent=1 step=1 brake=2 inf=71566 sec=0.125 inf/sec=572528
#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-25T21:38:46.230Z in=8 out=8 ent=8 step=8 brake=1 inf=31308 sec=0.082 inf/sec=381805
#2018-08-26T09:36:06.065Z in=8 out=8 ent=8 step=8 brake=1 inf=31339 sec=0.083 inf/sec=377578
#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-25T21:38:48.028Z in=22 out=1 ent=1 step=1 brake=1 inf=2902626 sec=1.297 inf/sec=2237954
#2018-08-26T09:36:07.659Z in=22 out=1 ent=1 step=1 brake=1 inf=2902658 sec=1.280 inf/sec=2267702
#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-25T21:38:49.324Z in=34 out=1 ent=2 step=4 brake=1 inf=32921 sec=0.100 inf/sec=329210
#2018-08-26T09:36:08.442Z in=34 out=1 ent=2 step=4 brake=1 inf=32946 sec=0.098 inf/sec=336184
#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-25T21:38:52.265Z in=59 out=16 ent=91 step=338 brake=3 inf=69021 sec=0.114 inf/sec=605447
#2018-08-26T09:36:10.428Z in=59 out=16 ent=91 step=338 brake=3 inf=69031 sec=0.106 inf/sec=651236
#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-25T21:38:52.832Z in=113 out=16 ent=27 step=115 brake=5 inf=54807 sec=0.101 inf/sec=542644
#2018-08-26T09:36:10.915Z in=113 out=16 ent=27 step=115 brake=5 inf=54818 sec=0.107 inf/sec=512318
#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-25T21:38:51.205Z in=106 out=35 ent=35 step=35 brake=0 inf=66859 sec=0.102 inf/sec=655480
#2018-08-26T09:36:09.851Z in=106 out=35 ent=35 step=35 brake=0 inf=66889 sec=0.100 inf/sec=668890
#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-25T21:38:50.184Z in=29 out=1 ent=1 step=1 brake=1 inf=158862 sec=0.140 inf/sec=1134729
#2018-08-26T09:36:09.108Z in=29 out=1 ent=1 step=1 brake=1 inf=158892 sec=0.139 inf/sec=1143108
#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-25T21:38:50.782Z in=27 out=1 ent=1 step=1 brake=1 inf=114948 sec=0.116 inf/sec=990931
#2018-08-26T09:36:09.525Z in=27 out=1 ent=1 step=1 brake=1 inf=114981 sec=0.120 inf/sec=958175
#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-25T21:38:49.556Z in=88 out=6 ent=6 step=6 brake=1 inf=26870 sec=0.078 inf/sec=344487
#2018-08-26T09:36:08.669Z in=88 out=6 ent=6 step=6 brake=1 inf=26900 sec=0.078 inf/sec=344872
#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-25T21:38:54.204Z in=78 out=4 ent=47 step=7 brake=1 inf=56474 sec=0.101 inf/sec=559149
#2018-08-26T09:36:11.842Z in=78 out=4 ent=47 step=7 brake=1 inf=56487 sec=0.100 inf/sec=564870
#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-25T21:38:53.607Z in=102 out=1 ent=209 step=218 brake=1 inf=78713 sec=0.114 inf/sec=690465
#2018-08-26T09:36:11.435Z in=102 out=1 ent=209 step=218 brake=1 inf=78727 sec=0.113 inf/sec=696699
#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-25T21:38:54.814Z in=13 out=2 ent=2 step=2 brake=1 inf=22011 sec=0.078 inf/sec=282192
#2018-08-26T09:36:12.237Z in=13 out=2 ent=2 step=2 brake=1 inf=22022 sec=0.077 inf/sec=286000
#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-25T21:38:55.383Z in=13 out=2 ent=2 step=2 brake=1 inf=22180 sec=0.076 inf/sec=291842
#2018-08-26T09:36:12.623Z in=13 out=2 ent=2 step=2 brake=1 inf=22189 sec=0.076 inf/sec=291961
#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-25T21:38:56.043Z in=11 out=2 ent=2 step=2 brake=1 inf=21200 sec=0.077 inf/sec=275325
#2018-08-26T09:36:12.898Z in=11 out=2 ent=2 step=2 brake=1 inf=21210 sec=0.078 inf/sec=271923
#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-25T21:38:57.254Z in=683 out=222 ent=443 step=1776 brake=4 inf=1533527 sec=0.704 inf/sec=2178305
#2018-08-26T09:36:13.957Z in=683 out=222 ent=443 step=1776 brake=4 inf=1533538 sec=0.714 inf/sec=2147812
#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-25T21:38:58.118Z in=59 out=16 ent=91 step=338 brake=3 inf=69065 sec=0.110 inf/sec=627864
#2018-08-26T09:36:14.580Z in=59 out=16 ent=91 step=338 brake=3 inf=69074 sec=0.107 inf/sec=645551
#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-25T21:38:59.468Z in=1013 out=1 ent=1 step=1 brake=1 inf=1396628 sec=0.629 inf/sec=2220394
#2018-08-26T09:36:15.703Z in=1013 out=1 ent=1 step=1 brake=1 inf=1396639 sec=0.633 inf/sec=2206381
#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>].
#2018-08-25T21:39:00.232Z in=288 out=1 ent=12 step=28 brake=2 inf=40234 sec=0.099 inf/sec=406404
#2018-08-26T09:36:16.269Z in=288 out=1 ent=12 step=28 brake=2 inf=40224 sec=0.099 inf/sec=406303
#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/socrates/socrates.n3>].
#2018-08-25T21:39:00.802Z in=9 out=2 ent=3 step=6 brake=2 inf=22040 sec=0.078 inf/sec=282564