eye --n3 http://josd.github.io/eye/reasoning/3outof5/sample.n3 --query http://josd.github.io/eye/reasoning/3outof5/query.n3
EYE v19.0904.2157 josd
SWI-Prolog 8.1.14 (x86_64-linux): Sep 28 2019, 15:55:14
starting 72 [msec cputime] 89 [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 16 [msec cputime] 1127 [msec walltime]
reasoning 41 [msec cputime] 41 [msec walltime]
2019-09-28T22:44:08.973Z in=6 out=1 ent=1 step=1 brake=2 inf=58190 sec=0.129 inf/sec=451085

eye --nope --tactic limited-answer 2 --turtle http://josd.github.io/eye/reasoning/4color/4color_data.ttl --n3 http://josd.github.io/eye/reasoning/4color/4color_rules.n3 --query http://josd.github.io/eye/reasoning/4color/4color_query.n3
EYE v19.0904.2157 josd
SWI-Prolog 8.1.14 (x86_64-linux): Sep 28 2019, 15:55:14
starting 74 [msec cputime] 93 [msec walltime]
GET http://josd.github.io/eye/reasoning/4color/4color_data.ttl translating file:///tmp/swipl_eye_7809_0
Done: translated 28 triples in 0.5 ms (51607 triples/s)
SC=28
GET http://josd.github.io/eye/reasoning/4color/4color_rules.n3 SC=2
GET http://josd.github.io/eye/reasoning/4color/4color_query.n3 SC=1
networking 18 [msec cputime] 1600 [msec walltime]
reasoning 25 [msec cputime] 25 [msec walltime]
2019-09-28T22:44:10.814Z in=31 out=2 ent=2 step=2 brake=2 inf=66245 sec=0.117 inf/sec=566197

eye --tactic limited-answer 2 --turtle http://josd.github.io/eye/reasoning/4color/4color_data.ttl --n3 http://josd.github.io/eye/reasoning/4color/4color_rules.n3 --query http://josd.github.io/eye/reasoning/4color/4color_query.n3
EYE v19.0904.2157 josd
SWI-Prolog 8.1.14 (x86_64-linux): Sep 28 2019, 15:55:14
starting 72 [msec cputime] 88 [msec walltime]
GET http://josd.github.io/eye/reasoning/4color/4color_data.ttl translating file:///tmp/swipl_eye_7827_0
Done: translated 28 triples in 0.7 ms (39175 triples/s)
SC=28
GET http://josd.github.io/eye/reasoning/4color/4color_rules.n3 SC=2
GET http://josd.github.io/eye/reasoning/4color/4color_query.n3 SC=1
networking 20 [msec cputime] 780 [msec walltime]
reasoning 120 [msec cputime] 120 [msec walltime]
2019-09-28T22:44:11.916Z in=31 out=2 ent=2 step=2 brake=2 inf=349959 sec=0.212 inf/sec=1650750

eye --n3 http://josd.github.io/eye/reasoning/bi/biP.n3 --query http://josd.github.io/eye/reasoning/bi/biQ.n3
EYE v19.0904.2157 josd
SWI-Prolog 8.1.14 (x86_64-linux): Sep 28 2019, 15:55:14
starting 72 [msec cputime] 86 [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 70 [msec cputime] 967 [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 436 [msec cputime] 1743 [msec walltime]
2019-09-28T22:44:14.838Z in=131 out=97 ent=200 step=910 brake=6 inf=1130239 sec=0.578 inf/sec=1955431

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.0904.2157 josd
SWI-Prolog 8.1.14 (x86_64-linux): Sep 28 2019, 15:55:14
starting 71 [msec cputime] 87 [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 96 [msec cputime] 2282 [msec walltime]
reasoning 116 [msec cputime] 115 [msec walltime]
2019-09-28T22:44:17.450Z in=97 out=50 ent=100 step=48 brake=4 inf=396632 sec=0.283 inf/sec=1401527

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.0904.2157 josd
SWI-Prolog 8.1.14 (x86_64-linux): Sep 28 2019, 15:55:14
starting 72 [msec cputime] 89 [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 2025 [msec cputime] 7298 [msec walltime]
reasoning 1896 [msec cputime] 1898 [msec walltime]
2019-09-28T22:44:26.861Z in=9841 out=1518 ent=1518 step=1518 brake=1 inf=7693404 sec=3.993 inf/sec=1926723

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.0904.2157 josd
SWI-Prolog 8.1.14 (x86_64-linux): Sep 28 2019, 15:55:14
starting 74 [msec cputime] 93 [msec walltime]
GET http://josd.github.io/eye/reasoning/ccd/train_data.ttl translating file:///tmp/swipl_eye_7961_0
Done: translated 51 triples in 0.6 ms (85401 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 25 [msec cputime] 1798 [msec walltime]
reasoning 11 [msec cputime] 11 [msec walltime]
2019-09-28T22:44:28.913Z in=54 out=17 ent=24 step=110 brake=2 inf=42051 sec=0.110 inf/sec=382282

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.0904.2157 josd
SWI-Prolog 8.1.14 (x86_64-linux): Sep 28 2019, 15:55:14
starting 71 [msec cputime] 91 [msec walltime]
GET http://josd.github.io/eye/reasoning/ccd/test_data.ttl translating file:///tmp/swipl_eye_7983_0
Done: translated 20 triples in 0.4 ms (45936 triples/s)
SC=20
GET http://josd.github.io/eye/reasoning/ccd/train_model.ttl translating file:///tmp/swipl_eye_7983_1
Done: translated 17 triples in 0.6 ms (26998 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 42 [msec cputime] 2468 [msec walltime]
reasoning 11 [msec cputime] 10 [msec walltime]
2019-09-28T22:44:31.596Z in=40 out=4 ent=3 step=6 brake=2 inf=70030 sec=0.124 inf/sec=564758

eye --hmac-key k123 --n3 http://josd.github.io/eye/reasoning/crypto/cryptoP.n3 --pass
EYE v19.0904.2157 josd
SWI-Prolog 8.1.14 (x86_64-linux): Sep 28 2019, 15:55:14
starting 70 [msec cputime] 87 [msec walltime]
GET http://josd.github.io/eye/reasoning/crypto/cryptoP.n3 SC=3
networking 7 [msec cputime] 451 [msec walltime]
reasoning 11 [msec cputime] 11 [msec walltime]
2019-09-28T22:44:32.269Z in=3 out=3 ent=6 step=12 brake=2 inf=30790 sec=0.088 inf/sec=349886

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.0904.2157 josd
SWI-Prolog 8.1.14 (x86_64-linux): Sep 28 2019, 15:55:14
starting 73 [msec cputime] 91 [msec walltime]
GET http://josd.github.io/eye/reasoning/cs/data-001.n3 translating file:///tmp/swipl_eye_8026_0
Done: translated 10 triples in 0.4 ms (24781 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 21 [msec cputime] 1344 [msec walltime]
reasoning 14 [msec cputime] 14 [msec walltime]
2019-09-28T22:44:33.839Z in=15 out=2 ent=4 step=8 brake=2 inf=56413 sec=0.108 inf/sec=522343

eye --nope --turtle http://josd.github.io/eye/reasoning/csv/select-data.n3 --query http://josd.github.io/eye/reasoning/csv/select-query.n3 --strings
EYE v19.0904.2157 josd
SWI-Prolog 8.1.14 (x86_64-linux): Sep 28 2019, 15:55:14
starting 71 [msec cputime] 89 [msec walltime]
GET http://josd.github.io/eye/reasoning/csv/select-data.n3 translating file:///tmp/swipl_eye_8048_0
Done: translated 17 triples in 0.5 ms (31416 triples/s)
SC=17
GET http://josd.github.io/eye/reasoning/csv/select-query.n3 SC=1
networking 12 [msec cputime] 1176 [msec walltime]
reasoning 37 [msec cputime] 37 [msec walltime]
2019-09-28T22:44:35.261Z in=18 out=85 ent=0 step=0 brake=1 inf=36589 sec=0.120 inf/sec=304908

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.0904.2157 josd
SWI-Prolog 8.1.14 (x86_64-linux): Sep 28 2019, 15:55:14
starting 71 [msec cputime] 90 [msec walltime]
GET http://josd.github.io/eye/reasoning/csv/select-data.n3 translating file:///tmp/swipl_eye_8062_0
Done: translated 17 triples in 0.6 ms (28994 triples/s)
SC=17
GET http://josd.github.io/eye/reasoning/csv/select-query.n3 SC=1
networking 13 [msec cputime] 518 [msec walltime]
reasoning 57 [msec cputime] 56 [msec walltime]
2019-09-28T22:44:36.038Z in=18 out=17 ent=17 step=17 brake=2 inf=78204 sec=0.141 inf/sec=554638

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.0904.2157 josd
SWI-Prolog 8.1.14 (x86_64-linux): Sep 28 2019, 15:55:14
starting 67 [msec cputime] 84 [msec walltime]
GET http://josd.github.io/eye/reasoning/csv/select-data-extra.n3 SC=5
GET http://josd.github.io/eye/reasoning/csv/select-query.n3 SC=1
networking 13 [msec cputime] 707 [msec walltime]
reasoning 45 [msec cputime] 45 [msec walltime]
2019-09-28T22:44:36.985Z in=6 out=5 ent=5 step=5 brake=2 inf=56800 sec=0.125 inf/sec=454400

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.0904.2157 josd
SWI-Prolog 8.1.14 (x86_64-linux): Sep 28 2019, 15:55:14
starting 72 [msec cputime] 87 [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 13 [msec cputime] 1488 [msec walltime]
reasoning 13 [msec cputime] 12 [msec walltime]
2019-09-28T22:44:38.710Z in=8 out=1 ent=6 step=18 brake=3 inf=30494 sec=0.098 inf/sec=311163

eye --turtle http://josd.github.io/eye/reasoning/djiti/graph-10.n3 --query http://josd.github.io/eye/reasoning/djiti/query.n3
EYE v19.0904.2157 josd
SWI-Prolog 8.1.14 (x86_64-linux): Sep 28 2019, 15:55:14
starting 73 [msec cputime] 92 [msec walltime]
GET http://josd.github.io/eye/reasoning/djiti/graph-10.n3 translating file:///tmp/swipl_eye_8112_0
Done: translated 10 triples in 0.5 ms (20445 triples/s)
SC=10
GET http://josd.github.io/eye/reasoning/djiti/query.n3 SC=1
networking 11 [msec cputime] 909 [msec walltime]
reasoning 11 [msec cputime] 11 [msec walltime]
2019-09-28T22:44:39.844Z in=11 out=2 ent=2 step=2 brake=1 inf=28570 sec=0.095 inf/sec=300737

eye --turtle http://josd.github.io/eye/reasoning/djiti/graph-100.n3 --query http://josd.github.io/eye/reasoning/djiti/query.n3
EYE v19.0904.2157 josd
SWI-Prolog 8.1.14 (x86_64-linux): Sep 28 2019, 15:55:14
starting 70 [msec cputime] 90 [msec walltime]
GET http://josd.github.io/eye/reasoning/djiti/graph-100.n3 translating file:///tmp/swipl_eye_8126_0
Done: translated 100 triples in 0.9 ms (116303 triples/s)
SC=100
GET http://josd.github.io/eye/reasoning/djiti/query.n3 SC=1
networking 18 [msec cputime] 696 [msec walltime]
reasoning 20 [msec cputime] 21 [msec walltime]
2019-09-28T22:44:40.765Z in=101 out=6 ent=6 step=6 brake=1 inf=46275 sec=0.108 inf/sec=428472

eye --turtle http://josd.github.io/eye/reasoning/djiti/graph-1000.n3 --query http://josd.github.io/eye/reasoning/djiti/query.n3
EYE v19.0904.2157 josd
SWI-Prolog 8.1.14 (x86_64-linux): Sep 28 2019, 15:55:14
starting 73 [msec cputime] 90 [msec walltime]
GET http://josd.github.io/eye/reasoning/djiti/graph-1000.n3 translating file:///tmp/swipl_eye_8140_0
Done: translated 1000 triples in 40.4 ms (24760 triples/s)
SC=1000
GET http://josd.github.io/eye/reasoning/djiti/query.n3 SC=1
networking 59 [msec cputime] 765 [msec walltime]
reasoning 163 [msec cputime] 163 [msec walltime]
2019-09-28T22:44:41.897Z in=1001 out=92 ent=92 step=92 brake=1 inf=394113 sec=0.295 inf/sec=1335976

eye --turtle http://josd.github.io/eye/reasoning/djiti/graph-10000.n3 --query http://josd.github.io/eye/reasoning/djiti/query.n3
EYE v19.0904.2157 josd
SWI-Prolog 8.1.14 (x86_64-linux): Sep 28 2019, 15:55:14
starting 71 [msec cputime] 87 [msec walltime]
GET http://josd.github.io/eye/reasoning/djiti/graph-10000.n3 translating file:///tmp/swipl_eye_8154_0
Done: translated 10000 triples in 441.8 ms (22636 triples/s)
SC=10000
GET http://josd.github.io/eye/reasoning/djiti/query.n3 SC=1
networking 460 [msec cputime] 1461 [msec walltime]
reasoning 1630 [msec cputime] 1636 [msec walltime]
2019-09-28T22:44:45.195Z in=10001 out=966 ent=966 step=966 brake=1 inf=3888113 sec=2.161 inf/sec=1799219

eye --proof http://josd.github.io/eye/reasoning/djiti/proof-10.n3 --query http://josd.github.io/eye/reasoning/djiti/query.n3
EYE v19.0904.2157 josd
SWI-Prolog 8.1.14 (x86_64-linux): Sep 28 2019, 15:55:14
starting 66 [msec cputime] 83 [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 23 [msec cputime] 730 [msec walltime]
reasoning 19 [msec cputime] 20 [msec walltime]
2019-09-28T22:44:46.144Z in=39 out=2 ent=8 step=18 brake=2 inf=60742 sec=0.108 inf/sec=562426

eye --proof http://josd.github.io/eye/reasoning/djiti/proof-100.n3 --query http://josd.github.io/eye/reasoning/djiti/query.n3
EYE v19.0904.2157 josd
SWI-Prolog 8.1.14 (x86_64-linux): Sep 28 2019, 15:55:14
starting 68 [msec cputime] 84 [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 33 [msec cputime] 703 [msec walltime]
reasoning 31 [msec cputime] 30 [msec walltime]
2019-09-28T22:44:47.073Z in=94 out=6 ent=23 step=48 brake=2 inf=121023 sec=0.132 inf/sec=916841

eye --proof http://josd.github.io/eye/reasoning/djiti/proof-1000.n3 --query http://josd.github.io/eye/reasoning/djiti/query.n3
EYE v19.0904.2157 josd
SWI-Prolog 8.1.14 (x86_64-linux): Sep 28 2019, 15:55:14
starting 68 [msec cputime] 83 [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 361 [msec cputime] 1113 [msec walltime]
reasoning 310 [msec cputime] 310 [msec walltime]
2019-09-28T22:44:48.691Z in=1324 out=92 ent=355 step=712 brake=2 inf=1485854 sec=0.739 inf/sec=2010628

eye --proof http://josd.github.io/eye/reasoning/djiti/proof-10000.n3 --query http://josd.github.io/eye/reasoning/djiti/query.n3
EYE v19.0904.2157 josd
SWI-Prolog 8.1.14 (x86_64-linux): Sep 28 2019, 15:55:14
starting 69 [msec cputime] 84 [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 3666 [msec cputime] 4802 [msec walltime]
reasoning 3251 [msec cputime] 3258 [msec walltime]
2019-09-28T22:44:56.951Z in=13589 out=966 ent=3682 step=7366 brake=2 inf=15221302 sec=6.986 inf/sec=2178829

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.0904.2157 josd
SWI-Prolog 8.1.14 (x86_64-linux): Sep 28 2019, 15:55:14
starting 71 [msec cputime] 87 [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 22 [msec cputime] 929 [msec walltime]
reasoning 14 [msec cputime] 766 [msec walltime]
2019-09-28T22:44:58.937Z in=10 out=1 ent=2 step=2 brake=1 inf=54841 sec=0.107 inf/sec=512533

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.0904.2157 josd
SWI-Prolog 8.1.14 (x86_64-linux): Sep 28 2019, 15:55:14
starting 71 [msec cputime] 88 [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 18 [msec cputime] 2021 [msec walltime]
reasoning 15 [msec cputime] 15 [msec walltime]
2019-09-28T22:45:01.183Z in=16 out=2 ent=32 step=120 brake=4 inf=54399 sec=0.104 inf/sec=523067

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.0904.2157 josd
SWI-Prolog 8.1.14 (x86_64-linux): Sep 28 2019, 15:55:14
starting 72 [msec cputime] 87 [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 22 [msec cputime] 1331 [msec walltime]
reasoning 3 [msec cputime] 3 [msec walltime]
2019-09-28T22:45:02.725Z in=29 out=24 ent=0 step=0 brake=1 inf=38091 sec=0.097 inf/sec=392691

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.0904.2157 josd
SWI-Prolog 8.1.14 (x86_64-linux): Sep 28 2019, 15:55:14
starting 71 [msec cputime] 84 [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 14 [msec cputime] 1621 [msec walltime]
reasoning 5 [msec cputime] 4 [msec walltime]
2019-09-28T22:45:04.549Z in=25 out=4 ent=4 step=4 brake=2 inf=27956 sec=0.090 inf/sec=310622

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.0904.2157 josd
SWI-Prolog 8.1.14 (x86_64-linux): Sep 28 2019, 15:55:14
starting 72 [msec cputime] 87 [msec walltime]
GET http://josd.github.io/eye/reasoning/dt/test-facts.n3 SC=2
GET http://josd.github.io/eye/reasoning/dt/test-dt-1000.n3 SC=3001
GET http://josd.github.io/eye/reasoning/dt/test-query.n3 SC=1
networking 840 [msec cputime] 2373 [msec walltime]
reasoning 824 [msec cputime] 825 [msec walltime]
2019-09-28T22:45:07.957Z in=3004 out=1 ent=2999 step=5998 brake=2 inf=4149797 sec=1.736 inf/sec=2390436

eye --n3 http://josd.github.io/eye/reasoning/easter/easterP.n3 --query http://josd.github.io/eye/reasoning/easter/easterF.n3
EYE v19.0904.2157 josd
SWI-Prolog 8.1.14 (x86_64-linux): Sep 28 2019, 15:55:14
starting 72 [msec cputime] 86 [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 18 [msec cputime] 997 [msec walltime]
reasoning 82 [msec cputime] 82 [msec walltime]
2019-09-28T22:45:09.261Z in=19 out=16 ent=32 step=64 brake=2 inf=224637 sec=0.172 inf/sec=1306029

eye --n3 http://josd.github.io/eye/reasoning/einstein/einstein.n3 --query http://josd.github.io/eye/reasoning/einstein/einsteinQ.n3
EYE v19.0904.2157 josd
SWI-Prolog 8.1.14 (x86_64-linux): Sep 28 2019, 15:55:14
starting 72 [msec cputime] 87 [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 18 [msec cputime] 879 [msec walltime]
reasoning 313 [msec cputime] 314 [msec walltime]
2019-09-28T22:45:10.663Z in=5 out=1 ent=2 step=4 brake=2 inf=689245 sec=0.403 inf/sec=1710285

eye --nope --n3 http://josd.github.io/eye/reasoning/equation4/polynomial.n3 --query http://josd.github.io/eye/reasoning/equation4/query.n3
EYE v19.0904.2157 josd
SWI-Prolog 8.1.14 (x86_64-linux): Sep 28 2019, 15:55:14
starting 72 [msec cputime] 87 [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 907 [msec cputime] 2040 [msec walltime]
reasoning 4079 [msec cputime] 4401 [msec walltime]
2019-09-28T22:45:17.314Z in=1001 out=1000 ent=1000 step=1000 brake=1 inf=12868747 sec=5.058 inf/sec=2544236

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.0904.2157 josd
SWI-Prolog 8.1.14 (x86_64-linux): Sep 28 2019, 15:55:14
starting 71 [msec cputime] 88 [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 70 [msec cputime] 2363 [msec walltime]
reasoning 199 [msec cputime] 198 [msec walltime]
2019-09-28T22:45:20.102Z in=76 out=8 ent=50 step=307 brake=6 inf=598626 sec=0.340 inf/sec=1760665

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.0904.2157 josd
SWI-Prolog 8.1.14 (x86_64-linux): Sep 28 2019, 15:55:14
starting 69 [msec cputime] 86 [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 185 [msec cputime] 2213 [msec walltime]
reasoning 437 [msec cputime] 437 [msec walltime]
2019-09-28T22:45:22.963Z in=253 out=18 ent=237 step=1917 brake=5 inf=1220948 sec=0.691 inf/sec=1766929

eye --n3 http://josd.github.io/eye/reasoning/fib/fib.n3 --query http://josd.github.io/eye/reasoning/fib/fibQ.n3
EYE v19.0904.2157 josd
SWI-Prolog 8.1.14 (x86_64-linux): Sep 28 2019, 15:55:14
starting 69 [msec cputime] 84 [msec walltime]
GET http://josd.github.io/eye/reasoning/fib/fib.n3 SC=4
GET http://josd.github.io/eye/reasoning/fib/fibQ.n3 SC=3
networking 13 [msec cputime] 983 [msec walltime]
reasoning 223 [msec cputime] 224 [msec walltime]
2019-09-28T22:45:24.379Z in=7 out=3 ent=3 step=3 brake=1 inf=494353 sec=0.305 inf/sec=1620830

eye --nope --n3 http://josd.github.io/eye/reasoning/fib/fib.n3 --query http://josd.github.io/eye/reasoning/fib/fibQ.n3
EYE v19.0904.2157 josd
SWI-Prolog 8.1.14 (x86_64-linux): Sep 28 2019, 15:55:14
starting 71 [msec cputime] 87 [msec walltime]
GET http://josd.github.io/eye/reasoning/fib/fib.n3 SC=4
GET http://josd.github.io/eye/reasoning/fib/fibQ.n3 SC=3
networking 12 [msec cputime] 498 [msec walltime]
reasoning 9 [msec cputime] 10 [msec walltime]
2019-09-28T22:45:25.089Z in=7 out=3 ent=3 step=3 brake=1 inf=31116 sec=0.092 inf/sec=338217

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.0904.2157 josd
SWI-Prolog 8.1.14 (x86_64-linux): Sep 28 2019, 15:55:14
starting 70 [msec cputime] 88 [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 74 [msec cputime] 1897 [msec walltime]
reasoning 276 [msec cputime] 275 [msec walltime]
2019-09-28T22:45:27.477Z in=185 out=6 ent=1591 step=18973 brake=12 inf=866415 sec=0.420 inf/sec=2062893

eye --n3 http://josd.github.io/eye/reasoning/glass/test.n3 --query http://josd.github.io/eye/reasoning/glass/testQ.n3
EYE v19.0904.2157 josd
SWI-Prolog 8.1.14 (x86_64-linux): Sep 28 2019, 15:55:14
starting 69 [msec cputime] 84 [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 16 [msec cputime] 888 [msec walltime]
reasoning 17 [msec cputime] 16 [msec walltime]
2019-09-28T22:45:28.590Z in=9 out=6 ent=7 step=30 brake=2 inf=54351 sec=0.102 inf/sec=532853

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.0904.2157 josd
SWI-Prolog 8.1.14 (x86_64-linux): Sep 28 2019, 15:55:14
starting 75 [msec cputime] 91 [msec walltime]
GET http://josd.github.io/eye/reasoning/gps/gps-plugin.n3 SC=7
GET http://josd.github.io/eye/reasoning/gps/gps-example1.n3 SC=3
GET http://josd.github.io/eye/reasoning/gps/gps-query1.n3 SC=1
networking 32 [msec cputime] 1374 [msec walltime]
reasoning 37 [msec cputime] 36 [msec walltime]
2019-09-28T22:45:30.213Z in=11 out=1 ent=1 step=1 brake=2 inf=125012 sec=0.144 inf/sec=868139

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.0904.2157 josd
SWI-Prolog 8.1.14 (x86_64-linux): Sep 28 2019, 15:55:14
starting 70 [msec cputime] 84 [msec walltime]
GET http://josd.github.io/eye/reasoning/gps/gps-plugin.n3 SC=7
GET http://josd.github.io/eye/reasoning/gps/gps-example2.n3 SC=36
GET http://josd.github.io/eye/reasoning/gps/gps-query2.n3 SC=1
networking 56 [msec cputime] 1913 [msec walltime]
reasoning 942 [msec cputime] 946 [msec walltime]
2019-09-28T22:45:33.270Z in=44 out=10 ent=10 step=10 brake=2 inf=2336405 sec=1.068 inf/sec=2187645

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.0904.2157 josd
SWI-Prolog 8.1.14 (x86_64-linux): Sep 28 2019, 15:55:14
starting 71 [msec cputime] 85 [msec walltime]
GET http://josd.github.io/eye/reasoning/graph/graph.axiom.n3 SC=12
GET http://josd.github.io/eye/reasoning/graph/rpo-rules.n3 SC=76
GET http://josd.github.io/eye/reasoning/graph/graph.filter.n3 SC=1
networking 44 [msec cputime] 1381 [msec walltime]
reasoning 19 [msec cputime] 18 [msec walltime]
2019-09-28T22:45:34.891Z in=89 out=1 ent=24 step=70 brake=2 inf=94463 sec=0.134 inf/sec=704948

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.0904.2157 josd
SWI-Prolog 8.1.14 (x86_64-linux): Sep 28 2019, 15:55:14
starting 73 [msec cputime] 94 [msec walltime]
GET http://josd.github.io/eye/reasoning/h2o/hypothesis-001.n3 translating file:///tmp/swipl_eye_8538_0
Done: translated 1 triples in 0.4 ms (2842 triples/s)
SC=1
GET http://josd.github.io/eye/reasoning/h2o/data-001.n3 translating file:///tmp/swipl_eye_8538_1
Done: translated 7 triples in 0.4 ms (17446 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 20 [msec cputime] 2176 [msec walltime]
reasoning 11 [msec cputime] 11 [msec walltime]
2019-09-28T22:45:37.296Z in=10 out=1 ent=6 step=12 brake=2 inf=33179 sec=0.104 inf/sec=319029

eye --tactic limited-answer 1 --n3 http://josd.github.io/eye/reasoning/hanoi/hanoi.n3 --pass
EYE v19.0904.2157 josd
SWI-Prolog 8.1.14 (x86_64-linux): Sep 28 2019, 15:55:14
starting 70 [msec cputime] 85 [msec walltime]
GET http://josd.github.io/eye/reasoning/hanoi/hanoi.n3 SC=3
networking 10 [msec cputime] 446 [msec walltime]
reasoning 15 [msec cputime] 15 [msec walltime]
2019-09-28T22:45:37.963Z in=3 out=1 ent=2 step=2 brake=1 inf=41134 sec=0.095 inf/sec=432989

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.0904.2157 josd
SWI-Prolog 8.1.14 (x86_64-linux): Sep 28 2019, 15:55:14
starting 73 [msec cputime] 87 [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 24 [msec cputime] 982 [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.0904.2157 josd
SWI-Prolog 8.1.14 (x86_64-linux): Sep 28 2019, 15:55:14
starting 70 [msec cputime] 85 [msec walltime]
GET http://josd.github.io/eye/reasoning/image/query.n3 SC=1
networking 5 [msec cputime] 454 [msec walltime]
reasoning 473 [msec cputime] 473 [msec walltime]
2019-09-28T22:45:40.866Z in=5 out=101 ent=202 step=404 brake=2 inf=1179974 sec=0.548 inf/sec=2153237

eye --no-genid --n3 http://josd.github.io/eye/reasoning/iq/iq.n3 --pass-all
EYE v19.0904.2157 josd
SWI-Prolog 8.1.14 (x86_64-linux): Sep 28 2019, 15:55:14
starting 70 [msec cputime] 84 [msec walltime]
GET http://josd.github.io/eye/reasoning/iq/iq.n3 SC=7
networking 10 [msec cputime] 445 [msec walltime]
reasoning 24 [msec cputime] 24 [msec walltime]
2019-09-28T22:45:41.553Z in=7 out=10 ent=13 step=26 brake=2 inf=62797 sec=0.104 inf/sec=603817

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.0904.2157 josd
SWI-Prolog 8.1.14 (x86_64-linux): Sep 28 2019, 15:55:14
starting 75 [msec cputime] 90 [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 68 [msec cputime] 1715 [msec walltime]
reasoning 60 [msec cputime] 60 [msec walltime]
2019-09-28T22:45:43.540Z in=168 out=1 ent=39 step=124 brake=4 inf=236773 sec=0.203 inf/sec=1166369

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.0904.2157 josd
SWI-Prolog 8.1.14 (x86_64-linux): Sep 28 2019, 15:55:14
starting 70 [msec cputime] 88 [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 31 [msec cputime] 1172 [msec walltime]
reasoning 26 [msec cputime] 25 [msec walltime]
2019-09-28T22:45:44.948Z in=10 out=1 ent=1 step=1 brake=2 inf=104356 sec=0.127 inf/sec=821701

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.0904.2157 josd
SWI-Prolog 8.1.14 (x86_64-linux): Sep 28 2019, 15:55:14
starting 69 [msec cputime] 86 [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 94 [msec cputime] 2202 [msec walltime]
reasoning 57 [msec cputime] 56 [msec walltime]
2019-09-28T22:45:47.403Z in=149 out=1 ent=10 step=82 brake=4 inf=303618 sec=0.220 inf/sec=1380082

eye --n3 http://josd.github.io/eye/reasoning/medic/medic.n3 --query http://josd.github.io/eye/reasoning/medic/medicF.n3
EYE v19.0904.2157 josd
SWI-Prolog 8.1.14 (x86_64-linux): Sep 28 2019, 15:55:14
starting 73 [msec cputime] 88 [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 19 [msec cputime] 886 [msec walltime]
reasoning 18 [msec cputime] 17 [msec walltime]
2019-09-28T22:45:48.520Z in=18 out=2 ent=4 step=8 brake=4 inf=51398 sec=0.110 inf/sec=467255

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.0904.2157 josd
SWI-Prolog 8.1.14 (x86_64-linux): Sep 28 2019, 15:55:14
starting 81 [msec cputime] 92 [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 202 [msec cputime] 2911 [msec walltime]
reasoning 886 [msec cputime] 886 [msec walltime]
2019-09-28T22:45:52.533Z in=345 out=47 ent=105 step=332 brake=4 inf=1988312 sec=1.169 inf/sec=1700866

eye --wcache http://josd.github.io/eye/reasoning/mq . --turtle http://josd.github.io/eye/reasoning/mq/data.n3 --multi-query
EYE v19.0904.2157 josd
SWI-Prolog 8.1.14 (x86_64-linux): Sep 28 2019, 15:55:14
starting 73 [msec cputime] 90 [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 3461.7 ms (28887 triples/s)
SC=100000
networking 3472 [msec cputime] 3478 [msec walltime]
GET http://josd.github.io/eye/reasoning/mq/queries/query1.n3 FROM ./queries/query1.n3 SC=1
reasoning 90 [msec cputime] 89 [msec walltime]
2019-09-28T22:45:56.315Z mq=1 out=0 inf=3336 sec=0.089 out/sec=0 inf/sec=37483

GET http://josd.github.io/eye/reasoning/mq/queries/query2.n3 FROM ./queries/query2.n3 SC=1
reasoning 14 [msec cputime] 13 [msec walltime]
2019-09-28T22:45:56.329Z mq=2 out=3 inf=18409 sec=0.013 out/sec=231 inf/sec=1416077

GET http://josd.github.io/eye/reasoning/mq/queries/query3.n3 FROM ./queries/query3.n3 SC=1
reasoning 3 [msec cputime] 3 [msec walltime]
2019-09-28T22:45:56.332Z mq=3 out=0 inf=3341 sec=0.003 out/sec=0 inf/sec=1113667

GET http://josd.github.io/eye/reasoning/mq/queries/query4.n3 FROM ./queries/query4.n3 SC=1
reasoning 7 [msec cputime] 6 [msec walltime]
2019-09-28T22:45:56.340Z mq=4 out=1 inf=8997 sec=0.006 out/sec=167 inf/sec=1499500

GET http://josd.github.io/eye/reasoning/mq/queries/query5.n3 FROM ./queries/query5.n3 SC=1
reasoning 13 [msec cputime] 12 [msec walltime]
2019-09-28T22:45:56.352Z mq=5 out=4 inf=14885 sec=0.012 out/sec=333 inf/sec=1240417

GET http://josd.github.io/eye/reasoning/mq/queries/query6.n3 FROM ./queries/query6.n3 SC=1
reasoning 3 [msec cputime] 3 [msec walltime]
2019-09-28T22:45:56.355Z mq=6 out=0 inf=3341 sec=0.003 out/sec=0 inf/sec=1113667

GET http://josd.github.io/eye/reasoning/mq/queries/query7.n3 FROM ./queries/query7.n3 SC=1
reasoning 10 [msec cputime] 9 [msec walltime]
2019-09-28T22:45:56.365Z mq=7 out=2 inf=13112 sec=0.009 out/sec=222 inf/sec=1456889

GET http://josd.github.io/eye/reasoning/mq/queries/query8.n3 FROM ./queries/query8.n3 SC=1
reasoning 7 [msec cputime] 6 [msec walltime]
2019-09-28T22:45:56.372Z mq=8 out=1 inf=8968 sec=0.006 out/sec=167 inf/sec=1494667

GET http://josd.github.io/eye/reasoning/mq/queries/query9.n3 FROM ./queries/query9.n3 SC=1
reasoning 6 [msec cputime] 6 [msec walltime]
2019-09-28T22:45:56.379Z mq=9 out=1 inf=9117 sec=0.006 out/sec=167 inf/sec=1519500

GET http://josd.github.io/eye/reasoning/mq/queries/query10.n3 FROM ./queries/query10.n3 SC=1
reasoning 10 [msec cputime] 9 [msec walltime]
2019-09-28T22:45:56.389Z mq=10 out=3 inf=14732 sec=0.009 out/sec=333 inf/sec=1636889

GET http://josd.github.io/eye/reasoning/mq/queries/query11.n3 FROM ./queries/query11.n3 SC=1
reasoning 3 [msec cputime] 2 [msec walltime]
2019-09-28T22:45:56.391Z mq=11 out=0 inf=3313 sec=0.002 out/sec=0 inf/sec=1656500

GET http://josd.github.io/eye/reasoning/mq/queries/query12.n3 FROM ./queries/query12.n3 SC=1
reasoning 2 [msec cputime] 2 [msec walltime]
2019-09-28T22:45:56.394Z mq=12 out=0 inf=3328 sec=0.002 out/sec=0 inf/sec=1664000

GET http://josd.github.io/eye/reasoning/mq/queries/query13.n3 FROM ./queries/query13.n3 SC=1
reasoning 3 [msec cputime] 2 [msec walltime]
2019-09-28T22:45:56.397Z mq=13 out=0 inf=3382 sec=0.002 out/sec=0 inf/sec=1691000

GET http://josd.github.io/eye/reasoning/mq/queries/query14.n3 FROM ./queries/query14.n3 SC=1
reasoning 3 [msec cputime] 2 [msec walltime]
2019-09-28T22:45:56.399Z mq=14 out=0 inf=3313 sec=0.002 out/sec=0 inf/sec=1656500

GET http://josd.github.io/eye/reasoning/mq/queries/query15.n3 FROM ./queries/query15.n3 SC=1
reasoning 6 [msec cputime] 5 [msec walltime]
2019-09-28T22:45:56.405Z mq=15 out=1 inf=8727 sec=0.005 out/sec=200 inf/sec=1745400

GET http://josd.github.io/eye/reasoning/mq/queries/query16.n3 FROM ./queries/query16.n3 SC=1
reasoning 6 [msec cputime] 5 [msec walltime]
2019-09-28T22:45:56.411Z mq=16 out=1 inf=7501 sec=0.005 out/sec=200 inf/sec=1500200

GET http://josd.github.io/eye/reasoning/mq/queries/query17.n3 FROM ./queries/query17.n3 SC=1
reasoning 6 [msec cputime] 6 [msec walltime]
2019-09-28T22:45:56.417Z mq=17 out=1 inf=8964 sec=0.006 out/sec=167 inf/sec=1494000

GET http://josd.github.io/eye/reasoning/mq/queries/query18.n3 FROM ./queries/query18.n3 SC=1
reasoning 3 [msec cputime] 2 [msec walltime]
2019-09-28T22:45:56.420Z mq=18 out=0 inf=3280 sec=0.002 out/sec=0 inf/sec=1640000

GET http://josd.github.io/eye/reasoning/mq/queries/query19.n3 FROM ./queries/query19.n3 SC=1
reasoning 6 [msec cputime] 5 [msec walltime]
2019-09-28T22:45:56.426Z mq=19 out=1 inf=7647 sec=0.005 out/sec=200 inf/sec=1529400

GET http://josd.github.io/eye/reasoning/mq/queries/query20.n3 FROM ./queries/query20.n3 SC=1
reasoning 2 [msec cputime] 2 [msec walltime]
2019-09-28T22:45:56.429Z mq=20 out=0 inf=3258 sec=0.002 out/sec=0 inf/sec=1629000

GET http://josd.github.io/eye/reasoning/mq/queries/query21.n3 FROM ./queries/query21.n3 SC=1
reasoning 6 [msec cputime] 6 [msec walltime]
2019-09-28T22:45:56.435Z mq=21 out=1 inf=8980 sec=0.006 out/sec=167 inf/sec=1496667

GET http://josd.github.io/eye/reasoning/mq/queries/query22.n3 FROM ./queries/query22.n3 SC=1
reasoning 12 [msec cputime] 11 [msec walltime]
2019-09-28T22:45:56.447Z mq=22 out=3 inf=17162 sec=0.011 out/sec=273 inf/sec=1560182

GET http://josd.github.io/eye/reasoning/mq/queries/query23.n3 FROM ./queries/query23.n3 SC=1
reasoning 9 [msec cputime] 8 [msec walltime]
2019-09-28T22:45:56.455Z mq=23 out=3 inf=12444 sec=0.008 out/sec=375 inf/sec=1555500

GET http://josd.github.io/eye/reasoning/mq/queries/query24.n3 FROM ./queries/query24.n3 SC=1
reasoning 6 [msec cputime] 6 [msec walltime]
2019-09-28T22:45:56.462Z mq=24 out=1 inf=7518 sec=0.006 out/sec=167 inf/sec=1253000

GET http://josd.github.io/eye/reasoning/mq/queries/query25.n3 FROM ./queries/query25.n3 SC=1
reasoning 5 [msec cputime] 4 [msec walltime]
2019-09-28T22:45:56.467Z mq=25 out=1 inf=6628 sec=0.004 out/sec=250 inf/sec=1657000

GET http://josd.github.io/eye/reasoning/mq/queries/query26.n3 FROM ./queries/query26.n3 SC=1
reasoning 14 [msec cputime] 14 [msec walltime]
2019-09-28T22:45:56.481Z mq=26 out=5 inf=20632 sec=0.014 out/sec=357 inf/sec=1473714

GET http://josd.github.io/eye/reasoning/mq/queries/query27.n3 FROM ./queries/query27.n3 SC=1
reasoning 3 [msec cputime] 2 [msec walltime]
2019-09-28T22:45:56.484Z mq=27 out=0 inf=3343 sec=0.002 out/sec=0 inf/sec=1671500

GET http://josd.github.io/eye/reasoning/mq/queries/query28.n3 FROM ./queries/query28.n3 SC=1
reasoning 6 [msec cputime] 5 [msec walltime]
2019-09-28T22:45:56.489Z mq=28 out=1 inf=7535 sec=0.005 out/sec=200 inf/sec=1507000

GET http://josd.github.io/eye/reasoning/mq/queries/query29.n3 FROM ./queries/query29.n3 SC=1
reasoning 3 [msec cputime] 2 [msec walltime]
2019-09-28T22:45:56.493Z mq=29 out=0 inf=3250 sec=0.002 out/sec=0 inf/sec=1625000

GET http://josd.github.io/eye/reasoning/mq/queries/query30.n3 FROM ./queries/query30.n3 SC=1
reasoning 2 [msec cputime] 2 [msec walltime]
2019-09-28T22:45:56.495Z mq=30 out=0 inf=3347 sec=0.002 out/sec=0 inf/sec=1673500

GET http://josd.github.io/eye/reasoning/mq/queries/query31.n3 FROM ./queries/query31.n3 SC=1
reasoning 3 [msec cputime] 2 [msec walltime]
2019-09-28T22:45:56.498Z mq=31 out=0 inf=3353 sec=0.002 out/sec=0 inf/sec=1676500

GET http://josd.github.io/eye/reasoning/mq/queries/query32.n3 FROM ./queries/query32.n3 SC=1
reasoning 8 [msec cputime] 7 [msec walltime]
2019-09-28T22:45:56.506Z mq=32 out=1 inf=8974 sec=0.007 out/sec=143 inf/sec=1282000

GET http://josd.github.io/eye/reasoning/mq/queries/query33.n3 FROM ./queries/query33.n3 SC=1
reasoning 2 [msec cputime] 2 [msec walltime]
2019-09-28T22:45:56.508Z mq=33 out=0 inf=3316 sec=0.002 out/sec=0 inf/sec=1658000

GET http://josd.github.io/eye/reasoning/mq/queries/query34.n3 FROM ./queries/query34.n3 SC=1
reasoning 7 [msec cputime] 6 [msec walltime]
2019-09-28T22:45:56.515Z mq=34 out=1 inf=9043 sec=0.006 out/sec=167 inf/sec=1507167

GET http://josd.github.io/eye/reasoning/mq/queries/query35.n3 FROM ./queries/query35.n3 SC=1
reasoning 7 [msec cputime] 6 [msec walltime]
2019-09-28T22:45:56.522Z mq=35 out=1 inf=8960 sec=0.006 out/sec=167 inf/sec=1493333

GET http://josd.github.io/eye/reasoning/mq/queries/query36.n3 FROM ./queries/query36.n3 SC=1
reasoning 3 [msec cputime] 2 [msec walltime]
2019-09-28T22:45:56.524Z mq=36 out=0 inf=3347 sec=0.002 out/sec=0 inf/sec=1673500

GET http://josd.github.io/eye/reasoning/mq/queries/query37.n3 FROM ./queries/query37.n3 SC=1
reasoning 2 [msec cputime] 2 [msec walltime]
2019-09-28T22:45:56.527Z mq=37 out=0 inf=3319 sec=0.002 out/sec=0 inf/sec=1659500

GET http://josd.github.io/eye/reasoning/mq/queries/query38.n3 FROM ./queries/query38.n3 SC=1
reasoning 7 [msec cputime] 7 [msec walltime]
2019-09-28T22:45:56.534Z mq=38 out=1 inf=9050 sec=0.007 out/sec=143 inf/sec=1292857

GET http://josd.github.io/eye/reasoning/mq/queries/query39.n3 FROM ./queries/query39.n3 SC=1
reasoning 6 [msec cputime] 5 [msec walltime]
2019-09-28T22:45:56.540Z mq=39 out=1 inf=7494 sec=0.005 out/sec=200 inf/sec=1498800

GET http://josd.github.io/eye/reasoning/mq/queries/query40.n3 FROM ./queries/query40.n3 SC=1
reasoning 6 [msec cputime] 6 [msec walltime]
2019-09-28T22:45:56.546Z mq=40 out=1 inf=8947 sec=0.006 out/sec=167 inf/sec=1491167

GET http://josd.github.io/eye/reasoning/mq/queries/query41.n3 FROM ./queries/query41.n3 SC=1
reasoning 3 [msec cputime] 2 [msec walltime]
2019-09-28T22:45:56.549Z mq=41 out=0 inf=3328 sec=0.002 out/sec=0 inf/sec=1664000

GET http://josd.github.io/eye/reasoning/mq/queries/query42.n3 FROM ./queries/query42.n3 SC=1
reasoning 14 [msec cputime] 14 [msec walltime]
2019-09-28T22:45:56.563Z mq=42 out=5 inf=22737 sec=0.014 out/sec=357 inf/sec=1624071

GET http://josd.github.io/eye/reasoning/mq/queries/query43.n3 FROM ./queries/query43.n3 SC=1
reasoning 12 [msec cputime] 11 [msec walltime]
2019-09-28T22:45:56.575Z mq=43 out=3 inf=15193 sec=0.011 out/sec=273 inf/sec=1381182

GET http://josd.github.io/eye/reasoning/mq/queries/query44.n3 FROM ./queries/query44.n3 SC=1
reasoning 6 [msec cputime] 6 [msec walltime]
2019-09-28T22:45:56.581Z mq=44 out=1 inf=9020 sec=0.006 out/sec=167 inf/sec=1503333

GET http://josd.github.io/eye/reasoning/mq/queries/query45.n3 FROM ./queries/query45.n3 SC=1
reasoning 3 [msec cputime] 2 [msec walltime]
2019-09-28T22:45:56.584Z mq=45 out=0 inf=3233 sec=0.002 out/sec=0 inf/sec=1616500

GET http://josd.github.io/eye/reasoning/mq/queries/query46.n3 FROM ./queries/query46.n3 SC=1
reasoning 3 [msec cputime] 3 [msec walltime]
2019-09-28T22:45:56.587Z mq=46 out=0 inf=3390 sec=0.003 out/sec=0 inf/sec=1130000

GET http://josd.github.io/eye/reasoning/mq/queries/query47.n3 FROM ./queries/query47.n3 SC=1
reasoning 3 [msec cputime] 2 [msec walltime]
2019-09-28T22:45:56.590Z mq=47 out=0 inf=3258 sec=0.002 out/sec=0 inf/sec=1629000

GET http://josd.github.io/eye/reasoning/mq/queries/query48.n3 FROM ./queries/query48.n3 SC=1
reasoning 5 [msec cputime] 4 [msec walltime]
2019-09-28T22:45:56.595Z mq=48 out=1 inf=6614 sec=0.004 out/sec=250 inf/sec=1653500

GET http://josd.github.io/eye/reasoning/mq/queries/query49.n3 FROM ./queries/query49.n3 SC=1
reasoning 3 [msec cputime] 2 [msec walltime]
2019-09-28T22:45:56.598Z mq=49 out=0 inf=3318 sec=0.002 out/sec=0 inf/sec=1659000

GET http://josd.github.io/eye/reasoning/mq/queries/query50.n3 FROM ./queries/query50.n3 SC=1
reasoning 9 [msec cputime] 9 [msec walltime]
2019-09-28T22:45:56.607Z mq=50 out=3 inf=13274 sec=0.009 out/sec=333 inf/sec=1474889

GET http://josd.github.io/eye/reasoning/mq/queries/query51.n3 FROM ./queries/query51.n3 SC=1
reasoning 5 [msec cputime] 5 [msec walltime]
2019-09-28T22:45:56.613Z mq=51 out=1 inf=7502 sec=0.005 out/sec=200 inf/sec=1500400

GET http://josd.github.io/eye/reasoning/mq/queries/query52.n3 FROM ./queries/query52.n3 SC=1
reasoning 7 [msec cputime] 6 [msec walltime]
2019-09-28T22:45:56.619Z mq=52 out=1 inf=8936 sec=0.006 out/sec=167 inf/sec=1489333

GET http://josd.github.io/eye/reasoning/mq/queries/query53.n3 FROM ./queries/query53.n3 SC=1
reasoning 7 [msec cputime] 7 [msec walltime]
2019-09-28T22:45:56.627Z mq=53 out=2 inf=10779 sec=0.007 out/sec=286 inf/sec=1539857

GET http://josd.github.io/eye/reasoning/mq/queries/query54.n3 FROM ./queries/query54.n3 SC=1
reasoning 3 [msec cputime] 2 [msec walltime]
2019-09-28T22:45:56.629Z mq=54 out=0 inf=3296 sec=0.002 out/sec=0 inf/sec=1648000

GET http://josd.github.io/eye/reasoning/mq/queries/query55.n3 FROM ./queries/query55.n3 SC=1
reasoning 14 [msec cputime] 13 [msec walltime]
2019-09-28T22:45:56.644Z mq=55 out=5 inf=20369 sec=0.013 out/sec=385 inf/sec=1566846

GET http://josd.github.io/eye/reasoning/mq/queries/query56.n3 FROM ./queries/query56.n3 SC=1
reasoning 7 [msec cputime] 6 [msec walltime]
2019-09-28T22:45:56.651Z mq=56 out=1 inf=8930 sec=0.006 out/sec=167 inf/sec=1488333

GET http://josd.github.io/eye/reasoning/mq/queries/query57.n3 FROM ./queries/query57.n3 SC=1
reasoning 5 [msec cputime] 4 [msec walltime]
2019-09-28T22:45:56.656Z mq=57 out=1 inf=6124 sec=0.004 out/sec=250 inf/sec=1531000

GET http://josd.github.io/eye/reasoning/mq/queries/query58.n3 FROM ./queries/query58.n3 SC=1
reasoning 3 [msec cputime] 2 [msec walltime]
2019-09-28T22:45:56.658Z mq=58 out=0 inf=3376 sec=0.002 out/sec=0 inf/sec=1688000

GET http://josd.github.io/eye/reasoning/mq/queries/query59.n3 FROM ./queries/query59.n3 SC=1
reasoning 8 [msec cputime] 7 [msec walltime]
2019-09-28T22:45:56.666Z mq=59 out=2 inf=10684 sec=0.007 out/sec=286 inf/sec=1526286

GET http://josd.github.io/eye/reasoning/mq/queries/query60.n3 FROM ./queries/query60.n3 SC=1
reasoning 10 [msec cputime] 9 [msec walltime]
2019-09-28T22:45:56.676Z mq=60 out=3 inf=14821 sec=0.009 out/sec=333 inf/sec=1646778

GET http://josd.github.io/eye/reasoning/mq/queries/query61.n3 FROM ./queries/query61.n3 SC=1
reasoning 2 [msec cputime] 2 [msec walltime]
2019-09-28T22:45:56.678Z mq=61 out=0 inf=3312 sec=0.002 out/sec=0 inf/sec=1656000

GET http://josd.github.io/eye/reasoning/mq/queries/query62.n3 FROM ./queries/query62.n3 SC=1
reasoning 10 [msec cputime] 9 [msec walltime]
2019-09-28T22:45:56.689Z mq=62 out=5 inf=16230 sec=0.009 out/sec=556 inf/sec=1803333

GET http://josd.github.io/eye/reasoning/mq/queries/query63.n3 FROM ./queries/query63.n3 SC=1
reasoning 3 [msec cputime] 2 [msec walltime]
2019-09-28T22:45:56.691Z mq=63 out=0 inf=3312 sec=0.002 out/sec=0 inf/sec=1656000

GET http://josd.github.io/eye/reasoning/mq/queries/query64.n3 FROM ./queries/query64.n3 SC=1
reasoning 3 [msec cputime] 2 [msec walltime]
2019-09-28T22:45:56.694Z mq=64 out=0 inf=3390 sec=0.002 out/sec=0 inf/sec=1695000

GET http://josd.github.io/eye/reasoning/mq/queries/query65.n3 FROM ./queries/query65.n3 SC=1
reasoning 4 [msec cputime] 4 [msec walltime]
2019-09-28T22:45:56.699Z mq=65 out=1 inf=6124 sec=0.004 out/sec=250 inf/sec=1531000

GET http://josd.github.io/eye/reasoning/mq/queries/query66.n3 FROM ./queries/query66.n3 SC=1
reasoning 7 [msec cputime] 6 [msec walltime]
2019-09-28T22:45:56.706Z mq=66 out=2 inf=9064 sec=0.006 out/sec=333 inf/sec=1510667

GET http://josd.github.io/eye/reasoning/mq/queries/query67.n3 FROM ./queries/query67.n3 SC=1
reasoning 3 [msec cputime] 2 [msec walltime]
2019-09-28T22:45:56.708Z mq=67 out=0 inf=3341 sec=0.002 out/sec=0 inf/sec=1670500

GET http://josd.github.io/eye/reasoning/mq/queries/query68.n3 FROM ./queries/query68.n3 SC=1
reasoning 5 [msec cputime] 5 [msec walltime]
2019-09-28T22:45:56.714Z mq=68 out=1 inf=7558 sec=0.005 out/sec=200 inf/sec=1511600

GET http://josd.github.io/eye/reasoning/mq/queries/query69.n3 FROM ./queries/query69.n3 SC=1
reasoning 9 [msec cputime] 9 [msec walltime]
2019-09-28T22:45:56.723Z mq=69 out=2 inf=12812 sec=0.009 out/sec=222 inf/sec=1423556

GET http://josd.github.io/eye/reasoning/mq/queries/query70.n3 FROM ./queries/query70.n3 SC=1
reasoning 3 [msec cputime] 2 [msec walltime]
2019-09-28T22:45:56.726Z mq=70 out=0 inf=3291 sec=0.002 out/sec=0 inf/sec=1645500

GET http://josd.github.io/eye/reasoning/mq/queries/query71.n3 FROM ./queries/query71.n3 SC=1
reasoning 10 [msec cputime] 10 [msec walltime]
2019-09-28T22:45:56.736Z mq=71 out=3 inf=14850 sec=0.010 out/sec=300 inf/sec=1485000

GET http://josd.github.io/eye/reasoning/mq/queries/query72.n3 FROM ./queries/query72.n3 SC=1
reasoning 9 [msec cputime] 8 [msec walltime]
2019-09-28T22:45:56.745Z mq=72 out=3 inf=12419 sec=0.008 out/sec=375 inf/sec=1552375

GET http://josd.github.io/eye/reasoning/mq/queries/query73.n3 FROM ./queries/query73.n3 SC=1
reasoning 8 [msec cputime] 7 [msec walltime]
2019-09-28T22:45:56.753Z mq=73 out=2 inf=10724 sec=0.007 out/sec=286 inf/sec=1532000

GET http://josd.github.io/eye/reasoning/mq/queries/query74.n3 FROM ./queries/query74.n3 SC=1
reasoning 7 [msec cputime] 6 [msec walltime]
2019-09-28T22:45:56.759Z mq=74 out=1 inf=8979 sec=0.006 out/sec=167 inf/sec=1496500

GET http://josd.github.io/eye/reasoning/mq/queries/query75.n3 FROM ./queries/query75.n3 SC=1
reasoning 4 [msec cputime] 4 [msec walltime]
2019-09-28T22:45:56.764Z mq=75 out=1 inf=6139 sec=0.004 out/sec=250 inf/sec=1534750

GET http://josd.github.io/eye/reasoning/mq/queries/query76.n3 FROM ./queries/query76.n3 SC=1
reasoning 7 [msec cputime] 6 [msec walltime]
2019-09-28T22:45:56.770Z mq=76 out=1 inf=8991 sec=0.006 out/sec=167 inf/sec=1498500

GET http://josd.github.io/eye/reasoning/mq/queries/query77.n3 FROM ./queries/query77.n3 SC=1
reasoning 5 [msec cputime] 5 [msec walltime]
2019-09-28T22:45:56.776Z mq=77 out=1 inf=7505 sec=0.005 out/sec=200 inf/sec=1501000

GET http://josd.github.io/eye/reasoning/mq/queries/query78.n3 FROM ./queries/query78.n3 SC=1
reasoning 16 [msec cputime] 15 [msec walltime]
2019-09-28T22:45:56.792Z mq=78 out=5 inf=18283 sec=0.015 out/sec=333 inf/sec=1218867

GET http://josd.github.io/eye/reasoning/mq/queries/query79.n3 FROM ./queries/query79.n3 SC=1
reasoning 10 [msec cputime] 9 [msec walltime]
2019-09-28T22:45:56.802Z mq=79 out=3 inf=13274 sec=0.009 out/sec=333 inf/sec=1474889

GET http://josd.github.io/eye/reasoning/mq/queries/query80.n3 FROM ./queries/query80.n3 SC=1
reasoning 3 [msec cputime] 2 [msec walltime]
2019-09-28T22:45:56.805Z mq=80 out=0 inf=3334 sec=0.002 out/sec=0 inf/sec=1667000

GET http://josd.github.io/eye/reasoning/mq/queries/query81.n3 FROM ./queries/query81.n3 SC=1
reasoning 2 [msec cputime] 2 [msec walltime]
2019-09-28T22:45:56.807Z mq=81 out=0 inf=3316 sec=0.002 out/sec=0 inf/sec=1658000

GET http://josd.github.io/eye/reasoning/mq/queries/query82.n3 FROM ./queries/query82.n3 SC=1
reasoning 3 [msec cputime] 2 [msec walltime]
2019-09-28T22:45:56.809Z mq=82 out=0 inf=3317 sec=0.002 out/sec=0 inf/sec=1658500

GET http://josd.github.io/eye/reasoning/mq/queries/query83.n3 FROM ./queries/query83.n3 SC=1
reasoning 8 [msec cputime] 8 [msec walltime]
2019-09-28T22:45:56.817Z mq=83 out=2 inf=10713 sec=0.008 out/sec=250 inf/sec=1339125

GET http://josd.github.io/eye/reasoning/mq/queries/query84.n3 FROM ./queries/query84.n3 SC=1
reasoning 2 [msec cputime] 2 [msec walltime]
2019-09-28T22:45:56.820Z mq=84 out=0 inf=3327 sec=0.002 out/sec=0 inf/sec=1663500

GET http://josd.github.io/eye/reasoning/mq/queries/query85.n3 FROM ./queries/query85.n3 SC=1
reasoning 3 [msec cputime] 2 [msec walltime]
2019-09-28T22:45:56.823Z mq=85 out=0 inf=3383 sec=0.002 out/sec=0 inf/sec=1691500

GET http://josd.github.io/eye/reasoning/mq/queries/query86.n3 FROM ./queries/query86.n3 SC=1
reasoning 6 [msec cputime] 5 [msec walltime]
2019-09-28T22:45:56.829Z mq=86 out=1 inf=9031 sec=0.005 out/sec=200 inf/sec=1806200

GET http://josd.github.io/eye/reasoning/mq/queries/query87.n3 FROM ./queries/query87.n3 SC=1
reasoning 3 [msec cputime] 2 [msec walltime]
2019-09-28T22:45:56.832Z mq=87 out=0 inf=3332 sec=0.002 out/sec=0 inf/sec=1666000

GET http://josd.github.io/eye/reasoning/mq/queries/query88.n3 FROM ./queries/query88.n3 SC=1
reasoning 7 [msec cputime] 6 [msec walltime]
2019-09-28T22:45:56.839Z mq=88 out=1 inf=8960 sec=0.006 out/sec=167 inf/sec=1493333

GET http://josd.github.io/eye/reasoning/mq/queries/query89.n3 FROM ./queries/query89.n3 SC=1
reasoning 6 [msec cputime] 5 [msec walltime]
2019-09-28T22:45:56.844Z mq=89 out=1 inf=7560 sec=0.005 out/sec=200 inf/sec=1512000

GET http://josd.github.io/eye/reasoning/mq/queries/query90.n3 FROM ./queries/query90.n3 SC=1
reasoning 6 [msec cputime] 6 [msec walltime]
2019-09-28T22:45:56.851Z mq=90 out=1 inf=7558 sec=0.006 out/sec=167 inf/sec=1259667

GET http://josd.github.io/eye/reasoning/mq/queries/query91.n3 FROM ./queries/query91.n3 SC=1
reasoning 3 [msec cputime] 2 [msec walltime]
2019-09-28T22:45:56.854Z mq=91 out=0 inf=3291 sec=0.002 out/sec=0 inf/sec=1645500

GET http://josd.github.io/eye/reasoning/mq/queries/query92.n3 FROM ./queries/query92.n3 SC=1
reasoning 3 [msec cputime] 2 [msec walltime]
2019-09-28T22:45:56.856Z mq=92 out=0 inf=3289 sec=0.002 out/sec=0 inf/sec=1644500

GET http://josd.github.io/eye/reasoning/mq/queries/query93.n3 FROM ./queries/query93.n3 SC=1
reasoning 7 [msec cputime] 6 [msec walltime]
2019-09-28T22:45:56.863Z mq=93 out=1 inf=9053 sec=0.006 out/sec=167 inf/sec=1508833

GET http://josd.github.io/eye/reasoning/mq/queries/query94.n3 FROM ./queries/query94.n3 SC=1
reasoning 8 [msec cputime] 8 [msec walltime]
2019-09-28T22:45:56.872Z mq=94 out=2 inf=12839 sec=0.008 out/sec=250 inf/sec=1604875

GET http://josd.github.io/eye/reasoning/mq/queries/query95.n3 FROM ./queries/query95.n3 SC=1
reasoning 3 [msec cputime] 2 [msec walltime]
2019-09-28T22:45:56.875Z mq=95 out=0 inf=3347 sec=0.002 out/sec=0 inf/sec=1673500

GET http://josd.github.io/eye/reasoning/mq/queries/query96.n3 FROM ./queries/query96.n3 SC=1
reasoning 6 [msec cputime] 5 [msec walltime]
2019-09-28T22:45:56.880Z mq=96 out=1 inf=7506 sec=0.005 out/sec=200 inf/sec=1501200

GET http://josd.github.io/eye/reasoning/mq/queries/query97.n3 FROM ./queries/query97.n3 SC=1
reasoning 8 [msec cputime] 8 [msec walltime]
2019-09-28T22:45:56.889Z mq=97 out=2 inf=10362 sec=0.008 out/sec=250 inf/sec=1295250

GET http://josd.github.io/eye/reasoning/mq/queries/query98.n3 FROM ./queries/query98.n3 SC=1
reasoning 13 [msec cputime] 12 [msec walltime]
2019-09-28T22:45:56.902Z mq=98 out=5 inf=18246 sec=0.012 out/sec=417 inf/sec=1520500

GET http://josd.github.io/eye/reasoning/mq/queries/query99.n3 FROM ./queries/query99.n3 SC=1
reasoning 2 [msec cputime] 2 [msec walltime]
2019-09-28T22:45:56.904Z mq=99 out=0 inf=3233 sec=0.002 out/sec=0 inf/sec=1616500

GET http://josd.github.io/eye/reasoning/mq/queries/query100.n3 FROM ./queries/query100.n3 SC=1
reasoning 3 [msec cputime] 2 [msec walltime]
2019-09-28T22:45:56.907Z mq=100 out=0 inf=3299 sec=0.002 out/sec=0 inf/sec=1649500

2019-09-28T22:45:56.907Z in=100100 out=117 ent=117 step=117 brake=100 inf=5613565 sec=4.225 inf/sec=1328654

eye --nope --n3 http://josd.github.io/eye/reasoning/n3c/components.n3 --turtle http://josd.github.io/eye/reasoning/n3c/tasks.n3 --query http://josd.github.io/eye/reasoning/n3c/notIn_query.n3
EYE v19.0904.2157 josd
SWI-Prolog 8.1.14 (x86_64-linux): Sep 28 2019, 15:55:14
starting 73 [msec cputime] 90 [msec walltime]
GET http://josd.github.io/eye/reasoning/n3c/components.n3 SC=2
GET http://josd.github.io/eye/reasoning/n3c/tasks.n3 translating file:///tmp/swipl_eye_8751_1
Done: translated 2 triples in 0.4 ms (4970 triples/s)
SC=2
GET http://josd.github.io/eye/reasoning/n3c/notIn_query.n3 SC=1
networking 16 [msec cputime] 1478 [msec walltime]
GET http://josd.github.io/eye/reasoning/n3c/tasks.n3 SC=2
reasoning 6 [msec cputime] 251 [msec walltime]
2019-09-28T22:45:58.868Z in=7 out=2 ent=2 step=2 brake=1 inf=23369 sec=0.095 inf/sec=245989

eye --nope --n3 http://josd.github.io/eye/reasoning/n3c/components.n3 --turtle http://josd.github.io/eye/reasoning/n3c/tasks.n3 --query http://josd.github.io/eye/reasoning/n3c/forAllIn_query.n3
EYE v19.0904.2157 josd
SWI-Prolog 8.1.14 (x86_64-linux): Sep 28 2019, 15:55:14
starting 70 [msec cputime] 89 [msec walltime]
GET http://josd.github.io/eye/reasoning/n3c/components.n3 SC=2
GET http://josd.github.io/eye/reasoning/n3c/tasks.n3 translating file:///tmp/swipl_eye_8773_1
Done: translated 2 triples in 0.4 ms (5709 triples/s)
SC=2
GET http://josd.github.io/eye/reasoning/n3c/forAllIn_query.n3 SC=1
networking 15 [msec cputime] 940 [msec walltime]
GET http://josd.github.io/eye/reasoning/n3c/subtasks.n3 SC=9
reasoning 5 [msec cputime] 449 [msec walltime]
2019-09-28T22:46:00.459Z in=14 out=1 ent=1 step=1 brake=1 inf=26038 sec=0.090 inf/sec=289311

eye --n3 http://josd.github.io/eye/reasoning/n3c/components.n3 --turtle http://josd.github.io/eye/reasoning/n3c/tasks.n3 --query http://josd.github.io/eye/reasoning/n3c/notIn_query.n3
EYE v19.0904.2157 josd
SWI-Prolog 8.1.14 (x86_64-linux): Sep 28 2019, 15:55:14
starting 69 [msec cputime] 87 [msec walltime]
GET http://josd.github.io/eye/reasoning/n3c/components.n3 SC=2
GET http://josd.github.io/eye/reasoning/n3c/tasks.n3 translating file:///tmp/swipl_eye_8795_1
Done: translated 2 triples in 0.4 ms (4953 triples/s)
SC=2
GET http://josd.github.io/eye/reasoning/n3c/notIn_query.n3 SC=1
networking 16 [msec cputime] 744 [msec walltime]
GET http://josd.github.io/eye/reasoning/n3c/tasks.n3 SC=2
reasoning 12 [msec cputime] 248 [msec walltime]
2019-09-28T22:46:01.651Z in=7 out=2 ent=2 step=2 brake=1 inf=35962 sec=0.097 inf/sec=370742

eye --n3 http://josd.github.io/eye/reasoning/n3c/components.n3 --turtle http://josd.github.io/eye/reasoning/n3c/tasks.n3 --query http://josd.github.io/eye/reasoning/n3c/forAllIn_query.n3
EYE v19.0904.2157 josd
SWI-Prolog 8.1.14 (x86_64-linux): Sep 28 2019, 15:55:14
starting 70 [msec cputime] 90 [msec walltime]
GET http://josd.github.io/eye/reasoning/n3c/components.n3 SC=2
GET http://josd.github.io/eye/reasoning/n3c/tasks.n3 translating file:///tmp/swipl_eye_8817_1
Done: translated 2 triples in 0.3 ms (6246 triples/s)
SC=2
GET http://josd.github.io/eye/reasoning/n3c/forAllIn_query.n3 SC=1
networking 16 [msec cputime] 772 [msec walltime]
GET http://josd.github.io/eye/reasoning/n3c/subtasks.n3 SC=9
reasoning 21 [msec cputime] 283 [msec walltime]
2019-09-28T22:46:02.908Z in=14 out=1 ent=1 step=1 brake=1 inf=44107 sec=0.107 inf/sec=412215

eye --plugin http://josd.github.io/eye/reasoning/n3p/simple.n3p --pass
EYE v19.0904.2157 josd
SWI-Prolog 8.1.14 (x86_64-linux): Sep 28 2019, 15:55:14
starting 71 [msec cputime] 86 [msec walltime]
GET http://josd.github.io/eye/reasoning/n3p/simple.n3p SC=8
networking 4 [msec cputime] 442 [msec walltime]
reasoning 18 [msec cputime] 17 [msec walltime]
2019-09-28T22:46:03.580Z in=8 out=8 ent=8 step=8 brake=1 inf=32703 sec=0.093 inf/sec=351645

eye --plugin http://josd.github.io/eye/reasoning/n3p/extra.n3p --pass
EYE v19.0904.2157 josd
SWI-Prolog 8.1.14 (x86_64-linux): Sep 28 2019, 15:55:14
starting 69 [msec cputime] 83 [msec walltime]
GET http://josd.github.io/eye/reasoning/n3p/extra.n3p SC=7
networking 3 [msec cputime] 437 [msec walltime]
reasoning 14 [msec cputime] 14 [msec walltime]
2019-09-28T22:46:04.231Z in=7 out=7 ent=7 step=7 brake=1 inf=26949 sec=0.086 inf/sec=313360

eye --plugin http://josd.github.io/eye/reasoning/n3p/literals.n3p --pass
EYE v19.0904.2157 josd
SWI-Prolog 8.1.14 (x86_64-linux): Sep 28 2019, 15:55:14
starting 73 [msec cputime] 86 [msec walltime]
GET http://josd.github.io/eye/reasoning/n3p/literals.n3p SC=10
networking 3 [msec cputime] 452 [msec walltime]
reasoning 15 [msec cputime] 14 [msec walltime]
2019-09-28T22:46:04.897Z in=10 out=10 ent=10 step=10 brake=1 inf=29993 sec=0.091 inf/sec=329593

eye --plugin http://josd.github.io/eye/reasoning/n3p/sample.n3p --pass-all
EYE v19.0904.2157 josd
SWI-Prolog 8.1.14 (x86_64-linux): Sep 28 2019, 15:55:14
starting 71 [msec cputime] 85 [msec walltime]
GET http://josd.github.io/eye/reasoning/n3p/sample.n3p SC=12
networking 4 [msec cputime] 432 [msec walltime]
reasoning 28 [msec cputime] 27 [msec walltime]
2019-09-28T22:46:05.554Z in=12 out=12 ent=13 step=29 brake=2 inf=54188 sec=0.103 inf/sec=526097

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.0904.2157 josd
SWI-Prolog 8.1.14 (x86_64-linux): Sep 28 2019, 15:55:14
starting 71 [msec cputime] 87 [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 44 [msec cputime] 1377 [msec walltime]
reasoning 53 [msec cputime] 53 [msec walltime]
2019-09-28T22:46:07.196Z in=19 out=1 ent=1 step=1 brake=2 inf=146523 sec=0.168 inf/sec=872161

eye --strict --no-numerals --turtle http://josd.github.io/eye/reasoning/numeral/numeral.n3 --pass
EYE v19.0904.2157 josd
SWI-Prolog 8.1.14 (x86_64-linux): Sep 28 2019, 15:55:14
starting 73 [msec cputime] 93 [msec walltime]
GET http://josd.github.io/eye/reasoning/numeral/numeral.n3 translating file:///tmp/swipl_eye_8899_0
Done: translated 5 triples in 0.4 ms (12197 triples/s)
SC=5
networking 5 [msec cputime] 438 [msec walltime]
reasoning 12 [msec cputime] 11 [msec walltime]
2019-09-28T22:46:07.862Z in=5 out=5 ent=5 step=5 brake=1 inf=26704 sec=0.090 inf/sec=296711

eye --n3 http://josd.github.io/eye/reasoning/pi/pi.n3 --query http://josd.github.io/eye/reasoning/pi/pi-query.n3
EYE v19.0904.2157 josd
SWI-Prolog 8.1.14 (x86_64-linux): Sep 28 2019, 15:55:14
starting 72 [msec cputime] 88 [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 14 [msec cputime] 922 [msec walltime]
reasoning 1193 [msec cputime] 1217 [msec walltime]
2019-09-28T22:46:10.211Z in=4 out=1 ent=1 step=1 brake=1 inf=2812270 sec=1.279 inf/sec=2198804

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.0904.2157 josd
SWI-Prolog 8.1.14 (x86_64-linux): Sep 28 2019, 15:55:14
starting 70 [msec cputime] 87 [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 17 [msec cputime] 1963 [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 28 [msec cputime] 1689 [msec walltime]
2019-09-28T22:46:14.096Z in=17 out=1 ent=2 step=4 brake=4 inf=49700 sec=0.115 inf/sec=432174

eye --nope --n3 palindrome.n3 palindrome-declarations.n3 --n3 preduction-plugin.n3 --query palindrome-preduction.n3
EYE v19.0904.2157 josd
SWI-Prolog 8.1.14 (x86_64-linux): Sep 28 2019, 15:55:14
starting 70 [msec cputime] 87 [msec walltime]
GET file:///home/jdroo/github.com/josd/eye/reasoning/preduction/palindrome.n3 SC=9
GET file:///home/jdroo/github.com/josd/eye/reasoning/preduction/palindrome-declarations.n3 SC=5
GET file:///home/jdroo/github.com/josd/eye/reasoning/preduction/preduction-plugin.n3 SC=9
GET file:///home/jdroo/github.com/josd/eye/reasoning/preduction/palindrome-preduction.n3 SC=1
networking 21 [msec cputime] 20 [msec walltime]
reasoning 4 [msec cputime] 4 [msec walltime]
2019-09-28T22:46:14.331Z in=24 out=6 ent=6 step=6 brake=1 inf=62612 sec=0.095 inf/sec=659074

eye --n3 http://josd.github.io/eye/reasoning/preduction/palindrome.n3 --query http://josd.github.io/eye/reasoning/preduction/palindrome-query.n3
EYE v19.0904.2157 josd
SWI-Prolog 8.1.14 (x86_64-linux): Sep 28 2019, 15:55:14
starting 69 [msec cputime] 85 [msec walltime]
GET http://josd.github.io/eye/reasoning/preduction/palindrome.n3 SC=9
GET http://josd.github.io/eye/reasoning/preduction/palindrome-query.n3 SC=1
networking 17 [msec cputime] 913 [msec walltime]
reasoning 71 [msec cputime] 70 [msec walltime]
2019-09-28T22:46:15.512Z in=10 out=1 ent=1 step=1 brake=1 inf=171068 sec=0.157 inf/sec=1089605

eye --n3 http://josd.github.io/eye/reasoning/preduction/palindrome2.n3 --query http://josd.github.io/eye/reasoning/preduction/palindrome2-query.n3
EYE v19.0904.2157 josd
SWI-Prolog 8.1.14 (x86_64-linux): Sep 28 2019, 15:55:14
starting 71 [msec cputime] 86 [msec walltime]
GET http://josd.github.io/eye/reasoning/preduction/palindrome2.n3 SC=6
GET http://josd.github.io/eye/reasoning/preduction/palindrome2-query.n3 SC=1
networking 19 [msec cputime] 884 [msec walltime]
reasoning 47 [msec cputime] 47 [msec walltime]
2019-09-28T22:46:16.641Z in=7 out=1 ent=1 step=1 brake=1 inf=128797 sec=0.137 inf/sec=940124

eye --nope --n3 food.n3 food-declarations.n3 --n3 preduction-plugin.n3 --query food-preduction.n3
EYE v19.0904.2157 josd
SWI-Prolog 8.1.14 (x86_64-linux): Sep 28 2019, 15:55:14
starting 70 [msec cputime] 83 [msec walltime]
GET file:///home/jdroo/github.com/josd/eye/reasoning/preduction/food.n3 SC=35
GET file:///home/jdroo/github.com/josd/eye/reasoning/preduction/food-declarations.n3 SC=1
GET file:///home/jdroo/github.com/josd/eye/reasoning/preduction/preduction-plugin.n3 SC=9
GET file:///home/jdroo/github.com/josd/eye/reasoning/preduction/food-preduction.n3 SC=1
networking 24 [msec cputime] 24 [msec walltime]
GET http://josd.github.io/eye/reasoning/rpo/rdfs-subClassOf.n3 SC=4
reasoning 29 [msec cputime] 475 [msec walltime]
2019-09-28T22:46:17.336Z in=50 out=35 ent=35 step=35 brake=1 inf=109859 sec=0.123 inf/sec=893163

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.0904.2157 josd
SWI-Prolog 8.1.14 (x86_64-linux): Sep 28 2019, 15:55:14
starting 68 [msec cputime] 83 [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 34 [msec cputime] 2483 [msec walltime]
reasoning 32 [msec cputime] 32 [msec walltime]
2019-09-28T22:46:20.047Z in=45 out=16 ent=91 step=338 brake=3 inf=93020 sec=0.134 inf/sec=694179

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.0904.2157 josd
SWI-Prolog 8.1.14 (x86_64-linux): Sep 28 2019, 15:55:14
starting 71 [msec cputime] 86 [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 29 [msec cputime] 978 [msec walltime]
reasoning 25 [msec cputime] 25 [msec walltime]
2019-09-28T22:46:21.250Z in=41 out=16 ent=27 step=115 brake=5 inf=87384 sec=0.125 inf/sec=699072

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.0904.2157 josd
SWI-Prolog 8.1.14 (x86_64-linux): Sep 28 2019, 15:55:14
starting 73 [msec cputime] 87 [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 25 [msec cputime] 918 [msec walltime]
reasoning 28 [msec cputime] 28 [msec walltime]
2019-09-28T22:46:22.410Z in=10 out=4 ent=47 step=7 brake=1 inf=96278 sec=0.126 inf/sec=764111

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.0904.2157 josd
SWI-Prolog 8.1.14 (x86_64-linux): Sep 28 2019, 15:55:14
starting 70 [msec cputime] 86 [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 29 [msec cputime] 1916 [msec walltime]
reasoning 39 [msec cputime] 39 [msec walltime]
2019-09-28T22:46:24.573Z in=11 out=1 ent=209 step=218 brake=1 inf=109904 sec=0.138 inf/sec=796406

eye --n3 http://josd.github.io/eye/reasoning/rgb/redgraph001.n3 --query http://josd.github.io/eye/reasoning/rgb/greenquery001.n3
EYE v19.0904.2157 josd
SWI-Prolog 8.1.14 (x86_64-linux): Sep 28 2019, 15:55:14
starting 75 [msec cputime] 89 [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 9 [msec cputime] 869 [msec walltime]
reasoning 11 [msec cputime] 11 [msec walltime]
2019-09-28T22:46:25.665Z in=5 out=2 ent=2 step=2 brake=1 inf=25100 sec=0.095 inf/sec=264211

eye --n3 http://josd.github.io/eye/reasoning/rgb/redgraph002.n3 --query http://josd.github.io/eye/reasoning/rgb/greenquery002.n3
EYE v19.0904.2157 josd
SWI-Prolog 8.1.14 (x86_64-linux): Sep 28 2019, 15:55:14
starting 67 [msec cputime] 79 [msec walltime]
GET http://josd.github.io/eye/reasoning/rgb/redgraph002.n3 SC=3
GET http://josd.github.io/eye/reasoning/rgb/greenquery002.n3 SC=2
networking 9 [msec cputime] 878 [msec walltime]
reasoning 10 [msec cputime] 10 [msec walltime]
2019-09-28T22:46:26.740Z in=5 out=2 ent=2 step=2 brake=1 inf=25264 sec=0.086 inf/sec=293767

eye --n3 http://josd.github.io/eye/reasoning/rgb/redgraph003.n3 --query http://josd.github.io/eye/reasoning/rgb/greenquery003.n3
EYE v19.0904.2157 josd
SWI-Prolog 8.1.14 (x86_64-linux): Sep 28 2019, 15:55:14
starting 71 [msec cputime] 85 [msec walltime]
GET http://josd.github.io/eye/reasoning/rgb/redgraph003.n3 SC=3
GET http://josd.github.io/eye/reasoning/rgb/greenquery003.n3 SC=2
networking 8 [msec cputime] 866 [msec walltime]
reasoning 11 [msec cputime] 10 [msec walltime]
2019-09-28T22:46:27.813Z in=5 out=2 ent=2 step=2 brake=1 inf=23892 sec=0.090 inf/sec=265467

eye --n3 http://josd.github.io/eye/reasoning/rif/rifP.n3 --query http://josd.github.io/eye/reasoning/rif/rifQ.n3
EYE v19.0904.2157 josd
SWI-Prolog 8.1.14 (x86_64-linux): Sep 28 2019, 15:55:14
starting 72 [msec cputime] 88 [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 132 [msec cputime] 1057 [msec walltime]
reasoning 594 [msec cputime] 594 [msec walltime]
2019-09-28T22:46:29.676Z in=224 out=222 ent=443 step=1776 brake=4 inf=1857266 sec=0.798 inf/sec=2327401

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.0904.2157 josd
SWI-Prolog 8.1.14 (x86_64-linux): Sep 28 2019, 15:55:14
starting 72 [msec cputime] 89 [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 33 [msec cputime] 1579 [msec walltime]
reasoning 26 [msec cputime] 25 [msec walltime]
2019-09-28T22:46:31.491Z in=45 out=16 ent=91 step=338 brake=3 inf=93536 sec=0.131 inf/sec=714015

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.0904.2157 josd
SWI-Prolog 8.1.14 (x86_64-linux): Sep 28 2019, 15:55:14
starting 70 [msec cputime] 87 [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 12 [msec cputime] 862 [msec walltime]
GET http://josd.github.io/eye/reasoning/rs/graph-1000.n3 SC=1000
reasoning 641 [msec cputime] 1134 [msec walltime]
2019-09-28T22:46:33.697Z in=1002 out=1 ent=1 step=1 brake=2 inf=1631719 sec=0.723 inf/sec=2256873

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.0904.2157 josd
SWI-Prolog 8.1.14 (x86_64-linux): Sep 28 2019, 15:55:14
starting 72 [msec cputime] 90 [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 84 [msec cputime] 1438 [msec walltime]
reasoning 11 [msec cputime] 10 [msec walltime]
2019-09-28T22:46:35.364Z in=110 out=1 ent=12 step=28 brake=2 inf=205624 sec=0.167 inf/sec=1231281

eye --n3 http://josd.github.io/eye/reasoning/socrates/socrates.n3 --query http://josd.github.io/eye/reasoning/socrates/socratesF.n3
EYE v19.0904.2157 josd
SWI-Prolog 8.1.14 (x86_64-linux): Sep 28 2019, 15:55:14
starting 72 [msec cputime] 87 [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 11 [msec cputime] 984 [msec walltime]
reasoning 10 [msec cputime] 10 [msec walltime]
2019-09-28T22:46:36.569Z in=4 out=2 ent=3 step=6 brake=2 inf=26630 sec=0.093 inf/sec=286344

eye --nope --n3 http://josd.github.io/eye/reasoning/streason/streason-rules.n3 --turtle - --streaming-reasoning
EYE v19.0904.2157 josd
SWI-Prolog 8.1.14 (x86_64-linux): Sep 28 2019, 15:55:14
starting 73 [msec cputime] 93 [msec walltime]
GET http://josd.github.io/eye/reasoning/streason/streason-rules.n3 SC=6
GET - translating file:///dev/stdin
Done: translated 10 triples in 0.3 ms (37051 triples/s)
SC=10
2019-09-28T22:46:37.257Z in=16 out=101 ent=0 step=0 brake=0 inf=33708 sec=0.092 inf/sec=366391

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.0904.2157 josd
SWI-Prolog 8.1.14 (x86_64-linux): Sep 28 2019, 15:55:14
starting 71 [msec cputime] 87 [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 83 [msec cputime] 1371 [msec walltime]
reasoning 30 [msec cputime] 30 [msec walltime]
2019-09-28T22:46:38.869Z in=501 out=81 ent=81 step=81 brake=1 inf=241479 sec=0.184 inf/sec=1312386

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.0904.2157 josd
SWI-Prolog 8.1.14 (x86_64-linux): Sep 28 2019, 15:55:14
starting 69 [msec cputime] 87 [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 88 [msec cputime] 1049 [msec walltime]
reasoning 26 [msec cputime] 25 [msec walltime]
2019-09-28T22:46:40.143Z in=501 out=54 ent=54 step=54 brake=1 inf=231961 sec=0.183 inf/sec=1267546

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.0904.2157 josd
SWI-Prolog 8.1.14 (x86_64-linux): Sep 28 2019, 15:55:14
starting 69 [msec cputime] 83 [msec walltime]
GET http://josd.github.io/eye/reasoning/swet/swetA.n3 SC=100
GET http://josd.github.io/eye/reasoning/swet/swetD.n3 SC=400
GET http://josd.github.io/eye/reasoning/swet/swetQ21.n3 SC=1
networking 91 [msec cputime] 1030 [msec walltime]
reasoning 22 [msec cputime] 22 [msec walltime]
2019-09-28T22:46:41.391Z in=501 out=46 ent=46 step=46 brake=1 inf=225648 sec=0.182 inf/sec=1239824

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.0904.2157 josd
SWI-Prolog 8.1.14 (x86_64-linux): Sep 28 2019, 15:55:14
starting 67 [msec cputime] 83 [msec walltime]
GET http://josd.github.io/eye/reasoning/swet/swetA.n3 SC=100
GET http://josd.github.io/eye/reasoning/swet/swetD.n3 SC=400
GET http://josd.github.io/eye/reasoning/swet/swetQ31.n3 SC=1
networking 88 [msec cputime] 998 [msec walltime]
reasoning 9 [msec cputime] 8 [msec walltime]
2019-09-28T22:46:42.593Z in=501 out=19 ent=19 step=19 brake=1 inf=207244 sec=0.164 inf/sec=1263683

eye --n3 http://josd.github.io/eye/reasoning/swet/swetA.n3 --query http://josd.github.io/eye/reasoning/swet/swetQ.n3
EYE v19.0904.2157 josd
SWI-Prolog 8.1.14 (x86_64-linux): Sep 28 2019, 15:55:14
starting 71 [msec cputime] 85 [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 57 [msec cputime] 748 [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 201 [msec cputime] 1932 [msec walltime]
2019-09-28T22:46:45.472Z in=303 out=3 ent=3 step=3 brake=1 inf=547350 sec=0.329 inf/sec=1663678

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.0904.2157 josd
SWI-Prolog 8.1.14 (x86_64-linux): Sep 28 2019, 15:55:14
starting 72 [msec cputime] 87 [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 13 [msec cputime] 896 [msec walltime]
reasoning 615 [msec cputime] 639 [msec walltime]
2019-09-28T22:46:47.221Z in=3 out=1 ent=1 step=1 brake=1 inf=1247468 sec=0.700 inf/sec=1782097

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.0904.2157 josd
SWI-Prolog 8.1.14 (x86_64-linux): Sep 28 2019, 15:55:14
starting 73 [msec cputime] 93 [msec walltime]
GET http://josd.github.io/eye/reasoning/tfcontext/data-001.n3 translating file:///tmp/swipl_eye_9339_0
Done: translated 7 triples in 0.4 ms (15803 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 18 [msec cputime] 1725 [msec walltime]
reasoning 32 [msec cputime] 31 [msec walltime]
2019-09-28T22:46:49.197Z in=9 out=7 ent=21 step=42 brake=4 inf=75864 sec=0.123 inf/sec=616780

eye --n3 http://josd.github.io/eye/reasoning/turing/turing.n3 --query http://josd.github.io/eye/reasoning/turing/turingQ.n3
EYE v19.0904.2157 josd
SWI-Prolog 8.1.14 (x86_64-linux): Sep 28 2019, 15:55:14
starting 70 [msec cputime] 87 [msec walltime]
GET http://josd.github.io/eye/reasoning/turing/turing.n3 SC=17
GET http://josd.github.io/eye/reasoning/turing/turingQ.n3 SC=1
networking 23 [msec cputime] 2050 [msec walltime]
reasoning 28 [msec cputime] 27 [msec walltime]
2019-09-28T22:46:51.484Z in=18 out=1 ent=1 step=1 brake=1 inf=91219 sec=0.121 inf/sec=753876

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.0904.2157 josd
SWI-Prolog 8.1.14 (x86_64-linux): Sep 28 2019, 15:55:14
starting 72 [msec cputime] 87 [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 19 [msec cputime] 1299 [msec walltime]
reasoning 24 [msec cputime] 24 [msec walltime]
2019-09-28T22:46:53.016Z in=21 out=2 ent=24 step=88 brake=5 inf=72332 sec=0.115 inf/sec=628974

eye --n3 http://josd.github.io/eye/reasoning/utf8/utf8.n3 --pass
EYE v19.0904.2157 josd
SWI-Prolog 8.1.14 (x86_64-linux): Sep 28 2019, 15:55:14
starting 71 [msec cputime] 87 [msec walltime]
GET http://josd.github.io/eye/reasoning/utf8/utf8.n3 SC=5
networking 6 [msec cputime] 444 [msec walltime]
reasoning 13 [msec cputime] 13 [msec walltime]
2019-09-28T22:46:53.683Z in=5 out=5 ent=5 step=5 brake=1 inf=26802 sec=0.090 inf/sec=297800

eye --n3 http://josd.github.io/eye/reasoning/witch/witch.n3 --query http://josd.github.io/eye/reasoning/witch/witch-goal.n3
EYE v19.0904.2157 josd
SWI-Prolog 8.1.14 (x86_64-linux): Sep 28 2019, 15:55:14
starting 72 [msec cputime] 87 [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 8 [msec cputime] 1399 [msec walltime]
reasoning 13 [msec cputime] 12 [msec walltime]
2019-09-28T22:46:55.305Z in=8 out=1 ent=7 step=25 brake=5 inf=33085 sec=0.093 inf/sec=355753

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.0904.2157 josd
SWI-Prolog 8.1.14 (x86_64-linux): Sep 28 2019, 15:55:14
starting 68 [msec cputime] 84 [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 29 [msec cputime] 1345 [msec walltime]
reasoning 42 [msec cputime] 42 [msec walltime]
2019-09-28T22:46:56.890Z in=66 out=1 ent=9 step=43 brake=3 inf=75867 sec=0.139 inf/sec=545806

