Commit 0e91a905 authored by josd's avatar josd

changing cturtle error message (obs from Hans Cools)

parent e8bf5e0f
EYE release
[v19.0116.1239] changing cturtle error message (obs from Hans Cools)
[v18.1230.1307] implementing ccd:transformer in ./reasoning/ccd/ccd_rules.n3
[v18.1214.1911] reintroducing --carl switch and original N3 parser
[v18.1130.1238] updating reasoning to always use PREFIX instead of @prefix
......
EYE v18.1230.1307 josd
EYE v19.0116.1239 josd
......@@ -36,7 +36,7 @@
:- set_prolog_flag(encoding, utf8).
:- endif.
version_info('EYE v18.1230.1307 josd').
version_info('EYE v19.0116.1239 josd').
license_info('MIT License
......@@ -252,10 +252,14 @@ main :-
flush_output(user_error)
)
),
catch(process_create(path(cturtle), [], [stdin(null), stdout(null), stderr(null)]), _,
( format(user_error, '** ERROR ** EYE depends on cturtle which can be installed from http://github.com/melgi/cturtle/releases/ **~n', []),
flush_output(user_error)
( memberchk('--turtle', Argus)
-> catch(process_create(path(cturtle), [], [stdin(null), stdout(null), stderr(null)]), _,
( format(user_error, '** ERROR ** EYE option --turtle requires cturtle which can be installed from http://github.com/melgi/cturtle/releases/ **~n', []),
flush_output(user_error),
halt(1)
)
)
; true
),
( memberchk('--carl', Argus)
-> catch(process_create(path(carl), [], [stdin(null), stdout(null), stderr(null)]), _,
......
No preview for this file type
......@@ -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>].
#2019-01-03T11:34:44.980Z in=6 out=1 ent=1 step=1 brake=2 inf=56649 sec=0.053 inf/sec=1068849
#2019-01-16T12:36:48.417Z in=6 out=1 ent=1 step=1 brake=2 inf=56235 sec=0.045 inf/sec=1249667
#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>].
#2019-01-03T11:34:46.022Z in=131 out=97 ent=200 step=910 brake=6 inf=1124501 sec=0.200 inf/sec=5622505
#2019-01-16T12:36:49.443Z in=131 out=97 ent=200 step=910 brake=6 inf=1124090 sec=0.208 inf/sec=5404279
#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>].
#2019-01-03T11:34:46.949Z in=97 out=50 ent=100 step=48 brake=4 inf=391455 sec=0.116 inf/sec=3374612
#2019-01-16T12:36:50.435Z in=97 out=50 ent=100 step=48 brake=4 inf=391041 sec=0.124 inf/sec=3153556
#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>].
#2019-01-03T11:34:50.106Z in=9841 out=1518 ent=1518 step=1518 brake=1 inf=7685642 sec=1.308 inf/sec=5875873
#2019-01-16T12:36:53.605Z in=9841 out=1518 ent=1518 step=1518 brake=1 inf=7685230 sec=1.334 inf/sec=5761042
#ENDS
......@@ -13,6 +13,6 @@ _:t_1 :answer (:expected 0 :predicted 0 :belief 0.6217496707387207 :evidence ((0
_:t_2 :answer (:expected 1 :predicted 1 :belief 0.7578791663912112 :evidence ((2.4849066497880004 :input2 40 3 0) (1.3862943611198906 :input10 ("xyz" 40) 1 0) (0.6931471805599453 :input1 "xyz" 2 1) (0.0 :input5 "a" 1 1))).
_:t_3 :answer (:expected 0 :predicted 0 :belief 0.5857864376269049 :evidence ((0.0 :input3 (0 1) 2 2) (-0.6931471805599453 :input4 :v3 1 2))).
#2019-01-15T00:02:03.481Z in=40 out=4 ent=3 step=6 brake=2 inf=67033 sec=0.115 inf/sec=582896
#2019-01-16T12:36:55.032Z in=40 out=4 ent=3 step=6 brake=2 inf=66791 sec=0.059 inf/sec=1132051
#ENDS
......@@ -25,6 +25,6 @@ PREFIX e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>
(:input10 ("abc" 60)) ccd:model (:output1 1 2).
(:input10 ("xyz" 40)) ccd:model (:output1 1 0).
#2019-01-15T00:02:01.750Z in=54 out=17 ent=24 step=110 brake=2 inf=40665 sec=0.103 inf/sec=394806
#2019-01-16T12:36:54.344Z in=54 out=17 ent=24 step=110 brake=2 inf=40425 sec=0.039 inf/sec=1036538
#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>].
#2019-01-03T11:34:51.688Z in=3 out=3 ent=6 step=12 brake=2 inf=29950 sec=0.035 inf/sec=855714
#2019-01-16T12:36:55.223Z in=3 out=3 ent=6 step=12 brake=2 inf=29538 sec=0.036 inf/sec=820500
#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>].
#2019-01-03T11:34:52.186Z in=15 out=2 ent=4 step=8 brake=2 inf=54616 sec=0.053 inf/sec=1030491
#2019-01-16T12:36:55.729Z in=15 out=2 ent=4 step=8 brake=2 inf=54614 sec=0.051 inf/sec=1070863
#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>].
#2019-01-03T11:34:53.019Z in=6 out=5 ent=5 step=5 brake=2 inf=55355 sec=0.055 inf/sec=1006455
#2019-01-16T12:36:56.552Z in=6 out=5 ent=5 step=5 brake=2 inf=54941 sec=0.045 inf/sec=1220911
#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>].
#2019-01-03T11:34:52.659Z in=18 out=17 ent=17 step=17 brake=2 inf=76201 sec=0.053 inf/sec=1437755
#2019-01-16T12:36:56.190Z in=18 out=17 ent=17 step=17 brake=2 inf=76201 sec=0.048 inf/sec=1587521
#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>].
#2019-01-03T11:34:53.504Z in=8 out=1 ent=6 step=18 brake=3 inf=29646 sec=0.033 inf/sec=898364
#2019-01-16T12:36:57.060Z in=8 out=1 ent=6 step=18 brake=3 inf=29232 sec=0.038 inf/sec=769263
#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>].
#2019-01-03T11:34:53.864Z in=11 out=2 ent=2 step=2 brake=1 inf=27191 sec=0.034 inf/sec=799735
#2019-01-16T12:36:57.402Z in=11 out=2 ent=2 step=2 brake=1 inf=27190 sec=0.038 inf/sec=715526
#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>].
#2019-01-03T11:34:54.116Z in=101 out=6 ent=6 step=6 brake=1 inf=44829 sec=0.048 inf/sec=933938
#2019-01-16T12:36:57.631Z in=101 out=6 ent=6 step=6 brake=1 inf=44829 sec=0.037 inf/sec=1211595
#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>].
#2019-01-03T11:34:54.443Z in=1001 out=92 ent=92 step=92 brake=1 inf=392329 sec=0.105 inf/sec=3736467
#2019-01-16T12:36:57.978Z in=1001 out=92 ent=92 step=92 brake=1 inf=392328 sec=0.110 inf/sec=3566618
#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>].
#2019-01-03T11:34:55.665Z in=10001 out=966 ent=966 step=966 brake=1 inf=3882885 sec=0.812 inf/sec=4781878
#2019-01-16T12:36:59.276Z in=10001 out=966 ent=966 step=966 brake=1 inf=3882883 sec=0.846 inf/sec=4589696
#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>].
#2019-01-03T11:34:56.024Z in=39 out=2 ent=8 step=18 brake=2 inf=59860 sec=0.057 inf/sec=1050175
#2019-01-16T12:36:59.614Z in=39 out=2 ent=8 step=18 brake=2 inf=59445 sec=0.048 inf/sec=1238438
#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>].
#2019-01-03T11:34:56.386Z in=94 out=6 ent=23 step=48 brake=2 inf=120110 sec=0.059 inf/sec=2035763
#2019-01-16T12:36:59.972Z in=94 out=6 ent=23 step=48 brake=2 inf=119697 sec=0.056 inf/sec=2137446
#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>].
#2019-01-03T11:34:56.998Z in=1324 out=92 ent=355 step=712 brake=2 inf=1484275 sec=0.259 inf/sec=5730792
#2019-01-16T12:37:00.574Z in=1324 out=92 ent=355 step=712 brake=2 inf=1483882 sec=0.249 inf/sec=5959365
#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>].
#2019-01-03T11:34:59.951Z in=13589 out=966 ent=3682 step=7366 brake=2 inf=15213011 sec=2.219 inf/sec=6855796
#2019-01-16T12:37:03.355Z in=13589 out=966 ent=3682 step=7366 brake=2 inf=15212618 sec=2.221 inf/sec=6849445
#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>].
#2019-01-03T11:35:01.188Z in=10 out=1 ent=2 step=2 brake=1 inf=53805 sec=0.046 inf/sec=1169674
#2019-01-16T12:37:04.609Z in=10 out=1 ent=2 step=2 brake=1 inf=53388 sec=0.052 inf/sec=1026692
#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>].
#2019-01-03T11:35:01.772Z in=16 out=2 ent=32 step=120 brake=4 inf=53562 sec=0.046 inf/sec=1164391
#2019-01-16T12:37:05.197Z in=16 out=2 ent=32 step=120 brake=4 inf=53148 sec=0.053 inf/sec=1002792
#ENDS
......@@ -28,6 +28,6 @@ PREFIX dqc: <http://josd.github.io/eye/reasoning/dqc#>
3 dqc:sdcoding 0 .
3 dqc:sdcoding 2 .
#2019-01-03T11:35:02.198Z in=29 out=24 ent=0 step=0 brake=1 inf=37044 sec=0.032 inf/sec=1157625
#2019-01-16T12:37:05.615Z in=29 out=24 ent=0 step=0 brake=1 inf=36632 sec=0.035 inf/sec=1046629
#ENDS
......@@ -10,6 +10,6 @@ PREFIX math: <http://www.w3.org/2000/10/swap/math#>
0 dqc:sdcoding 0 .
2 dqc:sdcoding 2 .
#2019-01-03T11:35:02.521Z in=25 out=4 ent=4 step=4 brake=2 inf=27051 sec=0.039 inf/sec=693615
#2019-01-16T12:37:05.932Z in=25 out=4 ent=4 step=4 brake=2 inf=26637 sec=0.033 inf/sec=807182
#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>].
#2019-01-03T11:35:03.596Z in=3004 out=1 ent=2999 step=5998 brake=2 inf=4150944 sec=0.548 inf/sec=7574715
#2019-01-16T12:37:07.009Z in=3004 out=1 ent=2999 step=5998 brake=2 inf=4150532 sec=0.544 inf/sec=7629654
#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>].
#2019-01-03T11:35:04.068Z in=19 out=16 ent=32 step=64 brake=2 inf=223706 sec=0.068 inf/sec=3289794
#2019-01-16T12:37:07.486Z in=19 out=16 ent=32 step=64 brake=2 inf=223293 sec=0.058 inf/sec=3849879
#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>].
#2019-01-03T11:35:04.602Z in=5 out=1 ent=2 step=4 brake=2 inf=688190 sec=0.138 inf/sec=4986884
#2019-01-16T12:37:08.042Z in=5 out=1 ent=2 step=4 brake=2 inf=687777 sec=0.145 inf/sec=4743290
#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)).
#2019-01-03T11:35:07.371Z in=1001 out=1000 ent=1000 step=1000 brake=1 inf=12869901 sec=1.477 inf/sec=8713542
#2019-01-16T12:37:10.736Z in=1001 out=1000 ent=1000 step=1000 brake=1 inf=12869469 sec=1.430 inf/sec=8999629
#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>].
#2019-01-03T11:35:08.242Z in=76 out=8 ent=50 step=307 brake=6 inf=591148 sec=0.134 inf/sec=4411552
#2019-01-16T12:37:11.642Z in=76 out=8 ent=50 step=307 brake=6 inf=590715 sec=0.142 inf/sec=4159965
#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}}}].
#2019-01-03T11:35:09.270Z in=253 out=18 ent=237 step=1917 brake=5 inf=1216257 sec=0.245 inf/sec=4964314
#2019-01-16T12:37:12.689Z in=253 out=18 ent=237 step=1917 brake=5 inf=1215822 sec=0.243 inf/sec=5003383
#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>].
#2019-01-03T11:35:09.756Z in=4 out=1 ent=1 step=1 brake=1 inf=139064 sec=0.057 inf/sec=2439719
#2019-01-16T12:37:13.150Z in=4 out=1 ent=1 step=1 brake=1 inf=138629 sec=0.058 inf/sec=2390155
#ENDS
......@@ -934,6 +934,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
);
r:rule <#lemma92>.
#2019-01-03T11:35:10.689Z in=185 out=6 ent=1591 step=18973 brake=12 inf=864919 sec=0.155 inf/sec=5580123
#2019-01-16T12:37:13.853Z in=185 out=6 ent=1591 step=18973 brake=12 inf=864506 sec=0.150 inf/sec=5763373
#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>].
#2019-01-03T11:35:11.123Z in=9 out=6 ent=7 step=30 brake=2 inf=53528 sec=0.049 inf/sec=1092408
#2019-01-16T12:37:14.297Z in=9 out=6 ent=7 step=30 brake=2 inf=53110 sec=0.048 inf/sec=1106458
#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>].
#2019-01-03T11:35:11.776Z in=11 out=1 ent=1 step=1 brake=2 inf=123921 sec=0.066 inf/sec=1877591
#2019-01-16T12:37:14.883Z in=11 out=1 ent=1 step=1 brake=2 inf=123508 sec=0.058 inf/sec=2129448
#ENDS
......@@ -5872,6 +5872,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
);
r:rule <#lemma336>.
#2019-01-03T11:35:12.724Z in=44 out=10 ent=10 step=10 brake=2 inf=2337084 sec=0.361 inf/sec=6473917
#2019-01-16T12:37:15.715Z in=44 out=10 ent=10 step=10 brake=2 inf=2336671 sec=0.368 inf/sec=6349649
#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>].
#2019-01-03T11:35:13.348Z in=89 out=1 ent=24 step=70 brake=2 inf=93551 sec=0.061 inf/sec=1533623
#2019-01-16T12:37:16.313Z in=89 out=1 ent=24 step=70 brake=2 inf=93138 sec=0.052 inf/sec=1791115
#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>].
#2019-01-03T11:35:14.089Z in=10 out=1 ent=6 step=12 brake=2 inf=31698 sec=0.042 inf/sec=754714
#2019-01-16T12:37:17.056Z in=10 out=1 ent=6 step=12 brake=2 inf=31696 sec=0.042 inf/sec=754667
#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>].
#2019-01-03T11:35:14.273Z in=3 out=1 ent=2 step=2 brake=1 inf=40250 sec=0.038 inf/sec=1059211
#2019-01-16T12:37:17.248Z in=3 out=1 ent=2 step=2 brake=1 inf=39835 sec=0.039 inf/sec=1021410
#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>].
#2019-01-03T11:35:15.368Z in=5 out=101 ent=202 step=404 brake=2 inf=1179428 sec=0.175 inf/sec=6739589
#2019-01-16T12:37:18.195Z in=5 out=101 ent=202 step=404 brake=2 inf=1179017 sec=0.177 inf/sec=6661113
#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>].
#2019-01-03T11:35:15.681Z in=7 out=10 ent=13 step=26 brake=2 inf=61991 sec=0.039 inf/sec=1589513
#2019-01-16T12:37:18.488Z in=7 out=10 ent=13 step=26 brake=2 inf=61578 sec=0.045 inf/sec=1368400
#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>].
#2019-01-03T11:35:16.319Z in=168 out=1 ent=39 step=124 brake=4 inf=235835 sec=0.085 inf/sec=2774529
#2019-01-16T12:37:19.136Z in=168 out=1 ent=39 step=124 brake=4 inf=235423 sec=0.090 inf/sec=2615811
#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>].
#2019-01-03T11:35:16.838Z in=10 out=1 ent=1 step=1 brake=2 inf=103250 sec=0.058 inf/sec=1780172
#2019-01-16T12:37:19.644Z in=10 out=1 ent=1 step=1 brake=2 inf=102837 sec=0.058 inf/sec=1773052
#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>].
#2019-01-03T11:35:17.542Z in=149 out=1 ent=10 step=82 brake=4 inf=302568 sec=0.102 inf/sec=2966353
#2019-01-16T12:37:20.326Z in=149 out=1 ent=10 step=82 brake=4 inf=302156 sec=0.094 inf/sec=3214426
#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>].
#2019-01-03T11:35:17.993Z in=18 out=2 ent=4 step=8 brake=4 inf=50562 sec=0.049 inf/sec=1031878
#2019-01-16T12:37:20.777Z in=18 out=2 ent=4 step=8 brake=4 inf=50149 sec=0.045 inf/sec=1114422
#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>].
#2019-01-03T11:35:19.022Z in=345 out=47 ent=105 step=330 brake=4 inf=2014491 sec=0.307 inf/sec=6561860
#2019-01-16T12:37:21.912Z in=345 out=47 ent=105 step=330 brake=4 inf=2014077 sec=0.312 inf/sec=6455375
#ENDS
This diff is collapsed.
......@@ -133,6 +133,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/n3p/extra.ttl>].
#2019-01-03T11:35:20.849Z in=7 out=7 ent=7 step=7 brake=1 inf=26080 sec=0.035 inf/sec=745143
#2019-01-16T12:37:23.856Z in=7 out=7 ent=7 step=7 brake=1 inf=25668 sec=0.041 inf/sec=626049
#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>].
#2019-01-03T11:35:21.028Z in=10 out=10 ent=10 step=10 brake=1 inf=29130 sec=0.032 inf/sec=910313
#2019-01-16T12:37:24.040Z in=10 out=10 ent=10 step=10 brake=1 inf=28716 sec=0.028 inf/sec=1025571
#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>].
#2019-01-03T11:35:21.212Z in=12 out=12 ent=13 step=29 brake=2 inf=53368 sec=0.041 inf/sec=1301659
#2019-01-16T12:37:24.243Z in=12 out=12 ent=13 step=29 brake=2 inf=52954 sec=0.041 inf/sec=1291561
#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>].
#2019-01-03T11:35:20.666Z in=8 out=8 ent=8 step=8 brake=1 inf=31851 sec=0.038 inf/sec=838184
#2019-01-16T12:37:23.661Z in=8 out=8 ent=8 step=8 brake=1 inf=31439 sec=0.033 inf/sec=952697
#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>].
#2019-01-03T11:35:21.803Z in=19 out=1 ent=1 step=1 brake=2 inf=141910 sec=0.070 inf/sec=2027286
#2019-01-16T12:37:24.896Z in=19 out=1 ent=1 step=1 brake=2 inf=141495 sec=0.073 inf/sec=1938288
#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>].
#2019-01-03T11:35:22.106Z in=5 out=5 ent=5 step=5 brake=1 inf=25307 sec=0.038 inf/sec=665974
#2019-01-16T12:37:25.207Z in=5 out=5 ent=5 step=5 brake=1 inf=25308 sec=0.034 inf/sec=744353
#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>].
#2019-01-03T11:35:23.140Z in=4 out=1 ent=1 step=1 brake=1 inf=2812356 sec=0.391 inf/sec=7192726
#2019-01-16T12:37:26.019Z in=4 out=1 ent=1 step=1 brake=1 inf=2811945 sec=0.402 inf/sec=6994888
#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>].
#2019-01-03T11:35:24.169Z in=17 out=1 ent=2 step=4 brake=4 inf=48513 sec=0.039 inf/sec=1243923
#2019-01-16T12:37:27.094Z in=17 out=1 ent=2 step=4 brake=4 inf=48101 sec=0.045 inf/sec=1068911
#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>].
#2019-01-03T11:35:26.179Z in=45 out=16 ent=91 step=338 brake=3 inf=92174 sec=0.068 inf/sec=1355500
#2019-01-16T12:37:29.124Z in=45 out=16 ent=91 step=338 brake=3 inf=91763 sec=0.055 inf/sec=1668418
#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>].
#2019-01-03T11:35:26.587Z in=41 out=16 ent=27 step=115 brake=5 inf=86570 sec=0.060 inf/sec=1442833
#2019-01-16T12:37:29.532Z in=41 out=16 ent=27 step=115 brake=5 inf=86161 sec=0.053 inf/sec=1625679
#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}.
#2019-01-03T11:35:25.527Z in=50 out=35 ent=35 step=35 brake=1 inf=108800 sec=0.054 inf/sec=2014815
#2019-01-16T12:37:28.472Z in=50 out=35 ent=35 step=35 brake=1 inf=108387 sec=0.055 inf/sec=1970673
#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>].
#2019-01-03T11:35:24.798Z in=10 out=1 ent=1 step=1 brake=1 inf=170204 sec=0.067 inf/sec=2540358
#2019-01-16T12:37:27.697Z in=10 out=1 ent=1 step=1 brake=1 inf=169790 sec=0.074 inf/sec=2294459
#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>].
#2019-01-03T11:35:25.233Z in=7 out=1 ent=1 step=1 brake=1 inf=127985 sec=0.057 inf/sec=2245351
#2019-01-16T12:37:28.178Z in=7 out=1 ent=1 step=1 brake=1 inf=127571 sec=0.061 inf/sec=2091328
#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.
#2019-01-03T11:35:24.320Z in=24 out=6 ent=6 step=6 brake=1 inf=61446 sec=0.030 inf/sec=2048200
#2019-01-16T12:37:27.244Z in=24 out=6 ent=6 step=6 brake=1 inf=61036 sec=0.030 inf/sec=2034533
#ENDS
stamp,in,out,ent,step,brake,inf,sec,inf/sec
2019-01-03T11:34:44.980Z,6,1,1,1,2,56649,0.053,1068849
2019-01-03T11:34:46.022Z,131,97,200,910,6,1124501,0.200,5622505
2019-01-03T11:34:46.949Z,97,50,100,48,4,391455,0.116,3374612
2019-01-03T11:34:50.106Z,9841,1518,1518,1518,1,7685642,1.308,5875873
2019-01-03T11:34:50.844Z,54,17,24,110,2,40423,0.043,940070
2019-01-03T11:34:51.504Z,40,4,3,6,2,51941,0.037,1403811
2019-01-03T11:34:51.688Z,3,3,6,12,2,29950,0.035,855714
2019-01-03T11:34:52.186Z,15,2,4,8,2,54616,0.053,1030491
2019-01-03T11:34:52.659Z,18,17,17,17,2,76201,0.053,1437755
2019-01-03T11:34:53.019Z,6,5,5,5,2,55355,0.055,1006455
2019-01-03T11:34:53.504Z,8,1,6,18,3,29646,0.033,898364
2019-01-03T11:34:53.864Z,11,2,2,2,1,27191,0.034,799735
2019-01-03T11:34:54.116Z,101,6,6,6,1,44829,0.048,933938
2019-01-03T11:34:54.443Z,1001,92,92,92,1,392329,0.105,3736467
2019-01-03T11:34:55.665Z,10001,966,966,966,1,3882885,0.812,4781878
2019-01-03T11:34:56.024Z,39,2,8,18,2,59860,0.057,1050175
2019-01-03T11:34:56.386Z,94,6,23,48,2,120110,0.059,2035763
2019-01-03T11:34:56.998Z,1324,92,355,712,2,1484275,0.259,5730792
2019-01-03T11:34:59.951Z,13589,966,3682,7366,2,15213011,2.219,6855796
2019-01-03T11:35:01.188Z,10,1,2,2,1,53805,0.046,1169674
2019-01-03T11:35:01.772Z,16,2,32,120,4,53562,0.046,1164391
2019-01-03T11:35:02.198Z,29,24,0,0,1,37044,0.032,1157625
2019-01-03T11:35:02.521Z,25,4,4,4,2,27051,0.039,693615
2019-01-03T11:35:03.596Z,3004,1,2999,5998,2,4150944,0.548,7574715
2019-01-03T11:35:04.068Z,19,16,32,64,2,223706,0.068,3289794
2019-01-03T11:35:04.602Z,5,1,2,4,2,688190,0.138,4986884
2019-01-03T11:35:07.371Z,1001,1000,1000,1000,1,12869901,1.477,8713542
2019-01-03T11:35:08.242Z,76,8,50,307,6,591148,0.134,4411552
2019-01-03T11:35:09.270Z,253,18,237,1917,5,1216257,0.245,4964314
2019-01-03T11:35:09.756Z,4,1,1,1,1,139064,0.057,2439719
2019-01-03T11:35:10.689Z,185,6,1591,18973,12,864919,0.155,5580123
2019-01-03T11:35:11.123Z,9,6,7,30,2,53528,0.049,1092408
2019-01-03T11:35:11.776Z,11,1,1,1,2,123921,0.066,1877591
2019-01-03T11:35:12.724Z,44,10,10,10,2,2337084,0.361,6473917
2019-01-03T11:35:13.348Z,89,1,24,70,2,93551,0.061,1533623
2019-01-03T11:35:14.089Z,10,1,6,12,2,31698,0.042,754714
2019-01-03T11:35:14.273Z,3,1,2,2,1,40250,0.038,1059211
2019-01-03T11:35:15.368Z,5,101,202,404,2,1179428,0.175,6739589
2019-01-03T11:35:15.681Z,7,10,13,26,2,61991,0.039,1589513
2019-01-03T11:35:16.319Z,168,1,39,124,4,235835,0.085,2774529
2019-01-03T11:35:16.838Z,10,1,1,1,2,103250,0.058,1780172
2019-01-03T11:35:17.542Z,149,1,10,82,4,302568,0.102,2966353
2019-01-03T11:35:17.993Z,18,2,4,8,4,50562,0.049,1031878
2019-01-03T11:35:19.022Z,345,47,105,330,4,2014491,0.307,6561860
2019-01-03T11:35:20.365Z,100100,117,117,117,100,5514345,1.225,4501506
2019-01-03T11:35:20.666Z,8,8,8,8,1,31851,0.038,838184
2019-01-03T11:35:20.849Z,7,7,7,7,1,26080,0.035,745143
2019-01-03T11:35:21.028Z,10,10,10,10,1,29130,0.032,910313
2019-01-03T11:35:21.212Z,12,12,13,29,2,53368,0.041,1301659
2019-01-03T11:35:21.803Z,19,1,1,1,2,141910,0.070,2027286
2019-01-03T11:35:22.106Z,5,5,5,5,1,25307,0.038,665974
2019-01-03T11:35:23.140Z,4,1,1,1,1,2812356,0.391,7192726
2019-01-03T11:35:24.169Z,17,1,2,4,4,48513,0.039,1243923
2019-01-03T11:35:24.320Z,24,6,6,6,1,61446,0.030,2048200
2019-01-03T11:35:24.798Z,10,1,1,1,1,170204,0.067,2540358
2019-01-03T11:35:25.233Z,7,1,1,1,1,127985,0.057,2245351
2019-01-03T11:35:25.527Z,50,35,35,35,1,108800,0.054,2014815
2019-01-03T11:35:26.179Z,45,16,91,338,3,92174,0.068,1355500
2019-01-03T11:35:26.587Z,41,16,27,115,5,86570,0.060,1442833
2019-01-03T11:35:27.182Z,11,1,209,218,1,108924,0.057,1910947
2019-01-03T11:35:27.633Z,10,4,47,7,1,94593,0.056,1689161
2019-01-03T11:35:28.110Z,5,2,2,2,1,24251,0.039,621821
2019-01-03T11:35:28.559Z,5,2,2,2,1,24412,0.043,567721
2019-01-03T11:35:28.894Z,5,2,2,2,1,23041,0.035,658314
2019-01-03T11:35:29.579Z,224,222,443,1776,4,1859527,0.257,7235514
2019-01-03T11:35:30.233Z,45,16,91,338,3,92693,0.055,1685327
2019-01-03T11:35:31.076Z,1002,1,1,1,2,1632590,0.245,6663633
2019-01-03T11:35:31.761Z,110,1,12,28,2,202588,0.077,2631013
2019-01-03T11:35:32.209Z,4,2,3,6,2,25782,0.034,758294
2019-01-03T11:35:32.397Z,16,101,0,0,0,32322,0.038,850579
2019-01-03T11:35:32.962Z,501,81,81,81,1,240156,0.082,2928732
2019-01-03T11:35:33.392Z,501,54,54,54,1,230584,0.077,2994597
2019-01-03T11:35:33.827Z,501,46,46,46,1,224254,0.077,2912390
2019-01-03T11:35:34.254Z,501,19,19,19,1,205799,0.075,2743987
2019-01-03T11:35:35.266Z,303,3,3,3,1,546049,0.135,4044807
2019-01-03T11:35:35.917Z,3,1,1,1,1,1254492,0.234,5361077
2019-01-03T11:35:36.539Z,9,7,21,42,4,74283,0.057,1303211
2019-01-03T11:35:36.995Z,18,1,1,1,1,90195,0.057,1582368
2019-01-03T11:35:37.461Z,21,2,24,88,5,71494,0.054,1323963
2019-01-03T11:35:37.744Z,5,5,5,5,1,25953,0.030,865100
2019-01-03T11:35:38.099Z,8,1,7,25,5,32141,0.044,730477
2019-01-03T11:35:38.599Z,66,1,9,43,3,74363,0.059,1260390
2019-01-03T11:35:38.744Z,0,0,0,0,1,11619,0.029,400655
2019-01-16T12:36:48.417Z,6,1,1,1,2,56235,0.045,1249667
2019-01-16T12:36:49.443Z,131,97,200,910,6,1124090,0.208,5404279
2019-01-16T12:36:50.435Z,97,50,100,48,4,391041,0.124,3153556
2019-01-16T12:36:53.605Z,9841,1518,1518,1518,1,7685230,1.334,5761042
2019-01-16T12:36:54.344Z,54,17,24,110,2,40425,0.039,1036538
2019-01-16T12:36:55.032Z,40,4,3,6,2,66791,0.059,1132051
2019-01-16T12:36:55.223Z,3,3,6,12,2,29538,0.036,820500
2019-01-16T12:36:55.729Z,15,2,4,8,2,54614,0.051,1070863
2019-01-16T12:36:56.190Z,18,17,17,17,2,76201,0.048,1587521
2019-01-16T12:36:56.552Z,6,5,5,5,2,54941,0.045,1220911
2019-01-16T12:36:57.060Z,8,1,6,18,3,29232,0.038,769263
2019-01-16T12:36:57.402Z,11,2,2,2,1,27190,0.038,715526
2019-01-16T12:36:57.631Z,101,6,6,6,1,44829,0.037,1211595
2019-01-16T12:36:57.978Z,1001,92,92,92,1,392328,0.110,3566618
2019-01-16T12:36:59.276Z,10001,966,966,966,1,3882883,0.846,4589696
2019-01-16T12:36:59.614Z,39,2,8,18,2,59445,0.048,1238438
2019-01-16T12:36:59.972Z,94,6,23,48,2,119697,0.056,2137446
2019-01-16T12:37:00.574Z,1324,92,355,712,2,1483882,0.249,5959365
2019-01-16T12:37:03.355Z,13589,966,3682,7366,2,15212618,2.221,6849445
2019-01-16T12:37:04.609Z,10,1,2,2,1,53388,0.052,1026692
2019-01-16T12:37:05.197Z,16,2,32,120,4,53148,0.053,1002792
2019-01-16T12:37:05.615Z,29,24,0,0,1,36632,0.035,1046629
2019-01-16T12:37:05.932Z,25,4,4,4,2,26637,0.033,807182
2019-01-16T12:37:07.009Z,3004,1,2999,5998,2,4150532,0.544,7629654
2019-01-16T12:37:07.486Z,19,16,32,64,2,223293,0.058,3849879
2019-01-16T12:37:08.042Z,5,1,2,4,2,687777,0.145,4743290
2019-01-16T12:37:10.736Z,1001,1000,1000,1000,1,12869469,1.430,8999629
2019-01-16T12:37:11.642Z,76,8,50,307,6,590715,0.142,4159965
2019-01-16T12:37:12.689Z,253,18,237,1917,5,1215822,0.243,5003383
2019-01-16T12:37:13.150Z,4,1,1,1,1,138629,0.058,2390155
2019-01-16T12:37:13.853Z,185,6,1591,18973,12,864506,0.150,5763373
2019-01-16T12:37:14.297Z,9,6,7,30,2,53110,0.048,1106458
2019-01-16T12:37:14.883Z,11,1,1,1,2,123508,0.058,2129448
2019-01-16T12:37:15.715Z,44,10,10,10,2,2336671,0.368,6349649
2019-01-16T12:37:16.313Z,89,1,24,70,2,93138,0.052,1791115
2019-01-16T12:37:17.056Z,10,1,6,12,2,31696,0.042,754667
2019-01-16T12:37:17.248Z,3,1,2,2,1,39835,0.039,1021410
2019-01-16T12:37:18.195Z,5,101,202,404,2,1179017,0.177,6661113
2019-01-16T12:37:18.488Z,7,10,13,26,2,61578,0.045,1368400
2019-01-16T12:37:19.136Z,168,1,39,124,4,235423,0.090,2615811
2019-01-16T12:37:19.644Z,10,1,1,1,2,102837,0.058,1773052
2019-01-16T12:37:20.326Z,149,1,10,82,4,302156,0.094,3214426
2019-01-16T12:37:20.777Z,18,2,4,8,4,50149,0.045,1114422
2019-01-16T12:37:21.912Z,345,47,105,330,4,2014077,0.312,6455375
2019-01-16T12:37:23.352Z,100100,117,117,117,100,5513157,1.315,4192515
2019-01-16T12:37:23.661Z,8,8,8,8,1,31439,0.033,952697
2019-01-16T12:37:23.856Z,7,7,7,7,1,25668,0.041,626049
2019-01-16T12:37:24.040Z,10,10,10,10,1,28716,0.028,1025571
2019-01-16T12:37:24.243Z,12,12,13,29,2,52954,0.041,1291561
2019-01-16T12:37:24.896Z,19,1,1,1,2,141495,0.073,1938288
2019-01-16T12:37:25.207Z,5,5,5,5,1,25308,0.034,744353
2019-01-16T12:37:26.019Z,4,1,1,1,1,2811945,0.402,6994888
2019-01-16T12:37:27.094Z,17,1,2,4,4,48101,0.045,1068911
2019-01-16T12:37:27.244Z,24,6,6,6,1,61036,0.030,2034533
2019-01-16T12:37:27.697Z,10,1,1,1,1,169790,0.074,2294459
2019-01-16T12:37:28.178Z,7,1,1,1,1,127571,0.061,2091328
2019-01-16T12:37:28.472Z,50,35,35,35,1,108387,0.055,1970673
2019-01-16T12:37:29.124Z,45,16,91,338,3,91763,0.055,1668418
2019-01-16T12:37:29.532Z,41,16,27,115,5,86161,0.053,1625679
2019-01-16T12:37:30.111Z,11,1,209,218,1,108510,0.061,1778852
2019-01-16T12:37:30.565Z,10,4,47,7,1,94180,0.050,1883600
2019-01-16T12:37:31.002Z,5,2,2,2,1,23838,0.032,744938
2019-01-16T12:37:31.460Z,5,2,2,2,1,24000,0.041,585366
2019-01-16T12:37:31.820Z,5,2,2,2,1,22630,0.036,628611
2019-01-16T12:37:32.519Z,224,222,443,1776,4,1859113,0.270,6885604
2019-01-16T12:37:33.172Z,45,16,91,338,3,92280,0.055,1677818
2019-01-16T12:37:34.025Z,1002,1,1,1,2,1632176,0.257,6350879
2019-01-16T12:37:34.661Z,110,1,12,28,2,202175,0.068,2973162
2019-01-16T12:37:35.123Z,4,2,3,6,2,25370,0.036,704722
2019-01-16T12:37:35.323Z,16,101,0,0,0,32322,0.036,897833
2019-01-16T12:37:35.862Z,501,81,81,81,1,239744,0.082,2923707
2019-01-16T12:37:36.285Z,501,54,54,54,1,230171,0.064,3596422
2019-01-16T12:37:36.747Z,501,46,46,46,1,223842,0.075,2984560
2019-01-16T12:37:37.194Z,501,19,19,19,1,205384,0.065,3159754
2019-01-16T12:37:38.255Z,303,3,3,3,1,545635,0.141,3869752
2019-01-16T12:37:38.913Z,3,1,1,1,1,1254077,0.227,5524568
2019-01-16T12:37:39.543Z,9,7,21,42,4,74281,0.053,1401528
2019-01-16T12:37:39.971Z,18,1,1,1,1,89783,0.045,1995178
2019-01-16T12:37:40.427Z,21,2,24,88,5,71078,0.054,1316259
2019-01-16T12:37:40.708Z,5,5,5,5,1,25541,0.033,773970
2019-01-16T12:37:41.049Z,8,1,7,25,5,31727,0.042,755405
2019-01-16T12:37:41.570Z,66,1,9,43,3,73948,0.063,1173778
2019-01-16T12:37:41.709Z,0,0,0,0,1,11209,0.024,467042
# Thu Jan 3 12:34:44 CET 2019
# Wed Jan 16 13:36:48 CET 2019
This source diff could not be displayed because it is too large. You can view the blob instead.
......@@ -252,6 +252,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/resto/resto.n3>].
#2019-01-03T11:35:27.633Z in=10 out=4 ent=47 step=7 brake=1 inf=94593 sec=0.056 inf/sec=1689161
#2019-01-16T12:37:30.565Z in=10 out=4 ent=47 step=7 brake=1 inf=94180 sec=0.050 inf/sec=1883600
#ENDS