~/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.0202.2255 josd
SWI-Prolog 8.1.1 (x86_64-linux): Feb 21 2019, 19:02:53
starting 27 [msec cputime] 31 [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 7 [msec cputime] 107 [msec walltime]
reasoning 18 [msec cputime] 17 [msec walltime]
2019-02-21T20:23:48.329Z in=6 out=1 ent=1 step=1 brake=2 inf=56458 sec=0.052 inf/sec=1085731

~/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.0202.2255 josd
SWI-Prolog 8.1.1 (x86_64-linux): Feb 21 2019, 19:02:53
starting 29 [msec cputime] 32 [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 27 [msec cputime] 136 [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 141 [msec cputime] 304 [msec walltime]
2019-02-21T20:23:48.918Z in=131 out=97 ent=200 step=910 brake=6 inf=1124312 sec=0.197 inf/sec=5707168

~/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.0202.2255 josd
SWI-Prolog 8.1.1 (x86_64-linux): Feb 21 2019, 19:02:53
starting 28 [msec cputime] 31 [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 56 [msec cputime] 325 [msec walltime]
reasoning 44 [msec cputime] 43 [msec walltime]
2019-02-21T20:23:49.435Z in=97 out=50 ent=100 step=48 brake=4 inf=391263 sec=0.128 inf/sec=3056742

~/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.0202.2255 josd
SWI-Prolog 8.1.1 (x86_64-linux): Feb 21 2019, 19:02:53
starting 30 [msec cputime] 33 [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 680 [msec cputime] 1392 [msec walltime]
reasoning 579 [msec cputime] 578 [msec walltime]
2019-02-21T20:23:51.552Z in=9841 out=1518 ent=1518 step=1518 brake=1 inf=7685437 sec=1.289 inf/sec=5962325

~/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.0202.2255 josd
SWI-Prolog 8.1.1 (x86_64-linux): Feb 21 2019, 19:02:53
starting 22 [msec cputime] 27 [msec walltime]
GET http://josd.github.io/eye/reasoning/ccd/train_data.ttl translating file:///tmp/swipl_eye_22010_0
Done: translated 51 triples in 0.4 ms (138743 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 9 [msec cputime] 214 [msec walltime]
reasoning 6 [msec cputime] 5 [msec walltime]
2019-02-21T20:23:51.921Z in=54 out=17 ent=24 step=110 brake=2 inf=40633 sec=0.037 inf/sec=1098189

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.0202.2255 josd
SWI-Prolog 8.1.1 (x86_64-linux): Feb 21 2019, 19:02:53
starting 25 [msec cputime] 31 [msec walltime]
GET http://josd.github.io/eye/reasoning/ccd/test_data.ttl translating file:///tmp/swipl_eye_22027_0
Done: translated 20 triples in 0.4 ms (51461 triples/s)
SC=20
GET http://josd.github.io/eye/reasoning/ccd/train_model.ttl translating file:///tmp/swipl_eye_22027_1
Done: translated 17 triples in 0.5 ms (35657 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 20 [msec cputime] 283 [msec walltime]
reasoning 7 [msec cputime] 7 [msec walltime]
2019-02-21T20:23:52.246Z in=40 out=4 ent=3 step=6 brake=2 inf=67000 sec=0.052 inf/sec=1288462

~/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.0202.2255 josd
SWI-Prolog 8.1.1 (x86_64-linux): Feb 21 2019, 19:02:53
starting 21 [msec cputime] 26 [msec walltime]
GET http://josd.github.io/eye/reasoning/crypto/cryptoP.n3 SC=3
networking 3 [msec cputime] 50 [msec walltime]
reasoning 8 [msec cputime] 7 [msec walltime]
2019-02-21T20:23:52.336Z in=3 out=3 ent=6 step=12 brake=2 inf=29744 sec=0.032 inf/sec=929500

~/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.0202.2255 josd
SWI-Prolog 8.1.1 (x86_64-linux): Feb 21 2019, 19:02:53
starting 23 [msec cputime] 29 [msec walltime]
GET http://josd.github.io/eye/reasoning/cs/data-001.n3 translating file:///tmp/swipl_eye_22060_0
Done: translated 10 triples in 0.4 ms (25977 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] 167 [msec walltime]
reasoning 10 [msec cputime] 10 [msec walltime]
2019-02-21T20:23:52.553Z in=15 out=2 ent=4 step=8 brake=2 inf=54826 sec=0.045 inf/sec=1218356

~/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.0202.2255 josd
SWI-Prolog 8.1.1 (x86_64-linux): Feb 21 2019, 19:02:53
starting 24 [msec cputime] 30 [msec walltime]
GET http://josd.github.io/eye/reasoning/csv/select-data.n3 translating file:///tmp/swipl_eye_22078_0
Done: translated 17 triples in 0.4 ms (45179 triples/s)
SC=17
GET http://josd.github.io/eye/reasoning/csv/select-query.n3 SC=1
networking 6 [msec cputime] 107 [msec walltime]
reasoning 19 [msec cputime] 19 [msec walltime]
2019-02-21T20:23:52.823Z in=18 out=17 ent=17 step=17 brake=2 inf=76425 sec=0.049 inf/sec=1559694

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.0202.2255 josd
SWI-Prolog 8.1.1 (x86_64-linux): Feb 21 2019, 19:02:53
starting 30 [msec cputime] 33 [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 5 [msec cputime] 103 [msec walltime]
reasoning 19 [msec cputime] 19 [msec walltime]
2019-02-21T20:23:53.084Z in=6 out=5 ent=5 step=5 brake=2 inf=55162 sec=0.054 inf/sec=1021519

~/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.0202.2255 josd
SWI-Prolog 8.1.1 (x86_64-linux): Feb 21 2019, 19:02:53
starting 22 [msec cputime] 26 [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 6 [msec cputime] 158 [msec walltime]
reasoning 9 [msec cputime] 8 [msec walltime]
2019-02-21T20:23:53.284Z in=8 out=1 ent=6 step=18 brake=3 inf=29442 sec=0.037 inf/sec=795730

~/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.0202.2255 josd
SWI-Prolog 8.1.1 (x86_64-linux): Feb 21 2019, 19:02:53
starting 22 [msec cputime] 28 [msec walltime]
GET http://josd.github.io/eye/reasoning/djiti/graph-10.n3 translating file:///tmp/swipl_eye_22117_0
Done: translated 10 triples in 0.3 ms (39688 triples/s)
SC=10
GET http://josd.github.io/eye/reasoning/djiti/query.n3 SC=1
networking 5 [msec cputime] 105 [msec walltime]
reasoning 9 [msec cputime] 8 [msec walltime]
2019-02-21T20:23:53.437Z in=11 out=2 ent=2 step=2 brake=1 inf=27399 sec=0.036 inf/sec=761083

eye --turtle http://josd.github.io/eye/reasoning/djiti/graph-100.n3 --query http://josd.github.io/eye/reasoning/djiti/query.n3
EYE v19.0202.2255 josd
SWI-Prolog 8.1.1 (x86_64-linux): Feb 21 2019, 19:02:53
starting 22 [msec cputime] 27 [msec walltime]
GET http://josd.github.io/eye/reasoning/djiti/graph-100.n3 translating file:///tmp/swipl_eye_22128_0
Done: translated 100 triples in 0.8 ms (125677 triples/s)
SC=100
GET http://josd.github.io/eye/reasoning/djiti/query.n3 SC=1
networking 7 [msec cputime] 105 [msec walltime]
reasoning 10 [msec cputime] 9 [msec walltime]
2019-02-21T20:23:53.584Z in=101 out=6 ent=6 step=6 brake=1 inf=45038 sec=0.039 inf/sec=1154821

eye --turtle http://josd.github.io/eye/reasoning/djiti/graph-1000.n3 --query http://josd.github.io/eye/reasoning/djiti/query.n3
EYE v19.0202.2255 josd
SWI-Prolog 8.1.1 (x86_64-linux): Feb 21 2019, 19:02:53
starting 25 [msec cputime] 31 [msec walltime]
GET http://josd.github.io/eye/reasoning/djiti/graph-1000.n3 translating file:///tmp/swipl_eye_22139_0
Done: translated 1000 triples in 17.8 ms (56305 triples/s)
SC=1000
GET http://josd.github.io/eye/reasoning/djiti/query.n3 SC=1
networking 25 [msec cputime] 158 [msec walltime]
reasoning 59 [msec cputime] 59 [msec walltime]
2019-02-21T20:23:53.837Z in=1001 out=92 ent=92 step=92 brake=1 inf=392539 sec=0.109 inf/sec=3601275

eye --turtle http://josd.github.io/eye/reasoning/djiti/graph-10000.n3 --query http://josd.github.io/eye/reasoning/djiti/query.n3
EYE v19.0202.2255 josd
SWI-Prolog 8.1.1 (x86_64-linux): Feb 21 2019, 19:02:53
starting 27 [msec cputime] 32 [msec walltime]
GET http://josd.github.io/eye/reasoning/djiti/graph-10000.n3 translating file:///tmp/swipl_eye_22151_0
Done: translated 10000 triples in 176.0 ms (56809 triples/s)
SC=10000
GET http://josd.github.io/eye/reasoning/djiti/query.n3 SC=1
networking 185 [msec cputime] 442 [msec walltime]
reasoning 608 [msec cputime] 608 [msec walltime]
2019-02-21T20:23:55.025Z in=10001 out=966 ent=966 step=966 brake=1 inf=3883092 sec=0.820 inf/sec=4735478

eye --proof http://josd.github.io/eye/reasoning/djiti/proof-10.n3 --query http://josd.github.io/eye/reasoning/djiti/query.n3
EYE v19.0202.2255 josd
SWI-Prolog 8.1.1 (x86_64-linux): Feb 21 2019, 19:02:53
starting 29 [msec cputime] 33 [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 12 [msec cputime] 107 [msec walltime]
reasoning 13 [msec cputime] 13 [msec walltime]
2019-02-21T20:23:55.286Z in=39 out=2 ent=8 step=18 brake=2 inf=59656 sec=0.054 inf/sec=1104741

eye --proof http://josd.github.io/eye/reasoning/djiti/proof-100.n3 --query http://josd.github.io/eye/reasoning/djiti/query.n3
EYE v19.0202.2255 josd
SWI-Prolog 8.1.1 (x86_64-linux): Feb 21 2019, 19:02:53
starting 33 [msec cputime] 36 [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 21 [msec cputime] 121 [msec walltime]
reasoning 16 [msec cputime] 15 [msec walltime]
2019-02-21T20:23:55.568Z in=94 out=6 ent=23 step=48 brake=2 inf=119906 sec=0.070 inf/sec=1712943

eye --proof http://josd.github.io/eye/reasoning/djiti/proof-1000.n3 --query http://josd.github.io/eye/reasoning/djiti/query.n3
EYE v19.0202.2255 josd
SWI-Prolog 8.1.1 (x86_64-linux): Feb 21 2019, 19:02:53
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 118 [msec cputime] 259 [msec walltime]
reasoning 103 [msec cputime] 103 [msec walltime]
2019-02-21T20:23:56.067Z in=1324 out=92 ent=355 step=712 brake=2 inf=1484070 sec=0.247 inf/sec=6008381

eye --proof http://josd.github.io/eye/reasoning/djiti/proof-10000.n3 --query http://josd.github.io/eye/reasoning/djiti/query.n3
EYE v19.0202.2255 josd
SWI-Prolog 8.1.1 (x86_64-linux): Feb 21 2019, 19:02:53
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 1128 [msec cputime] 1477 [msec walltime]
reasoning 1030 [msec cputime] 1029 [msec walltime]
2019-02-21T20:23:58.715Z in=13589 out=966 ent=3682 step=7366 brake=2 inf=15212805 sec=2.187 inf/sec=6956015

~/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.0202.2255 josd
SWI-Prolog 8.1.1 (x86_64-linux): Feb 21 2019, 19:02:53
starting 24 [msec cputime] 28 [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 10 [msec cputime] 109 [msec walltime]
reasoning 5 [msec cputime] 756 [msec walltime]
2019-02-21T20:23:59.755Z in=10 out=1 ent=2 step=2 brake=1 inf=53580 sec=0.039 inf/sec=1373846

~/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.0202.2255 josd
SWI-Prolog 8.1.1 (x86_64-linux): Feb 21 2019, 19:02:53
starting 28 [msec cputime] 32 [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 8 [msec cputime] 161 [msec walltime]
reasoning 10 [msec cputime] 9 [msec walltime]
2019-02-21T20:24:00.067Z in=16 out=2 ent=32 step=120 brake=4 inf=53356 sec=0.046 inf/sec=1159913

~/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.0202.2255 josd
SWI-Prolog 8.1.1 (x86_64-linux): Feb 21 2019, 19:02:53
starting 25 [msec cputime] 29 [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 8 [msec cputime] 100 [msec walltime]
reasoning 2 [msec cputime] 1 [msec walltime]
2019-02-21T20:24:00.313Z in=29 out=24 ent=0 step=0 brake=1 inf=36839 sec=0.035 inf/sec=1052543

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.0202.2255 josd
SWI-Prolog 8.1.1 (x86_64-linux): Feb 21 2019, 19:02:53
starting 25 [msec cputime] 28 [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] 105 [msec walltime]
reasoning 1 [msec cputime] 1 [msec walltime]
2019-02-21T20:24:00.455Z in=25 out=4 ent=4 step=4 brake=2 inf=26843 sec=0.032 inf/sec=838844

~/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.0202.2255 josd
SWI-Prolog 8.1.1 (x86_64-linux): Feb 21 2019, 19:02:53
starting 24 [msec cputime] 28 [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] 493 [msec walltime]
reasoning 270 [msec cputime] 269 [msec walltime]
2019-02-21T20:24:01.257Z in=3004 out=1 ent=2999 step=5998 brake=2 inf=4150743 sec=0.539 inf/sec=7700822

~/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.0202.2255 josd
SWI-Prolog 8.1.1 (x86_64-linux): Feb 21 2019, 19:02:53
starting 21 [msec cputime] 26 [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 13 [msec cputime] 138 [msec walltime]
reasoning 30 [msec cputime] 30 [msec walltime]
2019-02-21T20:24:01.572Z in=19 out=16 ent=32 step=64 brake=2 inf=223504 sec=0.064 inf/sec=3492250

~/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.0202.2255 josd
SWI-Prolog 8.1.1 (x86_64-linux): Feb 21 2019, 19:02:53
starting 25 [msec cputime] 30 [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 9 [msec cputime] 103 [msec walltime]
reasoning 101 [msec cputime] 101 [msec walltime]
2019-02-21T20:24:01.920Z in=5 out=1 ent=2 step=4 brake=2 inf=687983 sec=0.135 inf/sec=5096170

~/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.0202.2255 josd
SWI-Prolog 8.1.1 (x86_64-linux): Feb 21 2019, 19:02:53
starting 27 [msec cputime] 30 [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 299 [msec cputime] 502 [msec walltime]
reasoning 1053 [msec cputime] 1321 [msec walltime]
2019-02-21T20:24:03.886Z in=1001 out=1000 ent=1000 step=1000 brake=1 inf=12869699 sec=1.379 inf/sec=9332632

~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
~/github.com/josd/eye/reasoning/euler ~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
eye --nope --turtle - --pass
EYE v19.0202.2255 josd
SWI-Prolog 8.1.1 (x86_64-linux): Feb 21 2019, 19:02:53
starting 37 [msec cputime] 43 [msec walltime]
GET - translating file:///dev/stdin
Done: translated 1 triples in 306.6 ms (3 triples/s)
SC=1
networking 2 [msec cputime] 308 [msec walltime]
reasoning 0 [msec cputime] 0 [msec walltime]
2019-02-21T20:24:04.249Z in=1 out=1 ent=0 step=0 brake=1 inf=12457 sec=0.039 inf/sec=319410

~/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.0202.2255 josd
SWI-Prolog 8.1.1 (x86_64-linux): Feb 21 2019, 19:02:53
starting 22 [msec cputime] 27 [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 38 [msec cputime] 283 [msec walltime]
reasoning 68 [msec cputime] 69 [msec walltime]
2019-02-21T20:24:04.634Z in=76 out=8 ent=50 step=307 brake=6 inf=590955 sec=0.128 inf/sec=4616836

~/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.0202.2255 josd
SWI-Prolog 8.1.1 (x86_64-linux): Feb 21 2019, 19:02:53
starting 30 [msec cputime] 34 [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 78 [msec cputime] 366 [msec walltime]
reasoning 140 [msec cputime] 141 [msec walltime]
2019-02-21T20:24:05.288Z in=253 out=18 ent=237 step=1917 brake=5 inf=1216052 sec=0.248 inf/sec=4903435

~/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.0202.2255 josd
SWI-Prolog 8.1.1 (x86_64-linux): Feb 21 2019, 19:02:53
starting 21 [msec cputime] 26 [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] 102 [msec walltime]
reasoning 24 [msec cputime] 25 [msec walltime]
2019-02-21T20:24:05.555Z in=4 out=1 ent=1 step=1 brake=1 inf=138005 sec=0.050 inf/sec=2760100

~/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.0202.2255 josd
SWI-Prolog 8.1.1 (x86_64-linux): Feb 21 2019, 19:02:53
starting 23 [msec cputime] 28 [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 40 [msec cputime] 235 [msec walltime]
reasoning 89 [msec cputime] 88 [msec walltime]
2019-02-21T20:24:05.913Z in=185 out=6 ent=1591 step=18973 brake=12 inf=864747 sec=0.152 inf/sec=5689125

~/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.0202.2255 josd
SWI-Prolog 8.1.1 (x86_64-linux): Feb 21 2019, 19:02:53
starting 27 [msec cputime] 31 [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] 108 [msec walltime]
reasoning 8 [msec cputime] 7 [msec walltime]
2019-02-21T20:24:06.172Z in=9 out=6 ent=7 step=30 brake=2 inf=53340 sec=0.044 inf/sec=1212273

~/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.0202.2255 josd
SWI-Prolog 8.1.1 (x86_64-linux): Feb 21 2019, 19:02:53
starting 30 [msec cputime] 33 [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 13 [msec cputime] 159 [msec walltime]
reasoning 19 [msec cputime] 19 [msec walltime]
2019-02-21T20:24:06.500Z in=11 out=1 ent=1 step=1 brake=2 inf=123735 sec=0.062 inf/sec=1995726

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.0202.2255 josd
SWI-Prolog 8.1.1 (x86_64-linux): Feb 21 2019, 19:02:53
starting 32 [msec cputime] 36 [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 24 [msec cputime] 166 [msec walltime]
reasoning 306 [msec cputime] 313 [msec walltime]
2019-02-21T20:24:07.121Z in=44 out=10 ent=10 step=10 brake=2 inf=2336911 sec=0.362 inf/sec=6455555

~/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.0202.2255 josd
SWI-Prolog 8.1.1 (x86_64-linux): Feb 21 2019, 19:02:53
starting 22 [msec cputime] 26 [msec walltime]
GET http://josd.github.io/eye/reasoning/graph/graph.axiom.n3 SC=12
GET http://josd.github.io/eye/reasoning/graph/rpo-rules.n3 SC=76
GET http://josd.github.io/eye/reasoning/graph/graph.filter.n3 SC=1
networking 21 [msec cputime] 177 [msec walltime]
reasoning 9 [msec cputime] 8 [msec walltime]
2019-02-21T20:24:07.454Z in=89 out=1 ent=24 step=70 brake=2 inf=93367 sec=0.052 inf/sec=1795519

~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
~/github.com/josd/eye/reasoning/grover ~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
eye --nope --turtle - --pass
EYE v19.0202.2255 josd
SWI-Prolog 8.1.1 (x86_64-linux): Feb 21 2019, 19:02:53
starting 42 [msec cputime] 58 [msec walltime]
GET - translating file:///dev/stdin
Done: translated 1 triples in 2164.9 ms (0 triples/s)
SC=1
networking 1 [msec cputime] 2170 [msec walltime]
reasoning 1 [msec cputime] 0 [msec walltime]
2019-02-21T20:24:09.796Z in=1 out=1 ent=0 step=0 brake=1 inf=12491 sec=0.044 inf/sec=283886

~/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.0202.2255 josd
SWI-Prolog 8.1.1 (x86_64-linux): Feb 21 2019, 19:02:53
starting 23 [msec cputime] 30 [msec walltime]
GET http://josd.github.io/eye/reasoning/h2o/hypothesis-001.n3 translating file:///tmp/swipl_eye_22479_0
Done: translated 1 triples in 0.2 ms (4873 triples/s)
SC=1
GET http://josd.github.io/eye/reasoning/h2o/data-001.n3 translating file:///tmp/swipl_eye_22479_1
Done: translated 7 triples in 0.3 ms (23265 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 9 [msec cputime] 214 [msec walltime]
reasoning 8 [msec cputime] 7 [msec walltime]
2019-02-21T20:24:10.054Z in=10 out=1 ent=6 step=12 brake=2 inf=31906 sec=0.040 inf/sec=797650

~/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.0202.2255 josd
SWI-Prolog 8.1.1 (x86_64-linux): Feb 21 2019, 19:02:53
starting 24 [msec cputime] 28 [msec walltime]
GET http://josd.github.io/eye/reasoning/hanoi/hanoi.n3 SC=3
networking 3 [msec cputime] 50 [msec walltime]
reasoning 10 [msec cputime] 10 [msec walltime]
2019-02-21T20:24:10.149Z in=3 out=1 ent=2 step=2 brake=1 inf=40043 sec=0.037 inf/sec=1082243

~/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.0202.2255 josd
SWI-Prolog 8.1.1 (x86_64-linux): Feb 21 2019, 19:02:53
starting 26 [msec cputime] 30 [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 12 [msec cputime] 109 [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.0202.2255 josd
SWI-Prolog 8.1.1 (x86_64-linux): Feb 21 2019, 19:02:53
starting 26 [msec cputime] 31 [msec walltime]
GET http://josd.github.io/eye/reasoning/image/query.n3 SC=1
networking 2 [msec cputime] 48 [msec walltime]
reasoning 141 [msec cputime] 141 [msec walltime]
2019-02-21T20:24:10.806Z in=5 out=101 ent=202 step=404 brake=2 inf=1179319 sec=0.169 inf/sec=6978219

~/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.0202.2255 josd
SWI-Prolog 8.1.1 (x86_64-linux): Feb 21 2019, 19:02:53
starting 21 [msec cputime] 26 [msec walltime]
GET http://josd.github.io/eye/reasoning/iq/iq.n3 SC=7
networking 5 [msec cputime] 52 [msec walltime]
reasoning 13 [msec cputime] 12 [msec walltime]
2019-02-21T20:24:11.016Z in=7 out=10 ent=13 step=26 brake=2 inf=61787 sec=0.039 inf/sec=1584282

~/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.0202.2255 josd
SWI-Prolog 8.1.1 (x86_64-linux): Feb 21 2019, 19:02:53
starting 26 [msec cputime] 30 [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 28 [msec cputime] 189 [msec walltime]
reasoning 27 [msec cputime] 26 [msec walltime]
2019-02-21T20:24:11.376Z in=168 out=1 ent=39 step=124 brake=4 inf=235630 sec=0.081 inf/sec=2909012

~/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.0202.2255 josd
SWI-Prolog 8.1.1 (x86_64-linux): Feb 21 2019, 19:02:53
starting 29 [msec cputime] 32 [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 17 [msec cputime] 164 [msec walltime]
reasoning 12 [msec cputime] 12 [msec walltime]
2019-02-21T20:24:11.701Z in=10 out=1 ent=1 step=1 brake=2 inf=103045 sec=0.058 inf/sec=1776638

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.0202.2255 josd
SWI-Prolog 8.1.1 (x86_64-linux): Feb 21 2019, 19:02:53
starting 26 [msec cputime] 31 [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 44 [msec cputime] 262 [msec walltime]
reasoning 26 [msec cputime] 25 [msec walltime]
2019-02-21T20:24:12.123Z in=149 out=1 ent=10 step=82 brake=4 inf=302363 sec=0.096 inf/sec=3149615

~/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.0202.2255 josd
SWI-Prolog 8.1.1 (x86_64-linux): Feb 21 2019, 19:02:53
starting 24 [msec cputime] 27 [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] 110 [msec walltime]
reasoning 9 [msec cputime] 9 [msec walltime]
2019-02-21T20:24:12.385Z in=18 out=2 ent=4 step=8 brake=4 inf=50360 sec=0.043 inf/sec=1171163

~/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.0202.2255 josd
SWI-Prolog 8.1.1 (x86_64-linux): Feb 21 2019, 19:02:53
starting 27 [msec cputime] 31 [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] 302 [msec walltime]
reasoning 213 [msec cputime] 213 [msec walltime]
2019-02-21T20:24:13.044Z in=345 out=47 ent=105 step=330 brake=4 inf=2014287 sec=0.312 inf/sec=6456048

~/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.0202.2255 josd
SWI-Prolog 8.1.1 (x86_64-linux): Feb 21 2019, 19:02:53
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 981.2 ms (101914 triples/s)
SC=100000
networking 985 [msec cputime] 986 [msec walltime]
GET http://josd.github.io/eye/reasoning/mq/queries/query1.n3 FROM ./queries/query1.n3 SC=1
reasoning 27 [msec cputime] 26 [msec walltime]
2019-02-21T20:24:14.203Z mq=1 out=0 inf=3335 sec=0.026 out/sec=0 inf/sec=128269

GET http://josd.github.io/eye/reasoning/mq/queries/query2.n3 FROM ./queries/query2.n3 SC=1
reasoning 4 [msec cputime] 4 [msec walltime]
2019-02-21T20:24:14.207Z mq=2 out=3 inf=18439 sec=0.004 out/sec=750 inf/sec=4609750

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-02-21T20:24:14.208Z mq=3 out=0 inf=3353 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] 2 [msec walltime]
2019-02-21T20:24:14.210Z mq=4 out=1 inf=9005 sec=0.002 out/sec=500 inf/sec=4502500

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-02-21T20:24:14.214Z mq=5 out=4 inf=14903 sec=0.003 out/sec=1333 inf/sec=4967667

GET http://josd.github.io/eye/reasoning/mq/queries/query6.n3 FROM ./queries/query6.n3 SC=1
reasoning 1 [msec cputime] 0 [msec walltime]
2019-02-21T20:24:14.215Z mq=6 out=0 inf=3352 sec=0.000 out/sec= inf/sec=

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-02-21T20:24:14.218Z mq=7 out=2 inf=13127 sec=0.002 out/sec=1000 inf/sec=6563500

GET http://josd.github.io/eye/reasoning/mq/queries/query8.n3 FROM ./queries/query8.n3 SC=1
reasoning 2 [msec cputime] 2 [msec walltime]
2019-02-21T20:24:14.220Z mq=8 out=1 inf=8976 sec=0.002 out/sec=500 inf/sec=4488000

GET http://josd.github.io/eye/reasoning/mq/queries/query9.n3 FROM ./queries/query9.n3 SC=1
reasoning 3 [msec cputime] 2 [msec walltime]
2019-02-21T20:24:14.222Z mq=9 out=1 inf=9125 sec=0.002 out/sec=500 inf/sec=4562500

GET http://josd.github.io/eye/reasoning/mq/queries/query10.n3 FROM ./queries/query10.n3 SC=1
reasoning 3 [msec cputime] 3 [msec walltime]
2019-02-21T20:24:14.225Z mq=10 out=3 inf=14750 sec=0.003 out/sec=1000 inf/sec=4916667

GET http://josd.github.io/eye/reasoning/mq/queries/query11.n3 FROM ./queries/query11.n3 SC=1
reasoning 1 [msec cputime] 0 [msec walltime]
2019-02-21T20:24:14.226Z mq=11 out=0 inf=3323 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-02-21T20:24:14.227Z mq=12 out=0 inf=3339 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-02-21T20:24:14.228Z mq=13 out=0 inf=3393 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-02-21T20:24:14.229Z mq=14 out=0 inf=3324 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-02-21T20:24:14.231Z mq=15 out=1 inf=8734 sec=0.001 out/sec=1000 inf/sec=8734000

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-02-21T20:24:14.232Z mq=16 out=1 inf=7502 sec=0.001 out/sec=1000 inf/sec=7502000

GET http://josd.github.io/eye/reasoning/mq/queries/query17.n3 FROM ./queries/query17.n3 SC=1
reasoning 2 [msec cputime] 1 [msec walltime]
2019-02-21T20:24:14.234Z mq=17 out=1 inf=8972 sec=0.001 out/sec=1000 inf/sec=8972000

GET http://josd.github.io/eye/reasoning/mq/queries/query18.n3 FROM ./queries/query18.n3 SC=1
reasoning 1 [msec cputime] 0 [msec walltime]
2019-02-21T20:24:14.235Z mq=18 out=0 inf=3291 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 1 [msec cputime] 1 [msec walltime]
2019-02-21T20:24:14.237Z mq=19 out=1 inf=7649 sec=0.001 out/sec=1000 inf/sec=7649000

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-02-21T20:24:14.237Z mq=20 out=0 inf=3269 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-02-21T20:24:14.239Z mq=21 out=1 inf=8988 sec=0.001 out/sec=1000 inf/sec=8988000

GET http://josd.github.io/eye/reasoning/mq/queries/query22.n3 FROM ./queries/query22.n3 SC=1
reasoning 4 [msec cputime] 3 [msec walltime]
2019-02-21T20:24:14.243Z mq=22 out=3 inf=17183 sec=0.003 out/sec=1000 inf/sec=5727667

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-02-21T20:24:14.246Z mq=23 out=3 inf=12458 sec=0.002 out/sec=1500 inf/sec=6229000

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-02-21T20:24:14.247Z mq=24 out=1 inf=7520 sec=0.001 out/sec=1000 inf/sec=7520000

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-02-21T20:24:14.249Z mq=25 out=1 inf=6633 sec=0.001 out/sec=1000 inf/sec=6633000

GET http://josd.github.io/eye/reasoning/mq/queries/query26.n3 FROM ./queries/query26.n3 SC=1
reasoning 5 [msec cputime] 4 [msec walltime]
2019-02-21T20:24:14.253Z mq=26 out=5 inf=20660 sec=0.004 out/sec=1250 inf/sec=5165000

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-02-21T20:24:14.254Z mq=27 out=0 inf=3354 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 1 [msec cputime] 1 [msec walltime]
2019-02-21T20:24:14.256Z mq=28 out=1 inf=7537 sec=0.001 out/sec=1000 inf/sec=7537000

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-02-21T20:24:14.257Z mq=29 out=0 inf=3261 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-02-21T20:24:14.257Z mq=30 out=0 inf=3358 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-02-21T20:24:14.258Z mq=31 out=0 inf=3364 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-02-21T20:24:14.261Z mq=32 out=1 inf=8983 sec=0.002 out/sec=500 inf/sec=4491500

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-02-21T20:24:14.262Z mq=33 out=0 inf=3327 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-02-21T20:24:14.264Z mq=34 out=1 inf=9050 sec=0.002 out/sec=500 inf/sec=4525000

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-02-21T20:24:14.266Z mq=35 out=1 inf=8968 sec=0.001 out/sec=1000 inf/sec=8968000

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-02-21T20:24:14.267Z mq=36 out=0 inf=3358 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 1 [msec cputime] 0 [msec walltime]
2019-02-21T20:24:14.267Z mq=37 out=0 inf=3330 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 2 [msec cputime] 2 [msec walltime]
2019-02-21T20:24:14.270Z mq=38 out=1 inf=9058 sec=0.002 out/sec=500 inf/sec=4529000

GET http://josd.github.io/eye/reasoning/mq/queries/query39.n3 FROM ./queries/query39.n3 SC=1
reasoning 2 [msec cputime] 1 [msec walltime]
2019-02-21T20:24:14.271Z mq=39 out=1 inf=7496 sec=0.001 out/sec=1000 inf/sec=7496000

GET http://josd.github.io/eye/reasoning/mq/queries/query40.n3 FROM ./queries/query40.n3 SC=1
reasoning 2 [msec cputime] 1 [msec walltime]
2019-02-21T20:24:14.273Z mq=40 out=1 inf=8955 sec=0.001 out/sec=1000 inf/sec=8955000

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-02-21T20:24:14.274Z mq=41 out=0 inf=3339 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-02-21T20:24:14.279Z mq=42 out=5 inf=22768 sec=0.004 out/sec=1250 inf/sec=5692000

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-02-21T20:24:14.283Z mq=43 out=3 inf=15211 sec=0.003 out/sec=1000 inf/sec=5070333

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-02-21T20:24:14.285Z mq=44 out=1 inf=9028 sec=0.001 out/sec=1000 inf/sec=9028000

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-02-21T20:24:14.285Z mq=45 out=0 inf=3244 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-02-21T20:24:14.286Z mq=46 out=0 inf=3390 sec=0.001 out/sec=0 inf/sec=3390000

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-02-21T20:24:14.287Z mq=47 out=0 inf=3269 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-02-21T20:24:14.289Z mq=48 out=1 inf=6618 sec=0.001 out/sec=1000 inf/sec=6618000

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-02-21T20:24:14.290Z mq=49 out=0 inf=3329 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-02-21T20:24:14.292Z mq=50 out=3 inf=13280 sec=0.002 out/sec=1500 inf/sec=6640000

GET http://josd.github.io/eye/reasoning/mq/queries/query51.n3 FROM ./queries/query51.n3 SC=1
reasoning 2 [msec cputime] 1 [msec walltime]
2019-02-21T20:24:14.294Z mq=51 out=1 inf=7504 sec=0.001 out/sec=1000 inf/sec=7504000

GET http://josd.github.io/eye/reasoning/mq/queries/query52.n3 FROM ./queries/query52.n3 SC=1
reasoning 2 [msec cputime] 2 [msec walltime]
2019-02-21T20:24:14.296Z mq=52 out=1 inf=8944 sec=0.002 out/sec=500 inf/sec=4472000

GET http://josd.github.io/eye/reasoning/mq/queries/query53.n3 FROM ./queries/query53.n3 SC=1
reasoning 2 [msec cputime] 2 [msec walltime]
2019-02-21T20:24:14.299Z mq=53 out=2 inf=10790 sec=0.002 out/sec=1000 inf/sec=5395000

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-02-21T20:24:14.300Z mq=54 out=0 inf=3307 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 12 [msec cputime] 11 [msec walltime]
2019-02-21T20:24:14.311Z mq=55 out=5 inf=20396 sec=0.011 out/sec=455 inf/sec=1854182

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-02-21T20:24:14.313Z mq=56 out=1 inf=8937 sec=0.001 out/sec=1000 inf/sec=8937000

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-02-21T20:24:14.315Z mq=57 out=1 inf=6126 sec=0.001 out/sec=1000 inf/sec=6126000

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-02-21T20:24:14.316Z mq=58 out=0 inf=3386 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-02-21T20:24:14.318Z mq=59 out=2 inf=10695 sec=0.002 out/sec=1000 inf/sec=5347500

GET http://josd.github.io/eye/reasoning/mq/queries/query60.n3 FROM ./queries/query60.n3 SC=1
reasoning 3 [msec cputime] 2 [msec walltime]
2019-02-21T20:24:14.321Z mq=60 out=3 inf=14838 sec=0.002 out/sec=1500 inf/sec=7419000

GET http://josd.github.io/eye/reasoning/mq/queries/query61.n3 FROM ./queries/query61.n3 SC=1
reasoning 1 [msec cputime] 0 [msec walltime]
2019-02-21T20:24:14.322Z mq=61 out=0 inf=3323 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-02-21T20:24:14.325Z mq=62 out=5 inf=16240 sec=0.003 out/sec=1667 inf/sec=5413333

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-02-21T20:24:14.326Z mq=63 out=0 inf=3323 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-02-21T20:24:14.327Z mq=64 out=0 inf=3401 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-02-21T20:24:14.328Z mq=65 out=1 inf=6126 sec=0.001 out/sec=1000 inf/sec=6126000

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-02-21T20:24:14.330Z mq=66 out=2 inf=9068 sec=0.001 out/sec=2000 inf/sec=9068000

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-02-21T20:24:14.331Z mq=67 out=0 inf=3352 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-02-21T20:24:14.333Z mq=68 out=1 inf=7560 sec=0.001 out/sec=1000 inf/sec=7560000

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-02-21T20:24:14.335Z mq=69 out=2 inf=12826 sec=0.002 out/sec=1000 inf/sec=6413000

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-02-21T20:24:14.336Z mq=70 out=0 inf=3301 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-02-21T20:24:14.340Z mq=71 out=3 inf=14868 sec=0.003 out/sec=1000 inf/sec=4956000

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-02-21T20:24:14.343Z mq=72 out=3 inf=12433 sec=0.002 out/sec=1500 inf/sec=6216500

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-02-21T20:24:14.345Z mq=73 out=2 inf=10735 sec=0.002 out/sec=1000 inf/sec=5367500

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-02-21T20:24:14.347Z mq=74 out=1 inf=8988 sec=0.001 out/sec=1000 inf/sec=8988000

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-02-21T20:24:14.348Z mq=75 out=1 inf=6141 sec=0.001 out/sec=1000 inf/sec=6141000

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-02-21T20:24:14.350Z mq=76 out=1 inf=8999 sec=0.001 out/sec=1000 inf/sec=8999000

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-02-21T20:24:14.352Z mq=77 out=1 inf=7508 sec=0.001 out/sec=1000 inf/sec=7508000

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-02-21T20:24:14.356Z mq=78 out=5 inf=18308 sec=0.004 out/sec=1250 inf/sec=4577000

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-02-21T20:24:14.359Z mq=79 out=3 inf=13277 sec=0.002 out/sec=1500 inf/sec=6638500

GET http://josd.github.io/eye/reasoning/mq/queries/query80.n3 FROM ./queries/query80.n3 SC=1
reasoning 1 [msec cputime] 0 [msec walltime]
2019-02-21T20:24:14.360Z mq=80 out=0 inf=3344 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-02-21T20:24:14.361Z mq=81 out=0 inf=3327 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-02-21T20:24:14.362Z mq=82 out=0 inf=3328 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 2 [msec cputime] 2 [msec walltime]
2019-02-21T20:24:14.364Z mq=83 out=2 inf=10724 sec=0.002 out/sec=1000 inf/sec=5362000

GET http://josd.github.io/eye/reasoning/mq/queries/query84.n3 FROM ./queries/query84.n3 SC=1
reasoning 1 [msec cputime] 0 [msec walltime]
2019-02-21T20:24:14.365Z mq=84 out=0 inf=3339 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-02-21T20:24:14.366Z mq=85 out=0 inf=3394 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-02-21T20:24:14.368Z mq=86 out=1 inf=9039 sec=0.001 out/sec=1000 inf/sec=9039000

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-02-21T20:24:14.369Z mq=87 out=0 inf=3332 sec=0.001 out/sec=0 inf/sec=3332000

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-02-21T20:24:14.371Z mq=88 out=1 inf=8968 sec=0.001 out/sec=1000 inf/sec=8968000

GET http://josd.github.io/eye/reasoning/mq/queries/query89.n3 FROM ./queries/query89.n3 SC=1
reasoning 1 [msec cputime] 1 [msec walltime]
2019-02-21T20:24:14.372Z mq=89 out=1 inf=7563 sec=0.001 out/sec=1000 inf/sec=7563000

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-02-21T20:24:14.374Z mq=90 out=1 inf=7560 sec=0.001 out/sec=1000 inf/sec=7560000

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-02-21T20:24:14.375Z mq=91 out=0 inf=3302 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 1 [msec cputime] 0 [msec walltime]
2019-02-21T20:24:14.376Z mq=92 out=0 inf=3300 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 2 [msec cputime] 2 [msec walltime]
2019-02-21T20:24:14.378Z mq=93 out=1 inf=9060 sec=0.002 out/sec=500 inf/sec=4530000

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-02-21T20:24:14.381Z mq=94 out=2 inf=12853 sec=0.002 out/sec=1000 inf/sec=6426500

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-02-21T20:24:14.382Z mq=95 out=0 inf=3358 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-02-21T20:24:14.384Z mq=96 out=1 inf=7508 sec=0.001 out/sec=1000 inf/sec=7508000

GET http://josd.github.io/eye/reasoning/mq/queries/query97.n3 FROM ./queries/query97.n3 SC=1
reasoning 3 [msec cputime] 2 [msec walltime]
2019-02-21T20:24:14.386Z mq=97 out=2 inf=10366 sec=0.002 out/sec=1000 inf/sec=5183000

GET http://josd.github.io/eye/reasoning/mq/queries/query98.n3 FROM ./queries/query98.n3 SC=1
reasoning 3 [msec cputime] 3 [msec walltime]
2019-02-21T20:24:14.390Z mq=98 out=5 inf=18270 sec=0.003 out/sec=1667 inf/sec=6090000

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-02-21T20:24:14.390Z mq=99 out=0 inf=3244 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-02-21T20:24:14.391Z mq=100 out=0 inf=3310 sec=0.000 out/sec= inf/sec=

2019-02-21T20:24:14.391Z in=100100 out=117 ent=117 step=117 brake=100 inf=5513572 sec=1.225 inf/sec=4500875

~/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.0202.2255 josd
SWI-Prolog 8.1.1 (x86_64-linux): Feb 21 2019, 19:02:53
starting 21 [msec cputime] 26 [msec walltime]
GET http://josd.github.io/eye/reasoning/n3p/simple.n3p SC=8
networking 2 [msec cputime] 82 [msec walltime]
reasoning 9 [msec cputime] 9 [msec walltime]
2019-02-21T20:24:14.627Z in=8 out=8 ent=8 step=8 brake=1 inf=31648 sec=0.032 inf/sec=989000

eye --plugin http://josd.github.io/eye/reasoning/n3p/extra.n3p --pass
EYE v19.0202.2255 josd
SWI-Prolog 8.1.1 (x86_64-linux): Feb 21 2019, 19:02:53
starting 25 [msec cputime] 29 [msec walltime]
GET http://josd.github.io/eye/reasoning/n3p/extra.n3p SC=7
networking 1 [msec cputime] 45 [msec walltime]
reasoning 3 [msec cputime] 3 [msec walltime]
2019-02-21T20:24:14.710Z in=7 out=7 ent=7 step=7 brake=1 inf=25882 sec=0.029 inf/sec=892483

eye --plugin http://josd.github.io/eye/reasoning/n3p/literals.n3p --pass
EYE v19.0202.2255 josd
SWI-Prolog 8.1.1 (x86_64-linux): Feb 21 2019, 19:02:53
starting 28 [msec cputime] 32 [msec walltime]
GET http://josd.github.io/eye/reasoning/n3p/literals.n3p SC=10
networking 1 [msec cputime] 46 [msec walltime]
reasoning 9 [msec cputime] 8 [msec walltime]
2019-02-21T20:24:14.802Z in=10 out=10 ent=10 step=10 brake=1 inf=28925 sec=0.038 inf/sec=761184

eye --plugin http://josd.github.io/eye/reasoning/n3p/sample.n3p --pass-all
EYE v19.0202.2255 josd
SWI-Prolog 8.1.1 (x86_64-linux): Feb 21 2019, 19:02:53
starting 23 [msec cputime] 28 [msec walltime]
GET http://josd.github.io/eye/reasoning/n3p/sample.n3p SC=12
networking 2 [msec cputime] 48 [msec walltime]
reasoning 12 [msec cputime] 12 [msec walltime]
2019-02-21T20:24:14.894Z in=12 out=12 ent=13 step=29 brake=2 inf=53163 sec=0.037 inf/sec=1436838

~/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.0202.2255 josd
SWI-Prolog 8.1.1 (x86_64-linux): Feb 21 2019, 19:02:53
starting 23 [msec cputime] 28 [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 23 [msec cputime] 167 [msec walltime]
reasoning 17 [msec cputime] 17 [msec walltime]
2019-02-21T20:24:15.220Z in=19 out=1 ent=1 step=1 brake=2 inf=141715 sec=0.063 inf/sec=2249444

~/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.0202.2255 josd
SWI-Prolog 8.1.1 (x86_64-linux): Feb 21 2019, 19:02:53
starting 28 [msec cputime] 32 [msec walltime]
GET http://josd.github.io/eye/reasoning/numeral/numeral.n3 translating file:///tmp/swipl_eye_22675_0
Done: translated 5 triples in 0.3 ms (16796 triples/s)
SC=5
networking 3 [msec cputime] 51 [msec walltime]
reasoning 5 [msec cputime] 4 [msec walltime]
2019-02-21T20:24:15.423Z in=5 out=5 ent=5 step=5 brake=1 inf=25519 sec=0.036 inf/sec=708861

~/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.0202.2255 josd
SWI-Prolog 8.1.1 (x86_64-linux): Feb 21 2019, 19:02:53
starting 23 [msec cputime] 28 [msec walltime]
GET http://josd.github.io/eye/reasoning/pi/pi.n3 SC=3
GET http://josd.github.io/eye/reasoning/pi/pi-query.n3 SC=1
networking 7 [msec cputime] 106 [msec walltime]
reasoning 356 [msec cputime] 432 [msec walltime]
2019-02-21T20:24:15.997Z in=4 out=1 ent=1 step=1 brake=1 inf=2812154 sec=0.386 inf/sec=7285373

~/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.0202.2255 josd
SWI-Prolog 8.1.1 (x86_64-linux): Feb 21 2019, 19:02:53
starting 23 [msec cputime] 27 [msec walltime]
GET http://josd.github.io/eye/reasoning/pptbank/bankSW.n3 SC=3
GET http://josd.github.io/eye/reasoning/pptbank/checking.n3 SC=1
GET http://josd.github.io/eye/reasoning/pptbank/query.n3 SC=1
networking 7 [msec cputime] 164 [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 16 [msec cputime] 181 [msec walltime]
2019-02-21T20:24:16.490Z in=17 out=1 ent=2 step=4 brake=4 inf=48308 sec=0.046 inf/sec=1050174

~/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.0202.2255 josd
SWI-Prolog 8.1.1 (x86_64-linux): Feb 21 2019, 19:02:53
starting 29 [msec cputime] 33 [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] 5 [msec walltime]
reasoning 1 [msec cputime] 1 [msec walltime]
2019-02-21T20:24:16.645Z in=24 out=6 ent=6 step=6 brake=1 inf=61240 sec=0.036 inf/sec=1701111

eye --n3 http://josd.github.io/eye/reasoning/preduction/palindrome.n3 --query http://josd.github.io/eye/reasoning/preduction/palindrome-query.n3
EYE v19.0202.2255 josd
SWI-Prolog 8.1.1 (x86_64-linux): Feb 21 2019, 19:02:53
starting 28 [msec cputime] 31 [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 8 [msec cputime] 107 [msec walltime]
reasoning 26 [msec cputime] 27 [msec walltime]
2019-02-21T20:24:16.917Z in=10 out=1 ent=1 step=1 brake=1 inf=170001 sec=0.062 inf/sec=2741952

eye --n3 http://josd.github.io/eye/reasoning/preduction/palindrome2.n3 --query http://josd.github.io/eye/reasoning/preduction/palindrome2-query.n3
EYE v19.0202.2255 josd
SWI-Prolog 8.1.1 (x86_64-linux): Feb 21 2019, 19:02:53
starting 28 [msec cputime] 32 [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 9 [msec cputime] 108 [msec walltime]
reasoning 22 [msec cputime] 22 [msec walltime]
2019-02-21T20:24:17.184Z in=7 out=1 ent=1 step=1 brake=1 inf=127777 sec=0.059 inf/sec=2165712

eye --nope --n3 food.n3 food-declarations.n3 --n3 preduction-plugin.n3 --query food-preduction.n3
EYE v19.0202.2255 josd
SWI-Prolog 8.1.1 (x86_64-linux): Feb 21 2019, 19:02:53
starting 29 [msec cputime] 31 [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 16 [msec cputime] 62 [msec walltime]
2019-02-21T20:24:17.392Z in=50 out=35 ent=35 step=35 brake=1 inf=108598 sec=0.051 inf/sec=2129373

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.0202.2255 josd
SWI-Prolog 8.1.1 (x86_64-linux): Feb 21 2019, 19:02:53
starting 29 [msec cputime] 32 [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 15 [msec cputime] 219 [msec walltime]
reasoning 17 [msec cputime] 16 [msec walltime]
2019-02-21T20:24:17.768Z in=45 out=16 ent=91 step=338 brake=3 inf=91972 sec=0.061 inf/sec=1507738

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.0202.2255 josd
SWI-Prolog 8.1.1 (x86_64-linux): Feb 21 2019, 19:02:53
starting 23 [msec cputime] 28 [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 11 [msec cputime] 156 [msec walltime]
reasoning 16 [msec cputime] 16 [msec walltime]
2019-02-21T20:24:18.073Z in=41 out=16 ent=27 step=115 brake=5 inf=86368 sec=0.050 inf/sec=1727360

~/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.0202.2255 josd
SWI-Prolog 8.1.1 (x86_64-linux): Feb 21 2019, 19:02:53
starting 24 [msec cputime] 29 [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 11 [msec cputime] 157 [msec walltime]
reasoning 20 [msec cputime] 20 [msec walltime]
2019-02-21T20:24:18.393Z in=11 out=1 ent=209 step=218 brake=1 inf=108719 sec=0.055 inf/sec=1976709

~/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.0202.2255 josd
SWI-Prolog 8.1.1 (x86_64-linux): Feb 21 2019, 19:02:53
starting 28 [msec cputime] 32 [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 12 [msec cputime] 113 [msec walltime]
reasoning 14 [msec cputime] 13 [msec walltime]
2019-02-21T20:24:18.665Z in=10 out=4 ent=47 step=7 brake=1 inf=94388 sec=0.054 inf/sec=1747926

~/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.0202.2255 josd
SWI-Prolog 8.1.1 (x86_64-linux): Feb 21 2019, 19:02:53
starting 23 [msec cputime] 26 [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 4 [msec cputime] 106 [msec walltime]
reasoning 7 [msec cputime] 8 [msec walltime]
2019-02-21T20:24:18.920Z in=5 out=2 ent=2 step=2 brake=1 inf=24048 sec=0.034 inf/sec=707294

eye --n3 http://josd.github.io/eye/reasoning/rgb/redgraph002.n3 --query http://josd.github.io/eye/reasoning/rgb/greenquery002.n3
EYE v19.0202.2255 josd
SWI-Prolog 8.1.1 (x86_64-linux): Feb 21 2019, 19:02:53
starting 29 [msec cputime] 31 [msec walltime]
GET http://josd.github.io/eye/reasoning/rgb/redgraph002.n3 SC=3
GET http://josd.github.io/eye/reasoning/rgb/greenquery002.n3 SC=2
networking 4 [msec cputime] 105 [msec walltime]
reasoning 6 [msec cputime] 6 [msec walltime]
2019-02-21T20:24:19.172Z in=5 out=2 ent=2 step=2 brake=1 inf=24210 sec=0.039 inf/sec=620769

eye --n3 http://josd.github.io/eye/reasoning/rgb/redgraph003.n3 --query http://josd.github.io/eye/reasoning/rgb/greenquery003.n3
EYE v19.0202.2255 josd
SWI-Prolog 8.1.1 (x86_64-linux): Feb 21 2019, 19:02:53
starting 25 [msec cputime] 28 [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 2 [msec cputime] 94 [msec walltime]
reasoning 3 [msec cputime] 2 [msec walltime]
2019-02-21T20:24:19.305Z in=5 out=2 ent=2 step=2 brake=1 inf=22837 sec=0.030 inf/sec=761233

~/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.0202.2255 josd
SWI-Prolog 8.1.1 (x86_64-linux): Feb 21 2019, 19:02:53
starting 24 [msec cputime] 29 [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 46 [msec cputime] 201 [msec walltime]
reasoning 190 [msec cputime] 190 [msec walltime]
2019-02-21T20:24:19.841Z in=224 out=222 ent=443 step=1776 brake=4 inf=1859323 sec=0.260 inf/sec=7151242

~/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.0202.2255 josd
SWI-Prolog 8.1.1 (x86_64-linux): Feb 21 2019, 19:02:53
starting 21 [msec cputime] 26 [msec walltime]
GET http://josd.github.io/eye/reasoning/rpo/food-example.n3 SC=5
GET http://josd.github.io/eye/reasoning/rpo/food.n3 SC=35
GET http://josd.github.io/eye/reasoning/rpo/rdfs-subClassOf.n3 SC=4
GET http://josd.github.io/eye/reasoning/rpo/food-query.n3 SC=1
networking 16 [msec cputime] 221 [msec walltime]
reasoning 18 [msec cputime] 17 [msec walltime]
2019-02-21T20:24:20.221Z in=45 out=16 ent=91 step=338 brake=3 inf=92489 sec=0.055 inf/sec=1681618

~/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.0202.2255 josd
SWI-Prolog 8.1.1 (x86_64-linux): Feb 21 2019, 19:02:53
starting 28 [msec cputime] 32 [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 5 [msec cputime] 107 [msec walltime]
GET http://josd.github.io/eye/reasoning/rs/graph-1000.n3 SC=1000
reasoning 216 [msec cputime] 315 [msec walltime]
2019-02-21T20:24:20.788Z in=1002 out=1 ent=1 step=1 brake=2 inf=1632387 sec=0.249 inf/sec=6555771

~/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.0202.2255 josd
SWI-Prolog 8.1.1 (x86_64-linux): Feb 21 2019, 19:02:53
starting 29 [msec cputime] 32 [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 36 [msec cputime] 213 [msec walltime]
reasoning 7 [msec cputime] 6 [msec walltime]
2019-02-21T20:24:21.158Z in=110 out=1 ent=12 step=28 brake=2 inf=202383 sec=0.072 inf/sec=2810875

~/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.0202.2255 josd
SWI-Prolog 8.1.1 (x86_64-linux): Feb 21 2019, 19:02:53
starting 24 [msec cputime] 29 [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 6 [msec cputime] 103 [msec walltime]
reasoning 8 [msec cputime] 7 [msec walltime]
2019-02-21T20:24:21.412Z in=4 out=2 ent=3 step=6 brake=2 inf=25577 sec=0.038 inf/sec=673079

~/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.0202.2255 josd
SWI-Prolog 8.1.1 (x86_64-linux): Feb 21 2019, 19:02:53
starting 25 [msec cputime] 31 [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 (44614 triples/s)
SC=10
2019-02-21T20:24:21.508Z in=16 out=101 ent=0 step=0 brake=0 inf=32531 sec=0.034 inf/sec=956794

~/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.0202.2255 josd
SWI-Prolog 8.1.1 (x86_64-linux): Feb 21 2019, 19:02:53
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] 197 [msec walltime]
reasoning 15 [msec cputime] 15 [msec walltime]
2019-02-21T20:24:21.754Z in=501 out=81 ent=81 step=81 brake=1 inf=239952 sec=0.079 inf/sec=3037367

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.0202.2255 josd
SWI-Prolog 8.1.1 (x86_64-linux): Feb 21 2019, 19:02:53
starting 28 [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 38 [msec cputime] 190 [msec walltime]
reasoning 15 [msec cputime] 15 [msec walltime]
2019-02-21T20:24:22.097Z in=501 out=54 ent=54 step=54 brake=1 inf=230381 sec=0.081 inf/sec=2844210

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.0202.2255 josd
SWI-Prolog 8.1.1 (x86_64-linux): Feb 21 2019, 19:02:53
starting 28 [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/swetQ21.n3 SC=1
networking 38 [msec cputime] 189 [msec walltime]
reasoning 15 [msec cputime] 14 [msec walltime]
2019-02-21T20:24:22.440Z in=501 out=46 ent=46 step=46 brake=1 inf=224048 sec=0.081 inf/sec=2766025

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.0202.2255 josd
SWI-Prolog 8.1.1 (x86_64-linux): Feb 21 2019, 19:02:53
starting 27 [msec cputime] 30 [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 43 [msec cputime] 197 [msec walltime]
reasoning 7 [msec cputime] 6 [msec walltime]
2019-02-21T20:24:22.780Z in=501 out=19 ent=19 step=19 brake=1 inf=205594 sec=0.077 inf/sec=2670052

eye --n3 http://josd.github.io/eye/reasoning/swet/swetA.n3 --query http://josd.github.io/eye/reasoning/swet/swetQ.n3
EYE v19.0202.2255 josd
SWI-Prolog 8.1.1 (x86_64-linux): Feb 21 2019, 19:02:53
starting 22 [msec cputime] 26 [msec walltime]
GET http://josd.github.io/eye/reasoning/swet/swetA.n3 SC=100
GET http://josd.github.io/eye/reasoning/swet/swetQ.n3 SC=3
networking 20 [msec cputime] 113 [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 87 [msec cputime] 295 [msec walltime]
2019-02-21T20:24:23.321Z in=303 out=3 ent=3 step=3 brake=1 inf=545844 sec=0.129 inf/sec=4231349

~/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.0202.2255 josd
SWI-Prolog 8.1.1 (x86_64-linux): Feb 21 2019, 19:02:53
starting 24 [msec cputime] 28 [msec walltime]
GET http://josd.github.io/eye/reasoning/tak/tak.n3 SC=2
GET http://josd.github.io/eye/reasoning/tak/takQ.n3 SC=1
networking 5 [msec cputime] 104 [msec walltime]
reasoning 201 [msec cputime] 220 [msec walltime]
2019-02-21T20:24:23.782Z in=3 out=1 ent=1 step=1 brake=1 inf=1254289 sec=0.230 inf/sec=5453430

~/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.0202.2255 josd
SWI-Prolog 8.1.1 (x86_64-linux): Feb 21 2019, 19:02:53
starting 31 [msec cputime] 35 [msec walltime]
GET http://josd.github.io/eye/reasoning/tfcontext/data-001.n3 translating file:///tmp/swipl_eye_23027_0
Done: translated 7 triples in 0.3 ms (21817 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 9 [msec cputime] 163 [msec walltime]
reasoning 14 [msec cputime] 14 [msec walltime]
2019-02-21T20:24:24.110Z in=9 out=7 ent=21 step=42 brake=4 inf=74490 sec=0.054 inf/sec=1379444

~/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.0202.2255 josd
SWI-Prolog 8.1.1 (x86_64-linux): Feb 21 2019, 19:02:53
starting 24 [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 11 [msec cputime] 109 [msec walltime]
reasoning 17 [msec cputime] 16 [msec walltime]
2019-02-21T20:24:24.380Z in=18 out=1 ent=1 step=1 brake=1 inf=89991 sec=0.052 inf/sec=1730596

~/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.0202.2255 josd
SWI-Prolog 8.1.1 (x86_64-linux): Feb 21 2019, 19:02:53
starting 28 [msec cputime] 31 [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] 109 [msec walltime]
reasoning 12 [msec cputime] 12 [msec walltime]
2019-02-21T20:24:24.647Z in=21 out=2 ent=24 step=88 brake=5 inf=71289 sec=0.051 inf/sec=1397824

~/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.0202.2255 josd
SWI-Prolog 8.1.1 (x86_64-linux): Feb 21 2019, 19:02:53
starting 28 [msec cputime] 32 [msec walltime]
GET http://josd.github.io/eye/reasoning/utf8/utf8.n3 SC=5
networking 3 [msec cputime] 48 [msec walltime]
reasoning 8 [msec cputime] 7 [msec walltime]
2019-02-21T20:24:24.847Z in=5 out=5 ent=5 step=5 brake=1 inf=25748 sec=0.039 inf/sec=660205

~/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.0202.2255 josd
SWI-Prolog 8.1.1 (x86_64-linux): Feb 21 2019, 19:02:53
starting 23 [msec cputime] 28 [msec walltime]
GET http://josd.github.io/eye/reasoning/witch/witch.n3 SC=7
GET http://josd.github.io/eye/reasoning/witch/witch-goal.n3 SC=1
networking 5 [msec cputime] 101 [msec walltime]
reasoning 10 [msec cputime] 9 [msec walltime]
2019-02-21T20:24:24.993Z in=8 out=1 ent=7 step=25 brake=5 inf=31936 sec=0.038 inf/sec=840421

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.0202.2255 josd
SWI-Prolog 8.1.1 (x86_64-linux): Feb 21 2019, 19:02:53
starting 22 [msec cputime] 26 [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 18 [msec cputime] 166 [msec walltime]
reasoning 16 [msec cputime] 16 [msec walltime]
2019-02-21T20:24:25.209Z in=66 out=1 ent=9 step=43 brake=3 inf=74169 sec=0.056 inf/sec=1324446

~/github.com/josd/eye/reasoning ~/github.com/josd/eye/reasoning
eye --n3 reasoning.diff --pass
EYE v19.0202.2255 josd
SWI-Prolog 8.1.1 (x86_64-linux): Feb 21 2019, 19:02:53
starting 29 [msec cputime] 33 [msec walltime]
GET file:///home/jdroo/github.com/josd/eye/reasoning/reasoning.diff SC=0
networking 1 [msec cputime] 0 [msec walltime]
reasoning 0 [msec cputime] 0 [msec walltime]
2019-02-21T20:24:25.352Z in=0 out=0 ent=0 step=0 brake=1 inf=11418 sec=0.030 inf/sec=380600

