eye --no-genid http://josd.github.io/eye/reasoning/3outof5/sample.n3 --query http://josd.github.io/eye/reasoning/3outof5/query.n3
EYE v20.0411.2226 josd
SWI-Prolog version 8.1.28
starting 66 [msec cputime] 83 [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] 837 [msec walltime]
reasoning 31 [msec cputime] 31 [msec walltime]
2020-04-23T16:52:34.205Z in=6 out=1 ent=1 step=1 brake=2 inf=48969 sec=0.111 inf/sec=441162

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.0411.2226 josd
SWI-Prolog version 8.1.28
starting 67 [msec cputime] 85 [msec walltime]
GET http://josd.github.io/eye/reasoning/4color/4color_data.n3 translating file:///tmp/swipl_eye_14854_0
Done: translated 28 triples in 0.5 ms (52205 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] 1173 [msec walltime]
reasoning 21 [msec cputime] 21 [msec walltime]
2020-04-23T16:52:35.607Z in=31 out=2 ent=2 step=2 brake=2 inf=56931 sec=0.109 inf/sec=522303

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.0411.2226 josd
SWI-Prolog version 8.1.28
starting 63 [msec cputime] 84 [msec walltime]
GET http://josd.github.io/eye/reasoning/4color/4color_data.n3 translating file:///tmp/swipl_eye_14872_0
Done: translated 28 triples in 0.6 ms (45402 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] 655 [msec walltime]
reasoning 145 [msec cputime] 146 [msec walltime]
2020-04-23T16:52:36.602Z in=31 out=2 ent=2 step=2 brake=2 inf=435738 sec=0.228 inf/sec=1911132

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.0411.2226 josd
SWI-Prolog version 8.1.28
starting 66 [msec cputime] 83 [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 231 [msec cputime] 232 [msec walltime]
reasoning 1 [msec cputime] 1 [msec walltime]
2020-04-23T16:52:37.041Z in=1 out=1 ent=1 step=1 brake=1 inf=471783 sec=0.298 inf/sec=1583164

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.0411.2226 josd
SWI-Prolog version 8.1.28
starting 65 [msec cputime] 81 [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 228 [msec cputime] 231 [msec walltime]
reasoning 7 [msec cputime] 7 [msec walltime]
2020-04-23T16:52:37.473Z in=1 out=1 ent=1 step=1 brake=1 inf=484172 sec=0.300 inf/sec=1613907

eye --no-genid http://josd.github.io/eye/reasoning/bi/biP.n3 --query http://josd.github.io/eye/reasoning/bi/biQ.n3
EYE v20.0411.2226 josd
SWI-Prolog version 8.1.28
starting 65 [msec cputime] 82 [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 66 [msec cputime] 876 [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 424 [msec cputime] 1604 [msec walltime]
2020-04-23T16:52:40.157Z in=131 out=97 ent=200 step=910 brake=6 inf=1149173 sec=0.555 inf/sec=2070582

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.0411.2226 josd
SWI-Prolog version 8.1.28
starting 66 [msec cputime] 85 [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 103 [msec cputime] 2073 [msec walltime]
reasoning 109 [msec cputime] 109 [msec walltime]
2020-04-23T16:52:42.556Z in=97 out=50 ent=100 step=48 brake=4 inf=398253 sec=0.278 inf/sec=1432565

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.0411.2226 josd
SWI-Prolog version 8.1.28
starting 66 [msec cputime] 81 [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 2031 [msec cputime] 6511 [msec walltime]
reasoning 2697 [msec cputime] 2699 [msec walltime]
2020-04-23T16:52:51.974Z in=9841 out=1518 ent=1518 step=1518 brake=1 inf=9797032 sec=4.794 inf/sec=2043603

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.0411.2226 josd
SWI-Prolog version 8.1.28
starting 67 [msec cputime] 83 [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 16 [msec cputime] 16 [msec walltime]
reasoning 6 [msec cputime] 6 [msec walltime]
2020-04-23T16:52:52.274Z in=54 out=17 ent=24 step=110 brake=2 inf=51230 sec=0.089 inf/sec=575618

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.0411.2226 josd
SWI-Prolog version 8.1.28
starting 65 [msec cputime] 81 [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 19 [msec cputime] 18 [msec walltime]
reasoning 60 [msec cputime] 60 [msec walltime]
2020-04-23T16:52:52.544Z in=54 out=17 ent=41 step=254 brake=4 inf=179604 sec=0.144 inf/sec=1247250

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.0411.2226 josd
SWI-Prolog version 8.1.28
starting 62 [msec cputime] 81 [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] 29 [msec walltime]
reasoning 6 [msec cputime] 6 [msec walltime]
2020-04-23T16:52:52.773Z in=40 out=4 ent=3 step=6 brake=2 inf=81086 sec=0.098 inf/sec=827408

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.0411.2226 josd
SWI-Prolog version 8.1.28
starting 62 [msec cputime] 73 [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 32 [msec cputime] 32 [msec walltime]
reasoning 107 [msec cputime] 107 [msec walltime]
2020-04-23T16:52:53.095Z in=40 out=4 ent=7 step=20 brake=4 inf=330379 sec=0.201 inf/sec=1643677

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.0411.2226 josd
SWI-Prolog version 8.1.28
starting 69 [msec cputime] 79 [msec walltime]
GET http://josd.github.io/eye/reasoning/complex/complex_query.pl FROM ./complex_query.pl 
networking 0 [msec cputime] 0 [msec walltime]
eye --no-genid --hmac-key k123 http://josd.github.io/eye/reasoning/crypto/cryptoP.n3 --pass
EYE v20.0411.2226 josd
SWI-Prolog version 8.1.28
starting 68 [msec cputime] 83 [msec walltime]
GET http://josd.github.io/eye/reasoning/crypto/cryptoP.n3 SC=3
networking 6 [msec cputime] 371 [msec walltime]
reasoning 12 [msec cputime] 11 [msec walltime]
2020-04-23T16:52:54.041Z in=3 out=3 ent=6 step=12 brake=2 inf=26516 sec=0.086 inf/sec=308326

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.0411.2226 josd
SWI-Prolog version 8.1.28
starting 66 [msec cputime] 83 [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 14 [msec cputime] 14 [msec walltime]
reasoning 2 [msec cputime] 1 [msec walltime]
2020-04-23T16:52:54.260Z in=15 out=2 ent=4 step=8 brake=2 inf=31300 sec=0.082 inf/sec=381707

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.0411.2226 josd
SWI-Prolog version 8.1.28
starting 62 [msec cputime] 77 [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 15 [msec cputime] 14 [msec walltime]
reasoning 11 [msec cputime] 11 [msec walltime]
2020-04-23T16:52:54.474Z in=15 out=2 ent=4 step=8 brake=2 inf=50772 sec=0.088 inf/sec=576955

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.0411.2226 josd
SWI-Prolog version 8.1.28
starting 67 [msec cputime] 81 [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 11 [msec cputime] 764 [msec walltime]
reasoning 30 [msec cputime] 30 [msec walltime]
2020-04-23T16:52:55.471Z in=18 out=85 ent=0 step=0 brake=1 inf=38046 sec=0.108 inf/sec=352278

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.0411.2226 josd
SWI-Prolog version 8.1.28
starting 63 [msec cputime] 80 [msec walltime]
GET http://josd.github.io/eye/reasoning/csv/select-data.n3 SC=17
GET http://josd.github.io/eye/reasoning/csv/select-query.n3 SC=1
networking 14 [msec cputime] 463 [msec walltime]
reasoning 47 [msec cputime] 47 [msec walltime]
2020-04-23T16:52:56.173Z in=18 out=17 ent=17 step=17 brake=2 inf=87584 sec=0.124 inf/sec=706323

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.0411.2226 josd
SWI-Prolog version 8.1.28
starting 64 [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 12 [msec cputime] 570 [msec walltime]
reasoning 42 [msec cputime] 43 [msec walltime]
2020-04-23T16:52:56.978Z in=6 out=5 ent=5 step=5 brake=2 inf=50373 sec=0.118 inf/sec=426890

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.0411.2226 josd
SWI-Prolog version 8.1.28
starting 67 [msec cputime] 82 [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] 1837 [msec walltime]
reasoning 6 [msec cputime] 5 [msec walltime]
2020-04-23T16:52:59.175Z in=8 out=1 ent=6 step=18 brake=3 inf=25452 sec=0.087 inf/sec=292552

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.0411.2226 josd
SWI-Prolog version 8.1.28
starting 67 [msec cputime] 89 [msec walltime]
GET http://josd.github.io/eye/reasoning/djiti/graph-10.n3 translating file:///tmp/swipl_eye_15142_0
Done: translated 10 triples in 0.6 ms (17149 triples/s)
SC=10
GET http://josd.github.io/eye/reasoning/djiti/query.n3 SC=1
networking 11 [msec cputime] 1040 [msec walltime]
reasoning 8 [msec cputime] 8 [msec walltime]
2020-04-23T16:53:00.435Z in=11 out=2 ent=2 step=2 brake=1 inf=22908 sec=0.086 inf/sec=266372

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.0411.2226 josd
SWI-Prolog version 8.1.28
starting 67 [msec cputime] 85 [msec walltime]
GET http://josd.github.io/eye/reasoning/djiti/graph-100.n3 translating file:///tmp/swipl_eye_15156_0
Done: translated 100 triples in 0.9 ms (117407 triples/s)
SC=100
GET http://josd.github.io/eye/reasoning/djiti/query.n3 SC=1
networking 16 [msec cputime] 614 [msec walltime]
reasoning 19 [msec cputime] 18 [msec walltime]
2020-04-23T16:53:01.264Z in=101 out=6 ent=6 step=6 brake=1 inf=39983 sec=0.102 inf/sec=391990

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.0411.2226 josd
SWI-Prolog version 8.1.28
starting 65 [msec cputime] 85 [msec walltime]
GET http://josd.github.io/eye/reasoning/djiti/graph-1000.n3 translating file:///tmp/swipl_eye_15170_0
Done: translated 1000 triples in 34.6 ms (28894 triples/s)
SC=1000
GET http://josd.github.io/eye/reasoning/djiti/query.n3 SC=1
networking 53 [msec cputime] 701 [msec walltime]
reasoning 137 [msec cputime] 137 [msec walltime]
2020-04-23T16:53:02.301Z in=1001 out=92 ent=92 step=92 brake=1 inf=364449 sec=0.255 inf/sec=1429212

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.0411.2226 josd
SWI-Prolog version 8.1.28
starting 64 [msec cputime] 84 [msec walltime]
GET http://josd.github.io/eye/reasoning/djiti/graph-10000.n3 translating file:///tmp/swipl_eye_15184_0
Done: translated 10000 triples in 427.7 ms (23383 triples/s)
SC=10000
GET http://josd.github.io/eye/reasoning/djiti/query.n3 SC=1
networking 445 [msec cputime] 1152 [msec walltime]
reasoning 1424 [msec cputime] 1426 [msec walltime]
2020-04-23T16:53:05.076Z in=10001 out=966 ent=966 step=966 brake=1 inf=3624354 sec=1.933 inf/sec=1874989

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.0411.2226 josd
SWI-Prolog version 8.1.28
starting 63 [msec cputime] 80 [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 34 [msec cputime] 635 [msec walltime]
reasoning 13 [msec cputime] 12 [msec walltime]
2020-04-23T16:53:05.920Z in=89 out=2 ent=9 step=18 brake=2 inf=84999 sec=0.110 inf/sec=772718

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.0411.2226 josd
SWI-Prolog version 8.1.28
starting 65 [msec cputime] 82 [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 72 [msec cputime] 715 [msec walltime]
reasoning 28 [msec cputime] 28 [msec walltime]
2020-04-23T16:53:06.858Z in=244 out=6 ent=24 step=48 brake=2 inf=200321 sec=0.165 inf/sec=1214067

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.0411.2226 josd
SWI-Prolog version 8.1.28
starting 64 [msec cputime] 80 [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 900 [msec cputime] 1929 [msec walltime]
reasoning 342 [msec cputime] 342 [msec walltime]
2020-04-23T16:53:09.322Z in=3624 out=92 ent=356 step=712 brake=2 inf=2752284 sec=1.306 inf/sec=2107415

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.0411.2226 josd
SWI-Prolog version 8.1.28
starting 64 [msec cputime] 81 [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 9532 [msec cputime] 11067 [msec walltime]
reasoning 3486 [msec cputime] 3489 [msec walltime]
2020-04-23T16:53:24.074Z in=37739 out=966 ent=3683 step=7366 brake=2 inf=28579202 sec=13.082 inf/sec=2184620

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.0411.2226 josd
SWI-Prolog version 8.1.28
starting 65 [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 21 [msec cputime] 808 [msec walltime]
reasoning 14 [msec cputime] 766 [msec walltime]
2020-04-23T16:53:25.999Z in=10 out=1 ent=2 step=2 brake=1 inf=48723 sec=0.100 inf/sec=487230

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.0411.2226 josd
SWI-Prolog version 8.1.28
starting 65 [msec cputime] 80 [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 15 [msec cputime] 1165 [msec walltime]
reasoning 15 [msec cputime] 15 [msec walltime]
2020-04-23T16:53:27.381Z in=16 out=2 ent=32 step=120 brake=4 inf=51720 sec=0.095 inf/sec=544421

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.0411.2226 josd
SWI-Prolog version 8.1.28
starting 66 [msec cputime] 83 [msec walltime]
GET http://josd.github.io/eye/reasoning/dqc/sdcoding.n3 FROM ./sdcoding.n3 SC=28
GET http://josd.github.io/eye/reasoning/dqc/sdcoding-q.n3 FROM ./sdcoding-q.n3 SC=1
networking 14 [msec cputime] 14 [msec walltime]
reasoning 2 [msec cputime] 1 [msec walltime]
2020-04-23T16:53:27.601Z in=29 out=24 ent=0 step=0 brake=1 inf=34935 sec=0.082 inf/sec=426037

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.0411.2226 josd
SWI-Prolog version 8.1.28
starting 63 [msec cputime] 79 [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 10 [msec cputime] 10 [msec walltime]
reasoning 32 [msec cputime] 31 [msec walltime]
2020-04-23T16:53:27.834Z in=29 out=14 ent=14 step=24 brake=1 inf=96919 sec=0.105 inf/sec=923038

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.0411.2226 josd
SWI-Prolog version 8.1.28
starting 64 [msec cputime] 78 [msec walltime]
GET http://josd.github.io/eye/reasoning/dqc/sdcoding-a.n3 FROM ./sdcoding-a.n3 SC=24
GET http://josd.github.io/eye/reasoning/dqc/sdcoding-query.n3 FROM ./sdcoding-query.n3 SC=1
networking 10 [msec cputime] 9 [msec walltime]
reasoning 1 [msec cputime] 1 [msec walltime]
2020-04-23T16:53:28.035Z in=25 out=4 ent=4 step=4 brake=2 inf=25722 sec=0.075 inf/sec=342960

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.0411.2226 josd
SWI-Prolog version 8.1.28
starting 63 [msec cputime] 77 [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 12 [msec cputime] 12 [msec walltime]
reasoning 9 [msec cputime] 9 [msec walltime]
2020-04-23T16:53:28.246Z in=25 out=4 ent=4 step=4 brake=2 inf=39170 sec=0.084 inf/sec=466310

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.0411.2226 josd
SWI-Prolog version 8.1.28
starting 64 [msec cputime] 81 [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 858 [msec cputime] 2125 [msec walltime]
reasoning 740 [msec cputime] 740 [msec walltime]
2020-04-23T16:53:31.315Z in=3004 out=1 ent=2999 step=5998 brake=2 inf=3983301 sec=1.662 inf/sec=2396691

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.0411.2226 josd
SWI-Prolog version 8.1.28
starting 65 [msec cputime] 80 [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 563 [msec cputime] 570 [msec walltime]
2020-04-23T16:53:32.106Z in=1 out=1 ent=1 step=1 brake=1 inf=1110391 sec=0.631 inf/sec=1759732

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.0411.2226 josd
SWI-Prolog version 8.1.28
starting 66 [msec cputime] 84 [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 26 [msec cputime] 825 [msec walltime]
reasoning 29 [msec cputime] 29 [msec walltime]
2020-04-23T16:53:33.165Z in=29 out=26 ent=52 step=104 brake=2 inf=98963 sec=0.121 inf/sec=817876

eye --no-genid http://josd.github.io/eye/reasoning/easter/easterP.n3 --query http://josd.github.io/eye/reasoning/easter/easterF.n3
EYE v20.0411.2226 josd
SWI-Prolog version 8.1.28
starting 64 [msec cputime] 80 [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] 446 [msec walltime]
reasoning 190 [msec cputime] 190 [msec walltime]
2020-04-23T16:53:33.992Z in=29 out=26 ent=52 step=104 brake=2 inf=521000 sec=0.281 inf/sec=1854093

eye --no-genid http://josd.github.io/eye/reasoning/einstein/einstein.n3 --query http://josd.github.io/eye/reasoning/einstein/einsteinQ.n3
EYE v20.0411.2226 josd
SWI-Prolog version 8.1.28
starting 66 [msec cputime] 82 [msec walltime]
GET http://josd.github.io/eye/reasoning/einstein/einstein.n3 SC=4
GET http://josd.github.io/eye/reasoning/einstein/einsteinQ.n3 SC=1
networking 19 [msec cputime] 797 [msec walltime]
reasoning 311 [msec cputime] 311 [msec walltime]
2020-04-23T16:53:35.310Z in=5 out=1 ent=2 step=4 brake=2 inf=701377 sec=0.396 inf/sec=1771154

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.0411.2226 josd
SWI-Prolog version 8.1.28
starting 66 [msec cputime] 82 [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 1001 [msec cputime] 1960 [msec walltime]
reasoning 3842 [msec cputime] 4153 [msec walltime]
2020-04-23T16:53:41.627Z in=1001 out=1000 ent=1000 step=1000 brake=1 inf=12858878 sec=4.909 inf/sec=2619450

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.0411.2226 josd
SWI-Prolog version 8.1.28
starting 67 [msec cputime] 83 [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 73 [msec cputime] 2034 [msec walltime]
reasoning 181 [msec cputime] 181 [msec walltime]
2020-04-23T16:53:44.059Z in=76 out=8 ent=50 step=307 brake=6 inf=559733 sec=0.321 inf/sec=1743717

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.0411.2226 josd
SWI-Prolog version 8.1.28
starting 66 [msec cputime] 82 [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 10 [msec cputime] 786 [msec walltime]
reasoning 14 [msec cputime] 13 [msec walltime]
2020-04-23T16:53:45.065Z in=4 out=4 ent=4 step=4 brake=1 inf=43487 sec=0.090 inf/sec=483189

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.0411.2226 josd
SWI-Prolog version 8.1.28
starting 64 [msec cputime] 80 [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 10 [msec cputime] 454 [msec walltime]
reasoning 6628 [msec cputime] 6783 [msec walltime]
2020-04-23T16:53:52.497Z in=4 out=4 ent=4 step=4 brake=1 inf=18295412 sec=6.702 inf/sec=2729844

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.0411.2226 josd
SWI-Prolog version 8.1.28
starting 67 [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 182 [msec cputime] 1922 [msec walltime]
reasoning 427 [msec cputime] 427 [msec walltime]
2020-04-23T16:53:55.156Z in=253 out=18 ent=237 step=1917 brake=5 inf=1214913 sec=0.676 inf/sec=1797209

eye --no-genid http://josd.github.io/eye/reasoning/fib/fib.n3 --query http://josd.github.io/eye/reasoning/fib/fibQ.n3
EYE v20.0411.2226 josd
SWI-Prolog version 8.1.28
starting 66 [msec cputime] 80 [msec walltime]
GET http://josd.github.io/eye/reasoning/fib/fib.n3 SC=4
GET http://josd.github.io/eye/reasoning/fib/fibQ.n3 SC=3
networking 10 [msec cputime] 782 [msec walltime]
reasoning 320 [msec cputime] 322 [msec walltime]
2020-04-23T16:53:56.465Z in=7 out=3 ent=3 step=3 brake=1 inf=770380 sec=0.396 inf/sec=1945404

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.0411.2226 josd
SWI-Prolog version 8.1.28
starting 63 [msec cputime] 79 [msec walltime]
GET http://josd.github.io/eye/reasoning/fib/fib.n3 SC=4
GET http://josd.github.io/eye/reasoning/fib/fibQ.n3 SC=3
networking 10 [msec cputime] 443 [msec walltime]
reasoning 9 [msec cputime] 9 [msec walltime]
2020-04-23T16:53:57.108Z in=7 out=3 ent=3 step=3 brake=1 inf=28575 sec=0.082 inf/sec=348476

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.0411.2226 josd
SWI-Prolog version 8.1.28
starting 67 [msec cputime] 86 [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 85 [msec cputime] 1655 [msec walltime]
reasoning 271 [msec cputime] 271 [msec walltime]
2020-04-23T16:53:59.256Z in=185 out=6 ent=1591 step=18973 brake=12 inf=879423 sec=0.423 inf/sec=2079014

eye --no-genid http://josd.github.io/eye/reasoning/glass/test.n3 --query http://josd.github.io/eye/reasoning/glass/testQ.n3
EYE v20.0411.2226 josd
SWI-Prolog version 8.1.28
starting 65 [msec cputime] 82 [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 10 [msec cputime] 1424 [msec walltime]
reasoning 14 [msec cputime] 14 [msec walltime]
2020-04-23T16:54:00.900Z in=9 out=6 ent=7 step=30 brake=2 inf=48527 sec=0.089 inf/sec=545247

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.0411.2226 josd
SWI-Prolog version 8.1.28
starting 64 [msec cputime] 80 [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 32 [msec cputime] 1215 [msec walltime]
reasoning 36 [msec cputime] 36 [msec walltime]
2020-04-23T16:54:02.352Z in=11 out=1 ent=1 step=1 brake=2 inf=128293 sec=0.132 inf/sec=971917

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.0411.2226 josd
SWI-Prolog version 8.1.28
starting 66 [msec cputime] 82 [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 54 [msec cputime] 1043 [msec walltime]
reasoning 1145 [msec cputime] 1150 [msec walltime]
2020-04-23T16:54:04.741Z in=44 out=10 ent=10 step=10 brake=2 inf=2932114 sec=1.265 inf/sec=2317877

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.0411.2226 josd
SWI-Prolog version 8.1.28
starting 67 [msec cputime] 91 [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 34 [msec cputime] 1270 [msec walltime]
reasoning 10 [msec cputime] 10 [msec walltime]
2020-04-23T16:54:06.256Z in=89 out=1 ent=24 step=70 brake=2 inf=91181 sec=0.111 inf/sec=821450

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.0411.2226 josd
SWI-Prolog version 8.1.28
starting 67 [msec cputime] 86 [msec walltime]
GET http://josd.github.io/eye/reasoning/h2o/hypothesis-001.n3 translating file:///tmp/swipl_eye_15617_0
Done: translated 1 triples in 0.5 ms (2092 triples/s)
SC=1
GET http://josd.github.io/eye/reasoning/h2o/data-001.n3 translating file:///tmp/swipl_eye_15617_1
Done: translated 7 triples in 0.5 ms (14837 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] 1694 [msec walltime]
reasoning 11 [msec cputime] 10 [msec walltime]
2020-04-23T16:54:08.170Z in=10 out=1 ent=6 step=12 brake=2 inf=26665 sec=0.094 inf/sec=283670

eye --no-genid --tactic limited-answer 1 http://josd.github.io/eye/reasoning/hanoi/hanoi.n3 --pass
EYE v20.0411.2226 josd
SWI-Prolog version 8.1.28
starting 66 [msec cputime] 83 [msec walltime]
GET http://josd.github.io/eye/reasoning/hanoi/hanoi.n3 SC=3
networking 8 [msec cputime] 419 [msec walltime]
reasoning 13 [msec cputime] 12 [msec walltime]
2020-04-23T16:54:08.806Z in=3 out=1 ent=2 step=2 brake=1 inf=38929 sec=0.087 inf/sec=447460

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.0411.2226 josd
SWI-Prolog version 8.1.28
starting 65 [msec cputime] 80 [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 18 [msec cputime] 819 [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.0411.2226 josd
SWI-Prolog version 8.1.28
starting 66 [msec cputime] 82 [msec walltime]
GET http://josd.github.io/eye/reasoning/image/query.n3 SC=1
networking 3 [msec cputime] 393 [msec walltime]
reasoning 666 [msec cputime] 666 [msec walltime]
2020-04-23T16:54:11.704Z in=5 out=101 ent=202 step=404 brake=2 inf=1726396 sec=0.735 inf/sec=2348838

eye --no-genid http://josd.github.io/eye/reasoning/iq/iq.n3 --pass-all
EYE v20.0411.2226 josd
SWI-Prolog version 8.1.28
starting 70 [msec cputime] 87 [msec walltime]
GET http://josd.github.io/eye/reasoning/iq/iq.n3 SC=7
networking 10 [msec cputime] 426 [msec walltime]
reasoning 20 [msec cputime] 20 [msec walltime]
2020-04-23T16:54:12.376Z in=7 out=10 ent=13 step=26 brake=2 inf=59826 sec=0.100 inf/sec=598260

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.0411.2226 josd
SWI-Prolog version 8.1.28
starting 66 [msec cputime] 83 [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 9 [msec cputime] 815 [msec walltime]
reasoning 12 [msec cputime] 12 [msec walltime]
2020-04-23T16:54:13.407Z in=1 out=1 ent=1 step=1 brake=1 inf=30041 sec=0.087 inf/sec=345299

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.0411.2226 josd
SWI-Prolog version 8.1.28
starting 63 [msec cputime] 82 [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 8 [msec cputime] 460 [msec walltime]
reasoning 303 [msec cputime] 304 [msec walltime]
2020-04-23T16:54:14.366Z in=1 out=1 ent=1 step=1 brake=1 inf=676871 sec=0.374 inf/sec=1809816

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.0411.2226 josd
SWI-Prolog version 8.1.28
starting 68 [msec cputime] 84 [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 64 [msec cputime] 1252 [msec walltime]
reasoning 56 [msec cputime] 56 [msec walltime]
2020-04-23T16:54:15.887Z in=168 out=1 ent=39 step=124 brake=4 inf=230750 sec=0.188 inf/sec=1227394

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.0411.2226 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 23 [msec cputime] 23 [msec walltime]
reasoning 2 [msec cputime] 1 [msec walltime]
2020-04-23T16:54:16.117Z in=10 out=1 ent=1 step=1 brake=2 inf=55340 sec=0.092 inf/sec=601522

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.0411.2226 josd
SWI-Prolog version 8.1.28
starting 64 [msec cputime] 81 [msec walltime]
GET http://josd.github.io/eye/reasoning/map/gps-plugin.n3 FROM ./gps-plugin.n3 SC=7
GET http://josd.github.io/eye/reasoning/map/agent1-map.n3 FROM ./agent1-map.n3 SC=2
GET http://josd.github.io/eye/reasoning/map/agent1-query.n3 FROM ./agent1-query.n3 SC=1
networking 21 [msec cputime] 21 [msec walltime]
reasoning 22 [msec cputime] 22 [msec walltime]
2020-04-23T16:54:16.354Z in=10 out=1 ent=1 step=1 brake=2 inf=103080 sec=0.107 inf/sec=963364

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.0411.2226 josd
SWI-Prolog version 8.1.28
starting 65 [msec cputime] 78 [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 116 [msec cputime] 120 [msec walltime]
reasoning 10 [msec cputime] 9 [msec walltime]
2020-04-23T16:54:16.674Z in=442 out=1 ent=11 step=82 brake=4 inf=350670 sec=0.191 inf/sec=1835969

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.0411.2226 josd
SWI-Prolog version 8.1.28
starting 63 [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 145 [msec cputime] 148 [msec walltime]
reasoning 49 [msec cputime] 48 [msec walltime]
2020-04-23T16:54:17.065Z in=442 out=1 ent=11 step=82 brake=4 inf=442455 sec=0.257 inf/sec=1721615

eye --no-genid http://josd.github.io/eye/reasoning/medic/medic.n3 --query http://josd.github.io/eye/reasoning/medic/medicF.n3
EYE v20.0411.2226 josd
SWI-Prolog version 8.1.28
starting 66 [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 21 [msec cputime] 839 [msec walltime]
reasoning 13 [msec cputime] 13 [msec walltime]
2020-04-23T16:54:18.124Z in=18 out=2 ent=4 step=8 brake=4 inf=45511 sec=0.100 inf/sec=455110

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.0411.2226 josd
SWI-Prolog version 8.1.28
starting 66 [msec cputime] 83 [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 203 [msec cputime] 1843 [msec walltime]
reasoning 887 [msec cputime] 888 [msec walltime]
2020-04-23T16:54:21.062Z in=345 out=47 ent=105 step=332 brake=4 inf=2072630 sec=1.156 inf/sec=1792933

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.0411.2226 josd
SWI-Prolog version 8.1.28
starting 66 [msec cputime] 86 [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 3292.0 ms (30377 triples/s)
SC=100000
networking 3301 [msec cputime] 3309 [msec walltime]
GET http://josd.github.io/eye/reasoning/mq/queries/query1.n3 FROM ./queries/query1.n3 SC=1
reasoning 90 [msec cputime] 90 [msec walltime]
2020-04-23T16:54:24.677Z mq=1 out=0 inf=3404 sec=0.090 out/sec=0 inf/sec=37822

GET http://josd.github.io/eye/reasoning/mq/queries/query2.n3 FROM ./queries/query2.n3 SC=1
reasoning 10 [msec cputime] 9 [msec walltime]
2020-04-23T16:54:24.687Z mq=2 out=3 inf=15723 sec=0.009 out/sec=333 inf/sec=1747000

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-23T16:54:24.691Z mq=3 out=0 inf=3410 sec=0.003 out/sec=0 inf/sec=1136667

GET http://josd.github.io/eye/reasoning/mq/queries/query4.n3 FROM ./queries/query4.n3 SC=1
reasoning 6 [msec cputime] 6 [msec walltime]
2020-04-23T16:54:24.697Z mq=4 out=1 inf=8323 sec=0.006 out/sec=167 inf/sec=1387167

GET http://josd.github.io/eye/reasoning/mq/queries/query5.n3 FROM ./queries/query5.n3 SC=1
reasoning 13 [msec cputime] 12 [msec walltime]
2020-04-23T16:54:24.710Z mq=5 out=4 inf=15418 sec=0.012 out/sec=333 inf/sec=1284833

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-23T16:54:24.713Z 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 11 [msec cputime] 10 [msec walltime]
2020-04-23T16:54:24.724Z mq=7 out=2 inf=12057 sec=0.010 out/sec=200 inf/sec=1205700

GET http://josd.github.io/eye/reasoning/mq/queries/query8.n3 FROM ./queries/query8.n3 SC=1
reasoning 6 [msec cputime] 5 [msec walltime]
2020-04-23T16:54:24.730Z mq=8 out=1 inf=8294 sec=0.005 out/sec=200 inf/sec=1658800

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-23T16:54:24.736Z 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 10 [msec cputime] 9 [msec walltime]
2020-04-23T16:54:24.746Z mq=10 out=3 inf=14157 sec=0.009 out/sec=333 inf/sec=1573000

GET http://josd.github.io/eye/reasoning/mq/queries/query11.n3 FROM ./queries/query11.n3 SC=1
reasoning 4 [msec cputime] 3 [msec walltime]
2020-04-23T16:54:24.749Z mq=11 out=0 inf=3380 sec=0.003 out/sec=0 inf/sec=1126667

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-23T16:54:24.752Z mq=12 out=0 inf=3397 sec=0.002 out/sec=0 inf/sec=1698500

GET http://josd.github.io/eye/reasoning/mq/queries/query13.n3 FROM ./queries/query13.n3 SC=1
reasoning 3 [msec cputime] 2 [msec walltime]
2020-04-23T16:54:24.755Z mq=13 out=0 inf=3451 sec=0.002 out/sec=0 inf/sec=1725500

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-23T16:54:24.757Z mq=14 out=0 inf=3382 sec=0.002 out/sec=0 inf/sec=1691000

GET http://josd.github.io/eye/reasoning/mq/queries/query15.n3 FROM ./queries/query15.n3 SC=1
reasoning 6 [msec cputime] 5 [msec walltime]
2020-04-23T16:54:24.763Z 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-23T16:54:24.769Z 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 6 [msec cputime] 6 [msec walltime]
2020-04-23T16:54:24.775Z 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-23T16:54:24.777Z 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] 5 [msec walltime]
2020-04-23T16:54:24.783Z mq=19 out=1 inf=8022 sec=0.005 out/sec=200 inf/sec=1604400

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-23T16:54:24.785Z 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 5 [msec cputime] 5 [msec walltime]
2020-04-23T16:54:24.791Z mq=21 out=1 inf=8306 sec=0.005 out/sec=200 inf/sec=1661200

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-23T16:54:24.800Z 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 8 [msec cputime] 8 [msec walltime]
2020-04-23T16:54:24.809Z 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 6 [msec cputime] 5 [msec walltime]
2020-04-23T16:54:24.814Z mq=24 out=1 inf=7892 sec=0.005 out/sec=200 inf/sec=1578400

GET http://josd.github.io/eye/reasoning/mq/queries/query25.n3 FROM ./queries/query25.n3 SC=1
reasoning 5 [msec cputime] 4 [msec walltime]
2020-04-23T16:54:24.819Z mq=25 out=1 inf=6823 sec=0.004 out/sec=250 inf/sec=1705750

GET http://josd.github.io/eye/reasoning/mq/queries/query26.n3 FROM ./queries/query26.n3 SC=1
reasoning 12 [msec cputime] 12 [msec walltime]
2020-04-23T16:54:24.831Z mq=26 out=5 inf=20127 sec=0.012 out/sec=417 inf/sec=1677250

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-23T16:54:24.835Z 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 5 [msec cputime] 5 [msec walltime]
2020-04-23T16:54:24.840Z 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-23T16:54:24.843Z 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-23T16:54:24.845Z 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-23T16:54:24.848Z mq=31 out=0 inf=3428 sec=0.003 out/sec=0 inf/sec=1142667

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-23T16:54:24.855Z 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-23T16:54:24.857Z 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 8 [msec cputime] 7 [msec walltime]
2020-04-23T16:54:24.865Z 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] 6 [msec walltime]
2020-04-23T16:54:24.871Z mq=35 out=1 inf=8279 sec=0.006 out/sec=167 inf/sec=1379833

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-23T16:54:24.874Z 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-23T16:54:24.877Z 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 8 [msec cputime] 7 [msec walltime]
2020-04-23T16:54:24.885Z mq=38 out=1 inf=8376 sec=0.007 out/sec=143 inf/sec=1196571

GET http://josd.github.io/eye/reasoning/mq/queries/query39.n3 FROM ./queries/query39.n3 SC=1
reasoning 6 [msec cputime] 5 [msec walltime]
2020-04-23T16:54:24.890Z 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 8 [msec cputime] 7 [msec walltime]
2020-04-23T16:54:24.898Z mq=40 out=1 inf=8266 sec=0.007 out/sec=143 inf/sec=1180857

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-23T16:54:24.901Z 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 15 [msec cputime] 14 [msec walltime]
2020-04-23T16:54:24.917Z 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 9 [msec cputime] 9 [msec walltime]
2020-04-23T16:54:24.926Z 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 7 [msec cputime] 7 [msec walltime]
2020-04-23T16:54:24.933Z mq=44 out=1 inf=8346 sec=0.007 out/sec=143 inf/sec=1192286

GET http://josd.github.io/eye/reasoning/mq/queries/query45.n3 FROM ./queries/query45.n3 SC=1
reasoning 4 [msec cputime] 2 [msec walltime]
2020-04-23T16:54:24.937Z 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 3 [msec cputime] 3 [msec walltime]
2020-04-23T16:54:24.940Z 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 3 [msec cputime] 2 [msec walltime]
2020-04-23T16:54:24.943Z 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 6 [msec cputime] 5 [msec walltime]
2020-04-23T16:54:24.949Z mq=48 out=1 inf=6808 sec=0.005 out/sec=200 inf/sec=1361600

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-23T16:54:24.952Z 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 9 [msec cputime] 9 [msec walltime]
2020-04-23T16:54:24.961Z 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-23T16:54:24.967Z 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 7 [msec cputime] 6 [msec walltime]
2020-04-23T16:54:24.974Z 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] 8 [msec walltime]
2020-04-23T16:54:24.983Z mq=53 out=2 inf=10578 sec=0.008 out/sec=250 inf/sec=1322250

GET http://josd.github.io/eye/reasoning/mq/queries/query54.n3 FROM ./queries/query54.n3 SC=1
reasoning 4 [msec cputime] 2 [msec walltime]
2020-04-23T16:54:24.986Z mq=54 out=0 inf=3365 sec=0.002 out/sec=0 inf/sec=1682500

GET http://josd.github.io/eye/reasoning/mq/queries/query55.n3 FROM ./queries/query55.n3 SC=1
reasoning 15 [msec cputime] 14 [msec walltime]
2020-04-23T16:54:25.001Z mq=55 out=5 inf=20055 sec=0.014 out/sec=357 inf/sec=1432500

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-23T16:54:25.007Z 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] 4 [msec walltime]
2020-04-23T16:54:25.012Z mq=57 out=1 inf=6670 sec=0.004 out/sec=250 inf/sec=1667500

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-23T16:54:25.015Z 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 7 [msec cputime] 7 [msec walltime]
2020-04-23T16:54:25.023Z 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 9 [msec cputime] 8 [msec walltime]
2020-04-23T16:54:25.031Z mq=60 out=3 inf=14225 sec=0.008 out/sec=375 inf/sec=1778125

GET http://josd.github.io/eye/reasoning/mq/queries/query61.n3 FROM ./queries/query61.n3 SC=1
reasoning 3 [msec cputime] 2 [msec walltime]
2020-04-23T16:54:25.034Z 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 11 [msec cputime] 11 [msec walltime]
2020-04-23T16:54:25.046Z mq=62 out=5 inf=18887 sec=0.011 out/sec=455 inf/sec=1717000

GET http://josd.github.io/eye/reasoning/mq/queries/query63.n3 FROM ./queries/query63.n3 SC=1
reasoning 3 [msec cputime] 3 [msec walltime]
2020-04-23T16:54:25.049Z mq=63 out=0 inf=3381 sec=0.003 out/sec=0 inf/sec=1127000

GET http://josd.github.io/eye/reasoning/mq/queries/query64.n3 FROM ./queries/query64.n3 SC=1
reasoning 4 [msec cputime] 2 [msec walltime]
2020-04-23T16:54:25.052Z 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 5 [msec cputime] 5 [msec walltime]
2020-04-23T16:54:25.058Z 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 8 [msec cputime] 7 [msec walltime]
2020-04-23T16:54:25.065Z mq=66 out=2 inf=10094 sec=0.007 out/sec=286 inf/sec=1442000

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-23T16:54:25.068Z 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 5 [msec cputime] 5 [msec walltime]
2020-04-23T16:54:25.074Z mq=68 out=1 inf=7933 sec=0.005 out/sec=200 inf/sec=1586600

GET http://josd.github.io/eye/reasoning/mq/queries/query69.n3 FROM ./queries/query69.n3 SC=1
reasoning 9 [msec cputime] 8 [msec walltime]
2020-04-23T16:54:25.083Z mq=69 out=2 inf=11912 sec=0.008 out/sec=250 inf/sec=1489000

GET http://josd.github.io/eye/reasoning/mq/queries/query70.n3 FROM ./queries/query70.n3 SC=1
reasoning 3 [msec cputime] 2 [msec walltime]
2020-04-23T16:54:25.085Z mq=70 out=0 inf=3360 sec=0.002 out/sec=0 inf/sec=1680000

GET http://josd.github.io/eye/reasoning/mq/queries/query71.n3 FROM ./queries/query71.n3 SC=1
reasoning 9 [msec cputime] 9 [msec walltime]
2020-04-23T16:54:25.095Z mq=71 out=3 inf=14268 sec=0.009 out/sec=333 inf/sec=1585333

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-23T16:54:25.104Z 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 7 [msec cputime] 7 [msec walltime]
2020-04-23T16:54:25.112Z 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 7 [msec cputime] 6 [msec walltime]
2020-04-23T16:54:25.119Z mq=74 out=1 inf=8299 sec=0.006 out/sec=167 inf/sec=1383167

GET http://josd.github.io/eye/reasoning/mq/queries/query75.n3 FROM ./queries/query75.n3 SC=1
reasoning 6 [msec cputime] 5 [msec walltime]
2020-04-23T16:54:25.125Z mq=75 out=1 inf=6685 sec=0.005 out/sec=200 inf/sec=1337000

GET http://josd.github.io/eye/reasoning/mq/queries/query76.n3 FROM ./queries/query76.n3 SC=1
reasoning 9 [msec cputime] 8 [msec walltime]
2020-04-23T16:54:25.133Z mq=76 out=1 inf=8324 sec=0.008 out/sec=125 inf/sec=1040500

GET http://josd.github.io/eye/reasoning/mq/queries/query77.n3 FROM ./queries/query77.n3 SC=1
reasoning 6 [msec cputime] 5 [msec walltime]
2020-04-23T16:54:25.140Z mq=77 out=1 inf=7881 sec=0.005 out/sec=200 inf/sec=1576200

GET http://josd.github.io/eye/reasoning/mq/queries/query78.n3 FROM ./queries/query78.n3 SC=1
reasoning 13 [msec cputime] 13 [msec walltime]
2020-04-23T16:54:25.153Z 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 9 [msec cputime] 8 [msec walltime]
2020-04-23T16:54:25.162Z mq=79 out=3 inf=14619 sec=0.008 out/sec=375 inf/sec=1827375

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-23T16:54:25.165Z 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 3 [msec cputime] 2 [msec walltime]
2020-04-23T16:54:25.168Z mq=81 out=0 inf=3384 sec=0.002 out/sec=0 inf/sec=1692000

GET http://josd.github.io/eye/reasoning/mq/queries/query82.n3 FROM ./queries/query82.n3 SC=1
reasoning 2 [msec cputime] 2 [msec walltime]
2020-04-23T16:54:25.170Z 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 7 [msec cputime] 6 [msec walltime]
2020-04-23T16:54:25.177Z mq=83 out=2 inf=10512 sec=0.006 out/sec=333 inf/sec=1752000

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-23T16:54:25.179Z 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 2 [msec cputime] 2 [msec walltime]
2020-04-23T16:54:25.182Z 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 5 [msec cputime] 5 [msec walltime]
2020-04-23T16:54:25.187Z mq=86 out=1 inf=8350 sec=0.005 out/sec=200 inf/sec=1670000

GET http://josd.github.io/eye/reasoning/mq/queries/query87.n3 FROM ./queries/query87.n3 SC=1
reasoning 4 [msec cputime] 3 [msec walltime]
2020-04-23T16:54:25.191Z 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] 6 [msec walltime]
2020-04-23T16:54:25.197Z mq=88 out=1 inf=8300 sec=0.006 out/sec=167 inf/sec=1383333

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-23T16:54:25.204Z 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] 6 [msec walltime]
2020-04-23T16:54:25.210Z mq=90 out=1 inf=7933 sec=0.006 out/sec=167 inf/sec=1322167

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-23T16:54:25.213Z 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 2 [msec cputime] 2 [msec walltime]
2020-04-23T16:54:25.215Z mq=92 out=0 inf=3358 sec=0.002 out/sec=0 inf/sec=1679000

GET http://josd.github.io/eye/reasoning/mq/queries/query93.n3 FROM ./queries/query93.n3 SC=1
reasoning 6 [msec cputime] 5 [msec walltime]
2020-04-23T16:54:25.221Z mq=93 out=1 inf=8379 sec=0.005 out/sec=200 inf/sec=1675800

GET http://josd.github.io/eye/reasoning/mq/queries/query94.n3 FROM ./queries/query94.n3 SC=1
reasoning 9 [msec cputime] 8 [msec walltime]
2020-04-23T16:54:25.230Z mq=94 out=2 inf=11946 sec=0.008 out/sec=250 inf/sec=1493250

GET http://josd.github.io/eye/reasoning/mq/queries/query95.n3 FROM ./queries/query95.n3 SC=1
reasoning 3 [msec cputime] 2 [msec walltime]
2020-04-23T16:54:25.234Z mq=95 out=0 inf=3416 sec=0.002 out/sec=0 inf/sec=1708000

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-23T16:54:25.241Z 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 8 [msec cputime] 7 [msec walltime]
2020-04-23T16:54:25.249Z mq=97 out=2 inf=11222 sec=0.007 out/sec=286 inf/sec=1603143

GET http://josd.github.io/eye/reasoning/mq/queries/query98.n3 FROM ./queries/query98.n3 SC=1
reasoning 12 [msec cputime] 12 [msec walltime]
2020-04-23T16:54:25.261Z 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-23T16:54:25.264Z 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 4 [msec cputime] 3 [msec walltime]
2020-04-23T16:54:25.268Z mq=100 out=0 inf=3368 sec=0.003 out/sec=0 inf/sec=1122667

2020-04-23T16:54:25.268Z in=100100 out=117 ent=117 step=117 brake=100 inf=5604635 sec=4.046 inf/sec=1385229

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.0411.2226 josd
SWI-Prolog version 8.1.28
starting 68 [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_15814_1
Done: translated 2 triples in 0.4 ms (5097 triples/s)
SC=2
GET http://josd.github.io/eye/reasoning/n3c/notIn_query.n3 SC=1
networking 12 [msec cputime] 1190 [msec walltime]
GET http://josd.github.io/eye/reasoning/n3c/tasks.n3 SC=2
reasoning 4 [msec cputime] 224 [msec walltime]
2020-04-23T16:54:26.914Z in=7 out=2 ent=2 step=2 brake=1 inf=20607 sec=0.084 inf/sec=245321

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.0411.2226 josd
SWI-Prolog version 8.1.28
starting 65 [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_15837_1
Done: translated 2 triples in 0.4 ms (5055 triples/s)
SC=2
GET http://josd.github.io/eye/reasoning/n3c/forAllIn_query.n3 SC=1
networking 13 [msec cputime] 888 [msec walltime]
GET http://josd.github.io/eye/reasoning/n3c/subtasks.n3 SC=9
reasoning 6 [msec cputime] 422 [msec walltime]
2020-04-23T16:54:28.419Z in=14 out=1 ent=1 step=1 brake=1 inf=23399 sec=0.084 inf/sec=278560

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.0411.2226 josd
SWI-Prolog version 8.1.28
starting 64 [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_15859_1
Done: translated 2 triples in 0.4 ms (4935 triples/s)
SC=2
GET http://josd.github.io/eye/reasoning/n3c/notIn_query.n3 SC=1
networking 14 [msec cputime] 652 [msec walltime]
GET http://josd.github.io/eye/reasoning/n3c/tasks.n3 SC=2
reasoning 15 [msec cputime] 248 [msec walltime]
2020-04-23T16:54:29.518Z in=7 out=2 ent=2 step=2 brake=1 inf=30803 sec=0.093 inf/sec=331215

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.0411.2226 josd
SWI-Prolog version 8.1.28
starting 66 [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_15881_1
Done: translated 2 triples in 0.4 ms (5687 triples/s)
SC=2
GET http://josd.github.io/eye/reasoning/n3c/forAllIn_query.n3 SC=1
networking 17 [msec cputime] 692 [msec walltime]
GET http://josd.github.io/eye/reasoning/n3c/subtasks.n3 SC=9
reasoning 17 [msec cputime] 263 [msec walltime]
2020-04-23T16:54:30.673Z in=14 out=1 ent=1 step=1 brake=1 inf=36778 sec=0.100 inf/sec=367780

eye --no-genid --nope --prolog http://josd.github.io/eye/reasoning/n3p/simple.pl --pass
EYE v20.0411.2226 josd
SWI-Prolog version 8.1.28
starting 67 [msec cputime] 83 [msec walltime]
GET http://josd.github.io/eye/reasoning/n3p/simple.pl SC=8
networking 4 [msec cputime] 759 [msec walltime]
reasoning 4 [msec cputime] 3 [msec walltime]
2020-04-23T16:54:31.642Z in=8 out=8 ent=0 step=0 brake=1 inf=12491 sec=0.075 inf/sec=166547

eye --no-genid --nope --prolog http://josd.github.io/eye/reasoning/n3p/extra.pl --pass
EYE v20.0411.2226 josd
SWI-Prolog version 8.1.28
starting 65 [msec cputime] 80 [msec walltime]
GET http://josd.github.io/eye/reasoning/n3p/extra.pl SC=7
networking 3 [msec cputime] 387 [msec walltime]
reasoning 1 [msec cputime] 1 [msec walltime]
2020-04-23T16:54:32.223Z in=7 out=7 ent=0 step=0 brake=1 inf=10821 sec=0.069 inf/sec=156826

eye --no-genid --nope --prolog http://josd.github.io/eye/reasoning/n3p/literals.pl --pass
EYE v20.0411.2226 josd
SWI-Prolog version 8.1.28
starting 65 [msec cputime] 81 [msec walltime]
GET http://josd.github.io/eye/reasoning/n3p/literals.pl SC=10
networking 2 [msec cputime] 409 [msec walltime]
reasoning 1 [msec cputime] 1 [msec walltime]
2020-04-23T16:54:32.826Z in=10 out=10 ent=0 step=0 brake=1 inf=11257 sec=0.068 inf/sec=165544

eye --no-genid --nope --prolog http://josd.github.io/eye/reasoning/n3p/sample.pl --pass-all
EYE v20.0411.2226 josd
SWI-Prolog version 8.1.28
starting 65 [msec cputime] 80 [msec walltime]
GET http://josd.github.io/eye/reasoning/n3p/sample.pl SC=12
networking 4 [msec cputime] 403 [msec walltime]
reasoning 10 [msec cputime] 10 [msec walltime]
2020-04-23T16:54:33.431Z in=12 out=12 ent=13 step=29 brake=2 inf=20088 sec=0.079 inf/sec=254278

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.0411.2226 josd
SWI-Prolog version 8.1.28
starting 66 [msec cputime] 84 [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] 1214 [msec walltime]
reasoning 43 [msec cputime] 44 [msec walltime]
2020-04-23T16:54:34.895Z in=19 out=1 ent=1 step=1 brake=2 inf=134675 sec=0.152 inf/sec=886020

eye --no-genid --strict --no-numerals --turtle http://josd.github.io/eye/reasoning/numeral/numeral.n3 --pass
EYE v20.0411.2226 josd
SWI-Prolog version 8.1.28
starting 65 [msec cputime] 87 [msec walltime]
GET http://josd.github.io/eye/reasoning/numeral/numeral.n3 translating file:///tmp/swipl_eye_15964_0
Done: translated 5 triples in 0.3 ms (17880 triples/s)
SC=5
networking 6 [msec cputime] 394 [msec walltime]
reasoning 10 [msec cputime] 10 [msec walltime]
2020-04-23T16:54:35.507Z in=5 out=5 ent=5 step=5 brake=1 inf=22482 sec=0.081 inf/sec=277556

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.0411.2226 josd
SWI-Prolog version 8.1.28
starting 66 [msec cputime] 83 [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] 793 [msec walltime]
reasoning 1820 [msec cputime] 1839 [msec walltime]
2020-04-23T16:54:38.345Z in=4 out=1 ent=1 step=1 brake=1 inf=4497215 sec=1.898 inf/sec=2369449

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.0411.2226 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 18 [msec cputime] 1143 [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 26 [msec cputime] 1198 [msec walltime]
2020-04-23T16:54:40.943Z in=17 out=1 ent=2 step=4 brake=4 inf=46124 sec=0.112 inf/sec=411821

eye --no-genid --nope palindrome.n3 palindrome-declarations.n3 preduction-plugin.n3 --query palindrome-preduction.n3
EYE v20.0411.2226 josd
SWI-Prolog version 8.1.28
starting 65 [msec cputime] 83 [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 21 [msec cputime] 21 [msec walltime]
reasoning 3 [msec cputime] 3 [msec walltime]
2020-04-23T16:54:41.171Z in=24 out=6 ent=6 step=6 brake=1 inf=59011 sec=0.089 inf/sec=663045

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.0411.2226 josd
SWI-Prolog version 8.1.28
starting 66 [msec cputime] 81 [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] 806 [msec walltime]
reasoning 92 [msec cputime] 91 [msec walltime]
2020-04-23T16:54:42.262Z in=10 out=1 ent=1 step=1 brake=1 inf=239759 sec=0.175 inf/sec=1370051

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.0411.2226 josd
SWI-Prolog version 8.1.28
starting 63 [msec cputime] 78 [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 14 [msec cputime] 781 [msec walltime]
reasoning 61 [msec cputime] 61 [msec walltime]
2020-04-23T16:54:43.295Z in=7 out=1 ent=1 step=1 brake=1 inf=170564 sec=0.138 inf/sec=1235971

eye --no-genid --nope food.n3 food-declarations.n3 preduction-plugin.n3 --query food-preduction.n3
EYE v20.0411.2226 josd
SWI-Prolog version 8.1.28
starting 64 [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 23 [msec cputime] 23 [msec walltime]
GET http://josd.github.io/eye/reasoning/rpo/rdfs-subClassOf.n3 SC=4
reasoning 26 [msec cputime] 455 [msec walltime]
2020-04-23T16:54:43.968Z in=50 out=35 ent=35 step=35 brake=1 inf=97294 sec=0.113 inf/sec=861009

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.0411.2226 josd
SWI-Prolog version 8.1.28
starting 62 [msec cputime] 79 [msec walltime]
GET http://josd.github.io/eye/reasoning/preduction/food-example.n3 SC=5
GET http://josd.github.io/eye/reasoning/preduction/food.n3 SC=35
GET http://josd.github.io/eye/reasoning/rpo/rdfs-subClassOf.n3 SC=4
GET http://josd.github.io/eye/reasoning/preduction/food-query.n3 SC=1
networking 32 [msec cputime] 1487 [msec walltime]
reasoning 29 [msec cputime] 28 [msec walltime]
2020-04-23T16:54:45.674Z in=45 out=16 ent=91 step=338 brake=3 inf=94987 sec=0.123 inf/sec=772252

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.0411.2226 josd
SWI-Prolog version 8.1.28
starting 71 [msec cputime] 87 [msec walltime]
GET http://josd.github.io/eye/reasoning/preduction/food-example.n3 SC=5
GET http://josd.github.io/eye/reasoning/preduction/food2.n3 SC=35
GET http://josd.github.io/eye/reasoning/preduction/food-query.n3 SC=1
networking 28 [msec cputime] 868 [msec walltime]
reasoning 19 [msec cputime] 18 [msec walltime]
2020-04-23T16:54:46.761Z in=41 out=16 ent=27 step=115 brake=5 inf=85191 sec=0.118 inf/sec=721958

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.0411.2226 josd
SWI-Prolog version 8.1.28
starting 64 [msec cputime] 82 [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] 775 [msec walltime]
reasoning 21 [msec cputime] 20 [msec walltime]
2020-04-23T16:54:47.762Z in=1 out=92 ent=92 step=92 brake=1 inf=62196 sec=0.092 inf/sec=676043

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.0411.2226 josd
SWI-Prolog version 8.1.28
starting 66 [msec cputime] 85 [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] 438 [msec walltime]
reasoning 3464 [msec cputime] 3492 [msec walltime]
2020-04-23T16:54:51.887Z in=1 out=92 ent=92 step=92 brake=1 inf=9357558 sec=3.537 inf/sec=2645620

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.0411.2226 josd
SWI-Prolog version 8.1.28
starting 69 [msec cputime] 89 [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 28 [msec cputime] 781 [msec walltime]
reasoning 24 [msec cputime] 24 [msec walltime]
2020-04-23T16:54:52.982Z in=10 out=4 ent=47 step=7 brake=1 inf=94834 sec=0.121 inf/sec=783752

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.0411.2226 josd
SWI-Prolog version 8.1.28
starting 67 [msec cputime] 84 [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 22 [msec cputime] 1242 [msec walltime]
reasoning 37 [msec cputime] 36 [msec walltime]
2020-04-23T16:54:54.465Z in=11 out=1 ent=209 step=218 brake=1 inf=109560 sec=0.126 inf/sec=869524

eye --no-genid http://josd.github.io/eye/reasoning/rgb/redgraph001.n3 --query http://josd.github.io/eye/reasoning/rgb/greenquery001.n3
EYE v20.0411.2226 josd
SWI-Prolog version 8.1.28
starting 68 [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] 794 [msec walltime]
reasoning 8 [msec cputime] 8 [msec walltime]
2020-04-23T16:54:55.474Z in=5 out=2 ent=2 step=2 brake=1 inf=20292 sec=0.084 inf/sec=241571

eye --no-genid http://josd.github.io/eye/reasoning/rgb/redgraph002.n3 --query http://josd.github.io/eye/reasoning/rgb/greenquery002.n3
EYE v20.0411.2226 josd
SWI-Prolog version 8.1.28
starting 65 [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] 801 [msec walltime]
reasoning 7 [msec cputime] 7 [msec walltime]
2020-04-23T16:54:56.476Z in=5 out=2 ent=2 step=2 brake=1 inf=20272 sec=0.081 inf/sec=250272

eye --no-genid http://josd.github.io/eye/reasoning/rgb/redgraph003.n3 --query http://josd.github.io/eye/reasoning/rgb/greenquery003.n3
EYE v20.0411.2226 josd
SWI-Prolog version 8.1.28
starting 67 [msec cputime] 83 [msec walltime]
GET http://josd.github.io/eye/reasoning/rgb/redgraph003.n3 SC=3
GET http://josd.github.io/eye/reasoning/rgb/greenquery003.n3 SC=2
networking 8 [msec cputime] 801 [msec walltime]
reasoning 6 [msec cputime] 6 [msec walltime]
2020-04-23T16:54:57.478Z in=5 out=2 ent=2 step=2 brake=1 inf=19381 sec=0.081 inf/sec=239272

eye --no-genid http://josd.github.io/eye/reasoning/rif/rifP.n3 --query http://josd.github.io/eye/reasoning/rif/rifQ.n3
EYE v20.0411.2226 josd
SWI-Prolog version 8.1.28
starting 65 [msec cputime] 82 [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 130 [msec cputime] 946 [msec walltime]
reasoning 603 [msec cputime] 603 [msec walltime]
2020-04-23T16:54:59.232Z in=224 out=222 ent=443 step=1776 brake=4 inf=1860471 sec=0.798 inf/sec=2331417

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.0411.2226 josd
SWI-Prolog version 8.1.28
starting 67 [msec cputime] 85 [msec walltime]
GET http://josd.github.io/eye/reasoning/rpo/food-example.n3 SC=5
GET http://josd.github.io/eye/reasoning/rpo/food.n3 SC=35
GET http://josd.github.io/eye/reasoning/rpo/rdfs-subClassOf.n3 SC=4
GET http://josd.github.io/eye/reasoning/rpo/food-query.n3 SC=1
networking 32 [msec cputime] 1654 [msec walltime]
reasoning 31 [msec cputime] 30 [msec walltime]
2020-04-23T16:55:01.134Z 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.0411.2226 josd
SWI-Prolog version 8.1.28
starting 67 [msec cputime] 83 [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 11 [msec cputime] 1402 [msec walltime]
GET http://josd.github.io/eye/reasoning/rs/graph-1000.n3 SC=1000
reasoning 563 [msec cputime] 990 [msec walltime]
2020-04-23T16:55:03.734Z in=1002 out=1 ent=1 step=1 brake=2 inf=1561051 sec=0.641 inf/sec=2435337

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.0411.2226 josd
SWI-Prolog version 8.1.28
starting 66 [msec cputime] 82 [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 81 [msec cputime] 1639 [msec walltime]
reasoning 10 [msec cputime] 9 [msec walltime]
2020-04-23T16:55:05.594Z in=110 out=1 ent=12 step=28 brake=2 inf=203228 sec=0.157 inf/sec=1294446

eye --no-genid http://josd.github.io/eye/reasoning/socrates/socrates.n3 --query http://josd.github.io/eye/reasoning/socrates/socratesF.n3
EYE v20.0411.2226 josd
SWI-Prolog version 8.1.28
starting 65 [msec cputime] 82 [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 10 [msec cputime] 824 [msec walltime]
reasoning 9 [msec cputime] 8 [msec walltime]
2020-04-23T16:55:06.632Z in=4 out=2 ent=3 step=6 brake=2 inf=22575 sec=0.084 inf/sec=268750

eye --no-genid --nope http://josd.github.io/eye/reasoning/streason/streason-rules.n3 --turtle - --streaming-reasoning
EYE v20.0411.2226 josd
SWI-Prolog version 8.1.28
starting 69 [msec cputime] 85 [msec walltime]
GET http://josd.github.io/eye/reasoning/streason/streason-rules.n3 SC=6
GET - translating file:///dev/stdin
Done: translated 10 triples in 0.3 ms (34346 triples/s)
SC=10
2020-04-23T16:55:07.246Z in=16 out=101 ent=0 step=0 brake=0 inf=31688 sec=0.089 inf/sec=356045

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.0411.2226 josd
SWI-Prolog version 8.1.28
starting 67 [msec cputime] 83 [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 449 [msec cputime] 1248 [msec walltime]
reasoning 518 [msec cputime] 584 [msec walltime]
2020-04-23T16:55:09.284Z in=1 out=4 ent=4 step=4 brake=1 inf=3615575 sec=1.034 inf/sec=3496688

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.0411.2226 josd
SWI-Prolog version 8.1.28
starting 64 [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 462 [msec cputime] 901 [msec walltime]
reasoning 612 [msec cputime] 678 [msec walltime]
2020-04-23T16:55:11.058Z in=1 out=4 ent=4 step=4 brake=1 inf=3851205 sec=1.138 inf/sec=3384187

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.0411.2226 josd
SWI-Prolog version 8.1.28
starting 67 [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/swetQ01.n3 SC=1
networking 86 [msec cputime] 1235 [msec walltime]
reasoning 16 [msec cputime] 16 [msec walltime]
2020-04-23T16:55:12.519Z in=501 out=81 ent=81 step=81 brake=1 inf=221967 sec=0.169 inf/sec=1313414

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.0411.2226 josd
SWI-Prolog version 8.1.28
starting 64 [msec cputime] 79 [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 86 [msec cputime] 899 [msec walltime]
reasoning 13 [msec cputime] 13 [msec walltime]
2020-04-23T16:55:13.623Z in=501 out=54 ent=54 step=54 brake=1 inf=217684 sec=0.163 inf/sec=1335485

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.0411.2226 josd
SWI-Prolog version 8.1.28
starting 63 [msec cputime] 81 [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 79 [msec cputime] 883 [msec walltime]
reasoning 12 [msec cputime] 11 [msec walltime]
2020-04-23T16:55:14.711Z in=501 out=46 ent=46 step=46 brake=1 inf=212770 sec=0.154 inf/sec=1381623

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.0411.2226 josd
SWI-Prolog version 8.1.28
starting 64 [msec cputime] 79 [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 81 [msec cputime] 877 [msec walltime]
reasoning 13 [msec cputime] 12 [msec walltime]
2020-04-23T16:55:15.787Z in=501 out=19 ent=19 step=19 brake=1 inf=199226 sec=0.158 inf/sec=1260924

eye --no-genid http://josd.github.io/eye/reasoning/swet/swetA.n3 --query http://josd.github.io/eye/reasoning/swet/swetQ.n3
EYE v20.0411.2226 josd
SWI-Prolog version 8.1.28
starting 64 [msec cputime] 78 [msec walltime]
GET http://josd.github.io/eye/reasoning/swet/swetA.n3 SC=100
GET http://josd.github.io/eye/reasoning/swet/swetQ.n3 SC=3
networking 54 [msec cputime] 677 [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 209 [msec cputime] 1829 [msec walltime]
2020-04-23T16:55:18.484Z in=303 out=3 ent=3 step=3 brake=1 inf=631083 sec=0.327 inf/sec=1929917

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.0411.2226 josd
SWI-Prolog version 8.1.28
starting 67 [msec cputime] 82 [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] 835 [msec walltime]
reasoning 654 [msec cputime] 677 [msec walltime]
2020-04-23T16:55:20.210Z in=3 out=1 ent=1 step=1 brake=1 inf=1359057 sec=0.733 inf/sec=1854102

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.0411.2226 josd
SWI-Prolog version 8.1.28
starting 68 [msec cputime] 89 [msec walltime]
GET http://josd.github.io/eye/reasoning/tfcontext/data-001.n3 translating file:///tmp/swipl_eye_16466_0
Done: translated 7 triples in 0.6 ms (12311 triples/s)
SC=7
GET http://josd.github.io/eye/reasoning/tfcontext/rules-001.n3 SC=1
GET http://josd.github.io/eye/reasoning/tfcontext/query-001.n3 SC=1
networking 19 [msec cputime] 1185 [msec walltime]
reasoning 36 [msec cputime] 36 [msec walltime]
2020-04-23T16:55:21.648Z in=9 out=7 ent=21 step=42 brake=4 inf=89438 sec=0.123 inf/sec=727138

eye --no-genid http://josd.github.io/eye/reasoning/turing/turing.n3 --query http://josd.github.io/eye/reasoning/turing/turingQ.n3
EYE v20.0411.2226 josd
SWI-Prolog version 8.1.28
starting 68 [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 23 [msec cputime] 773 [msec walltime]
reasoning 33 [msec cputime] 32 [msec walltime]
2020-04-23T16:55:22.659Z in=18 out=1 ent=1 step=1 brake=1 inf=99648 sec=0.124 inf/sec=803613

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.0411.2226 josd
SWI-Prolog version 8.1.28
starting 68 [msec cputime] 85 [msec walltime]
GET http://josd.github.io/eye/reasoning/usm/usmP.n3 SC=20
GET http://josd.github.io/eye/reasoning/usm/usmQ.n3 SC=1
networking 20 [msec cputime] 831 [msec walltime]
reasoning 26 [msec cputime] 26 [msec walltime]
2020-04-23T16:55:23.724Z in=21 out=2 ent=24 step=88 brake=5 inf=77462 sec=0.114 inf/sec=679491

eye --no-genid http://josd.github.io/eye/reasoning/utf8/utf8.n3 --pass
EYE v20.0411.2226 josd
SWI-Prolog version 8.1.28
starting 73 [msec cputime] 94 [msec walltime]
GET http://josd.github.io/eye/reasoning/utf8/utf8.n3 SC=5
networking 7 [msec cputime] 391 [msec walltime]
reasoning 10 [msec cputime] 10 [msec walltime]
2020-04-23T16:55:24.336Z in=5 out=5 ent=5 step=5 brake=1 inf=22449 sec=0.090 inf/sec=249433

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.0411.2226 josd
SWI-Prolog version 8.1.28
starting 65 [msec cputime] 82 [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 11 [msec cputime] 1181 [msec walltime]
reasoning 3 [msec cputime] 2 [msec walltime]
2020-04-23T16:55:25.721Z in=4 out=4 ent=4 step=4 brake=1 inf=18568 sec=0.079 inf/sec=235038

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.0411.2226 josd
SWI-Prolog version 8.1.28
starting 63 [msec cputime] 78 [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 10 [msec cputime] 677 [msec walltime]
reasoning 88 [msec cputime] 87 [msec walltime]
2020-04-23T16:55:26.671Z in=4 out=4 ent=4 step=4 brake=1 inf=214633 sec=0.161 inf/sec=1333124

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.0411.2226 josd
SWI-Prolog version 8.1.28
starting 68 [msec cputime] 81 [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 12 [msec cputime] 778 [msec walltime]
reasoning 9 [msec cputime] 9 [msec walltime]
2020-04-23T16:55:27.663Z in=8 out=1 ent=7 step=25 brake=5 inf=27290 sec=0.089 inf/sec=306629

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.0411.2226 josd
SWI-Prolog version 8.1.28
starting 66 [msec cputime] 83 [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 37 [msec cputime] 1225 [msec walltime]
reasoning 39 [msec cputime] 43 [msec walltime]
2020-04-23T16:55:29.128Z in=96 out=1 ent=14 step=43 brake=3 inf=88863 sec=0.142 inf/sec=625796

