eye --no-genid http://josd.github.io/eye/reasoning/3outof5/sample.n3 --query http://josd.github.io/eye/reasoning/3outof5/query.n3
EYE v20.0606.1810 josd
SWI-Prolog version 8.3.3
starting 46 [msec cputime] 63 [msec walltime]
GET http://josd.github.io/eye/reasoning/3outof5/sample.n3 SC=5
GET http://josd.github.io/eye/reasoning/3outof5/query.n3 SC=1
networking 0 [msec cputime] 1044 [msec walltime]
reasoning 16 [msec cputime] 4 [msec walltime]
2020-07-03T08:45:37.705Z in=6 out=1 ent=1 step=1 brake=2 inf=40029 sec=0.062 inf/sec=645629

eye --no-genid --nope --tactic limited-answer 2 --turtle http://josd.github.io/eye/reasoning/4color/4color_data.n3 http://josd.github.io/eye/reasoning/4color/4color_rules.n3 --query http://josd.github.io/eye/reasoning/4color/4color_query.n3
EYE v20.0606.1810 josd
SWI-Prolog version 8.3.3
starting 46 [msec cputime] 88 [msec walltime]
GET http://josd.github.io/eye/reasoning/4color/4color_data.n3 translating file:///tmp/swipl_eye_13547_0
Done: translated 28 triples in 12.0 ms (2336 triples/s)
SC=28
GET http://josd.github.io/eye/reasoning/4color/4color_rules.n3 SC=2
GET http://josd.github.io/eye/reasoning/4color/4color_query.n3 SC=1
networking 32 [msec cputime] 1742 [msec walltime]
reasoning 0 [msec cputime] 4 [msec walltime]
2020-07-03T08:45:39.786Z in=31 out=2 ent=2 step=2 brake=2 inf=57007 sec=0.078 inf/sec=730859

eye --no-genid --tactic limited-answer 2 --turtle http://josd.github.io/eye/reasoning/4color/4color_data.n3 http://josd.github.io/eye/reasoning/4color/4color_rules.n3 --query http://josd.github.io/eye/reasoning/4color/4color_query.n3
EYE v20.0606.1810 josd
SWI-Prolog version 8.3.3
starting 46 [msec cputime] 80 [msec walltime]
GET http://josd.github.io/eye/reasoning/4color/4color_data.n3 translating file:///tmp/swipl_eye_13565_0
Done: translated 28 triples in 7.1 ms (3918 triples/s)
SC=28
GET http://josd.github.io/eye/reasoning/4color/4color_rules.n3 SC=2
GET http://josd.github.io/eye/reasoning/4color/4color_query.n3 SC=1
networking 32 [msec cputime] 1036 [msec walltime]
reasoning 47 [msec cputime] 39 [msec walltime]
2020-07-03T08:45:41.084Z in=31 out=2 ent=2 step=2 brake=2 inf=435691 sec=0.125 inf/sec=3485528

eye --no-genid http://josd.github.io/eye/reasoning/bi/biP.n3 --query http://josd.github.io/eye/reasoning/bi/biQ.n3
EYE v20.0606.1810 josd
SWI-Prolog version 8.3.3
starting 46 [msec cputime] 63 [msec walltime]
GET http://josd.github.io/eye/reasoning/bi/biP.n3 SC=110
GET http://josd.github.io/eye/reasoning/bi/biQ.n3 SC=2
networking 16 [msec cputime] 1030 [msec walltime]
GET http://josd.github.io/eye/reasoning/bi/abc.n3 SC=1
GET http://josd.github.io/eye/reasoning/bi/ab_c.n3 SC=1
GET http://josd.github.io/eye/reasoning/bi/medic.n3 SC=17
reasoning 125 [msec cputime] 1698 [msec walltime]
2020-07-03T08:45:44.140Z in=131 out=97 ent=200 step=910 brake=6 inf=1139659 sec=0.187 inf/sec=6094433

eye --no-genid http://josd.github.io/eye/reasoning/bmi/bmi_instances.n3 http://josd.github.io/eye/reasoning/bmi/bmi_rules.n3 http://josd.github.io/eye/reasoning/bmi/weightStatus_rules.n3 http://josd.github.io/eye/reasoning/bmi/age_rules_backward.n3 --query http://josd.github.io/eye/reasoning/bmi/bmi_query.n3
EYE v20.0606.1810 josd
SWI-Prolog version 8.3.3
starting 15 [msec cputime] 65 [msec walltime]
GET http://josd.github.io/eye/reasoning/bmi/bmi_instances.n3 SC=68
GET http://josd.github.io/eye/reasoning/bmi/bmi_rules.n3 SC=7
GET http://josd.github.io/eye/reasoning/bmi/weightStatus_rules.n3 SC=13
GET http://josd.github.io/eye/reasoning/bmi/age_rules_backward.n3 SC=8
GET http://josd.github.io/eye/reasoning/bmi/bmi_query.n3 SC=1
networking 31 [msec cputime] 2608 [msec walltime]
reasoning 32 [msec cputime] 30 [msec walltime]
2020-07-03T08:45:47.081Z in=97 out=50 ent=100 step=48 brake=4 inf=389291 sec=0.078 inf/sec=4990910

eye --no-genid http://josd.github.io/eye/reasoning/bmt/1tt1.n3 http://josd.github.io/eye/reasoning/bmt/1tt2.n3 http://josd.github.io/eye/reasoning/bmt/1tt3.n3 http://josd.github.io/eye/reasoning/bmt/1tt4.n3 http://josd.github.io/eye/reasoning/bmt/1tt5.n3 http://josd.github.io/eye/reasoning/bmt/1tt6.n3 http://josd.github.io/eye/reasoning/bmt/1tt7.n3 http://josd.github.io/eye/reasoning/bmt/1tt8.n3 http://josd.github.io/eye/reasoning/bmt/1tt9.n3 http://josd.github.io/eye/reasoning/bmt/1tt10.n3 --query http://josd.github.io/eye/reasoning/bmt/query.n3
EYE v20.0606.1810 josd
SWI-Prolog version 8.3.3
starting 46 [msec cputime] 61 [msec walltime]
GET http://josd.github.io/eye/reasoning/bmt/1tt1.n3 SC=999
GET http://josd.github.io/eye/reasoning/bmt/1tt2.n3 SC=996
GET http://josd.github.io/eye/reasoning/bmt/1tt3.n3 SC=991
GET http://josd.github.io/eye/reasoning/bmt/1tt4.n3 SC=987
GET http://josd.github.io/eye/reasoning/bmt/1tt5.n3 SC=990
GET http://josd.github.io/eye/reasoning/bmt/1tt6.n3 SC=981
GET http://josd.github.io/eye/reasoning/bmt/1tt7.n3 SC=980
GET http://josd.github.io/eye/reasoning/bmt/1tt8.n3 SC=977
GET http://josd.github.io/eye/reasoning/bmt/1tt9.n3 SC=973
GET http://josd.github.io/eye/reasoning/bmt/1tt10.n3 SC=966
GET http://josd.github.io/eye/reasoning/bmt/query.n3 SC=1
networking 625 [msec cputime] 6580 [msec walltime]
reasoning 829 [msec cputime] 824 [msec walltime]
2020-07-03T08:45:54.766Z in=9841 out=1518 ent=1518 step=1518 brake=1 inf=9799965 sec=1.500 inf/sec=6533310

eye --no-genid --wcache http://josd.github.io/eye/reasoning/ccd . --nope http://josd.github.io/eye/reasoning/ccd/train_data.n3 http://josd.github.io/eye/reasoning/ccd/background_rules.n3 http://josd.github.io/eye/reasoning/ccd/train_rules.n3 --query http://josd.github.io/eye/reasoning/ccd/train_query.n3
EYE v20.0606.1810 josd
SWI-Prolog version 8.3.3
starting 46 [msec cputime] 64 [msec walltime]
GET http://josd.github.io/eye/reasoning/ccd/train_data.n3 FROM ./train_data.n3 SC=51
GET http://josd.github.io/eye/reasoning/ccd/background_rules.n3 FROM ./background_rules.n3 SC=1
GET http://josd.github.io/eye/reasoning/ccd/train_rules.n3 FROM ./train_rules.n3 SC=1
GET http://josd.github.io/eye/reasoning/ccd/train_query.n3 FROM ./train_query.n3 SC=1
networking 16 [msec cputime] 62 [msec walltime]
reasoning 0 [msec cputime] 2 [msec walltime]
2020-07-03T08:45:55.150Z in=54 out=17 ent=24 step=110 brake=2 inf=51009 sec=0.062 inf/sec=822726

eye --no-genid --wcache http://josd.github.io/eye/reasoning/ccd . http://josd.github.io/eye/reasoning/ccd/train_data.n3 http://josd.github.io/eye/reasoning/ccd/background_rules.n3 http://josd.github.io/eye/reasoning/ccd/train_rules.n3 --query http://josd.github.io/eye/reasoning/ccd/train_query.n3
EYE v20.0606.1810 josd
SWI-Prolog version 8.3.3
starting 31 [msec cputime] 63 [msec walltime]
GET http://josd.github.io/eye/reasoning/ccd/train_data.n3 FROM ./train_data.n3 SC=51
GET http://josd.github.io/eye/reasoning/ccd/background_rules.n3 FROM ./background_rules.n3 SC=1
GET http://josd.github.io/eye/reasoning/ccd/train_rules.n3 FROM ./train_rules.n3 SC=1
GET http://josd.github.io/eye/reasoning/ccd/train_query.n3 FROM ./train_query.n3 SC=1
networking 15 [msec cputime] 28 [msec walltime]
reasoning 32 [msec cputime] 18 [msec walltime]
2020-07-03T08:45:55.423Z in=54 out=17 ent=41 step=254 brake=4 inf=178526 sec=0.078 inf/sec=2288795

eye --no-genid --wcache http://josd.github.io/eye/reasoning/ccd . --nope http://josd.github.io/eye/reasoning/ccd/test_data.n3 http://josd.github.io/eye/reasoning/ccd/train_model.n3 http://josd.github.io/eye/reasoning/ccd/background_rules.n3 http://josd.github.io/eye/reasoning/ccd/ccd_rules.n3 --query http://josd.github.io/eye/reasoning/ccd/test_query.n3
EYE v20.0606.1810 josd
SWI-Prolog version 8.3.3
starting 46 [msec cputime] 63 [msec walltime]
GET http://josd.github.io/eye/reasoning/ccd/test_data.n3 FROM ./test_data.n3 SC=20
GET http://josd.github.io/eye/reasoning/ccd/train_model.n3 FROM ./train_model.n3 SC=17
GET http://josd.github.io/eye/reasoning/ccd/background_rules.n3 FROM ./background_rules.n3 SC=1
GET http://josd.github.io/eye/reasoning/ccd/ccd_rules.n3 FROM ./ccd_rules.n3 SC=1
GET http://josd.github.io/eye/reasoning/ccd/test_query.n3 FROM ./test_query.n3 SC=1
networking 0 [msec cputime] 67 [msec walltime]
reasoning 0 [msec cputime] 2 [msec walltime]
2020-07-03T08:45:55.701Z in=40 out=4 ent=3 step=6 brake=2 inf=82375 sec=0.046 inf/sec=1790761

eye --no-genid --wcache http://josd.github.io/eye/reasoning/ccd . http://josd.github.io/eye/reasoning/ccd/test_data.n3 http://josd.github.io/eye/reasoning/ccd/train_model.n3 http://josd.github.io/eye/reasoning/ccd/background_rules.n3 http://josd.github.io/eye/reasoning/ccd/ccd_rules.n3 --query http://josd.github.io/eye/reasoning/ccd/test_query.n3
EYE v20.0606.1810 josd
SWI-Prolog version 8.3.3
starting 46 [msec cputime] 62 [msec walltime]
GET http://josd.github.io/eye/reasoning/ccd/test_data.n3 FROM ./test_data.n3 SC=20
GET http://josd.github.io/eye/reasoning/ccd/train_model.n3 FROM ./train_model.n3 SC=17
GET http://josd.github.io/eye/reasoning/ccd/background_rules.n3 FROM ./background_rules.n3 SC=1
GET http://josd.github.io/eye/reasoning/ccd/ccd_rules.n3 FROM ./ccd_rules.n3 SC=1
GET http://josd.github.io/eye/reasoning/ccd/test_query.n3 FROM ./test_query.n3 SC=1
networking 0 [msec cputime] 42 [msec walltime]
reasoning 32 [msec cputime] 30 [msec walltime]
2020-07-03T08:45:56.004Z in=40 out=4 ent=7 step=20 brake=4 inf=339146 sec=0.078 inf/sec=4348026

eye --no-genid --nope --wcache http://josd.github.io/eye/reasoning/complex . --query http://josd.github.io/eye/reasoning/complex/complex_query.n3
EYE v20.0606.1810 josd
SWI-Prolog version 8.3.3
starting 46 [msec cputime] 62 [msec walltime]
GET http://josd.github.io/eye/reasoning/complex/complex_query.n3 FROM ./complex_query.n3 SC=1
networking 0 [msec cputime] 12 [msec walltime]
reasoning 0 [msec cputime] 0 [msec walltime]
2020-07-03T08:45:56.302Z in=1 out=2 ent=2 step=1 brake=1 inf=16296 sec=0.046 inf/sec=354261

eye --no-genid --hmac-key k123 http://josd.github.io/eye/reasoning/crypto/cryptoP.n3 --pass
EYE v20.0606.1810 josd
SWI-Prolog version 8.3.3
starting 31 [msec cputime] 61 [msec walltime]
GET http://josd.github.io/eye/reasoning/crypto/cryptoP.n3 SC=3
networking 0 [msec cputime] 519 [msec walltime]
reasoning 0 [msec cputime] 2 [msec walltime]
2020-07-03T08:45:57.098Z in=3 out=3 ent=6 step=12 brake=2 inf=26420 sec=0.031 inf/sec=852258

eye --no-genid --wcache http://josd.github.io/eye/reasoning/cs . --nope http://josd.github.io/eye/reasoning/cs/data-001.n3 http://josd.github.io/eye/reasoning/cs/rules-001.n3 --query http://josd.github.io/eye/reasoning/cs/query-001.n3
EYE v20.0606.1810 josd
SWI-Prolog version 8.3.3
starting 31 [msec cputime] 64 [msec walltime]
GET http://josd.github.io/eye/reasoning/cs/data-001.n3 FROM ./data-001.n3 SC=10
GET http://josd.github.io/eye/reasoning/cs/rules-001.n3 FROM ./rules-001.n3 SC=4
GET http://josd.github.io/eye/reasoning/cs/query-001.n3 FROM ./query-001.n3 SC=1
networking 0 [msec cputime] 44 [msec walltime]
reasoning 0 [msec cputime] 0 [msec walltime]
2020-07-03T08:45:57.417Z in=15 out=2 ent=4 step=8 brake=2 inf=31169 sec=0.031 inf/sec=1005452

eye --no-genid --wcache http://josd.github.io/eye/reasoning/cs . http://josd.github.io/eye/reasoning/cs/data-001.n3 http://josd.github.io/eye/reasoning/cs/rules-001.n3 --query http://josd.github.io/eye/reasoning/cs/query-001.n3
EYE v20.0606.1810 josd
SWI-Prolog version 8.3.3
starting 46 [msec cputime] 65 [msec walltime]
GET http://josd.github.io/eye/reasoning/cs/data-001.n3 FROM ./data-001.n3 SC=10
GET http://josd.github.io/eye/reasoning/cs/rules-001.n3 FROM ./rules-001.n3 SC=4
GET http://josd.github.io/eye/reasoning/cs/query-001.n3 FROM ./query-001.n3 SC=1
networking 0 [msec cputime] 17 [msec walltime]
reasoning 0 [msec cputime] 4 [msec walltime]
2020-07-03T08:45:57.656Z in=15 out=2 ent=4 step=8 brake=2 inf=50494 sec=0.046 inf/sec=1097696

eye --no-genid --nope http://josd.github.io/eye/reasoning/csv/select-data.n3 --query http://josd.github.io/eye/reasoning/csv/select-query.n3 --strings
EYE v20.0606.1810 josd
SWI-Prolog version 8.3.3
starting 31 [msec cputime] 60 [msec walltime]
GET http://josd.github.io/eye/reasoning/csv/select-data.n3 SC=17
GET http://josd.github.io/eye/reasoning/csv/select-query.n3 SC=1
networking 31 [msec cputime] 1261 [msec walltime]
reasoning 0 [msec cputime] 1 [msec walltime]
2020-07-03T08:45:59.212Z in=18 out=85 ent=0 step=0 brake=1 inf=28724 sec=0.062 inf/sec=463290

eye --no-genid http://josd.github.io/eye/reasoning/csv/select-data.n3 --query http://josd.github.io/eye/reasoning/csv/select-query.n3
EYE v20.0606.1810 josd
SWI-Prolog version 8.3.3
starting 31 [msec cputime] 63 [msec walltime]
GET http://josd.github.io/eye/reasoning/csv/select-data.n3 SC=17
GET http://josd.github.io/eye/reasoning/csv/select-query.n3 SC=1
networking 47 [msec cputime] 1650 [msec walltime]
reasoning 15 [msec cputime] 8 [msec walltime]
2020-07-03T08:46:01.078Z in=18 out=17 ent=17 step=17 brake=2 inf=78230 sec=0.093 inf/sec=841183

eye --no-genid http://josd.github.io/eye/reasoning/csv/select-data-extra.n3 --query http://josd.github.io/eye/reasoning/csv/select-query.n3
EYE v20.0606.1810 josd
SWI-Prolog version 8.3.3
starting 15 [msec cputime] 63 [msec walltime]
GET http://josd.github.io/eye/reasoning/csv/select-data-extra.n3 SC=5
GET http://josd.github.io/eye/reasoning/csv/select-query.n3 SC=1
networking 16 [msec cputime] 801 [msec walltime]
reasoning 0 [msec cputime] 4 [msec walltime]
2020-07-03T08:46:02.120Z in=6 out=5 ent=5 step=5 brake=2 inf=41493 sec=0.031 inf/sec=1338484

eye --no-genid http://josd.github.io/eye/reasoning/de/de.n3 http://josd.github.io/eye/reasoning/de/deA.n3 --query http://josd.github.io/eye/reasoning/de/deQ.n3
EYE v20.0606.1810 josd
SWI-Prolog version 8.3.3
starting 46 [msec cputime] 61 [msec walltime]
GET http://josd.github.io/eye/reasoning/de/de.n3 SC=6
GET http://josd.github.io/eye/reasoning/de/deA.n3 SC=1
GET http://josd.github.io/eye/reasoning/de/deQ.n3 SC=1
networking 16 [msec cputime] 1730 [msec walltime]
reasoning 16 [msec cputime] 2 [msec walltime]
2020-07-03T08:46:04.577Z in=8 out=1 ent=6 step=18 brake=3 inf=25381 sec=0.078 inf/sec=325397

eye --no-genid --tactic limited-answer 1 http://josd.github.io/eye/reasoning/dp/dp.n3 --query http://josd.github.io/eye/reasoning/dp/dpQ.n3
EYE v20.0606.1810 josd
SWI-Prolog version 8.3.3
starting 31 [msec cputime] 61 [msec walltime]
GET http://josd.github.io/eye/reasoning/dp/dp.n3 SC=9
GET http://josd.github.io/eye/reasoning/dp/dpQ.n3 SC=1
networking 0 [msec cputime] 1002 [msec walltime]
reasoning 0 [msec cputime] 762 [msec walltime]
2020-07-03T08:46:06.633Z in=10 out=1 ent=2 step=2 brake=1 inf=48581 sec=0.031 inf/sec=1567129

eye --no-genid --tactic limited-answer 1 http://josd.github.io/eye/reasoning/dpe/dpe_theory.n3 http://josd.github.io/eye/reasoning/dpe/dpe_assumption.n3 --query http://josd.github.io/eye/reasoning/dpe/dpe_query.n3
EYE v20.0606.1810 josd
SWI-Prolog version 8.3.3
starting 46 [msec cputime] 63 [msec walltime]
GET http://josd.github.io/eye/reasoning/dpe/dpe_theory.n3 SC=13
GET http://josd.github.io/eye/reasoning/dpe/dpe_assumption.n3 SC=2
GET http://josd.github.io/eye/reasoning/dpe/dpe_query.n3 SC=1
networking 32 [msec cputime] 1503 [msec walltime]
reasoning 15 [msec cputime] 5 [msec walltime]
2020-07-03T08:46:08.408Z in=16 out=2 ent=32 step=120 brake=4 inf=51707 sec=0.093 inf/sec=555989

eye --no-genid --wcache http://josd.github.io/eye/reasoning/dqc . --no-distinct-output --nope http://josd.github.io/eye/reasoning/dqc/sdcoding.n3 --query http://josd.github.io/eye/reasoning/dqc/sdcoding-q.n3
EYE v20.0606.1810 josd
SWI-Prolog version 8.3.3
starting 46 [msec cputime] 65 [msec walltime]
GET http://josd.github.io/eye/reasoning/dqc/sdcoding.n3 FROM ./sdcoding.n3 SC=28
GET http://josd.github.io/eye/reasoning/dqc/sdcoding-q.n3 FROM ./sdcoding-q.n3 SC=1
networking 0 [msec cputime] 26 [msec walltime]
reasoning 0 [msec cputime] 0 [msec walltime]
2020-07-03T08:46:08.712Z in=29 out=24 ent=0 step=0 brake=1 inf=34743 sec=0.046 inf/sec=755283

eye --no-genid --wcache http://josd.github.io/eye/reasoning/dqc . --no-distinct-output http://josd.github.io/eye/reasoning/dqc/sdcoding.n3 --query http://josd.github.io/eye/reasoning/dqc/sdcoding-q.n3
EYE v20.0606.1810 josd
SWI-Prolog version 8.3.3
starting 31 [msec cputime] 61 [msec walltime]
GET http://josd.github.io/eye/reasoning/dqc/sdcoding.n3 FROM ./sdcoding.n3 SC=28
GET http://josd.github.io/eye/reasoning/dqc/sdcoding-q.n3 FROM ./sdcoding-q.n3 SC=1
networking 15 [msec cputime] 19 [msec walltime]
reasoning 16 [msec cputime] 11 [msec walltime]
2020-07-03T08:46:08.969Z in=29 out=14 ent=14 step=24 brake=1 inf=96524 sec=0.062 inf/sec=1556839

eye --no-genid --wcache http://josd.github.io/eye/reasoning/dqc . --no-distinct-input --nope http://josd.github.io/eye/reasoning/dqc/sdcoding-a.n3 --query http://josd.github.io/eye/reasoning/dqc/sdcoding-query.n3
EYE v20.0606.1810 josd
SWI-Prolog version 8.3.3
starting 31 [msec cputime] 62 [msec walltime]
GET http://josd.github.io/eye/reasoning/dqc/sdcoding-a.n3 FROM ./sdcoding-a.n3 SC=24
GET http://josd.github.io/eye/reasoning/dqc/sdcoding-query.n3 FROM ./sdcoding-query.n3 SC=1
networking 0 [msec cputime] 24 [msec walltime]
reasoning 0 [msec cputime] 0 [msec walltime]
2020-07-03T08:46:09.201Z in=25 out=4 ent=4 step=4 brake=2 inf=25522 sec=0.031 inf/sec=823290

eye --no-genid --wcache http://josd.github.io/eye/reasoning/dqc . --no-distinct-input http://josd.github.io/eye/reasoning/dqc/sdcoding-a.n3 --query http://josd.github.io/eye/reasoning/dqc/sdcoding-query.n3
EYE v20.0606.1810 josd
SWI-Prolog version 8.3.3
starting 31 [msec cputime] 63 [msec walltime]
GET http://josd.github.io/eye/reasoning/dqc/sdcoding-a.n3 FROM ./sdcoding-a.n3 SC=24
GET http://josd.github.io/eye/reasoning/dqc/sdcoding-query.n3 FROM ./sdcoding-query.n3 SC=1
networking 15 [msec cputime] 15 [msec walltime]
reasoning 0 [msec cputime] 3 [msec walltime]
2020-07-03T08:46:09.442Z in=25 out=4 ent=4 step=4 brake=2 inf=38812 sec=0.046 inf/sec=843739

eye --no-genid http://josd.github.io/eye/reasoning/dt/test-facts.n3 http://josd.github.io/eye/reasoning/dt/test-dt-1000.n3 --query http://josd.github.io/eye/reasoning/dt/test-query.n3
EYE v20.0606.1810 josd
SWI-Prolog version 8.3.3
starting 46 [msec cputime] 62 [msec walltime]
GET http://josd.github.io/eye/reasoning/dt/test-facts.n3 SC=2
GET http://josd.github.io/eye/reasoning/dt/test-dt-1000.n3 SC=3001
GET http://josd.github.io/eye/reasoning/dt/test-query.n3 SC=1
networking 235 [msec cputime] 2069 [msec walltime]
reasoning 234 [msec cputime] 235 [msec walltime]
2020-07-03T08:46:12.029Z in=3004 out=1 ent=2999 step=5998 brake=2 inf=3992195 sec=0.515 inf/sec=7751835

eye --no-genid --nope http://josd.github.io/eye/reasoning/easter/easterP.n3 --query http://josd.github.io/eye/reasoning/easter/easterF.n3
EYE v20.0606.1810 josd
SWI-Prolog version 8.3.3
starting 46 [msec cputime] 61 [msec walltime]
GET http://josd.github.io/eye/reasoning/easter/easterP.n3 SC=28
GET http://josd.github.io/eye/reasoning/easter/easterF.n3 SC=1
networking 16 [msec cputime] 1073 [msec walltime]
reasoning 31 [msec cputime] 15 [msec walltime]
2020-07-03T08:46:13.389Z in=29 out=26 ent=52 step=104 brake=2 inf=98869 sec=0.093 inf/sec=1063108

eye --no-genid http://josd.github.io/eye/reasoning/easter/easterP.n3 --query http://josd.github.io/eye/reasoning/easter/easterF.n3
EYE v20.0606.1810 josd
SWI-Prolog version 8.3.3
starting 31 [msec cputime] 61 [msec walltime]
GET http://josd.github.io/eye/reasoning/easter/easterP.n3 SC=28
GET http://josd.github.io/eye/reasoning/easter/easterF.n3 SC=1
networking 15 [msec cputime] 664 [msec walltime]
reasoning 63 [msec cputime] 62 [msec walltime]
2020-07-03T08:46:14.317Z in=29 out=26 ent=52 step=104 brake=2 inf=513416 sec=0.109 inf/sec=4710239

eye --no-genid http://josd.github.io/eye/reasoning/einstein/einstein.n3 --query http://josd.github.io/eye/reasoning/einstein/einsteinQ.n3
EYE v20.0606.1810 josd
SWI-Prolog version 8.3.3
starting 15 [msec cputime] 61 [msec walltime]
GET http://josd.github.io/eye/reasoning/einstein/einstein.n3 SC=4
GET http://josd.github.io/eye/reasoning/einstein/einsteinQ.n3 SC=1
networking 31 [msec cputime] 6583 [msec walltime]
reasoning 79 [msec cputime] 80 [msec walltime]
2020-07-03T08:46:21.258Z in=5 out=1 ent=2 step=4 brake=2 inf=701284 sec=0.125 inf/sec=5610272

eye --no-genid --nope http://josd.github.io/eye/reasoning/equation4/polynomial.n3 --query http://josd.github.io/eye/reasoning/equation4/query.n3
EYE v20.0606.1810 josd
SWI-Prolog version 8.3.3
starting 31 [msec cputime] 62 [msec walltime]
GET http://josd.github.io/eye/reasoning/equation4/polynomial.n3 SC=1000
GET http://josd.github.io/eye/reasoning/equation4/query.n3 SC=1
networking 250 [msec cputime] 1947 [msec walltime]
reasoning 812 [msec cputime] 919 [msec walltime]
2020-07-03T08:46:24.391Z in=1001 out=1000 ent=1000 step=1000 brake=1 inf=12804767 sec=1.093 inf/sec=11715249

eye --no-genid http://josd.github.io/eye/reasoning/fcm/fcm-plugin.n3 http://josd.github.io/eye/reasoning/fcm/fl-rules.n3 http://josd.github.io/eye/reasoning/fcm/example001P.n3 http://josd.github.io/eye/reasoning/fcm/example002P.n3 --query http://josd.github.io/eye/reasoning/fcm/example003Q.n3
EYE v20.0606.1810 josd
SWI-Prolog version 8.3.3
starting 31 [msec cputime] 64 [msec walltime]
GET http://josd.github.io/eye/reasoning/fcm/fcm-plugin.n3 SC=1
GET http://josd.github.io/eye/reasoning/fcm/fl-rules.n3 SC=53
GET http://josd.github.io/eye/reasoning/fcm/example001P.n3 SC=8
GET http://josd.github.io/eye/reasoning/fcm/example002P.n3 SC=13
GET http://josd.github.io/eye/reasoning/fcm/example003Q.n3 SC=1
networking 31 [msec cputime] 2635 [msec walltime]
reasoning 47 [msec cputime] 44 [msec walltime]
2020-07-03T08:46:27.346Z in=76 out=8 ent=50 step=307 brake=6 inf=550627 sec=0.109 inf/sec=5051624

eye --no-genid http://josd.github.io/eye/reasoning/fgcm/fgcm-plugin.n3 http://josd.github.io/eye/reasoning/fcm/fl-rules.n3 http://josd.github.io/eye/reasoning/fgcm/patient.n3 http://josd.github.io/eye/reasoning/fgcm/fgcm-model.n3 --query http://josd.github.io/eye/reasoning/fgcm/fgcm-query.n3
EYE v20.0606.1810 josd
SWI-Prolog version 8.3.3
starting 31 [msec cputime] 62 [msec walltime]
GET http://josd.github.io/eye/reasoning/fgcm/fgcm-plugin.n3 SC=16
GET http://josd.github.io/eye/reasoning/fcm/fl-rules.n3 SC=53
GET http://josd.github.io/eye/reasoning/fgcm/patient.n3 SC=8
GET http://josd.github.io/eye/reasoning/fgcm/fgcm-model.n3 SC=175
GET http://josd.github.io/eye/reasoning/fgcm/fgcm-query.n3 SC=1
networking 109 [msec cputime] 2755 [msec walltime]
reasoning 125 [msec cputime] 111 [msec walltime]
2020-07-03T08:46:30.483Z in=253 out=18 ent=237 step=1917 brake=5 inf=1212591 sec=0.265 inf/sec=4575815

eye --no-genid http://josd.github.io/eye/reasoning/fib/fib.n3 --query http://josd.github.io/eye/reasoning/fib/fibQ.n3
EYE v20.0606.1810 josd
SWI-Prolog version 8.3.3
starting 46 [msec cputime] 61 [msec walltime]
GET http://josd.github.io/eye/reasoning/fib/fib.n3 SC=4
GET http://josd.github.io/eye/reasoning/fib/fibQ.n3 SC=3
networking 0 [msec cputime] 1220 [msec walltime]
reasoning 110 [msec cputime] 104 [msec walltime]
2020-07-03T08:46:32.079Z in=7 out=3 ent=3 step=3 brake=1 inf=756751 sec=0.156 inf/sec=4850968

eye --no-genid --nope http://josd.github.io/eye/reasoning/fib/fib.n3 --query http://josd.github.io/eye/reasoning/fib/fibQ.n3
EYE v20.0606.1810 josd
SWI-Prolog version 8.3.3
starting 15 [msec cputime] 73 [msec walltime]
GET http://josd.github.io/eye/reasoning/fib/fib.n3 SC=4
GET http://josd.github.io/eye/reasoning/fib/fibQ.n3 SC=3
networking 0 [msec cputime] 782 [msec walltime]
reasoning 16 [msec cputime] 1 [msec walltime]
2020-07-03T08:46:33.078Z in=7 out=3 ent=3 step=3 brake=1 inf=28440 sec=0.031 inf/sec=917419

eye --no-genid http://josd.github.io/eye/reasoning/gedcom/gedcom-facts.n3 http://josd.github.io/eye/reasoning/gedcom/gedcom-relations.n3 http://josd.github.io/eye/reasoning/gedcom/rpo-rules.n3 --query http://josd.github.io/eye/reasoning/gedcom/gedcom-filter.n3
EYE v20.0606.1810 josd
SWI-Prolog version 8.3.3
starting 31 [msec cputime] 63 [msec walltime]
GET http://josd.github.io/eye/reasoning/gedcom/gedcom-facts.n3 SC=82
GET http://josd.github.io/eye/reasoning/gedcom/gedcom-relations.n3 SC=31
GET http://josd.github.io/eye/reasoning/gedcom/rpo-rules.n3 SC=71
GET http://josd.github.io/eye/reasoning/gedcom/gedcom-filter.n3 SC=1
networking 31 [msec cputime] 2297 [msec walltime]
reasoning 63 [msec cputime] 72 [msec walltime]
2020-07-03T08:46:35.729Z in=185 out=6 ent=1591 step=18973 brake=12 inf=874386 sec=0.125 inf/sec=6995088

eye --no-genid http://josd.github.io/eye/reasoning/glass/test.n3 --query http://josd.github.io/eye/reasoning/glass/testQ.n3
EYE v20.0606.1810 josd
SWI-Prolog version 8.3.3
starting 46 [msec cputime] 61 [msec walltime]
GET http://josd.github.io/eye/reasoning/glass/test.n3 SC=3
GET http://josd.github.io/eye/reasoning/glass/testQ.n3 SC=6
networking 0 [msec cputime] 1211 [msec walltime]
reasoning 16 [msec cputime] 5 [msec walltime]
2020-07-03T08:46:37.236Z in=9 out=6 ent=7 step=30 brake=2 inf=49302 sec=0.062 inf/sec=795194

eye --no-genid http://josd.github.io/eye/reasoning/gps/gps-plugin.n3 http://josd.github.io/eye/reasoning/gps/gps-example1.n3 --query http://josd.github.io/eye/reasoning/gps/gps-query1.n3
EYE v20.0606.1810 josd
SWI-Prolog version 8.3.3
starting 31 [msec cputime] 65 [msec walltime]
GET http://josd.github.io/eye/reasoning/gps/gps-plugin.n3 SC=7
GET http://josd.github.io/eye/reasoning/gps/gps-example1.n3 SC=3
GET http://josd.github.io/eye/reasoning/gps/gps-query1.n3 SC=1
networking 15 [msec cputime] 1528 [msec walltime]
reasoning 16 [msec cputime] 10 [msec walltime]
2020-07-03T08:46:39.052Z in=11 out=1 ent=1 step=1 brake=2 inf=127526 sec=0.062 inf/sec=2056871

eye --no-genid http://josd.github.io/eye/reasoning/gps/gps-plugin.n3 http://josd.github.io/eye/reasoning/gps/gps-example2.n3 --query http://josd.github.io/eye/reasoning/gps/gps-query2.n3
EYE v20.0606.1810 josd
SWI-Prolog version 8.3.3
starting 46 [msec cputime] 62 [msec walltime]
GET http://josd.github.io/eye/reasoning/gps/gps-plugin.n3 SC=7
GET http://josd.github.io/eye/reasoning/gps/gps-example2.n3 SC=36
GET http://josd.github.io/eye/reasoning/gps/gps-query2.n3 SC=1
networking 47 [msec cputime] 1370 [msec walltime]
reasoning 297 [msec cputime] 315 [msec walltime]
2020-07-03T08:46:40.957Z in=44 out=10 ent=10 step=10 brake=2 inf=2897469 sec=0.390 inf/sec=7429408

eye --no-genid http://josd.github.io/eye/reasoning/graph/graph.axiom.n3 http://josd.github.io/eye/reasoning/graph/rpo-rules.n3 --query http://josd.github.io/eye/reasoning/graph/graph.filter.n3
EYE v20.0606.1810 josd
SWI-Prolog version 8.3.3
starting 46 [msec cputime] 64 [msec walltime]
GET http://josd.github.io/eye/reasoning/graph/graph.axiom.n3 SC=12
GET http://josd.github.io/eye/reasoning/graph/rpo-rules.n3 SC=76
GET http://josd.github.io/eye/reasoning/graph/graph.filter.n3 SC=1
networking 16 [msec cputime] 1783 [msec walltime]
reasoning 0 [msec cputime] 4 [msec walltime]
2020-07-03T08:46:43.027Z in=89 out=1 ent=24 step=70 brake=2 inf=91174 sec=0.062 inf/sec=1470548

eye --no-genid --turtle http://josd.github.io/eye/reasoning/h2o/hypothesis-001.n3 --turtle http://josd.github.io/eye/reasoning/h2o/data-001.n3 http://josd.github.io/eye/reasoning/h2o/rules-001.n3 --query http://josd.github.io/eye/reasoning/h2o/query-001.n3
EYE v20.0606.1810 josd
SWI-Prolog version 8.3.3
starting 46 [msec cputime] 82 [msec walltime]
GET http://josd.github.io/eye/reasoning/h2o/hypothesis-001.n3 translating file:///tmp/swipl_eye_14128_0
Done: translated 1 triples in 10.5 ms (95 triples/s)
SC=1
GET http://josd.github.io/eye/reasoning/h2o/data-001.n3 translating file:///tmp/swipl_eye_14128_1
Done: translated 7 triples in 11.1 ms (630 triples/s)
SC=7
GET http://josd.github.io/eye/reasoning/h2o/rules-001.n3 SC=1
GET http://josd.github.io/eye/reasoning/h2o/query-001.n3 SC=1
networking 16 [msec cputime] 2121 [msec walltime]
reasoning 0 [msec cputime] 2 [msec walltime]
2020-07-03T08:46:45.446Z in=10 out=1 ent=6 step=12 brake=2 inf=26778 sec=0.062 inf/sec=431903

eye --no-genid --tactic limited-answer 1 http://josd.github.io/eye/reasoning/hanoi/hanoi.n3 --pass
EYE v20.0606.1810 josd
SWI-Prolog version 8.3.3
starting 31 [msec cputime] 62 [msec walltime]
GET http://josd.github.io/eye/reasoning/hanoi/hanoi.n3 SC=3
networking 15 [msec cputime] 504 [msec walltime]
reasoning 0 [msec cputime] 4 [msec walltime]
2020-07-03T08:46:46.243Z in=3 out=1 ent=2 step=2 brake=1 inf=38712 sec=0.046 inf/sec=841565

eye --no-genid http://josd.github.io/eye/reasoning/image/year.n3 http://josd.github.io/eye/reasoning/image/easter.n3 --image ype.pvm
EYE v20.0606.1810 josd
SWI-Prolog version 8.3.3
starting 46 [msec cputime] 65 [msec walltime]
GET http://josd.github.io/eye/reasoning/image/year.n3 SC=2
GET http://josd.github.io/eye/reasoning/image/easter.n3 SC=2
networking 32 [msec cputime] 1060 [msec walltime]
eye --no-genid http://josd.github.io/eye/reasoning/image/year.n3 http://josd.github.io/eye/reasoning/image/easter.n3 --no-genid --query http://josd.github.io/eye/reasoning/image/query.n3
EYE v20.0606.1810 josd
SWI-Prolog version 8.3.3
starting 46 [msec cputime] 61 [msec walltime]
GET http://josd.github.io/eye/reasoning/image/query.n3 SC=1
networking 0 [msec cputime] 465 [msec walltime]
reasoning 204 [msec cputime] 206 [msec walltime]
2020-07-03T08:46:48.615Z in=5 out=101 ent=202 step=404 brake=2 inf=1694539 sec=0.250 inf/sec=6778156

eye --no-genid http://josd.github.io/eye/reasoning/iq/iq.n3 --pass-all
EYE v20.0606.1810 josd
SWI-Prolog version 8.3.3
starting 46 [msec cputime] 66 [msec walltime]
GET http://josd.github.io/eye/reasoning/iq/iq.n3 SC=7
networking 0 [msec cputime] 476 [msec walltime]
reasoning 0 [msec cputime] 6 [msec walltime]
2020-07-03T08:46:49.384Z in=7 out=10 ent=13 step=26 brake=2 inf=59817 sec=0.046 inf/sec=1300370

eye --no-genid http://josd.github.io/eye/reasoning/lldm/lldmD.n3 http://josd.github.io/eye/reasoning/lldm/lldmP.n3 --query http://josd.github.io/eye/reasoning/lldm/lldmF.n3
EYE v20.0606.1810 josd
SWI-Prolog version 8.3.3
starting 46 [msec cputime] 61 [msec walltime]
GET http://josd.github.io/eye/reasoning/lldm/lldmD.n3 SC=9
GET http://josd.github.io/eye/reasoning/lldm/lldmP.n3 SC=158
GET http://josd.github.io/eye/reasoning/lldm/lldmF.n3 SC=1
networking 16 [msec cputime] 1517 [msec walltime]
reasoning 16 [msec cputime] 19 [msec walltime]
2020-07-03T08:46:51.182Z in=168 out=1 ent=39 step=124 brake=4 inf=230196 sec=0.078 inf/sec=2951231

eye --no-genid --wcache http://josd.github.io/eye/reasoning/map . --nope http://josd.github.io/eye/reasoning/map/gps-plugin.n3 http://josd.github.io/eye/reasoning/map/agent1-map.n3 --query http://josd.github.io/eye/reasoning/map/agent1-query.n3
EYE v20.0606.1810 josd
SWI-Prolog version 8.3.3
starting 46 [msec cputime] 73 [msec walltime]
GET http://josd.github.io/eye/reasoning/map/gps-plugin.n3 FROM ./gps-plugin.n3 SC=7
GET http://josd.github.io/eye/reasoning/map/agent1-map.n3 FROM ./agent1-map.n3 SC=2
GET http://josd.github.io/eye/reasoning/map/agent1-query.n3 FROM ./agent1-query.n3 SC=1
networking 0 [msec cputime] 39 [msec walltime]
reasoning 0 [msec cputime] 0 [msec walltime]
2020-07-03T08:46:51.524Z in=10 out=1 ent=1 step=1 brake=2 inf=55198 sec=0.046 inf/sec=1199957

eye --no-genid --wcache http://josd.github.io/eye/reasoning/map . http://josd.github.io/eye/reasoning/map/gps-plugin.n3 http://josd.github.io/eye/reasoning/map/agent1-map.n3 --query http://josd.github.io/eye/reasoning/map/agent1-query.n3
EYE v20.0606.1810 josd
SWI-Prolog version 8.3.3
starting 31 [msec cputime] 64 [msec walltime]
GET http://josd.github.io/eye/reasoning/map/gps-plugin.n3 FROM ./gps-plugin.n3 SC=7
GET http://josd.github.io/eye/reasoning/map/agent1-map.n3 FROM ./agent1-map.n3 SC=2
GET http://josd.github.io/eye/reasoning/map/agent1-query.n3 FROM ./agent1-query.n3 SC=1
networking 31 [msec cputime] 17 [msec walltime]
reasoning 0 [msec cputime] 7 [msec walltime]
2020-07-03T08:46:51.772Z in=10 out=1 ent=1 step=1 brake=2 inf=102568 sec=0.062 inf/sec=1654323

eye --no-genid --wcache http://josd.github.io/eye/reasoning/map . --nope http://josd.github.io/eye/reasoning/map/gps-plugin.n3 http://josd.github.io/eye/reasoning/map/agent2-map.n3 --proof http://josd.github.io/eye/reasoning/map/agent1-proof.n3 --query http://josd.github.io/eye/reasoning/map/agent2-query.n3
EYE v20.0606.1810 josd
SWI-Prolog version 8.3.3
starting 46 [msec cputime] 62 [msec walltime]
GET http://josd.github.io/eye/reasoning/map/gps-plugin.n3 FROM ./gps-plugin.n3 SC=7
GET http://josd.github.io/eye/reasoning/map/agent2-map.n3 FROM ./agent2-map.n3 SC=2
GET http://josd.github.io/eye/reasoning/map/agent1-proof.n3 FROM ./agent1-proof.n3 SC=432
GET http://josd.github.io/eye/reasoning/map/agent2-query.n3 FROM ./agent2-query.n3 SC=1
networking 32 [msec cputime] 70 [msec walltime]
reasoning 0 [msec cputime] 3 [msec walltime]
2020-07-03T08:46:52.080Z in=442 out=1 ent=11 step=82 brake=4 inf=350758 sec=0.078 inf/sec=4496897

eye --no-genid --wcache http://josd.github.io/eye/reasoning/map . http://josd.github.io/eye/reasoning/map/gps-plugin.n3 http://josd.github.io/eye/reasoning/map/agent2-map.n3 --proof http://josd.github.io/eye/reasoning/map/agent1-proof.n3 --query http://josd.github.io/eye/reasoning/map/agent2-query.n3
EYE v20.0606.1810 josd
SWI-Prolog version 8.3.3
starting 46 [msec cputime] 63 [msec walltime]
GET http://josd.github.io/eye/reasoning/map/gps-plugin.n3 FROM ./gps-plugin.n3 SC=7
GET http://josd.github.io/eye/reasoning/map/agent2-map.n3 FROM ./agent2-map.n3 SC=2
GET http://josd.github.io/eye/reasoning/map/agent1-proof.n3 FROM ./agent1-proof.n3 SC=432
GET http://josd.github.io/eye/reasoning/map/agent2-query.n3 FROM ./agent2-query.n3 SC=1
networking 63 [msec cputime] 67 [msec walltime]
reasoning 16 [msec cputime] 14 [msec walltime]
2020-07-03T08:46:52.386Z in=442 out=1 ent=11 step=82 brake=4 inf=441907 sec=0.125 inf/sec=3535256

eye --no-genid http://josd.github.io/eye/reasoning/medic/medic.n3 --query http://josd.github.io/eye/reasoning/medic/medicF.n3
EYE v20.0606.1810 josd
SWI-Prolog version 8.3.3
starting 46 [msec cputime] 60 [msec walltime]
GET http://josd.github.io/eye/reasoning/medic/medic.n3 SC=17
GET http://josd.github.io/eye/reasoning/medic/medicF.n3 SC=1
networking 16 [msec cputime] 1076 [msec walltime]
reasoning 0 [msec cputime] 3 [msec walltime]
2020-07-03T08:46:53.740Z in=18 out=2 ent=4 step=8 brake=4 inf=45360 sec=0.062 inf/sec=731613

eye --no-genid http://josd.github.io/eye/reasoning/mmln/mmln-gv-example.n3 http://josd.github.io/eye/reasoning/mmln/mmln-gv-mln.n3 http://josd.github.io/eye/reasoning/mmln/mmln-plugin.n3 --query http://josd.github.io/eye/reasoning/mmln/mmln-gv-query.n3
EYE v20.0606.1810 josd
SWI-Prolog version 8.3.3
starting 31 [msec cputime] 67 [msec walltime]
GET http://josd.github.io/eye/reasoning/mmln/mmln-gv-example.n3 SC=15
GET http://josd.github.io/eye/reasoning/mmln/mmln-gv-mln.n3 SC=328
GET http://josd.github.io/eye/reasoning/mmln/mmln-plugin.n3 SC=1
GET http://josd.github.io/eye/reasoning/mmln/mmln-gv-query.n3 SC=1
networking 47 [msec cputime] 2105 [msec walltime]
reasoning 172 [msec cputime] 167 [msec walltime]
2020-07-03T08:46:56.290Z in=345 out=47 ent=105 step=332 brake=4 inf=2068831 sec=0.250 inf/sec=8275324

eye --no-genid --wcache http://josd.github.io/eye/reasoning/mq . --turtle http://josd.github.io/eye/reasoning/mq/data.n3 --multi-query
EYE v20.0606.1810 josd
SWI-Prolog version 8.3.3
starting 46 [msec cputime] 79 [msec walltime]
GET http://josd.github.io/eye/reasoning/mq/data.n3 FROM ./data.n3 translating file:///home/jdroo/github.com/josd/eye/reasoning/mq/data.n3
Done: translated 100000 triples in 802.3 ms (124635 triples/s)
SC=100000
networking 813 [msec cputime] 825 [msec walltime]
GET http://josd.github.io/eye/reasoning/mq/queries/query1.n3 FROM ./queries/query1.n3 SC=1
reasoning 31 [msec cputime] 36 [msec walltime]
2020-07-03T08:46:57.488Z mq=1 out=0 inf=3426 sec=0.036 out/sec=0 inf/sec=95167

GET http://josd.github.io/eye/reasoning/mq/queries/query2.n3 FROM ./queries/query2.n3 SC=1
reasoning 16 [msec cputime] 14 [msec walltime]
2020-07-03T08:46:57.503Z mq=2 out=3 inf=15752 sec=0.014 out/sec=214 inf/sec=1125143

GET http://josd.github.io/eye/reasoning/mq/queries/query3.n3 FROM ./queries/query3.n3 SC=1
reasoning 15 [msec cputime] 12 [msec walltime]
2020-07-03T08:46:57.516Z mq=3 out=0 inf=3431 sec=0.012 out/sec=0 inf/sec=285917

GET http://josd.github.io/eye/reasoning/mq/queries/query4.n3 FROM ./queries/query4.n3 SC=1
reasoning 16 [msec cputime] 13 [msec walltime]
2020-07-03T08:46:57.530Z mq=4 out=1 inf=8347 sec=0.013 out/sec=77 inf/sec=642077

GET http://josd.github.io/eye/reasoning/mq/queries/query5.n3 FROM ./queries/query5.n3 SC=1
reasoning 0 [msec cputime] 14 [msec walltime]
2020-07-03T08:46:57.544Z mq=5 out=4 inf=15448 sec=0.014 out/sec=286 inf/sec=1103429

GET http://josd.github.io/eye/reasoning/mq/queries/query6.n3 FROM ./queries/query6.n3 SC=1
reasoning 0 [msec cputime] 12 [msec walltime]
2020-07-03T08:46:57.557Z mq=6 out=0 inf=3432 sec=0.012 out/sec=0 inf/sec=286000

GET http://josd.github.io/eye/reasoning/mq/queries/query7.n3 FROM ./queries/query7.n3 SC=1
reasoning 0 [msec cputime] 15 [msec walltime]
2020-07-03T08:46:57.572Z mq=7 out=2 inf=12083 sec=0.015 out/sec=133 inf/sec=805533

GET http://josd.github.io/eye/reasoning/mq/queries/query8.n3 FROM ./queries/query8.n3 SC=1
reasoning 0 [msec cputime] 12 [msec walltime]
2020-07-03T08:46:57.585Z mq=8 out=1 inf=8318 sec=0.012 out/sec=83 inf/sec=693167

GET http://josd.github.io/eye/reasoning/mq/queries/query9.n3 FROM ./queries/query9.n3 SC=1
reasoning 0 [msec cputime] 12 [msec walltime]
2020-07-03T08:46:57.598Z mq=9 out=1 inf=8460 sec=0.012 out/sec=83 inf/sec=705000

GET http://josd.github.io/eye/reasoning/mq/queries/query10.n3 FROM ./queries/query10.n3 SC=1
reasoning 16 [msec cputime] 13 [msec walltime]
2020-07-03T08:46:57.611Z mq=10 out=3 inf=14184 sec=0.013 out/sec=231 inf/sec=1091077

GET http://josd.github.io/eye/reasoning/mq/queries/query11.n3 FROM ./queries/query11.n3 SC=1
reasoning 15 [msec cputime] 12 [msec walltime]
2020-07-03T08:46:57.624Z mq=11 out=0 inf=3403 sec=0.012 out/sec=0 inf/sec=283583

GET http://josd.github.io/eye/reasoning/mq/queries/query12.n3 FROM ./queries/query12.n3 SC=1
reasoning 0 [msec cputime] 11 [msec walltime]
2020-07-03T08:46:57.636Z mq=12 out=0 inf=3419 sec=0.011 out/sec=0 inf/sec=310818

GET http://josd.github.io/eye/reasoning/mq/queries/query13.n3 FROM ./queries/query13.n3 SC=1
reasoning 0 [msec cputime] 11 [msec walltime]
2020-07-03T08:46:57.647Z mq=13 out=0 inf=3473 sec=0.011 out/sec=0 inf/sec=315727

GET http://josd.github.io/eye/reasoning/mq/queries/query14.n3 FROM ./queries/query14.n3 SC=1
reasoning 0 [msec cputime] 15 [msec walltime]
2020-07-03T08:46:57.663Z mq=14 out=0 inf=3404 sec=0.015 out/sec=0 inf/sec=226933

GET http://josd.github.io/eye/reasoning/mq/queries/query15.n3 FROM ./queries/query15.n3 SC=1
reasoning 0 [msec cputime] 13 [msec walltime]
2020-07-03T08:46:57.677Z mq=15 out=1 inf=8245 sec=0.013 out/sec=77 inf/sec=634231

GET http://josd.github.io/eye/reasoning/mq/queries/query16.n3 FROM ./queries/query16.n3 SC=1
reasoning 16 [msec cputime] 9 [msec walltime]
2020-07-03T08:46:57.687Z mq=16 out=1 inf=7901 sec=0.009 out/sec=111 inf/sec=877889

GET http://josd.github.io/eye/reasoning/mq/queries/query17.n3 FROM ./queries/query17.n3 SC=1
reasoning 0 [msec cputime] 12 [msec walltime]
2020-07-03T08:46:57.700Z mq=17 out=1 inf=8307 sec=0.012 out/sec=83 inf/sec=692250

GET http://josd.github.io/eye/reasoning/mq/queries/query18.n3 FROM ./queries/query18.n3 SC=1
reasoning 0 [msec cputime] 13 [msec walltime]
2020-07-03T08:46:57.714Z mq=18 out=0 inf=3370 sec=0.013 out/sec=0 inf/sec=259231

GET http://josd.github.io/eye/reasoning/mq/queries/query19.n3 FROM ./queries/query19.n3 SC=1
reasoning 0 [msec cputime] 9 [msec walltime]
2020-07-03T08:46:57.723Z mq=19 out=1 inf=8046 sec=0.009 out/sec=111 inf/sec=894000

GET http://josd.github.io/eye/reasoning/mq/queries/query20.n3 FROM ./queries/query20.n3 SC=1
reasoning 0 [msec cputime] 11 [msec walltime]
2020-07-03T08:46:57.735Z mq=20 out=0 inf=3347 sec=0.011 out/sec=0 inf/sec=304273

GET http://josd.github.io/eye/reasoning/mq/queries/query21.n3 FROM ./queries/query21.n3 SC=1
reasoning 0 [msec cputime] 12 [msec walltime]
2020-07-03T08:46:57.747Z mq=21 out=1 inf=8330 sec=0.012 out/sec=83 inf/sec=694167

GET http://josd.github.io/eye/reasoning/mq/queries/query22.n3 FROM ./queries/query22.n3 SC=1
reasoning 0 [msec cputime] 13 [msec walltime]
2020-07-03T08:46:57.761Z mq=22 out=3 inf=15747 sec=0.013 out/sec=231 inf/sec=1211308

GET http://josd.github.io/eye/reasoning/mq/queries/query23.n3 FROM ./queries/query23.n3 SC=1
reasoning 0 [msec cputime] 13 [msec walltime]
2020-07-03T08:46:57.775Z mq=23 out=3 inf=12751 sec=0.013 out/sec=231 inf/sec=980846

GET http://josd.github.io/eye/reasoning/mq/queries/query24.n3 FROM ./queries/query24.n3 SC=1
reasoning 0 [msec cputime] 9 [msec walltime]
2020-07-03T08:46:57.785Z mq=24 out=1 inf=7917 sec=0.009 out/sec=111 inf/sec=879667

GET http://josd.github.io/eye/reasoning/mq/queries/query25.n3 FROM ./queries/query25.n3 SC=1
reasoning 16 [msec cputime] 12 [msec walltime]
2020-07-03T08:46:57.797Z mq=25 out=1 inf=6847 sec=0.012 out/sec=83 inf/sec=570583

GET http://josd.github.io/eye/reasoning/mq/queries/query26.n3 FROM ./queries/query26.n3 SC=1
reasoning 15 [msec cputime] 15 [msec walltime]
2020-07-03T08:46:57.813Z mq=26 out=5 inf=20160 sec=0.015 out/sec=333 inf/sec=1344000

GET http://josd.github.io/eye/reasoning/mq/queries/query27.n3 FROM ./queries/query27.n3 SC=1
reasoning 0 [msec cputime] 12 [msec walltime]
2020-07-03T08:46:57.826Z mq=27 out=0 inf=3434 sec=0.012 out/sec=0 inf/sec=286167

GET http://josd.github.io/eye/reasoning/mq/queries/query28.n3 FROM ./queries/query28.n3 SC=1
reasoning 0 [msec cputime] 10 [msec walltime]
2020-07-03T08:46:57.836Z mq=28 out=1 inf=7934 sec=0.010 out/sec=100 inf/sec=793400

GET http://josd.github.io/eye/reasoning/mq/queries/query29.n3 FROM ./queries/query29.n3 SC=1
reasoning 0 [msec cputime] 11 [msec walltime]
2020-07-03T08:46:57.847Z mq=29 out=0 inf=3341 sec=0.011 out/sec=0 inf/sec=303727

GET http://josd.github.io/eye/reasoning/mq/queries/query30.n3 FROM ./queries/query30.n3 SC=1
reasoning 0 [msec cputime] 11 [msec walltime]
2020-07-03T08:46:57.859Z mq=30 out=0 inf=3438 sec=0.011 out/sec=0 inf/sec=312545

GET http://josd.github.io/eye/reasoning/mq/queries/query31.n3 FROM ./queries/query31.n3 SC=1
reasoning 0 [msec cputime] 11 [msec walltime]
2020-07-03T08:46:57.871Z mq=31 out=0 inf=3444 sec=0.011 out/sec=0 inf/sec=313091

GET http://josd.github.io/eye/reasoning/mq/queries/query32.n3 FROM ./queries/query32.n3 SC=1
reasoning 0 [msec cputime] 12 [msec walltime]
2020-07-03T08:46:57.883Z mq=32 out=1 inf=8318 sec=0.012 out/sec=83 inf/sec=693167

GET http://josd.github.io/eye/reasoning/mq/queries/query33.n3 FROM ./queries/query33.n3 SC=1
reasoning 0 [msec cputime] 8 [msec walltime]
2020-07-03T08:46:57.892Z mq=33 out=0 inf=3407 sec=0.008 out/sec=0 inf/sec=425875

GET http://josd.github.io/eye/reasoning/mq/queries/query34.n3 FROM ./queries/query34.n3 SC=1
reasoning 16 [msec cputime] 14 [msec walltime]
2020-07-03T08:46:57.907Z mq=34 out=1 inf=8386 sec=0.014 out/sec=71 inf/sec=599000

GET http://josd.github.io/eye/reasoning/mq/queries/query35.n3 FROM ./queries/query35.n3 SC=1
reasoning 0 [msec cputime] 13 [msec walltime]
2020-07-03T08:46:57.920Z mq=35 out=1 inf=8303 sec=0.013 out/sec=77 inf/sec=638692

GET http://josd.github.io/eye/reasoning/mq/queries/query36.n3 FROM ./queries/query36.n3 SC=1
reasoning 15 [msec cputime] 7 [msec walltime]
2020-07-03T08:46:57.928Z mq=36 out=0 inf=3438 sec=0.007 out/sec=0 inf/sec=491143

GET http://josd.github.io/eye/reasoning/mq/queries/query37.n3 FROM ./queries/query37.n3 SC=1
reasoning 0 [msec cputime] 11 [msec walltime]
2020-07-03T08:46:57.940Z mq=37 out=0 inf=3410 sec=0.011 out/sec=0 inf/sec=310000

GET http://josd.github.io/eye/reasoning/mq/queries/query38.n3 FROM ./queries/query38.n3 SC=1
reasoning 16 [msec cputime] 14 [msec walltime]
2020-07-03T08:46:57.954Z mq=38 out=1 inf=8400 sec=0.014 out/sec=71 inf/sec=600000

GET http://josd.github.io/eye/reasoning/mq/queries/query39.n3 FROM ./queries/query39.n3 SC=1
reasoning 0 [msec cputime] 8 [msec walltime]
2020-07-03T08:46:57.962Z mq=39 out=1 inf=7893 sec=0.008 out/sec=125 inf/sec=986625

GET http://josd.github.io/eye/reasoning/mq/queries/query40.n3 FROM ./queries/query40.n3 SC=1
reasoning 16 [msec cputime] 12 [msec walltime]
2020-07-03T08:46:57.975Z mq=40 out=1 inf=8290 sec=0.012 out/sec=83 inf/sec=690833

GET http://josd.github.io/eye/reasoning/mq/queries/query41.n3 FROM ./queries/query41.n3 SC=1
reasoning 0 [msec cputime] 11 [msec walltime]
2020-07-03T08:46:57.987Z mq=41 out=0 inf=3419 sec=0.011 out/sec=0 inf/sec=310818

GET http://josd.github.io/eye/reasoning/mq/queries/query42.n3 FROM ./queries/query42.n3 SC=1
reasoning 15 [msec cputime] 16 [msec walltime]
2020-07-03T08:46:58.003Z mq=42 out=5 inf=21587 sec=0.016 out/sec=313 inf/sec=1349188

GET http://josd.github.io/eye/reasoning/mq/queries/query43.n3 FROM ./queries/query43.n3 SC=1
reasoning 16 [msec cputime] 14 [msec walltime]
2020-07-03T08:46:58.018Z mq=43 out=3 inf=14582 sec=0.014 out/sec=214 inf/sec=1041571

GET http://josd.github.io/eye/reasoning/mq/queries/query44.n3 FROM ./queries/query44.n3 SC=1
reasoning 16 [msec cputime] 12 [msec walltime]
2020-07-03T08:46:58.031Z mq=44 out=1 inf=8370 sec=0.012 out/sec=83 inf/sec=697500

GET http://josd.github.io/eye/reasoning/mq/queries/query45.n3 FROM ./queries/query45.n3 SC=1
reasoning 0 [msec cputime] 12 [msec walltime]
2020-07-03T08:46:58.043Z mq=45 out=0 inf=3324 sec=0.012 out/sec=0 inf/sec=277000

GET http://josd.github.io/eye/reasoning/mq/queries/query46.n3 FROM ./queries/query46.n3 SC=1
reasoning 0 [msec cputime] 13 [msec walltime]
2020-07-03T08:46:58.056Z mq=46 out=0 inf=3481 sec=0.013 out/sec=0 inf/sec=267769

GET http://josd.github.io/eye/reasoning/mq/queries/query47.n3 FROM ./queries/query47.n3 SC=1
reasoning 0 [msec cputime] 8 [msec walltime]
2020-07-03T08:46:58.064Z mq=47 out=0 inf=3349 sec=0.008 out/sec=0 inf/sec=418625

GET http://josd.github.io/eye/reasoning/mq/queries/query48.n3 FROM ./queries/query48.n3 SC=1
reasoning 0 [msec cputime] 12 [msec walltime]
2020-07-03T08:46:58.077Z mq=48 out=1 inf=6832 sec=0.012 out/sec=83 inf/sec=569333

GET http://josd.github.io/eye/reasoning/mq/queries/query49.n3 FROM ./queries/query49.n3 SC=1
reasoning 15 [msec cputime] 12 [msec walltime]
2020-07-03T08:46:58.089Z mq=49 out=0 inf=3409 sec=0.012 out/sec=0 inf/sec=284083

GET http://josd.github.io/eye/reasoning/mq/queries/query50.n3 FROM ./queries/query50.n3 SC=1
reasoning 0 [msec cputime] 10 [msec walltime]
2020-07-03T08:46:58.100Z mq=50 out=3 inf=14647 sec=0.010 out/sec=300 inf/sec=1464700

GET http://josd.github.io/eye/reasoning/mq/queries/query51.n3 FROM ./queries/query51.n3 SC=1
reasoning 16 [msec cputime] 8 [msec walltime]
2020-07-03T08:46:58.109Z mq=51 out=1 inf=7901 sec=0.008 out/sec=125 inf/sec=987625

GET http://josd.github.io/eye/reasoning/mq/queries/query52.n3 FROM ./queries/query52.n3 SC=1
reasoning 0 [msec cputime] 12 [msec walltime]
2020-07-03T08:46:58.122Z mq=52 out=1 inf=8279 sec=0.012 out/sec=83 inf/sec=689917

GET http://josd.github.io/eye/reasoning/mq/queries/query53.n3 FROM ./queries/query53.n3 SC=1
reasoning 0 [msec cputime] 14 [msec walltime]
2020-07-03T08:46:58.136Z mq=53 out=2 inf=10604 sec=0.014 out/sec=143 inf/sec=757429

GET http://josd.github.io/eye/reasoning/mq/queries/query54.n3 FROM ./queries/query54.n3 SC=1
reasoning 0 [msec cputime] 11 [msec walltime]
2020-07-03T08:46:58.148Z mq=54 out=0 inf=3387 sec=0.011 out/sec=0 inf/sec=307909

GET http://josd.github.io/eye/reasoning/mq/queries/query55.n3 FROM ./queries/query55.n3 SC=1
reasoning 0 [msec cputime] 17 [msec walltime]
2020-07-03T08:46:58.166Z mq=55 out=5 inf=20087 sec=0.017 out/sec=294 inf/sec=1181588

GET http://josd.github.io/eye/reasoning/mq/queries/query56.n3 FROM ./queries/query56.n3 SC=1
reasoning 15 [msec cputime] 13 [msec walltime]
2020-07-03T08:46:58.179Z mq=56 out=1 inf=8272 sec=0.013 out/sec=77 inf/sec=636308

GET http://josd.github.io/eye/reasoning/mq/queries/query57.n3 FROM ./queries/query57.n3 SC=1
reasoning 0 [msec cputime] 10 [msec walltime]
2020-07-03T08:46:58.190Z mq=57 out=1 inf=6694 sec=0.010 out/sec=100 inf/sec=669400

GET http://josd.github.io/eye/reasoning/mq/queries/query58.n3 FROM ./queries/query58.n3 SC=1
reasoning 16 [msec cputime] 11 [msec walltime]
2020-07-03T08:46:58.202Z mq=58 out=0 inf=3467 sec=0.011 out/sec=0 inf/sec=315182

GET http://josd.github.io/eye/reasoning/mq/queries/query59.n3 FROM ./queries/query59.n3 SC=1
reasoning 0 [msec cputime] 13 [msec walltime]
2020-07-03T08:46:58.215Z mq=59 out=2 inf=10523 sec=0.013 out/sec=154 inf/sec=809462

GET http://josd.github.io/eye/reasoning/mq/queries/query60.n3 FROM ./queries/query60.n3 SC=1
reasoning 0 [msec cputime] 13 [msec walltime]
2020-07-03T08:46:58.229Z mq=60 out=3 inf=14253 sec=0.013 out/sec=231 inf/sec=1096385

GET http://josd.github.io/eye/reasoning/mq/queries/query61.n3 FROM ./queries/query61.n3 SC=1
reasoning 0 [msec cputime] 11 [msec walltime]
2020-07-03T08:46:58.240Z mq=61 out=0 inf=3403 sec=0.011 out/sec=0 inf/sec=309364

GET http://josd.github.io/eye/reasoning/mq/queries/query62.n3 FROM ./queries/query62.n3 SC=1
reasoning 16 [msec cputime] 11 [msec walltime]
2020-07-03T08:46:58.252Z mq=62 out=5 inf=18919 sec=0.011 out/sec=455 inf/sec=1719909

GET http://josd.github.io/eye/reasoning/mq/queries/query63.n3 FROM ./queries/query63.n3 SC=1
reasoning 0 [msec cputime] 7 [msec walltime]
2020-07-03T08:46:58.260Z mq=63 out=0 inf=3403 sec=0.007 out/sec=0 inf/sec=486143

GET http://josd.github.io/eye/reasoning/mq/queries/query64.n3 FROM ./queries/query64.n3 SC=1
reasoning 0 [msec cputime] 8 [msec walltime]
2020-07-03T08:46:58.268Z mq=64 out=0 inf=3481 sec=0.008 out/sec=0 inf/sec=435125

GET http://josd.github.io/eye/reasoning/mq/queries/query65.n3 FROM ./queries/query65.n3 SC=1
reasoning 15 [msec cputime] 11 [msec walltime]
2020-07-03T08:46:58.280Z mq=65 out=1 inf=6694 sec=0.011 out/sec=91 inf/sec=608545

GET http://josd.github.io/eye/reasoning/mq/queries/query66.n3 FROM ./queries/query66.n3 SC=1
reasoning 0 [msec cputime] 9 [msec walltime]
2020-07-03T08:46:58.290Z mq=66 out=2 inf=10121 sec=0.009 out/sec=222 inf/sec=1124556

GET http://josd.github.io/eye/reasoning/mq/queries/query67.n3 FROM ./queries/query67.n3 SC=1
reasoning 0 [msec cputime] 7 [msec walltime]
2020-07-03T08:46:58.298Z mq=67 out=0 inf=3432 sec=0.007 out/sec=0 inf/sec=490286

GET http://josd.github.io/eye/reasoning/mq/queries/query68.n3 FROM ./queries/query68.n3 SC=1
reasoning 0 [msec cputime] 9 [msec walltime]
2020-07-03T08:46:58.307Z mq=68 out=1 inf=7957 sec=0.009 out/sec=111 inf/sec=884111

GET http://josd.github.io/eye/reasoning/mq/queries/query69.n3 FROM ./queries/query69.n3 SC=1
reasoning 16 [msec cputime] 15 [msec walltime]
2020-07-03T08:46:58.322Z mq=69 out=2 inf=11938 sec=0.015 out/sec=133 inf/sec=795867

GET http://josd.github.io/eye/reasoning/mq/queries/query70.n3 FROM ./queries/query70.n3 SC=1
reasoning 0 [msec cputime] 11 [msec walltime]
2020-07-03T08:46:58.334Z mq=70 out=0 inf=3382 sec=0.011 out/sec=0 inf/sec=307455

GET http://josd.github.io/eye/reasoning/mq/queries/query71.n3 FROM ./queries/query71.n3 SC=1
reasoning 0 [msec cputime] 14 [msec walltime]
2020-07-03T08:46:58.348Z mq=71 out=3 inf=14296 sec=0.014 out/sec=214 inf/sec=1021143

GET http://josd.github.io/eye/reasoning/mq/queries/query72.n3 FROM ./queries/query72.n3 SC=1
reasoning 16 [msec cputime] 13 [msec walltime]
2020-07-03T08:46:58.362Z mq=72 out=3 inf=12740 sec=0.013 out/sec=231 inf/sec=980000

GET http://josd.github.io/eye/reasoning/mq/queries/query73.n3 FROM ./queries/query73.n3 SC=1
reasoning 15 [msec cputime] 13 [msec walltime]
2020-07-03T08:46:58.376Z mq=73 out=2 inf=10556 sec=0.013 out/sec=154 inf/sec=812000

GET http://josd.github.io/eye/reasoning/mq/queries/query74.n3 FROM ./queries/query74.n3 SC=1
reasoning 16 [msec cputime] 13 [msec walltime]
2020-07-03T08:46:58.389Z mq=74 out=1 inf=8323 sec=0.013 out/sec=77 inf/sec=640231

GET http://josd.github.io/eye/reasoning/mq/queries/query75.n3 FROM ./queries/query75.n3 SC=1
reasoning 0 [msec cputime] 8 [msec walltime]
2020-07-03T08:46:58.398Z mq=75 out=1 inf=6708 sec=0.008 out/sec=125 inf/sec=838500

GET http://josd.github.io/eye/reasoning/mq/queries/query76.n3 FROM ./queries/query76.n3 SC=1
reasoning 0 [msec cputime] 12 [msec walltime]
2020-07-03T08:46:58.410Z mq=76 out=1 inf=8348 sec=0.012 out/sec=83 inf/sec=695667

GET http://josd.github.io/eye/reasoning/mq/queries/query77.n3 FROM ./queries/query77.n3 SC=1
reasoning 0 [msec cputime] 9 [msec walltime]
2020-07-03T08:46:58.420Z mq=77 out=1 inf=7905 sec=0.009 out/sec=111 inf/sec=878333

GET http://josd.github.io/eye/reasoning/mq/queries/query78.n3 FROM ./queries/query78.n3 SC=1
reasoning 0 [msec cputime] 15 [msec walltime]
2020-07-03T08:46:58.436Z mq=78 out=5 inf=18679 sec=0.015 out/sec=333 inf/sec=1245267

GET http://josd.github.io/eye/reasoning/mq/queries/query79.n3 FROM ./queries/query79.n3 SC=1
reasoning 15 [msec cputime] 12 [msec walltime]
2020-07-03T08:46:58.448Z mq=79 out=3 inf=14645 sec=0.012 out/sec=250 inf/sec=1220417

GET http://josd.github.io/eye/reasoning/mq/queries/query80.n3 FROM ./queries/query80.n3 SC=1
reasoning 0 [msec cputime] 13 [msec walltime]
2020-07-03T08:46:58.462Z mq=80 out=0 inf=3425 sec=0.013 out/sec=0 inf/sec=263462

GET http://josd.github.io/eye/reasoning/mq/queries/query81.n3 FROM ./queries/query81.n3 SC=1
reasoning 0 [msec cputime] 9 [msec walltime]
2020-07-03T08:46:58.471Z mq=81 out=0 inf=3407 sec=0.009 out/sec=0 inf/sec=378556

GET http://josd.github.io/eye/reasoning/mq/queries/query82.n3 FROM ./queries/query82.n3 SC=1
reasoning 16 [msec cputime] 11 [msec walltime]
2020-07-03T08:46:58.483Z mq=82 out=0 inf=3408 sec=0.011 out/sec=0 inf/sec=309818

GET http://josd.github.io/eye/reasoning/mq/queries/query83.n3 FROM ./queries/query83.n3 SC=1
reasoning 0 [msec cputime] 14 [msec walltime]
2020-07-03T08:46:58.498Z mq=83 out=2 inf=10538 sec=0.014 out/sec=143 inf/sec=752714

GET http://josd.github.io/eye/reasoning/mq/queries/query84.n3 FROM ./queries/query84.n3 SC=1
reasoning 0 [msec cputime] 7 [msec walltime]
2020-07-03T08:46:58.506Z mq=84 out=0 inf=3419 sec=0.007 out/sec=0 inf/sec=488429

GET http://josd.github.io/eye/reasoning/mq/queries/query85.n3 FROM ./queries/query85.n3 SC=1
reasoning 0 [msec cputime] 11 [msec walltime]
2020-07-03T08:46:58.517Z mq=85 out=0 inf=3474 sec=0.011 out/sec=0 inf/sec=315818

GET http://josd.github.io/eye/reasoning/mq/queries/query86.n3 FROM ./queries/query86.n3 SC=1
reasoning 0 [msec cputime] 11 [msec walltime]
2020-07-03T08:46:58.529Z mq=86 out=1 inf=8374 sec=0.011 out/sec=91 inf/sec=761273

GET http://josd.github.io/eye/reasoning/mq/queries/query87.n3 FROM ./queries/query87.n3 SC=1
reasoning 0 [msec cputime] 12 [msec walltime]
2020-07-03T08:46:58.542Z mq=87 out=0 inf=3423 sec=0.012 out/sec=0 inf/sec=285250

GET http://josd.github.io/eye/reasoning/mq/queries/query88.n3 FROM ./queries/query88.n3 SC=1
reasoning 0 [msec cputime] 13 [msec walltime]
2020-07-03T08:46:58.555Z mq=88 out=1 inf=8324 sec=0.013 out/sec=77 inf/sec=640308

GET http://josd.github.io/eye/reasoning/mq/queries/query89.n3 FROM ./queries/query89.n3 SC=1
reasoning 0 [msec cputime] 9 [msec walltime]
2020-07-03T08:46:58.565Z mq=89 out=1 inf=7960 sec=0.009 out/sec=111 inf/sec=884444

GET http://josd.github.io/eye/reasoning/mq/queries/query90.n3 FROM ./queries/query90.n3 SC=1
reasoning 0 [msec cputime] 8 [msec walltime]
2020-07-03T08:46:58.574Z mq=90 out=1 inf=7957 sec=0.008 out/sec=125 inf/sec=994625

GET http://josd.github.io/eye/reasoning/mq/queries/query91.n3 FROM ./queries/query91.n3 SC=1
reasoning 0 [msec cputime] 8 [msec walltime]
2020-07-03T08:46:58.582Z mq=91 out=0 inf=3382 sec=0.008 out/sec=0 inf/sec=422750

GET http://josd.github.io/eye/reasoning/mq/queries/query92.n3 FROM ./queries/query92.n3 SC=1
reasoning 16 [msec cputime] 11 [msec walltime]
2020-07-03T08:46:58.593Z mq=92 out=0 inf=3380 sec=0.011 out/sec=0 inf/sec=307273

GET http://josd.github.io/eye/reasoning/mq/queries/query93.n3 FROM ./queries/query93.n3 SC=1
reasoning 0 [msec cputime] 12 [msec walltime]
2020-07-03T08:46:58.606Z mq=93 out=1 inf=8403 sec=0.012 out/sec=83 inf/sec=700250

GET http://josd.github.io/eye/reasoning/mq/queries/query94.n3 FROM ./queries/query94.n3 SC=1
reasoning 0 [msec cputime] 14 [msec walltime]
2020-07-03T08:46:58.621Z mq=94 out=2 inf=11978 sec=0.014 out/sec=143 inf/sec=855571

GET http://josd.github.io/eye/reasoning/mq/queries/query95.n3 FROM ./queries/query95.n3 SC=1
reasoning 15 [msec cputime] 8 [msec walltime]
2020-07-03T08:46:58.629Z mq=95 out=0 inf=3437 sec=0.008 out/sec=0 inf/sec=429625

GET http://josd.github.io/eye/reasoning/mq/queries/query96.n3 FROM ./queries/query96.n3 SC=1
reasoning 0 [msec cputime] 9 [msec walltime]
2020-07-03T08:46:58.639Z mq=96 out=1 inf=7905 sec=0.009 out/sec=111 inf/sec=878333

GET http://josd.github.io/eye/reasoning/mq/queries/query97.n3 FROM ./queries/query97.n3 SC=1
reasoning 0 [msec cputime] 11 [msec walltime]
2020-07-03T08:46:58.650Z mq=97 out=2 inf=11248 sec=0.011 out/sec=182 inf/sec=1022545

GET http://josd.github.io/eye/reasoning/mq/queries/query98.n3 FROM ./queries/query98.n3 SC=1
reasoning 16 [msec cputime] 14 [msec walltime]
2020-07-03T08:46:58.665Z mq=98 out=5 inf=18642 sec=0.014 out/sec=357 inf/sec=1331571

GET http://josd.github.io/eye/reasoning/mq/queries/query99.n3 FROM ./queries/query99.n3 SC=1
reasoning 0 [msec cputime] 7 [msec walltime]
2020-07-03T08:46:58.673Z mq=99 out=0 inf=3324 sec=0.007 out/sec=0 inf/sec=474857

GET http://josd.github.io/eye/reasoning/mq/queries/query100.n3 FROM ./queries/query100.n3 SC=1
reasoning 0 [msec cputime] 11 [msec walltime]
2020-07-03T08:46:58.684Z mq=100 out=0 inf=3389 sec=0.011 out/sec=0 inf/sec=308091

2020-07-03T08:46:58.684Z in=100100 out=117 ent=117 step=117 brake=100 inf=5607125 sec=1.359 inf/sec=4125920

eye --nope example.n3 --pass
EYE v20.0606.1810 josd
SWI-Prolog version 8.3.3
starting 31 [msec cputime] 62 [msec walltime]
GET file:///home/jdroo/github.com/josd/eye/reasoning/n3*/example.n3 SC=8
networking 0 [msec cputime] 12 [msec walltime]
reasoning 0 [msec cputime] 0 [msec walltime]
2020-07-03T08:46:58.980Z in=8 out=8 ent=5 step=12 brake=2 inf=19736 sec=0.031 inf/sec=636645

eye --no-genid --nope http://josd.github.io/eye/reasoning/n3c/components.n3 --turtle http://josd.github.io/eye/reasoning/n3c/tasks.n3 --query http://josd.github.io/eye/reasoning/n3c/notIn_query.n3
EYE v20.0606.1810 josd
SWI-Prolog version 8.3.3
starting 31 [msec cputime] 83 [msec walltime]
GET http://josd.github.io/eye/reasoning/n3c/components.n3 SC=2
GET http://josd.github.io/eye/reasoning/n3c/tasks.n3 translating file:///tmp/swipl_eye_14301_1
Done: translated 2 triples in 9.6 ms (208 triples/s)
SC=2
GET http://josd.github.io/eye/reasoning/n3c/notIn_query.n3 SC=1
networking 15 [msec cputime] 1549 [msec walltime]
GET http://josd.github.io/eye/reasoning/n3c/tasks.n3 SC=2
reasoning 0 [msec cputime] 335 [msec walltime]
2020-07-03T08:47:01.169Z in=7 out=2 ent=2 step=2 brake=1 inf=20725 sec=0.046 inf/sec=450543

eye --no-genid --nope http://josd.github.io/eye/reasoning/n3c/components.n3 --turtle http://josd.github.io/eye/reasoning/n3c/tasks.n3 --query http://josd.github.io/eye/reasoning/n3c/forAllIn_query.n3
EYE v20.0606.1810 josd
SWI-Prolog version 8.3.3
starting 46 [msec cputime] 80 [msec walltime]
GET http://josd.github.io/eye/reasoning/n3c/components.n3 SC=2
GET http://josd.github.io/eye/reasoning/n3c/tasks.n3 translating file:///tmp/swipl_eye_14323_1
Done: translated 2 triples in 6.5 ms (306 triples/s)
SC=2
GET http://josd.github.io/eye/reasoning/n3c/forAllIn_query.n3 SC=1
networking 0 [msec cputime] 1086 [msec walltime]
GET http://josd.github.io/eye/reasoning/n3c/subtasks.n3 SC=9
reasoning 0 [msec cputime] 489 [msec walltime]
2020-07-03T08:47:02.965Z in=14 out=1 ent=1 step=1 brake=1 inf=23655 sec=0.046 inf/sec=514239

eye --no-genid http://josd.github.io/eye/reasoning/n3c/components.n3 --turtle http://josd.github.io/eye/reasoning/n3c/tasks.n3 --query http://josd.github.io/eye/reasoning/n3c/notIn_query.n3
EYE v20.0606.1810 josd
SWI-Prolog version 8.3.3
starting 31 [msec cputime] 80 [msec walltime]
GET http://josd.github.io/eye/reasoning/n3c/components.n3 SC=2
GET http://josd.github.io/eye/reasoning/n3c/tasks.n3 translating file:///tmp/swipl_eye_14345_1
Done: translated 2 triples in 6.7 ms (297 triples/s)
SC=2
GET http://josd.github.io/eye/reasoning/n3c/notIn_query.n3 SC=1
networking 15 [msec cputime] 988 [msec walltime]
GET http://josd.github.io/eye/reasoning/n3c/tasks.n3 SC=2
reasoning 16 [msec cputime] 308 [msec walltime]
2020-07-03T08:47:04.484Z in=7 out=2 ent=2 step=2 brake=1 inf=30921 sec=0.062 inf/sec=498726

eye --no-genid http://josd.github.io/eye/reasoning/n3c/components.n3 --turtle http://josd.github.io/eye/reasoning/n3c/tasks.n3 --query http://josd.github.io/eye/reasoning/n3c/forAllIn_query.n3
EYE v20.0606.1810 josd
SWI-Prolog version 8.3.3
starting 31 [msec cputime] 93 [msec walltime]
GET http://josd.github.io/eye/reasoning/n3c/components.n3 SC=2
GET http://josd.github.io/eye/reasoning/n3c/tasks.n3 translating file:///tmp/swipl_eye_14367_1
Done: translated 2 triples in 8.1 ms (246 triples/s)
SC=2
GET http://josd.github.io/eye/reasoning/n3c/forAllIn_query.n3 SC=1
networking 47 [msec cputime] 1043 [msec walltime]
GET http://josd.github.io/eye/reasoning/n3c/subtasks.n3 SC=9
reasoning 31 [msec cputime] 316 [msec walltime]
2020-07-03T08:47:06.108Z in=14 out=1 ent=1 step=1 brake=1 inf=37033 sec=0.109 inf/sec=339752

eye --no-genid http://josd.github.io/eye/reasoning/nbbn/nbbn-plugin.n3 http://josd.github.io/eye/reasoning/nbbn/nbbn-model.n3 --query http://josd.github.io/eye/reasoning/nbbn/nbbn-query.n3
EYE v20.0606.1810 josd
SWI-Prolog version 8.3.3
starting 46 [msec cputime] 63 [msec walltime]
GET http://josd.github.io/eye/reasoning/nbbn/nbbn-plugin.n3 SC=13
GET http://josd.github.io/eye/reasoning/nbbn/nbbn-model.n3 SC=5
GET http://josd.github.io/eye/reasoning/nbbn/nbbn-query.n3 SC=1
networking 32 [msec cputime] 1622 [msec walltime]
reasoning 0 [msec cputime] 6 [msec walltime]
2020-07-03T08:47:08.038Z in=19 out=1 ent=1 step=1 brake=2 inf=125894 sec=0.078 inf/sec=1614026

eye --no-genid http://josd.github.io/eye/reasoning/pi/pi.n3 --query http://josd.github.io/eye/reasoning/pi/pi-query.n3
EYE v20.0606.1810 josd
SWI-Prolog version 8.3.3
starting 31 [msec cputime] 65 [msec walltime]
GET http://josd.github.io/eye/reasoning/pi/pi.n3 SC=3
GET http://josd.github.io/eye/reasoning/pi/pi-query.n3 SC=1
networking 31 [msec cputime] 1200 [msec walltime]
reasoning 531 [msec cputime] 552 [msec walltime]
2020-07-03T08:47:10.056Z in=4 out=1 ent=1 step=1 brake=1 inf=4409103 sec=0.593 inf/sec=7435250

eye --no-genid http://josd.github.io/eye/reasoning/pptbank/bankSW.n3 http://josd.github.io/eye/reasoning/pptbank/checking.n3 --query http://josd.github.io/eye/reasoning/pptbank/query.n3
EYE v20.0606.1810 josd
SWI-Prolog version 8.3.3
starting 31 [msec cputime] 62 [msec walltime]
GET http://josd.github.io/eye/reasoning/pptbank/bankSW.n3 SC=3
GET http://josd.github.io/eye/reasoning/pptbank/checking.n3 SC=1
GET http://josd.github.io/eye/reasoning/pptbank/query.n3 SC=1
networking 31 [msec cputime] 1484 [msec walltime]
GET http://josd.github.io/eye/reasoning/pptbank/acct3start.n3 SC=2
GET http://josd.github.io/eye/reasoning/pptbank/acct3check1.n3 SC=5
GET http://josd.github.io/eye/reasoning/pptbank/acct3check2.n3 SC=5
reasoning 16 [msec cputime] 1577 [msec walltime]
2020-07-03T08:47:13.403Z in=17 out=1 ent=2 step=4 brake=4 inf=46184 sec=0.078 inf/sec=592103

eye --no-genid --nope palindrome.n3 palindrome-declarations.n3 preduction-plugin.n3 --query palindrome-preduction.n3
EYE v20.0606.1810 josd
SWI-Prolog version 8.3.3
starting 46 [msec cputime] 60 [msec walltime]
GET file:///home/jdroo/github.com/josd/eye/reasoning/preduction/palindrome.n3 SC=9
GET file:///home/jdroo/github.com/josd/eye/reasoning/preduction/palindrome-declarations.n3 SC=5
GET file:///home/jdroo/github.com/josd/eye/reasoning/preduction/preduction-plugin.n3 SC=9
GET file:///home/jdroo/github.com/josd/eye/reasoning/preduction/palindrome-preduction.n3 SC=1
networking 0 [msec cputime] 55 [msec walltime]
reasoning 16 [msec cputime] 1 [msec walltime]
2020-07-03T08:47:13.765Z in=24 out=6 ent=6 step=6 brake=1 inf=58985 sec=0.062 inf/sec=951371

eye --no-genid http://josd.github.io/eye/reasoning/preduction/palindrome.n3 --query http://josd.github.io/eye/reasoning/preduction/palindrome-query.n3
EYE v20.0606.1810 josd
SWI-Prolog version 8.3.3
starting 46 [msec cputime] 63 [msec walltime]
GET http://josd.github.io/eye/reasoning/preduction/palindrome.n3 SC=9
GET http://josd.github.io/eye/reasoning/preduction/palindrome-query.n3 SC=1
networking 32 [msec cputime] 1328 [msec walltime]
reasoning 31 [msec cputime] 32 [msec walltime]
2020-07-03T08:47:15.335Z in=10 out=1 ent=1 step=1 brake=1 inf=229322 sec=0.109 inf/sec=2103872

eye --no-genid http://josd.github.io/eye/reasoning/preduction/palindrome2.n3 --query http://josd.github.io/eye/reasoning/preduction/palindrome2-query.n3
EYE v20.0606.1810 josd
SWI-Prolog version 8.3.3
starting 46 [msec cputime] 61 [msec walltime]
GET http://josd.github.io/eye/reasoning/preduction/palindrome2.n3 SC=6
GET http://josd.github.io/eye/reasoning/preduction/palindrome2-query.n3 SC=1
networking 16 [msec cputime] 961 [msec walltime]
reasoning 16 [msec cputime] 16 [msec walltime]
2020-07-03T08:47:16.531Z in=7 out=1 ent=1 step=1 brake=1 inf=162304 sec=0.078 inf/sec=2080821

eye --no-genid --nope food.n3 food-declarations.n3 preduction-plugin.n3 --query food-preduction.n3
EYE v20.0606.1810 josd
SWI-Prolog version 8.3.3
starting 46 [msec cputime] 63 [msec walltime]
GET file:///home/jdroo/github.com/josd/eye/reasoning/preduction/food.n3 SC=35
GET file:///home/jdroo/github.com/josd/eye/reasoning/preduction/food-declarations.n3 SC=1
GET file:///home/jdroo/github.com/josd/eye/reasoning/preduction/preduction-plugin.n3 SC=9
GET file:///home/jdroo/github.com/josd/eye/reasoning/preduction/food-preduction.n3 SC=1
networking 0 [msec cputime] 45 [msec walltime]
GET http://josd.github.io/eye/reasoning/rpo/rdfs-subClassOf.n3 SC=4
reasoning 0 [msec cputime] 499 [msec walltime]
2020-07-03T08:47:17.302Z in=50 out=35 ent=35 step=35 brake=1 inf=97522 sec=0.046 inf/sec=2120043

eye --no-genid http://josd.github.io/eye/reasoning/preduction/food-example.n3 http://josd.github.io/eye/reasoning/preduction/food.n3 http://josd.github.io/eye/reasoning/rpo/rdfs-subClassOf.n3 --query http://josd.github.io/eye/reasoning/preduction/food-query.n3
EYE v20.0606.1810 josd
SWI-Prolog version 8.3.3
starting 46 [msec cputime] 66 [msec walltime]
GET http://josd.github.io/eye/reasoning/preduction/food-example.n3 SC=5
GET http://josd.github.io/eye/reasoning/preduction/food.n3 SC=35
GET http://josd.github.io/eye/reasoning/rpo/rdfs-subClassOf.n3 SC=4
GET http://josd.github.io/eye/reasoning/preduction/food-query.n3 SC=1
networking 16 [msec cputime] 2025 [msec walltime]
reasoning 0 [msec cputime] 9 [msec walltime]
2020-07-03T08:47:19.545Z in=45 out=16 ent=91 step=338 brake=3 inf=95064 sec=0.062 inf/sec=1533290

eye --no-genid http://josd.github.io/eye/reasoning/preduction/food-example.n3 http://josd.github.io/eye/reasoning/preduction/food2.n3 --query http://josd.github.io/eye/reasoning/preduction/food-query.n3
EYE v20.0606.1810 josd
SWI-Prolog version 8.3.3
starting 46 [msec cputime] 64 [msec walltime]
GET http://josd.github.io/eye/reasoning/preduction/food-example.n3 SC=5
GET http://josd.github.io/eye/reasoning/preduction/food2.n3 SC=35
GET http://josd.github.io/eye/reasoning/preduction/food-query.n3 SC=1
networking 0 [msec cputime] 1263 [msec walltime]
reasoning 16 [msec cputime] 10 [msec walltime]
2020-07-03T08:47:21.047Z in=41 out=16 ent=27 step=115 brake=5 inf=85173 sec=0.062 inf/sec=1373758

eye --no-genid --tactic limited-answer 1 http://josd.github.io/eye/reasoning/resto/resto.n3 --query http://josd.github.io/eye/reasoning/resto/restoG.n3
EYE v20.0606.1810 josd
SWI-Prolog version 8.3.3
starting 31 [msec cputime] 62 [msec walltime]
GET http://josd.github.io/eye/reasoning/resto/resto.n3 SC=9
GET http://josd.github.io/eye/reasoning/resto/restoG.n3 SC=1
networking 15 [msec cputime] 1108 [msec walltime]
reasoning 0 [msec cputime] 7 [msec walltime]
2020-07-03T08:47:22.461Z in=10 out=4 ent=47 step=7 brake=1 inf=94847 sec=0.046 inf/sec=2061891

eye --no-genid --tactic limited-answer 1 http://josd.github.io/eye/reasoning/restpath/initial.n3 http://josd.github.io/eye/reasoning/restpath/path-9-3.n3 --query http://josd.github.io/eye/reasoning/restpath/goal.n3
EYE v20.0606.1810 josd
SWI-Prolog version 8.3.3
starting 46 [msec cputime] 63 [msec walltime]
GET http://josd.github.io/eye/reasoning/restpath/initial.n3 SC=1
GET http://josd.github.io/eye/reasoning/restpath/path-9-3.n3 SC=9
GET http://josd.github.io/eye/reasoning/restpath/goal.n3 SC=1
networking 47 [msec cputime] 1468 [msec walltime]
reasoning 16 [msec cputime] 10 [msec walltime]
2020-07-03T08:47:24.219Z in=11 out=1 ent=209 step=218 brake=1 inf=109884 sec=0.109 inf/sec=1008110

eye --no-genid http://josd.github.io/eye/reasoning/rgb/redgraph001.n3 --query http://josd.github.io/eye/reasoning/rgb/greenquery001.n3
EYE v20.0606.1810 josd
SWI-Prolog version 8.3.3
starting 31 [msec cputime] 63 [msec walltime]
GET http://josd.github.io/eye/reasoning/rgb/redgraph001.n3 SC=3
GET http://josd.github.io/eye/reasoning/rgb/greenquery001.n3 SC=2
networking 15 [msec cputime] 1159 [msec walltime]
reasoning 0 [msec cputime] 2 [msec walltime]
2020-07-03T08:47:25.674Z in=5 out=2 ent=2 step=2 brake=1 inf=20187 sec=0.046 inf/sec=438848

eye --no-genid http://josd.github.io/eye/reasoning/rgb/redgraph002.n3 --query http://josd.github.io/eye/reasoning/rgb/greenquery002.n3
EYE v20.0606.1810 josd
SWI-Prolog version 8.3.3
starting 46 [msec cputime] 60 [msec walltime]
GET http://josd.github.io/eye/reasoning/rgb/redgraph002.n3 SC=3
GET http://josd.github.io/eye/reasoning/rgb/greenquery002.n3 SC=2
networking 47 [msec cputime] 1053 [msec walltime]
reasoning 0 [msec cputime] 2 [msec walltime]
2020-07-03T08:47:26.954Z in=5 out=2 ent=2 step=2 brake=1 inf=20165 sec=0.093 inf/sec=216828

eye --no-genid http://josd.github.io/eye/reasoning/rgb/redgraph003.n3 --query http://josd.github.io/eye/reasoning/rgb/greenquery003.n3
EYE v20.0606.1810 josd
SWI-Prolog version 8.3.3
starting 46 [msec cputime] 61 [msec walltime]
GET http://josd.github.io/eye/reasoning/rgb/redgraph003.n3 SC=3
GET http://josd.github.io/eye/reasoning/rgb/greenquery003.n3 SC=2
networking 0 [msec cputime] 1304 [msec walltime]
reasoning 0 [msec cputime] 1 [msec walltime]
2020-07-03T08:47:28.482Z in=5 out=2 ent=2 step=2 brake=1 inf=19277 sec=0.046 inf/sec=419065

eye --no-genid http://josd.github.io/eye/reasoning/rif/rifP.n3 --query http://josd.github.io/eye/reasoning/rif/rifQ.n3
EYE v20.0606.1810 josd
SWI-Prolog version 8.3.3
starting 31 [msec cputime] 63 [msec walltime]
GET http://josd.github.io/eye/reasoning/rif/rifP.n3 SC=222
GET http://josd.github.io/eye/reasoning/rif/rifQ.n3 SC=2
networking 78 [msec cputime] 1086 [msec walltime]
reasoning 156 [msec cputime] 164 [msec walltime]
2020-07-03T08:47:30.014Z in=224 out=222 ent=443 step=1776 brake=4 inf=1851765 sec=0.265 inf/sec=6987792

eye --no-genid http://josd.github.io/eye/reasoning/rpo/food-example.n3 http://josd.github.io/eye/reasoning/rpo/food.n3 http://josd.github.io/eye/reasoning/rpo/rdfs-subClassOf.n3 --query http://josd.github.io/eye/reasoning/rpo/food-query.n3
EYE v20.0606.1810 josd
SWI-Prolog version 8.3.3
starting 46 [msec cputime] 66 [msec walltime]
GET http://josd.github.io/eye/reasoning/rpo/food-example.n3 SC=5
GET http://josd.github.io/eye/reasoning/rpo/food.n3 SC=35
GET http://josd.github.io/eye/reasoning/rpo/rdfs-subClassOf.n3 SC=4
GET http://josd.github.io/eye/reasoning/rpo/food-query.n3 SC=1
networking 63 [msec cputime] 1961 [msec walltime]
reasoning 0 [msec cputime] 8 [msec walltime]
2020-07-03T08:47:32.262Z in=45 out=16 ent=91 step=338 brake=3 inf=95708 sec=0.109 inf/sec=878055

eye --no-genid --tactic limited-answer 1 http://josd.github.io/eye/reasoning/rs/randomsample-rule.n3 --query http://josd.github.io/eye/reasoning/rs/randomsample-query.n3
EYE v20.0606.1810 josd
SWI-Prolog version 8.3.3
starting 46 [msec cputime] 62 [msec walltime]
GET http://josd.github.io/eye/reasoning/rs/randomsample-rule.n3 SC=1
GET http://josd.github.io/eye/reasoning/rs/randomsample-query.n3 SC=1
networking 16 [msec cputime] 1076 [msec walltime]
GET http://josd.github.io/eye/reasoning/rs/graph-1000.n3 SC=1000
reasoning 141 [msec cputime] 683 [msec walltime]
2020-07-03T08:47:34.309Z in=1002 out=1 ent=1 step=1 brake=2 inf=1560907 sec=0.203 inf/sec=7689197

eye --no-genid http://josd.github.io/eye/reasoning/skos/skos-mapping-sample-snomed-icd10.n3 http://josd.github.io/eye/reasoning/skos/skos-mapping-validation-rules.n3 --query http://josd.github.io/eye/reasoning/skos/skos-mapping-validation-query.n3
EYE v20.0606.1810 josd
SWI-Prolog version 8.3.3
starting 46 [msec cputime] 63 [msec walltime]
GET http://josd.github.io/eye/reasoning/skos/skos-mapping-sample-snomed-icd10.n3 SC=28
GET http://josd.github.io/eye/reasoning/skos/skos-mapping-validation-rules.n3 SC=67
GET http://josd.github.io/eye/reasoning/skos/skos-mapping-validation-query.n3 SC=15
networking 32 [msec cputime] 1605 [msec walltime]
reasoning 0 [msec cputime] 3 [msec walltime]
2020-07-03T08:47:36.193Z in=110 out=1 ent=12 step=28 brake=2 inf=203227 sec=0.078 inf/sec=2605474

eye --no-genid http://josd.github.io/eye/reasoning/socrates/socrates.n3 --query http://josd.github.io/eye/reasoning/socrates/socratesF.n3
EYE v20.0606.1810 josd
SWI-Prolog version 8.3.3
starting 46 [msec cputime] 62 [msec walltime]
GET http://josd.github.io/eye/reasoning/socrates/socrates.n3 SC=3
GET http://josd.github.io/eye/reasoning/socrates/socratesF.n3 SC=1
networking 16 [msec cputime] 979 [msec walltime]
reasoning 0 [msec cputime] 2 [msec walltime]
2020-07-03T08:47:37.471Z in=4 out=2 ent=3 step=6 brake=2 inf=22457 sec=0.062 inf/sec=362210

eye --no-genid --nope http://josd.github.io/eye/reasoning/streason/streason-rules.n3 --turtle - --streaming-reasoning
EYE v20.0606.1810 josd
SWI-Prolog version 8.3.3
starting 31 [msec cputime] 71 [msec walltime]
GET http://josd.github.io/eye/reasoning/streason/streason-rules.n3 SC=6
GET - translating file:///dev/stdin
Done: translated 10 triples in 0.1 ms (84531 triples/s)
SC=10
2020-07-03T08:47:38.342Z in=16 out=101 ent=0 step=0 brake=0 inf=31710 sec=0.062 inf/sec=511452

eye --no-genid --nope http://josd.github.io/eye/reasoning/swet/swetA.n3 http://josd.github.io/eye/reasoning/swet/swetD.n3 --query http://josd.github.io/eye/reasoning/swet/swetQ01.n3
EYE v20.0606.1810 josd
SWI-Prolog version 8.3.3
starting 31 [msec cputime] 62 [msec walltime]
GET http://josd.github.io/eye/reasoning/swet/swetA.n3 SC=100
GET http://josd.github.io/eye/reasoning/swet/swetD.n3 SC=400
GET http://josd.github.io/eye/reasoning/swet/swetQ01.n3 SC=1
networking 31 [msec cputime] 1619 [msec walltime]
reasoning 16 [msec cputime] 6 [msec walltime]
2020-07-03T08:47:40.236Z in=501 out=81 ent=81 step=81 brake=1 inf=222021 sec=0.078 inf/sec=2846423

eye --no-genid --nope http://josd.github.io/eye/reasoning/swet/swetA.n3 http://josd.github.io/eye/reasoning/swet/swetD.n3 --query http://josd.github.io/eye/reasoning/swet/swetQ11.n3
EYE v20.0606.1810 josd
SWI-Prolog version 8.3.3
starting 46 [msec cputime] 63 [msec walltime]
GET http://josd.github.io/eye/reasoning/swet/swetA.n3 SC=100
GET http://josd.github.io/eye/reasoning/swet/swetD.n3 SC=400
GET http://josd.github.io/eye/reasoning/swet/swetQ11.n3 SC=1
networking 32 [msec cputime] 1111 [msec walltime]
reasoning 0 [msec cputime] 4 [msec walltime]
2020-07-03T08:47:41.558Z in=501 out=54 ent=54 step=54 brake=1 inf=217684 sec=0.078 inf/sec=2790821

eye --no-genid --nope http://josd.github.io/eye/reasoning/swet/swetA.n3 http://josd.github.io/eye/reasoning/swet/swetD.n3 --query http://josd.github.io/eye/reasoning/swet/swetQ21.n3
EYE v20.0606.1810 josd
SWI-Prolog version 8.3.3
starting 46 [msec cputime] 63 [msec walltime]
GET http://josd.github.io/eye/reasoning/swet/swetA.n3 SC=100
GET http://josd.github.io/eye/reasoning/swet/swetD.n3 SC=400
GET http://josd.github.io/eye/reasoning/swet/swetQ21.n3 SC=1
networking 16 [msec cputime] 1197 [msec walltime]
reasoning 0 [msec cputime] 5 [msec walltime]
2020-07-03T08:47:42.992Z in=501 out=46 ent=46 step=46 brake=1 inf=212748 sec=0.062 inf/sec=3431419

eye --no-genid --nope http://josd.github.io/eye/reasoning/swet/swetA.n3 http://josd.github.io/eye/reasoning/swet/swetD.n3 --query http://josd.github.io/eye/reasoning/swet/swetQ31.n3
EYE v20.0606.1810 josd
SWI-Prolog version 8.3.3
starting 31 [msec cputime] 62 [msec walltime]
GET http://josd.github.io/eye/reasoning/swet/swetA.n3 SC=100
GET http://josd.github.io/eye/reasoning/swet/swetD.n3 SC=400
GET http://josd.github.io/eye/reasoning/swet/swetQ31.n3 SC=1
networking 15 [msec cputime] 1115 [msec walltime]
reasoning 0 [msec cputime] 2 [msec walltime]
2020-07-03T08:47:44.333Z in=501 out=19 ent=19 step=19 brake=1 inf=199156 sec=0.046 inf/sec=4329478

eye --no-genid http://josd.github.io/eye/reasoning/swet/swetA.n3 --query http://josd.github.io/eye/reasoning/swet/swetQ.n3
EYE v20.0606.1810 josd
SWI-Prolog version 8.3.3
starting 31 [msec cputime] 64 [msec walltime]
GET http://josd.github.io/eye/reasoning/swet/swetA.n3 SC=100
GET http://josd.github.io/eye/reasoning/swet/swetQ.n3 SC=3
networking 31 [msec cputime] 1462 [msec walltime]
GET http://josd.github.io/eye/reasoning/swet/swetA11.n3 SC=54
GET http://josd.github.io/eye/reasoning/swet/swetA01.n3 SC=81
GET http://josd.github.io/eye/reasoning/swet/swetA21.n3 SC=46
GET http://josd.github.io/eye/reasoning/swet/swetA31.n3 SC=19
reasoning 94 [msec cputime] 2460 [msec walltime]
2020-07-03T08:47:48.473Z in=303 out=3 ent=3 step=3 brake=1 inf=630938 sec=0.156 inf/sec=4044474

eye --no-genid --tactic limited-answer 1 http://josd.github.io/eye/reasoning/tak/tak.n3 --query http://josd.github.io/eye/reasoning/tak/takQ.n3
EYE v20.0606.1810 josd
SWI-Prolog version 8.3.3
starting 31 [msec cputime] 63 [msec walltime]
GET http://josd.github.io/eye/reasoning/tak/tak.n3 SC=2
GET http://josd.github.io/eye/reasoning/tak/takQ.n3 SC=1
networking 31 [msec cputime] 1217 [msec walltime]
reasoning 156 [msec cputime] 166 [msec walltime]
2020-07-03T08:47:50.163Z in=3 out=1 ent=1 step=1 brake=1 inf=1353541 sec=0.218 inf/sec=6208904

eye --no-genid --turtle http://josd.github.io/eye/reasoning/tfcontext/data-001.n3 http://josd.github.io/eye/reasoning/tfcontext/rules-001.n3 --query http://josd.github.io/eye/reasoning/tfcontext/query-001.n3
EYE v20.0606.1810 josd
SWI-Prolog version 8.3.3
starting 31 [msec cputime] 80 [msec walltime]
GET http://josd.github.io/eye/reasoning/tfcontext/data-001.n3 translating file:///tmp/swipl_eye_14838_0
Done: translated 7 triples in 8.0 ms (876 triples/s)
SC=7
GET http://josd.github.io/eye/reasoning/tfcontext/rules-001.n3 SC=1
GET http://josd.github.io/eye/reasoning/tfcontext/query-001.n3 SC=1
networking 0 [msec cputime] 1703 [msec walltime]
reasoning 15 [msec cputime] 11 [msec walltime]
2020-07-03T08:47:52.175Z in=9 out=7 ent=21 step=42 brake=4 inf=89508 sec=0.046 inf/sec=1945826

eye --no-genid http://josd.github.io/eye/reasoning/turing/turing.n3 --query http://josd.github.io/eye/reasoning/turing/turingQ.n3
EYE v20.0606.1810 josd
SWI-Prolog version 8.3.3
starting 31 [msec cputime] 64 [msec walltime]
GET http://josd.github.io/eye/reasoning/turing/turing.n3 SC=17
GET http://josd.github.io/eye/reasoning/turing/turingQ.n3 SC=1
networking 0 [msec cputime] 1094 [msec walltime]
reasoning 15 [msec cputime] 11 [msec walltime]
2020-07-03T08:47:53.553Z in=18 out=1 ent=1 step=1 brake=1 inf=98646 sec=0.046 inf/sec=2144478

eye --no-genid --tactic limited-answer 1 http://josd.github.io/eye/reasoning/usm/usmP.n3 --query http://josd.github.io/eye/reasoning/usm/usmQ.n3
EYE v20.0606.1810 josd
SWI-Prolog version 8.3.3
starting 31 [msec cputime] 61 [msec walltime]
GET http://josd.github.io/eye/reasoning/usm/usmP.n3 SC=20
GET http://josd.github.io/eye/reasoning/usm/usmQ.n3 SC=1
networking 15 [msec cputime] 6761 [msec walltime]
reasoning 0 [msec cputime] 7 [msec walltime]
2020-07-03T08:48:00.592Z in=21 out=2 ent=24 step=88 brake=5 inf=77050 sec=0.046 inf/sec=1675000

eye --no-genid http://josd.github.io/eye/reasoning/utf8/utf8.n3 --pass
EYE v20.0606.1810 josd
SWI-Prolog version 8.3.3
starting 46 [msec cputime] 61 [msec walltime]
GET http://josd.github.io/eye/reasoning/utf8/utf8.n3 SC=5
networking 0 [msec cputime] 552 [msec walltime]
reasoning 0 [msec cputime] 2 [msec walltime]
2020-07-03T08:48:01.418Z in=5 out=5 ent=5 step=5 brake=1 inf=22366 sec=0.046 inf/sec=486217

eye --no-genid http://josd.github.io/eye/reasoning/witch/witch.n3 --query http://josd.github.io/eye/reasoning/witch/witch-goal.n3
EYE v20.0606.1810 josd
SWI-Prolog version 8.3.3
starting 46 [msec cputime] 64 [msec walltime]
GET http://josd.github.io/eye/reasoning/witch/witch.n3 SC=7
GET http://josd.github.io/eye/reasoning/witch/witch-goal.n3 SC=1
networking 16 [msec cputime] 1009 [msec walltime]
reasoning 0 [msec cputime] 3 [msec walltime]
2020-07-03T08:48:02.708Z in=8 out=1 ent=7 step=25 brake=5 inf=27231 sec=0.062 inf/sec=439210

eye --no-genid http://josd.github.io/eye/reasoning/witch/floatingwoman.n3 --proof http://josd.github.io/eye/reasoning/witch/witch-proof.n3 --query http://josd.github.io/eye/reasoning/witch/floatingwoman-goal.n3
EYE v20.0606.1810 josd
SWI-Prolog version 8.3.3
starting 46 [msec cputime] 68 [msec walltime]
GET http://josd.github.io/eye/reasoning/witch/floatingwoman.n3 SC=1
GET http://josd.github.io/eye/reasoning/witch/witch-proof.n3 SC=94
GET http://josd.github.io/eye/reasoning/witch/floatingwoman-goal.n3 SC=1
networking 47 [msec cputime] 1580 [msec walltime]
reasoning 0 [msec cputime] 3 [msec walltime]
2020-07-03T08:48:04.517Z in=96 out=1 ent=14 step=43 brake=3 inf=80350 sec=0.093 inf/sec=863978

