eye --no-genid http://josd.github.io/eye/reasoning/3outof5/sample.n3 --query http://josd.github.io/eye/reasoning/3outof5/query.n3
EYE v20.0603.2122 josd
SWI-Prolog version 8.3.0
starting 68 [msec cputime] 85 [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 14 [msec cputime] 1019 [msec walltime]
reasoning 34 [msec cputime] 34 [msec walltime]
2020-06-04T10:27:05.926Z in=6 out=1 ent=1 step=1 brake=2 inf=48468 sec=0.116 inf/sec=417828

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.0603.2122 josd
SWI-Prolog version 8.3.0
starting 70 [msec cputime] 90 [msec walltime]
GET http://josd.github.io/eye/reasoning/4color/4color_data.n3 translating file:///tmp/swipl_eye_3816_0
Done: translated 28 triples in 0.4 ms (67811 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 15 [msec cputime] 1413 [msec walltime]
reasoning 18 [msec cputime] 18 [msec walltime]
2020-06-04T10:27:07.569Z in=31 out=2 ent=2 step=2 brake=2 inf=57017 sec=0.103 inf/sec=553563

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.0603.2122 josd
SWI-Prolog version 8.3.0
starting 68 [msec cputime] 90 [msec walltime]
GET http://josd.github.io/eye/reasoning/4color/4color_data.n3 translating file:///tmp/swipl_eye_3834_0
Done: translated 28 triples in 0.6 ms (46436 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 23 [msec cputime] 904 [msec walltime]
reasoning 147 [msec cputime] 147 [msec walltime]
2020-06-04T10:27:08.821Z in=31 out=2 ent=2 step=2 brake=2 inf=435701 sec=0.238 inf/sec=1830676

eye --no-genid http://josd.github.io/eye/reasoning/bi/biP.n3 --query http://josd.github.io/eye/reasoning/bi/biQ.n3
EYE v20.0603.2122 josd
SWI-Prolog version 8.3.0
starting 71 [msec cputime] 86 [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 69 [msec cputime] 1063 [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 464 [msec cputime] 1893 [msec walltime]
2020-06-04T10:27:11.990Z in=131 out=97 ent=200 step=910 brake=6 inf=1148223 sec=0.604 inf/sec=1901031

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.0603.2122 josd
SWI-Prolog version 8.3.0
starting 68 [msec cputime] 86 [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 116 [msec cputime] 2640 [msec walltime]
reasoning 112 [msec cputime] 112 [msec walltime]
2020-06-04T10:27:14.960Z in=97 out=50 ent=100 step=48 brake=4 inf=397674 sec=0.296 inf/sec=1343493

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.0603.2122 josd
SWI-Prolog version 8.3.0
starting 69 [msec cputime] 84 [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 2058 [msec cputime] 8783 [msec walltime]
reasoning 2737 [msec cputime] 2739 [msec walltime]
2020-06-04T10:27:26.691Z in=9841 out=1518 ent=1518 step=1518 brake=1 inf=9800135 sec=4.864 inf/sec=2014830

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.0603.2122 josd
SWI-Prolog version 8.3.0
starting 70 [msec cputime] 85 [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 19 [msec cputime] 18 [msec walltime]
reasoning 6 [msec cputime] 6 [msec walltime]
2020-06-04T10:27:27.016Z in=54 out=17 ent=24 step=110 brake=2 inf=51179 sec=0.095 inf/sec=538726

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.0603.2122 josd
SWI-Prolog version 8.3.0
starting 65 [msec cputime] 81 [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 22 [msec cputime] 22 [msec walltime]
reasoning 62 [msec cputime] 61 [msec walltime]
2020-06-04T10:27:27.292Z in=54 out=17 ent=41 step=254 brake=4 inf=178696 sec=0.149 inf/sec=1199302

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.0603.2122 josd
SWI-Prolog version 8.3.0
starting 65 [msec cputime] 81 [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 30 [msec cputime] 30 [msec walltime]
reasoning 8 [msec cputime] 7 [msec walltime]
2020-06-04T10:27:27.522Z in=40 out=4 ent=3 step=6 brake=2 inf=82545 sec=0.103 inf/sec=801408

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.0603.2122 josd
SWI-Prolog version 8.3.0
starting 66 [msec cputime] 83 [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 32 [msec cputime] 32 [msec walltime]
reasoning 110 [msec cputime] 111 [msec walltime]
2020-06-04T10:27:27.861Z in=40 out=4 ent=7 step=20 brake=4 inf=339316 sec=0.208 inf/sec=1631327

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.0603.2122 josd
SWI-Prolog version 8.3.0
starting 69 [msec cputime] 85 [msec walltime]
GET http://josd.github.io/eye/reasoning/complex/complex_query.n3 FROM ./complex_query.n3 SC=1
networking 4 [msec cputime] 4 [msec walltime]
reasoning 2 [msec cputime] 1 [msec walltime]
2020-06-04T10:27:28.081Z in=1 out=2 ent=2 step=1 brake=1 inf=16466 sec=0.075 inf/sec=219547

eye --no-genid --hmac-key k123 http://josd.github.io/eye/reasoning/crypto/cryptoP.n3 --pass
EYE v20.0603.2122 josd
SWI-Prolog version 8.3.0
starting 67 [msec cputime] 84 [msec walltime]
GET http://josd.github.io/eye/reasoning/crypto/cryptoP.n3 SC=3
networking 6 [msec cputime] 490 [msec walltime]
reasoning 9 [msec cputime] 8 [msec walltime]
2020-06-04T10:27:28.785Z in=3 out=3 ent=6 step=12 brake=2 inf=26590 sec=0.082 inf/sec=324268

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.0603.2122 josd
SWI-Prolog version 8.3.0
starting 70 [msec cputime] 88 [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 9 [msec cputime] 9 [msec walltime]
reasoning 2 [msec cputime] 1 [msec walltime]
2020-06-04T10:27:29.004Z in=15 out=2 ent=4 step=8 brake=2 inf=31339 sec=0.081 inf/sec=386901

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.0603.2122 josd
SWI-Prolog version 8.3.0
starting 69 [msec cputime] 80 [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 12 [msec cputime] 12 [msec walltime]
reasoning 12 [msec cputime] 11 [msec walltime]
2020-06-04T10:27:29.221Z in=15 out=2 ent=4 step=8 brake=2 inf=50664 sec=0.093 inf/sec=544774

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.0603.2122 josd
SWI-Prolog version 8.3.0
starting 68 [msec cputime] 86 [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 14 [msec cputime] 958 [msec walltime]
reasoning 32 [msec cputime] 32 [msec walltime]
2020-06-04T10:27:30.417Z in=18 out=85 ent=0 step=0 brake=1 inf=37683 sec=0.114 inf/sec=330553

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.0603.2122 josd
SWI-Prolog version 8.3.0
starting 64 [msec cputime] 77 [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 16 [msec cputime] 665 [msec walltime]
reasoning 54 [msec cputime] 54 [msec walltime]
2020-06-04T10:27:31.321Z in=18 out=17 ent=17 step=17 brake=2 inf=87169 sec=0.134 inf/sec=650515

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.0603.2122 josd
SWI-Prolog version 8.3.0
starting 71 [msec cputime] 84 [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 10 [msec cputime] 850 [msec walltime]
reasoning 35 [msec cputime] 35 [msec walltime]
2020-06-04T10:27:32.403Z in=6 out=5 ent=5 step=5 brake=2 inf=50000 sec=0.116 inf/sec=431034

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.0603.2122 josd
SWI-Prolog version 8.3.0
starting 68 [msec cputime] 88 [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 15 [msec cputime] 1596 [msec walltime]
reasoning 5 [msec cputime] 4 [msec walltime]
2020-06-04T10:27:34.270Z in=8 out=1 ent=6 step=18 brake=3 inf=25531 sec=0.088 inf/sec=290125

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.0603.2122 josd
SWI-Prolog version 8.3.0
starting 68 [msec cputime] 85 [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 20 [msec cputime] 997 [msec walltime]
reasoning 15 [msec cputime] 767 [msec walltime]
2020-06-04T10:27:36.241Z in=10 out=1 ent=2 step=2 brake=1 inf=48731 sec=0.103 inf/sec=473117

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.0603.2122 josd
SWI-Prolog version 8.3.0
starting 68 [msec cputime] 87 [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 18 [msec cputime] 1435 [msec walltime]
reasoning 19 [msec cputime] 19 [msec walltime]
2020-06-04T10:27:37.904Z in=16 out=2 ent=32 step=120 brake=4 inf=51857 sec=0.105 inf/sec=493876

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.0603.2122 josd
SWI-Prolog version 8.3.0
starting 68 [msec cputime] 85 [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 14 [msec cputime] 14 [msec walltime]
reasoning 2 [msec cputime] 1 [msec walltime]
2020-06-04T10:27:38.124Z in=29 out=24 ent=0 step=0 brake=1 inf=34892 sec=0.084 inf/sec=415381

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.0603.2122 josd
SWI-Prolog version 8.3.0
starting 66 [msec cputime] 81 [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] 15 [msec walltime]
reasoning 32 [msec cputime] 31 [msec walltime]
2020-06-04T10:27:38.363Z in=29 out=14 ent=14 step=24 brake=1 inf=96674 sec=0.113 inf/sec=855522

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.0603.2122 josd
SWI-Prolog version 8.3.0
starting 67 [msec cputime] 83 [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 8 [msec cputime] 7 [msec walltime]
reasoning 2 [msec cputime] 1 [msec walltime]
2020-06-04T10:27:38.566Z in=25 out=4 ent=4 step=4 brake=2 inf=25672 sec=0.077 inf/sec=333403

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.0603.2122 josd
SWI-Prolog version 8.3.0
starting 66 [msec cputime] 82 [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 10 [msec cputime] 9 [msec walltime]
reasoning 10 [msec cputime] 9 [msec walltime]
2020-06-04T10:27:38.779Z in=25 out=4 ent=4 step=4 brake=2 inf=38962 sec=0.086 inf/sec=453047

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.0603.2122 josd
SWI-Prolog version 8.3.0
starting 69 [msec cputime] 87 [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 895 [msec cputime] 2534 [msec walltime]
reasoning 786 [msec cputime] 787 [msec walltime]
2020-06-04T10:27:42.312Z in=3004 out=1 ent=2999 step=5998 brake=2 inf=3992365 sec=1.750 inf/sec=2281351

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.0603.2122 josd
SWI-Prolog version 8.3.0
starting 67 [msec cputime] 83 [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 23 [msec cputime] 963 [msec walltime]
reasoning 33 [msec cputime] 33 [msec walltime]
2020-06-04T10:27:43.535Z in=29 out=26 ent=52 step=104 brake=2 inf=99039 sec=0.123 inf/sec=805195

eye --no-genid http://josd.github.io/eye/reasoning/easter/easterP.n3 --query http://josd.github.io/eye/reasoning/easter/easterF.n3
EYE v20.0603.2122 josd
SWI-Prolog version 8.3.0
starting 66 [msec cputime] 82 [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 28 [msec cputime] 645 [msec walltime]
reasoning 196 [msec cputime] 195 [msec walltime]
2020-06-04T10:27:44.570Z in=29 out=26 ent=52 step=104 brake=2 inf=513586 sec=0.290 inf/sec=1770986

eye --no-genid http://josd.github.io/eye/reasoning/einstein/einstein.n3 --query http://josd.github.io/eye/reasoning/einstein/einsteinQ.n3
EYE v20.0603.2122 josd
SWI-Prolog version 8.3.0
starting 68 [msec cputime] 87 [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 19 [msec cputime] 1001 [msec walltime]
reasoning 346 [msec cputime] 345 [msec walltime]
2020-06-04T10:27:46.132Z in=5 out=1 ent=2 step=4 brake=2 inf=701454 sec=0.433 inf/sec=1619986

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.0603.2122 josd
SWI-Prolog version 8.3.0
starting 70 [msec cputime] 86 [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 998 [msec cputime] 2147 [msec walltime]
reasoning 4030 [msec cputime] 4356 [msec walltime]
2020-06-04T10:27:52.845Z in=1001 out=1000 ent=1000 step=1000 brake=1 inf=12804937 sec=5.098 inf/sec=2511757

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.0603.2122 josd
SWI-Prolog version 8.3.0
starting 67 [msec cputime] 82 [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 93 [msec cputime] 2665 [msec walltime]
reasoning 187 [msec cputime] 186 [msec walltime]
2020-06-04T10:27:55.916Z in=76 out=8 ent=50 step=307 brake=6 inf=559045 sec=0.347 inf/sec=1611081

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.0603.2122 josd
SWI-Prolog version 8.3.0
starting 68 [msec cputime] 85 [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 198 [msec cputime] 2595 [msec walltime]
reasoning 442 [msec cputime] 446 [msec walltime]
2020-06-04T10:27:59.167Z in=253 out=18 ent=237 step=1917 brake=5 inf=1212762 sec=0.708 inf/sec=1712941

eye --no-genid http://josd.github.io/eye/reasoning/fib/fib.n3 --query http://josd.github.io/eye/reasoning/fib/fibQ.n3
EYE v20.0603.2122 josd
SWI-Prolog version 8.3.0
starting 70 [msec cputime] 84 [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 11 [msec cputime] 982 [msec walltime]
reasoning 356 [msec cputime] 358 [msec walltime]
2020-06-04T10:28:00.718Z in=7 out=3 ent=3 step=3 brake=1 inf=756941 sec=0.437 inf/sec=1732130

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.0603.2122 josd
SWI-Prolog version 8.3.0
starting 64 [msec cputime] 82 [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 10 [msec cputime] 633 [msec walltime]
reasoning 9 [msec cputime] 8 [msec walltime]
2020-06-04T10:28:01.553Z in=7 out=3 ent=3 step=3 brake=1 inf=28630 sec=0.083 inf/sec=344940

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.0603.2122 josd
SWI-Prolog version 8.3.0
starting 64 [msec cputime] 81 [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 78 [msec cputime] 2050 [msec walltime]
reasoning 287 [msec cputime] 287 [msec walltime]
2020-06-04T10:28:04.098Z in=185 out=6 ent=1591 step=18973 brake=12 inf=882969 sec=0.429 inf/sec=2058203

eye --no-genid http://josd.github.io/eye/reasoning/glass/test.n3 --query http://josd.github.io/eye/reasoning/glass/testQ.n3
EYE v20.0603.2122 josd
SWI-Prolog version 8.3.0
starting 65 [msec cputime] 84 [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 16 [msec cputime] 993 [msec walltime]
reasoning 16 [msec cputime] 15 [msec walltime]
2020-06-04T10:28:05.314Z in=9 out=6 ent=7 step=30 brake=2 inf=49506 sec=0.097 inf/sec=510371

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.0603.2122 josd
SWI-Prolog version 8.3.0
starting 71 [msec cputime] 86 [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 30 [msec cputime] 1510 [msec walltime]
reasoning 37 [msec cputime] 37 [msec walltime]
2020-06-04T10:28:07.069Z in=11 out=1 ent=1 step=1 brake=2 inf=127716 sec=0.138 inf/sec=925478

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.0603.2122 josd
SWI-Prolog version 8.3.0
starting 68 [msec cputime] 84 [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 52 [msec cputime] 1388 [msec walltime]
reasoning 1168 [msec cputime] 1172 [msec walltime]
2020-06-04T10:28:09.826Z in=44 out=10 ent=10 step=10 brake=2 inf=2911741 sec=1.288 inf/sec=2260668

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.0603.2122 josd
SWI-Prolog version 8.3.0
starting 69 [msec cputime] 85 [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 47 [msec cputime] 1631 [msec walltime]
reasoning 18 [msec cputime] 18 [msec walltime]
2020-06-04T10:28:11.706Z in=89 out=1 ent=24 step=70 brake=2 inf=91344 sec=0.134 inf/sec=681672

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.0603.2122 josd
SWI-Prolog version 8.3.0
starting 69 [msec cputime] 89 [msec walltime]
GET http://josd.github.io/eye/reasoning/h2o/hypothesis-001.n3 translating file:///tmp/swipl_eye_4413_0
Done: translated 1 triples in 0.3 ms (3815 triples/s)
SC=1
GET http://josd.github.io/eye/reasoning/h2o/data-001.n3 translating file:///tmp/swipl_eye_4413_1
Done: translated 7 triples in 0.4 ms (16314 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 19 [msec cputime] 1875 [msec walltime]
reasoning 9 [msec cputime] 8 [msec walltime]
2020-06-04T10:28:13.803Z in=10 out=1 ent=6 step=12 brake=2 inf=26678 sec=0.097 inf/sec=275031

eye --no-genid --tactic limited-answer 1 http://josd.github.io/eye/reasoning/hanoi/hanoi.n3 --pass
EYE v20.0603.2122 josd
SWI-Prolog version 8.3.0
starting 71 [msec cputime] 88 [msec walltime]
GET http://josd.github.io/eye/reasoning/hanoi/hanoi.n3 SC=3
networking 5 [msec cputime] 476 [msec walltime]
reasoning 12 [msec cputime] 11 [msec walltime]
2020-06-04T10:28:14.500Z in=3 out=1 ent=2 step=2 brake=1 inf=38882 sec=0.088 inf/sec=441841

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.0603.2122 josd
SWI-Prolog version 8.3.0
starting 69 [msec cputime] 85 [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 21 [msec cputime] 1052 [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.0603.2122 josd
SWI-Prolog version 8.3.0
starting 65 [msec cputime] 82 [msec walltime]
GET http://josd.github.io/eye/reasoning/image/query.n3 SC=1
networking 4 [msec cputime] 545 [msec walltime]
reasoning 682 [msec cputime] 682 [msec walltime]
2020-06-04T10:28:17.847Z in=5 out=101 ent=202 step=404 brake=2 inf=1694702 sec=0.751 inf/sec=2256594

eye --no-genid http://josd.github.io/eye/reasoning/iq/iq.n3 --pass-all
EYE v20.0603.2122 josd
SWI-Prolog version 8.3.0
starting 67 [msec cputime] 85 [msec walltime]
GET http://josd.github.io/eye/reasoning/iq/iq.n3 SC=7
networking 9 [msec cputime] 530 [msec walltime]
reasoning 23 [msec cputime] 22 [msec walltime]
2020-06-04T10:28:18.622Z in=7 out=10 ent=13 step=26 brake=2 inf=59987 sec=0.099 inf/sec=605929

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.0603.2122 josd
SWI-Prolog version 8.3.0
starting 66 [msec cputime] 81 [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 66 [msec cputime] 1519 [msec walltime]
reasoning 57 [msec cputime] 56 [msec walltime]
2020-06-04T10:28:20.399Z in=168 out=1 ent=39 step=124 brake=4 inf=230366 sec=0.189 inf/sec=1218868

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.0603.2122 josd
SWI-Prolog version 8.3.0
starting 64 [msec cputime] 80 [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 21 [msec cputime] 21 [msec walltime]
reasoning 1 [msec cputime] 1 [msec walltime]
2020-06-04T10:28:20.626Z in=10 out=1 ent=1 step=1 brake=2 inf=55368 sec=0.086 inf/sec=643814

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.0603.2122 josd
SWI-Prolog version 8.3.0
starting 68 [msec cputime] 81 [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 21 [msec cputime] 21 [msec walltime]
reasoning 23 [msec cputime] 23 [msec walltime]
2020-06-04T10:28:20.865Z in=10 out=1 ent=1 step=1 brake=2 inf=102738 sec=0.112 inf/sec=917304

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.0603.2122 josd
SWI-Prolog version 8.3.0
starting 66 [msec cputime] 85 [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 123 [msec cputime] 125 [msec walltime]
reasoning 10 [msec cputime] 10 [msec walltime]
2020-06-04T10:28:21.197Z in=442 out=1 ent=11 step=82 brake=4 inf=350926 sec=0.199 inf/sec=1763447

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.0603.2122 josd
SWI-Prolog version 8.3.0
starting 67 [msec cputime] 83 [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 154 [msec cputime] 157 [msec walltime]
reasoning 53 [msec cputime] 52 [msec walltime]
2020-06-04T10:28:21.601Z in=442 out=1 ent=11 step=82 brake=4 inf=442075 sec=0.274 inf/sec=1613412

eye --no-genid http://josd.github.io/eye/reasoning/medic/medic.n3 --query http://josd.github.io/eye/reasoning/medic/medicF.n3
EYE v20.0603.2122 josd
SWI-Prolog version 8.3.0
starting 70 [msec cputime] 86 [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 19 [msec cputime] 955 [msec walltime]
reasoning 15 [msec cputime] 14 [msec walltime]
2020-06-04T10:28:22.781Z in=18 out=2 ent=4 step=8 brake=4 inf=45530 sec=0.104 inf/sec=437788

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.0603.2122 josd
SWI-Prolog version 8.3.0
starting 69 [msec cputime] 84 [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 209 [msec cputime] 2151 [msec walltime]
reasoning 937 [msec cputime] 937 [msec walltime]
2020-06-04T10:28:26.075Z in=345 out=47 ent=105 step=332 brake=4 inf=2069001 sec=1.215 inf/sec=1702881

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.0603.2122 josd
SWI-Prolog version 8.3.0
starting 67 [msec cputime] 88 [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 3461.7 ms (28888 triples/s)
SC=100000
networking 3472 [msec cputime] 3478 [msec walltime]
GET http://josd.github.io/eye/reasoning/mq/queries/query1.n3 FROM ./queries/query1.n3 SC=1
reasoning 91 [msec cputime] 90 [msec walltime]
2020-06-04T10:28:29.858Z mq=1 out=0 inf=3415 sec=0.090 out/sec=0 inf/sec=37944

GET http://josd.github.io/eye/reasoning/mq/queries/query2.n3 FROM ./queries/query2.n3 SC=1
reasoning 10 [msec cputime] 10 [msec walltime]
2020-06-04T10:28:29.869Z mq=2 out=3 inf=15742 sec=0.010 out/sec=300 inf/sec=1574200

GET http://josd.github.io/eye/reasoning/mq/queries/query3.n3 FROM ./queries/query3.n3 SC=1
reasoning 3 [msec cputime] 3 [msec walltime]
2020-06-04T10:28:29.872Z mq=3 out=0 inf=3422 sec=0.003 out/sec=0 inf/sec=1140667

GET http://josd.github.io/eye/reasoning/mq/queries/query4.n3 FROM ./queries/query4.n3 SC=1
reasoning 7 [msec cputime] 6 [msec walltime]
2020-06-04T10:28:29.878Z mq=4 out=1 inf=8337 sec=0.006 out/sec=167 inf/sec=1389500

GET http://josd.github.io/eye/reasoning/mq/queries/query5.n3 FROM ./queries/query5.n3 SC=1
reasoning 11 [msec cputime] 10 [msec walltime]
2020-06-04T10:28:29.889Z mq=5 out=4 inf=15438 sec=0.010 out/sec=400 inf/sec=1543800

GET http://josd.github.io/eye/reasoning/mq/queries/query6.n3 FROM ./queries/query6.n3 SC=1
reasoning 4 [msec cputime] 3 [msec walltime]
2020-06-04T10:28:29.893Z mq=6 out=0 inf=3422 sec=0.003 out/sec=0 inf/sec=1140667

GET http://josd.github.io/eye/reasoning/mq/queries/query7.n3 FROM ./queries/query7.n3 SC=1
reasoning 9 [msec cputime] 9 [msec walltime]
2020-06-04T10:28:29.903Z mq=7 out=2 inf=12073 sec=0.009 out/sec=222 inf/sec=1341444

GET http://josd.github.io/eye/reasoning/mq/queries/query8.n3 FROM ./queries/query8.n3 SC=1
reasoning 6 [msec cputime] 5 [msec walltime]
2020-06-04T10:28:29.908Z mq=8 out=1 inf=8308 sec=0.005 out/sec=200 inf/sec=1661600

GET http://josd.github.io/eye/reasoning/mq/queries/query9.n3 FROM ./queries/query9.n3 SC=1
reasoning 6 [msec cputime] 5 [msec walltime]
2020-06-04T10:28:29.914Z mq=9 out=1 inf=8449 sec=0.005 out/sec=200 inf/sec=1689800

GET http://josd.github.io/eye/reasoning/mq/queries/query10.n3 FROM ./queries/query10.n3 SC=1
reasoning 9 [msec cputime] 9 [msec walltime]
2020-06-04T10:28:29.923Z mq=10 out=3 inf=14181 sec=0.009 out/sec=333 inf/sec=1575667

GET http://josd.github.io/eye/reasoning/mq/queries/query11.n3 FROM ./queries/query11.n3 SC=1
reasoning 3 [msec cputime] 2 [msec walltime]
2020-06-04T10:28:29.926Z mq=11 out=0 inf=3394 sec=0.002 out/sec=0 inf/sec=1697000

GET http://josd.github.io/eye/reasoning/mq/queries/query12.n3 FROM ./queries/query12.n3 SC=1
reasoning 2 [msec cputime] 2 [msec walltime]
2020-06-04T10:28:29.929Z mq=12 out=0 inf=3409 sec=0.002 out/sec=0 inf/sec=1704500

GET http://josd.github.io/eye/reasoning/mq/queries/query13.n3 FROM ./queries/query13.n3 SC=1
reasoning 4 [msec cputime] 2 [msec walltime]
2020-06-04T10:28:29.932Z mq=13 out=0 inf=3463 sec=0.002 out/sec=0 inf/sec=1731500

GET http://josd.github.io/eye/reasoning/mq/queries/query14.n3 FROM ./queries/query14.n3 SC=1
reasoning 2 [msec cputime] 2 [msec walltime]
2020-06-04T10:28:29.935Z mq=14 out=0 inf=3394 sec=0.002 out/sec=0 inf/sec=1697000

GET http://josd.github.io/eye/reasoning/mq/queries/query15.n3 FROM ./queries/query15.n3 SC=1
reasoning 7 [msec cputime] 6 [msec walltime]
2020-06-04T10:28:29.942Z mq=15 out=1 inf=8236 sec=0.006 out/sec=167 inf/sec=1372667

GET http://josd.github.io/eye/reasoning/mq/queries/query16.n3 FROM ./queries/query16.n3 SC=1
reasoning 5 [msec cputime] 5 [msec walltime]
2020-06-04T10:28:29.947Z mq=16 out=1 inf=7891 sec=0.005 out/sec=200 inf/sec=1578200

GET http://josd.github.io/eye/reasoning/mq/queries/query17.n3 FROM ./queries/query17.n3 SC=1
reasoning 7 [msec cputime] 6 [msec walltime]
2020-06-04T10:28:29.953Z mq=17 out=1 inf=8297 sec=0.006 out/sec=167 inf/sec=1382833

GET http://josd.github.io/eye/reasoning/mq/queries/query18.n3 FROM ./queries/query18.n3 SC=1
reasoning 3 [msec cputime] 2 [msec walltime]
2020-06-04T10:28:29.956Z mq=18 out=0 inf=3361 sec=0.002 out/sec=0 inf/sec=1680500

GET http://josd.github.io/eye/reasoning/mq/queries/query19.n3 FROM ./queries/query19.n3 SC=1
reasoning 5 [msec cputime] 4 [msec walltime]
2020-06-04T10:28:29.961Z mq=19 out=1 inf=8036 sec=0.004 out/sec=250 inf/sec=2009000

GET http://josd.github.io/eye/reasoning/mq/queries/query20.n3 FROM ./queries/query20.n3 SC=1
reasoning 2 [msec cputime] 2 [msec walltime]
2020-06-04T10:28:29.964Z mq=20 out=0 inf=3339 sec=0.002 out/sec=0 inf/sec=1669500

GET http://josd.github.io/eye/reasoning/mq/queries/query21.n3 FROM ./queries/query21.n3 SC=1
reasoning 6 [msec cputime] 6 [msec walltime]
2020-06-04T10:28:29.970Z mq=21 out=1 inf=8320 sec=0.006 out/sec=167 inf/sec=1386667

GET http://josd.github.io/eye/reasoning/mq/queries/query22.n3 FROM ./queries/query22.n3 SC=1
reasoning 11 [msec cputime] 10 [msec walltime]
2020-06-04T10:28:29.981Z mq=22 out=3 inf=15737 sec=0.010 out/sec=300 inf/sec=1573700

GET http://josd.github.io/eye/reasoning/mq/queries/query23.n3 FROM ./queries/query23.n3 SC=1
reasoning 10 [msec cputime] 10 [msec walltime]
2020-06-04T10:28:29.991Z mq=23 out=3 inf=12741 sec=0.010 out/sec=300 inf/sec=1274100

GET http://josd.github.io/eye/reasoning/mq/queries/query24.n3 FROM ./queries/query24.n3 SC=1
reasoning 6 [msec cputime] 5 [msec walltime]
2020-06-04T10:28:29.997Z mq=24 out=1 inf=7907 sec=0.005 out/sec=200 inf/sec=1581400

GET http://josd.github.io/eye/reasoning/mq/queries/query25.n3 FROM ./queries/query25.n3 SC=1
reasoning 5 [msec cputime] 5 [msec walltime]
2020-06-04T10:28:30.002Z mq=25 out=1 inf=6837 sec=0.005 out/sec=200 inf/sec=1367400

GET http://josd.github.io/eye/reasoning/mq/queries/query26.n3 FROM ./queries/query26.n3 SC=1
reasoning 13 [msec cputime] 12 [msec walltime]
2020-06-04T10:28:30.014Z mq=26 out=5 inf=20150 sec=0.012 out/sec=417 inf/sec=1679167

GET http://josd.github.io/eye/reasoning/mq/queries/query27.n3 FROM ./queries/query27.n3 SC=1
reasoning 3 [msec cputime] 3 [msec walltime]
2020-06-04T10:28:30.018Z mq=27 out=0 inf=3424 sec=0.003 out/sec=0 inf/sec=1141333

GET http://josd.github.io/eye/reasoning/mq/queries/query28.n3 FROM ./queries/query28.n3 SC=1
reasoning 6 [msec cputime] 5 [msec walltime]
2020-06-04T10:28:30.023Z mq=28 out=1 inf=7924 sec=0.005 out/sec=200 inf/sec=1584800

GET http://josd.github.io/eye/reasoning/mq/queries/query29.n3 FROM ./queries/query29.n3 SC=1
reasoning 2 [msec cputime] 2 [msec walltime]
2020-06-04T10:28:30.026Z mq=29 out=0 inf=3331 sec=0.002 out/sec=0 inf/sec=1665500

GET http://josd.github.io/eye/reasoning/mq/queries/query30.n3 FROM ./queries/query30.n3 SC=1
reasoning 3 [msec cputime] 2 [msec walltime]
2020-06-04T10:28:30.028Z mq=30 out=0 inf=3428 sec=0.002 out/sec=0 inf/sec=1714000

GET http://josd.github.io/eye/reasoning/mq/queries/query31.n3 FROM ./queries/query31.n3 SC=1
reasoning 2 [msec cputime] 2 [msec walltime]
2020-06-04T10:28:30.031Z mq=31 out=0 inf=3434 sec=0.002 out/sec=0 inf/sec=1717000

GET http://josd.github.io/eye/reasoning/mq/queries/query32.n3 FROM ./queries/query32.n3 SC=1
reasoning 7 [msec cputime] 6 [msec walltime]
2020-06-04T10:28:30.038Z mq=32 out=1 inf=8308 sec=0.006 out/sec=167 inf/sec=1384667

GET http://josd.github.io/eye/reasoning/mq/queries/query33.n3 FROM ./queries/query33.n3 SC=1
reasoning 3 [msec cputime] 2 [msec walltime]
2020-06-04T10:28:30.040Z mq=33 out=0 inf=3397 sec=0.002 out/sec=0 inf/sec=1698500

GET http://josd.github.io/eye/reasoning/mq/queries/query34.n3 FROM ./queries/query34.n3 SC=1
reasoning 7 [msec cputime] 7 [msec walltime]
2020-06-04T10:28:30.048Z mq=34 out=1 inf=8376 sec=0.007 out/sec=143 inf/sec=1196571

GET http://josd.github.io/eye/reasoning/mq/queries/query35.n3 FROM ./queries/query35.n3 SC=1
reasoning 6 [msec cputime] 6 [msec walltime]
2020-06-04T10:28:30.054Z mq=35 out=1 inf=8293 sec=0.006 out/sec=167 inf/sec=1382167

GET http://josd.github.io/eye/reasoning/mq/queries/query36.n3 FROM ./queries/query36.n3 SC=1
reasoning 3 [msec cputime] 2 [msec walltime]
2020-06-04T10:28:30.057Z mq=36 out=0 inf=3428 sec=0.002 out/sec=0 inf/sec=1714000

GET http://josd.github.io/eye/reasoning/mq/queries/query37.n3 FROM ./queries/query37.n3 SC=1
reasoning 2 [msec cputime] 2 [msec walltime]
2020-06-04T10:28:30.059Z mq=37 out=0 inf=3400 sec=0.002 out/sec=0 inf/sec=1700000

GET http://josd.github.io/eye/reasoning/mq/queries/query38.n3 FROM ./queries/query38.n3 SC=1
reasoning 7 [msec cputime] 6 [msec walltime]
2020-06-04T10:28:30.066Z mq=38 out=1 inf=8390 sec=0.006 out/sec=167 inf/sec=1398333

GET http://josd.github.io/eye/reasoning/mq/queries/query39.n3 FROM ./queries/query39.n3 SC=1
reasoning 5 [msec cputime] 4 [msec walltime]
2020-06-04T10:28:30.071Z mq=39 out=1 inf=7883 sec=0.004 out/sec=250 inf/sec=1970750

GET http://josd.github.io/eye/reasoning/mq/queries/query40.n3 FROM ./queries/query40.n3 SC=1
reasoning 6 [msec cputime] 6 [msec walltime]
2020-06-04T10:28:30.077Z mq=40 out=1 inf=8280 sec=0.006 out/sec=167 inf/sec=1380000

GET http://josd.github.io/eye/reasoning/mq/queries/query41.n3 FROM ./queries/query41.n3 SC=1
reasoning 3 [msec cputime] 2 [msec walltime]
2020-06-04T10:28:30.080Z mq=41 out=0 inf=3409 sec=0.002 out/sec=0 inf/sec=1704500

GET http://josd.github.io/eye/reasoning/mq/queries/query42.n3 FROM ./queries/query42.n3 SC=1
reasoning 17 [msec cputime] 17 [msec walltime]
2020-06-04T10:28:30.097Z mq=42 out=5 inf=21575 sec=0.017 out/sec=294 inf/sec=1269118

GET http://josd.github.io/eye/reasoning/mq/queries/query43.n3 FROM ./queries/query43.n3 SC=1
reasoning 10 [msec cputime] 9 [msec walltime]
2020-06-04T10:28:30.107Z mq=43 out=3 inf=14572 sec=0.009 out/sec=333 inf/sec=1619111

GET http://josd.github.io/eye/reasoning/mq/queries/query44.n3 FROM ./queries/query44.n3 SC=1
reasoning 7 [msec cputime] 6 [msec walltime]
2020-06-04T10:28:30.114Z mq=44 out=1 inf=8358 sec=0.006 out/sec=167 inf/sec=1393000

GET http://josd.github.io/eye/reasoning/mq/queries/query45.n3 FROM ./queries/query45.n3 SC=1
reasoning 3 [msec cputime] 2 [msec walltime]
2020-06-04T10:28:30.117Z mq=45 out=0 inf=3314 sec=0.002 out/sec=0 inf/sec=1657000

GET http://josd.github.io/eye/reasoning/mq/queries/query46.n3 FROM ./queries/query46.n3 SC=1
reasoning 3 [msec cputime] 3 [msec walltime]
2020-06-04T10:28:30.120Z mq=46 out=0 inf=3471 sec=0.003 out/sec=0 inf/sec=1157000

GET http://josd.github.io/eye/reasoning/mq/queries/query47.n3 FROM ./queries/query47.n3 SC=1
reasoning 3 [msec cputime] 2 [msec walltime]
2020-06-04T10:28:30.123Z mq=47 out=0 inf=3339 sec=0.002 out/sec=0 inf/sec=1669500

GET http://josd.github.io/eye/reasoning/mq/queries/query48.n3 FROM ./queries/query48.n3 SC=1
reasoning 5 [msec cputime] 4 [msec walltime]
2020-06-04T10:28:30.128Z mq=48 out=1 inf=6822 sec=0.004 out/sec=250 inf/sec=1705500

GET http://josd.github.io/eye/reasoning/mq/queries/query49.n3 FROM ./queries/query49.n3 SC=1
reasoning 3 [msec cputime] 2 [msec walltime]
2020-06-04T10:28:30.131Z mq=49 out=0 inf=3399 sec=0.002 out/sec=0 inf/sec=1699500

GET http://josd.github.io/eye/reasoning/mq/queries/query50.n3 FROM ./queries/query50.n3 SC=1
reasoning 9 [msec cputime] 8 [msec walltime]
2020-06-04T10:28:30.140Z mq=50 out=3 inf=14637 sec=0.008 out/sec=375 inf/sec=1829625

GET http://josd.github.io/eye/reasoning/mq/queries/query51.n3 FROM ./queries/query51.n3 SC=1
reasoning 6 [msec cputime] 5 [msec walltime]
2020-06-04T10:28:30.146Z mq=51 out=1 inf=7891 sec=0.005 out/sec=200 inf/sec=1578200

GET http://josd.github.io/eye/reasoning/mq/queries/query52.n3 FROM ./queries/query52.n3 SC=1
reasoning 6 [msec cputime] 6 [msec walltime]
2020-06-04T10:28:30.152Z mq=52 out=1 inf=8269 sec=0.006 out/sec=167 inf/sec=1378167

GET http://josd.github.io/eye/reasoning/mq/queries/query53.n3 FROM ./queries/query53.n3 SC=1
reasoning 8 [msec cputime] 7 [msec walltime]
2020-06-04T10:28:30.160Z mq=53 out=2 inf=10594 sec=0.007 out/sec=286 inf/sec=1513429

GET http://josd.github.io/eye/reasoning/mq/queries/query54.n3 FROM ./queries/query54.n3 SC=1
reasoning 2 [msec cputime] 2 [msec walltime]
2020-06-04T10:28:30.162Z mq=54 out=0 inf=3376 sec=0.002 out/sec=0 inf/sec=1688000

GET http://josd.github.io/eye/reasoning/mq/queries/query55.n3 FROM ./queries/query55.n3 SC=1
reasoning 14 [msec cputime] 13 [msec walltime]
2020-06-04T10:28:30.176Z mq=55 out=5 inf=20077 sec=0.013 out/sec=385 inf/sec=1544385

GET http://josd.github.io/eye/reasoning/mq/queries/query56.n3 FROM ./queries/query56.n3 SC=1
reasoning 6 [msec cputime] 5 [msec walltime]
2020-06-04T10:28:30.182Z mq=56 out=1 inf=8263 sec=0.005 out/sec=200 inf/sec=1652600

GET http://josd.github.io/eye/reasoning/mq/queries/query57.n3 FROM ./queries/query57.n3 SC=1
reasoning 5 [msec cputime] 5 [msec walltime]
2020-06-04T10:28:30.187Z mq=57 out=1 inf=6684 sec=0.005 out/sec=200 inf/sec=1336800

GET http://josd.github.io/eye/reasoning/mq/queries/query58.n3 FROM ./queries/query58.n3 SC=1
reasoning 2 [msec cputime] 2 [msec walltime]
2020-06-04T10:28:30.190Z mq=58 out=0 inf=3457 sec=0.002 out/sec=0 inf/sec=1728500

GET http://josd.github.io/eye/reasoning/mq/queries/query59.n3 FROM ./queries/query59.n3 SC=1
reasoning 7 [msec cputime] 6 [msec walltime]
2020-06-04T10:28:30.197Z mq=59 out=2 inf=10512 sec=0.006 out/sec=333 inf/sec=1752000

GET http://josd.github.io/eye/reasoning/mq/queries/query60.n3 FROM ./queries/query60.n3 SC=1
reasoning 10 [msec cputime] 9 [msec walltime]
2020-06-04T10:28:30.206Z mq=60 out=3 inf=14242 sec=0.009 out/sec=333 inf/sec=1582444

GET http://josd.github.io/eye/reasoning/mq/queries/query61.n3 FROM ./queries/query61.n3 SC=1
reasoning 3 [msec cputime] 2 [msec walltime]
2020-06-04T10:28:30.209Z mq=61 out=0 inf=3393 sec=0.002 out/sec=0 inf/sec=1696500

GET http://josd.github.io/eye/reasoning/mq/queries/query62.n3 FROM ./queries/query62.n3 SC=1
reasoning 12 [msec cputime] 11 [msec walltime]
2020-06-04T10:28:30.221Z mq=62 out=5 inf=18909 sec=0.011 out/sec=455 inf/sec=1719000

GET http://josd.github.io/eye/reasoning/mq/queries/query63.n3 FROM ./queries/query63.n3 SC=1
reasoning 3 [msec cputime] 2 [msec walltime]
2020-06-04T10:28:30.224Z mq=63 out=0 inf=3393 sec=0.002 out/sec=0 inf/sec=1696500

GET http://josd.github.io/eye/reasoning/mq/queries/query64.n3 FROM ./queries/query64.n3 SC=1
reasoning 2 [msec cputime] 2 [msec walltime]
2020-06-04T10:28:30.226Z mq=64 out=0 inf=3469 sec=0.002 out/sec=0 inf/sec=1734500

GET http://josd.github.io/eye/reasoning/mq/queries/query65.n3 FROM ./queries/query65.n3 SC=1
reasoning 5 [msec cputime] 4 [msec walltime]
2020-06-04T10:28:30.231Z mq=65 out=1 inf=6684 sec=0.004 out/sec=250 inf/sec=1671000

GET http://josd.github.io/eye/reasoning/mq/queries/query66.n3 FROM ./queries/query66.n3 SC=1
reasoning 8 [msec cputime] 8 [msec walltime]
2020-06-04T10:28:30.240Z mq=66 out=2 inf=10111 sec=0.008 out/sec=250 inf/sec=1263875

GET http://josd.github.io/eye/reasoning/mq/queries/query67.n3 FROM ./queries/query67.n3 SC=1
reasoning 3 [msec cputime] 2 [msec walltime]
2020-06-04T10:28:30.242Z mq=67 out=0 inf=3422 sec=0.002 out/sec=0 inf/sec=1711000

GET http://josd.github.io/eye/reasoning/mq/queries/query68.n3 FROM ./queries/query68.n3 SC=1
reasoning 6 [msec cputime] 5 [msec walltime]
2020-06-04T10:28:30.248Z mq=68 out=1 inf=7953 sec=0.005 out/sec=200 inf/sec=1590600

GET http://josd.github.io/eye/reasoning/mq/queries/query69.n3 FROM ./queries/query69.n3 SC=1
reasoning 9 [msec cputime] 9 [msec walltime]
2020-06-04T10:28:30.258Z mq=69 out=2 inf=11928 sec=0.009 out/sec=222 inf/sec=1325333

GET http://josd.github.io/eye/reasoning/mq/queries/query70.n3 FROM ./queries/query70.n3 SC=1
reasoning 3 [msec cputime] 2 [msec walltime]
2020-06-04T10:28:30.260Z mq=70 out=0 inf=3372 sec=0.002 out/sec=0 inf/sec=1686000

GET http://josd.github.io/eye/reasoning/mq/queries/query71.n3 FROM ./queries/query71.n3 SC=1
reasoning 12 [msec cputime] 11 [msec walltime]
2020-06-04T10:28:30.272Z mq=71 out=3 inf=14286 sec=0.011 out/sec=273 inf/sec=1298727

GET http://josd.github.io/eye/reasoning/mq/queries/query72.n3 FROM ./queries/query72.n3 SC=1
reasoning 8 [msec cputime] 8 [msec walltime]
2020-06-04T10:28:30.281Z mq=72 out=3 inf=12730 sec=0.008 out/sec=375 inf/sec=1591250

GET http://josd.github.io/eye/reasoning/mq/queries/query73.n3 FROM ./queries/query73.n3 SC=1
reasoning 8 [msec cputime] 8 [msec walltime]
2020-06-04T10:28:30.289Z mq=73 out=2 inf=10546 sec=0.008 out/sec=250 inf/sec=1318250

GET http://josd.github.io/eye/reasoning/mq/queries/query74.n3 FROM ./queries/query74.n3 SC=1
reasoning 7 [msec cputime] 6 [msec walltime]
2020-06-04T10:28:30.295Z mq=74 out=1 inf=8313 sec=0.006 out/sec=167 inf/sec=1385500

GET http://josd.github.io/eye/reasoning/mq/queries/query75.n3 FROM ./queries/query75.n3 SC=1
reasoning 6 [msec cputime] 5 [msec walltime]
2020-06-04T10:28:30.302Z mq=75 out=1 inf=6699 sec=0.005 out/sec=200 inf/sec=1339800

GET http://josd.github.io/eye/reasoning/mq/queries/query76.n3 FROM ./queries/query76.n3 SC=1
reasoning 8 [msec cputime] 7 [msec walltime]
2020-06-04T10:28:30.309Z mq=76 out=1 inf=8338 sec=0.007 out/sec=143 inf/sec=1191143

GET http://josd.github.io/eye/reasoning/mq/queries/query77.n3 FROM ./queries/query77.n3 SC=1
reasoning 6 [msec cputime] 5 [msec walltime]
2020-06-04T10:28:30.315Z mq=77 out=1 inf=7895 sec=0.005 out/sec=200 inf/sec=1579000

GET http://josd.github.io/eye/reasoning/mq/queries/query78.n3 FROM ./queries/query78.n3 SC=1
reasoning 13 [msec cputime] 12 [msec walltime]
2020-06-04T10:28:30.328Z mq=78 out=5 inf=18670 sec=0.012 out/sec=417 inf/sec=1555833

GET http://josd.github.io/eye/reasoning/mq/queries/query79.n3 FROM ./queries/query79.n3 SC=1
reasoning 9 [msec cputime] 9 [msec walltime]
2020-06-04T10:28:30.338Z mq=79 out=3 inf=14637 sec=0.009 out/sec=333 inf/sec=1626333

GET http://josd.github.io/eye/reasoning/mq/queries/query80.n3 FROM ./queries/query80.n3 SC=1
reasoning 2 [msec cputime] 2 [msec walltime]
2020-06-04T10:28:30.340Z mq=80 out=0 inf=3415 sec=0.002 out/sec=0 inf/sec=1707500

GET http://josd.github.io/eye/reasoning/mq/queries/query81.n3 FROM ./queries/query81.n3 SC=1
reasoning 3 [msec cputime] 2 [msec walltime]
2020-06-04T10:28:30.342Z mq=81 out=0 inf=3397 sec=0.002 out/sec=0 inf/sec=1698500

GET http://josd.github.io/eye/reasoning/mq/queries/query82.n3 FROM ./queries/query82.n3 SC=1
reasoning 2 [msec cputime] 2 [msec walltime]
2020-06-04T10:28:30.345Z mq=82 out=0 inf=3398 sec=0.002 out/sec=0 inf/sec=1699000

GET http://josd.github.io/eye/reasoning/mq/queries/query83.n3 FROM ./queries/query83.n3 SC=1
reasoning 7 [msec cputime] 6 [msec walltime]
2020-06-04T10:28:30.352Z mq=83 out=2 inf=10527 sec=0.006 out/sec=333 inf/sec=1754500

GET http://josd.github.io/eye/reasoning/mq/queries/query84.n3 FROM ./queries/query84.n3 SC=1
reasoning 2 [msec cputime] 2 [msec walltime]
2020-06-04T10:28:30.354Z mq=84 out=0 inf=3409 sec=0.002 out/sec=0 inf/sec=1704500

GET http://josd.github.io/eye/reasoning/mq/queries/query85.n3 FROM ./queries/query85.n3 SC=1
reasoning 3 [msec cputime] 2 [msec walltime]
2020-06-04T10:28:30.357Z mq=85 out=0 inf=3464 sec=0.002 out/sec=0 inf/sec=1732000

GET http://josd.github.io/eye/reasoning/mq/queries/query86.n3 FROM ./queries/query86.n3 SC=1
reasoning 6 [msec cputime] 5 [msec walltime]
2020-06-04T10:28:30.363Z mq=86 out=1 inf=8364 sec=0.005 out/sec=200 inf/sec=1672800

GET http://josd.github.io/eye/reasoning/mq/queries/query87.n3 FROM ./queries/query87.n3 SC=1
reasoning 4 [msec cputime] 3 [msec walltime]
2020-06-04T10:28:30.366Z mq=87 out=0 inf=3413 sec=0.003 out/sec=0 inf/sec=1137667

GET http://josd.github.io/eye/reasoning/mq/queries/query88.n3 FROM ./queries/query88.n3 SC=1
reasoning 5 [msec cputime] 5 [msec walltime]
2020-06-04T10:28:30.372Z mq=88 out=1 inf=8314 sec=0.005 out/sec=200 inf/sec=1662800

GET http://josd.github.io/eye/reasoning/mq/queries/query89.n3 FROM ./queries/query89.n3 SC=1
reasoning 5 [msec cputime] 4 [msec walltime]
2020-06-04T10:28:30.377Z mq=89 out=1 inf=7950 sec=0.004 out/sec=250 inf/sec=1987500

GET http://josd.github.io/eye/reasoning/mq/queries/query90.n3 FROM ./queries/query90.n3 SC=1
reasoning 6 [msec cputime] 5 [msec walltime]
2020-06-04T10:28:30.383Z mq=90 out=1 inf=7947 sec=0.005 out/sec=200 inf/sec=1589400

GET http://josd.github.io/eye/reasoning/mq/queries/query91.n3 FROM ./queries/query91.n3 SC=1
reasoning 2 [msec cputime] 2 [msec walltime]
2020-06-04T10:28:30.385Z mq=91 out=0 inf=3372 sec=0.002 out/sec=0 inf/sec=1686000

GET http://josd.github.io/eye/reasoning/mq/queries/query92.n3 FROM ./queries/query92.n3 SC=1
reasoning 3 [msec cputime] 2 [msec walltime]
2020-06-04T10:28:30.388Z mq=92 out=0 inf=3370 sec=0.002 out/sec=0 inf/sec=1685000

GET http://josd.github.io/eye/reasoning/mq/queries/query93.n3 FROM ./queries/query93.n3 SC=1
reasoning 6 [msec cputime] 6 [msec walltime]
2020-06-04T10:28:30.394Z mq=93 out=1 inf=8393 sec=0.006 out/sec=167 inf/sec=1398833

GET http://josd.github.io/eye/reasoning/mq/queries/query94.n3 FROM ./queries/query94.n3 SC=1
reasoning 8 [msec cputime] 7 [msec walltime]
2020-06-04T10:28:30.402Z mq=94 out=2 inf=11962 sec=0.007 out/sec=286 inf/sec=1708857

GET http://josd.github.io/eye/reasoning/mq/queries/query95.n3 FROM ./queries/query95.n3 SC=1
reasoning 3 [msec cputime] 2 [msec walltime]
2020-06-04T10:28:30.405Z mq=95 out=0 inf=3428 sec=0.002 out/sec=0 inf/sec=1714000

GET http://josd.github.io/eye/reasoning/mq/queries/query96.n3 FROM ./queries/query96.n3 SC=1
reasoning 5 [msec cputime] 4 [msec walltime]
2020-06-04T10:28:30.410Z mq=96 out=1 inf=7895 sec=0.004 out/sec=250 inf/sec=1973750

GET http://josd.github.io/eye/reasoning/mq/queries/query97.n3 FROM ./queries/query97.n3 SC=1
reasoning 7 [msec cputime] 6 [msec walltime]
2020-06-04T10:28:30.417Z mq=97 out=2 inf=11238 sec=0.006 out/sec=333 inf/sec=1873000

GET http://josd.github.io/eye/reasoning/mq/queries/query98.n3 FROM ./queries/query98.n3 SC=1
reasoning 13 [msec cputime] 12 [msec walltime]
2020-06-04T10:28:30.430Z mq=98 out=5 inf=18632 sec=0.012 out/sec=417 inf/sec=1552667

GET http://josd.github.io/eye/reasoning/mq/queries/query99.n3 FROM ./queries/query99.n3 SC=1
reasoning 2 [msec cputime] 2 [msec walltime]
2020-06-04T10:28:30.432Z mq=99 out=0 inf=3313 sec=0.002 out/sec=0 inf/sec=1656500

GET http://josd.github.io/eye/reasoning/mq/queries/query100.n3 FROM ./queries/query100.n3 SC=1
reasoning 3 [msec cputime] 2 [msec walltime]
2020-06-04T10:28:30.435Z mq=100 out=0 inf=3380 sec=0.002 out/sec=0 inf/sec=1690000

2020-06-04T10:28:30.435Z in=100100 out=117 ent=117 step=117 brake=100 inf=5606122 sec=4.205 inf/sec=1333204

eye --nope example.n3 --pass
EYE v20.0603.2122 josd
SWI-Prolog version 8.3.0
starting 71 [msec cputime] 84 [msec walltime]
GET file:///home/jdroo/github.com/josd/eye/reasoning/n3*/example.n3 SC=8
networking 6 [msec cputime] 6 [msec walltime]
reasoning 2 [msec cputime] 1 [msec walltime]
2020-06-04T10:28:30.682Z in=8 out=8 ent=5 step=12 brake=2 inf=19925 sec=0.079 inf/sec=252215

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.0603.2122 josd
SWI-Prolog version 8.3.0
starting 71 [msec cputime] 90 [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_4591_1
Done: translated 2 triples in 0.4 ms (5325 triples/s)
SC=2
GET http://josd.github.io/eye/reasoning/n3c/notIn_query.n3 SC=1
networking 15 [msec cputime] 1826 [msec walltime]
GET http://josd.github.io/eye/reasoning/n3c/tasks.n3 SC=2
reasoning 4 [msec cputime] 294 [msec walltime]
2020-06-04T10:28:33.014Z in=7 out=2 ent=2 step=2 brake=1 inf=20695 sec=0.090 inf/sec=229944

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.0603.2122 josd
SWI-Prolog version 8.3.0
starting 67 [msec cputime] 87 [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_4617_1
Done: translated 2 triples in 0.3 ms (6004 triples/s)
SC=2
GET http://josd.github.io/eye/reasoning/n3c/forAllIn_query.n3 SC=1
networking 13 [msec cputime] 1189 [msec walltime]
GET http://josd.github.io/eye/reasoning/n3c/subtasks.n3 SC=9
reasoning 6 [msec cputime] 489 [msec walltime]
2020-06-04T10:28:34.890Z in=14 out=1 ent=1 step=1 brake=1 inf=23624 sec=0.086 inf/sec=274698

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.0603.2122 josd
SWI-Prolog version 8.3.0
starting 68 [msec cputime] 88 [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_4639_1
Done: translated 2 triples in 0.5 ms (4338 triples/s)
SC=2
GET http://josd.github.io/eye/reasoning/n3c/notIn_query.n3 SC=1
networking 14 [msec cputime] 899 [msec walltime]
GET http://josd.github.io/eye/reasoning/n3c/tasks.n3 SC=2
reasoning 12 [msec cputime] 372 [msec walltime]
2020-06-04T10:28:36.359Z in=7 out=2 ent=2 step=2 brake=1 inf=30890 sec=0.094 inf/sec=328617

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.0603.2122 josd
SWI-Prolog version 8.3.0
starting 71 [msec cputime] 88 [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_4661_1
Done: translated 2 triples in 0.3 ms (6736 triples/s)
SC=2
GET http://josd.github.io/eye/reasoning/n3c/forAllIn_query.n3 SC=1
networking 16 [msec cputime] 901 [msec walltime]
GET http://josd.github.io/eye/reasoning/n3c/subtasks.n3 SC=9
reasoning 14 [msec cputime] 301 [msec walltime]
2020-06-04T10:28:37.759Z in=14 out=1 ent=1 step=1 brake=1 inf=37003 sec=0.101 inf/sec=366366

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.0603.2122 josd
SWI-Prolog version 8.3.0
starting 68 [msec cputime] 85 [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 44 [msec cputime] 1930 [msec walltime]
reasoning 43 [msec cputime] 42 [msec walltime]
2020-06-04T10:28:39.941Z in=19 out=1 ent=1 step=1 brake=2 inf=134256 sec=0.155 inf/sec=866168

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.0603.2122 josd
SWI-Prolog version 8.3.0
starting 69 [msec cputime] 87 [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 12 [msec cputime] 1430 [msec walltime]
reasoning 1871 [msec cputime] 1890 [msec walltime]
2020-06-04T10:28:43.469Z in=4 out=1 ent=1 step=1 brake=1 inf=4409273 sec=1.952 inf/sec=2258849

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.0603.2122 josd
SWI-Prolog version 8.3.0
starting 69 [msec cputime] 85 [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 19 [msec cputime] 1434 [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 19 [msec cputime] 1401 [msec walltime]
2020-06-04T10:28:46.572Z in=17 out=1 ent=2 step=4 brake=4 inf=46354 sec=0.107 inf/sec=433215

eye --no-genid --nope palindrome.n3 palindrome-declarations.n3 preduction-plugin.n3 --query palindrome-preduction.n3
EYE v20.0603.2122 josd
SWI-Prolog version 8.3.0
starting 67 [msec cputime] 85 [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 25 [msec cputime] 26 [msec walltime]
reasoning 5 [msec cputime] 5 [msec walltime]
2020-06-04T10:28:46.806Z in=24 out=6 ent=6 step=6 brake=1 inf=59155 sec=0.097 inf/sec=609845

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.0603.2122 josd
SWI-Prolog version 8.3.0
starting 67 [msec cputime] 83 [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 13 [msec cputime] 922 [msec walltime]
reasoning 94 [msec cputime] 94 [msec walltime]
2020-06-04T10:28:48.017Z in=10 out=1 ent=1 step=1 brake=1 inf=229492 sec=0.174 inf/sec=1318920

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.0603.2122 josd
SWI-Prolog version 8.3.0
starting 65 [msec cputime] 79 [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 17 [msec cputime] 923 [msec walltime]
reasoning 62 [msec cputime] 62 [msec walltime]
2020-06-04T10:28:49.194Z in=7 out=1 ent=1 step=1 brake=1 inf=162474 sec=0.144 inf/sec=1128292

eye --no-genid --nope food.n3 food-declarations.n3 preduction-plugin.n3 --query food-preduction.n3
EYE v20.0603.2122 josd
SWI-Prolog version 8.3.0
starting 68 [msec cputime] 85 [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 22 [msec cputime] 22 [msec walltime]
GET http://josd.github.io/eye/reasoning/rpo/rdfs-subClassOf.n3 SC=4
reasoning 25 [msec cputime] 514 [msec walltime]
2020-06-04T10:28:49.928Z in=50 out=35 ent=35 step=35 brake=1 inf=97692 sec=0.115 inf/sec=849496

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.0603.2122 josd
SWI-Prolog version 8.3.0
starting 65 [msec cputime] 83 [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 32 [msec cputime] 1833 [msec walltime]
reasoning 32 [msec cputime] 32 [msec walltime]
2020-06-04T10:28:51.987Z in=45 out=16 ent=91 step=338 brake=3 inf=95234 sec=0.129 inf/sec=738248

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.0603.2122 josd
SWI-Prolog version 8.3.0
starting 67 [msec cputime] 84 [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 28 [msec cputime] 1103 [msec walltime]
reasoning 25 [msec cputime] 25 [msec walltime]
2020-06-04T10:28:53.312Z in=41 out=16 ent=27 step=115 brake=5 inf=85343 sec=0.120 inf/sec=711192

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.0603.2122 josd
SWI-Prolog version 8.3.0
starting 71 [msec cputime] 84 [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 24 [msec cputime] 1171 [msec walltime]
reasoning 24 [msec cputime] 24 [msec walltime]
2020-06-04T10:28:54.721Z in=10 out=4 ent=47 step=7 brake=1 inf=95017 sec=0.119 inf/sec=798462

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.0603.2122 josd
SWI-Prolog version 8.3.0
starting 71 [msec cputime] 89 [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 25 [msec cputime] 1511 [msec walltime]
reasoning 35 [msec cputime] 35 [msec walltime]
2020-06-04T10:28:56.477Z in=11 out=1 ent=209 step=218 brake=1 inf=110054 sec=0.131 inf/sec=840107

eye --no-genid http://josd.github.io/eye/reasoning/rgb/redgraph001.n3 --query http://josd.github.io/eye/reasoning/rgb/greenquery001.n3
EYE v20.0603.2122 josd
SWI-Prolog version 8.3.0
starting 70 [msec cputime] 87 [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 9 [msec cputime] 910 [msec walltime]
reasoning 7 [msec cputime] 7 [msec walltime]
2020-06-04T10:28:57.601Z in=5 out=2 ent=2 step=2 brake=1 inf=20358 sec=0.086 inf/sec=236721

eye --no-genid http://josd.github.io/eye/reasoning/rgb/redgraph002.n3 --query http://josd.github.io/eye/reasoning/rgb/greenquery002.n3
EYE v20.0603.2122 josd
SWI-Prolog version 8.3.0
starting 67 [msec cputime] 84 [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 10 [msec cputime] 989 [msec walltime]
reasoning 4 [msec cputime] 4 [msec walltime]
2020-06-04T10:28:58.789Z in=5 out=2 ent=2 step=2 brake=1 inf=20337 sec=0.081 inf/sec=251074

eye --no-genid http://josd.github.io/eye/reasoning/rgb/redgraph003.n3 --query http://josd.github.io/eye/reasoning/rgb/greenquery003.n3
EYE v20.0603.2122 josd
SWI-Prolog version 8.3.0
starting 66 [msec cputime] 83 [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 8 [msec cputime] 990 [msec walltime]
reasoning 7 [msec cputime] 6 [msec walltime]
2020-06-04T10:28:59.981Z in=5 out=2 ent=2 step=2 brake=1 inf=19447 sec=0.081 inf/sec=240086

eye --no-genid http://josd.github.io/eye/reasoning/rif/rifP.n3 --query http://josd.github.io/eye/reasoning/rif/rifQ.n3
EYE v20.0603.2122 josd
SWI-Prolog version 8.3.0
starting 66 [msec cputime] 86 [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 141 [msec cputime] 1166 [msec walltime]
reasoning 611 [msec cputime] 611 [msec walltime]
2020-06-04T10:29:01.965Z in=224 out=222 ent=443 step=1776 brake=4 inf=1851969 sec=0.818 inf/sec=2264021

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.0603.2122 josd
SWI-Prolog version 8.3.0
starting 70 [msec cputime] 85 [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 33 [msec cputime] 1773 [msec walltime]
reasoning 29 [msec cputime] 28 [msec walltime]
2020-06-04T10:29:03.987Z in=45 out=16 ent=91 step=338 brake=3 inf=95898 sec=0.132 inf/sec=726500

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.0603.2122 josd
SWI-Prolog version 8.3.0
starting 69 [msec cputime] 86 [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 12 [msec cputime] 946 [msec walltime]
GET http://josd.github.io/eye/reasoning/rs/graph-1000.n3 SC=1000
reasoning 569 [msec cputime] 1116 [msec walltime]
2020-06-04T10:29:06.259Z in=1002 out=1 ent=1 step=1 brake=2 inf=1561111 sec=0.650 inf/sec=2401709

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.0603.2122 josd
SWI-Prolog version 8.3.0
starting 68 [msec cputime] 84 [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 83 [msec cputime] 1701 [msec walltime]
reasoning 11 [msec cputime] 10 [msec walltime]
2020-06-04T10:29:08.185Z in=110 out=1 ent=12 step=28 brake=2 inf=203417 sec=0.162 inf/sec=1255660

eye --no-genid http://josd.github.io/eye/reasoning/socrates/socrates.n3 --query http://josd.github.io/eye/reasoning/socrates/socratesF.n3
EYE v20.0603.2122 josd
SWI-Prolog version 8.3.0
starting 69 [msec cputime] 84 [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 8 [msec cputime] 1259 [msec walltime]
reasoning 4 [msec cputime] 4 [msec walltime]
2020-06-04T10:29:09.656Z in=4 out=2 ent=3 step=6 brake=2 inf=22647 sec=0.081 inf/sec=279593

eye --no-genid --nope http://josd.github.io/eye/reasoning/streason/streason-rules.n3 --turtle - --streaming-reasoning
EYE v20.0603.2122 josd
SWI-Prolog version 8.3.0
starting 72 [msec cputime] 91 [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.3 ms (37598 triples/s)
SC=10
2020-06-04T10:29:10.891Z in=16 out=101 ent=0 step=0 brake=0 inf=31700 sec=0.093 inf/sec=340860

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.0603.2122 josd
SWI-Prolog version 8.3.0
starting 70 [msec cputime] 88 [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 83 [msec cputime] 1663 [msec walltime]
reasoning 22 [msec cputime] 22 [msec walltime]
2020-06-04T10:29:12.787Z in=501 out=81 ent=81 step=81 brake=1 inf=222191 sec=0.175 inf/sec=1269663

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.0603.2122 josd
SWI-Prolog version 8.3.0
starting 66 [msec cputime] 82 [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 83 [msec cputime] 1563 [msec walltime]
reasoning 19 [msec cputime] 18 [msec walltime]
2020-06-04T10:29:14.562Z in=501 out=54 ent=54 step=54 brake=1 inf=217854 sec=0.168 inf/sec=1296750

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.0603.2122 josd
SWI-Prolog version 8.3.0
starting 66 [msec cputime] 83 [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 91 [msec cputime] 1257 [msec walltime]
reasoning 16 [msec cputime] 15 [msec walltime]
2020-06-04T10:29:16.030Z in=501 out=46 ent=46 step=46 brake=1 inf=212918 sec=0.173 inf/sec=1230740

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.0603.2122 josd
SWI-Prolog version 8.3.0
starting 67 [msec cputime] 83 [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 86 [msec cputime] 1250 [msec walltime]
reasoning 11 [msec cputime] 10 [msec walltime]
2020-06-04T10:29:17.486Z in=501 out=19 ent=19 step=19 brake=1 inf=199326 sec=0.164 inf/sec=1215402

eye --no-genid http://josd.github.io/eye/reasoning/swet/swetA.n3 --query http://josd.github.io/eye/reasoning/swet/swetQ.n3
EYE v20.0603.2122 josd
SWI-Prolog version 8.3.0
starting 67 [msec cputime] 83 [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 54 [msec cputime] 797 [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 219 [msec cputime] 2349 [msec walltime]
2020-06-04T10:29:20.825Z in=303 out=3 ent=3 step=3 brake=1 inf=631108 sec=0.340 inf/sec=1856200

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.0603.2122 josd
SWI-Prolog version 8.3.0
starting 69 [msec cputime] 86 [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 13 [msec cputime] 1053 [msec walltime]
reasoning 690 [msec cputime] 714 [msec walltime]
2020-06-04T10:29:22.806Z in=3 out=1 ent=1 step=1 brake=1 inf=1353711 sec=0.772 inf/sec=1753512

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.0603.2122 josd
SWI-Prolog version 8.3.0
starting 71 [msec cputime] 90 [msec walltime]
GET http://josd.github.io/eye/reasoning/tfcontext/data-001.n3 translating file:///tmp/swipl_eye_5161_0
Done: translated 7 triples in 0.4 ms (18247 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 19 [msec cputime] 1569 [msec walltime]
reasoning 38 [msec cputime] 38 [msec walltime]
2020-06-04T10:29:24.632Z in=9 out=7 ent=21 step=42 brake=4 inf=89498 sec=0.128 inf/sec=699203

eye --no-genid http://josd.github.io/eye/reasoning/turing/turing.n3 --query http://josd.github.io/eye/reasoning/turing/turingQ.n3
EYE v20.0603.2122 josd
SWI-Prolog version 8.3.0
starting 68 [msec cputime] 84 [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 23 [msec cputime] 897 [msec walltime]
reasoning 36 [msec cputime] 36 [msec walltime]
2020-06-04T10:29:25.772Z in=18 out=1 ent=1 step=1 brake=1 inf=98816 sec=0.127 inf/sec=778079

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.0603.2122 josd
SWI-Prolog version 8.3.0
starting 70 [msec cputime] 85 [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 20 [msec cputime] 961 [msec walltime]
reasoning 26 [msec cputime] 26 [msec walltime]
2020-06-04T10:29:26.968Z in=21 out=2 ent=24 step=88 brake=5 inf=77200 sec=0.116 inf/sec=665517

eye --no-genid http://josd.github.io/eye/reasoning/utf8/utf8.n3 --pass
EYE v20.0603.2122 josd
SWI-Prolog version 8.3.0
starting 68 [msec cputime] 87 [msec walltime]
GET http://josd.github.io/eye/reasoning/utf8/utf8.n3 SC=5
networking 6 [msec cputime] 1583 [msec walltime]
reasoning 11 [msec cputime] 10 [msec walltime]
2020-06-04T10:29:28.773Z in=5 out=5 ent=5 step=5 brake=1 inf=22516 sec=0.085 inf/sec=264894

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.0603.2122 josd
SWI-Prolog version 8.3.0
starting 69 [msec cputime] 86 [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 10 [msec cputime] 921 [msec walltime]
reasoning 9 [msec cputime] 9 [msec walltime]
2020-06-04T10:29:29.911Z in=8 out=1 ent=7 step=25 brake=5 inf=27373 sec=0.088 inf/sec=311057

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.0603.2122 josd
SWI-Prolog version 8.3.0
starting 68 [msec cputime] 85 [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 40 [msec cputime] 1653 [msec walltime]
reasoning 38 [msec cputime] 37 [msec walltime]
2020-06-04T10:29:31.799Z in=96 out=1 ent=14 step=43 brake=3 inf=88749 sec=0.146 inf/sec=607870

