Commit 909acbef authored by josd's avatar josd

retest

parent b27482aa
......@@ -123,6 +123,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/3outof5/sample.n3>].
#2018-12-14T22:19:45.853Z in=6 out=1 ent=1 step=1 brake=2 inf=56602 sec=0.044 inf/sec=1286409
#2018-12-20T23:32:29.687Z in=6 out=1 ent=1 step=1 brake=2 inf=56629 sec=0.044 inf/sec=1287023
#ENDS
......@@ -4020,6 +4020,6 @@ PREFIX fl: <http://eulersharp.sourceforge.net/2003/03swap/fl-rules#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/bi/biP.n3>].
#2018-12-14T22:19:46.870Z in=131 out=97 ent=200 step=910 brake=6 inf=1124457 sec=0.192 inf/sec=5856547
#2018-12-20T23:32:30.731Z in=131 out=97 ent=200 step=910 brake=6 inf=1124483 sec=0.194 inf/sec=5796304
#ENDS
......@@ -1144,6 +1144,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/bmi/bmi_instances.n3>].
#2018-12-14T22:19:47.807Z in=97 out=50 ent=100 step=48 brake=4 inf=391409 sec=0.122 inf/sec=3208270
#2018-12-20T23:32:31.675Z in=97 out=50 ent=100 step=48 brake=4 inf=391435 sec=0.123 inf/sec=3182398
#ENDS
......@@ -32573,6 +32573,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/bmt/1tt8.n3>].
#2018-12-14T22:19:50.868Z in=9841 out=1518 ent=1518 step=1518 brake=1 inf=7685615 sec=1.289 inf/sec=5962463
#2018-12-20T23:32:34.866Z in=9841 out=1518 ent=1518 step=1518 brake=1 inf=7685620 sec=1.287 inf/sec=5971733
#ENDS
============================
Case Control Data processing
============================
======================
Case Control Datamodel
======================
The tests are at http://josd.github.io/eye/reasoning/ccd/test
......@@ -12,6 +12,6 @@ PREFIX log: <http://www.w3.org/2000/10/swap/log#>
(_:t_2 ((:input1 "xyz" 1.6666666666666667) (:input2 40 7.0) (:input5 "a" 1.0))) :answer (:output1 1 :expected 1 :belief 0.683005530572854).
(_:t_3 ((:input3 (0 1) 1.0) (:input4 :v3 0.6))) :answer (:output1 0 :expected 0 :belief 0.5760810560972536).
#2018-12-14T22:19:51.907Z in=33 out=4 ent=0 step=0 brake=1 inf=38293 sec=0.039 inf/sec=981872
#2018-12-20T23:32:35.934Z in=33 out=4 ent=0 step=0 brake=1 inf=38301 sec=0.045 inf/sec=851133
#ENDS
......@@ -20,6 +20,6 @@ PREFIX e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>
(:input5 "c") :ccd (0 3).
(:input5 "a") :ccd (1 1).
#2018-12-14T22:19:51.457Z in=53 out=13 ent=13 step=82 brake=2 inf=32149 sec=0.035 inf/sec=918543
#2018-12-20T23:32:35.471Z in=53 out=13 ent=13 step=82 brake=2 inf=32158 sec=0.038 inf/sec=846263
#ENDS
......@@ -94,6 +94,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/crypto/cryptoP.n3>].
#2018-12-14T22:19:52.090Z in=3 out=3 ent=6 step=12 brake=2 inf=29922 sec=0.035 inf/sec=854914
#2018-12-20T23:32:36.115Z in=3 out=3 ent=6 step=12 brake=2 inf=29930 sec=0.033 inf/sec=906970
#ENDS
......@@ -158,6 +158,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/cs/rules-001.n3>].
#2018-12-14T22:19:52.561Z in=15 out=2 ent=4 step=8 brake=2 inf=54588 sec=0.044 inf/sec=1240636
#2018-12-20T23:32:36.597Z in=15 out=2 ent=4 step=8 brake=2 inf=54596 sec=0.047 inf/sec=1161617
#ENDS
......@@ -113,6 +113,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/csv/select-data-extra.n3>].
#2018-12-14T22:19:53.347Z in=6 out=5 ent=5 step=5 brake=2 inf=55307 sec=0.051 inf/sec=1084451
#2018-12-20T23:32:37.377Z in=6 out=5 ent=5 step=5 brake=2 inf=55335 sec=0.049 inf/sec=1129286
#ENDS
......@@ -323,6 +323,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/csv/select-data.n3>].
#2018-12-14T22:19:53.005Z in=18 out=17 ent=17 step=17 brake=2 inf=76158 sec=0.051 inf/sec=1493294
#2018-12-20T23:32:37.041Z in=18 out=17 ent=17 step=17 brake=2 inf=76184 sec=0.049 inf/sec=1554776
#ENDS
......@@ -76,6 +76,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/de/de.n3>].
#2018-12-14T22:19:53.814Z in=8 out=1 ent=6 step=18 brake=3 inf=29618 sec=0.036 inf/sec=822722
#2018-12-20T23:32:37.840Z in=8 out=1 ent=6 step=18 brake=3 inf=29623 sec=0.040 inf/sec=740575
#ENDS
......@@ -63,6 +63,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/djiti/graph-10.n3>].
#2018-12-14T22:19:54.152Z in=11 out=2 ent=2 step=2 brake=1 inf=27163 sec=0.035 inf/sec=776086
#2018-12-20T23:32:38.169Z in=11 out=2 ent=2 step=2 brake=1 inf=27170 sec=0.035 inf/sec=776286
#ENDS
......@@ -153,6 +153,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/djiti/graph-100.n3>].
#2018-12-14T22:19:54.395Z in=101 out=6 ent=6 step=6 brake=1 inf=44799 sec=0.043 inf/sec=1041837
#2018-12-20T23:32:38.413Z in=101 out=6 ent=6 step=6 brake=1 inf=44809 sec=0.046 inf/sec=974109
#ENDS
......@@ -2145,6 +2145,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/djiti/graph-1000.n3>].
#2018-12-14T22:19:54.732Z in=1001 out=92 ent=92 step=92 brake=1 inf=392301 sec=0.108 inf/sec=3632417
#2018-12-20T23:32:38.744Z in=1001 out=92 ent=92 step=92 brake=1 inf=392309 sec=0.102 inf/sec=3846167
#ENDS
......@@ -22107,6 +22107,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/djiti/graph-10000.n3>].
#2018-12-14T22:19:55.966Z in=10001 out=966 ent=966 step=966 brake=1 inf=3882855 sec=0.816 inf/sec=4758401
#2018-12-20T23:32:40.010Z in=10001 out=966 ent=966 step=966 brake=1 inf=3882863 sec=0.828 inf/sec=4689448
#ENDS
......@@ -139,6 +139,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/proof-10.n3>].
#2018-12-14T22:19:56.313Z in=39 out=2 ent=8 step=18 brake=2 inf=59831 sec=0.049 inf/sec=1221041
#2018-12-20T23:32:40.359Z in=39 out=2 ent=8 step=18 brake=2 inf=59839 sec=0.051 inf/sec=1173314
#ENDS
......@@ -348,6 +348,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/proof-100.n3>].
#2018-12-14T22:19:56.676Z in=94 out=6 ent=23 step=48 brake=2 inf=120082 sec=0.061 inf/sec=1968557
#2018-12-20T23:32:40.736Z in=94 out=6 ent=23 step=48 brake=2 inf=120090 sec=0.068 inf/sec=1766029
#ENDS
......@@ -5060,6 +5060,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/proof-1000.n3>].
#2018-12-14T22:19:57.259Z in=1324 out=92 ent=355 step=712 brake=2 inf=1484246 sec=0.251 inf/sec=5913331
#2018-12-20T23:32:41.318Z in=1324 out=92 ent=355 step=712 brake=2 inf=1484255 sec=0.248 inf/sec=5984899
#ENDS
......@@ -51865,6 +51865,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/proof-10000.n3>].
#2018-12-14T22:19:59.971Z in=13589 out=966 ent=3682 step=7366 brake=2 inf=15212983 sec=2.175 inf/sec=6994475
#2018-12-20T23:32:44.187Z in=13589 out=966 ent=3682 step=7366 brake=2 inf=15212992 sec=2.182 inf/sec=6972040
#ENDS
......@@ -69,6 +69,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/dp/dp.n3>].
#2018-12-14T22:20:01.189Z in=10 out=1 ent=2 step=2 brake=1 inf=53776 sec=0.047 inf/sec=1144170
#2018-12-20T23:32:45.406Z in=10 out=1 ent=2 step=2 brake=1 inf=53765 sec=0.047 inf/sec=1143936
#ENDS
......@@ -241,6 +241,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/dpe/dpe_theory.n3>].
#2018-12-14T22:20:01.783Z in=16 out=2 ent=32 step=120 brake=4 inf=53548 sec=0.044 inf/sec=1217000
#2018-12-20T23:32:45.983Z in=16 out=2 ent=32 step=120 brake=4 inf=53521 sec=0.043 inf/sec=1244674
#ENDS
......@@ -28,6 +28,6 @@ PREFIX dqc: <http://josd.github.io/eye/reasoning/dqc#>
3 dqc:sdcoding 0 .
3 dqc:sdcoding 2 .
#2018-12-17T20:48:09.634Z in=41 out=24 ent=0 step=0 brake=1 inf=42231 sec=0.089 inf/sec=474506
#2018-12-20T23:32:46.406Z in=29 out=24 ent=0 step=0 brake=1 inf=37004 sec=0.032 inf/sec=1156375
#ENDS
......@@ -10,6 +10,6 @@ PREFIX math: <http://www.w3.org/2000/10/swap/math#>
0 dqc:sdcoding 0 .
2 dqc:sdcoding 2 .
#2018-12-17T20:48:10.092Z in=25 out=4 ent=4 step=4 brake=2 inf=27073 sec=0.080 inf/sec=338413
#2018-12-20T23:32:46.731Z in=25 out=4 ent=4 step=4 brake=2 inf=27010 sec=0.038 inf/sec=710789
#ENDS
......@@ -15034,6 +15034,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/dt/test-dt-1000.n3>].
#2018-12-14T22:20:03.613Z in=3004 out=1 ent=2999 step=5998 brake=2 inf=4150930 sec=0.540 inf/sec=7686907
#2018-12-20T23:32:47.809Z in=3004 out=1 ent=2999 step=5998 brake=2 inf=4150905 sec=0.540 inf/sec=7686861
#ENDS
......@@ -1016,6 +1016,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/easter/easterP.n3>].
#2018-12-14T22:20:04.059Z in=19 out=16 ent=32 step=64 brake=2 inf=223678 sec=0.066 inf/sec=3389061
#2018-12-20T23:32:48.273Z in=19 out=16 ent=32 step=64 brake=2 inf=223667 sec=0.065 inf/sec=3441031
#ENDS
......@@ -110,6 +110,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/einstein/einstein.n3>].
#2018-12-14T22:20:04.582Z in=5 out=1 ent=2 step=4 brake=2 inf=688155 sec=0.124 inf/sec=5549637
#2018-12-20T23:32:48.793Z in=5 out=1 ent=2 step=4 brake=2 inf=688150 sec=0.136 inf/sec=5059926
#ENDS
......@@ -1004,6 +1004,6 @@ PREFIX e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>
((1.0 0.0) (31.479139483246144 -5.637636835003695) (49.6500993311686 21.292855459119252) (-7.509269162080673 -4.685394625106959) (44.19898428417116 0.09388861810012417)) e:roots ((-30.04806036124109 6.671361387382722) (-1.8564286933350918 -0.8715530609384365) (0.14001882652977038 -0.8874311173161269) (0.2853307448002713 0.725259625875537)).
((1.0 0.0) (-3.4735945942544033 -5.724317381286637) (27.95030525291834 -45.78866148003705) (-35.441953702016335 -26.5046605108508) (-14.350738086782172 -39.59708380047468)) e:roots ((5.746180404504588 9.593740189549036) (-0.3856613070277868 -0.47108060895022996) (-2.1856418312890327 -4.580144382021954) (0.29871732806663354 1.181802182709784)).
#2018-12-14T22:20:07.353Z in=1001 out=1000 ent=1000 step=1000 brake=1 inf=12869873 sec=1.473 inf/sec=8737185
#2018-12-20T23:32:51.528Z in=1001 out=1000 ent=1000 step=1000 brake=1 inf=12869861 sec=1.461 inf/sec=8808940
#ENDS
......@@ -669,6 +669,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/fcm/example002P.n3>].
#2018-12-14T22:20:08.198Z in=76 out=8 ent=50 step=307 brake=6 inf=591101 sec=0.135 inf/sec=4378526
#2018-12-20T23:32:52.370Z in=76 out=8 ent=50 step=307 brake=6 inf=591109 sec=0.134 inf/sec=4411261
#ENDS
......@@ -1211,6 +1211,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
1 log:equalTo _:x_1_20} {1 log:equalTo 1 .
1 log:equalTo 1}) e:derive true}}}].
#2018-12-14T22:20:09.196Z in=253 out=18 ent=237 step=1917 brake=5 inf=1216228 sec=0.242 inf/sec=5025736
#2018-12-20T23:32:53.383Z in=253 out=18 ent=237 step=1917 brake=5 inf=1216216 sec=0.238 inf/sec=5110151
#ENDS
......@@ -1157,6 +1157,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/fib/fib.n3>].
#2018-12-14T22:20:09.625Z in=4 out=1 ent=1 step=1 brake=1 inf=139036 sec=0.044 inf/sec=3159909
#2018-12-20T23:32:53.836Z in=4 out=1 ent=1 step=1 brake=1 inf=139022 sec=0.052 inf/sec=2673500
#ENDS
......@@ -934,6 +934,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
);
r:rule <#lemma92>.
#2018-12-14T22:20:10.337Z in=185 out=6 ent=1591 step=18973 brake=12 inf=864873 sec=0.153 inf/sec=5652765
#2018-12-20T23:32:54.548Z in=185 out=6 ent=1591 step=18973 brake=12 inf=864900 sec=0.145 inf/sec=5964828
#ENDS
......@@ -172,6 +172,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/glass/test.n3>].
#2018-12-14T22:20:10.758Z in=9 out=6 ent=7 step=30 brake=2 inf=53497 sec=0.042 inf/sec=1273738
#2018-12-20T23:32:54.969Z in=9 out=6 ent=7 step=30 brake=2 inf=53505 sec=0.042 inf/sec=1273929
#ENDS
......@@ -285,6 +285,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/gps/gps-plugin.n3>].
#2018-12-14T22:20:11.357Z in=11 out=1 ent=1 step=1 brake=2 inf=123893 sec=0.058 inf/sec=2136086
#2018-12-20T23:32:55.558Z in=11 out=1 ent=1 step=1 brake=2 inf=123902 sec=0.056 inf/sec=2212536
#ENDS
......@@ -5872,6 +5872,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
);
r:rule <#lemma336>.
#2018-12-14T22:20:12.198Z in=44 out=10 ent=10 step=10 brake=2 inf=2337039 sec=0.363 inf/sec=6438124
#2018-12-20T23:32:56.413Z in=44 out=10 ent=10 step=10 brake=2 inf=2337064 sec=0.368 inf/sec=6350717
#ENDS
......@@ -157,6 +157,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/graph/graph.axiom.n3>].
#2018-12-14T22:20:12.795Z in=89 out=1 ent=24 step=70 brake=2 inf=93523 sec=0.054 inf/sec=1731907
#2018-12-20T23:32:56.997Z in=89 out=1 ent=24 step=70 brake=2 inf=93530 sec=0.052 inf/sec=1798654
#ENDS
......@@ -58,6 +58,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/h2o/rules-001.n3>].
#2018-12-14T22:20:13.520Z in=10 out=1 ent=6 step=12 brake=2 inf=31675 sec=0.040 inf/sec=791875
#2018-12-20T23:32:57.696Z in=10 out=1 ent=6 step=12 brake=2 inf=31678 sec=0.034 inf/sec=931706
#ENDS
......@@ -149,6 +149,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/hanoi/hanoi.n3>].
#2018-12-14T22:20:13.706Z in=3 out=1 ent=2 step=2 brake=1 inf=40221 sec=0.038 inf/sec=1058447
#2018-12-20T23:32:57.877Z in=3 out=1 ent=2 step=2 brake=1 inf=40229 sec=0.037 inf/sec=1087270
#ENDS
......@@ -6534,6 +6534,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/image/year.n3>].
#2018-12-14T22:20:14.616Z in=5 out=101 ent=202 step=404 brake=2 inf=1179408 sec=0.167 inf/sec=7062323
#2018-12-20T23:32:58.819Z in=5 out=101 ent=202 step=404 brake=2 inf=1179410 sec=0.167 inf/sec=7062335
#ENDS
......@@ -199,6 +199,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/iq/iq.n3>].
#2018-12-14T22:20:14.906Z in=7 out=10 ent=13 step=26 brake=2 inf=61963 sec=0.040 inf/sec=1549075
#2018-12-20T23:32:59.118Z in=7 out=10 ent=13 step=26 brake=2 inf=61971 sec=0.041 inf/sec=1511488
#ENDS
......@@ -867,6 +867,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/lldm/lldmP.n3>].
#2018-12-14T22:20:15.520Z in=168 out=1 ent=39 step=124 brake=4 inf=235807 sec=0.078 inf/sec=3023167
#2018-12-20T23:32:59.740Z in=168 out=1 ent=39 step=124 brake=4 inf=235816 sec=0.077 inf/sec=3062545
#ENDS
......@@ -208,6 +208,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/gps/gps-plugin.n3>].
#2018-12-14T22:20:16.017Z in=10 out=1 ent=1 step=1 brake=2 inf=103221 sec=0.052 inf/sec=1985019
#2018-12-20T23:33:00.239Z in=10 out=1 ent=1 step=1 brake=2 inf=103252 sec=0.057 inf/sec=1811439
#ENDS
......@@ -295,6 +295,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/gps/gps-plugin.n3>].
#2018-12-14T22:20:16.751Z in=149 out=1 ent=10 step=82 brake=4 inf=302539 sec=0.102 inf/sec=2966069
#2018-12-20T23:33:00.924Z in=149 out=1 ent=10 step=82 brake=4 inf=302569 sec=0.096 inf/sec=3151760
#ENDS
......@@ -100,6 +100,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/medic/medic.n3>].
#2018-12-14T22:20:17.188Z in=18 out=2 ent=4 step=8 brake=4 inf=50531 sec=0.047 inf/sec=1075128
#2018-12-20T23:33:01.363Z in=18 out=2 ent=4 step=8 brake=4 inf=50562 sec=0.047 inf/sec=1075787
#ENDS
......@@ -1538,6 +1538,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mmln/mmln-plugin.n3>].
#2018-12-14T22:20:18.195Z in=345 out=47 ent=105 step=330 brake=4 inf=2014463 sec=0.299 inf/sec=6737334
#2018-12-20T23:33:02.383Z in=345 out=47 ent=105 step=330 brake=4 inf=2014489 sec=0.313 inf/sec=6436067
#ENDS
......@@ -814,7 +814,7 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/queries/query17.n3>].
#DONE 0.001 [sec] mq=17 out=1 out/sec=1000
#DONE 0.002 [sec] mq=17 out=1 out/sec=500
PREFIX : <http://josd.github.io/eye/reasoning#>
PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
......@@ -1068,7 +1068,7 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].
#DONE 0.004 [sec] mq=22 out=3 out/sec=750
#DONE 0.003 [sec] mq=22 out=3 out/sec=1000
PREFIX : <http://josd.github.io/eye/reasoning#>
PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
......@@ -1857,7 +1857,7 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/queries/query40.n3>].
#DONE 0.001 [sec] mq=40 out=1 out/sec=1000
#DONE 0.002 [sec] mq=40 out=1 out/sec=500
PREFIX : <http://josd.github.io/eye/reasoning#>
PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
......@@ -2418,7 +2418,7 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/data.n3>].
#DONE 0.002 [sec] mq=50 out=3 out/sec=1500
#DONE 0.003 [sec] mq=50 out=3 out/sec=1000
PREFIX : <http://josd.github.io/eye/reasoning#>
PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
......@@ -3875,7 +3875,7 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mq/queries/query74.n3>].
#DONE 0.001 [sec] mq=74 out=1 out/sec=1000
#DONE 0.002 [sec] mq=74 out=1 out/sec=500
PREFIX : <http://josd.github.io/eye/reasoning#>
PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
......@@ -5120,8 +5120,8 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
PREFIX : <http://josd.github.io/eye/reasoning#>
PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
#DONE 0.001 [sec] mq=100 out=0 out/sec=0
#DONE 0.000 [sec] mq=100 out=0 out/sec=
#2018-12-14T22:20:19.553Z in=100100 out=117 ent=117 step=117 brake=100 inf=5512270 sec=1.230 inf/sec=4481520
#2018-12-20T23:33:03.745Z in=100100 out=117 ent=117 step=117 brake=100 inf=5514429 sec=1.238 inf/sec=4454305
#ENDS
......@@ -133,6 +133,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/n3p/extra.ttl>].
#2018-12-14T22:20:20.013Z in=7 out=7 ent=7 step=7 brake=1 inf=26054 sec=0.034 inf/sec=766294
#2018-12-20T23:33:04.221Z in=7 out=7 ent=7 step=7 brake=1 inf=26080 sec=0.034 inf/sec=767059
#ENDS
......@@ -185,6 +185,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/n3p/literals.ttl>].
#2018-12-14T22:20:20.196Z in=10 out=10 ent=10 step=10 brake=1 inf=29100 sec=0.030 inf/sec=970000
#2018-12-20T23:33:04.392Z in=10 out=10 ent=10 step=10 brake=1 inf=29129 sec=0.031 inf/sec=939645
#ENDS
......@@ -258,6 +258,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/n3p/sample.n3>].
#2018-12-14T22:20:20.373Z in=12 out=12 ent=13 step=29 brake=2 inf=53339 sec=0.041 inf/sec=1300951
#2018-12-20T23:33:04.570Z in=12 out=12 ent=13 step=29 brake=2 inf=53368 sec=0.042 inf/sec=1270667
#ENDS
......@@ -150,6 +150,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/n3p/simple.ttl>].
#2018-12-14T22:20:19.842Z in=8 out=8 ent=8 step=8 brake=1 inf=31824 sec=0.037 inf/sec=860108
#2018-12-20T23:33:04.047Z in=8 out=8 ent=8 step=8 brake=1 inf=31851 sec=0.036 inf/sec=884750
#ENDS
......@@ -114,6 +114,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/nbbn/nbbn-plugin.n3>].
#2018-12-14T22:20:20.991Z in=19 out=1 ent=1 step=1 brake=2 inf=141863 sec=0.065 inf/sec=2182508
#2018-12-20T23:33:05.156Z in=19 out=1 ent=1 step=1 brake=2 inf=141908 sec=0.064 inf/sec=2217313
#ENDS
......@@ -100,6 +100,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/numeral/numeral.n3>].
#2018-12-14T22:20:21.274Z in=5 out=5 ent=5 step=5 brake=1 inf=25280 sec=0.030 inf/sec=842667
#2018-12-20T23:33:05.444Z in=5 out=5 ent=5 step=5 brake=1 inf=25307 sec=0.033 inf/sec=766879
#ENDS
......@@ -18057,6 +18057,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/pi/pi.n3>].
#2018-12-14T22:20:22.015Z in=4 out=1 ent=1 step=1 brake=1 inf=2812330 sec=0.376 inf/sec=7479601
#2018-12-20T23:33:06.178Z in=4 out=1 ent=1 step=1 brake=1 inf=2812359 sec=0.378 inf/sec=7440103
#ENDS
......@@ -80,6 +80,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/pptbank/checking.n3>].
#2018-12-14T22:20:23.033Z in=17 out=1 ent=2 step=4 brake=4 inf=48486 sec=0.044 inf/sec=1101955
#2018-12-20T23:33:07.519Z in=17 out=1 ent=2 step=4 brake=4 inf=48512 sec=0.049 inf/sec=990041
#ENDS
......@@ -429,6 +429,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/rpo/rdfs-subClassOf.n3>].
#2018-12-14T22:20:25.018Z in=45 out=16 ent=91 step=338 brake=3 inf=92149 sec=0.059 inf/sec=1561847
#2018-12-20T23:33:09.490Z in=45 out=16 ent=91 step=338 brake=3 inf=92176 sec=0.063 inf/sec=1463111
#ENDS
......@@ -377,6 +377,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/preduction/food2.n3>].
#2018-12-14T22:20:25.424Z in=41 out=16 ent=27 step=115 brake=5 inf=86542 sec=0.060 inf/sec=1442367
#2018-12-20T23:33:09.900Z in=41 out=16 ent=27 step=115 brake=5 inf=86572 sec=0.063 inf/sec=1374159
#ENDS
......@@ -43,6 +43,6 @@ PREFIX e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>
{?U_203 a food:RedMeat} => {?U_203 a food:Meat}.
{?U_209 a food:EatingGrape} => {?U_209 a food:Grape}.
#2018-12-14T22:20:24.378Z in=50 out=35 ent=35 step=35 brake=1 inf=108771 sec=0.051 inf/sec=2132765
#2018-12-20T23:33:08.856Z in=50 out=35 ent=35 step=35 brake=1 inf=108800 sec=0.050 inf/sec=2176000
#ENDS
......@@ -738,6 +738,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/preduction/palindrome.n3>].
#2018-12-14T22:20:23.638Z in=10 out=1 ent=1 step=1 brake=1 inf=170177 sec=0.066 inf/sec=2578439
#2018-12-20T23:33:08.111Z in=10 out=1 ent=1 step=1 brake=1 inf=170204 sec=0.059 inf/sec=2884814
#ENDS
......@@ -427,6 +427,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/preduction/palindrome2.n3>].
#2018-12-14T22:20:24.082Z in=7 out=1 ent=1 step=1 brake=1 inf=127955 sec=0.058 inf/sec=2206121
#2018-12-20T23:33:08.556Z in=7 out=1 ent=1 step=1 brake=1 inf=127985 sec=0.062 inf/sec=2064274
#ENDS
......@@ -13,6 +13,6 @@ PREFIX log: <http://www.w3.org/2000/10/swap/log#>
{(?U_15 :pop ?U_16) :palindrome true} <= {?U_15 e:firstRest (?U_17 ?U_18). ?U_16 e:firstRest (?U_17 ?U_19). (?U_18 :pop ?U_19) :palindrome true}.
(() :pop ()) :palindrome true.
#2018-12-14T22:20:23.180Z in=24 out=6 ent=6 step=6 brake=1 inf=61417 sec=0.030 inf/sec=2047233
#2018-12-20T23:33:07.665Z in=24 out=6 ent=6 step=6 brake=1 inf=61446 sec=0.028 inf/sec=2194500
#ENDS
stamp,in,out,ent,step,brake,inf,sec,inf/sec
2018-12-14T22:19:45.853Z,6,1,1,1,2,56602,0.044,1286409
2018-12-14T22:19:46.870Z,131,97,200,910,6,1124457,0.192,5856547
2018-12-14T22:19:47.807Z,97,50,100,48,4,391409,0.122,3208270
2018-12-14T22:19:50.868Z,9841,1518,1518,1518,1,7685615,1.289,5962463
2018-12-14T22:19:51.457Z,53,13,13,82,2,32149,0.035,918543
2018-12-14T22:19:51.907Z,33,4,0,0,1,38293,0.039,981872
2018-12-14T22:19:52.090Z,3,3,6,12,2,29922,0.035,854914
2018-12-14T22:19:52.561Z,15,2,4,8,2,54588,0.044,1240636
2018-12-14T22:19:53.005Z,18,17,17,17,2,76158,0.051,1493294
2018-12-14T22:19:53.347Z,6,5,5,5,2,55307,0.051,1084451
2018-12-14T22:19:53.814Z,8,1,6,18,3,29618,0.036,822722
2018-12-14T22:19:54.152Z,11,2,2,2,1,27163,0.035,776086
2018-12-14T22:19:54.395Z,101,6,6,6,1,44799,0.043,1041837
2018-12-14T22:19:54.732Z,1001,92,92,92,1,392301,0.108,3632417
2018-12-14T22:19:55.966Z,10001,966,966,966,1,3882855,0.816,4758401
2018-12-14T22:19:56.313Z,39,2,8,18,2,59831,0.049,1221041
2018-12-14T22:19:56.676Z,94,6,23,48,2,120082,0.061,1968557
2018-12-14T22:19:57.259Z,1324,92,355,712,2,1484246,0.251,5913331
2018-12-14T22:19:59.971Z,13589,966,3682,7366,2,15212983,2.175,6994475
2018-12-14T22:20:01.189Z,10,1,2,2,1,53776,0.047,1144170
2018-12-14T22:20:01.783Z,16,2,32,120,4,53548,0.044,1217000
2018-12-14T22:20:02.228Z,41,24,0,0,1,42158,0.036,1171056
2018-12-14T22:20:02.550Z,25,4,4,4,2,27021,0.036,750583
2018-12-14T22:20:03.613Z,3004,1,2999,5998,2,4150930,0.540,7686907
2018-12-14T22:20:04.059Z,19,16,32,64,2,223678,0.066,3389061
2018-12-14T22:20:04.582Z,5,1,2,4,2,688155,0.124,5549637
2018-12-14T22:20:07.353Z,1001,1000,1000,1000,1,12869873,1.473,8737185
2018-12-14T22:20:08.198Z,76,8,50,307,6,591101,0.135,4378526
2018-12-14T22:20:09.196Z,253,18,237,1917,5,1216228,0.242,5025736
2018-12-14T22:20:09.625Z,4,1,1,1,1,139036,0.044,3159909
2018-12-14T22:20:10.337Z,185,6,1591,18973,12,864873,0.153,5652765
2018-12-14T22:20:10.758Z,9,6,7,30,2,53497,0.042,1273738
2018-12-14T22:20:11.357Z,11,1,1,1,2,123893,0.058,2136086
2018-12-14T22:20:12.198Z,44,10,10,10,2,2337039,0.363,6438124
2018-12-14T22:20:12.795Z,89,1,24,70,2,93523,0.054,1731907
2018-12-14T22:20:13.520Z,10,1,6,12,2,31675,0.040,791875
2018-12-14T22:20:13.706Z,3,1,2,2,1,40221,0.038,1058447
2018-12-14T22:20:14.616Z,5,101,202,404,2,1179408,0.167,7062323
2018-12-14T22:20:14.906Z,7,10,13,26,2,61963,0.040,1549075
2018-12-14T22:20:15.520Z,168,1,39,124,4,235807,0.078,3023167
2018-12-14T22:20:16.017Z,10,1,1,1,2,103221,0.052,1985019
2018-12-14T22:20:16.751Z,149,1,10,82,4,302539,0.102,2966069
2018-12-14T22:20:17.188Z,18,2,4,8,4,50531,0.047,1075128
2018-12-14T22:20:18.195Z,345,47,105,330,4,2014463,0.299,6737334
2018-12-14T22:20:19.553Z,100100,117,117,117,100,5512270,1.230,4481520
2018-12-14T22:20:19.842Z,8,8,8,8,1,31824,0.037,860108
2018-12-14T22:20:20.013Z,7,7,7,7,1,26054,0.034,766294
2018-12-14T22:20:20.196Z,10,10,10,10,1,29100,0.030,970000
2018-12-14T22:20:20.373Z,12,12,13,29,2,53339,0.041,1300951
2018-12-14T22:20:20.991Z,19,1,1,1,2,141863,0.065,2182508
2018-12-14T22:20:21.274Z,5,5,5,5,1,25280,0.030,842667
2018-12-14T22:20:22.015Z,4,1,1,1,1,2812330,0.376,7479601
2018-12-14T22:20:23.033Z,17,1,2,4,4,48486,0.044,1101955
2018-12-14T22:20:23.180Z,24,6,6,6,1,61417,0.030,2047233
2018-12-14T22:20:23.638Z,10,1,1,1,1,170177,0.066,2578439
2018-12-14T22:20:24.082Z,7,1,1,1,1,127955,0.058,2206121
2018-12-14T22:20:24.378Z,50,35,35,35,1,108771,0.051,2132765
2018-12-14T22:20:25.018Z,45,16,91,338,3,92149,0.059,1561847
2018-12-14T22:20:25.424Z,41,16,27,115,5,86542,0.060,1442367
2018-12-14T22:20:26.028Z,11,1,209,218,1,108896,0.058,1877517
2018-12-14T22:20:26.472Z,10,4,47,7,1,94566,0.051,1854235
2018-12-14T22:20:26.893Z,5,2,2,2,1,24223,0.032,756969
2018-12-14T22:20:27.326Z,5,2,2,2,1,24392,0.038,641895
2018-12-14T22:20:27.630Z,5,2,2,2,1,23012,0.030,767067
2018-12-14T22:20:28.318Z,224,222,443,1776,4,1859499,0.258,7207360
2018-12-14T22:20:28.959Z,45,16,91,338,3,92665,0.052,1782019
2018-12-14T22:20:29.769Z,1002,1,1,1,2,1632564,0.242,6746132
2018-12-14T22:20:30.380Z,110,1,12,28,2,202562,0.068,2978853
2018-12-14T22:20:30.808Z,4,2,3,6,2,25753,0.031,830742
2018-12-14T22:20:30.991Z,16,101,0,0,0,32293,0.035,922657
2018-12-14T22:20:31.500Z,501,81,81,81,1,240129,0.076,3159592
2018-12-14T22:20:31.934Z,501,54,54,54,1,230556,0.082,2811659
2018-12-14T22:20:32.367Z,501,46,46,46,1,224227,0.078,2874705
2018-12-14T22:20:32.818Z,501,19,19,19,1,205770,0.077,2672338
2018-12-14T22:20:33.819Z,303,3,3,3,1,546022,0.141,3872496
2018-12-14T22:20:34.451Z,3,1,1,1,1,1254465,0.226,5550730
2018-12-14T22:20:35.043Z,9,7,21,42,4,74252,0.048,1546917
2018-12-14T22:20:35.483Z,18,1,1,1,1,90168,0.051,1768000
2018-12-14T22:20:35.910Z,21,2,24,88,5,71469,0.042,1701643
2018-12-14T22:20:36.187Z,5,5,5,5,1,25926,0.031,836323
2018-12-14T22:20:36.520Z,8,1,7,25,5,32114,0.038,845105
2018-12-14T22:20:36.983Z,66,1,9,43,3,74314,0.061,1218262
2018-12-14T22:20:37.127Z,0,0,0,0,1,11592,0.028,414000
2018-12-20T23:32:29.687Z,6,1,1,1,2,56629,0.044,1287023
2018-12-20T23:32:30.731Z,131,97,200,910,6,1124483,0.194,5796304
2018-12-20T23:32:31.675Z,97,50,100,48,4,391435,0.123,3182398
2018-12-20T23:32:34.866Z,9841,1518,1518,1518,1,7685620,1.287,5971733
2018-12-20T23:32:35.471Z,53,13,13,82,2,32158,0.038,846263
2018-12-20T23:32:35.934Z,33,4,0,0,1,38301,0.045,851133
2018-12-20T23:32:36.115Z,3,3,6,12,2,29930,0.033,906970
2018-12-20T23:32:36.597Z,15,2,4,8,2,54596,0.047,1161617
2018-12-20T23:32:37.041Z,18,17,17,17,2,76184,0.049,1554776
2018-12-20T23:32:37.377Z,6,5,5,5,2,55335,0.049,1129286
2018-12-20T23:32:37.840Z,8,1,6,18,3,29623,0.040,740575
2018-12-20T23:32:38.169Z,11,2,2,2,1,27170,0.035,776286
2018-12-20T23:32:38.413Z,101,6,6,6,1,44809,0.046,974109
2018-12-20T23:32:38.744Z,1001,92,92,92,1,392309,0.102,3846167
2018-12-20T23:32:40.010Z,10001,966,966,966,1,3882863,0.828,4689448
2018-12-20T23:32:40.359Z,39,2,8,18,2,59839,0.051,1173314
2018-12-20T23:32:40.736Z,94,6,23,48,2,120090,0.068,1766029
2018-12-20T23:32:41.318Z,1324,92,355,712,2,1484255,0.248,5984899
2018-12-20T23:32:44.187Z,13589,966,3682,7366,2,15212992,2.182,6972040
2018-12-20T23:32:45.406Z,10,1,2,2,1,53765,0.047,1143936
2018-12-20T23:32:45.983Z,16,2,32,120,4,53521,0.043,1244674
2018-12-20T23:32:46.406Z,29,24,0,0,1,37004,0.032,1156375
2018-12-20T23:32:46.731Z,25,4,4,4,2,27010,0.038,710789
2018-12-20T23:32:47.809Z,3004,1,2999,5998,2,4150905,0.540,7686861
2018-12-20T23:32:48.273Z,19,16,32,64,2,223667,0.065,3441031
2018-12-20T23:32:48.793Z,5,1,2,4,2,688150,0.136,5059926
2018-12-20T23:32:51.528Z,1001,1000,1000,1000,1,12869861,1.461,8808940
2018-12-20T23:32:52.370Z,76,8,50,307,6,591109,0.134,4411261
2018-12-20T23:32:53.383Z,253,18,237,1917,5,1216216,0.238,5110151
2018-12-20T23:32:53.836Z,4,1,1,1,1,139022,0.052,2673500
2018-12-20T23:32:54.548Z,185,6,1591,18973,12,864900,0.145,5964828
2018-12-20T23:32:54.969Z,9,6,7,30,2,53505,0.042,1273929
2018-12-20T23:32:55.558Z,11,1,1,1,2,123902,0.056,2212536
2018-12-20T23:32:56.413Z,44,10,10,10,2,2337064,0.368,6350717
2018-12-20T23:32:56.997Z,89,1,24,70,2,93530,0.052,1798654
2018-12-20T23:32:57.696Z,10,1,6,12,2,31678,0.034,931706
2018-12-20T23:32:57.877Z,3,1,2,2,1,40229,0.037,1087270
2018-12-20T23:32:58.819Z,5,101,202,404,2,1179410,0.167,7062335
2018-12-20T23:32:59.118Z,7,10,13,26,2,61971,0.041,1511488
2018-12-20T23:32:59.740Z,168,1,39,124,4,235816,0.077,3062545
2018-12-20T23:33:00.239Z,10,1,1,1,2,103252,0.057,1811439
2018-12-20T23:33:00.924Z,149,1,10,82,4,302569,0.096,3151760
2018-12-20T23:33:01.363Z,18,2,4,8,4,50562,0.047,1075787
2018-12-20T23:33:02.383Z,345,47,105,330,4,2014489,0.313,6436067
2018-12-20T23:33:03.745Z,100100,117,117,117,100,5514429,1.238,4454305
2018-12-20T23:33:04.047Z,8,8,8,8,1,31851,0.036,884750
2018-12-20T23:33:04.221Z,7,7,7,7,1,26080,0.034,767059
2018-12-20T23:33:04.392Z,10,10,10,10,1,29129,0.031,939645
2018-12-20T23:33:04.570Z,12,12,13,29,2,53368,0.042,1270667
2018-12-20T23:33:05.156Z,19,1,1,1,2,141908,0.064,2217313
2018-12-20T23:33:05.444Z,5,5,5,5,1,25307,0.033,766879
2018-12-20T23:33:06.178Z,4,1,1,1,1,2812359,0.378,7440103
2018-12-20T23:33:07.519Z,17,1,2,4,4,48512,0.049,990041
2018-12-20T23:33:07.665Z,24,6,6,6,1,61446,0.028,2194500
2018-12-20T23:33:08.111Z,10,1,1,1,1,170204,0.059,2884814
2018-12-20T23:33:08.556Z,7,1,1,1,1,127985,0.062,2064274
2018-12-20T23:33:08.856Z,50,35,35,35,1,108800,0.050,2176000
2018-12-20T23:33:09.490Z,45,16,91,338,3,92176,0.063,1463111
2018-12-20T23:33:09.900Z,41,16,27,115,5,86572,0.063,1374159
2018-12-20T23:33:10.493Z,11,1,209,218,1,108906,0.058,1877690
2018-12-20T23:33:10.937Z,10,4,47,7,1,94573,0.053,1784396
2018-12-20T23:33:11.351Z,5,2,2,2,1,24231,0.036,673083
2018-12-20T23:33:11.773Z,5,2,2,2,1,24394,0.038,641947
2018-12-20T23:33:12.100Z,5,2,2,2,1,23022,0.033,697636
2018-12-20T23:33:12.794Z,224,222,443,1776,4,1859508,0.264,7043591
2018-12-20T23:33:13.435Z,45,16,91,338,3,92673,0.046,2014630
2018-12-20T23:33:14.258Z,1002,1,1,1,2,1632570,0.239,6830837
2018-12-20T23:33:14.872Z,110,1,12,28,2,202568,0.068,2978941
2018-12-20T23:33:15.302Z,4,2,3,6,2,25760,0.033,780606
2018-12-20T23:33:15.488Z,16,101,0,0,0,32300,0.032,1009375
2018-12-20T23:33:15.999Z,501,81,81,81,1,240135,0.079,3039684
2018-12-20T23:33:16.437Z,501,54,54,54,1,230565,0.084,2744821
2018-12-20T23:33:16.873Z,501,46,46,46,1,224233,0.081,2768309
2018-12-20T23:33:17.309Z,501,19,19,19,1,205778,0.080,2572225
2018-12-20T23:33:18.326Z,303,3,3,3,1,546028,0.138,3956725
2018-12-20T23:33:18.957Z,3,1,1,1,1,1254472,0.229,5478044
2018-12-20T23:33:19.519Z,9,7,21,42,4,74262,0.046,1614391
2018-12-20T23:33:19.955Z,18,1,1,1,1,90176,0.054,1669926
2018-12-20T23:33:20.388Z,21,2,24,88,5,71473,0.048,1489021
2018-12-20T23:33:20.670Z,5,5,5,5,1,25932,0.033,785818
2018-12-20T23:33:20.996Z,8,1,7,25,5,32124,0.036,892333
2018-12-20T23:33:21.492Z,66,1,9,43,3,74341,0.066,1126379