eye --no-genid http://josd.github.io/eye/reasoning/3outof5/sample.n3 --query http://josd.github.io/eye/reasoning/3outof5/query.n3
EYE v20.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 23 [msec cputime] 28 [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 5 [msec cputime] 1113 [msec walltime]
reasoning 4 [msec cputime] 4 [msec walltime]
2020-10-23T20:15:40.318Z in=6 out=1 ent=1 step=1 brake=2 inf=39529 sec=0.032 inf/sec=1235281

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.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 26 [msec cputime] 30 [msec walltime]
GET http://josd.github.io/eye/reasoning/4color/4color_data.n3 translating file:///tmp/swipl_eye_19918_0
Done: translated 28 triples in 0.5 ms (59022 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 8 [msec cputime] 1225 [msec walltime]
reasoning 5 [msec cputime] 5 [msec walltime]
2020-10-23T20:15:41.695Z in=31 out=2 ent=2 step=2 brake=2 inf=56789 sec=0.039 inf/sec=1456128

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.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 23 [msec cputime] 30 [msec walltime]
GET http://josd.github.io/eye/reasoning/4color/4color_data.n3 translating file:///tmp/swipl_eye_19936_0
Done: translated 28 triples in 0.3 ms (82620 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 9 [msec cputime] 658 [msec walltime]
reasoning 38 [msec cputime] 38 [msec walltime]
2020-10-23T20:15:42.533Z in=31 out=2 ent=2 step=2 brake=2 inf=401176 sec=0.070 inf/sec=5731086

eye --no-genid --nope --wcache http://josd.github.io/eye/reasoning/4eq . --pl http://josd.github.io/eye/reasoning/4eq/4eq_program.pl --query http://josd.github.io/eye/reasoning/4eq/4eq_query.n3
EYE v20.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 24 [msec cputime] 26 [msec walltime]
GET http://josd.github.io/eye/reasoning/4eq/4eq_program.pl FROM ./4eq_program.pl 
GET http://josd.github.io/eye/reasoning/4eq/4eq_query.n3 FROM ./4eq_query.n3 SC=1
networking 66 [msec cputime] 78 [msec walltime]
reasoning 1 [msec cputime] 0 [msec walltime]
2020-10-23T20:15:42.760Z in=1 out=1 ent=1 step=1 brake=1 inf=460196 sec=0.091 inf/sec=5057099

eye --no-genid --wcache http://josd.github.io/eye/reasoning/4eq . --pl http://josd.github.io/eye/reasoning/4eq/4eq_program.pl --query http://josd.github.io/eye/reasoning/4eq/4eq_query.n3
EYE v20.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 26 [msec cputime] 31 [msec walltime]
GET http://josd.github.io/eye/reasoning/4eq/4eq_program.pl FROM ./4eq_program.pl 
GET http://josd.github.io/eye/reasoning/4eq/4eq_query.n3 FROM ./4eq_query.n3 SC=1
networking 62 [msec cputime] 62 [msec walltime]
reasoning 2 [msec cputime] 2 [msec walltime]
2020-10-23T20:15:42.962Z in=1 out=1 ent=1 step=1 brake=1 inf=471704 sec=0.090 inf/sec=5241156

eye --no-genid --nope http://josd.github.io/eye/reasoning/bi/biP.n3 --query http://josd.github.io/eye/reasoning/bi/biQ.n3
EYE v20.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 25 [msec cputime] 27 [msec walltime]
GET http://josd.github.io/eye/reasoning/bi/biP.n3 SC=108
GET http://josd.github.io/eye/reasoning/bi/biQ.n3 SC=2
networking 21 [msec cputime] 852 [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 45 [msec cputime] 1258 [msec walltime]
2020-10-23T20:15:45.215Z in=129 out=96 ent=197 step=895 brake=6 inf=490144 sec=0.091 inf/sec=5386198

eye --no-genid http://josd.github.io/eye/reasoning/bi/biP.n3 --query http://josd.github.io/eye/reasoning/bi/biQ.n3
EYE v20.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 26 [msec cputime] 30 [msec walltime]
GET http://josd.github.io/eye/reasoning/bi/biP.n3 SC=108
GET http://josd.github.io/eye/reasoning/bi/biQ.n3 SC=2
networking 20 [msec cputime] 439 [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 106 [msec cputime] 780 [msec walltime]
2020-10-23T20:15:46.573Z in=129 out=96 ent=197 step=895 brake=6 inf=1132670 sec=0.152 inf/sec=7451776

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.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 28 [msec cputime] 30 [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 35 [msec cputime] 2232 [msec walltime]
reasoning 26 [msec cputime] 26 [msec walltime]
2020-10-23T20:15:48.978Z in=97 out=50 ent=100 step=48 brake=4 inf=406517 sec=0.089 inf/sec=4567607

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.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 22 [msec cputime] 25 [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 500 [msec cputime] 5208 [msec walltime]
reasoning 732 [msec cputime] 732 [msec walltime]
2020-10-23T20:15:55.061Z in=9841 out=1518 ent=1518 step=1518 brake=1 inf=11839841 sec=1.254 inf/sec=9441659

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.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 25 [msec cputime] 27 [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 6 [msec cputime] 7 [msec walltime]
reasoning 2 [msec cputime] 2 [msec walltime]
2020-10-23T20:15:55.245Z in=54 out=17 ent=24 step=110 brake=2 inf=53668 sec=0.033 inf/sec=1626303

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.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 28 [msec cputime] 32 [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 6 [msec cputime] 6 [msec walltime]
reasoning 19 [msec cputime] 19 [msec walltime]
2020-10-23T20:15:55.410Z in=54 out=17 ent=41 step=254 brake=4 inf=179584 sec=0.053 inf/sec=3388377

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.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 23 [msec cputime] 27 [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 9 [msec cputime] 10 [msec walltime]
reasoning 2 [msec cputime] 2 [msec walltime]
2020-10-23T20:15:55.557Z in=40 out=4 ent=3 step=6 brake=2 inf=82757 sec=0.034 inf/sec=2434029

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.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 25 [msec cputime] 30 [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 11 [msec cputime] 10 [msec walltime]
reasoning 28 [msec cputime] 28 [msec walltime]
2020-10-23T20:15:55.731Z in=40 out=4 ent=7 step=20 brake=4 inf=329354 sec=0.064 inf/sec=5146156

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.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 23 [msec cputime] 25 [msec walltime]
GET http://josd.github.io/eye/reasoning/complex/complex_query.n3 FROM ./complex_query.n3 SC=1
networking 1 [msec cputime] 2 [msec walltime]
reasoning 1 [msec cputime] 0 [msec walltime]
2020-10-23T20:15:55.880Z in=1 out=2 ent=2 step=1 brake=1 inf=16401 sec=0.025 inf/sec=656040

eye --no-genid --hmac-key k123 http://josd.github.io/eye/reasoning/crypto/cryptoP.n3 --pass
EYE v20.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 23 [msec cputime] 25 [msec walltime]
GET http://josd.github.io/eye/reasoning/crypto/cryptoP.n3 SC=3
networking 3 [msec cputime] 393 [msec walltime]
reasoning 5 [msec cputime] 4 [msec walltime]
2020-10-23T20:15:56.418Z in=3 out=3 ent=6 step=12 brake=2 inf=26339 sec=0.031 inf/sec=849645

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.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 26 [msec cputime] 31 [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 4 [msec cputime] 5 [msec walltime]
reasoning 1 [msec cputime] 0 [msec walltime]
2020-10-23T20:15:56.574Z in=15 out=2 ent=4 step=8 brake=2 inf=31876 sec=0.031 inf/sec=1028258

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.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 25 [msec cputime] 32 [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 4 [msec cputime] 4 [msec walltime]
reasoning 3 [msec cputime] 3 [msec walltime]
2020-10-23T20:15:56.717Z in=15 out=2 ent=4 step=8 brake=2 inf=50319 sec=0.032 inf/sec=1572469

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.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 26 [msec cputime] 28 [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 5 [msec cputime] 839 [msec walltime]
reasoning 2 [msec cputime] 2 [msec walltime]
2020-10-23T20:15:57.705Z in=18 out=85 ent=0 step=0 brake=1 inf=28831 sec=0.033 inf/sec=873667

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.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 20 [msec cputime] 24 [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 7 [msec cputime] 462 [msec walltime]
reasoning 12 [msec cputime] 11 [msec walltime]
2020-10-23T20:15:58.307Z in=18 out=17 ent=17 step=17 brake=2 inf=76218 sec=0.039 inf/sec=1954308

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.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 23 [msec cputime] 26 [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 7 [msec cputime] 624 [msec walltime]
reasoning 8 [msec cputime] 7 [msec walltime]
2020-10-23T20:15:59.075Z in=6 out=5 ent=5 step=5 brake=2 inf=40710 sec=0.038 inf/sec=1071316

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.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 30 [msec cputime] 33 [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 5 [msec cputime] 1269 [msec walltime]
reasoning 4 [msec cputime] 3 [msec walltime]
2020-10-23T20:16:00.512Z in=8 out=1 ent=6 step=18 brake=3 inf=26058 sec=0.039 inf/sec=668154

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.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 24 [msec cputime] 26 [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 7 [msec cputime] 803 [msec walltime]
reasoning 7 [msec cputime] 759 [msec walltime]
2020-10-23T20:16:02.219Z in=10 out=1 ent=2 step=2 brake=1 inf=48092 sec=0.038 inf/sec=1265579

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.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 24 [msec cputime] 28 [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 9 [msec cputime] 2231 [msec walltime]
reasoning 10 [msec cputime] 9 [msec walltime]
2020-10-23T20:16:04.602Z in=16 out=2 ent=32 step=120 brake=4 inf=56530 sec=0.043 inf/sec=1314651

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.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 22 [msec cputime] 26 [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 4 [msec cputime] 4 [msec walltime]
reasoning 0 [msec cputime] 0 [msec walltime]
2020-10-23T20:16:04.746Z in=29 out=24 ent=0 step=0 brake=1 inf=34449 sec=0.026 inf/sec=1324962

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.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 23 [msec cputime] 25 [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 4 [msec cputime] 4 [msec walltime]
reasoning 10 [msec cputime] 9 [msec walltime]
2020-10-23T20:16:04.891Z in=29 out=14 ent=14 step=24 brake=1 inf=92938 sec=0.037 inf/sec=2511838

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.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 26 [msec cputime] 31 [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 3 [msec cputime] 3 [msec walltime]
reasoning 1 [msec cputime] 0 [msec walltime]
2020-10-23T20:16:05.033Z in=25 out=4 ent=4 step=4 brake=2 inf=26788 sec=0.030 inf/sec=892933

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.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 26 [msec cputime] 31 [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 4 [msec cputime] 3 [msec walltime]
reasoning 2 [msec cputime] 2 [msec walltime]
2020-10-23T20:16:05.177Z in=25 out=4 ent=4 step=4 brake=2 inf=39507 sec=0.032 inf/sec=1234594

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.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 24 [msec cputime] 26 [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 205 [msec cputime] 1572 [msec walltime]
reasoning 178 [msec cputime] 178 [msec walltime]
2020-10-23T20:16:07.073Z in=3004 out=1 ent=2999 step=5998 brake=2 inf=4208268 sec=0.407 inf/sec=10339725

eye --no-genid --nope --tactic limited-answer 1 --wcache http://josd.github.io/eye/reasoning/ea . --pl http://josd.github.io/eye/reasoning/ea/ea_program.pl --query http://josd.github.io/eye/reasoning/ea/ea_query.n3
EYE v20.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 22 [msec cputime] 25 [msec walltime]
GET http://josd.github.io/eye/reasoning/ea/ea_program.pl FROM ./ea_program.pl 
GET http://josd.github.io/eye/reasoning/ea/ea_query.n3 FROM ./ea_query.n3 SC=1
networking 2 [msec cputime] 3 [msec walltime]
reasoning 237 [msec cputime] 242 [msec walltime]
2020-10-23T20:16:07.466Z in=1 out=1 ent=1 step=1 brake=1 inf=2455461 sec=0.261 inf/sec=9407897

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.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 24 [msec cputime] 28 [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 9 [msec cputime] 799 [msec walltime]
reasoning 11 [msec cputime] 11 [msec walltime]
2020-10-23T20:16:08.421Z in=29 out=26 ent=52 step=104 brake=2 inf=128148 sec=0.044 inf/sec=2912455

eye --no-genid http://josd.github.io/eye/reasoning/easter/easterP.n3 --query http://josd.github.io/eye/reasoning/easter/easterF.n3
EYE v20.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 22 [msec cputime] 28 [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 12 [msec cputime] 448 [msec walltime]
reasoning 46 [msec cputime] 45 [msec walltime]
2020-10-23T20:16:09.052Z in=29 out=26 ent=52 step=104 brake=2 inf=518710 sec=0.080 inf/sec=6483875

eye --no-genid http://josd.github.io/eye/reasoning/einstein/einstein.n3 --query http://josd.github.io/eye/reasoning/einstein/einsteinQ.n3
EYE v20.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 24 [msec cputime] 25 [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 7 [msec cputime] 782 [msec walltime]
reasoning 80 [msec cputime] 80 [msec walltime]
2020-10-23T20:16:10.063Z in=5 out=1 ent=2 step=4 brake=2 inf=721192 sec=0.111 inf/sec=6497225

eye --no-genid --nope --wcache http://josd.github.io/eye/reasoning/enigma1225 . --pl http://josd.github.io/eye/reasoning/enigma1225/enigma1225_program.pl --query http://josd.github.io/eye/reasoning/enigma1225/enigma1225_query.n3
EYE v20.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 24 [msec cputime] 26 [msec walltime]
GET http://josd.github.io/eye/reasoning/enigma1225/enigma1225_program.pl FROM ./enigma1225_program.pl 
GET http://josd.github.io/eye/reasoning/enigma1225/enigma1225_query.n3 FROM ./enigma1225_query.n3 SC=1
networking 3 [msec cputime] 4 [msec walltime]
reasoning 10 [msec cputime] 9 [msec walltime]
2020-10-23T20:16:10.218Z in=1 out=1 ent=1 step=1 brake=1 inf=76843 sec=0.037 inf/sec=2076838

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.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 26 [msec cputime] 28 [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 222 [msec cputime] 1331 [msec walltime]
reasoning 800 [msec cputime] 912 [msec walltime]
2020-10-23T20:16:12.606Z in=1001 out=1000 ent=1000 step=1000 brake=1 inf=12809917 sec=1.048 inf/sec=12223203

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.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 22 [msec cputime] 24 [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 33 [msec cputime] 2092 [msec walltime]
reasoning 40 [msec cputime] 40 [msec walltime]
2020-10-23T20:16:14.885Z in=76 out=8 ent=50 step=307 brake=6 inf=534837 sec=0.095 inf/sec=5629863

eye --no-genid --nope --pl http://josd.github.io/eye/reasoning/fft/fft_program.pl --query http://josd.github.io/eye/reasoning/fft/fft_query.n3
EYE v20.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 24 [msec cputime] 26 [msec walltime]
GET http://josd.github.io/eye/reasoning/fft/fft_program.pl 
GET http://josd.github.io/eye/reasoning/fft/fft_query.n3 SC=4
networking 4 [msec cputime] 824 [msec walltime]
reasoning 5 [msec cputime] 5 [msec walltime]
2020-10-23T20:16:15.859Z in=4 out=4 ent=4 step=4 brake=1 inf=41378 sec=0.033 inf/sec=1253879

eye --no-genid --pl http://josd.github.io/eye/reasoning/fft/fft_program.pl --query http://josd.github.io/eye/reasoning/fft/fft_query.n3
EYE v20.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 23 [msec cputime] 27 [msec walltime]
GET http://josd.github.io/eye/reasoning/fft/fft_program.pl 
GET http://josd.github.io/eye/reasoning/fft/fft_query.n3 SC=4
networking 5 [msec cputime] 447 [msec walltime]
reasoning 1531 [msec cputime] 1546 [msec walltime]
2020-10-23T20:16:17.988Z in=4 out=4 ent=4 step=4 brake=1 inf=16148426 sec=1.559 inf/sec=10358195

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.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 24 [msec cputime] 27 [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 56 [msec cputime] 2315 [msec walltime]
reasoning 107 [msec cputime] 107 [msec walltime]
2020-10-23T20:16:20.596Z in=253 out=18 ent=237 step=1917 brake=5 inf=1215193 sec=0.187 inf/sec=6498358

eye --no-genid http://josd.github.io/eye/reasoning/fib/fib.n3 --query http://josd.github.io/eye/reasoning/fib/fibQ.n3
EYE v20.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 23 [msec cputime] 25 [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 5 [msec cputime] 807 [msec walltime]
reasoning 77 [msec cputime] 78 [msec walltime]
2020-10-23T20:16:21.622Z in=7 out=3 ent=3 step=3 brake=1 inf=714557 sec=0.105 inf/sec=6805305

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.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 22 [msec cputime] 28 [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 5 [msec cputime] 458 [msec walltime]
reasoning 5 [msec cputime] 4 [msec walltime]
2020-10-23T20:16:22.221Z in=7 out=3 ent=3 step=3 brake=1 inf=28441 sec=0.032 inf/sec=888781

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.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 22 [msec cputime] 25 [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 26 [msec cputime] 1742 [msec walltime]
reasoning 125 [msec cputime] 124 [msec walltime]
2020-10-23T20:16:24.237Z in=185 out=6 ent=1591 step=18973 brake=12 inf=2416493 sec=0.173 inf/sec=13968168

eye --no-genid --nope http://josd.github.io/eye/reasoning/glass/test.n3 --query http://josd.github.io/eye/reasoning/glass/testQ.n3
EYE v20.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 24 [msec cputime] 28 [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=8
networking 8 [msec cputime] 880 [msec walltime]
reasoning 2 [msec cputime] 2 [msec walltime]
2020-10-23T20:16:25.264Z in=11 out=8 ent=9 step=38 brake=2 inf=31120 sec=0.034 inf/sec=915294

eye --no-genid http://josd.github.io/eye/reasoning/glass/test.n3 --query http://josd.github.io/eye/reasoning/glass/testQ.n3
EYE v20.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 22 [msec cputime] 27 [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=8
networking 7 [msec cputime] 625 [msec walltime]
reasoning 4 [msec cputime] 4 [msec walltime]
2020-10-23T20:16:26.031Z in=11 out=8 ent=9 step=38 brake=2 inf=47599 sec=0.033 inf/sec=1442394

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.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 26 [msec cputime] 27 [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 14 [msec cputime] 1202 [msec walltime]
reasoning 11 [msec cputime] 11 [msec walltime]
2020-10-23T20:16:27.390Z in=11 out=1 ent=1 step=1 brake=2 inf=123880 sec=0.051 inf/sec=2429020

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.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 24 [msec cputime] 30 [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 19 [msec cputime] 1050 [msec walltime]
reasoning 257 [msec cputime] 259 [msec walltime]
2020-10-23T20:16:28.838Z in=44 out=10 ent=10 step=10 brake=2 inf=2741512 sec=0.300 inf/sec=9138373

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.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 23 [msec cputime] 26 [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 19 [msec cputime] 1249 [msec walltime]
reasoning 7 [msec cputime] 7 [msec walltime]
2020-10-23T20:16:30.248Z in=89 out=1 ent=24 step=70 brake=2 inf=93775 sec=0.049 inf/sec=1913776

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.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 26 [msec cputime] 29 [msec walltime]
GET http://josd.github.io/eye/reasoning/h2o/hypothesis-001.n3 translating file:///tmp/swipl_eye_20591_0
Done: translated 1 triples in 0.2 ms (4146 triples/s)
SC=1
GET http://josd.github.io/eye/reasoning/h2o/data-001.n3 translating file:///tmp/swipl_eye_20591_1
Done: translated 7 triples in 0.3 ms (26965 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 10 [msec cputime] 1608 [msec walltime]
reasoning 5 [msec cputime] 5 [msec walltime]
2020-10-23T20:16:32.008Z in=10 out=1 ent=6 step=12 brake=2 inf=27356 sec=0.041 inf/sec=667220

eye --no-genid --nope http://josd.github.io/eye/reasoning/hanoi/hanoi.n3 --pass
EYE v20.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 23 [msec cputime] 25 [msec walltime]
GET http://josd.github.io/eye/reasoning/hanoi/hanoi.n3 SC=3
networking 4 [msec cputime] 1447 [msec walltime]
reasoning 1 [msec cputime] 1 [msec walltime]
2020-10-23T20:16:33.599Z in=3 out=1 ent=1 step=2 brake=2 inf=19013 sec=0.028 inf/sec=679036

eye --no-genid http://josd.github.io/eye/reasoning/hanoi/hanoi.n3 --pass
EYE v20.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 22 [msec cputime] 25 [msec walltime]
GET http://josd.github.io/eye/reasoning/hanoi/hanoi.n3 SC=3
networking 4 [msec cputime] 230 [msec walltime]
reasoning 8 [msec cputime] 7 [msec walltime]
2020-10-23T20:16:33.971Z in=3 out=1 ent=2 step=4 brake=2 inf=43777 sec=0.034 inf/sec=1287559

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.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 22 [msec cputime] 24 [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 9 [msec cputime] 916 [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.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 23 [msec cputime] 27 [msec walltime]
GET http://josd.github.io/eye/reasoning/image/query.n3 SC=1
networking 2 [msec cputime] 421 [msec walltime]
reasoning 149 [msec cputime] 149 [msec walltime]
2020-10-23T20:16:35.901Z in=5 out=101 ent=202 step=404 brake=2 inf=1685089 sec=0.174 inf/sec=9684420

eye --no-genid http://josd.github.io/eye/reasoning/iq/iq.n3 --pass-all
EYE v20.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 22 [msec cputime] 24 [msec walltime]
GET http://josd.github.io/eye/reasoning/iq/iq.n3 SC=7
networking 4 [msec cputime] 404 [msec walltime]
reasoning 7 [msec cputime] 7 [msec walltime]
2020-10-23T20:16:36.460Z in=7 out=10 ent=13 step=26 brake=2 inf=60632 sec=0.033 inf/sec=1837333

eye --no-genid --nope --pl http://josd.github.io/eye/reasoning/lee/lee_program.pl --query http://josd.github.io/eye/reasoning/lee/lee_query.n3
EYE v20.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 23 [msec cputime] 26 [msec walltime]
GET http://josd.github.io/eye/reasoning/lee/lee_program.pl 
GET http://josd.github.io/eye/reasoning/lee/lee_query.n3 SC=1
networking 5 [msec cputime] 824 [msec walltime]
reasoning 3 [msec cputime] 3 [msec walltime]
2020-10-23T20:16:37.435Z in=1 out=1 ent=1 step=1 brake=1 inf=29958 sec=0.031 inf/sec=966387

eye --no-genid --pl http://josd.github.io/eye/reasoning/lee/lee_program.pl --query http://josd.github.io/eye/reasoning/lee/lee_query.n3
EYE v20.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 24 [msec cputime] 29 [msec walltime]
GET http://josd.github.io/eye/reasoning/lee/lee_program.pl 
GET http://josd.github.io/eye/reasoning/lee/lee_query.n3 SC=1
networking 4 [msec cputime] 408 [msec walltime]
reasoning 85 [msec cputime] 85 [msec walltime]
2020-10-23T20:16:38.065Z in=1 out=1 ent=1 step=1 brake=1 inf=642062 sec=0.113 inf/sec=5681965

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.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 24 [msec cputime] 26 [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 21 [msec cputime] 1275 [msec walltime]
reasoning 17 [msec cputime] 16 [msec walltime]
2020-10-23T20:16:39.505Z in=168 out=1 ent=39 step=124 brake=4 inf=238314 sec=0.062 inf/sec=3843774

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.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 24 [msec cputime] 26 [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 8 [msec cputime] 11 [msec walltime]
reasoning 1 [msec cputime] 0 [msec walltime]
2020-10-23T20:16:39.661Z in=10 out=1 ent=1 step=1 brake=2 inf=55044 sec=0.033 inf/sec=1668000

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.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 26 [msec cputime] 31 [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 7 [msec cputime] 7 [msec walltime]
reasoning 7 [msec cputime] 6 [msec walltime]
2020-10-23T20:16:39.812Z in=10 out=1 ent=1 step=1 brake=2 inf=100152 sec=0.040 inf/sec=2503800

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.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 26 [msec cputime] 28 [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 30 [msec cputime] 32 [msec walltime]
reasoning 4 [msec cputime] 4 [msec walltime]
2020-10-23T20:16:39.984Z in=442 out=1 ent=11 step=82 brake=4 inf=356473 sec=0.060 inf/sec=5941217

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.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 26 [msec cputime] 31 [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 38 [msec cputime] 39 [msec walltime]
reasoning 14 [msec cputime] 13 [msec walltime]
2020-10-23T20:16:40.175Z in=442 out=1 ent=11 step=82 brake=4 inf=442831 sec=0.078 inf/sec=5677321

eye --no-genid http://josd.github.io/eye/reasoning/medic/medic.n3 --query http://josd.github.io/eye/reasoning/medic/medicF.n3
EYE v20.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 25 [msec cputime] 28 [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 5 [msec cputime] 794 [msec walltime]
reasoning 5 [msec cputime] 5 [msec walltime]
2020-10-23T20:16:41.123Z in=18 out=2 ent=4 step=8 brake=4 inf=45585 sec=0.035 inf/sec=1302429

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.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 24 [msec cputime] 26 [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 53 [msec cputime] 1678 [msec walltime]
reasoning 179 [msec cputime] 178 [msec walltime]
2020-10-23T20:16:43.123Z in=345 out=47 ent=105 step=332 brake=4 inf=2218896 sec=0.256 inf/sec=8667563

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.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 24 [msec cputime] 28 [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 936.5 ms (106779 triples/s)
SC=100000
networking 941 [msec cputime] 942 [msec walltime]
GET http://josd.github.io/eye/reasoning/mq/queries/query1.n3 FROM ./queries/query1.n3 SC=1
reasoning 26 [msec cputime] 27 [msec walltime]
2020-10-23T20:16:44.242Z mq=1 out=0 inf=26677 sec=0.027 out/sec=0 inf/sec=988037

GET http://josd.github.io/eye/reasoning/mq/queries/query2.n3 FROM ./queries/query2.n3 SC=1
reasoning 7 [msec cputime] 7 [msec walltime]
2020-10-23T20:16:44.249Z mq=2 out=3 inf=38597 sec=0.007 out/sec=429 inf/sec=5513857

GET http://josd.github.io/eye/reasoning/mq/queries/query3.n3 FROM ./queries/query3.n3 SC=1
reasoning 4 [msec cputime] 3 [msec walltime]
2020-10-23T20:16:44.253Z mq=3 out=0 inf=27200 sec=0.003 out/sec=0 inf/sec=9066667

GET http://josd.github.io/eye/reasoning/mq/queries/query4.n3 FROM ./queries/query4.n3 SC=1
reasoning 4 [msec cputime] 4 [msec walltime]
2020-10-23T20:16:44.258Z mq=4 out=1 inf=31651 sec=0.004 out/sec=250 inf/sec=7912750

GET http://josd.github.io/eye/reasoning/mq/queries/query5.n3 FROM ./queries/query5.n3 SC=1
reasoning 7 [msec cputime] 7 [msec walltime]
2020-10-23T20:16:44.266Z mq=5 out=4 inf=38495 sec=0.007 out/sec=571 inf/sec=5499286

GET http://josd.github.io/eye/reasoning/mq/queries/query6.n3 FROM ./queries/query6.n3 SC=1
reasoning 4 [msec cputime] 4 [msec walltime]
2020-10-23T20:16:44.270Z mq=6 out=0 inf=27200 sec=0.004 out/sec=0 inf/sec=6800000

GET http://josd.github.io/eye/reasoning/mq/queries/query7.n3 FROM ./queries/query7.n3 SC=1
reasoning 5 [msec cputime] 5 [msec walltime]
2020-10-23T20:16:44.275Z mq=7 out=2 inf=35438 sec=0.005 out/sec=400 inf/sec=7087600

GET http://josd.github.io/eye/reasoning/mq/queries/query8.n3 FROM ./queries/query8.n3 SC=1
reasoning 6 [msec cputime] 6 [msec walltime]
2020-10-23T20:16:44.282Z mq=8 out=1 inf=30593 sec=0.006 out/sec=167 inf/sec=5098833

GET http://josd.github.io/eye/reasoning/mq/queries/query9.n3 FROM ./queries/query9.n3 SC=1
reasoning 5 [msec cputime] 5 [msec walltime]
2020-10-23T20:16:44.287Z mq=9 out=1 inf=33696 sec=0.005 out/sec=200 inf/sec=6739200

GET http://josd.github.io/eye/reasoning/mq/queries/query10.n3 FROM ./queries/query10.n3 SC=1
reasoning 4 [msec cputime] 4 [msec walltime]
2020-10-23T20:16:44.292Z mq=10 out=3 inf=35395 sec=0.004 out/sec=750 inf/sec=8848750

GET http://josd.github.io/eye/reasoning/mq/queries/query11.n3 FROM ./queries/query11.n3 SC=1
reasoning 4 [msec cputime] 4 [msec walltime]
2020-10-23T20:16:44.297Z mq=11 out=0 inf=26584 sec=0.004 out/sec=0 inf/sec=6646000

GET http://josd.github.io/eye/reasoning/mq/queries/query12.n3 FROM ./queries/query12.n3 SC=1
reasoning 3 [msec cputime] 2 [msec walltime]
2020-10-23T20:16:44.300Z mq=12 out=0 inf=26914 sec=0.002 out/sec=0 inf/sec=13457000

GET http://josd.github.io/eye/reasoning/mq/queries/query13.n3 FROM ./queries/query13.n3 SC=1
reasoning 5 [msec cputime] 5 [msec walltime]
2020-10-23T20:16:44.306Z mq=13 out=0 inf=28102 sec=0.005 out/sec=0 inf/sec=5620400

GET http://josd.github.io/eye/reasoning/mq/queries/query14.n3 FROM ./queries/query14.n3 SC=1
reasoning 3 [msec cputime] 3 [msec walltime]
2020-10-23T20:16:44.309Z mq=14 out=0 inf=27003 sec=0.003 out/sec=0 inf/sec=9001000

GET http://josd.github.io/eye/reasoning/mq/queries/query15.n3 FROM ./queries/query15.n3 SC=1
reasoning 6 [msec cputime] 5 [msec walltime]
2020-10-23T20:16:44.315Z mq=15 out=1 inf=30437 sec=0.005 out/sec=200 inf/sec=6087400

GET http://josd.github.io/eye/reasoning/mq/queries/query16.n3 FROM ./queries/query16.n3 SC=1
reasoning 6 [msec cputime] 7 [msec walltime]
2020-10-23T20:16:44.322Z mq=16 out=1 inf=30092 sec=0.007 out/sec=143 inf/sec=4298857

GET http://josd.github.io/eye/reasoning/mq/queries/query17.n3 FROM ./queries/query17.n3 SC=1
reasoning 4 [msec cputime] 3 [msec walltime]
2020-10-23T20:16:44.326Z mq=17 out=1 inf=30330 sec=0.003 out/sec=333 inf/sec=10110000

GET http://josd.github.io/eye/reasoning/mq/queries/query18.n3 FROM ./queries/query18.n3 SC=1
reasoning 2 [msec cputime] 2 [msec walltime]
2020-10-23T20:16:44.329Z mq=18 out=0 inf=25858 sec=0.002 out/sec=0 inf/sec=12929000

GET http://josd.github.io/eye/reasoning/mq/queries/query19.n3 FROM ./queries/query19.n3 SC=1
reasoning 4 [msec cputime] 3 [msec walltime]
2020-10-23T20:16:44.333Z mq=19 out=1 inf=33282 sec=0.003 out/sec=333 inf/sec=11094000

GET http://josd.github.io/eye/reasoning/mq/queries/query20.n3 FROM ./queries/query20.n3 SC=1
reasoning 4 [msec cputime] 4 [msec walltime]
2020-10-23T20:16:44.338Z mq=20 out=0 inf=25374 sec=0.004 out/sec=0 inf/sec=6343500

GET http://josd.github.io/eye/reasoning/mq/queries/query21.n3 FROM ./queries/query21.n3 SC=1
reasoning 4 [msec cputime] 4 [msec walltime]
2020-10-23T20:16:44.343Z mq=21 out=1 inf=30857 sec=0.004 out/sec=250 inf/sec=7714250

GET http://josd.github.io/eye/reasoning/mq/queries/query22.n3 FROM ./queries/query22.n3 SC=1
reasoning 5 [msec cputime] 4 [msec walltime]
2020-10-23T20:16:44.348Z mq=22 out=3 inf=38040 sec=0.004 out/sec=750 inf/sec=9510000

GET http://josd.github.io/eye/reasoning/mq/queries/query23.n3 FROM ./queries/query23.n3 SC=1
reasoning 7 [msec cputime] 7 [msec walltime]
2020-10-23T20:16:44.355Z mq=23 out=3 inf=35524 sec=0.007 out/sec=429 inf/sec=5074857

GET http://josd.github.io/eye/reasoning/mq/queries/query24.n3 FROM ./queries/query24.n3 SC=1
reasoning 4 [msec cputime] 4 [msec walltime]
2020-10-23T20:16:44.360Z mq=24 out=1 inf=30444 sec=0.004 out/sec=250 inf/sec=7611000

GET http://josd.github.io/eye/reasoning/mq/queries/query25.n3 FROM ./queries/query25.n3 SC=1
reasoning 4 [msec cputime] 4 [msec walltime]
2020-10-23T20:16:44.365Z mq=25 out=1 inf=29950 sec=0.004 out/sec=250 inf/sec=7487500

GET http://josd.github.io/eye/reasoning/mq/queries/query26.n3 FROM ./queries/query26.n3 SC=1
reasoning 9 [msec cputime] 9 [msec walltime]
2020-10-23T20:16:44.374Z mq=26 out=5 inf=42489 sec=0.009 out/sec=556 inf/sec=4721000

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-10-23T20:16:44.377Z mq=27 out=0 inf=27244 sec=0.003 out/sec=0 inf/sec=9081333

GET http://josd.github.io/eye/reasoning/mq/queries/query28.n3 FROM ./queries/query28.n3 SC=1
reasoning 3 [msec cputime] 3 [msec walltime]
2020-10-23T20:16:44.381Z mq=28 out=1 inf=31238 sec=0.003 out/sec=333 inf/sec=10412667

GET http://josd.github.io/eye/reasoning/mq/queries/query29.n3 FROM ./queries/query29.n3 SC=1
reasoning 4 [msec cputime] 3 [msec walltime]
2020-10-23T20:16:44.385Z mq=29 out=0 inf=25198 sec=0.003 out/sec=0 inf/sec=8399333

GET http://josd.github.io/eye/reasoning/mq/queries/query30.n3 FROM ./queries/query30.n3 SC=1
reasoning 4 [msec cputime] 4 [msec walltime]
2020-10-23T20:16:44.390Z mq=30 out=0 inf=27332 sec=0.004 out/sec=0 inf/sec=6833000

GET http://josd.github.io/eye/reasoning/mq/queries/query31.n3 FROM ./queries/query31.n3 SC=1
reasoning 4 [msec cputime] 4 [msec walltime]
2020-10-23T20:16:44.394Z mq=31 out=0 inf=27464 sec=0.004 out/sec=0 inf/sec=6866000

GET http://josd.github.io/eye/reasoning/mq/queries/query32.n3 FROM ./queries/query32.n3 SC=1
reasoning 3 [msec cputime] 3 [msec walltime]
2020-10-23T20:16:44.398Z mq=32 out=1 inf=30572 sec=0.003 out/sec=333 inf/sec=10190667

GET http://josd.github.io/eye/reasoning/mq/queries/query33.n3 FROM ./queries/query33.n3 SC=1
reasoning 2 [msec cputime] 2 [msec walltime]
2020-10-23T20:16:44.401Z mq=33 out=0 inf=26650 sec=0.002 out/sec=0 inf/sec=13325000

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-10-23T20:16:44.408Z mq=34 out=1 inf=32068 sec=0.007 out/sec=143 inf/sec=4581143

GET http://josd.github.io/eye/reasoning/mq/queries/query35.n3 FROM ./queries/query35.n3 SC=1
reasoning 5 [msec cputime] 5 [msec walltime]
2020-10-23T20:16:44.413Z mq=35 out=1 inf=30242 sec=0.005 out/sec=200 inf/sec=6048400

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-10-23T20:16:44.416Z mq=36 out=0 inf=27332 sec=0.002 out/sec=0 inf/sec=13666000

GET http://josd.github.io/eye/reasoning/mq/queries/query37.n3 FROM ./queries/query37.n3 SC=1
reasoning 3 [msec cputime] 3 [msec walltime]
2020-10-23T20:16:44.420Z mq=37 out=0 inf=26716 sec=0.003 out/sec=0 inf/sec=8905333

GET http://josd.github.io/eye/reasoning/mq/queries/query38.n3 FROM ./queries/query38.n3 SC=1
reasoning 4 [msec cputime] 3 [msec walltime]
2020-10-23T20:16:44.424Z mq=38 out=1 inf=32397 sec=0.003 out/sec=333 inf/sec=10799000

GET http://josd.github.io/eye/reasoning/mq/queries/query39.n3 FROM ./queries/query39.n3 SC=1
reasoning 3 [msec cputime] 3 [msec walltime]
2020-10-23T20:16:44.427Z mq=39 out=1 inf=29916 sec=0.003 out/sec=333 inf/sec=9972000

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-10-23T20:16:44.434Z mq=40 out=1 inf=29956 sec=0.006 out/sec=167 inf/sec=4992667

GET http://josd.github.io/eye/reasoning/mq/queries/query41.n3 FROM ./queries/query41.n3 SC=1
reasoning 2 [msec cputime] 3 [msec walltime]
2020-10-23T20:16:44.437Z mq=41 out=0 inf=26914 sec=0.003 out/sec=0 inf/sec=8971333

GET http://josd.github.io/eye/reasoning/mq/queries/query42.n3 FROM ./queries/query42.n3 SC=1
reasoning 6 [msec cputime] 6 [msec walltime]
2020-10-23T20:16:44.443Z mq=42 out=5 inf=43655 sec=0.006 out/sec=833 inf/sec=7275833

GET http://josd.github.io/eye/reasoning/mq/queries/query43.n3 FROM ./queries/query43.n3 SC=1
reasoning 8 [msec cputime] 7 [msec walltime]
2020-10-23T20:16:44.451Z mq=43 out=3 inf=36306 sec=0.007 out/sec=429 inf/sec=5186571

GET http://josd.github.io/eye/reasoning/mq/queries/query44.n3 FROM ./queries/query44.n3 SC=1
reasoning 4 [msec cputime] 4 [msec walltime]
2020-10-23T20:16:44.456Z mq=44 out=1 inf=31737 sec=0.004 out/sec=250 inf/sec=7934250

GET http://josd.github.io/eye/reasoning/mq/queries/query45.n3 FROM ./queries/query45.n3 SC=1
reasoning 2 [msec cputime] 2 [msec walltime]
2020-10-23T20:16:44.459Z mq=45 out=0 inf=24824 sec=0.002 out/sec=0 inf/sec=12412000

GET http://josd.github.io/eye/reasoning/mq/queries/query46.n3 FROM ./queries/query46.n3 SC=1
reasoning 3 [msec cputime] 2 [msec walltime]
2020-10-23T20:16:44.461Z mq=46 out=0 inf=28278 sec=0.002 out/sec=0 inf/sec=14139000

GET http://josd.github.io/eye/reasoning/mq/queries/query47.n3 FROM ./queries/query47.n3 SC=1
reasoning 2 [msec cputime] 2 [msec walltime]
2020-10-23T20:16:44.464Z mq=47 out=0 inf=25374 sec=0.002 out/sec=0 inf/sec=12687000

GET http://josd.github.io/eye/reasoning/mq/queries/query48.n3 FROM ./queries/query48.n3 SC=1
reasoning 6 [msec cputime] 6 [msec walltime]
2020-10-23T20:16:44.470Z mq=48 out=1 inf=29620 sec=0.006 out/sec=167 inf/sec=4936667

GET http://josd.github.io/eye/reasoning/mq/queries/query49.n3 FROM ./queries/query49.n3 SC=1
reasoning 3 [msec cputime] 3 [msec walltime]
2020-10-23T20:16:44.474Z mq=49 out=0 inf=26694 sec=0.003 out/sec=0 inf/sec=8898000

GET http://josd.github.io/eye/reasoning/mq/queries/query50.n3 FROM ./queries/query50.n3 SC=1
reasoning 4 [msec cputime] 4 [msec walltime]
2020-10-23T20:16:44.478Z mq=50 out=3 inf=36940 sec=0.004 out/sec=750 inf/sec=9235000

GET http://josd.github.io/eye/reasoning/mq/queries/query51.n3 FROM ./queries/query51.n3 SC=1
reasoning 3 [msec cputime] 3 [msec walltime]
2020-10-23T20:16:44.481Z mq=51 out=1 inf=30092 sec=0.003 out/sec=333 inf/sec=10030667

GET http://josd.github.io/eye/reasoning/mq/queries/query52.n3 FROM ./queries/query52.n3 SC=1
reasoning 6 [msec cputime] 5 [msec walltime]
2020-10-23T20:16:44.487Z mq=52 out=1 inf=29714 sec=0.005 out/sec=200 inf/sec=5942800

GET http://josd.github.io/eye/reasoning/mq/queries/query53.n3 FROM ./queries/query53.n3 SC=1
reasoning 5 [msec cputime] 5 [msec walltime]
2020-10-23T20:16:44.493Z mq=53 out=2 inf=34577 sec=0.005 out/sec=400 inf/sec=6915400

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-10-23T20:16:44.496Z mq=54 out=0 inf=26210 sec=0.002 out/sec=0 inf/sec=13105000

GET http://josd.github.io/eye/reasoning/mq/queries/query55.n3 FROM ./queries/query55.n3 SC=1
reasoning 6 [msec cputime] 5 [msec walltime]
2020-10-23T20:16:44.502Z mq=55 out=5 inf=42374 sec=0.005 out/sec=1000 inf/sec=8474800

GET http://josd.github.io/eye/reasoning/mq/queries/query56.n3 FROM ./queries/query56.n3 SC=1
reasoning 6 [msec cputime] 6 [msec walltime]
2020-10-23T20:16:44.509Z mq=56 out=1 inf=29582 sec=0.006 out/sec=167 inf/sec=4930333

GET http://josd.github.io/eye/reasoning/mq/queries/query57.n3 FROM ./queries/query57.n3 SC=1
reasoning 3 [msec cputime] 3 [msec walltime]
2020-10-23T20:16:44.512Z mq=57 out=1 inf=29482 sec=0.003 out/sec=333 inf/sec=9827333

GET http://josd.github.io/eye/reasoning/mq/queries/query58.n3 FROM ./queries/query58.n3 SC=1
reasoning 3 [msec cputime] 2 [msec walltime]
2020-10-23T20:16:44.515Z mq=58 out=0 inf=27970 sec=0.002 out/sec=0 inf/sec=13985000

GET http://josd.github.io/eye/reasoning/mq/queries/query59.n3 FROM ./queries/query59.n3 SC=1
reasoning 5 [msec cputime] 5 [msec walltime]
2020-10-23T20:16:44.520Z mq=59 out=2 inf=33257 sec=0.005 out/sec=400 inf/sec=6651400

GET http://josd.github.io/eye/reasoning/mq/queries/query60.n3 FROM ./queries/query60.n3 SC=1
reasoning 5 [msec cputime] 5 [msec walltime]
2020-10-23T20:16:44.526Z mq=60 out=3 inf=36828 sec=0.005 out/sec=600 inf/sec=7365600

GET http://josd.github.io/eye/reasoning/mq/queries/query61.n3 FROM ./queries/query61.n3 SC=1
reasoning 3 [msec cputime] 3 [msec walltime]
2020-10-23T20:16:44.530Z mq=61 out=0 inf=26562 sec=0.003 out/sec=0 inf/sec=8854000

GET http://josd.github.io/eye/reasoning/mq/queries/query62.n3 FROM ./queries/query62.n3 SC=1
reasoning 5 [msec cputime] 4 [msec walltime]
2020-10-23T20:16:44.535Z mq=62 out=5 inf=41248 sec=0.004 out/sec=1250 inf/sec=10312000

GET http://josd.github.io/eye/reasoning/mq/queries/query63.n3 FROM ./queries/query63.n3 SC=1
reasoning 3 [msec cputime] 3 [msec walltime]
2020-10-23T20:16:44.539Z mq=63 out=0 inf=26562 sec=0.003 out/sec=0 inf/sec=8854000

GET http://josd.github.io/eye/reasoning/mq/queries/query64.n3 FROM ./queries/query64.n3 SC=1
reasoning 3 [msec cputime] 3 [msec walltime]
2020-10-23T20:16:44.542Z mq=64 out=0 inf=28278 sec=0.003 out/sec=0 inf/sec=9426000

GET http://josd.github.io/eye/reasoning/mq/queries/query65.n3 FROM ./queries/query65.n3 SC=1
reasoning 5 [msec cputime] 5 [msec walltime]
2020-10-23T20:16:44.547Z mq=65 out=1 inf=29482 sec=0.005 out/sec=200 inf/sec=5896400

GET http://josd.github.io/eye/reasoning/mq/queries/query66.n3 FROM ./queries/query66.n3 SC=1
reasoning 3 [msec cputime] 3 [msec walltime]
2020-10-23T20:16:44.551Z mq=66 out=2 inf=34094 sec=0.003 out/sec=667 inf/sec=11364667

GET http://josd.github.io/eye/reasoning/mq/queries/query67.n3 FROM ./queries/query67.n3 SC=1
reasoning 3 [msec cputime] 3 [msec walltime]
2020-10-23T20:16:44.554Z mq=67 out=0 inf=27200 sec=0.003 out/sec=0 inf/sec=9066667

GET http://josd.github.io/eye/reasoning/mq/queries/query68.n3 FROM ./queries/query68.n3 SC=1
reasoning 4 [msec cputime] 4 [msec walltime]
2020-10-23T20:16:44.559Z mq=68 out=1 inf=31324 sec=0.004 out/sec=250 inf/sec=7831000

GET http://josd.github.io/eye/reasoning/mq/queries/query69.n3 FROM ./queries/query69.n3 SC=1
reasoning 6 [msec cputime] 6 [msec walltime]
2020-10-23T20:16:44.565Z mq=69 out=2 inf=33634 sec=0.006 out/sec=333 inf/sec=5605667

GET http://josd.github.io/eye/reasoning/mq/queries/query70.n3 FROM ./queries/query70.n3 SC=1
reasoning 4 [msec cputime] 3 [msec walltime]
2020-10-23T20:16:44.569Z mq=70 out=0 inf=26520 sec=0.003 out/sec=0 inf/sec=8840000

GET http://josd.github.io/eye/reasoning/mq/queries/query71.n3 FROM ./queries/query71.n3 SC=1
reasoning 4 [msec cputime] 4 [msec walltime]
2020-10-23T20:16:44.574Z mq=71 out=3 inf=37816 sec=0.004 out/sec=750 inf/sec=9454000

GET http://josd.github.io/eye/reasoning/mq/queries/query72.n3 FROM ./queries/query72.n3 SC=1
reasoning 5 [msec cputime] 4 [msec walltime]
2020-10-23T20:16:44.579Z mq=72 out=3 inf=35324 sec=0.004 out/sec=750 inf/sec=8831000

GET http://josd.github.io/eye/reasoning/mq/queries/query73.n3 FROM ./queries/query73.n3 SC=1
reasoning 6 [msec cputime] 6 [msec walltime]
2020-10-23T20:16:44.586Z mq=73 out=2 inf=33542 sec=0.006 out/sec=333 inf/sec=5590333

GET http://josd.github.io/eye/reasoning/mq/queries/query74.n3 FROM ./queries/query74.n3 SC=1
reasoning 3 [msec cputime] 3 [msec walltime]
2020-10-23T20:16:44.590Z mq=74 out=1 inf=30682 sec=0.003 out/sec=333 inf/sec=10227333

GET http://josd.github.io/eye/reasoning/mq/queries/query75.n3 FROM ./queries/query75.n3 SC=1
reasoning 3 [msec cputime] 2 [msec walltime]
2020-10-23T20:16:44.593Z mq=75 out=1 inf=29812 sec=0.002 out/sec=500 inf/sec=14906000

GET http://josd.github.io/eye/reasoning/mq/queries/query76.n3 FROM ./queries/query76.n3 SC=1
reasoning 4 [msec cputime] 4 [msec walltime]
2020-10-23T20:16:44.597Z mq=76 out=1 inf=31274 sec=0.004 out/sec=250 inf/sec=7818500

GET http://josd.github.io/eye/reasoning/mq/queries/query77.n3 FROM ./queries/query77.n3 SC=1
reasoning 6 [msec cputime] 6 [msec walltime]
2020-10-23T20:16:44.604Z mq=77 out=1 inf=30180 sec=0.006 out/sec=167 inf/sec=5030000

GET http://josd.github.io/eye/reasoning/mq/queries/query78.n3 FROM ./queries/query78.n3 SC=1
reasoning 6 [msec cputime] 6 [msec walltime]
2020-10-23T20:16:44.610Z mq=78 out=5 inf=41648 sec=0.006 out/sec=833 inf/sec=6941333

GET http://josd.github.io/eye/reasoning/mq/queries/query79.n3 FROM ./queries/query79.n3 SC=1
reasoning 4 [msec cputime] 4 [msec walltime]
2020-10-23T20:16:44.615Z mq=79 out=3 inf=36940 sec=0.004 out/sec=750 inf/sec=9235000

GET http://josd.github.io/eye/reasoning/mq/queries/query80.n3 FROM ./queries/query80.n3 SC=1
reasoning 4 [msec cputime] 4 [msec walltime]
2020-10-23T20:16:44.620Z mq=80 out=0 inf=27046 sec=0.004 out/sec=0 inf/sec=6761500

GET http://josd.github.io/eye/reasoning/mq/queries/query81.n3 FROM ./queries/query81.n3 SC=1
reasoning 4 [msec cputime] 3 [msec walltime]
2020-10-23T20:16:44.624Z mq=81 out=0 inf=26650 sec=0.003 out/sec=0 inf/sec=8883333

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-10-23T20:16:44.627Z mq=82 out=0 inf=26672 sec=0.002 out/sec=0 inf/sec=13336000

GET http://josd.github.io/eye/reasoning/mq/queries/query83.n3 FROM ./queries/query83.n3 SC=1
reasoning 4 [msec cputime] 4 [msec walltime]
2020-10-23T20:16:44.631Z mq=83 out=2 inf=33125 sec=0.004 out/sec=500 inf/sec=8281250

GET http://josd.github.io/eye/reasoning/mq/queries/query84.n3 FROM ./queries/query84.n3 SC=1
reasoning 5 [msec cputime] 5 [msec walltime]
2020-10-23T20:16:44.637Z mq=84 out=0 inf=26914 sec=0.005 out/sec=0 inf/sec=5382800

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-10-23T20:16:44.640Z mq=85 out=0 inf=28124 sec=0.002 out/sec=0 inf/sec=14062000

GET http://josd.github.io/eye/reasoning/mq/queries/query86.n3 FROM ./queries/query86.n3 SC=1
reasoning 3 [msec cputime] 3 [msec walltime]
2020-10-23T20:16:44.644Z mq=86 out=1 inf=31804 sec=0.003 out/sec=333 inf/sec=10601333

GET http://josd.github.io/eye/reasoning/mq/queries/query87.n3 FROM ./queries/query87.n3 SC=1
reasoning 3 [msec cputime] 3 [msec walltime]
2020-10-23T20:16:44.647Z mq=87 out=0 inf=27422 sec=0.003 out/sec=0 inf/sec=9140667

GET http://josd.github.io/eye/reasoning/mq/queries/query88.n3 FROM ./queries/query88.n3 SC=1
reasoning 6 [msec cputime] 5 [msec walltime]
2020-10-23T20:16:44.653Z mq=88 out=1 inf=30767 sec=0.005 out/sec=200 inf/sec=6153400

GET http://josd.github.io/eye/reasoning/mq/queries/query89.n3 FROM ./queries/query89.n3 SC=1
reasoning 4 [msec cputime] 4 [msec walltime]
2020-10-23T20:16:44.657Z mq=89 out=1 inf=31390 sec=0.004 out/sec=250 inf/sec=7847500

GET http://josd.github.io/eye/reasoning/mq/queries/query90.n3 FROM ./queries/query90.n3 SC=1
reasoning 3 [msec cputime] 3 [msec walltime]
2020-10-23T20:16:44.661Z mq=90 out=1 inf=31324 sec=0.003 out/sec=333 inf/sec=10441333

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-10-23T20:16:44.664Z mq=91 out=0 inf=26518 sec=0.002 out/sec=0 inf/sec=13259000

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-10-23T20:16:44.666Z mq=92 out=0 inf=26476 sec=0.002 out/sec=0 inf/sec=13238000

GET http://josd.github.io/eye/reasoning/mq/queries/query93.n3 FROM ./queries/query93.n3 SC=1
reasoning 5 [msec cputime] 5 [msec walltime]
2020-10-23T20:16:44.672Z mq=93 out=1 inf=32463 sec=0.005 out/sec=200 inf/sec=6492600

GET http://josd.github.io/eye/reasoning/mq/queries/query94.n3 FROM ./queries/query94.n3 SC=1
reasoning 5 [msec cputime] 5 [msec walltime]
2020-10-23T20:16:44.677Z mq=94 out=2 inf=34403 sec=0.005 out/sec=400 inf/sec=6880600

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-10-23T20:16:44.680Z mq=95 out=0 inf=27332 sec=0.002 out/sec=0 inf/sec=13666000

GET http://josd.github.io/eye/reasoning/mq/queries/query96.n3 FROM ./queries/query96.n3 SC=1
reasoning 3 [msec cputime] 3 [msec walltime]
2020-10-23T20:16:44.684Z mq=96 out=1 inf=30178 sec=0.003 out/sec=333 inf/sec=10059333

GET http://josd.github.io/eye/reasoning/mq/queries/query97.n3 FROM ./queries/query97.n3 SC=1
reasoning 4 [msec cputime] 4 [msec walltime]
2020-10-23T20:16:44.688Z mq=97 out=2 inf=32944 sec=0.004 out/sec=500 inf/sec=8236000

GET http://josd.github.io/eye/reasoning/mq/queries/query98.n3 FROM ./queries/query98.n3 SC=1
reasoning 5 [msec cputime] 5 [msec walltime]
2020-10-23T20:16:44.694Z mq=98 out=5 inf=40812 sec=0.005 out/sec=1000 inf/sec=8162400

GET http://josd.github.io/eye/reasoning/mq/queries/query99.n3 FROM ./queries/query99.n3 SC=1
reasoning 5 [msec cputime] 5 [msec walltime]
2020-10-23T20:16:44.699Z mq=99 out=0 inf=24824 sec=0.005 out/sec=0 inf/sec=4964800

GET http://josd.github.io/eye/reasoning/mq/queries/query100.n3 FROM ./queries/query100.n3 SC=1
reasoning 3 [msec cputime] 3 [msec walltime]
2020-10-23T20:16:44.703Z mq=100 out=0 inf=26276 sec=0.003 out/sec=0 inf/sec=8758667

2020-10-23T20:16:44.703Z in=100100 out=117 ent=117 step=117 brake=100 inf=7905861 sec=1.408 inf/sec=5614958

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.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 24 [msec cputime] 29 [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_20792_1
Done: translated 2 triples in 0.5 ms (4419 triples/s)
SC=2
GET http://josd.github.io/eye/reasoning/n3c/notIn_query.n3 SC=1
networking 8 [msec cputime] 1494 [msec walltime]
GET http://josd.github.io/eye/reasoning/n3c/tasks.n3 SC=2
reasoning 2 [msec cputime] 205 [msec walltime]
2020-10-23T20:16:46.554Z in=7 out=2 ent=2 step=2 brake=1 inf=21058 sec=0.034 inf/sec=619353

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.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 23 [msec cputime] 28 [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_20814_1
Done: translated 2 triples in 0.2 ms (8811 triples/s)
SC=2
GET http://josd.github.io/eye/reasoning/n3c/forAllIn_query.n3 SC=1
networking 8 [msec cputime] 889 [msec walltime]
GET http://josd.github.io/eye/reasoning/n3c/subtasks.n3 SC=9
reasoning 3 [msec cputime] 425 [msec walltime]
2020-10-23T20:16:48.008Z in=14 out=1 ent=1 step=1 brake=1 inf=24014 sec=0.034 inf/sec=706294

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.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 26 [msec cputime] 28 [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_20836_1
Done: translated 2 triples in 0.2 ms (8019 triples/s)
SC=2
GET http://josd.github.io/eye/reasoning/n3c/notIn_query.n3 SC=1
networking 7 [msec cputime] 716 [msec walltime]
GET http://josd.github.io/eye/reasoning/n3c/tasks.n3 SC=2
reasoning 6 [msec cputime] 248 [msec walltime]
2020-10-23T20:16:49.110Z in=7 out=2 ent=2 step=2 brake=1 inf=30453 sec=0.039 inf/sec=780846

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.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 20 [msec cputime] 28 [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_20858_1
Done: translated 2 triples in 0.2 ms (8389 triples/s)
SC=2
GET http://josd.github.io/eye/reasoning/n3c/forAllIn_query.n3 SC=1
networking 8 [msec cputime] 691 [msec walltime]
GET http://josd.github.io/eye/reasoning/n3c/subtasks.n3 SC=9
reasoning 6 [msec cputime] 237 [msec walltime]
2020-10-23T20:16:50.170Z in=14 out=1 ent=1 step=1 brake=1 inf=36314 sec=0.034 inf/sec=1068059

eye --nope example.n3 --pass
EYE v20.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 24 [msec cputime] 27 [msec walltime]
GET file:///home/jdroo/github.com/josd/eye/reasoning/n3gl/example.n3 SC=8
networking 3 [msec cputime] 3 [msec walltime]
reasoning 0 [msec cputime] 0 [msec walltime]
2020-10-23T20:16:50.324Z in=8 out=8 ent=5 step=12 brake=2 inf=21244 sec=0.027 inf/sec=786815

eye --nope example.n3 --pass
EYE v20.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 26 [msec cputime] 29 [msec walltime]
GET file:///home/jdroo/github.com/josd/eye/reasoning/n3s/example.n3 SC=8
networking 2 [msec cputime] 2 [msec walltime]
reasoning 1 [msec cputime] 1 [msec walltime]
2020-10-23T20:16:50.474Z in=8 out=8 ent=5 step=12 brake=2 inf=20896 sec=0.029 inf/sec=720552

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.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 24 [msec cputime] 25 [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 16 [msec cputime] 1266 [msec walltime]
reasoning 8 [msec cputime] 8 [msec walltime]
2020-10-23T20:16:51.889Z in=19 out=1 ent=1 step=1 brake=2 inf=123182 sec=0.048 inf/sec=2566292

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.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 25 [msec cputime] 28 [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 4 [msec cputime] 840 [msec walltime]
reasoning 384 [msec cputime] 393 [msec walltime]
2020-10-23T20:16:53.271Z in=4 out=1 ent=1 step=1 brake=1 inf=4154988 sec=0.413 inf/sec=10060504

eye --no-genid --nope http://josd.github.io/eye/reasoning/polygon/polygon.n3 --query http://josd.github.io/eye/reasoning/polygon/polygon_query.n3
EYE v20.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 23 [msec cputime] 25 [msec walltime]
GET http://josd.github.io/eye/reasoning/polygon/polygon.n3 SC=2
GET http://josd.github.io/eye/reasoning/polygon/polygon_query.n3 SC=1
networking 6 [msec cputime] 807 [msec walltime]
reasoning 0 [msec cputime] 0 [msec walltime]
2020-10-23T20:16:54.240Z in=3 out=1 ent=1 step=1 brake=1 inf=21406 sec=0.029 inf/sec=738138

eye --no-genid http://josd.github.io/eye/reasoning/polygon/polygon.n3 --query http://josd.github.io/eye/reasoning/polygon/polygon_query.n3
EYE v20.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 25 [msec cputime] 30 [msec walltime]
GET http://josd.github.io/eye/reasoning/polygon/polygon.n3 SC=2
GET http://josd.github.io/eye/reasoning/polygon/polygon_query.n3 SC=1
networking 6 [msec cputime] 478 [msec walltime]
reasoning 7 [msec cputime] 6 [msec walltime]
2020-10-23T20:16:54.864Z in=3 out=1 ent=1 step=1 brake=1 inf=61074 sec=0.038 inf/sec=1607211

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.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 24 [msec cputime] 27 [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 8 [msec cputime] 1224 [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 11 [msec cputime] 1258 [msec walltime]
2020-10-23T20:16:57.491Z in=17 out=1 ent=2 step=4 brake=4 inf=46249 sec=0.043 inf/sec=1075558

eye --no-genid --nope palindrome.n3 palindrome-declarations.n3 preduction-plugin.n3 --query palindrome-preduction.n3
EYE v20.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 25 [msec cputime] 31 [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 8 [msec cputime] 10 [msec walltime]
reasoning 2 [msec cputime] 1 [msec walltime]
2020-10-23T20:16:57.654Z in=24 out=6 ent=6 step=6 brake=1 inf=58116 sec=0.035 inf/sec=1660457

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.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 28 [msec cputime] 30 [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 6 [msec cputime] 1880 [msec walltime]
reasoning 26 [msec cputime] 25 [msec walltime]
2020-10-23T20:16:59.696Z in=10 out=1 ent=1 step=1 brake=1 inf=223323 sec=0.060 inf/sec=3722050

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.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 24 [msec cputime] 26 [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 7 [msec cputime] 884 [msec walltime]
reasoning 18 [msec cputime] 18 [msec walltime]
2020-10-23T20:17:00.735Z in=7 out=1 ent=1 step=1 brake=1 inf=158932 sec=0.049 inf/sec=3243510

eye --no-genid --nope food.n3 food-declarations.n3 preduction-plugin.n3 --query food-preduction.n3
EYE v20.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 23 [msec cputime] 27 [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 8 [msec cputime] 8 [msec walltime]
GET http://josd.github.io/eye/reasoning/rpo/rdfs-subClassOf.n3 SC=4
reasoning 9 [msec cputime] 411 [msec walltime]
2020-10-23T20:17:01.295Z in=50 out=35 ent=35 step=35 brake=1 inf=93755 sec=0.040 inf/sec=2343875

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.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 25 [msec cputime] 30 [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 13 [msec cputime] 1486 [msec walltime]
reasoning 14 [msec cputime] 13 [msec walltime]
2020-10-23T20:17:02.931Z in=45 out=16 ent=91 step=338 brake=3 inf=117911 sec=0.052 inf/sec=2267519

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.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 25 [msec cputime] 30 [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 7 [msec cputime] 850 [msec walltime]
reasoning 7 [msec cputime] 6 [msec walltime]
2020-10-23T20:17:03.926Z in=41 out=16 ent=27 step=115 brake=5 inf=88823 sec=0.039 inf/sec=2277513

eye --no-genid --nope --pl http://josd.github.io/eye/reasoning/queens/queens_program.pl --query http://josd.github.io/eye/reasoning/queens/queens_query.n3
EYE v20.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 25 [msec cputime] 28 [msec walltime]
GET http://josd.github.io/eye/reasoning/queens/queens_program.pl 
GET http://josd.github.io/eye/reasoning/queens/queens_query.n3 SC=1
networking 4 [msec cputime] 813 [msec walltime]
reasoning 11 [msec cputime] 10 [msec walltime]
2020-10-23T20:17:04.901Z in=1 out=92 ent=92 step=92 brake=1 inf=60402 sec=0.040 inf/sec=1510050

eye --no-genid --pl http://josd.github.io/eye/reasoning/queens/queens_program.pl --query http://josd.github.io/eye/reasoning/queens/queens_query.n3
EYE v20.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 26 [msec cputime] 27 [msec walltime]
GET http://josd.github.io/eye/reasoning/queens/queens_program.pl 
GET http://josd.github.io/eye/reasoning/queens/queens_query.n3 SC=1
networking 3 [msec cputime] 430 [msec walltime]
reasoning 809 [msec cputime] 812 [msec walltime]
2020-10-23T20:17:06.278Z in=1 out=92 ent=92 step=92 brake=1 inf=8213242 sec=0.838 inf/sec=9801005

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.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 22 [msec cputime] 26 [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 11 [msec cputime] 903 [msec walltime]
reasoning 7 [msec cputime] 7 [msec walltime]
2020-10-23T20:17:07.365Z in=10 out=4 ent=47 step=7 brake=1 inf=93991 sec=0.040 inf/sec=2349775

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.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 24 [msec cputime] 25 [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 10 [msec cputime] 1294 [msec walltime]
reasoning 17 [msec cputime] 17 [msec walltime]
2020-10-23T20:17:08.821Z in=11 out=1 ent=209 step=218 brake=1 inf=229299 sec=0.051 inf/sec=4496059

eye --no-genid http://josd.github.io/eye/reasoning/rgb/redgraph001.n3 --query http://josd.github.io/eye/reasoning/rgb/greenquery001.n3
EYE v20.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 23 [msec cputime] 28 [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 6 [msec cputime] 831 [msec walltime]
reasoning 3 [msec cputime] 3 [msec walltime]
2020-10-23T20:17:09.803Z in=5 out=2 ent=2 step=2 brake=1 inf=20139 sec=0.032 inf/sec=629344

eye --no-genid http://josd.github.io/eye/reasoning/rgb/redgraph002.n3 --query http://josd.github.io/eye/reasoning/rgb/greenquery002.n3
EYE v20.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 26 [msec cputime] 31 [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 6 [msec cputime] 807 [msec walltime]
reasoning 3 [msec cputime] 3 [msec walltime]
2020-10-23T20:17:10.751Z in=5 out=2 ent=2 step=2 brake=1 inf=20091 sec=0.035 inf/sec=574029

eye --no-genid http://josd.github.io/eye/reasoning/rgb/redgraph003.n3 --query http://josd.github.io/eye/reasoning/rgb/greenquery003.n3
EYE v20.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 22 [msec cputime] 26 [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 4 [msec cputime] 783 [msec walltime]
reasoning 3 [msec cputime] 3 [msec walltime]
2020-10-23T20:17:11.675Z in=5 out=2 ent=2 step=2 brake=1 inf=19217 sec=0.029 inf/sec=662655

eye --no-genid http://josd.github.io/eye/reasoning/rif/rifP.n3 --query http://josd.github.io/eye/reasoning/rif/rifQ.n3
EYE v20.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 23 [msec cputime] 27 [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 35 [msec cputime] 843 [msec walltime]
reasoning 141 [msec cputime] 141 [msec walltime]
2020-10-23T20:17:12.805Z in=224 out=222 ent=443 step=1776 brake=4 inf=1864910 sec=0.199 inf/sec=9371407

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.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 23 [msec cputime] 26 [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 12 [msec cputime] 1453 [msec walltime]
reasoning 12 [msec cputime] 11 [msec walltime]
2020-10-23T20:17:14.418Z in=45 out=16 ent=91 step=338 brake=3 inf=118539 sec=0.047 inf/sec=2522106

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.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 24 [msec cputime] 26 [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 4 [msec cputime] 898 [msec walltime]
GET http://josd.github.io/eye/reasoning/rs/graph-1000.n3 SC=1000
reasoning 125 [msec cputime] 539 [msec walltime]
2020-10-23T20:17:16.000Z in=1002 out=1 ent=1 step=1 brake=2 inf=1486582 sec=0.153 inf/sec=9716222

eye --no-genid --nope --wcache http://josd.github.io/eye/reasoning/seq . http://josd.github.io/eye/reasoning/seq/seq_components.n3 --query http://josd.github.io/eye/reasoning/seq/seq_query.n3
EYE v20.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 24 [msec cputime] 26 [msec walltime]
GET http://josd.github.io/eye/reasoning/seq/seq_components.n3 FROM ./seq_components.n3 SC=6
GET http://josd.github.io/eye/reasoning/seq/seq_query.n3 FROM ./seq_query.n3 SC=1
networking 3 [msec cputime] 4 [msec walltime]
reasoning 1 [msec cputime] 0 [msec walltime]
2020-10-23T20:17:16.150Z in=7 out=1 ent=1 step=1 brake=1 inf=28453 sec=0.028 inf/sec=1016179

eye --no-genid --wcache http://josd.github.io/eye/reasoning/seq . http://josd.github.io/eye/reasoning/seq/seq_components.n3 --query http://josd.github.io/eye/reasoning/seq/seq_query.n3
EYE v20.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 23 [msec cputime] 27 [msec walltime]
GET http://josd.github.io/eye/reasoning/seq/seq_components.n3 FROM ./seq_components.n3 SC=6
GET http://josd.github.io/eye/reasoning/seq/seq_query.n3 FROM ./seq_query.n3 SC=1
networking 4 [msec cputime] 3 [msec walltime]
reasoning 7 [msec cputime] 7 [msec walltime]
2020-10-23T20:17:16.295Z in=7 out=1 ent=1 step=1 brake=1 inf=79702 sec=0.034 inf/sec=2344176

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.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 25 [msec cputime] 27 [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 25 [msec cputime] 1216 [msec walltime]
reasoning 5 [msec cputime] 4 [msec walltime]
2020-10-23T20:17:17.660Z in=110 out=1 ent=12 step=28 brake=2 inf=209897 sec=0.055 inf/sec=3816309

eye --no-genid http://josd.github.io/eye/reasoning/socrates/socrates.n3 --query http://josd.github.io/eye/reasoning/socrates/socratesF.n3
EYE v20.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 25 [msec cputime] 27 [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 4 [msec cputime] 1064 [msec walltime]
reasoning 3 [msec cputime] 3 [msec walltime]
2020-10-23T20:17:18.874Z in=4 out=2 ent=3 step=6 brake=2 inf=22495 sec=0.032 inf/sec=702969

eye --no-genid --nope http://josd.github.io/eye/reasoning/streason/streason-rules.n3 --turtle - --streaming-reasoning
EYE v20.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 25 [msec cputime] 29 [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 (77519 triples/s)
SC=10
2020-10-23T20:17:19.456Z in=16 out=101 ent=0 step=0 brake=0 inf=31248 sec=0.033 inf/sec=946909

eye --no-genid --nope --pl http://josd.github.io/eye/reasoning/sudoku/sudoku_program.pl --query http://josd.github.io/eye/reasoning/sudoku/sudoku_query.n3
EYE v20.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 26 [msec cputime] 28 [msec walltime]
GET http://josd.github.io/eye/reasoning/sudoku/sudoku_program.pl 
GET http://josd.github.io/eye/reasoning/sudoku/sudoku_query.n3 SC=1
networking 106 [msec cputime] 1023 [msec walltime]
reasoning 128 [msec cputime] 150 [msec walltime]
2020-10-23T20:17:20.776Z in=1 out=4 ent=4 step=4 brake=1 inf=3593021 sec=0.260 inf/sec=13819312

eye --no-genid --pl http://josd.github.io/eye/reasoning/sudoku/sudoku_program.pl --query http://josd.github.io/eye/reasoning/sudoku/sudoku_query.n3
EYE v20.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 23 [msec cputime] 25 [msec walltime]
GET http://josd.github.io/eye/reasoning/sudoku/sudoku_program.pl 
GET http://josd.github.io/eye/reasoning/sudoku/sudoku_query.n3 SC=1
networking 108 [msec cputime] 606 [msec walltime]
reasoning 152 [msec cputime] 174 [msec walltime]
2020-10-23T20:17:21.695Z in=1 out=4 ent=4 step=4 brake=1 inf=3814738 sec=0.283 inf/sec=13479640

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.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 23 [msec cputime] 25 [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 25 [msec cputime] 1577 [msec walltime]
reasoning 7 [msec cputime] 6 [msec walltime]
2020-10-23T20:17:23.426Z in=501 out=81 ent=81 step=81 brake=1 inf=225296 sec=0.055 inf/sec=4096291

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.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 25 [msec cputime] 26 [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 25 [msec cputime] 1905 [msec walltime]
reasoning 5 [msec cputime] 4 [msec walltime]
2020-10-23T20:17:25.473Z in=501 out=54 ent=54 step=54 brake=1 inf=222534 sec=0.055 inf/sec=4046073

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.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 25 [msec cputime] 29 [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 27 [msec cputime] 879 [msec walltime]
reasoning 9 [msec cputime] 8 [msec walltime]
2020-10-23T20:17:26.497Z in=501 out=46 ent=46 step=46 brake=1 inf=217603 sec=0.061 inf/sec=3567262

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.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 21 [msec cputime] 26 [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 28 [msec cputime] 875 [msec walltime]
reasoning 5 [msec cputime] 5 [msec walltime]
2020-10-23T20:17:27.513Z in=501 out=19 ent=19 step=19 brake=1 inf=205306 sec=0.054 inf/sec=3801963

eye --no-genid http://josd.github.io/eye/reasoning/swet/swetA.n3 --query http://josd.github.io/eye/reasoning/swet/swetQ.n3
EYE v20.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 23 [msec cputime] 26 [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 18 [msec cputime] 616 [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 61 [msec cputime] 1708 [msec walltime]
2020-10-23T20:17:29.973Z in=303 out=3 ent=3 step=3 brake=1 inf=606892 sec=0.102 inf/sec=5949922

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.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 25 [msec cputime] 27 [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 5 [msec cputime] 1070 [msec walltime]
reasoning 136 [msec cputime] 148 [msec walltime]
2020-10-23T20:17:31.341Z in=3 out=1 ent=1 step=1 brake=1 inf=1232780 sec=0.166 inf/sec=7426386

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.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 25 [msec cputime] 30 [msec walltime]
GET http://josd.github.io/eye/reasoning/tfcontext/data-001.n3 translating file:///tmp/swipl_eye_21441_0
Done: translated 7 triples in 0.3 ms (24272 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 8 [msec cputime] 1202 [msec walltime]
reasoning 10 [msec cputime] 9 [msec walltime]
2020-10-23T20:17:32.702Z in=9 out=7 ent=21 step=42 brake=4 inf=87254 sec=0.043 inf/sec=2029163

eye --no-genid http://josd.github.io/eye/reasoning/turing/turing.n3 --query http://josd.github.io/eye/reasoning/turing/turingQ.n3
EYE v20.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 25 [msec cputime] 28 [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 7 [msec cputime] 818 [msec walltime]
reasoning 11 [msec cputime] 10 [msec walltime]
2020-10-23T20:17:33.678Z in=18 out=1 ent=1 step=1 brake=1 inf=95581 sec=0.043 inf/sec=2222814

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.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 24 [msec cputime] 25 [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 7 [msec cputime] 800 [msec walltime]
reasoning 12 [msec cputime] 11 [msec walltime]
2020-10-23T20:17:34.634Z in=21 out=2 ent=24 step=88 brake=5 inf=89883 sec=0.043 inf/sec=2090302

eye --no-genid http://josd.github.io/eye/reasoning/utf8/utf8.n3 --pass
EYE v20.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 24 [msec cputime] 27 [msec walltime]
GET http://josd.github.io/eye/reasoning/utf8/utf8.n3 SC=5
networking 3 [msec cputime] 418 [msec walltime]
reasoning 4 [msec cputime] 4 [msec walltime]
2020-10-23T20:17:35.200Z in=5 out=5 ent=5 step=5 brake=1 inf=21971 sec=0.031 inf/sec=708742

eye --no-genid --nope --pl http://josd.github.io/eye/reasoning/utm/utm_interpreter.pl --pl http://josd.github.io/eye/reasoning/utm/utm_program.pl --query http://josd.github.io/eye/reasoning/utm/utm_query.n3
EYE v20.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 23 [msec cputime] 25 [msec walltime]
GET http://josd.github.io/eye/reasoning/utm/utm_interpreter.pl 
GET http://josd.github.io/eye/reasoning/utm/utm_program.pl 
GET http://josd.github.io/eye/reasoning/utm/utm_query.n3 SC=4
networking 5 [msec cputime] 1351 [msec walltime]
reasoning 1 [msec cputime] 1 [msec walltime]
2020-10-23T20:17:36.692Z in=4 out=4 ent=4 step=4 brake=1 inf=18484 sec=0.029 inf/sec=637379

eye --no-genid --pl http://josd.github.io/eye/reasoning/utm/utm_interpreter.pl --pl http://josd.github.io/eye/reasoning/utm/utm_program.pl --query http://josd.github.io/eye/reasoning/utm/utm_query.n3
EYE v20.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 26 [msec cputime] 28 [msec walltime]
GET http://josd.github.io/eye/reasoning/utm/utm_interpreter.pl 
GET http://josd.github.io/eye/reasoning/utm/utm_program.pl 
GET http://josd.github.io/eye/reasoning/utm/utm_query.n3 SC=4
networking 6 [msec cputime] 644 [msec walltime]
reasoning 23 [msec cputime] 23 [msec walltime]
2020-10-23T20:17:37.495Z in=4 out=4 ent=4 step=4 brake=1 inf=200999 sec=0.055 inf/sec=3654527

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.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 23 [msec cputime] 26 [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 5 [msec cputime] 790 [msec walltime]
reasoning 5 [msec cputime] 4 [msec walltime]
2020-10-23T20:17:38.432Z in=8 out=1 ent=7 step=25 brake=5 inf=28397 sec=0.033 inf/sec=860515

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.1020.2137 josd
SWI-Prolog version 8.3.10-2-g0bbb55656
starting 23 [msec cputime] 27 [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 14 [msec cputime] 1221 [msec walltime]
reasoning 8 [msec cputime] 7 [msec walltime]
2020-10-23T20:17:39.798Z in=96 out=1 ent=14 step=43 brake=3 inf=88688 sec=0.045 inf/sec=1970844

