~/github.com/josd/eye/reasoning/3outof5 ~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
eye --n3 http://josd.github.io/eye/reasoning/3outof5/sample.n3 --query http://josd.github.io/eye/reasoning/3outof5/query.n3
EYE v19.0116.1239 josd
SWI-Prolog 8.1.0 (x86_64-linux): Jan 15 2019, 11:16:14
starting 25 [msec cputime] 30 [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 9 [msec cputime] 305 [msec walltime]
reasoning 16 [msec cputime] 16 [msec walltime]
2019-01-19T23:06:12.283Z in=6 out=1 ent=1 step=1 brake=2 inf=56246 sec=0.050 inf/sec=1124920

~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
~/github.com/josd/eye/reasoning/bi ~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
eye --n3 http://josd.github.io/eye/reasoning/bi/biP.n3 --query http://josd.github.io/eye/reasoning/bi/biQ.n3
EYE v19.0116.1239 josd
SWI-Prolog 8.1.0 (x86_64-linux): Jan 15 2019, 11:16:14
starting 28 [msec cputime] 31 [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 29 [msec cputime] 333 [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 148 [msec cputime] 594 [msec walltime]
2019-01-19T23:06:13.355Z in=131 out=97 ent=200 step=910 brake=6 inf=1124100 sec=0.205 inf/sec=5483415

~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
~/github.com/josd/eye/reasoning/bmi ~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
eye --n3 http://josd.github.io/eye/reasoning/bmi/bmi_instances.n3 --n3 http://josd.github.io/eye/reasoning/bmi/bmi_rules.n3 --n3 http://josd.github.io/eye/reasoning/bmi/weightStatus_rules.n3 --n3 http://josd.github.io/eye/reasoning/bmi/age_rules_backward.n3 --query http://josd.github.io/eye/reasoning/bmi/bmi_query.n3
EYE v19.0116.1239 josd
SWI-Prolog 8.1.0 (x86_64-linux): Jan 15 2019, 11:16:14
starting 24 [msec cputime] 28 [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 59 [msec cputime] 764 [msec walltime]
reasoning 43 [msec cputime] 42 [msec walltime]
2019-01-19T23:06:14.307Z in=97 out=50 ent=100 step=48 brake=4 inf=391052 sec=0.126 inf/sec=3103587

~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
~/github.com/josd/eye/reasoning/bmt ~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
eye --n3 http://josd.github.io/eye/reasoning/bmt/1tt1.n3 --n3 http://josd.github.io/eye/reasoning/bmt/1tt2.n3 --n3 http://josd.github.io/eye/reasoning/bmt/1tt3.n3 --n3 http://josd.github.io/eye/reasoning/bmt/1tt4.n3 --n3 http://josd.github.io/eye/reasoning/bmt/1tt5.n3 --n3 http://josd.github.io/eye/reasoning/bmt/1tt6.n3 --n3 http://josd.github.io/eye/reasoning/bmt/1tt7.n3 --n3 http://josd.github.io/eye/reasoning/bmt/1tt8.n3 --n3 http://josd.github.io/eye/reasoning/bmt/1tt9.n3 --n3 http://josd.github.io/eye/reasoning/bmt/1tt10.n3 --query http://josd.github.io/eye/reasoning/bmt/query.n3
EYE v19.0116.1239 josd
SWI-Prolog 8.1.0 (x86_64-linux): Jan 15 2019, 11:16:14
starting 26 [msec cputime] 30 [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 694 [msec cputime] 2345 [msec walltime]
reasoning 582 [msec cputime] 582 [msec walltime]
2019-01-19T23:06:17.375Z in=9841 out=1518 ent=1518 step=1518 brake=1 inf=7685239 sec=1.302 inf/sec=5902641

~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
~/github.com/josd/eye/reasoning/ccd ~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
eye --nope --turtle http://josd.github.io/eye/reasoning/ccd/train_data.ttl --n3 http://josd.github.io/eye/reasoning/ccd/background_rules.n3 --n3 http://josd.github.io/eye/reasoning/ccd/train_rules.n3 --query http://josd.github.io/eye/reasoning/ccd/train_query.n3
EYE v19.0116.1239 josd
SWI-Prolog 8.1.0 (x86_64-linux): Jan 15 2019, 11:16:14
starting 24 [msec cputime] 30 [msec walltime]
GET http://josd.github.io/eye/reasoning/ccd/train_data.ttl translating file:///tmp/swipl_eye_25462_0
Done: translated 51 triples in 0.5 ms (93997 triples/s)
SC=51
GET http://josd.github.io/eye/reasoning/ccd/background_rules.n3 SC=1
GET http://josd.github.io/eye/reasoning/ccd/train_rules.n3 SC=1
GET http://josd.github.io/eye/reasoning/ccd/train_query.n3 SC=1
networking 11 [msec cputime] 575 [msec walltime]
reasoning 7 [msec cputime] 7 [msec walltime]
2019-01-19T23:06:18.115Z in=54 out=17 ent=24 step=110 brake=2 inf=40432 sec=0.042 inf/sec=962667

eye --nope --turtle http://josd.github.io/eye/reasoning/ccd/test_data.ttl --turtle http://josd.github.io/eye/reasoning/ccd/train_model.ttl --n3 http://josd.github.io/eye/reasoning/ccd/background_rules.n3 --n3 http://josd.github.io/eye/reasoning/ccd/ccd_rules.n3 --query http://josd.github.io/eye/reasoning/ccd/test_query.n3
EYE v19.0116.1239 josd
SWI-Prolog 8.1.0 (x86_64-linux): Jan 15 2019, 11:16:14
starting 21 [msec cputime] 27 [msec walltime]
GET http://josd.github.io/eye/reasoning/ccd/test_data.ttl translating file:///tmp/swipl_eye_25479_0
Done: translated 20 triples in 0.2 ms (83281 triples/s)
SC=20
GET http://josd.github.io/eye/reasoning/ccd/train_model.ttl translating file:///tmp/swipl_eye_25479_1
Done: translated 17 triples in 0.5 ms (36632 triples/s)
SC=17
GET http://josd.github.io/eye/reasoning/ccd/background_rules.n3 SC=1
GET http://josd.github.io/eye/reasoning/ccd/ccd_rules.n3 SC=1
GET http://josd.github.io/eye/reasoning/ccd/test_query.n3 SC=1
networking 24 [msec cputime] 658 [msec walltime]
reasoning 8 [msec cputime] 8 [msec walltime]
2019-01-19T23:06:18.811Z in=40 out=4 ent=3 step=6 brake=2 inf=66803 sec=0.053 inf/sec=1260434

~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
~/github.com/josd/eye/reasoning/crypto ~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
eye --hmac-key k123 --n3 http://josd.github.io/eye/reasoning/crypto/cryptoP.n3 --pass
EYE v19.0116.1239 josd
SWI-Prolog 8.1.0 (x86_64-linux): Jan 15 2019, 11:16:14
starting 23 [msec cputime] 28 [msec walltime]
GET http://josd.github.io/eye/reasoning/crypto/cryptoP.n3 SC=3
networking 2 [msec cputime] 146 [msec walltime]
reasoning 5 [msec cputime] 5 [msec walltime]
2019-01-19T23:06:18.999Z in=3 out=3 ent=6 step=12 brake=2 inf=29547 sec=0.030 inf/sec=984900

~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
~/github.com/josd/eye/reasoning/cs ~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
eye --turtle http://josd.github.io/eye/reasoning/cs/data-001.n3 --n3 http://josd.github.io/eye/reasoning/cs/rules-001.n3 --query http://josd.github.io/eye/reasoning/cs/query-001.n3
EYE v19.0116.1239 josd
SWI-Prolog 8.1.0 (x86_64-linux): Jan 15 2019, 11:16:14
starting 21 [msec cputime] 27 [msec walltime]
GET http://josd.github.io/eye/reasoning/cs/data-001.n3 translating file:///tmp/swipl_eye_25512_0
Done: translated 10 triples in 0.4 ms (25368 triples/s)
SC=10
GET http://josd.github.io/eye/reasoning/cs/rules-001.n3 SC=4
GET http://josd.github.io/eye/reasoning/cs/query-001.n3 SC=1
networking 12 [msec cputime] 426 [msec walltime]
reasoning 15 [msec cputime] 15 [msec walltime]
2019-01-19T23:06:19.475Z in=15 out=2 ent=4 step=8 brake=2 inf=54626 sec=0.048 inf/sec=1138042

~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
~/github.com/josd/eye/reasoning/csv ~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
eye --turtle http://josd.github.io/eye/reasoning/csv/select-data.n3 --query http://josd.github.io/eye/reasoning/csv/select-query.n3
EYE v19.0116.1239 josd
SWI-Prolog 8.1.0 (x86_64-linux): Jan 15 2019, 11:16:14
starting 27 [msec cputime] 30 [msec walltime]
GET http://josd.github.io/eye/reasoning/csv/select-data.n3 translating file:///tmp/swipl_eye_25530_0
Done: translated 17 triples in 0.4 ms (40371 triples/s)
SC=17
GET http://josd.github.io/eye/reasoning/csv/select-query.n3 SC=1
networking 8 [msec cputime] 288 [msec walltime]
reasoning 16 [msec cputime] 16 [msec walltime]
2019-01-19T23:06:19.929Z in=18 out=17 ent=17 step=17 brake=2 inf=76213 sec=0.051 inf/sec=1494373

eye --n3 http://josd.github.io/eye/reasoning/csv/select-data-extra.n3 --query http://josd.github.io/eye/reasoning/csv/select-query.n3
EYE v19.0116.1239 josd
SWI-Prolog 8.1.0 (x86_64-linux): Jan 15 2019, 11:16:14
starting 27 [msec cputime] 30 [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 6 [msec cputime] 208 [msec walltime]
reasoning 19 [msec cputime] 18 [msec walltime]
2019-01-19T23:06:20.293Z in=6 out=5 ent=5 step=5 brake=2 inf=54951 sec=0.052 inf/sec=1056750

~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
~/github.com/josd/eye/reasoning/de ~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
eye --n3 http://josd.github.io/eye/reasoning/de/de.n3 --n3 http://josd.github.io/eye/reasoning/de/deA.n3 --query http://josd.github.io/eye/reasoning/de/deQ.n3
EYE v19.0116.1239 josd
SWI-Prolog 8.1.0 (x86_64-linux): Jan 15 2019, 11:16:14
starting 20 [msec cputime] 25 [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 7 [msec cputime] 416 [msec walltime]
reasoning 7 [msec cputime] 7 [msec walltime]
2019-01-19T23:06:20.749Z in=8 out=1 ent=6 step=18 brake=3 inf=29241 sec=0.034 inf/sec=860029

~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
~/github.com/josd/eye/reasoning/djiti ~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
eye --turtle http://josd.github.io/eye/reasoning/djiti/graph-10.n3 --query http://josd.github.io/eye/reasoning/djiti/query.n3
EYE v19.0116.1239 josd
SWI-Prolog 8.1.0 (x86_64-linux): Jan 15 2019, 11:16:14
starting 21 [msec cputime] 27 [msec walltime]
GET http://josd.github.io/eye/reasoning/djiti/graph-10.n3 translating file:///tmp/swipl_eye_25569_0
Done: translated 10 triples in 0.3 ms (28700 triples/s)
SC=10
GET http://josd.github.io/eye/reasoning/djiti/query.n3 SC=1
networking 6 [msec cputime] 278 [msec walltime]
reasoning 9 [msec cputime] 9 [msec walltime]
2019-01-19T23:06:21.074Z in=11 out=2 ent=2 step=2 brake=1 inf=27201 sec=0.036 inf/sec=755583

eye --turtle http://josd.github.io/eye/reasoning/djiti/graph-100.n3 --query http://josd.github.io/eye/reasoning/djiti/query.n3
EYE v19.0116.1239 josd
SWI-Prolog 8.1.0 (x86_64-linux): Jan 15 2019, 11:16:14
starting 23 [msec cputime] 29 [msec walltime]
GET http://josd.github.io/eye/reasoning/djiti/graph-100.n3 translating file:///tmp/swipl_eye_25580_0
Done: translated 100 triples in 0.8 ms (126299 triples/s)
SC=100
GET http://josd.github.io/eye/reasoning/djiti/query.n3 SC=1
networking 9 [msec cputime] 201 [msec walltime]
reasoning 13 [msec cputime] 12 [msec walltime]
2019-01-19T23:06:21.323Z in=101 out=6 ent=6 step=6 brake=1 inf=44837 sec=0.045 inf/sec=996378

eye --turtle http://josd.github.io/eye/reasoning/djiti/graph-1000.n3 --query http://josd.github.io/eye/reasoning/djiti/query.n3
EYE v19.0116.1239 josd
SWI-Prolog 8.1.0 (x86_64-linux): Jan 15 2019, 11:16:14
starting 21 [msec cputime] 27 [msec walltime]
GET http://josd.github.io/eye/reasoning/djiti/graph-1000.n3 translating file:///tmp/swipl_eye_25591_0
Done: translated 1000 triples in 15.1 ms (66166 triples/s)
SC=1000
GET http://josd.github.io/eye/reasoning/djiti/query.n3 SC=1
networking 22 [msec cputime] 259 [msec walltime]
reasoning 59 [msec cputime] 59 [msec walltime]
2019-01-19T23:06:21.673Z in=1001 out=92 ent=92 step=92 brake=1 inf=392339 sec=0.102 inf/sec=3846461

eye --turtle http://josd.github.io/eye/reasoning/djiti/graph-10000.n3 --query http://josd.github.io/eye/reasoning/djiti/query.n3
EYE v19.0116.1239 josd
SWI-Prolog 8.1.0 (x86_64-linux): Jan 15 2019, 11:16:14
starting 31 [msec cputime] 35 [msec walltime]
GET http://josd.github.io/eye/reasoning/djiti/graph-10000.n3 translating file:///tmp/swipl_eye_25603_0
Done: translated 10000 triples in 178.0 ms (56182 triples/s)
SC=10000
GET http://josd.github.io/eye/reasoning/djiti/query.n3 SC=1
networking 187 [msec cputime] 509 [msec walltime]
reasoning 609 [msec cputime] 609 [msec walltime]
2019-01-19T23:06:22.935Z in=10001 out=966 ent=966 step=966 brake=1 inf=3882893 sec=0.827 inf/sec=4695155

eye --proof http://josd.github.io/eye/reasoning/djiti/proof-10.n3 --query http://josd.github.io/eye/reasoning/djiti/query.n3
EYE v19.0116.1239 josd
SWI-Prolog 8.1.0 (x86_64-linux): Jan 15 2019, 11:16:14
starting 26 [msec cputime] 30 [msec walltime]
GET http://josd.github.io/eye/reasoning/djiti/proof-10.n3 SC=38
GET http://josd.github.io/eye/reasoning/djiti/query.n3 SC=1
networking 10 [msec cputime] 197 [msec walltime]
reasoning 13 [msec cputime] 12 [msec walltime]
2019-01-19T23:06:23.283Z in=39 out=2 ent=8 step=18 brake=2 inf=59457 sec=0.049 inf/sec=1213408

eye --proof http://josd.github.io/eye/reasoning/djiti/proof-100.n3 --query http://josd.github.io/eye/reasoning/djiti/query.n3
EYE v19.0116.1239 josd
SWI-Prolog 8.1.0 (x86_64-linux): Jan 15 2019, 11:16:14
starting 32 [msec cputime] 35 [msec walltime]
GET http://josd.github.io/eye/reasoning/djiti/proof-100.n3 SC=93
GET http://josd.github.io/eye/reasoning/djiti/query.n3 SC=1
networking 16 [msec cputime] 212 [msec walltime]
reasoning 15 [msec cputime] 14 [msec walltime]
2019-01-19T23:06:23.651Z in=94 out=6 ent=23 step=48 brake=2 inf=119709 sec=0.063 inf/sec=1900143

eye --proof http://josd.github.io/eye/reasoning/djiti/proof-1000.n3 --query http://josd.github.io/eye/reasoning/djiti/query.n3
EYE v19.0116.1239 josd
SWI-Prolog 8.1.0 (x86_64-linux): Jan 15 2019, 11:16:14
starting 26 [msec cputime] 28 [msec walltime]
GET http://josd.github.io/eye/reasoning/djiti/proof-1000.n3 SC=1323
GET http://josd.github.io/eye/reasoning/djiti/query.n3 SC=1
networking 116 [msec cputime] 361 [msec walltime]
reasoning 100 [msec cputime] 99 [msec walltime]
2019-01-19T23:06:24.249Z in=1324 out=92 ent=355 step=712 brake=2 inf=1483871 sec=0.242 inf/sec=6131698

eye --proof http://josd.github.io/eye/reasoning/djiti/proof-10000.n3 --query http://josd.github.io/eye/reasoning/djiti/query.n3
EYE v19.0116.1239 josd
SWI-Prolog 8.1.0 (x86_64-linux): Jan 15 2019, 11:16:14
starting 29 [msec cputime] 32 [msec walltime]
GET http://josd.github.io/eye/reasoning/djiti/proof-10000.n3 SC=13588
GET http://josd.github.io/eye/reasoning/djiti/query.n3 SC=1
networking 1146 [msec cputime] 1571 [msec walltime]
reasoning 1051 [msec cputime] 1052 [msec walltime]
2019-01-19T23:06:27.013Z in=13589 out=966 ent=3682 step=7366 brake=2 inf=15212609 sec=2.226 inf/sec=6834056

~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
~/github.com/josd/eye/reasoning/dp ~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
eye --tactic limited-answer 1 --n3 http://josd.github.io/eye/reasoning/dp/dp.n3 --query http://josd.github.io/eye/reasoning/dp/dpQ.n3
EYE v19.0116.1239 josd
SWI-Prolog 8.1.0 (x86_64-linux): Jan 15 2019, 11:16:14
starting 23 [msec cputime] 27 [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 9 [msec cputime] 298 [msec walltime]
reasoning 13 [msec cputime] 764 [msec walltime]
2019-01-19T23:06:28.245Z in=10 out=1 ent=2 step=2 brake=1 inf=53383 sec=0.045 inf/sec=1186289

~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
~/github.com/josd/eye/reasoning/dpe ~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
eye --tactic limited-answer 1 --n3 http://josd.github.io/eye/reasoning/dpe/dpe_theory.n3 --n3 http://josd.github.io/eye/reasoning/dpe/dpe_assumption.n3 --query http://josd.github.io/eye/reasoning/dpe/dpe_query.n3
EYE v19.0116.1239 josd
SWI-Prolog 8.1.0 (x86_64-linux): Jan 15 2019, 11:16:14
starting 26 [msec cputime] 29 [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 12 [msec cputime] 445 [msec walltime]
reasoning 14 [msec cputime] 14 [msec walltime]
2019-01-19T23:06:28.852Z in=16 out=2 ent=32 step=120 brake=4 inf=53138 sec=0.052 inf/sec=1021885

~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
~/github.com/josd/eye/reasoning/dqc ~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
eye --no-distinct-output --nope --n3 http://josd.github.io/eye/reasoning/dqc/sdcoding.n3 --query http://josd.github.io/eye/reasoning/dqc/sdcoding-q.n3
EYE v19.0116.1239 josd
SWI-Prolog 8.1.0 (x86_64-linux): Jan 15 2019, 11:16:14
starting 29 [msec cputime] 32 [msec walltime]
GET http://josd.github.io/eye/reasoning/dqc/sdcoding.n3 SC=28
GET http://josd.github.io/eye/reasoning/dqc/sdcoding-q.n3 SC=1
networking 12 [msec cputime] 280 [msec walltime]
reasoning 2 [msec cputime] 2 [msec walltime]
2019-01-19T23:06:29.281Z in=29 out=24 ent=0 step=0 brake=1 inf=36623 sec=0.043 inf/sec=851698

eye --no-distinct-input --nope --n3 http://josd.github.io/eye/reasoning/dqc/sdcoding-a.n3 --query http://josd.github.io/eye/reasoning/dqc/sdcoding-query.n3
EYE v19.0116.1239 josd
SWI-Prolog 8.1.0 (x86_64-linux): Jan 15 2019, 11:16:14
starting 28 [msec cputime] 32 [msec walltime]
GET http://josd.github.io/eye/reasoning/dqc/sdcoding-a.n3 SC=24
GET http://josd.github.io/eye/reasoning/dqc/sdcoding-query.n3 SC=1
networking 6 [msec cputime] 281 [msec walltime]
reasoning 3 [msec cputime] 2 [msec walltime]
2019-01-19T23:06:29.603Z in=25 out=4 ent=4 step=4 brake=2 inf=26630 sec=0.037 inf/sec=719730

~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
~/github.com/josd/eye/reasoning/dt ~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
eye --n3 http://josd.github.io/eye/reasoning/dt/test-facts.n3 --n3 http://josd.github.io/eye/reasoning/dt/test-dt-1000.n3 --query http://josd.github.io/eye/reasoning/dt/test-query.n3
EYE v19.0116.1239 josd
SWI-Prolog 8.1.0 (x86_64-linux): Jan 15 2019, 11:16:14
starting 22 [msec cputime] 27 [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 245 [msec cputime] 768 [msec walltime]
reasoning 267 [msec cputime] 267 [msec walltime]
2019-01-19T23:06:30.676Z in=3004 out=1 ent=2999 step=5998 brake=2 inf=4150520 sec=0.534 inf/sec=7772509

~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
~/github.com/josd/eye/reasoning/easter ~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
eye --n3 http://josd.github.io/eye/reasoning/easter/easterP.n3 --query http://josd.github.io/eye/reasoning/easter/easterF.n3
EYE v19.0116.1239 josd
SWI-Prolog 8.1.0 (x86_64-linux): Jan 15 2019, 11:16:14
starting 22 [msec cputime] 27 [msec walltime]
GET http://josd.github.io/eye/reasoning/easter/easterP.n3 SC=18
GET http://josd.github.io/eye/reasoning/easter/easterF.n3 SC=1
networking 11 [msec cputime] 550 [msec walltime]
reasoning 33 [msec cputime] 33 [msec walltime]
2019-01-19T23:06:31.405Z in=19 out=16 ent=32 step=64 brake=2 inf=223283 sec=0.066 inf/sec=3383076

~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
~/github.com/josd/eye/reasoning/einstein ~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
eye --n3 http://josd.github.io/eye/reasoning/einstein/einstein.n3 --query http://josd.github.io/eye/reasoning/einstein/einsteinQ.n3
EYE v19.0116.1239 josd
SWI-Prolog 8.1.0 (x86_64-linux): Jan 15 2019, 11:16:14
starting 29 [msec cputime] 32 [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 12 [msec cputime] 302 [msec walltime]
reasoning 98 [msec cputime] 98 [msec walltime]
2019-01-19T23:06:31.953Z in=5 out=1 ent=2 step=4 brake=2 inf=687768 sec=0.139 inf/sec=4947971

~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
~/github.com/josd/eye/reasoning/equation4 ~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
eye --nope --n3 http://josd.github.io/eye/reasoning/equation4/polynomial.n3 --query http://josd.github.io/eye/reasoning/equation4/query.n3
EYE v19.0116.1239 josd
SWI-Prolog 8.1.0 (x86_64-linux): Jan 15 2019, 11:16:14
starting 28 [msec cputime] 32 [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 295 [msec cputime] 665 [msec walltime]
reasoning 1102 [msec cputime] 1814 [msec walltime]
2019-01-19T23:06:34.576Z in=1001 out=1000 ent=1000 step=1000 brake=1 inf=12869477 sec=1.425 inf/sec=9031212

~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
~/github.com/josd/eye/reasoning/fcm ~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
eye --n3 http://josd.github.io/eye/reasoning/fcm/fcm-plugin.n3 --n3 http://josd.github.io/eye/reasoning/fcm/fl-rules.n3 --n3 http://josd.github.io/eye/reasoning/fcm/example001P.n3 --n3 http://josd.github.io/eye/reasoning/fcm/example002P.n3 --query http://josd.github.io/eye/reasoning/fcm/example003Q.n3
EYE v19.0116.1239 josd
SWI-Prolog 8.1.0 (x86_64-linux): Jan 15 2019, 11:16:14
starting 20 [msec cputime] 25 [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 44 [msec cputime] 728 [msec walltime]
reasoning 67 [msec cputime] 66 [msec walltime]
2019-01-19T23:06:35.406Z in=76 out=8 ent=50 step=307 brake=6 inf=590726 sec=0.131 inf/sec=4509359

~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
~/github.com/josd/eye/reasoning/fgcm ~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
eye --n3 http://josd.github.io/eye/reasoning/fgcm/fgcm-plugin.n3 --n3 http://josd.github.io/eye/reasoning/fcm/fl-rules.n3 --n3 http://josd.github.io/eye/reasoning/fgcm/patient.n3 --n3 http://josd.github.io/eye/reasoning/fgcm/fgcm-model.n3 --query http://josd.github.io/eye/reasoning/fgcm/fgcm-query.n3
EYE v19.0116.1239 josd
SWI-Prolog 8.1.0 (x86_64-linux): Jan 15 2019, 11:16:14
starting 29 [msec cputime] 33 [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 82 [msec cputime] 721 [msec walltime]
reasoning 146 [msec cputime] 146 [msec walltime]
2019-01-19T23:06:36.421Z in=253 out=18 ent=237 step=1917 brake=5 inf=1215833 sec=0.257 inf/sec=4730868

~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
~/github.com/josd/eye/reasoning/fib ~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
eye --tactic limited-answer 1 --n3 http://josd.github.io/eye/reasoning/fib/fib.n3 --query http://josd.github.io/eye/reasoning/fib/fibQ.n3
EYE v19.0116.1239 josd
SWI-Prolog 8.1.0 (x86_64-linux): Jan 15 2019, 11:16:14
starting 27 [msec cputime] 29 [msec walltime]
GET http://josd.github.io/eye/reasoning/fib/fib.n3 SC=3
GET http://josd.github.io/eye/reasoning/fib/fibQ.n3 SC=1
networking 5 [msec cputime] 278 [msec walltime]
reasoning 27 [msec cputime] 28 [msec walltime]
2019-01-19T23:06:36.876Z in=4 out=1 ent=1 step=1 brake=1 inf=137787 sec=0.059 inf/sec=2335373

~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
~/github.com/josd/eye/reasoning/gedcom ~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
eye --n3 http://josd.github.io/eye/reasoning/gedcom/gedcom-facts.n3 --n3 http://josd.github.io/eye/reasoning/gedcom/gedcom-relations.n3 --n3 http://josd.github.io/eye/reasoning/gedcom/rpo-rules.n3 --query http://josd.github.io/eye/reasoning/gedcom/gedcom-filter.n3
EYE v19.0116.1239 josd
SWI-Prolog 8.1.0 (x86_64-linux): Jan 15 2019, 11:16:14
starting 24 [msec cputime] 29 [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 39 [msec cputime] 590 [msec walltime]
reasoning 86 [msec cputime] 86 [msec walltime]
2019-01-19T23:06:37.588Z in=185 out=6 ent=1591 step=18973 brake=12 inf=864517 sec=0.149 inf/sec=5802128

~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
~/github.com/josd/eye/reasoning/glass ~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
eye --n3 http://josd.github.io/eye/reasoning/glass/test.n3 --query http://josd.github.io/eye/reasoning/glass/testQ.n3
EYE v19.0116.1239 josd
SWI-Prolog 8.1.0 (x86_64-linux): Jan 15 2019, 11:16:14
starting 20 [msec cputime] 25 [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 9 [msec cputime] 296 [msec walltime]
reasoning 11 [msec cputime] 10 [msec walltime]
2019-01-19T23:06:38.029Z in=9 out=6 ent=7 step=30 brake=2 inf=53121 sec=0.040 inf/sec=1328025

~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
~/github.com/josd/eye/reasoning/gps ~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
eye --n3 http://josd.github.io/eye/reasoning/gps/gps-plugin.n3 --n3 http://josd.github.io/eye/reasoning/gps/gps-example1.n3 --query http://josd.github.io/eye/reasoning/gps/gps-query1.n3
EYE v19.0116.1239 josd
SWI-Prolog 8.1.0 (x86_64-linux): Jan 15 2019, 11:16:14
starting 21 [msec cputime] 25 [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 20 [msec cputime] 428 [msec walltime]
reasoning 20 [msec cputime] 19 [msec walltime]
2019-01-19T23:06:38.618Z in=11 out=1 ent=1 step=1 brake=2 inf=123518 sec=0.061 inf/sec=2024885

eye --n3 http://josd.github.io/eye/reasoning/gps/gps-plugin.n3 --n3 http://josd.github.io/eye/reasoning/gps/gps-example2.n3 --query http://josd.github.io/eye/reasoning/gps/gps-query2.n3
EYE v19.0116.1239 josd
SWI-Prolog 8.1.0 (x86_64-linux): Jan 15 2019, 11:16:14
starting 26 [msec cputime] 28 [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 29 [msec cputime] 351 [msec walltime]
reasoning 309 [msec cputime] 351 [msec walltime]
2019-01-19T23:06:39.458Z in=44 out=10 ent=10 step=10 brake=2 inf=2336681 sec=0.364 inf/sec=6419453

~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
~/github.com/josd/eye/reasoning/graph ~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
eye --n3 http://josd.github.io/eye/reasoning/graph/graph.axiom.n3 --n3 http://josd.github.io/eye/reasoning/graph/rpo-rules.n3 --query http://josd.github.io/eye/reasoning/graph/graph.filter.n3
EYE v19.0116.1239 josd
SWI-Prolog 8.1.0 (x86_64-linux): Jan 15 2019, 11:16:14
starting 21 [msec cputime] 25 [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 20 [msec cputime] 436 [msec walltime]
reasoning 9 [msec cputime] 8 [msec walltime]
2019-01-19T23:06:40.047Z in=89 out=1 ent=24 step=70 brake=2 inf=93148 sec=0.050 inf/sec=1862960

~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
~/github.com/josd/eye/reasoning/h2o ~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
eye --turtle http://josd.github.io/eye/reasoning/h2o/hypothesis-001.n3 --turtle http://josd.github.io/eye/reasoning/h2o/data-001.n3 --n3 http://josd.github.io/eye/reasoning/h2o/rules-001.n3 --query http://josd.github.io/eye/reasoning/h2o/query-001.n3
EYE v19.0116.1239 josd
SWI-Prolog 8.1.0 (x86_64-linux): Jan 15 2019, 11:16:14
starting 24 [msec cputime] 30 [msec walltime]
GET http://josd.github.io/eye/reasoning/h2o/hypothesis-001.n3 translating file:///tmp/swipl_eye_25900_0
Done: translated 1 triples in 0.3 ms (3468 triples/s)
SC=1
GET http://josd.github.io/eye/reasoning/h2o/data-001.n3 translating file:///tmp/swipl_eye_25900_1
Done: translated 7 triples in 0.3 ms (21311 triples/s)
SC=7
GET http://josd.github.io/eye/reasoning/h2o/rules-001.n3 SC=1
GET http://josd.github.io/eye/reasoning/h2o/query-001.n3 SC=1
networking 10 [msec cputime] 575 [msec walltime]
reasoning 10 [msec cputime] 10 [msec walltime]
2019-01-19T23:06:40.776Z in=10 out=1 ent=6 step=12 brake=2 inf=31708 sec=0.044 inf/sec=720636

~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
~/github.com/josd/eye/reasoning/hanoi ~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
eye --tactic limited-answer 1 --n3 http://josd.github.io/eye/reasoning/hanoi/hanoi.n3 --pass
EYE v19.0116.1239 josd
SWI-Prolog 8.1.0 (x86_64-linux): Jan 15 2019, 11:16:14
starting 20 [msec cputime] 25 [msec walltime]
GET http://josd.github.io/eye/reasoning/hanoi/hanoi.n3 SC=3
networking 5 [msec cputime] 147 [msec walltime]
reasoning 9 [msec cputime] 9 [msec walltime]
2019-01-19T23:06:40.965Z in=3 out=1 ent=2 step=2 brake=1 inf=39846 sec=0.034 inf/sec=1171941

~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
~/github.com/josd/eye/reasoning/image ~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
eye --n3 http://josd.github.io/eye/reasoning/image/year.n3 --n3 http://josd.github.io/eye/reasoning/image/easter.n3 --image ype.pvm
EYE v19.0116.1239 josd
SWI-Prolog 8.1.0 (x86_64-linux): Jan 15 2019, 11:16:14
starting 20 [msec cputime] 25 [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 14 [msec cputime] 274 [msec walltime]
eye --n3 http://josd.github.io/eye/reasoning/image/year.n3 --n3 http://josd.github.io/eye/reasoning/image/easter.n3 --query http://josd.github.io/eye/reasoning/image/query.n3
EYE v19.0116.1239 josd
SWI-Prolog 8.1.0 (x86_64-linux): Jan 15 2019, 11:16:14
starting 22 [msec cputime] 27 [msec walltime]
GET http://josd.github.io/eye/reasoning/image/query.n3 SC=1
networking 3 [msec cputime] 147 [msec walltime]
reasoning 146 [msec cputime] 146 [msec walltime]
2019-01-19T23:06:41.872Z in=5 out=101 ent=202 step=404 brake=2 inf=1179027 sec=0.171 inf/sec=6894895

~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
~/github.com/josd/eye/reasoning/iq ~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
eye --no-genid --n3 http://josd.github.io/eye/reasoning/iq/iq.n3 --pass-all
EYE v19.0116.1239 josd
SWI-Prolog 8.1.0 (x86_64-linux): Jan 15 2019, 11:16:14
starting 21 [msec cputime] 25 [msec walltime]
GET http://josd.github.io/eye/reasoning/iq/iq.n3 SC=7
networking 3 [msec cputime] 138 [msec walltime]
reasoning 14 [msec cputime] 13 [msec walltime]
2019-01-19T23:06:42.168Z in=7 out=10 ent=13 step=26 brake=2 inf=61588 sec=0.038 inf/sec=1620737

~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
~/github.com/josd/eye/reasoning/lldm ~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
eye --n3 http://josd.github.io/eye/reasoning/lldm/lldmD.n3 --n3 http://josd.github.io/eye/reasoning/lldm/lldmP.n3 --query http://josd.github.io/eye/reasoning/lldm/lldmF.n3
EYE v19.0116.1239 josd
SWI-Prolog 8.1.0 (x86_64-linux): Jan 15 2019, 11:16:14
starting 25 [msec cputime] 29 [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 26 [msec cputime] 444 [msec walltime]
reasoning 26 [msec cputime] 25 [msec walltime]
2019-01-19T23:06:42.781Z in=168 out=1 ent=39 step=124 brake=4 inf=235433 sec=0.077 inf/sec=3057571

~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
~/github.com/josd/eye/reasoning/map ~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
eye --n3 http://josd.github.io/eye/reasoning/gps/gps-plugin.n3 --n3 http://josd.github.io/eye/reasoning/map/agent1-map.n3 --query http://josd.github.io/eye/reasoning/map/agent1-query.n3
EYE v19.0116.1239 josd
SWI-Prolog 8.1.0 (x86_64-linux): Jan 15 2019, 11:16:14
starting 20 [msec cputime] 25 [msec walltime]
GET http://josd.github.io/eye/reasoning/gps/gps-plugin.n3 SC=7
GET http://josd.github.io/eye/reasoning/map/agent1-map.n3 SC=2
GET http://josd.github.io/eye/reasoning/map/agent1-query.n3 SC=1
networking 15 [msec cputime] 363 [msec walltime]
reasoning 16 [msec cputime] 16 [msec walltime]
2019-01-19T23:06:43.300Z in=10 out=1 ent=1 step=1 brake=2 inf=102847 sec=0.051 inf/sec=2016608

eye --n3 http://josd.github.io/eye/reasoning/gps/gps-plugin.n3 --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 v19.0116.1239 josd
SWI-Prolog 8.1.0 (x86_64-linux): Jan 15 2019, 11:16:14
starting 27 [msec cputime] 30 [msec walltime]
GET http://josd.github.io/eye/reasoning/gps/gps-plugin.n3 SC=7
GET http://josd.github.io/eye/reasoning/map/agent2-map.n3 SC=2
GET http://josd.github.io/eye/reasoning/map/agent1-proof.n3 SC=139
GET http://josd.github.io/eye/reasoning/map/agent2-query.n3 SC=1
networking 43 [msec cputime] 539 [msec walltime]
reasoning 26 [msec cputime] 26 [msec walltime]
2019-01-19T23:06:44.003Z in=149 out=1 ent=10 step=82 brake=4 inf=302166 sec=0.096 inf/sec=3147563

~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
~/github.com/josd/eye/reasoning/medic ~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
eye --n3 http://josd.github.io/eye/reasoning/medic/medic.n3 --query http://josd.github.io/eye/reasoning/medic/medicF.n3
EYE v19.0116.1239 josd
SWI-Prolog 8.1.0 (x86_64-linux): Jan 15 2019, 11:16:14
starting 20 [msec cputime] 25 [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 10 [msec cputime] 282 [msec walltime]
reasoning 13 [msec cputime] 12 [msec walltime]
2019-01-19T23:06:44.433Z in=18 out=2 ent=4 step=8 brake=4 inf=50159 sec=0.043 inf/sec=1166488

~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
~/github.com/josd/eye/reasoning/mmln ~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
eye --n3 http://josd.github.io/eye/reasoning/mmln/mmln-gv-example.n3 --n3 http://josd.github.io/eye/reasoning/mmln/mmln-gv-mln.n3 --n3 http://josd.github.io/eye/reasoning/mmln/mmln-plugin.n3 --query http://josd.github.io/eye/reasoning/mmln/mmln-gv-query.n3
EYE v19.0116.1239 josd
SWI-Prolog 8.1.0 (x86_64-linux): Jan 15 2019, 11:16:14
starting 20 [msec cputime] 25 [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 72 [msec cputime] 664 [msec walltime]
reasoning 212 [msec cputime] 212 [msec walltime]
2019-01-19T23:06:45.450Z in=345 out=47 ent=105 step=330 brake=4 inf=2014087 sec=0.304 inf/sec=6625286

~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
~/github.com/josd/eye/reasoning/mq ~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
eye --wcache http://josd.github.io/eye/reasoning/mq . --turtle http://josd.github.io/eye/reasoning/mq/data.n3 --multi-query
EYE v19.0116.1239 josd
SWI-Prolog 8.1.0 (x86_64-linux): Jan 15 2019, 11:16:14
starting 26 [msec cputime] 31 [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 1000.5 ms (99946 triples/s)
SC=100000
networking 1005 [msec cputime] 1005 [msec walltime]
GET http://josd.github.io/eye/reasoning/mq/queries/query1.n3 FROM ./queries/query1.n3 SC=1
reasoning 26 [msec cputime] 26 [msec walltime]
2019-01-19T23:06:46.629Z mq=1 out=0 inf=3346 sec=0.026 out/sec=0 inf/sec=128692

GET http://josd.github.io/eye/reasoning/mq/queries/query2.n3 FROM ./queries/query2.n3 SC=1
reasoning 5 [msec cputime] 4 [msec walltime]
2019-01-19T23:06:46.633Z mq=2 out=3 inf=18449 sec=0.004 out/sec=750 inf/sec=4612250

GET http://josd.github.io/eye/reasoning/mq/queries/query3.n3 FROM ./queries/query3.n3 SC=1
reasoning 1 [msec cputime] 0 [msec walltime]
2019-01-19T23:06:46.634Z mq=3 out=0 inf=3363 sec=0.000 out/sec= inf/sec=

GET http://josd.github.io/eye/reasoning/mq/queries/query4.n3 FROM ./queries/query4.n3 SC=1
reasoning 2 [msec cputime] 1 [msec walltime]
2019-01-19T23:06:46.636Z mq=4 out=1 inf=9015 sec=0.001 out/sec=1000 inf/sec=9015000

GET http://josd.github.io/eye/reasoning/mq/queries/query5.n3 FROM ./queries/query5.n3 SC=1
reasoning 3 [msec cputime] 3 [msec walltime]
2019-01-19T23:06:46.640Z mq=5 out=4 inf=14913 sec=0.003 out/sec=1333 inf/sec=4971000

GET http://josd.github.io/eye/reasoning/mq/queries/query6.n3 FROM ./queries/query6.n3 SC=1
reasoning 1 [msec cputime] 1 [msec walltime]
2019-01-19T23:06:46.641Z mq=6 out=0 inf=3351 sec=0.001 out/sec=0 inf/sec=3351000

GET http://josd.github.io/eye/reasoning/mq/queries/query7.n3 FROM ./queries/query7.n3 SC=1
reasoning 3 [msec cputime] 2 [msec walltime]
2019-01-19T23:06:46.644Z mq=7 out=2 inf=13137 sec=0.002 out/sec=1000 inf/sec=6568500

GET http://josd.github.io/eye/reasoning/mq/queries/query8.n3 FROM ./queries/query8.n3 SC=1
reasoning 2 [msec cputime] 1 [msec walltime]
2019-01-19T23:06:46.646Z mq=8 out=1 inf=8986 sec=0.001 out/sec=1000 inf/sec=8986000

GET http://josd.github.io/eye/reasoning/mq/queries/query9.n3 FROM ./queries/query9.n3 SC=1
reasoning 2 [msec cputime] 1 [msec walltime]
2019-01-19T23:06:46.647Z mq=9 out=1 inf=9135 sec=0.001 out/sec=1000 inf/sec=9135000

GET http://josd.github.io/eye/reasoning/mq/queries/query10.n3 FROM ./queries/query10.n3 SC=1
reasoning 4 [msec cputime] 3 [msec walltime]
2019-01-19T23:06:46.651Z mq=10 out=3 inf=14760 sec=0.003 out/sec=1000 inf/sec=4920000

GET http://josd.github.io/eye/reasoning/mq/queries/query11.n3 FROM ./queries/query11.n3 SC=1
reasoning 0 [msec cputime] 0 [msec walltime]
2019-01-19T23:06:46.652Z mq=11 out=0 inf=3334 sec=0.000 out/sec= inf/sec=

GET http://josd.github.io/eye/reasoning/mq/queries/query12.n3 FROM ./queries/query12.n3 SC=1
reasoning 1 [msec cputime] 0 [msec walltime]
2019-01-19T23:06:46.653Z mq=12 out=0 inf=3349 sec=0.000 out/sec= inf/sec=

GET http://josd.github.io/eye/reasoning/mq/queries/query13.n3 FROM ./queries/query13.n3 SC=1
reasoning 1 [msec cputime] 0 [msec walltime]
2019-01-19T23:06:46.654Z mq=13 out=0 inf=3402 sec=0.000 out/sec= inf/sec=

GET http://josd.github.io/eye/reasoning/mq/queries/query14.n3 FROM ./queries/query14.n3 SC=1
reasoning 1 [msec cputime] 0 [msec walltime]
2019-01-19T23:06:46.655Z mq=14 out=0 inf=3334 sec=0.000 out/sec= inf/sec=

GET http://josd.github.io/eye/reasoning/mq/queries/query15.n3 FROM ./queries/query15.n3 SC=1
reasoning 2 [msec cputime] 1 [msec walltime]
2019-01-19T23:06:46.657Z mq=15 out=1 inf=8744 sec=0.001 out/sec=1000 inf/sec=8744000

GET http://josd.github.io/eye/reasoning/mq/queries/query16.n3 FROM ./queries/query16.n3 SC=1
reasoning 1 [msec cputime] 1 [msec walltime]
2019-01-19T23:06:46.658Z mq=16 out=1 inf=7514 sec=0.001 out/sec=1000 inf/sec=7514000

GET http://josd.github.io/eye/reasoning/mq/queries/query17.n3 FROM ./queries/query17.n3 SC=1
reasoning 3 [msec cputime] 2 [msec walltime]
2019-01-19T23:06:46.660Z mq=17 out=1 inf=8982 sec=0.002 out/sec=500 inf/sec=4491000

GET http://josd.github.io/eye/reasoning/mq/queries/query18.n3 FROM ./queries/query18.n3 SC=1
reasoning 0 [msec cputime] 0 [msec walltime]
2019-01-19T23:06:46.661Z mq=18 out=0 inf=3301 sec=0.000 out/sec= inf/sec=

GET http://josd.github.io/eye/reasoning/mq/queries/query19.n3 FROM ./queries/query19.n3 SC=1
reasoning 2 [msec cputime] 1 [msec walltime]
2019-01-19T23:06:46.663Z mq=19 out=1 inf=7659 sec=0.001 out/sec=1000 inf/sec=7659000

GET http://josd.github.io/eye/reasoning/mq/queries/query20.n3 FROM ./queries/query20.n3 SC=1
reasoning 1 [msec cputime] 0 [msec walltime]
2019-01-19T23:06:46.664Z mq=20 out=0 inf=3279 sec=0.000 out/sec= inf/sec=

GET http://josd.github.io/eye/reasoning/mq/queries/query21.n3 FROM ./queries/query21.n3 SC=1
reasoning 2 [msec cputime] 1 [msec walltime]
2019-01-19T23:06:46.666Z mq=21 out=1 inf=8998 sec=0.001 out/sec=1000 inf/sec=8998000

GET http://josd.github.io/eye/reasoning/mq/queries/query22.n3 FROM ./queries/query22.n3 SC=1
reasoning 3 [msec cputime] 3 [msec walltime]
2019-01-19T23:06:46.669Z mq=22 out=3 inf=17193 sec=0.003 out/sec=1000 inf/sec=5731000

GET http://josd.github.io/eye/reasoning/mq/queries/query23.n3 FROM ./queries/query23.n3 SC=1
reasoning 2 [msec cputime] 2 [msec walltime]
2019-01-19T23:06:46.671Z mq=23 out=3 inf=12468 sec=0.002 out/sec=1500 inf/sec=6234000

GET http://josd.github.io/eye/reasoning/mq/queries/query24.n3 FROM ./queries/query24.n3 SC=1
reasoning 2 [msec cputime] 1 [msec walltime]
2019-01-19T23:06:46.673Z mq=24 out=1 inf=7530 sec=0.001 out/sec=1000 inf/sec=7530000

GET http://josd.github.io/eye/reasoning/mq/queries/query25.n3 FROM ./queries/query25.n3 SC=1
reasoning 1 [msec cputime] 1 [msec walltime]
2019-01-19T23:06:46.674Z mq=25 out=1 inf=6643 sec=0.001 out/sec=1000 inf/sec=6643000

GET http://josd.github.io/eye/reasoning/mq/queries/query26.n3 FROM ./queries/query26.n3 SC=1
reasoning 4 [msec cputime] 3 [msec walltime]
2019-01-19T23:06:46.679Z mq=26 out=5 inf=20670 sec=0.003 out/sec=1667 inf/sec=6890000

GET http://josd.github.io/eye/reasoning/mq/queries/query27.n3 FROM ./queries/query27.n3 SC=1
reasoning 1 [msec cputime] 0 [msec walltime]
2019-01-19T23:06:46.679Z mq=27 out=0 inf=3364 sec=0.000 out/sec= inf/sec=

GET http://josd.github.io/eye/reasoning/mq/queries/query28.n3 FROM ./queries/query28.n3 SC=1
reasoning 2 [msec cputime] 1 [msec walltime]
2019-01-19T23:06:46.681Z mq=28 out=1 inf=7547 sec=0.001 out/sec=1000 inf/sec=7547000

GET http://josd.github.io/eye/reasoning/mq/queries/query29.n3 FROM ./queries/query29.n3 SC=1
reasoning 1 [msec cputime] 0 [msec walltime]
2019-01-19T23:06:46.682Z mq=29 out=0 inf=3271 sec=0.000 out/sec= inf/sec=

GET http://josd.github.io/eye/reasoning/mq/queries/query30.n3 FROM ./queries/query30.n3 SC=1
reasoning 1 [msec cputime] 0 [msec walltime]
2019-01-19T23:06:46.683Z mq=30 out=0 inf=3368 sec=0.000 out/sec= inf/sec=

GET http://josd.github.io/eye/reasoning/mq/queries/query31.n3 FROM ./queries/query31.n3 SC=1
reasoning 1 [msec cputime] 0 [msec walltime]
2019-01-19T23:06:46.684Z mq=31 out=0 inf=3374 sec=0.000 out/sec= inf/sec=

GET http://josd.github.io/eye/reasoning/mq/queries/query32.n3 FROM ./queries/query32.n3 SC=1
reasoning 2 [msec cputime] 2 [msec walltime]
2019-01-19T23:06:46.686Z mq=32 out=1 inf=8993 sec=0.002 out/sec=500 inf/sec=4496500

GET http://josd.github.io/eye/reasoning/mq/queries/query33.n3 FROM ./queries/query33.n3 SC=1
reasoning 1 [msec cputime] 0 [msec walltime]
2019-01-19T23:06:46.687Z mq=33 out=0 inf=3337 sec=0.000 out/sec= inf/sec=

GET http://josd.github.io/eye/reasoning/mq/queries/query34.n3 FROM ./queries/query34.n3 SC=1
reasoning 2 [msec cputime] 2 [msec walltime]
2019-01-19T23:06:46.689Z mq=34 out=1 inf=9061 sec=0.002 out/sec=500 inf/sec=4530500

GET http://josd.github.io/eye/reasoning/mq/queries/query35.n3 FROM ./queries/query35.n3 SC=1
reasoning 2 [msec cputime] 1 [msec walltime]
2019-01-19T23:06:46.691Z mq=35 out=1 inf=8978 sec=0.001 out/sec=1000 inf/sec=8978000

GET http://josd.github.io/eye/reasoning/mq/queries/query36.n3 FROM ./queries/query36.n3 SC=1
reasoning 1 [msec cputime] 0 [msec walltime]
2019-01-19T23:06:46.692Z mq=36 out=0 inf=3368 sec=0.000 out/sec= inf/sec=

GET http://josd.github.io/eye/reasoning/mq/queries/query37.n3 FROM ./queries/query37.n3 SC=1
reasoning 0 [msec cputime] 0 [msec walltime]
2019-01-19T23:06:46.693Z mq=37 out=0 inf=3340 sec=0.000 out/sec= inf/sec=

GET http://josd.github.io/eye/reasoning/mq/queries/query38.n3 FROM ./queries/query38.n3 SC=1
reasoning 3 [msec cputime] 2 [msec walltime]
2019-01-19T23:06:46.695Z mq=38 out=1 inf=9068 sec=0.002 out/sec=500 inf/sec=4534000

GET http://josd.github.io/eye/reasoning/mq/queries/query39.n3 FROM ./queries/query39.n3 SC=1
reasoning 1 [msec cputime] 1 [msec walltime]
2019-01-19T23:06:46.697Z mq=39 out=1 inf=7506 sec=0.001 out/sec=1000 inf/sec=7506000

GET http://josd.github.io/eye/reasoning/mq/queries/query40.n3 FROM ./queries/query40.n3 SC=1
reasoning 2 [msec cputime] 2 [msec walltime]
2019-01-19T23:06:46.699Z mq=40 out=1 inf=8965 sec=0.002 out/sec=500 inf/sec=4482500

GET http://josd.github.io/eye/reasoning/mq/queries/query41.n3 FROM ./queries/query41.n3 SC=1
reasoning 1 [msec cputime] 0 [msec walltime]
2019-01-19T23:06:46.700Z mq=41 out=0 inf=3348 sec=0.000 out/sec= inf/sec=

GET http://josd.github.io/eye/reasoning/mq/queries/query42.n3 FROM ./queries/query42.n3 SC=1
reasoning 5 [msec cputime] 4 [msec walltime]
2019-01-19T23:06:46.704Z mq=42 out=5 inf=22778 sec=0.004 out/sec=1250 inf/sec=5694500

GET http://josd.github.io/eye/reasoning/mq/queries/query43.n3 FROM ./queries/query43.n3 SC=1
reasoning 3 [msec cputime] 3 [msec walltime]
2019-01-19T23:06:46.708Z mq=43 out=3 inf=15221 sec=0.003 out/sec=1000 inf/sec=5073667

GET http://josd.github.io/eye/reasoning/mq/queries/query44.n3 FROM ./queries/query44.n3 SC=1
reasoning 2 [msec cputime] 1 [msec walltime]
2019-01-19T23:06:46.710Z mq=44 out=1 inf=9038 sec=0.001 out/sec=1000 inf/sec=9038000

GET http://josd.github.io/eye/reasoning/mq/queries/query45.n3 FROM ./queries/query45.n3 SC=1
reasoning 1 [msec cputime] 0 [msec walltime]
2019-01-19T23:06:46.710Z mq=45 out=0 inf=3254 sec=0.000 out/sec= inf/sec=

GET http://josd.github.io/eye/reasoning/mq/queries/query46.n3 FROM ./queries/query46.n3 SC=1
reasoning 1 [msec cputime] 1 [msec walltime]
2019-01-19T23:06:46.712Z mq=46 out=0 inf=3406 sec=0.001 out/sec=0 inf/sec=3406000

GET http://josd.github.io/eye/reasoning/mq/queries/query47.n3 FROM ./queries/query47.n3 SC=1
reasoning 1 [msec cputime] 0 [msec walltime]
2019-01-19T23:06:46.712Z mq=47 out=0 inf=3279 sec=0.000 out/sec= inf/sec=

GET http://josd.github.io/eye/reasoning/mq/queries/query48.n3 FROM ./queries/query48.n3 SC=1
reasoning 1 [msec cputime] 1 [msec walltime]
2019-01-19T23:06:46.714Z mq=48 out=1 inf=6627 sec=0.001 out/sec=1000 inf/sec=6627000

GET http://josd.github.io/eye/reasoning/mq/queries/query49.n3 FROM ./queries/query49.n3 SC=1
reasoning 1 [msec cputime] 0 [msec walltime]
2019-01-19T23:06:46.715Z mq=49 out=0 inf=3338 sec=0.000 out/sec= inf/sec=

GET http://josd.github.io/eye/reasoning/mq/queries/query50.n3 FROM ./queries/query50.n3 SC=1
reasoning 3 [msec cputime] 2 [msec walltime]
2019-01-19T23:06:46.718Z mq=50 out=3 inf=13290 sec=0.002 out/sec=1500 inf/sec=6645000

GET http://josd.github.io/eye/reasoning/mq/queries/query51.n3 FROM ./queries/query51.n3 SC=1
reasoning 1 [msec cputime] 1 [msec walltime]
2019-01-19T23:06:46.719Z mq=51 out=1 inf=7514 sec=0.001 out/sec=1000 inf/sec=7514000

GET http://josd.github.io/eye/reasoning/mq/queries/query52.n3 FROM ./queries/query52.n3 SC=1
reasoning 2 [msec cputime] 1 [msec walltime]
2019-01-19T23:06:46.721Z mq=52 out=1 inf=8954 sec=0.001 out/sec=1000 inf/sec=8954000

GET http://josd.github.io/eye/reasoning/mq/queries/query53.n3 FROM ./queries/query53.n3 SC=1
reasoning 3 [msec cputime] 2 [msec walltime]
2019-01-19T23:06:46.724Z mq=53 out=2 inf=10800 sec=0.002 out/sec=1000 inf/sec=5400000

GET http://josd.github.io/eye/reasoning/mq/queries/query54.n3 FROM ./queries/query54.n3 SC=1
reasoning 1 [msec cputime] 0 [msec walltime]
2019-01-19T23:06:46.725Z mq=54 out=0 inf=3317 sec=0.000 out/sec= inf/sec=

GET http://josd.github.io/eye/reasoning/mq/queries/query55.n3 FROM ./queries/query55.n3 SC=1
reasoning 9 [msec cputime] 9 [msec walltime]
2019-01-19T23:06:46.734Z mq=55 out=5 inf=20406 sec=0.009 out/sec=556 inf/sec=2267333

GET http://josd.github.io/eye/reasoning/mq/queries/query56.n3 FROM ./queries/query56.n3 SC=1
reasoning 2 [msec cputime] 1 [msec walltime]
2019-01-19T23:06:46.736Z mq=56 out=1 inf=8948 sec=0.001 out/sec=1000 inf/sec=8948000

GET http://josd.github.io/eye/reasoning/mq/queries/query57.n3 FROM ./queries/query57.n3 SC=1
reasoning 1 [msec cputime] 1 [msec walltime]
2019-01-19T23:06:46.737Z mq=57 out=1 inf=6135 sec=0.001 out/sec=1000 inf/sec=6135000

GET http://josd.github.io/eye/reasoning/mq/queries/query58.n3 FROM ./queries/query58.n3 SC=1
reasoning 1 [msec cputime] 0 [msec walltime]
2019-01-19T23:06:46.738Z mq=58 out=0 inf=3397 sec=0.000 out/sec= inf/sec=

GET http://josd.github.io/eye/reasoning/mq/queries/query59.n3 FROM ./queries/query59.n3 SC=1
reasoning 2 [msec cputime] 2 [msec walltime]
2019-01-19T23:06:46.740Z mq=59 out=2 inf=10705 sec=0.002 out/sec=1000 inf/sec=5352500

GET http://josd.github.io/eye/reasoning/mq/queries/query60.n3 FROM ./queries/query60.n3 SC=1
reasoning 4 [msec cputime] 3 [msec walltime]
2019-01-19T23:06:46.744Z mq=60 out=3 inf=14849 sec=0.003 out/sec=1000 inf/sec=4949667

GET http://josd.github.io/eye/reasoning/mq/queries/query61.n3 FROM ./queries/query61.n3 SC=1
reasoning 0 [msec cputime] 0 [msec walltime]
2019-01-19T23:06:46.744Z mq=61 out=0 inf=3333 sec=0.000 out/sec= inf/sec=

GET http://josd.github.io/eye/reasoning/mq/queries/query62.n3 FROM ./queries/query62.n3 SC=1
reasoning 3 [msec cputime] 3 [msec walltime]
2019-01-19T23:06:46.747Z mq=62 out=5 inf=16250 sec=0.003 out/sec=1667 inf/sec=5416667

GET http://josd.github.io/eye/reasoning/mq/queries/query63.n3 FROM ./queries/query63.n3 SC=1
reasoning 1 [msec cputime] 0 [msec walltime]
2019-01-19T23:06:46.748Z mq=63 out=0 inf=3333 sec=0.000 out/sec= inf/sec=

GET http://josd.github.io/eye/reasoning/mq/queries/query64.n3 FROM ./queries/query64.n3 SC=1
reasoning 1 [msec cputime] 0 [msec walltime]
2019-01-19T23:06:46.749Z mq=64 out=0 inf=3411 sec=0.000 out/sec= inf/sec=

GET http://josd.github.io/eye/reasoning/mq/queries/query65.n3 FROM ./queries/query65.n3 SC=1
reasoning 1 [msec cputime] 1 [msec walltime]
2019-01-19T23:06:46.751Z mq=65 out=1 inf=6136 sec=0.001 out/sec=1000 inf/sec=6136000

GET http://josd.github.io/eye/reasoning/mq/queries/query66.n3 FROM ./queries/query66.n3 SC=1
reasoning 2 [msec cputime] 1 [msec walltime]
2019-01-19T23:06:46.753Z mq=66 out=2 inf=9078 sec=0.001 out/sec=2000 inf/sec=9078000

GET http://josd.github.io/eye/reasoning/mq/queries/query67.n3 FROM ./queries/query67.n3 SC=1
reasoning 1 [msec cputime] 0 [msec walltime]
2019-01-19T23:06:46.753Z mq=67 out=0 inf=3362 sec=0.000 out/sec= inf/sec=

GET http://josd.github.io/eye/reasoning/mq/queries/query68.n3 FROM ./queries/query68.n3 SC=1
reasoning 2 [msec cputime] 1 [msec walltime]
2019-01-19T23:06:46.755Z mq=68 out=1 inf=7570 sec=0.001 out/sec=1000 inf/sec=7570000

GET http://josd.github.io/eye/reasoning/mq/queries/query69.n3 FROM ./queries/query69.n3 SC=1
reasoning 3 [msec cputime] 2 [msec walltime]
2019-01-19T23:06:46.758Z mq=69 out=2 inf=12835 sec=0.002 out/sec=1000 inf/sec=6417500

GET http://josd.github.io/eye/reasoning/mq/queries/query70.n3 FROM ./queries/query70.n3 SC=1
reasoning 0 [msec cputime] 0 [msec walltime]
2019-01-19T23:06:46.759Z mq=70 out=0 inf=3312 sec=0.000 out/sec= inf/sec=

GET http://josd.github.io/eye/reasoning/mq/queries/query71.n3 FROM ./queries/query71.n3 SC=1
reasoning 4 [msec cputime] 3 [msec walltime]
2019-01-19T23:06:46.762Z mq=71 out=3 inf=14876 sec=0.003 out/sec=1000 inf/sec=4958667

GET http://josd.github.io/eye/reasoning/mq/queries/query72.n3 FROM ./queries/query72.n3 SC=1
reasoning 3 [msec cputime] 2 [msec walltime]
2019-01-19T23:06:46.765Z mq=72 out=3 inf=12443 sec=0.002 out/sec=1500 inf/sec=6221500

GET http://josd.github.io/eye/reasoning/mq/queries/query73.n3 FROM ./queries/query73.n3 SC=1
reasoning 2 [msec cputime] 2 [msec walltime]
2019-01-19T23:06:46.767Z mq=73 out=2 inf=10745 sec=0.002 out/sec=1000 inf/sec=5372500

GET http://josd.github.io/eye/reasoning/mq/queries/query74.n3 FROM ./queries/query74.n3 SC=1
reasoning 2 [msec cputime] 1 [msec walltime]
2019-01-19T23:06:46.769Z mq=74 out=1 inf=8998 sec=0.001 out/sec=1000 inf/sec=8998000

GET http://josd.github.io/eye/reasoning/mq/queries/query75.n3 FROM ./queries/query75.n3 SC=1
reasoning 1 [msec cputime] 1 [msec walltime]
2019-01-19T23:06:46.771Z mq=75 out=1 inf=6151 sec=0.001 out/sec=1000 inf/sec=6151000

GET http://josd.github.io/eye/reasoning/mq/queries/query76.n3 FROM ./queries/query76.n3 SC=1
reasoning 2 [msec cputime] 1 [msec walltime]
2019-01-19T23:06:46.773Z mq=76 out=1 inf=9009 sec=0.001 out/sec=1000 inf/sec=9009000

GET http://josd.github.io/eye/reasoning/mq/queries/query77.n3 FROM ./queries/query77.n3 SC=1
reasoning 2 [msec cputime] 1 [msec walltime]
2019-01-19T23:06:46.774Z mq=77 out=1 inf=7518 sec=0.001 out/sec=1000 inf/sec=7518000

GET http://josd.github.io/eye/reasoning/mq/queries/query78.n3 FROM ./queries/query78.n3 SC=1
reasoning 4 [msec cputime] 4 [msec walltime]
2019-01-19T23:06:46.779Z mq=78 out=5 inf=18318 sec=0.004 out/sec=1250 inf/sec=4579500

GET http://josd.github.io/eye/reasoning/mq/queries/query79.n3 FROM ./queries/query79.n3 SC=1
reasoning 3 [msec cputime] 2 [msec walltime]
2019-01-19T23:06:46.781Z mq=79 out=3 inf=13290 sec=0.002 out/sec=1500 inf/sec=6645000

GET http://josd.github.io/eye/reasoning/mq/queries/query80.n3 FROM ./queries/query80.n3 SC=1
reasoning 0 [msec cputime] 0 [msec walltime]
2019-01-19T23:06:46.782Z mq=80 out=0 inf=3355 sec=0.000 out/sec= inf/sec=

GET http://josd.github.io/eye/reasoning/mq/queries/query81.n3 FROM ./queries/query81.n3 SC=1
reasoning 1 [msec cputime] 0 [msec walltime]
2019-01-19T23:06:46.783Z mq=81 out=0 inf=3337 sec=0.000 out/sec= inf/sec=

GET http://josd.github.io/eye/reasoning/mq/queries/query82.n3 FROM ./queries/query82.n3 SC=1
reasoning 1 [msec cputime] 0 [msec walltime]
2019-01-19T23:06:46.784Z mq=82 out=0 inf=3338 sec=0.000 out/sec= inf/sec=

GET http://josd.github.io/eye/reasoning/mq/queries/query83.n3 FROM ./queries/query83.n3 SC=1
reasoning 3 [msec cputime] 2 [msec walltime]
2019-01-19T23:06:46.786Z mq=83 out=2 inf=10734 sec=0.002 out/sec=1000 inf/sec=5367000

GET http://josd.github.io/eye/reasoning/mq/queries/query84.n3 FROM ./queries/query84.n3 SC=1
reasoning 0 [msec cputime] 0 [msec walltime]
2019-01-19T23:06:46.787Z mq=84 out=0 inf=3349 sec=0.000 out/sec= inf/sec=

GET http://josd.github.io/eye/reasoning/mq/queries/query85.n3 FROM ./queries/query85.n3 SC=1
reasoning 1 [msec cputime] 0 [msec walltime]
2019-01-19T23:06:46.788Z mq=85 out=0 inf=3404 sec=0.000 out/sec= inf/sec=

GET http://josd.github.io/eye/reasoning/mq/queries/query86.n3 FROM ./queries/query86.n3 SC=1
reasoning 2 [msec cputime] 1 [msec walltime]
2019-01-19T23:06:46.790Z mq=86 out=1 inf=9049 sec=0.001 out/sec=1000 inf/sec=9049000

GET http://josd.github.io/eye/reasoning/mq/queries/query87.n3 FROM ./queries/query87.n3 SC=1
reasoning 1 [msec cputime] 1 [msec walltime]
2019-01-19T23:06:46.791Z mq=87 out=0 inf=3341 sec=0.001 out/sec=0 inf/sec=3341000

GET http://josd.github.io/eye/reasoning/mq/queries/query88.n3 FROM ./queries/query88.n3 SC=1
reasoning 2 [msec cputime] 1 [msec walltime]
2019-01-19T23:06:46.793Z mq=88 out=1 inf=8978 sec=0.001 out/sec=1000 inf/sec=8978000

GET http://josd.github.io/eye/reasoning/mq/queries/query89.n3 FROM ./queries/query89.n3 SC=1
reasoning 2 [msec cputime] 1 [msec walltime]
2019-01-19T23:06:46.795Z mq=89 out=1 inf=7573 sec=0.001 out/sec=1000 inf/sec=7573000

GET http://josd.github.io/eye/reasoning/mq/queries/query90.n3 FROM ./queries/query90.n3 SC=1
reasoning 2 [msec cputime] 1 [msec walltime]
2019-01-19T23:06:46.796Z mq=90 out=1 inf=7570 sec=0.001 out/sec=1000 inf/sec=7570000

GET http://josd.github.io/eye/reasoning/mq/queries/query91.n3 FROM ./queries/query91.n3 SC=1
reasoning 1 [msec cputime] 0 [msec walltime]
2019-01-19T23:06:46.797Z mq=91 out=0 inf=3312 sec=0.000 out/sec= inf/sec=

GET http://josd.github.io/eye/reasoning/mq/queries/query92.n3 FROM ./queries/query92.n3 SC=1
reasoning 0 [msec cputime] 0 [msec walltime]
2019-01-19T23:06:46.798Z mq=92 out=0 inf=3310 sec=0.000 out/sec= inf/sec=

GET http://josd.github.io/eye/reasoning/mq/queries/query93.n3 FROM ./queries/query93.n3 SC=1
reasoning 3 [msec cputime] 2 [msec walltime]
2019-01-19T23:06:46.801Z mq=93 out=1 inf=9071 sec=0.002 out/sec=500 inf/sec=4535500

GET http://josd.github.io/eye/reasoning/mq/queries/query94.n3 FROM ./queries/query94.n3 SC=1
reasoning 3 [msec cputime] 2 [msec walltime]
2019-01-19T23:06:46.803Z mq=94 out=2 inf=12863 sec=0.002 out/sec=1000 inf/sec=6431500

GET http://josd.github.io/eye/reasoning/mq/queries/query95.n3 FROM ./queries/query95.n3 SC=1
reasoning 1 [msec cputime] 0 [msec walltime]
2019-01-19T23:06:46.804Z mq=95 out=0 inf=3367 sec=0.000 out/sec= inf/sec=

GET http://josd.github.io/eye/reasoning/mq/queries/query96.n3 FROM ./queries/query96.n3 SC=1
reasoning 1 [msec cputime] 1 [msec walltime]
2019-01-19T23:06:46.806Z mq=96 out=1 inf=7518 sec=0.001 out/sec=1000 inf/sec=7518000

GET http://josd.github.io/eye/reasoning/mq/queries/query97.n3 FROM ./queries/query97.n3 SC=1
reasoning 2 [msec cputime] 2 [msec walltime]
2019-01-19T23:06:46.808Z mq=97 out=2 inf=10376 sec=0.002 out/sec=1000 inf/sec=5188000

GET http://josd.github.io/eye/reasoning/mq/queries/query98.n3 FROM ./queries/query98.n3 SC=1
reasoning 4 [msec cputime] 3 [msec walltime]
2019-01-19T23:06:46.812Z mq=98 out=5 inf=18280 sec=0.003 out/sec=1667 inf/sec=6093333

GET http://josd.github.io/eye/reasoning/mq/queries/query99.n3 FROM ./queries/query99.n3 SC=1
reasoning 1 [msec cputime] 0 [msec walltime]
2019-01-19T23:06:46.813Z mq=99 out=0 inf=3254 sec=0.000 out/sec= inf/sec=

GET http://josd.github.io/eye/reasoning/mq/queries/query100.n3 FROM ./queries/query100.n3 SC=1
reasoning 1 [msec cputime] 0 [msec walltime]
2019-01-19T23:06:46.814Z mq=100 out=0 inf=3320 sec=0.000 out/sec= inf/sec=

2019-01-19T23:06:46.814Z in=100100 out=117 ent=117 step=117 brake=100 inf=5514360 sec=1.240 inf/sec=4447065

~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
~/github.com/josd/eye/reasoning/n3p ~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
eye --plugin http://josd.github.io/eye/reasoning/n3p/simple.n3p --pass
EYE v19.0116.1239 josd
SWI-Prolog 8.1.0 (x86_64-linux): Jan 15 2019, 11:16:14
starting 20 [msec cputime] 25 [msec walltime]
GET http://josd.github.io/eye/reasoning/n3p/simple.n3p SC=8
networking 2 [msec cputime] 129 [msec walltime]
reasoning 11 [msec cputime] 11 [msec walltime]
2019-01-19T23:06:47.095Z in=8 out=8 ent=8 step=8 brake=1 inf=31448 sec=0.033 inf/sec=952970

eye --plugin http://josd.github.io/eye/reasoning/n3p/extra.n3p --pass
EYE v19.0116.1239 josd
SWI-Prolog 8.1.0 (x86_64-linux): Jan 15 2019, 11:16:14
starting 22 [msec cputime] 27 [msec walltime]
GET http://josd.github.io/eye/reasoning/n3p/extra.n3p SC=7
networking 1 [msec cputime] 128 [msec walltime]
reasoning 10 [msec cputime] 9 [msec walltime]
2019-01-19T23:06:47.263Z in=7 out=7 ent=7 step=7 brake=1 inf=25679 sec=0.033 inf/sec=778152

eye --plugin http://josd.github.io/eye/reasoning/n3p/literals.n3p --pass
EYE v19.0116.1239 josd
SWI-Prolog 8.1.0 (x86_64-linux): Jan 15 2019, 11:16:14
starting 22 [msec cputime] 27 [msec walltime]
GET http://josd.github.io/eye/reasoning/n3p/literals.n3p SC=10
networking 1 [msec cputime] 145 [msec walltime]
reasoning 5 [msec cputime] 5 [msec walltime]
2019-01-19T23:06:47.446Z in=10 out=10 ent=10 step=10 brake=1 inf=28727 sec=0.028 inf/sec=1025964

eye --plugin http://josd.github.io/eye/reasoning/n3p/sample.n3p --pass-all
EYE v19.0116.1239 josd
SWI-Prolog 8.1.0 (x86_64-linux): Jan 15 2019, 11:16:14
starting 20 [msec cputime] 25 [msec walltime]
GET http://josd.github.io/eye/reasoning/n3p/sample.n3p SC=12
networking 3 [msec cputime] 130 [msec walltime]
reasoning 14 [msec cputime] 14 [msec walltime]
2019-01-19T23:06:47.620Z in=12 out=12 ent=13 step=29 brake=2 inf=52964 sec=0.037 inf/sec=1431459

~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
~/github.com/josd/eye/reasoning/nbbn ~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
eye --n3 http://josd.github.io/eye/reasoning/nbbn/nbbn-plugin.n3 --n3 http://josd.github.io/eye/reasoning/nbbn/nbbn-model.n3 --query http://josd.github.io/eye/reasoning/nbbn/nbbn-query.n3
EYE v19.0116.1239 josd
SWI-Prolog 8.1.0 (x86_64-linux): Jan 15 2019, 11:16:14
starting 28 [msec cputime] 32 [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 22 [msec cputime] 422 [msec walltime]
reasoning 19 [msec cputime] 19 [msec walltime]
2019-01-19T23:06:48.209Z in=19 out=1 ent=1 step=1 brake=2 inf=141504 sec=0.069 inf/sec=2050783

~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
~/github.com/josd/eye/reasoning/numeral ~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
eye --strict --no-numerals --turtle http://josd.github.io/eye/reasoning/numeral/numeral.n3 --pass
EYE v19.0116.1239 josd
SWI-Prolog 8.1.0 (x86_64-linux): Jan 15 2019, 11:16:14
starting 29 [msec cputime] 34 [msec walltime]
GET http://josd.github.io/eye/reasoning/numeral/numeral.n3 translating file:///tmp/swipl_eye_26093_0
Done: translated 5 triples in 0.3 ms (15991 triples/s)
SC=5
networking 4 [msec cputime] 140 [msec walltime]
reasoning 6 [msec cputime] 5 [msec walltime]
2019-01-19T23:06:48.505Z in=5 out=5 ent=5 step=5 brake=1 inf=25317 sec=0.039 inf/sec=649154

~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
~/github.com/josd/eye/reasoning/pi ~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
eye --n3 http://josd.github.io/eye/reasoning/pi/pi.n3 --query http://josd.github.io/eye/reasoning/pi/pi-query.n3
EYE v19.0116.1239 josd
SWI-Prolog 8.1.0 (x86_64-linux): Jan 15 2019, 11:16:14
starting 22 [msec cputime] 26 [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 7 [msec cputime] 284 [msec walltime]
reasoning 354 [msec cputime] 428 [msec walltime]
2019-01-19T23:06:49.252Z in=4 out=1 ent=1 step=1 brake=1 inf=2811955 sec=0.383 inf/sec=7341919

~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
~/github.com/josd/eye/reasoning/pptbank ~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
eye --n3 http://josd.github.io/eye/reasoning/pptbank/bankSW.n3 --n3 http://josd.github.io/eye/reasoning/pptbank/checking.n3 --query http://josd.github.io/eye/reasoning/pptbank/query.n3
EYE v19.0116.1239 josd
SWI-Prolog 8.1.0 (x86_64-linux): Jan 15 2019, 11:16:14
starting 20 [msec cputime] 26 [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 10 [msec cputime] 421 [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 14 [msec cputime] 463 [msec walltime]
2019-01-19T23:06:50.287Z in=17 out=1 ent=2 step=4 brake=4 inf=48111 sec=0.044 inf/sec=1093432

~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
~/github.com/josd/eye/reasoning/preduction ~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
eye --nope --n3 palindrome.n3 palindrome-declarations.n3 --n3 preduction-plugin.n3 --query palindrome-preduction.n3
EYE v19.0116.1239 josd
SWI-Prolog 8.1.0 (x86_64-linux): Jan 15 2019, 11:16:14
starting 30 [msec cputime] 34 [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 6 [msec cputime] 6 [msec walltime]
reasoning 3 [msec cputime] 2 [msec walltime]
2019-01-19T23:06:50.445Z in=24 out=6 ent=6 step=6 brake=1 inf=61042 sec=0.039 inf/sec=1565179

eye --n3 http://josd.github.io/eye/reasoning/preduction/palindrome.n3 --query http://josd.github.io/eye/reasoning/preduction/palindrome-query.n3
EYE v19.0116.1239 josd
SWI-Prolog 8.1.0 (x86_64-linux): Jan 15 2019, 11:16:14
starting 27 [msec cputime] 30 [msec walltime]
GET http://josd.github.io/eye/reasoning/preduction/palindrome.n3 SC=9
GET http://josd.github.io/eye/reasoning/preduction/palindrome-query.n3 SC=1
networking 6 [msec cputime] 291 [msec walltime]
reasoning 27 [msec cputime] 26 [msec walltime]
2019-01-19T23:06:50.900Z in=10 out=1 ent=1 step=1 brake=1 inf=169802 sec=0.060 inf/sec=2830033

eye --n3 http://josd.github.io/eye/reasoning/preduction/palindrome2.n3 --query http://josd.github.io/eye/reasoning/preduction/palindrome2-query.n3
EYE v19.0116.1239 josd
SWI-Prolog 8.1.0 (x86_64-linux): Jan 15 2019, 11:16:14
starting 27 [msec cputime] 30 [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 8 [msec cputime] 278 [msec walltime]
reasoning 21 [msec cputime] 20 [msec walltime]
2019-01-19T23:06:51.336Z in=7 out=1 ent=1 step=1 brake=1 inf=127579 sec=0.056 inf/sec=2278196

eye --nope --n3 food.n3 food-declarations.n3 --n3 preduction-plugin.n3 --query food-preduction.n3
EYE v19.0116.1239 josd
SWI-Prolog 8.1.0 (x86_64-linux): Jan 15 2019, 11:16:14
starting 27 [msec cputime] 30 [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 6 [msec cputime] 6 [msec walltime]
GET http://josd.github.io/eye/reasoning/rpo/rdfs-subClassOf.n3 SC=4
reasoning 15 [msec cputime] 147 [msec walltime]
2019-01-19T23:06:51.627Z in=50 out=35 ent=35 step=35 brake=1 inf=108395 sec=0.048 inf/sec=2258229

eye --n3 http://josd.github.io/eye/reasoning/preduction/food-example.n3 --n3 http://josd.github.io/eye/reasoning/preduction/food.n3 --n3 http://josd.github.io/eye/reasoning/rpo/rdfs-subClassOf.n3 --query http://josd.github.io/eye/reasoning/preduction/food-query.n3
EYE v19.0116.1239 josd
SWI-Prolog 8.1.0 (x86_64-linux): Jan 15 2019, 11:16:14
starting 32 [msec cputime] 34 [msec walltime]
GET http://josd.github.io/eye/reasoning/preduction/food-example.n3 SC=5
GET http://josd.github.io/eye/reasoning/preduction/food.n3 SC=35
GET http://josd.github.io/eye/reasoning/rpo/rdfs-subClassOf.n3 SC=4
GET http://josd.github.io/eye/reasoning/preduction/food-query.n3 SC=1
networking 16 [msec cputime] 499 [msec walltime]
reasoning 15 [msec cputime] 14 [msec walltime]
2019-01-19T23:06:52.284Z in=45 out=16 ent=91 step=338 brake=3 inf=91772 sec=0.063 inf/sec=1456698

eye --n3 http://josd.github.io/eye/reasoning/preduction/food-example.n3 --n3 http://josd.github.io/eye/reasoning/preduction/food2.n3 --query http://josd.github.io/eye/reasoning/preduction/food-query.n3
EYE v19.0116.1239 josd
SWI-Prolog 8.1.0 (x86_64-linux): Jan 15 2019, 11:16:14
starting 31 [msec cputime] 34 [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 18 [msec cputime] 254 [msec walltime]
reasoning 16 [msec cputime] 16 [msec walltime]
2019-01-19T23:06:52.695Z in=41 out=16 ent=27 step=115 brake=5 inf=86169 sec=0.065 inf/sec=1325677

~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
~/github.com/josd/eye/reasoning/restpath ~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
eye --tactic limited-answer 1 --n3 http://josd.github.io/eye/reasoning/restpath/initial.n3 --n3 http://josd.github.io/eye/reasoning/restpath/path-9-3.n3 --query http://josd.github.io/eye/reasoning/restpath/goal.n3
EYE v19.0116.1239 josd
SWI-Prolog 8.1.0 (x86_64-linux): Jan 15 2019, 11:16:14
starting 20 [msec cputime] 25 [msec walltime]
GET http://josd.github.io/eye/reasoning/restpath/initial.n3 SC=1
GET http://josd.github.io/eye/reasoning/restpath/path-9-3.n3 SC=9
GET http://josd.github.io/eye/reasoning/restpath/goal.n3 SC=1
networking 16 [msec cputime] 436 [msec walltime]
reasoning 16 [msec cputime] 16 [msec walltime]
2019-01-19T23:06:53.291Z in=11 out=1 ent=209 step=218 brake=1 inf=108522 sec=0.052 inf/sec=2086962

~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
~/github.com/josd/eye/reasoning/resto ~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
eye --tactic limited-answer 1 --n3 http://josd.github.io/eye/reasoning/resto/resto.n3 --query http://josd.github.io/eye/reasoning/resto/restoG.n3
EYE v19.0116.1239 josd
SWI-Prolog 8.1.0 (x86_64-linux): Jan 15 2019, 11:16:14
starting 25 [msec cputime] 29 [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 17 [msec cputime] 294 [msec walltime]
reasoning 17 [msec cputime] 16 [msec walltime]
2019-01-19T23:06:53.745Z in=10 out=4 ent=47 step=7 brake=1 inf=94190 sec=0.059 inf/sec=1596441

~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
~/github.com/josd/eye/reasoning/rgb ~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
eye --n3 http://josd.github.io/eye/reasoning/rgb/redgraph001.n3 --query http://josd.github.io/eye/reasoning/rgb/greenquery001.n3
EYE v19.0116.1239 josd
SWI-Prolog 8.1.0 (x86_64-linux): Jan 15 2019, 11:16:14
starting 28 [msec cputime] 31 [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 5 [msec cputime] 264 [msec walltime]
reasoning 6 [msec cputime] 6 [msec walltime]
2019-01-19T23:06:54.162Z in=5 out=2 ent=2 step=2 brake=1 inf=23848 sec=0.039 inf/sec=611487

eye --n3 http://josd.github.io/eye/reasoning/rgb/redgraph002.n3 --query http://josd.github.io/eye/reasoning/rgb/greenquery002.n3
EYE v19.0116.1239 josd
SWI-Prolog 8.1.0 (x86_64-linux): Jan 15 2019, 11:16:14
starting 26 [msec cputime] 29 [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 5 [msec cputime] 272 [msec walltime]
reasoning 8 [msec cputime] 7 [msec walltime]
2019-01-19T23:06:54.580Z in=5 out=2 ent=2 step=2 brake=1 inf=24011 sec=0.039 inf/sec=615667

eye --n3 http://josd.github.io/eye/reasoning/rgb/redgraph003.n3 --query http://josd.github.io/eye/reasoning/rgb/greenquery003.n3
EYE v19.0116.1239 josd
SWI-Prolog 8.1.0 (x86_64-linux): Jan 15 2019, 11:16:14
starting 21 [msec cputime] 26 [msec walltime]
GET http://josd.github.io/eye/reasoning/rgb/redgraph003.n3 SC=3
GET http://josd.github.io/eye/reasoning/rgb/greenquery003.n3 SC=2
networking 4 [msec cputime] 288 [msec walltime]
reasoning 7 [msec cputime] 7 [msec walltime]
2019-01-19T23:06:54.909Z in=5 out=2 ent=2 step=2 brake=1 inf=22639 sec=0.032 inf/sec=707469

~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
~/github.com/josd/eye/reasoning/rif ~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
eye --n3 http://josd.github.io/eye/reasoning/rif/rifP.n3 --query http://josd.github.io/eye/reasoning/rif/rifQ.n3
EYE v19.0116.1239 josd
SWI-Prolog 8.1.0 (x86_64-linux): Jan 15 2019, 11:16:14
starting 29 [msec cputime] 32 [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 48 [msec cputime] 358 [msec walltime]
reasoning 189 [msec cputime] 189 [msec walltime]
2019-01-19T23:06:55.605Z in=224 out=222 ent=443 step=1776 brake=4 inf=1859123 sec=0.266 inf/sec=6989184

~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
~/github.com/josd/eye/reasoning/rpo ~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
eye --n3 http://josd.github.io/eye/reasoning/rpo/food-example.n3 --n3 http://josd.github.io/eye/reasoning/rpo/food.n3 --n3 http://josd.github.io/eye/reasoning/rpo/rdfs-subClassOf.n3 --query http://josd.github.io/eye/reasoning/rpo/food-query.n3
EYE v19.0116.1239 josd
SWI-Prolog 8.1.0 (x86_64-linux): Jan 15 2019, 11:16:14
starting 23 [msec cputime] 28 [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 14 [msec cputime] 490 [msec walltime]
reasoning 19 [msec cputime] 18 [msec walltime]
2019-01-19T23:06:56.258Z in=45 out=16 ent=91 step=338 brake=3 inf=92290 sec=0.056 inf/sec=1648036

~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
~/github.com/josd/eye/reasoning/rs ~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
eye --tactic limited-answer 1 --n3 http://josd.github.io/eye/reasoning/rs/randomsample-rule.n3 --query http://josd.github.io/eye/reasoning/rs/randomsample-query.n3
EYE v19.0116.1239 josd
SWI-Prolog 8.1.0 (x86_64-linux): Jan 15 2019, 11:16:14
starting 27 [msec cputime] 31 [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 6 [msec cputime] 276 [msec walltime]
GET http://josd.github.io/eye/reasoning/rs/graph-1000.n3 SC=1000
reasoning 215 [msec cputime] 407 [msec walltime]
2019-01-19T23:06:57.087Z in=1002 out=1 ent=1 step=1 brake=2 inf=1632186 sec=0.248 inf/sec=6581395

~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
~/github.com/josd/eye/reasoning/skos ~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
eye --n3 http://josd.github.io/eye/reasoning/skos/skos-mapping-sample-snomed-icd10.n3 --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 v19.0116.1239 josd
SWI-Prolog 8.1.0 (x86_64-linux): Jan 15 2019, 11:16:14
starting 22 [msec cputime] 25 [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 42 [msec cputime] 476 [msec walltime]
reasoning 9 [msec cputime] 8 [msec walltime]
2019-01-19T23:06:57.713Z in=110 out=1 ent=12 step=28 brake=2 inf=202185 sec=0.073 inf/sec=2769658

~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
~/github.com/josd/eye/reasoning/socrates ~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
eye --n3 http://josd.github.io/eye/reasoning/socrates/socrates.n3 --query http://josd.github.io/eye/reasoning/socrates/socratesF.n3
EYE v19.0116.1239 josd
SWI-Prolog 8.1.0 (x86_64-linux): Jan 15 2019, 11:16:14
starting 23 [msec cputime] 28 [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 5 [msec cputime] 289 [msec walltime]
reasoning 8 [msec cputime] 7 [msec walltime]
2019-01-19T23:06:58.153Z in=4 out=2 ent=3 step=6 brake=2 inf=25379 sec=0.036 inf/sec=704972

~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
~/github.com/josd/eye/reasoning/streason ~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
eye --nope --n3 http://josd.github.io/eye/reasoning/streason/streason-rules.n3 --turtle - --streaming-reasoning
EYE v19.0116.1239 josd
SWI-Prolog 8.1.0 (x86_64-linux): Jan 15 2019, 11:16:14
starting 21 [msec cputime] 27 [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.2 ms (52263 triples/s)
SC=10
2019-01-19T23:06:58.328Z in=16 out=101 ent=0 step=0 brake=0 inf=32329 sec=0.033 inf/sec=979667

~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
~/github.com/josd/eye/reasoning/swet ~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
eye --nope --n3 http://josd.github.io/eye/reasoning/swet/swetA.n3 --n3 http://josd.github.io/eye/reasoning/swet/swetD.n3 --query http://josd.github.io/eye/reasoning/swet/swetQ01.n3
EYE v19.0116.1239 josd
SWI-Prolog 8.1.0 (x86_64-linux): Jan 15 2019, 11:16:14
starting 21 [msec cputime] 26 [msec walltime]
GET http://josd.github.io/eye/reasoning/swet/swetA.n3 SC=100
GET http://josd.github.io/eye/reasoning/swet/swetD.n3 SC=400
GET http://josd.github.io/eye/reasoning/swet/swetQ01.n3 SC=1
networking 43 [msec cputime] 473 [msec walltime]
reasoning 17 [msec cputime] 17 [msec walltime]
2019-01-19T23:06:58.851Z in=501 out=81 ent=81 step=81 brake=1 inf=239753 sec=0.081 inf/sec=2959914

eye --nope --n3 http://josd.github.io/eye/reasoning/swet/swetA.n3 --n3 http://josd.github.io/eye/reasoning/swet/swetD.n3 --query http://josd.github.io/eye/reasoning/swet/swetQ11.n3
EYE v19.0116.1239 josd
SWI-Prolog 8.1.0 (x86_64-linux): Jan 15 2019, 11:16:14
starting 27 [msec cputime] 31 [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 40 [msec cputime] 278 [msec walltime]
reasoning 8 [msec cputime] 7 [msec walltime]
2019-01-19T23:06:59.275Z in=501 out=54 ent=54 step=54 brake=1 inf=230180 sec=0.075 inf/sec=3069067

eye --nope --n3 http://josd.github.io/eye/reasoning/swet/swetA.n3 --n3 http://josd.github.io/eye/reasoning/swet/swetD.n3 --query http://josd.github.io/eye/reasoning/swet/swetQ21.n3
EYE v19.0116.1239 josd
SWI-Prolog 8.1.0 (x86_64-linux): Jan 15 2019, 11:16:14
starting 31 [msec cputime] 34 [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 39 [msec cputime] 273 [msec walltime]
reasoning 10 [msec cputime] 10 [msec walltime]
2019-01-19T23:06:59.701Z in=501 out=46 ent=46 step=46 brake=1 inf=223851 sec=0.080 inf/sec=2798138

eye --nope --n3 http://josd.github.io/eye/reasoning/swet/swetA.n3 --n3 http://josd.github.io/eye/reasoning/swet/swetD.n3 --query http://josd.github.io/eye/reasoning/swet/swetQ31.n3
EYE v19.0116.1239 josd
SWI-Prolog 8.1.0 (x86_64-linux): Jan 15 2019, 11:16:14
starting 29 [msec cputime] 33 [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 39 [msec cputime] 275 [msec walltime]
reasoning 6 [msec cputime] 5 [msec walltime]
2019-01-19T23:07:00.121Z in=501 out=19 ent=19 step=19 brake=1 inf=205414 sec=0.074 inf/sec=2775865

eye --n3 http://josd.github.io/eye/reasoning/swet/swetA.n3 --query http://josd.github.io/eye/reasoning/swet/swetQ.n3
EYE v19.0116.1239 josd
SWI-Prolog 8.1.0 (x86_64-linux): Jan 15 2019, 11:16:14
starting 29 [msec cputime] 32 [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 25 [msec cputime] 198 [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 78 [msec cputime] 660 [msec walltime]
2019-01-19T23:07:01.120Z in=303 out=3 ent=3 step=3 brake=1 inf=545665 sec=0.132 inf/sec=4133826

~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
~/github.com/josd/eye/reasoning/tak ~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
eye --tactic limited-answer 1 --n3 http://josd.github.io/eye/reasoning/tak/tak.n3 --query http://josd.github.io/eye/reasoning/tak/takQ.n3
EYE v19.0116.1239 josd
SWI-Prolog 8.1.0 (x86_64-linux): Jan 15 2019, 11:16:14
starting 25 [msec cputime] 29 [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 7 [msec cputime] 290 [msec walltime]
reasoning 195 [msec cputime] 212 [msec walltime]
2019-01-19T23:07:01.765Z in=3 out=1 ent=1 step=1 brake=1 inf=1254109 sec=0.227 inf/sec=5524709

~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
~/github.com/josd/eye/reasoning/tfcontext ~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
eye --turtle http://josd.github.io/eye/reasoning/tfcontext/data-001.n3 --n3 http://josd.github.io/eye/reasoning/tfcontext/rules-001.n3 --query http://josd.github.io/eye/reasoning/tfcontext/query-001.n3
EYE v19.0116.1239 josd
SWI-Prolog 8.1.0 (x86_64-linux): Jan 15 2019, 11:16:14
starting 29 [msec cputime] 34 [msec walltime]
GET http://josd.github.io/eye/reasoning/tfcontext/data-001.n3 translating file:///tmp/swipl_eye_26447_0
Done: translated 7 triples in 0.3 ms (20617 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 11 [msec cputime] 805 [msec walltime]
reasoning 14 [msec cputime] 14 [msec walltime]
2019-01-19T23:07:02.734Z in=9 out=7 ent=21 step=42 brake=4 inf=74311 sec=0.054 inf/sec=1376130

~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
~/github.com/josd/eye/reasoning/turing ~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
eye --n3 http://josd.github.io/eye/reasoning/turing/turing.n3 --query http://josd.github.io/eye/reasoning/turing/turingQ.n3
EYE v19.0116.1239 josd
SWI-Prolog 8.1.0 (x86_64-linux): Jan 15 2019, 11:16:14
starting 26 [msec cputime] 29 [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 12 [msec cputime] 282 [msec walltime]
reasoning 17 [msec cputime] 16 [msec walltime]
2019-01-19T23:07:03.179Z in=18 out=1 ent=1 step=1 brake=1 inf=89811 sec=0.055 inf/sec=1632927

~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
~/github.com/josd/eye/reasoning/usm ~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
eye --tactic limited-answer 1 --n3 http://josd.github.io/eye/reasoning/usm/usmP.n3 --query http://josd.github.io/eye/reasoning/usm/usmQ.n3
EYE v19.0116.1239 josd
SWI-Prolog 8.1.0 (x86_64-linux): Jan 15 2019, 11:16:14
starting 21 [msec cputime] 25 [msec walltime]
GET http://josd.github.io/eye/reasoning/usm/usmP.n3 SC=20
GET http://josd.github.io/eye/reasoning/usm/usmQ.n3 SC=1
networking 11 [msec cputime] 290 [msec walltime]
reasoning 14 [msec cputime] 14 [msec walltime]
2019-01-19T23:07:03.626Z in=21 out=2 ent=24 step=88 brake=5 inf=71110 sec=0.046 inf/sec=1545870

~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
~/github.com/josd/eye/reasoning/utf8 ~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
eye --n3 http://josd.github.io/eye/reasoning/utf8/utf8.n3 --pass
EYE v19.0116.1239 josd
SWI-Prolog 8.1.0 (x86_64-linux): Jan 15 2019, 11:16:14
starting 21 [msec cputime] 26 [msec walltime]
GET http://josd.github.io/eye/reasoning/utf8/utf8.n3 SC=5
networking 3 [msec cputime] 147 [msec walltime]
reasoning 10 [msec cputime] 9 [msec walltime]
2019-01-19T23:07:03.921Z in=5 out=5 ent=5 step=5 brake=1 inf=25571 sec=0.034 inf/sec=752088

~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
~/github.com/josd/eye/reasoning/witch ~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
eye --n3 http://josd.github.io/eye/reasoning/witch/witch.n3 --query http://josd.github.io/eye/reasoning/witch/witch-goal.n3
EYE v19.0116.1239 josd
SWI-Prolog 8.1.0 (x86_64-linux): Jan 15 2019, 11:16:14
starting 21 [msec cputime] 26 [msec walltime]
GET http://josd.github.io/eye/reasoning/witch/witch.n3 SC=7
GET http://josd.github.io/eye/reasoning/witch/witch-goal.n3 SC=1
networking 4 [msec cputime] 285 [msec walltime]
reasoning 10 [msec cputime] 10 [msec walltime]
2019-01-19T23:07:04.250Z in=8 out=1 ent=7 step=25 brake=5 inf=31759 sec=0.035 inf/sec=907400

eye --no-genid --n3 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 v19.0116.1239 josd
SWI-Prolog 8.1.0 (x86_64-linux): Jan 15 2019, 11:16:14
starting 23 [msec cputime] 27 [msec walltime]
GET http://josd.github.io/eye/reasoning/witch/floatingwoman.n3 SC=1
GET http://josd.github.io/eye/reasoning/witch/witch-proof.n3 SC=64
GET http://josd.github.io/eye/reasoning/witch/floatingwoman-goal.n3 SC=1
networking 14 [msec cputime] 420 [msec walltime]
reasoning 21 [msec cputime] 20 [msec walltime]
2019-01-19T23:07:04.724Z in=66 out=1 ent=9 step=43 brake=3 inf=73978 sec=0.058 inf/sec=1275483

~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
eye --n3 reasoning.diff --pass
EYE v19.0116.1239 josd
SWI-Prolog 8.1.0 (x86_64-linux): Jan 15 2019, 11:16:14
starting 29 [msec cputime] 31 [msec walltime]
GET file:///home/jdroo/github.com/josd/eye/reasoning/reasoning.diff SC=0
networking 0 [msec cputime] 0 [msec walltime]
reasoning 0 [msec cputime] 0 [msec walltime]
2019-01-19T23:07:04.870Z in=0 out=0 ent=0 step=0 brake=1 inf=11237 sec=0.029 inf/sec=387483

