eye --no-genid http://josd.github.io/eye/reasoning/3outof5/sample.n3 --query http://josd.github.io/eye/reasoning/3outof5/query.n3
EYE v20.0403.2208 josd
SWI-Prolog version 8.1.28
starting 69 [msec cputime] 84 [msec walltime]
GET http://josd.github.io/eye/reasoning/3outof5/sample.n3 SC=5
GET http://josd.github.io/eye/reasoning/3outof5/query.n3 SC=1
networking 14 [msec cputime] 944 [msec walltime]
reasoning 41 [msec cputime] 41 [msec walltime]
2020-04-11T22:14:56.655Z in=6 out=1 ent=1 step=1 brake=2 inf=50871 sec=0.124 inf/sec=410250

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.0403.2208 josd
SWI-Prolog version 8.1.28
starting 70 [msec cputime] 89 [msec walltime]
GET http://josd.github.io/eye/reasoning/4color/4color_data.n3 translating file:///tmp/swipl_eye_24145_0
Done: translated 28 triples in 0.6 ms (49988 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 20 [msec cputime] 1271 [msec walltime]
reasoning 21 [msec cputime] 21 [msec walltime]
2020-04-11T22:14:58.160Z in=31 out=2 ent=2 step=2 brake=2 inf=56951 sec=0.111 inf/sec=513072

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.0403.2208 josd
SWI-Prolog version 8.1.28
starting 70 [msec cputime] 84 [msec walltime]
GET http://josd.github.io/eye/reasoning/4color/4color_data.n3 translating file:///tmp/swipl_eye_24163_0
Done: translated 28 triples in 0.8 ms (36370 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 21 [msec cputime] 713 [msec walltime]
reasoning 149 [msec cputime] 150 [msec walltime]
2020-04-11T22:14:59.219Z in=31 out=2 ent=2 step=2 brake=2 inf=435759 sec=0.240 inf/sec=1815663

eye --no-genid --nope --wcache http://josd.github.io/eye/reasoning/4eq . --prolog http://josd.github.io/eye/reasoning/4eq/4eq_program.pl --query http://josd.github.io/eye/reasoning/4eq/4eq_query.n3
EYE v20.0403.2208 josd
SWI-Prolog version 8.1.28
starting 71 [msec cputime] 86 [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 235 [msec cputime] 236 [msec walltime]
reasoning 1 [msec cputime] 1 [msec walltime]
2020-04-11T22:14:59.670Z in=1 out=1 ent=1 step=1 brake=1 inf=471883 sec=0.307 inf/sec=1537078

eye --no-genid --wcache http://josd.github.io/eye/reasoning/4eq . --prolog http://josd.github.io/eye/reasoning/4eq/4eq_program.pl --query http://josd.github.io/eye/reasoning/4eq/4eq_query.n3
EYE v20.0403.2208 josd
SWI-Prolog version 8.1.28
starting 66 [msec cputime] 80 [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 232 [msec cputime] 232 [msec walltime]
reasoning 7 [msec cputime] 7 [msec walltime]
2020-04-11T22:15:00.103Z in=1 out=1 ent=1 step=1 brake=1 inf=484292 sec=0.305 inf/sec=1587843

eye --no-genid http://josd.github.io/eye/reasoning/bi/biP.n3 --query http://josd.github.io/eye/reasoning/bi/biQ.n3
EYE v20.0403.2208 josd
SWI-Prolog version 8.1.28
starting 66 [msec cputime] 85 [msec walltime]
GET http://josd.github.io/eye/reasoning/bi/biP.n3 SC=110
GET http://josd.github.io/eye/reasoning/bi/biQ.n3 SC=2
networking 72 [msec cputime] 910 [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 445 [msec cputime] 1684 [msec walltime]
2020-04-11T22:15:02.904Z in=131 out=97 ent=200 step=910 brake=6 inf=1150844 sec=0.583 inf/sec=1974003

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.0403.2208 josd
SWI-Prolog version 8.1.28
starting 69 [msec cputime] 86 [msec walltime]
GET http://josd.github.io/eye/reasoning/bmi/bmi_instances.n3 SC=68
GET http://josd.github.io/eye/reasoning/bmi/bmi_rules.n3 SC=7
GET http://josd.github.io/eye/reasoning/bmi/weightStatus_rules.n3 SC=13
GET http://josd.github.io/eye/reasoning/bmi/age_rules_backward.n3 SC=8
GET http://josd.github.io/eye/reasoning/bmi/bmi_query.n3 SC=1
networking 102 [msec cputime] 2140 [msec walltime]
reasoning 116 [msec cputime] 116 [msec walltime]
2020-04-11T22:15:05.376Z in=97 out=50 ent=100 step=48 brake=4 inf=400175 sec=0.287 inf/sec=1394338

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.0403.2208 josd
SWI-Prolog version 8.1.28
starting 68 [msec cputime] 85 [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 2090 [msec cputime] 6995 [msec walltime]
reasoning 2807 [msec cputime] 2811 [msec walltime]
2020-04-11T22:15:15.390Z in=9841 out=1518 ent=1518 step=1518 brake=1 inf=9797052 sec=4.965 inf/sec=1973223

eye --no-genid --wcache http://josd.github.io/eye/reasoning/c2d . --nope http://josd.github.io/eye/reasoning/c2d/train_data.n3 http://josd.github.io/eye/reasoning/c2d/background_rules.n3 http://josd.github.io/eye/reasoning/c2d/train_rules.n3 --query http://josd.github.io/eye/reasoning/c2d/train_query.n3
EYE v20.0403.2208 josd
SWI-Prolog version 8.1.28
starting 69 [msec cputime] 84 [msec walltime]
GET http://josd.github.io/eye/reasoning/c2d/train_data.n3 FROM ./train_data.n3 SC=51
GET http://josd.github.io/eye/reasoning/c2d/background_rules.n3 FROM ./background_rules.n3 SC=1
GET http://josd.github.io/eye/reasoning/c2d/train_rules.n3 FROM ./train_rules.n3 SC=1
GET http://josd.github.io/eye/reasoning/c2d/train_query.n3 FROM ./train_query.n3 SC=1
networking 18 [msec cputime] 18 [msec walltime]
reasoning 6 [msec cputime] 6 [msec walltime]
2020-04-11T22:15:15.697Z in=54 out=17 ent=24 step=110 brake=2 inf=51250 sec=0.093 inf/sec=551075

eye --no-genid --wcache http://josd.github.io/eye/reasoning/c2d . http://josd.github.io/eye/reasoning/c2d/train_data.n3 http://josd.github.io/eye/reasoning/c2d/background_rules.n3 http://josd.github.io/eye/reasoning/c2d/train_rules.n3 --query http://josd.github.io/eye/reasoning/c2d/train_query.n3
EYE v20.0403.2208 josd
SWI-Prolog version 8.1.28
starting 66 [msec cputime] 82 [msec walltime]
GET http://josd.github.io/eye/reasoning/c2d/train_data.n3 FROM ./train_data.n3 SC=51
GET http://josd.github.io/eye/reasoning/c2d/background_rules.n3 FROM ./background_rules.n3 SC=1
GET http://josd.github.io/eye/reasoning/c2d/train_rules.n3 FROM ./train_rules.n3 SC=1
GET http://josd.github.io/eye/reasoning/c2d/train_query.n3 FROM ./train_query.n3 SC=1
networking 21 [msec cputime] 20 [msec walltime]
reasoning 61 [msec cputime] 61 [msec walltime]
2020-04-11T22:15:15.973Z in=54 out=17 ent=41 step=254 brake=4 inf=179624 sec=0.148 inf/sec=1213676

eye --no-genid --wcache http://josd.github.io/eye/reasoning/c2d . --nope http://josd.github.io/eye/reasoning/c2d/test_data.n3 http://josd.github.io/eye/reasoning/c2d/train_model.n3 http://josd.github.io/eye/reasoning/c2d/background_rules.n3 http://josd.github.io/eye/reasoning/c2d/c2d_rules.n3 --query http://josd.github.io/eye/reasoning/c2d/test_query.n3
EYE v20.0403.2208 josd
SWI-Prolog version 8.1.28
starting 68 [msec cputime] 82 [msec walltime]
GET http://josd.github.io/eye/reasoning/c2d/test_data.n3 FROM ./test_data.n3 SC=20
GET http://josd.github.io/eye/reasoning/c2d/train_model.n3 FROM ./train_model.n3 SC=17
GET http://josd.github.io/eye/reasoning/c2d/background_rules.n3 FROM ./background_rules.n3 SC=1
GET http://josd.github.io/eye/reasoning/c2d/c2d_rules.n3 FROM ./c2d_rules.n3 SC=1
GET http://josd.github.io/eye/reasoning/c2d/test_query.n3 FROM ./test_query.n3 SC=1
networking 30 [msec cputime] 30 [msec walltime]
reasoning 7 [msec cputime] 6 [msec walltime]
2020-04-11T22:15:16.201Z in=40 out=4 ent=3 step=6 brake=2 inf=81106 sec=0.105 inf/sec=772438

eye --no-genid --wcache http://josd.github.io/eye/reasoning/c2d . http://josd.github.io/eye/reasoning/c2d/test_data.n3 http://josd.github.io/eye/reasoning/c2d/train_model.n3 http://josd.github.io/eye/reasoning/c2d/background_rules.n3 http://josd.github.io/eye/reasoning/c2d/c2d_rules.n3 --query http://josd.github.io/eye/reasoning/c2d/test_query.n3
EYE v20.0403.2208 josd
SWI-Prolog version 8.1.28
starting 73 [msec cputime] 84 [msec walltime]
GET http://josd.github.io/eye/reasoning/c2d/test_data.n3 FROM ./test_data.n3 SC=20
GET http://josd.github.io/eye/reasoning/c2d/train_model.n3 FROM ./train_model.n3 SC=17
GET http://josd.github.io/eye/reasoning/c2d/background_rules.n3 FROM ./background_rules.n3 SC=1
GET http://josd.github.io/eye/reasoning/c2d/c2d_rules.n3 FROM ./c2d_rules.n3 SC=1
GET http://josd.github.io/eye/reasoning/c2d/test_query.n3 FROM ./test_query.n3 SC=1
networking 34 [msec cputime] 40 [msec walltime]
reasoning 114 [msec cputime] 115 [msec walltime]
2020-04-11T22:15:16.554Z in=40 out=4 ent=7 step=20 brake=4 inf=330399 sec=0.221 inf/sec=1495018

eye --no-genid --nope --wcache http://josd.github.io/eye/reasoning/complex . --prolog http://josd.github.io/eye/reasoning/complex/complex_query.pl
EYE v20.0403.2208 josd
SWI-Prolog version 8.1.28
starting 66 [msec cputime] 82 [msec walltime]
GET http://josd.github.io/eye/reasoning/complex/complex_query.pl FROM ./complex_query.pl 
networking 1 [msec cputime] 1 [msec walltime]
eye --no-genid --hmac-key k123 http://josd.github.io/eye/reasoning/crypto/cryptoP.n3 --pass
EYE v20.0403.2208 josd
SWI-Prolog version 8.1.28
starting 65 [msec cputime] 82 [msec walltime]
GET http://josd.github.io/eye/reasoning/crypto/cryptoP.n3 SC=3
networking 8 [msec cputime] 419 [msec walltime]
reasoning 8 [msec cputime] 8 [msec walltime]
2020-04-11T22:15:17.389Z in=3 out=3 ent=6 step=12 brake=2 inf=26535 sec=0.081 inf/sec=327593

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.0403.2208 josd
SWI-Prolog version 8.1.28
starting 68 [msec cputime] 86 [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 13 [msec cputime] 13 [msec walltime]
reasoning 2 [msec cputime] 1 [msec walltime]
2020-04-11T22:15:17.610Z in=15 out=2 ent=4 step=8 brake=2 inf=31320 sec=0.083 inf/sec=377349

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.0403.2208 josd
SWI-Prolog version 8.1.28
starting 67 [msec cputime] 82 [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 18 [msec cputime] 17 [msec walltime]
reasoning 11 [msec cputime] 11 [msec walltime]
2020-04-11T22:15:17.833Z in=15 out=2 ent=4 step=8 brake=2 inf=50792 sec=0.096 inf/sec=529083

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.0403.2208 josd
SWI-Prolog version 8.1.28
starting 69 [msec cputime] 86 [msec walltime]
GET http://josd.github.io/eye/reasoning/csv/select-data.n3 SC=17
GET http://josd.github.io/eye/reasoning/csv/select-query.n3 SC=1
networking 12 [msec cputime] 796 [msec walltime]
reasoning 36 [msec cputime] 36 [msec walltime]
2020-04-11T22:15:18.876Z in=18 out=85 ent=0 step=0 brake=1 inf=39948 sec=0.117 inf/sec=341436

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.0403.2208 josd
SWI-Prolog version 8.1.28
starting 68 [msec cputime] 85 [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 18 [msec cputime] 442 [msec walltime]
reasoning 58 [msec cputime] 57 [msec walltime]
2020-04-11T22:15:19.571Z in=18 out=17 ent=17 step=17 brake=2 inf=89486 sec=0.144 inf/sec=621431

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.0403.2208 josd
SWI-Prolog version 8.1.28
starting 66 [msec cputime] 80 [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 13 [msec cputime] 609 [msec walltime]
reasoning 47 [msec cputime] 47 [msec walltime]
2020-04-11T22:15:20.419Z in=6 out=5 ent=5 step=5 brake=2 inf=52275 sec=0.126 inf/sec=414881

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.0403.2208 josd
SWI-Prolog version 8.1.28
starting 69 [msec cputime] 83 [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 14 [msec cputime] 1292 [msec walltime]
reasoning 9 [msec cputime] 8 [msec walltime]
2020-04-11T22:15:21.958Z in=8 out=1 ent=6 step=18 brake=3 inf=25473 sec=0.092 inf/sec=276880

eye --no-genid --turtle http://josd.github.io/eye/reasoning/djiti/graph-10.n3 --query http://josd.github.io/eye/reasoning/djiti/query.n3
EYE v20.0403.2208 josd
SWI-Prolog version 8.1.28
starting 70 [msec cputime] 90 [msec walltime]
GET http://josd.github.io/eye/reasoning/djiti/graph-10.n3 translating file:///tmp/swipl_eye_24428_0
Done: translated 10 triples in 0.3 ms (29075 triples/s)
SC=10
GET http://josd.github.io/eye/reasoning/djiti/query.n3 SC=1
networking 9 [msec cputime] 852 [msec walltime]
reasoning 8 [msec cputime] 7 [msec walltime]
2020-04-11T22:15:23.030Z in=11 out=2 ent=2 step=2 brake=1 inf=22908 sec=0.087 inf/sec=263310

eye --no-genid --turtle http://josd.github.io/eye/reasoning/djiti/graph-100.n3 --query http://josd.github.io/eye/reasoning/djiti/query.n3
EYE v20.0403.2208 josd
SWI-Prolog version 8.1.28
starting 68 [msec cputime] 87 [msec walltime]
GET http://josd.github.io/eye/reasoning/djiti/graph-100.n3 translating file:///tmp/swipl_eye_24442_0
Done: translated 100 triples in 1.4 ms (71077 triples/s)
SC=100
GET http://josd.github.io/eye/reasoning/djiti/query.n3 SC=1
networking 19 [msec cputime] 627 [msec walltime]
reasoning 18 [msec cputime] 17 [msec walltime]
2020-04-11T22:15:23.873Z in=101 out=6 ent=6 step=6 brake=1 inf=39982 sec=0.105 inf/sec=380781

eye --no-genid --turtle http://josd.github.io/eye/reasoning/djiti/graph-1000.n3 --query http://josd.github.io/eye/reasoning/djiti/query.n3
EYE v20.0403.2208 josd
SWI-Prolog version 8.1.28
starting 67 [msec cputime] 86 [msec walltime]
GET http://josd.github.io/eye/reasoning/djiti/graph-1000.n3 translating file:///tmp/swipl_eye_24456_0
Done: translated 1000 triples in 40.2 ms (24872 triples/s)
SC=1000
GET http://josd.github.io/eye/reasoning/djiti/query.n3 SC=1
networking 58 [msec cputime] 692 [msec walltime]
reasoning 141 [msec cputime] 141 [msec walltime]
2020-04-11T22:15:24.905Z in=1001 out=92 ent=92 step=92 brake=1 inf=364449 sec=0.266 inf/sec=1370109

eye --no-genid --turtle http://josd.github.io/eye/reasoning/djiti/graph-10000.n3 --query http://josd.github.io/eye/reasoning/djiti/query.n3
EYE v20.0403.2208 josd
SWI-Prolog version 8.1.28
starting 67 [msec cputime] 87 [msec walltime]
GET http://josd.github.io/eye/reasoning/djiti/graph-10000.n3 translating file:///tmp/swipl_eye_24470_0
Done: translated 10000 triples in 459.2 ms (21779 triples/s)
SC=10000
GET http://josd.github.io/eye/reasoning/djiti/query.n3 SC=1
networking 479 [msec cputime] 1970 [msec walltime]
reasoning 1459 [msec cputime] 1461 [msec walltime]
2020-04-11T22:15:28.535Z in=10001 out=966 ent=966 step=966 brake=1 inf=3624354 sec=2.005 inf/sec=1807658

eye --no-genid --proof http://josd.github.io/eye/reasoning/djiti/proof-10.n3 --query http://josd.github.io/eye/reasoning/djiti/query.n3
EYE v20.0403.2208 josd
SWI-Prolog version 8.1.28
starting 67 [msec cputime] 82 [msec walltime]
GET http://josd.github.io/eye/reasoning/djiti/proof-10.n3 SC=88
GET http://josd.github.io/eye/reasoning/djiti/query.n3 SC=1
networking 35 [msec cputime] 628 [msec walltime]
reasoning 15 [msec cputime] 15 [msec walltime]
2020-04-11T22:15:29.377Z in=89 out=2 ent=9 step=18 brake=2 inf=84985 sec=0.117 inf/sec=726368

eye --no-genid --proof http://josd.github.io/eye/reasoning/djiti/proof-100.n3 --query http://josd.github.io/eye/reasoning/djiti/query.n3
EYE v20.0403.2208 josd
SWI-Prolog version 8.1.28
starting 65 [msec cputime] 81 [msec walltime]
GET http://josd.github.io/eye/reasoning/djiti/proof-100.n3 SC=243
GET http://josd.github.io/eye/reasoning/djiti/query.n3 SC=1
networking 78 [msec cputime] 782 [msec walltime]
reasoning 33 [msec cputime] 32 [msec walltime]
2020-04-11T22:15:30.384Z in=244 out=6 ent=24 step=48 brake=2 inf=200321 sec=0.176 inf/sec=1138188

eye --no-genid --proof http://josd.github.io/eye/reasoning/djiti/proof-1000.n3 --query http://josd.github.io/eye/reasoning/djiti/query.n3
EYE v20.0403.2208 josd
SWI-Prolog version 8.1.28
starting 66 [msec cputime] 81 [msec walltime]
GET http://josd.github.io/eye/reasoning/djiti/proof-1000.n3 SC=3623
GET http://josd.github.io/eye/reasoning/djiti/query.n3 SC=1
networking 960 [msec cputime] 1633 [msec walltime]
reasoning 350 [msec cputime] 350 [msec walltime]
2020-04-11T22:15:32.563Z in=3624 out=92 ent=356 step=712 brake=2 inf=2752286 sec=1.376 inf/sec=2000208

eye --no-genid --proof http://josd.github.io/eye/reasoning/djiti/proof-10000.n3 --query http://josd.github.io/eye/reasoning/djiti/query.n3
EYE v20.0403.2208 josd
SWI-Prolog version 8.1.28
starting 65 [msec cputime] 83 [msec walltime]
GET http://josd.github.io/eye/reasoning/djiti/proof-10000.n3 SC=37738
GET http://josd.github.io/eye/reasoning/djiti/query.n3 SC=1
networking 10225 [msec cputime] 11738 [msec walltime]
reasoning 3556 [msec cputime] 3558 [msec walltime]
2020-04-11T22:15:48.059Z in=37739 out=966 ent=3683 step=7366 brake=2 inf=28579222 sec=13.846 inf/sec=2064078

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.0403.2208 josd
SWI-Prolog version 8.1.28
starting 69 [msec cputime] 83 [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 15 [msec cputime] 801 [msec walltime]
reasoning 13 [msec cputime] 764 [msec walltime]
2020-04-11T22:15:49.976Z in=10 out=1 ent=2 step=2 brake=1 inf=48744 sec=0.097 inf/sec=502515

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.0403.2208 josd
SWI-Prolog version 8.1.28
starting 67 [msec cputime] 83 [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 13 [msec cputime] 1195 [msec walltime]
reasoning 15 [msec cputime] 15 [msec walltime]
2020-04-11T22:15:51.392Z in=16 out=2 ent=32 step=120 brake=4 inf=51740 sec=0.095 inf/sec=544632

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.0403.2208 josd
SWI-Prolog version 8.1.28
starting 70 [msec cputime] 87 [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 11 [msec cputime] 10 [msec walltime]
reasoning 2 [msec cputime] 1 [msec walltime]
2020-04-11T22:15:51.612Z in=29 out=24 ent=0 step=0 brake=1 inf=34956 sec=0.083 inf/sec=421157

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.0403.2208 josd
SWI-Prolog version 8.1.28
starting 69 [msec cputime] 84 [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 16 [msec cputime] 16 [msec walltime]
reasoning 32 [msec cputime] 31 [msec walltime]
2020-04-11T22:15:51.856Z in=29 out=14 ent=14 step=24 brake=1 inf=96939 sec=0.117 inf/sec=828538

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.0403.2208 josd
SWI-Prolog version 8.1.28
starting 68 [msec cputime] 85 [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 11 [msec cputime] 10 [msec walltime]
reasoning 2 [msec cputime] 2 [msec walltime]
2020-04-11T22:15:52.067Z in=25 out=4 ent=4 step=4 brake=2 inf=25742 sec=0.081 inf/sec=317802

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.0403.2208 josd
SWI-Prolog version 8.1.28
starting 67 [msec cputime] 81 [msec walltime]
GET http://josd.github.io/eye/reasoning/dqc/sdcoding-a.n3 FROM ./sdcoding-a.n3 SC=24
GET http://josd.github.io/eye/reasoning/dqc/sdcoding-query.n3 FROM ./sdcoding-query.n3 SC=1
networking 10 [msec cputime] 10 [msec walltime]
reasoning 11 [msec cputime] 10 [msec walltime]
2020-04-11T22:15:52.282Z in=25 out=4 ent=4 step=4 brake=2 inf=39190 sec=0.088 inf/sec=445341

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.0403.2208 josd
SWI-Prolog version 8.1.28
starting 70 [msec cputime] 87 [msec walltime]
GET http://josd.github.io/eye/reasoning/dt/test-facts.n3 SC=2
GET http://josd.github.io/eye/reasoning/dt/test-dt-1000.n3 SC=3001
GET http://josd.github.io/eye/reasoning/dt/test-query.n3 SC=1
networking 926 [msec cputime] 2478 [msec walltime]
reasoning 744 [msec cputime] 744 [msec walltime]
2020-04-11T22:15:55.714Z in=3004 out=1 ent=2999 step=5998 brake=2 inf=3983321 sec=1.740 inf/sec=2289265

eye --no-genid --nope --tactic limited-answer 1 --wcache http://josd.github.io/eye/reasoning/ea . --prolog http://josd.github.io/eye/reasoning/ea/ea_program.pl --query http://josd.github.io/eye/reasoning/ea/ea_query.n3
EYE v20.0403.2208 josd
SWI-Prolog version 8.1.28
starting 70 [msec cputime] 87 [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 3 [msec cputime] 3 [msec walltime]
reasoning 449 [msec cputime] 454 [msec walltime]
2020-04-11T22:15:56.397Z in=1 out=1 ent=1 step=1 brake=1 inf=882625 sec=0.522 inf/sec=1690852

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.0403.2208 josd
SWI-Prolog version 8.1.28
starting 68 [msec cputime] 86 [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 27 [msec cputime] 846 [msec walltime]
reasoning 28 [msec cputime] 27 [msec walltime]
2020-04-11T22:15:57.477Z in=29 out=26 ent=52 step=104 brake=2 inf=98983 sec=0.123 inf/sec=804740

eye --no-genid http://josd.github.io/eye/reasoning/easter/easterP.n3 --query http://josd.github.io/eye/reasoning/easter/easterF.n3
EYE v20.0403.2208 josd
SWI-Prolog version 8.1.28
starting 68 [msec cputime] 83 [msec walltime]
GET http://josd.github.io/eye/reasoning/easter/easterP.n3 SC=28
GET http://josd.github.io/eye/reasoning/easter/easterF.n3 SC=1
networking 28 [msec cputime] 473 [msec walltime]
reasoning 194 [msec cputime] 194 [msec walltime]
2020-04-11T22:15:58.340Z in=29 out=26 ent=52 step=104 brake=2 inf=521020 sec=0.290 inf/sec=1796621

eye --no-genid http://josd.github.io/eye/reasoning/einstein/einstein.n3 --query http://josd.github.io/eye/reasoning/einstein/einsteinQ.n3
EYE v20.0403.2208 josd
SWI-Prolog version 8.1.28
starting 69 [msec cputime] 83 [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 22 [msec cputime] 771 [msec walltime]
reasoning 326 [msec cputime] 326 [msec walltime]
2020-04-11T22:15:59.649Z in=5 out=1 ent=2 step=4 brake=2 inf=701398 sec=0.417 inf/sec=1682010

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.0403.2208 josd
SWI-Prolog version 8.1.28
starting 70 [msec cputime] 85 [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 1068 [msec cputime] 2171 [msec walltime]
reasoning 4079 [msec cputime] 4388 [msec walltime]
2020-04-11T22:16:06.417Z in=1001 out=1000 ent=1000 step=1000 brake=1 inf=12858918 sec=5.217 inf/sec=2464811

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.0403.2208 josd
SWI-Prolog version 8.1.28
starting 67 [msec cputime] 84 [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 78 [msec cputime] 1982 [msec walltime]
reasoning 192 [msec cputime] 192 [msec walltime]
2020-04-11T22:16:08.813Z in=76 out=8 ent=50 step=307 brake=6 inf=561655 sec=0.337 inf/sec=1666632

eye --no-genid --nope --prolog http://josd.github.io/eye/reasoning/fft/fft_program.pl --query http://josd.github.io/eye/reasoning/fft/fft_query.n3
EYE v20.0403.2208 josd
SWI-Prolog version 8.1.28
starting 68 [msec cputime] 83 [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 8 [msec cputime] 786 [msec walltime]
reasoning 14 [msec cputime] 14 [msec walltime]
2020-04-11T22:16:09.824Z in=4 out=4 ent=4 step=4 brake=1 inf=43527 sec=0.090 inf/sec=483633

eye --no-genid --prolog http://josd.github.io/eye/reasoning/fft/fft_program.pl --query http://josd.github.io/eye/reasoning/fft/fft_query.n3
EYE v20.0403.2208 josd
SWI-Prolog version 8.1.28
starting 67 [msec cputime] 83 [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 13 [msec cputime] 442 [msec walltime]
reasoning 6788 [msec cputime] 6910 [msec walltime]
2020-04-11T22:16:17.375Z in=4 out=4 ent=4 step=4 brake=1 inf=18295432 sec=6.868 inf/sec=2663866

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.0403.2208 josd
SWI-Prolog version 8.1.28
starting 68 [msec cputime] 83 [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 193 [msec cputime] 3300 [msec walltime]
reasoning 438 [msec cputime] 438 [msec walltime]
2020-04-11T22:16:21.428Z in=253 out=18 ent=237 step=1917 brake=5 inf=1214933 sec=0.699 inf/sec=1738102

eye --no-genid http://josd.github.io/eye/reasoning/fib/fib.n3 --query http://josd.github.io/eye/reasoning/fib/fibQ.n3
EYE v20.0403.2208 josd
SWI-Prolog version 8.1.28
starting 69 [msec cputime] 83 [msec walltime]
GET http://josd.github.io/eye/reasoning/fib/fib.n3 SC=4
GET http://josd.github.io/eye/reasoning/fib/fibQ.n3 SC=3
networking 11 [msec cputime] 779 [msec walltime]
reasoning 334 [msec cputime] 336 [msec walltime]
2020-04-11T22:16:22.753Z in=7 out=3 ent=3 step=3 brake=1 inf=770399 sec=0.414 inf/sec=1860867

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.0403.2208 josd
SWI-Prolog version 8.1.28
starting 67 [msec cputime] 81 [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 13 [msec cputime] 414 [msec walltime]
reasoning 10 [msec cputime] 10 [msec walltime]
2020-04-11T22:16:23.372Z in=7 out=3 ent=3 step=3 brake=1 inf=28594 sec=0.090 inf/sec=317711

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.0403.2208 josd
SWI-Prolog version 8.1.28
starting 69 [msec cputime] 85 [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 75 [msec cputime] 1911 [msec walltime]
reasoning 285 [msec cputime] 285 [msec walltime]
2020-04-11T22:16:25.787Z in=185 out=6 ent=1591 step=18973 brake=12 inf=881325 sec=0.429 inf/sec=2054371

eye --no-genid http://josd.github.io/eye/reasoning/glass/test.n3 --query http://josd.github.io/eye/reasoning/glass/testQ.n3
EYE v20.0403.2208 josd
SWI-Prolog version 8.1.28
starting 66 [msec cputime] 83 [msec walltime]
GET http://josd.github.io/eye/reasoning/glass/test.n3 SC=3
GET http://josd.github.io/eye/reasoning/glass/testQ.n3 SC=6
networking 15 [msec cputime] 795 [msec walltime]
reasoning 15 [msec cputime] 14 [msec walltime]
2020-04-11T22:16:26.803Z in=9 out=6 ent=7 step=30 brake=2 inf=48526 sec=0.096 inf/sec=505479

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.0403.2208 josd
SWI-Prolog version 8.1.28
starting 68 [msec cputime] 85 [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 38 [msec cputime] 1156 [msec walltime]
reasoning 37 [msec cputime] 37 [msec walltime]
2020-04-11T22:16:28.204Z in=11 out=1 ent=1 step=1 brake=2 inf=128295 sec=0.143 inf/sec=897168

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.0403.2208 josd
SWI-Prolog version 8.1.28
starting 72 [msec cputime] 84 [msec walltime]
GET http://josd.github.io/eye/reasoning/gps/gps-plugin.n3 SC=7
GET http://josd.github.io/eye/reasoning/gps/gps-example2.n3 SC=36
GET http://josd.github.io/eye/reasoning/gps/gps-query2.n3 SC=1
networking 56 [msec cputime] 1040 [msec walltime]
reasoning 1184 [msec cputime] 1189 [msec walltime]
2020-04-11T22:16:30.629Z in=44 out=10 ent=10 step=10 brake=2 inf=2933994 sec=1.312 inf/sec=2236276

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.0403.2208 josd
SWI-Prolog version 8.1.28
starting 68 [msec cputime] 85 [msec walltime]
GET http://josd.github.io/eye/reasoning/graph/graph.axiom.n3 SC=12
GET http://josd.github.io/eye/reasoning/graph/rpo-rules.n3 SC=76
GET http://josd.github.io/eye/reasoning/graph/graph.filter.n3 SC=1
networking 47 [msec cputime] 1196 [msec walltime]
reasoning 17 [msec cputime] 16 [msec walltime]
2020-04-11T22:16:32.072Z in=89 out=1 ent=24 step=70 brake=2 inf=91181 sec=0.132 inf/sec=690765

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.0403.2208 josd
SWI-Prolog version 8.1.28
starting 69 [msec cputime] 89 [msec walltime]
GET http://josd.github.io/eye/reasoning/h2o/hypothesis-001.n3 translating file:///tmp/swipl_eye_24930_0
Done: translated 1 triples in 0.4 ms (2406 triples/s)
SC=1
GET http://josd.github.io/eye/reasoning/h2o/data-001.n3 translating file:///tmp/swipl_eye_24930_1
Done: translated 7 triples in 0.4 ms (19505 triples/s)
SC=7
GET http://josd.github.io/eye/reasoning/h2o/rules-001.n3 SC=1
GET http://josd.github.io/eye/reasoning/h2o/query-001.n3 SC=1
networking 16 [msec cputime] 1554 [msec walltime]
reasoning 7 [msec cputime] 6 [msec walltime]
2020-04-11T22:16:33.844Z in=10 out=1 ent=6 step=12 brake=2 inf=26665 sec=0.092 inf/sec=289837

eye --no-genid --tactic limited-answer 1 http://josd.github.io/eye/reasoning/hanoi/hanoi.n3 --pass
EYE v20.0403.2208 josd
SWI-Prolog version 8.1.28
starting 67 [msec cputime] 82 [msec walltime]
GET http://josd.github.io/eye/reasoning/hanoi/hanoi.n3 SC=3
networking 10 [msec cputime] 398 [msec walltime]
reasoning 14 [msec cputime] 14 [msec walltime]
2020-04-11T22:16:34.459Z in=3 out=1 ent=2 step=2 brake=1 inf=38929 sec=0.091 inf/sec=427791

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.0403.2208 josd
SWI-Prolog version 8.1.28
starting 69 [msec cputime] 86 [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 22 [msec cputime] 1192 [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.0403.2208 josd
SWI-Prolog version 8.1.28
starting 68 [msec cputime] 83 [msec walltime]
GET http://josd.github.io/eye/reasoning/image/query.n3 SC=1
networking 5 [msec cputime] 401 [msec walltime]
reasoning 685 [msec cputime] 686 [msec walltime]
2020-04-11T22:16:37.794Z in=5 out=101 ent=202 step=404 brake=2 inf=1726420 sec=0.758 inf/sec=2277599

eye --no-genid http://josd.github.io/eye/reasoning/iq/iq.n3 --pass-all
EYE v20.0403.2208 josd
SWI-Prolog version 8.1.28
starting 69 [msec cputime] 83 [msec walltime]
GET http://josd.github.io/eye/reasoning/iq/iq.n3 SC=7
networking 7 [msec cputime] 411 [msec walltime]
reasoning 25 [msec cputime] 25 [msec walltime]
2020-04-11T22:16:38.449Z in=7 out=10 ent=13 step=26 brake=2 inf=59846 sec=0.101 inf/sec=592535

eye --no-genid --nope --prolog http://josd.github.io/eye/reasoning/lee/lee_program.pl --query http://josd.github.io/eye/reasoning/lee/lee_query.n3
EYE v20.0403.2208 josd
SWI-Prolog version 8.1.28
starting 68 [msec cputime] 85 [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 7 [msec cputime] 768 [msec walltime]
reasoning 8 [msec cputime] 8 [msec walltime]
2020-04-11T22:16:39.432Z in=1 out=1 ent=1 step=1 brake=1 inf=30061 sec=0.083 inf/sec=362181

eye --no-genid --prolog http://josd.github.io/eye/reasoning/lee/lee_program.pl --query http://josd.github.io/eye/reasoning/lee/lee_query.n3
EYE v20.0403.2208 josd
SWI-Prolog version 8.1.28
starting 67 [msec cputime] 80 [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 11 [msec cputime] 430 [msec walltime]
reasoning 315 [msec cputime] 315 [msec walltime]
2020-04-11T22:16:40.372Z in=1 out=1 ent=1 step=1 brake=1 inf=676891 sec=0.393 inf/sec=1722369

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.0403.2208 josd
SWI-Prolog version 8.1.28
starting 80 [msec cputime] 96 [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 69 [msec cputime] 1242 [msec walltime]
reasoning 57 [msec cputime] 56 [msec walltime]
2020-04-11T22:16:41.885Z in=168 out=1 ent=39 step=124 brake=4 inf=230769 sec=0.206 inf/sec=1120238

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.0403.2208 josd
SWI-Prolog version 8.1.28
starting 70 [msec cputime] 86 [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 24 [msec cputime] 24 [msec walltime]
reasoning 1 [msec cputime] 1 [msec walltime]
2020-04-11T22:16:42.119Z in=10 out=1 ent=1 step=1 brake=2 inf=55360 sec=0.095 inf/sec=582737

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.0403.2208 josd
SWI-Prolog version 8.1.28
starting 67 [msec cputime] 82 [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 24 [msec cputime] 25 [msec walltime]
reasoning 23 [msec cputime] 23 [msec walltime]
2020-04-11T22:16:42.361Z in=10 out=1 ent=1 step=1 brake=2 inf=103100 sec=0.114 inf/sec=904386

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.0403.2208 josd
SWI-Prolog version 8.1.28
starting 66 [msec cputime] 83 [msec walltime]
GET http://josd.github.io/eye/reasoning/map/gps-plugin.n3 FROM ./gps-plugin.n3 SC=7
GET http://josd.github.io/eye/reasoning/map/agent2-map.n3 FROM ./agent2-map.n3 SC=2
GET http://josd.github.io/eye/reasoning/map/agent1-proof.n3 FROM ./agent1-proof.n3 SC=432
GET http://josd.github.io/eye/reasoning/map/agent2-query.n3 FROM ./agent2-query.n3 SC=1
networking 120 [msec cputime] 123 [msec walltime]
reasoning 10 [msec cputime] 10 [msec walltime]
2020-04-11T22:16:42.689Z in=442 out=1 ent=11 step=82 brake=4 inf=350689 sec=0.196 inf/sec=1789230

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.0403.2208 josd
SWI-Prolog version 8.1.28
starting 65 [msec cputime] 81 [msec walltime]
GET http://josd.github.io/eye/reasoning/map/gps-plugin.n3 FROM ./gps-plugin.n3 SC=7
GET http://josd.github.io/eye/reasoning/map/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 153 [msec cputime] 156 [msec walltime]
reasoning 52 [msec cputime] 51 [msec walltime]
2020-04-11T22:16:43.090Z in=442 out=1 ent=11 step=82 brake=4 inf=442475 sec=0.270 inf/sec=1638796

eye --no-genid http://josd.github.io/eye/reasoning/medic/medic.n3 --query http://josd.github.io/eye/reasoning/medic/medicF.n3
EYE v20.0403.2208 josd
SWI-Prolog version 8.1.28
starting 69 [msec cputime] 84 [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 20 [msec cputime] 860 [msec walltime]
reasoning 15 [msec cputime] 15 [msec walltime]
2020-04-11T22:16:44.176Z in=18 out=2 ent=4 step=8 brake=4 inf=45531 sec=0.104 inf/sec=437798

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.0403.2208 josd
SWI-Prolog version 8.1.28
starting 72 [msec cputime] 85 [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 218 [msec cputime] 1872 [msec walltime]
reasoning 905 [msec cputime] 905 [msec walltime]
2020-04-11T22:16:47.161Z in=345 out=47 ent=105 step=332 brake=4 inf=2072649 sec=1.195 inf/sec=1734434

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.0403.2208 josd
SWI-Prolog version 8.1.28
starting 69 [msec cputime] 89 [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 3368.1 ms (29690 triples/s)
SC=100000
networking 3378 [msec cputime] 3384 [msec walltime]
GET http://josd.github.io/eye/reasoning/mq/queries/query1.n3 FROM ./queries/query1.n3 SC=1
reasoning 90 [msec cputime] 89 [msec walltime]
2020-04-11T22:16:50.850Z mq=1 out=0 inf=3404 sec=0.089 out/sec=0 inf/sec=38247

GET http://josd.github.io/eye/reasoning/mq/queries/query2.n3 FROM ./queries/query2.n3 SC=1
reasoning 10 [msec cputime] 10 [msec walltime]
2020-04-11T22:16:50.860Z mq=2 out=3 inf=15723 sec=0.010 out/sec=300 inf/sec=1572300

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-04-11T22:16:50.864Z mq=3 out=0 inf=3416 sec=0.003 out/sec=0 inf/sec=1138667

GET http://josd.github.io/eye/reasoning/mq/queries/query4.n3 FROM ./queries/query4.n3 SC=1
reasoning 6 [msec cputime] 5 [msec walltime]
2020-04-11T22:16:50.870Z mq=4 out=1 inf=8323 sec=0.005 out/sec=200 inf/sec=1664600

GET http://josd.github.io/eye/reasoning/mq/queries/query5.n3 FROM ./queries/query5.n3 SC=1
reasoning 11 [msec cputime] 11 [msec walltime]
2020-04-11T22:16:50.881Z mq=5 out=4 inf=15417 sec=0.011 out/sec=364 inf/sec=1401545

GET http://josd.github.io/eye/reasoning/mq/queries/query6.n3 FROM ./queries/query6.n3 SC=1
reasoning 3 [msec cputime] 3 [msec walltime]
2020-04-11T22:16:50.884Z mq=6 out=0 inf=3410 sec=0.003 out/sec=0 inf/sec=1136667

GET http://josd.github.io/eye/reasoning/mq/queries/query7.n3 FROM ./queries/query7.n3 SC=1
reasoning 9 [msec cputime] 8 [msec walltime]
2020-04-11T22:16:50.893Z mq=7 out=2 inf=12057 sec=0.008 out/sec=250 inf/sec=1507125

GET http://josd.github.io/eye/reasoning/mq/queries/query8.n3 FROM ./queries/query8.n3 SC=1
reasoning 7 [msec cputime] 6 [msec walltime]
2020-04-11T22:16:50.900Z mq=8 out=1 inf=8294 sec=0.006 out/sec=167 inf/sec=1382333

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-04-11T22:16:50.905Z mq=9 out=1 inf=8436 sec=0.005 out/sec=200 inf/sec=1687200

GET http://josd.github.io/eye/reasoning/mq/queries/query10.n3 FROM ./queries/query10.n3 SC=1
reasoning 11 [msec cputime] 10 [msec walltime]
2020-04-11T22:16:50.916Z mq=10 out=3 inf=14157 sec=0.010 out/sec=300 inf/sec=1415700

GET http://josd.github.io/eye/reasoning/mq/queries/query11.n3 FROM ./queries/query11.n3 SC=1
reasoning 2 [msec cputime] 2 [msec walltime]
2020-04-11T22:16:50.919Z mq=11 out=0 inf=3381 sec=0.002 out/sec=0 inf/sec=1690500

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-04-11T22:16:50.921Z mq=12 out=0 inf=3396 sec=0.002 out/sec=0 inf/sec=1698000

GET http://josd.github.io/eye/reasoning/mq/queries/query13.n3 FROM ./queries/query13.n3 SC=1
reasoning 4 [msec cputime] 3 [msec walltime]
2020-04-11T22:16:50.925Z mq=13 out=0 inf=3451 sec=0.003 out/sec=0 inf/sec=1150333

GET http://josd.github.io/eye/reasoning/mq/queries/query14.n3 FROM ./queries/query14.n3 SC=1
reasoning 2 [msec cputime] 2 [msec walltime]
2020-04-11T22:16:50.928Z mq=14 out=0 inf=3381 sec=0.002 out/sec=0 inf/sec=1690500

GET http://josd.github.io/eye/reasoning/mq/queries/query15.n3 FROM ./queries/query15.n3 SC=1
reasoning 7 [msec cputime] 5 [msec walltime]
2020-04-11T22:16:50.934Z mq=15 out=1 inf=8222 sec=0.005 out/sec=200 inf/sec=1644400

GET http://josd.github.io/eye/reasoning/mq/queries/query16.n3 FROM ./queries/query16.n3 SC=1
reasoning 5 [msec cputime] 5 [msec walltime]
2020-04-11T22:16:50.939Z mq=16 out=1 inf=7877 sec=0.005 out/sec=200 inf/sec=1575400

GET http://josd.github.io/eye/reasoning/mq/queries/query17.n3 FROM ./queries/query17.n3 SC=1
reasoning 7 [msec cputime] 6 [msec walltime]
2020-04-11T22:16:50.946Z mq=17 out=1 inf=8283 sec=0.006 out/sec=167 inf/sec=1380500

GET http://josd.github.io/eye/reasoning/mq/queries/query18.n3 FROM ./queries/query18.n3 SC=1
reasoning 3 [msec cputime] 2 [msec walltime]
2020-04-11T22:16:50.949Z mq=18 out=0 inf=3349 sec=0.002 out/sec=0 inf/sec=1674500

GET http://josd.github.io/eye/reasoning/mq/queries/query19.n3 FROM ./queries/query19.n3 SC=1
reasoning 5 [msec cputime] 4 [msec walltime]
2020-04-11T22:16:50.954Z mq=19 out=1 inf=8022 sec=0.004 out/sec=250 inf/sec=2005500

GET http://josd.github.io/eye/reasoning/mq/queries/query20.n3 FROM ./queries/query20.n3 SC=1
reasoning 3 [msec cputime] 2 [msec walltime]
2020-04-11T22:16:50.957Z mq=20 out=0 inf=3327 sec=0.002 out/sec=0 inf/sec=1663500

GET http://josd.github.io/eye/reasoning/mq/queries/query21.n3 FROM ./queries/query21.n3 SC=1
reasoning 6 [msec cputime] 6 [msec walltime]
2020-04-11T22:16:50.963Z mq=21 out=1 inf=8306 sec=0.006 out/sec=167 inf/sec=1384333

GET http://josd.github.io/eye/reasoning/mq/queries/query22.n3 FROM ./queries/query22.n3 SC=1
reasoning 10 [msec cputime] 9 [msec walltime]
2020-04-11T22:16:50.973Z mq=22 out=3 inf=15719 sec=0.009 out/sec=333 inf/sec=1746556

GET http://josd.github.io/eye/reasoning/mq/queries/query23.n3 FROM ./queries/query23.n3 SC=1
reasoning 9 [msec cputime] 8 [msec walltime]
2020-04-11T22:16:50.982Z mq=23 out=3 inf=12723 sec=0.008 out/sec=375 inf/sec=1590375

GET http://josd.github.io/eye/reasoning/mq/queries/query24.n3 FROM ./queries/query24.n3 SC=1
reasoning 5 [msec cputime] 5 [msec walltime]
2020-04-11T22:16:50.988Z mq=24 out=1 inf=7893 sec=0.005 out/sec=200 inf/sec=1578600

GET http://josd.github.io/eye/reasoning/mq/queries/query25.n3 FROM ./queries/query25.n3 SC=1
reasoning 6 [msec cputime] 5 [msec walltime]
2020-04-11T22:16:50.993Z mq=25 out=1 inf=6823 sec=0.005 out/sec=200 inf/sec=1364600

GET http://josd.github.io/eye/reasoning/mq/queries/query26.n3 FROM ./queries/query26.n3 SC=1
reasoning 13 [msec cputime] 12 [msec walltime]
2020-04-11T22:16:51.006Z mq=26 out=5 inf=20128 sec=0.012 out/sec=417 inf/sec=1677333

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-04-11T22:16:51.010Z mq=27 out=0 inf=3412 sec=0.003 out/sec=0 inf/sec=1137333

GET http://josd.github.io/eye/reasoning/mq/queries/query28.n3 FROM ./queries/query28.n3 SC=1
reasoning 6 [msec cputime] 5 [msec walltime]
2020-04-11T22:16:51.015Z mq=28 out=1 inf=7910 sec=0.005 out/sec=200 inf/sec=1582000

GET http://josd.github.io/eye/reasoning/mq/queries/query29.n3 FROM ./queries/query29.n3 SC=1
reasoning 3 [msec cputime] 2 [msec walltime]
2020-04-11T22:16:51.018Z mq=29 out=0 inf=3319 sec=0.002 out/sec=0 inf/sec=1659500

GET http://josd.github.io/eye/reasoning/mq/queries/query30.n3 FROM ./queries/query30.n3 SC=1
reasoning 2 [msec cputime] 2 [msec walltime]
2020-04-11T22:16:51.021Z mq=30 out=0 inf=3416 sec=0.002 out/sec=0 inf/sec=1708000

GET http://josd.github.io/eye/reasoning/mq/queries/query31.n3 FROM ./queries/query31.n3 SC=1
reasoning 4 [msec cputime] 3 [msec walltime]
2020-04-11T22:16:51.024Z mq=31 out=0 inf=3421 sec=0.003 out/sec=0 inf/sec=1140333

GET http://josd.github.io/eye/reasoning/mq/queries/query32.n3 FROM ./queries/query32.n3 SC=1
reasoning 6 [msec cputime] 5 [msec walltime]
2020-04-11T22:16:51.030Z mq=32 out=1 inf=8294 sec=0.005 out/sec=200 inf/sec=1658800

GET http://josd.github.io/eye/reasoning/mq/queries/query33.n3 FROM ./queries/query33.n3 SC=1
reasoning 3 [msec cputime] 2 [msec walltime]
2020-04-11T22:16:51.033Z mq=33 out=0 inf=3385 sec=0.002 out/sec=0 inf/sec=1692500

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-04-11T22:16:51.041Z mq=34 out=1 inf=8362 sec=0.007 out/sec=143 inf/sec=1194571

GET http://josd.github.io/eye/reasoning/mq/queries/query35.n3 FROM ./queries/query35.n3 SC=1
reasoning 6 [msec cputime] 5 [msec walltime]
2020-04-11T22:16:51.046Z mq=35 out=1 inf=8279 sec=0.005 out/sec=200 inf/sec=1655800

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-04-11T22:16:51.049Z mq=36 out=0 inf=3416 sec=0.002 out/sec=0 inf/sec=1708000

GET http://josd.github.io/eye/reasoning/mq/queries/query37.n3 FROM ./queries/query37.n3 SC=1
reasoning 2 [msec cputime] 2 [msec walltime]
2020-04-11T22:16:51.052Z mq=37 out=0 inf=3388 sec=0.002 out/sec=0 inf/sec=1694000

GET http://josd.github.io/eye/reasoning/mq/queries/query38.n3 FROM ./queries/query38.n3 SC=1
reasoning 7 [msec cputime] 6 [msec walltime]
2020-04-11T22:16:51.058Z mq=38 out=1 inf=8376 sec=0.006 out/sec=167 inf/sec=1396000

GET http://josd.github.io/eye/reasoning/mq/queries/query39.n3 FROM ./queries/query39.n3 SC=1
reasoning 5 [msec cputime] 5 [msec walltime]
2020-04-11T22:16:51.064Z mq=39 out=1 inf=7869 sec=0.005 out/sec=200 inf/sec=1573800

GET http://josd.github.io/eye/reasoning/mq/queries/query40.n3 FROM ./queries/query40.n3 SC=1
reasoning 7 [msec cputime] 6 [msec walltime]
2020-04-11T22:16:51.071Z mq=40 out=1 inf=8266 sec=0.006 out/sec=167 inf/sec=1377667

GET http://josd.github.io/eye/reasoning/mq/queries/query41.n3 FROM ./queries/query41.n3 SC=1
reasoning 3 [msec cputime] 2 [msec walltime]
2020-04-11T22:16:51.074Z mq=41 out=0 inf=3397 sec=0.002 out/sec=0 inf/sec=1698500

GET http://josd.github.io/eye/reasoning/mq/queries/query42.n3 FROM ./queries/query42.n3 SC=1
reasoning 14 [msec cputime] 14 [msec walltime]
2020-04-11T22:16:51.088Z mq=42 out=5 inf=21555 sec=0.014 out/sec=357 inf/sec=1539643

GET http://josd.github.io/eye/reasoning/mq/queries/query43.n3 FROM ./queries/query43.n3 SC=1
reasoning 10 [msec cputime] 9 [msec walltime]
2020-04-11T22:16:51.097Z mq=43 out=3 inf=14554 sec=0.009 out/sec=333 inf/sec=1617111

GET http://josd.github.io/eye/reasoning/mq/queries/query44.n3 FROM ./queries/query44.n3 SC=1
reasoning 6 [msec cputime] 6 [msec walltime]
2020-04-11T22:16:51.104Z mq=44 out=1 inf=8346 sec=0.006 out/sec=167 inf/sec=1391000

GET http://josd.github.io/eye/reasoning/mq/queries/query45.n3 FROM ./queries/query45.n3 SC=1
reasoning 3 [msec cputime] 2 [msec walltime]
2020-04-11T22:16:51.107Z mq=45 out=0 inf=3302 sec=0.002 out/sec=0 inf/sec=1651000

GET http://josd.github.io/eye/reasoning/mq/queries/query46.n3 FROM ./queries/query46.n3 SC=1
reasoning 4 [msec cputime] 3 [msec walltime]
2020-04-11T22:16:51.111Z mq=46 out=0 inf=3459 sec=0.003 out/sec=0 inf/sec=1153000

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-04-11T22:16:51.113Z mq=47 out=0 inf=3327 sec=0.002 out/sec=0 inf/sec=1663500

GET http://josd.github.io/eye/reasoning/mq/queries/query48.n3 FROM ./queries/query48.n3 SC=1
reasoning 5 [msec cputime] 4 [msec walltime]
2020-04-11T22:16:51.118Z mq=48 out=1 inf=6808 sec=0.004 out/sec=250 inf/sec=1702000

GET http://josd.github.io/eye/reasoning/mq/queries/query49.n3 FROM ./queries/query49.n3 SC=1
reasoning 3 [msec cputime] 2 [msec walltime]
2020-04-11T22:16:51.121Z mq=49 out=0 inf=3387 sec=0.002 out/sec=0 inf/sec=1693500

GET http://josd.github.io/eye/reasoning/mq/queries/query50.n3 FROM ./queries/query50.n3 SC=1
reasoning 10 [msec cputime] 9 [msec walltime]
2020-04-11T22:16:51.131Z mq=50 out=3 inf=14619 sec=0.009 out/sec=333 inf/sec=1624333

GET http://josd.github.io/eye/reasoning/mq/queries/query51.n3 FROM ./queries/query51.n3 SC=1
reasoning 6 [msec cputime] 5 [msec walltime]
2020-04-11T22:16:51.137Z mq=51 out=1 inf=7877 sec=0.005 out/sec=200 inf/sec=1575400

GET http://josd.github.io/eye/reasoning/mq/queries/query52.n3 FROM ./queries/query52.n3 SC=1
reasoning 6 [msec cputime] 6 [msec walltime]
2020-04-11T22:16:51.143Z mq=52 out=1 inf=8255 sec=0.006 out/sec=167 inf/sec=1375833

GET http://josd.github.io/eye/reasoning/mq/queries/query53.n3 FROM ./queries/query53.n3 SC=1
reasoning 8 [msec cputime] 7 [msec walltime]
2020-04-11T22:16:51.150Z mq=53 out=2 inf=10578 sec=0.007 out/sec=286 inf/sec=1511143

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-04-11T22:16:51.153Z mq=54 out=0 inf=3364 sec=0.002 out/sec=0 inf/sec=1682000

GET http://josd.github.io/eye/reasoning/mq/queries/query55.n3 FROM ./queries/query55.n3 SC=1
reasoning 14 [msec cputime] 13 [msec walltime]
2020-04-11T22:16:51.167Z mq=55 out=5 inf=20055 sec=0.013 out/sec=385 inf/sec=1542692

GET http://josd.github.io/eye/reasoning/mq/queries/query56.n3 FROM ./queries/query56.n3 SC=1
reasoning 6 [msec cputime] 5 [msec walltime]
2020-04-11T22:16:51.173Z mq=56 out=1 inf=8249 sec=0.005 out/sec=200 inf/sec=1649800

GET http://josd.github.io/eye/reasoning/mq/queries/query57.n3 FROM ./queries/query57.n3 SC=1
reasoning 5 [msec cputime] 5 [msec walltime]
2020-04-11T22:16:51.178Z mq=57 out=1 inf=6670 sec=0.005 out/sec=200 inf/sec=1334000

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-04-11T22:16:51.182Z mq=58 out=0 inf=3445 sec=0.002 out/sec=0 inf/sec=1722500

GET http://josd.github.io/eye/reasoning/mq/queries/query59.n3 FROM ./queries/query59.n3 SC=1
reasoning 8 [msec cputime] 7 [msec walltime]
2020-04-11T22:16:51.189Z mq=59 out=2 inf=10497 sec=0.007 out/sec=286 inf/sec=1499571

GET http://josd.github.io/eye/reasoning/mq/queries/query60.n3 FROM ./queries/query60.n3 SC=1
reasoning 10 [msec cputime] 9 [msec walltime]
2020-04-11T22:16:51.199Z mq=60 out=3 inf=14225 sec=0.009 out/sec=333 inf/sec=1580556

GET http://josd.github.io/eye/reasoning/mq/queries/query61.n3 FROM ./queries/query61.n3 SC=1
reasoning 2 [msec cputime] 2 [msec walltime]
2020-04-11T22:16:51.202Z mq=61 out=0 inf=3381 sec=0.002 out/sec=0 inf/sec=1690500

GET http://josd.github.io/eye/reasoning/mq/queries/query62.n3 FROM ./queries/query62.n3 SC=1
reasoning 13 [msec cputime] 12 [msec walltime]
2020-04-11T22:16:51.214Z mq=62 out=5 inf=18887 sec=0.012 out/sec=417 inf/sec=1573917

GET http://josd.github.io/eye/reasoning/mq/queries/query63.n3 FROM ./queries/query63.n3 SC=1
reasoning 3 [msec cputime] 2 [msec walltime]
2020-04-11T22:16:51.217Z mq=63 out=0 inf=3381 sec=0.002 out/sec=0 inf/sec=1690500

GET http://josd.github.io/eye/reasoning/mq/queries/query64.n3 FROM ./queries/query64.n3 SC=1
reasoning 3 [msec cputime] 2 [msec walltime]
2020-04-11T22:16:51.220Z mq=64 out=0 inf=3459 sec=0.002 out/sec=0 inf/sec=1729500

GET http://josd.github.io/eye/reasoning/mq/queries/query65.n3 FROM ./queries/query65.n3 SC=1
reasoning 6 [msec cputime] 5 [msec walltime]
2020-04-11T22:16:51.226Z mq=65 out=1 inf=6670 sec=0.005 out/sec=200 inf/sec=1334000

GET http://josd.github.io/eye/reasoning/mq/queries/query66.n3 FROM ./queries/query66.n3 SC=1
reasoning 7 [msec cputime] 6 [msec walltime]
2020-04-11T22:16:51.233Z mq=66 out=2 inf=10095 sec=0.006 out/sec=333 inf/sec=1682500

GET http://josd.github.io/eye/reasoning/mq/queries/query67.n3 FROM ./queries/query67.n3 SC=1
reasoning 3 [msec cputime] 2 [msec walltime]
2020-04-11T22:16:51.236Z mq=67 out=0 inf=3410 sec=0.002 out/sec=0 inf/sec=1705000

GET http://josd.github.io/eye/reasoning/mq/queries/query68.n3 FROM ./queries/query68.n3 SC=1
reasoning 6 [msec cputime] 6 [msec walltime]
2020-04-11T22:16:51.242Z mq=68 out=1 inf=7933 sec=0.006 out/sec=167 inf/sec=1322167

GET http://josd.github.io/eye/reasoning/mq/queries/query69.n3 FROM ./queries/query69.n3 SC=1
reasoning 10 [msec cputime] 9 [msec walltime]
2020-04-11T22:16:51.252Z mq=69 out=2 inf=11912 sec=0.009 out/sec=222 inf/sec=1323556

GET http://josd.github.io/eye/reasoning/mq/queries/query70.n3 FROM ./queries/query70.n3 SC=1
reasoning 3 [msec cputime] 3 [msec walltime]
2020-04-11T22:16:51.255Z mq=70 out=0 inf=3360 sec=0.003 out/sec=0 inf/sec=1120000

GET http://josd.github.io/eye/reasoning/mq/queries/query71.n3 FROM ./queries/query71.n3 SC=1
reasoning 11 [msec cputime] 11 [msec walltime]
2020-04-11T22:16:51.267Z mq=71 out=3 inf=14268 sec=0.011 out/sec=273 inf/sec=1297091

GET http://josd.github.io/eye/reasoning/mq/queries/query72.n3 FROM ./queries/query72.n3 SC=1
reasoning 10 [msec cputime] 9 [msec walltime]
2020-04-11T22:16:51.276Z mq=72 out=3 inf=12712 sec=0.009 out/sec=333 inf/sec=1412444

GET http://josd.github.io/eye/reasoning/mq/queries/query73.n3 FROM ./queries/query73.n3 SC=1
reasoning 8 [msec cputime] 7 [msec walltime]
2020-04-11T22:16:51.284Z mq=73 out=2 inf=10530 sec=0.007 out/sec=286 inf/sec=1504286

GET http://josd.github.io/eye/reasoning/mq/queries/query74.n3 FROM ./queries/query74.n3 SC=1
reasoning 8 [msec cputime] 8 [msec walltime]
2020-04-11T22:16:51.293Z mq=74 out=1 inf=8299 sec=0.008 out/sec=125 inf/sec=1037375

GET http://josd.github.io/eye/reasoning/mq/queries/query75.n3 FROM ./queries/query75.n3 SC=1
reasoning 7 [msec cputime] 6 [msec walltime]
2020-04-11T22:16:51.299Z mq=75 out=1 inf=6685 sec=0.006 out/sec=167 inf/sec=1114167

GET http://josd.github.io/eye/reasoning/mq/queries/query76.n3 FROM ./queries/query76.n3 SC=1
reasoning 8 [msec cputime] 7 [msec walltime]
2020-04-11T22:16:51.307Z mq=76 out=1 inf=8324 sec=0.007 out/sec=143 inf/sec=1189143

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-04-11T22:16:51.314Z mq=77 out=1 inf=7881 sec=0.006 out/sec=167 inf/sec=1313500

GET http://josd.github.io/eye/reasoning/mq/queries/query78.n3 FROM ./queries/query78.n3 SC=1
reasoning 14 [msec cputime] 13 [msec walltime]
2020-04-11T22:16:51.328Z mq=78 out=5 inf=18648 sec=0.013 out/sec=385 inf/sec=1434462

GET http://josd.github.io/eye/reasoning/mq/queries/query79.n3 FROM ./queries/query79.n3 SC=1
reasoning 10 [msec cputime] 9 [msec walltime]
2020-04-11T22:16:51.338Z mq=79 out=3 inf=14619 sec=0.009 out/sec=333 inf/sec=1624333

GET http://josd.github.io/eye/reasoning/mq/queries/query80.n3 FROM ./queries/query80.n3 SC=1
reasoning 3 [msec cputime] 2 [msec walltime]
2020-04-11T22:16:51.340Z mq=80 out=0 inf=3403 sec=0.002 out/sec=0 inf/sec=1701500

GET http://josd.github.io/eye/reasoning/mq/queries/query81.n3 FROM ./queries/query81.n3 SC=1
reasoning 2 [msec cputime] 2 [msec walltime]
2020-04-11T22:16:51.343Z mq=81 out=0 inf=3385 sec=0.002 out/sec=0 inf/sec=1692500

GET http://josd.github.io/eye/reasoning/mq/queries/query82.n3 FROM ./queries/query82.n3 SC=1
reasoning 3 [msec cputime] 2 [msec walltime]
2020-04-11T22:16:51.345Z mq=82 out=0 inf=3386 sec=0.002 out/sec=0 inf/sec=1693000

GET http://josd.github.io/eye/reasoning/mq/queries/query83.n3 FROM ./queries/query83.n3 SC=1
reasoning 8 [msec cputime] 7 [msec walltime]
2020-04-11T22:16:51.353Z mq=83 out=2 inf=10512 sec=0.007 out/sec=286 inf/sec=1501714

GET http://josd.github.io/eye/reasoning/mq/queries/query84.n3 FROM ./queries/query84.n3 SC=1
reasoning 3 [msec cputime] 2 [msec walltime]
2020-04-11T22:16:51.356Z mq=84 out=0 inf=3397 sec=0.002 out/sec=0 inf/sec=1698500

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-04-11T22:16:51.359Z mq=85 out=0 inf=3452 sec=0.002 out/sec=0 inf/sec=1726000

GET http://josd.github.io/eye/reasoning/mq/queries/query86.n3 FROM ./queries/query86.n3 SC=1
reasoning 7 [msec cputime] 7 [msec walltime]
2020-04-11T22:16:51.367Z mq=86 out=1 inf=8350 sec=0.007 out/sec=143 inf/sec=1192857

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-04-11T22:16:51.370Z mq=87 out=0 inf=3401 sec=0.003 out/sec=0 inf/sec=1133667

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-04-11T22:16:51.376Z mq=88 out=1 inf=8300 sec=0.005 out/sec=200 inf/sec=1660000

GET http://josd.github.io/eye/reasoning/mq/queries/query89.n3 FROM ./queries/query89.n3 SC=1
reasoning 7 [msec cputime] 6 [msec walltime]
2020-04-11T22:16:51.383Z mq=89 out=1 inf=7936 sec=0.006 out/sec=167 inf/sec=1322667

GET http://josd.github.io/eye/reasoning/mq/queries/query90.n3 FROM ./queries/query90.n3 SC=1
reasoning 6 [msec cputime] 5 [msec walltime]
2020-04-11T22:16:51.389Z mq=90 out=1 inf=7933 sec=0.005 out/sec=200 inf/sec=1586600

GET http://josd.github.io/eye/reasoning/mq/queries/query91.n3 FROM ./queries/query91.n3 SC=1
reasoning 3 [msec cputime] 2 [msec walltime]
2020-04-11T22:16:51.392Z mq=91 out=0 inf=3360 sec=0.002 out/sec=0 inf/sec=1680000

GET http://josd.github.io/eye/reasoning/mq/queries/query92.n3 FROM ./queries/query92.n3 SC=1
reasoning 3 [msec cputime] 3 [msec walltime]
2020-04-11T22:16:51.395Z mq=92 out=0 inf=3358 sec=0.003 out/sec=0 inf/sec=1119333

GET http://josd.github.io/eye/reasoning/mq/queries/query93.n3 FROM ./queries/query93.n3 SC=1
reasoning 8 [msec cputime] 7 [msec walltime]
2020-04-11T22:16:51.403Z mq=93 out=1 inf=8379 sec=0.007 out/sec=143 inf/sec=1197000

GET http://josd.github.io/eye/reasoning/mq/queries/query94.n3 FROM ./queries/query94.n3 SC=1
reasoning 10 [msec cputime] 9 [msec walltime]
2020-04-11T22:16:51.413Z mq=94 out=2 inf=11945 sec=0.009 out/sec=222 inf/sec=1327222

GET http://josd.github.io/eye/reasoning/mq/queries/query95.n3 FROM ./queries/query95.n3 SC=1
reasoning 3 [msec cputime] 3 [msec walltime]
2020-04-11T22:16:51.416Z mq=95 out=0 inf=3416 sec=0.003 out/sec=0 inf/sec=1138667

GET http://josd.github.io/eye/reasoning/mq/queries/query96.n3 FROM ./queries/query96.n3 SC=1
reasoning 8 [msec cputime] 6 [msec walltime]
2020-04-11T22:16:51.424Z mq=96 out=1 inf=7881 sec=0.006 out/sec=167 inf/sec=1313500

GET http://josd.github.io/eye/reasoning/mq/queries/query97.n3 FROM ./queries/query97.n3 SC=1
reasoning 9 [msec cputime] 8 [msec walltime]
2020-04-11T22:16:51.433Z mq=97 out=2 inf=11222 sec=0.008 out/sec=250 inf/sec=1402750

GET http://josd.github.io/eye/reasoning/mq/queries/query98.n3 FROM ./queries/query98.n3 SC=1
reasoning 13 [msec cputime] 12 [msec walltime]
2020-04-11T22:16:51.446Z mq=98 out=5 inf=18610 sec=0.012 out/sec=417 inf/sec=1550833

GET http://josd.github.io/eye/reasoning/mq/queries/query99.n3 FROM ./queries/query99.n3 SC=1
reasoning 3 [msec cputime] 2 [msec walltime]
2020-04-11T22:16:51.449Z mq=99 out=0 inf=3302 sec=0.002 out/sec=0 inf/sec=1651000

GET http://josd.github.io/eye/reasoning/mq/queries/query100.n3 FROM ./queries/query100.n3 SC=1
reasoning 2 [msec cputime] 2 [msec walltime]
2020-04-11T22:16:51.451Z mq=100 out=0 inf=3367 sec=0.002 out/sec=0 inf/sec=1683500

2020-04-11T22:16:51.452Z in=100100 out=117 ent=117 step=117 brake=100 inf=5604653 sec=4.137 inf/sec=1354763

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.0403.2208 josd
SWI-Prolog version 8.1.28
starting 69 [msec cputime] 88 [msec walltime]
GET http://josd.github.io/eye/reasoning/n3c/components.n3 SC=2
GET http://josd.github.io/eye/reasoning/n3c/tasks.n3 translating file:///tmp/swipl_eye_25124_1
Done: translated 2 triples in 0.3 ms (6711 triples/s)
SC=2
GET http://josd.github.io/eye/reasoning/n3c/notIn_query.n3 SC=1
networking 13 [msec cputime] 1143 [msec walltime]
GET http://josd.github.io/eye/reasoning/n3c/tasks.n3 SC=2
reasoning 6 [msec cputime] 203 [msec walltime]
2020-04-11T22:16:53.023Z in=7 out=2 ent=2 step=2 brake=1 inf=20627 sec=0.088 inf/sec=234398

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.0403.2208 josd
SWI-Prolog version 8.1.28
starting 69 [msec cputime] 87 [msec walltime]
GET http://josd.github.io/eye/reasoning/n3c/components.n3 SC=2
GET http://josd.github.io/eye/reasoning/n3c/tasks.n3 translating file:///tmp/swipl_eye_25146_1
Done: translated 2 triples in 0.3 ms (6200 triples/s)
SC=2
GET http://josd.github.io/eye/reasoning/n3c/forAllIn_query.n3 SC=1
networking 15 [msec cputime] 838 [msec walltime]
GET http://josd.github.io/eye/reasoning/n3c/subtasks.n3 SC=9
reasoning 4 [msec cputime] 396 [msec walltime]
2020-04-11T22:16:54.458Z in=14 out=1 ent=1 step=1 brake=1 inf=23419 sec=0.088 inf/sec=266125

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.0403.2208 josd
SWI-Prolog version 8.1.28
starting 68 [msec cputime] 85 [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_25168_1
Done: translated 2 triples in 0.4 ms (4676 triples/s)
SC=2
GET http://josd.github.io/eye/reasoning/n3c/notIn_query.n3 SC=1
networking 17 [msec cputime] 638 [msec walltime]
GET http://josd.github.io/eye/reasoning/n3c/tasks.n3 SC=2
reasoning 13 [msec cputime] 224 [msec walltime]
2020-04-11T22:16:55.518Z in=7 out=2 ent=2 step=2 brake=1 inf=30823 sec=0.098 inf/sec=314520

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.0403.2208 josd
SWI-Prolog version 8.1.28
starting 68 [msec cputime] 88 [msec walltime]
GET http://josd.github.io/eye/reasoning/n3c/components.n3 SC=2
GET http://josd.github.io/eye/reasoning/n3c/tasks.n3 translating file:///tmp/swipl_eye_25190_1
Done: translated 2 triples in 0.4 ms (4563 triples/s)
SC=2
GET http://josd.github.io/eye/reasoning/n3c/forAllIn_query.n3 SC=1
networking 18 [msec cputime] 646 [msec walltime]
GET http://josd.github.io/eye/reasoning/n3c/subtasks.n3 SC=9
reasoning 16 [msec cputime] 234 [msec walltime]
2020-04-11T22:16:56.600Z in=14 out=1 ent=1 step=1 brake=1 inf=36798 sec=0.102 inf/sec=360765

eye --no-genid --nope --prolog http://josd.github.io/eye/reasoning/n3p/simple.pl --pass
EYE v20.0403.2208 josd
SWI-Prolog version 8.1.28
starting 69 [msec cputime] 86 [msec walltime]
GET http://josd.github.io/eye/reasoning/n3p/simple.pl SC=8
networking 4 [msec cputime] 393 [msec walltime]
reasoning 4 [msec cputime] 4 [msec walltime]
2020-04-11T22:16:57.206Z in=8 out=8 ent=0 step=0 brake=1 inf=12511 sec=0.077 inf/sec=162481

eye --no-genid --nope --prolog http://josd.github.io/eye/reasoning/n3p/extra.pl --pass
EYE v20.0403.2208 josd
SWI-Prolog version 8.1.28
starting 69 [msec cputime] 85 [msec walltime]
GET http://josd.github.io/eye/reasoning/n3p/extra.pl SC=7
networking 3 [msec cputime] 425 [msec walltime]
reasoning 2 [msec cputime] 2 [msec walltime]
2020-04-11T22:16:57.832Z in=7 out=7 ent=0 step=0 brake=1 inf=10841 sec=0.074 inf/sec=146500

eye --no-genid --nope --prolog http://josd.github.io/eye/reasoning/n3p/literals.pl --pass
EYE v20.0403.2208 josd
SWI-Prolog version 8.1.28
starting 69 [msec cputime] 84 [msec walltime]
GET http://josd.github.io/eye/reasoning/n3p/literals.pl SC=10
networking 4 [msec cputime] 361 [msec walltime]
reasoning 3 [msec cputime] 3 [msec walltime]
2020-04-11T22:16:58.393Z in=10 out=10 ent=0 step=0 brake=1 inf=11276 sec=0.076 inf/sec=148368

eye --no-genid --nope --prolog http://josd.github.io/eye/reasoning/n3p/sample.pl --pass-all
EYE v20.0403.2208 josd
SWI-Prolog version 8.1.28
starting 70 [msec cputime] 84 [msec walltime]
GET http://josd.github.io/eye/reasoning/n3p/sample.pl SC=12
networking 4 [msec cputime] 394 [msec walltime]
reasoning 11 [msec cputime] 11 [msec walltime]
2020-04-11T22:16:58.996Z in=12 out=12 ent=13 step=29 brake=2 inf=20109 sec=0.085 inf/sec=236576

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.0403.2208 josd
SWI-Prolog version 8.1.28
starting 70 [msec cputime] 85 [msec walltime]
GET http://josd.github.io/eye/reasoning/nbbn/nbbn-plugin.n3 SC=13
GET http://josd.github.io/eye/reasoning/nbbn/nbbn-model.n3 SC=5
GET http://josd.github.io/eye/reasoning/nbbn/nbbn-query.n3 SC=1
networking 43 [msec cputime] 1147 [msec walltime]
reasoning 49 [msec cputime] 48 [msec walltime]
2020-04-11T22:17:00.399Z in=19 out=1 ent=1 step=1 brake=2 inf=136597 sec=0.162 inf/sec=843191

eye --no-genid --strict --no-numerals --turtle http://josd.github.io/eye/reasoning/numeral/numeral.n3 --pass
EYE v20.0403.2208 josd
SWI-Prolog version 8.1.28
starting 68 [msec cputime] 88 [msec walltime]
GET http://josd.github.io/eye/reasoning/numeral/numeral.n3 translating file:///tmp/swipl_eye_25273_0
Done: translated 5 triples in 0.3 ms (16417 triples/s)
SC=5
networking 6 [msec cputime] 391 [msec walltime]
reasoning 10 [msec cputime] 10 [msec walltime]
2020-04-11T22:17:01.011Z in=5 out=5 ent=5 step=5 brake=1 inf=22522 sec=0.084 inf/sec=268119

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.0403.2208 josd
SWI-Prolog version 8.1.28
starting 69 [msec cputime] 85 [msec walltime]
GET http://josd.github.io/eye/reasoning/pi/pi.n3 SC=3
GET http://josd.github.io/eye/reasoning/pi/pi-query.n3 SC=1
networking 12 [msec cputime] 797 [msec walltime]
reasoning 1872 [msec cputime] 1892 [msec walltime]
2020-04-11T22:17:03.909Z in=4 out=1 ent=1 step=1 brake=1 inf=4497255 sec=1.953 inf/sec=2302742

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.0403.2208 josd
SWI-Prolog version 8.1.28
starting 68 [msec cputime] 83 [msec walltime]
GET http://josd.github.io/eye/reasoning/pptbank/bankSW.n3 SC=3
GET http://josd.github.io/eye/reasoning/pptbank/checking.n3 SC=1
GET http://josd.github.io/eye/reasoning/pptbank/query.n3 SC=1
networking 19 [msec cputime] 1184 [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 27 [msec cputime] 1516 [msec walltime]
2020-04-11T22:17:06.864Z in=17 out=1 ent=2 step=4 brake=4 inf=46164 sec=0.114 inf/sec=404947

eye --no-genid --nope palindrome.n3 palindrome-declarations.n3 preduction-plugin.n3 --query palindrome-preduction.n3
EYE v20.0403.2208 josd
SWI-Prolog version 8.1.28
starting 70 [msec cputime] 87 [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 22 [msec cputime] 21 [msec walltime]
reasoning 4 [msec cputime] 3 [msec walltime]
2020-04-11T22:17:07.098Z in=24 out=6 ent=6 step=6 brake=1 inf=59051 sec=0.096 inf/sec=615115

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.0403.2208 josd
SWI-Prolog version 8.1.28
starting 66 [msec cputime] 83 [msec walltime]
GET http://josd.github.io/eye/reasoning/preduction/palindrome.n3 SC=9
GET http://josd.github.io/eye/reasoning/preduction/palindrome-query.n3 SC=1
networking 17 [msec cputime] 800 [msec walltime]
reasoning 92 [msec cputime] 92 [msec walltime]
2020-04-11T22:17:08.189Z in=10 out=1 ent=1 step=1 brake=1 inf=239799 sec=0.175 inf/sec=1370280

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.0403.2208 josd
SWI-Prolog version 8.1.28
starting 66 [msec cputime] 81 [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 19 [msec cputime] 809 [msec walltime]
reasoning 62 [msec cputime] 62 [msec walltime]
2020-04-11T22:17:09.253Z in=7 out=1 ent=1 step=1 brake=1 inf=170603 sec=0.147 inf/sec=1160565

eye --no-genid --nope food.n3 food-declarations.n3 preduction-plugin.n3 --query food-preduction.n3
EYE v20.0403.2208 josd
SWI-Prolog version 8.1.28
starting 70 [msec cputime] 83 [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 25 [msec cputime] 26 [msec walltime]
GET http://josd.github.io/eye/reasoning/rpo/rdfs-subClassOf.n3 SC=4
reasoning 22 [msec cputime] 427 [msec walltime]
2020-04-11T22:17:09.901Z in=50 out=35 ent=35 step=35 brake=1 inf=97334 sec=0.117 inf/sec=831915

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.0403.2208 josd
SWI-Prolog version 8.1.28
starting 69 [msec cputime] 84 [msec walltime]
GET http://josd.github.io/eye/reasoning/preduction/food-example.n3 SC=5
GET http://josd.github.io/eye/reasoning/preduction/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 35 [msec cputime] 1418 [msec walltime]
reasoning 31 [msec cputime] 31 [msec walltime]
2020-04-11T22:17:11.549Z in=45 out=16 ent=91 step=338 brake=3 inf=95007 sec=0.135 inf/sec=703756

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.0403.2208 josd
SWI-Prolog version 8.1.28
starting 66 [msec cputime] 82 [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 27 [msec cputime] 851 [msec walltime]
reasoning 23 [msec cputime] 23 [msec walltime]
2020-04-11T22:17:12.618Z in=41 out=16 ent=27 step=115 brake=5 inf=85209 sec=0.116 inf/sec=734560

eye --no-genid --nope --prolog http://josd.github.io/eye/reasoning/queens/queens_program.pl --query http://josd.github.io/eye/reasoning/queens/queens_query.n3
EYE v20.0403.2208 josd
SWI-Prolog version 8.1.28
starting 69 [msec cputime] 84 [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 5 [msec cputime] 749 [msec walltime]
reasoning 23 [msec cputime] 26 [msec walltime]
2020-04-11T22:17:13.604Z in=1 out=92 ent=92 step=92 brake=1 inf=62215 sec=0.097 inf/sec=641392

eye --no-genid --prolog http://josd.github.io/eye/reasoning/queens/queens_program.pl --query http://josd.github.io/eye/reasoning/queens/queens_query.n3
EYE v20.0403.2208 josd
SWI-Prolog version 8.1.28
starting 67 [msec cputime] 81 [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 7 [msec cputime] 408 [msec walltime]
reasoning 3534 [msec cputime] 3563 [msec walltime]
2020-04-11T22:17:17.771Z in=1 out=92 ent=92 step=92 brake=1 inf=9357578 sec=3.608 inf/sec=2593564

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.0403.2208 josd
SWI-Prolog version 8.1.28
starting 69 [msec cputime] 83 [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 29 [msec cputime] 786 [msec walltime]
reasoning 25 [msec cputime] 25 [msec walltime]
2020-04-11T22:17:18.868Z in=10 out=4 ent=47 step=7 brake=1 inf=94854 sec=0.123 inf/sec=771171

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.0403.2208 josd
SWI-Prolog version 8.1.28
starting 69 [msec cputime] 83 [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 27 [msec cputime] 1824 [msec walltime]
reasoning 40 [msec cputime] 39 [msec walltime]
2020-04-11T22:17:20.937Z in=11 out=1 ent=209 step=218 brake=1 inf=109580 sec=0.136 inf/sec=805735

eye --no-genid http://josd.github.io/eye/reasoning/rgb/redgraph001.n3 --query http://josd.github.io/eye/reasoning/rgb/greenquery001.n3
EYE v20.0403.2208 josd
SWI-Prolog version 8.1.28
starting 67 [msec cputime] 84 [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 8 [msec cputime] 807 [msec walltime]
reasoning 9 [msec cputime] 9 [msec walltime]
2020-04-11T22:17:21.959Z in=5 out=2 ent=2 step=2 brake=1 inf=20312 sec=0.084 inf/sec=241810

eye --no-genid http://josd.github.io/eye/reasoning/rgb/redgraph002.n3 --query http://josd.github.io/eye/reasoning/rgb/greenquery002.n3
EYE v20.0403.2208 josd
SWI-Prolog version 8.1.28
starting 66 [msec cputime] 81 [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 9 [msec cputime] 744 [msec walltime]
reasoning 9 [msec cputime] 9 [msec walltime]
2020-04-11T22:17:22.906Z in=5 out=2 ent=2 step=2 brake=1 inf=20293 sec=0.084 inf/sec=241583

eye --no-genid http://josd.github.io/eye/reasoning/rgb/redgraph003.n3 --query http://josd.github.io/eye/reasoning/rgb/greenquery003.n3
EYE v20.0403.2208 josd
SWI-Prolog version 8.1.28
starting 66 [msec cputime] 81 [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 9 [msec cputime] 804 [msec walltime]
reasoning 6 [msec cputime] 5 [msec walltime]
2020-04-11T22:17:23.909Z in=5 out=2 ent=2 step=2 brake=1 inf=19401 sec=0.081 inf/sec=239519

eye --no-genid http://josd.github.io/eye/reasoning/rif/rifP.n3 --query http://josd.github.io/eye/reasoning/rif/rifQ.n3
EYE v20.0403.2208 josd
SWI-Prolog version 8.1.28
starting 67 [msec cputime] 81 [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 138 [msec cputime] 1097 [msec walltime]
reasoning 610 [msec cputime] 610 [msec walltime]
2020-04-11T22:17:25.819Z in=224 out=222 ent=443 step=1776 brake=4 inf=1860491 sec=0.815 inf/sec=2282811

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.0403.2208 josd
SWI-Prolog version 8.1.28
starting 72 [msec cputime] 87 [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 32 [msec cputime] 1395 [msec walltime]
reasoning 26 [msec cputime] 26 [msec walltime]
2020-04-11T22:17:27.461Z in=45 out=16 ent=91 step=338 brake=3 inf=95650 sec=0.130 inf/sec=735769

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.0403.2208 josd
SWI-Prolog version 8.1.28
starting 69 [msec cputime] 85 [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 10 [msec cputime] 797 [msec walltime]
GET http://josd.github.io/eye/reasoning/rs/graph-1000.n3 SC=1000
reasoning 588 [msec cputime] 993 [msec walltime]
2020-04-11T22:17:29.460Z in=1002 out=1 ent=1 step=1 brake=2 inf=1561051 sec=0.667 inf/sec=2340406

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.0403.2208 josd
SWI-Prolog version 8.1.28
starting 68 [msec cputime] 85 [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 92 [msec cputime] 1488 [msec walltime]
reasoning 10 [msec cputime] 9 [msec walltime]
2020-04-11T22:17:31.171Z in=110 out=1 ent=12 step=28 brake=2 inf=203228 sec=0.170 inf/sec=1195459

eye --no-genid http://josd.github.io/eye/reasoning/socrates/socrates.n3 --query http://josd.github.io/eye/reasoning/socrates/socratesF.n3
EYE v20.0403.2208 josd
SWI-Prolog version 8.1.28
starting 70 [msec cputime] 86 [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 9 [msec cputime] 765 [msec walltime]
reasoning 7 [msec cputime] 6 [msec walltime]
2020-04-11T22:17:32.152Z in=4 out=2 ent=3 step=6 brake=2 inf=22575 sec=0.086 inf/sec=262500

eye --no-genid --nope http://josd.github.io/eye/reasoning/streason/streason-rules.n3 --turtle - --streaming-reasoning
EYE v20.0403.2208 josd
SWI-Prolog version 8.1.28
starting 69 [msec cputime] 88 [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.5 ms (22143 triples/s)
SC=10
2020-04-11T22:17:33.120Z in=16 out=101 ent=0 step=0 brake=0 inf=31688 sec=0.090 inf/sec=352089

eye --no-genid --nope --prolog http://josd.github.io/eye/reasoning/sudoku/sudoku_program.pl --query http://josd.github.io/eye/reasoning/sudoku/sudoku_query.n3
EYE v20.0403.2208 josd
SWI-Prolog version 8.1.28
starting 66 [msec cputime] 81 [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 457 [msec cputime] 1321 [msec walltime]
reasoning 503 [msec cputime] 565 [msec walltime]
2020-04-11T22:17:35.208Z in=1 out=4 ent=4 step=4 brake=1 inf=3617523 sec=1.026 inf/sec=3525851

eye --no-genid --prolog http://josd.github.io/eye/reasoning/sudoku/sudoku_program.pl --query http://josd.github.io/eye/reasoning/sudoku/sudoku_query.n3
EYE v20.0403.2208 josd
SWI-Prolog version 8.1.28
starting 66 [msec cputime] 86 [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 463 [msec cputime] 925 [msec walltime]
reasoning 608 [msec cputime] 673 [msec walltime]
2020-04-11T22:17:37.006Z in=1 out=4 ent=4 step=4 brake=1 inf=3853174 sec=1.137 inf/sec=3388895

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.0403.2208 josd
SWI-Prolog version 8.1.28
starting 69 [msec cputime] 83 [msec walltime]
GET http://josd.github.io/eye/reasoning/swet/swetA.n3 SC=100
GET http://josd.github.io/eye/reasoning/swet/swetD.n3 SC=400
GET http://josd.github.io/eye/reasoning/swet/swetQ01.n3 SC=1
networking 91 [msec cputime] 1266 [msec walltime]
reasoning 22 [msec cputime] 21 [msec walltime]
2020-04-11T22:17:38.504Z in=501 out=81 ent=81 step=81 brake=1 inf=221987 sec=0.182 inf/sec=1219709

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.0403.2208 josd
SWI-Prolog version 8.1.28
starting 70 [msec cputime] 86 [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 94 [msec cputime] 964 [msec walltime]
reasoning 18 [msec cputime] 18 [msec walltime]
2020-04-11T22:17:39.685Z in=501 out=54 ent=54 step=54 brake=1 inf=217704 sec=0.182 inf/sec=1196176

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.0403.2208 josd
SWI-Prolog version 8.1.28
starting 69 [msec cputime] 84 [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 92 [msec cputime] 1183 [msec walltime]
reasoning 17 [msec cputime] 20 [msec walltime]
2020-04-11T22:17:41.085Z in=501 out=46 ent=46 step=46 brake=1 inf=212784 sec=0.178 inf/sec=1195416

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.0403.2208 josd
SWI-Prolog version 8.1.28
starting 68 [msec cputime] 80 [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 89 [msec cputime] 937 [msec walltime]
reasoning 11 [msec cputime] 11 [msec walltime]
2020-04-11T22:17:42.226Z in=501 out=19 ent=19 step=19 brake=1 inf=199245 sec=0.168 inf/sec=1185982

eye --no-genid http://josd.github.io/eye/reasoning/swet/swetA.n3 --query http://josd.github.io/eye/reasoning/swet/swetQ.n3
EYE v20.0403.2208 josd
SWI-Prolog version 8.1.28
starting 71 [msec cputime] 83 [msec walltime]
GET http://josd.github.io/eye/reasoning/swet/swetA.n3 SC=100
GET http://josd.github.io/eye/reasoning/swet/swetQ.n3 SC=3
networking 56 [msec cputime] 646 [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 228 [msec cputime] 1824 [msec walltime]
2020-04-11T22:17:44.891Z in=303 out=3 ent=3 step=3 brake=1 inf=631103 sec=0.355 inf/sec=1777755

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.0403.2208 josd
SWI-Prolog version 8.1.28
starting 70 [msec cputime] 84 [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 12 [msec cputime] 821 [msec walltime]
reasoning 692 [msec cputime] 715 [msec walltime]
2020-04-11T22:17:46.640Z in=3 out=1 ent=1 step=1 brake=1 inf=1359077 sec=0.774 inf/sec=1755913

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.0403.2208 josd
SWI-Prolog version 8.1.28
starting 72 [msec cputime] 90 [msec walltime]
GET http://josd.github.io/eye/reasoning/tfcontext/data-001.n3 translating file:///tmp/swipl_eye_25792_0
Done: translated 7 triples in 0.4 ms (17163 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 16 [msec cputime] 1168 [msec walltime]
reasoning 36 [msec cputime] 36 [msec walltime]
2020-04-11T22:17:48.060Z in=9 out=7 ent=21 step=42 brake=4 inf=89458 sec=0.124 inf/sec=721435

eye --no-genid http://josd.github.io/eye/reasoning/turing/turing.n3 --query http://josd.github.io/eye/reasoning/turing/turingQ.n3
EYE v20.0403.2208 josd
SWI-Prolog version 8.1.28
starting 66 [msec cputime] 83 [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 24 [msec cputime] 801 [msec walltime]
reasoning 36 [msec cputime] 36 [msec walltime]
2020-04-11T22:17:49.101Z in=18 out=1 ent=1 step=1 brake=1 inf=99667 sec=0.126 inf/sec=791008

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.0403.2208 josd
SWI-Prolog version 8.1.28
starting 66 [msec cputime] 83 [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 21 [msec cputime] 1103 [msec walltime]
reasoning 23 [msec cputime] 23 [msec walltime]
2020-04-11T22:17:50.431Z in=21 out=2 ent=24 step=88 brake=5 inf=77482 sec=0.110 inf/sec=704382

eye --no-genid http://josd.github.io/eye/reasoning/utf8/utf8.n3 --pass
EYE v20.0403.2208 josd
SWI-Prolog version 8.1.28
starting 69 [msec cputime] 86 [msec walltime]
GET http://josd.github.io/eye/reasoning/utf8/utf8.n3 SC=5
networking 7 [msec cputime] 674 [msec walltime]
reasoning 10 [msec cputime] 10 [msec walltime]
2020-04-11T22:17:51.324Z in=5 out=5 ent=5 step=5 brake=1 inf=22469 sec=0.086 inf/sec=261267

eye --no-genid --nope --prolog http://josd.github.io/eye/reasoning/utm/utm_interpreter.pl --prolog http://josd.github.io/eye/reasoning/utm/utm_program.pl --query http://josd.github.io/eye/reasoning/utm/utm_query.n3
EYE v20.0403.2208 josd
SWI-Prolog version 8.1.28
starting 68 [msec cputime] 84 [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 13 [msec cputime] 1720 [msec walltime]
reasoning 3 [msec cputime] 2 [msec walltime]
2020-04-11T22:17:53.252Z in=4 out=4 ent=4 step=4 brake=1 inf=18588 sec=0.084 inf/sec=221286

eye --no-genid --prolog http://josd.github.io/eye/reasoning/utm/utm_interpreter.pl --prolog http://josd.github.io/eye/reasoning/utm/utm_program.pl --query http://josd.github.io/eye/reasoning/utm/utm_query.n3
EYE v20.0403.2208 josd
SWI-Prolog version 8.1.28
starting 70 [msec cputime] 85 [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 13 [msec cputime] 608 [msec walltime]
reasoning 92 [msec cputime] 92 [msec walltime]
2020-04-11T22:17:54.149Z in=4 out=4 ent=4 step=4 brake=1 inf=214654 sec=0.175 inf/sec=1226594

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.0403.2208 josd
SWI-Prolog version 8.1.28
starting 70 [msec cputime] 85 [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 13 [msec cputime] 786 [msec walltime]
reasoning 9 [msec cputime] 8 [msec walltime]
2020-04-11T22:17:55.154Z in=8 out=1 ent=7 step=25 brake=5 inf=27310 sec=0.092 inf/sec=296848

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.0403.2208 josd
SWI-Prolog version 8.1.28
starting 68 [msec cputime] 82 [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 41 [msec cputime] 1480 [msec walltime]
reasoning 40 [msec cputime] 40 [msec walltime]
2020-04-11T22:17:56.870Z in=96 out=1 ent=14 step=43 brake=3 inf=90766 sec=0.149 inf/sec=609168

