Commit f1b6ffca authored by josd's avatar josd

remove libgmp dependency

parent a1089777
......@@ -123,6 +123,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/3outof5/sample.n3>].
#2018-11-21T14:26:37.134Z in=34 out=1 ent=1 step=1 brake=2 inf=47073 sec=0.051 inf/sec=923000
#2018-11-21T15:04:24.925Z in=34 out=1 ent=1 step=1 brake=2 inf=47083 sec=0.053 inf/sec=888358
#ENDS
This source diff could not be displayed because it is too large. You can view the blob instead.
......@@ -1144,6 +1144,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/bmi/bmi_instances.n3>].
#2018-11-21T14:26:39.170Z in=295 out=50 ent=100 step=48 brake=4 inf=220668 sec=0.087 inf/sec=2536414
#2018-11-21T15:04:27.213Z in=295 out=50 ent=100 step=48 brake=4 inf=220676 sec=0.084 inf/sec=2627095
#ENDS
......@@ -32573,6 +32573,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/bmt/1tt8.n3>].
#2018-11-21T14:26:41.793Z in=10012 out=1518 ent=1518 step=1518 brake=1 inf=4717751 sec=0.786 inf/sec=6002228
#2018-11-21T15:04:30.269Z in=10012 out=1518 ent=1518 step=1518 brake=1 inf=4717762 sec=0.788 inf/sec=5987008
#ENDS
......@@ -94,6 +94,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/crypto/cryptoP.n3>].
#2018-11-21T14:26:42.096Z in=9 out=3 ent=6 step=12 brake=2 inf=27281 sec=0.032 inf/sec=852531
#2018-11-21T15:04:30.578Z in=9 out=3 ent=6 step=12 brake=2 inf=27292 sec=0.032 inf/sec=852875
#ENDS
......@@ -158,6 +158,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/cs/rules-001.n3>].
#2018-11-21T14:26:42.588Z in=43 out=2 ent=4 step=8 brake=2 inf=41036 sec=0.045 inf/sec=911911
#2018-11-21T15:04:31.053Z in=43 out=2 ent=4 step=8 brake=2 inf=41047 sec=0.040 inf/sec=1026175
#ENDS
......@@ -113,6 +113,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/csv/select-data-extra.n3>].
#2018-11-21T14:26:43.399Z in=17 out=5 ent=5 step=5 brake=2 inf=49883 sec=0.051 inf/sec=978098
#2018-11-21T15:04:31.944Z in=17 out=5 ent=5 step=5 brake=2 inf=49894 sec=0.051 inf/sec=978314
#ENDS
......@@ -323,6 +323,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/csv/select-data.n3>].
#2018-11-21T14:26:43.048Z in=22 out=17 ent=17 step=17 brake=2 inf=74245 sec=0.050 inf/sec=1484900
#2018-11-21T15:04:31.578Z in=22 out=17 ent=17 step=17 brake=2 inf=74251 sec=0.059 inf/sec=1258492
#ENDS
......@@ -76,6 +76,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/de/de.n3>].
#2018-11-21T14:26:43.893Z in=22 out=1 ent=6 step=18 brake=3 inf=24362 sec=0.038 inf/sec=641105
#2018-11-21T15:04:32.753Z in=22 out=1 ent=6 step=18 brake=3 inf=24372 sec=0.038 inf/sec=641368
#ENDS
......@@ -63,6 +63,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/djiti/graph-10.n3>].
#2018-11-21T14:26:44.229Z in=14 out=2 ent=2 step=2 brake=1 inf=25731 sec=0.039 inf/sec=659769
#2018-11-21T15:04:33.080Z in=14 out=2 ent=2 step=2 brake=1 inf=25741 sec=0.033 inf/sec=780030
#ENDS
......@@ -153,6 +153,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/djiti/graph-100.n3>].
#2018-11-21T14:26:44.475Z in=104 out=6 ent=6 step=6 brake=1 inf=43369 sec=0.045 inf/sec=963756
#2018-11-21T15:04:33.319Z in=104 out=6 ent=6 step=6 brake=1 inf=43377 sec=0.039 inf/sec=1112231
#ENDS
......@@ -2145,6 +2145,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/djiti/graph-1000.n3>].
#2018-11-21T14:26:44.826Z in=1004 out=92 ent=92 step=92 brake=1 inf=390868 sec=0.107 inf/sec=3652972
#2018-11-21T15:04:33.668Z in=1004 out=92 ent=92 step=92 brake=1 inf=390879 sec=0.108 inf/sec=3619250
#ENDS
......@@ -22107,6 +22107,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/djiti/graph-10000.n3>].
#2018-11-21T14:26:46.522Z in=10004 out=966 ent=966 step=966 brake=1 inf=3881425 sec=0.838 inf/sec=4631772
#2018-11-21T15:04:35.140Z in=10004 out=966 ent=966 step=966 brake=1 inf=3881432 sec=0.825 inf/sec=4704766
#ENDS
......@@ -139,6 +139,6 @@ PREFIX : <http://josd.github.io/eye/reasoning#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/djiti/proof-10.n3>].
#2018-11-21T14:26:46.868Z in=54 out=2 ent=8 step=18 brake=2 inf=37822 sec=0.039 inf/sec=969795
#2018-11-21T15:04:35.502Z in=54 out=2 ent=8 step=18 brake=2 inf=37831 sec=0.041 inf/sec=922707
#ENDS
......@@ -348,6 +348,6 @@ PREFIX : <http://josd.github.io/eye/reasoning#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/djiti/proof-100.n3>].
#2018-11-21T14:26:47.236Z in=124 out=6 ent=23 step=48 brake=2 inf=70094 sec=0.053 inf/sec=1322528
#2018-11-21T15:04:35.866Z in=124 out=6 ent=23 step=48 brake=2 inf=70104 sec=0.052 inf/sec=1348154
#ENDS
......@@ -5060,6 +5060,6 @@ PREFIX : <http://josd.github.io/eye/reasoning#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/djiti/proof-1000.n3>].
#2018-11-21T14:26:47.736Z in=1686 out=92 ent=355 step=712 brake=2 inf=804839 sec=0.164 inf/sec=4907555
#2018-11-21T15:04:36.384Z in=1686 out=92 ent=355 step=712 brake=2 inf=804848 sec=0.162 inf/sec=4968198
#ENDS
......@@ -51865,6 +51865,6 @@ PREFIX : <http://josd.github.io/eye/reasoning#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/djiti/proof-10000.n3>].
#2018-11-21T14:26:49.473Z in=17278 out=966 ent=3682 step=7366 brake=2 inf=8124335 sec=1.249 inf/sec=6504672
#2018-11-21T15:04:38.199Z in=17278 out=966 ent=3682 step=7366 brake=2 inf=8124344 sec=1.260 inf/sec=6447892
#ENDS
......@@ -69,6 +69,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/dp/dp.n3>].
#2018-11-21T14:26:50.712Z in=43 out=1 ent=2 step=2 brake=1 inf=31576 sec=0.040 inf/sec=789400
#2018-11-21T15:04:39.445Z in=43 out=1 ent=2 step=2 brake=1 inf=31588 sec=0.044 inf/sec=717909
#ENDS
......@@ -241,6 +241,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/dpe/dpe_theory.n3>].
#2018-11-21T14:26:51.293Z in=52 out=2 ent=32 step=120 brake=4 inf=42336 sec=0.040 inf/sec=1058400
#2018-11-21T15:04:40.053Z in=52 out=2 ent=32 step=120 brake=4 inf=42347 sec=0.048 inf/sec=882229
#ENDS
......@@ -28,6 +28,6 @@ PREFIX dqc: <http://josd.github.io/eye/reasoning/dqc#>
3 dqc:sdcoding 0 .
3 dqc:sdcoding 2 .
#2018-11-21T14:26:51.731Z in=73 out=24 ent=0 step=0 brake=1 inf=16767 sec=0.036 inf/sec=465750
#2018-11-21T15:04:40.503Z in=73 out=24 ent=0 step=0 brake=1 inf=16774 sec=0.033 inf/sec=508303
#ENDS
......@@ -10,6 +10,6 @@ PREFIX math: <http://www.w3.org/2000/10/swap/math#>
0 dqc:sdcoding 0 .
2 dqc:sdcoding 2 .
#2018-11-21T14:26:52.067Z in=31 out=4 ent=4 step=4 brake=2 inf=15672 sec=0.036 inf/sec=435333
#2018-11-21T15:04:40.834Z in=31 out=4 ent=4 step=4 brake=2 inf=15680 sec=0.033 inf/sec=475152
#ENDS
......@@ -15034,6 +15034,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/dt/test-dt-1000.n3>].
#2018-11-21T14:26:52.941Z in=9008 out=1 ent=2999 step=5998 brake=2 inf=1940728 sec=0.359 inf/sec=5405928
#2018-11-21T15:04:41.984Z in=9008 out=1 ent=2999 step=5998 brake=2 inf=1940736 sec=0.378 inf/sec=5134222
#ENDS
......@@ -1016,6 +1016,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/easter/easterP.n3>].
#2018-11-21T14:26:53.410Z in=57 out=16 ent=32 step=64 brake=2 inf=200486 sec=0.066 inf/sec=3037667
#2018-11-21T15:04:42.443Z in=57 out=16 ent=32 step=64 brake=2 inf=200495 sec=0.062 inf/sec=3233790
#ENDS
......@@ -110,6 +110,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/einstein/einstein.n3>].
#2018-11-21T14:26:53.959Z in=28 out=1 ent=2 step=4 brake=2 inf=671612 sec=0.139 inf/sec=4831741
#2018-11-21T15:04:42.988Z in=28 out=1 ent=2 step=4 brake=2 inf=671624 sec=0.143 inf/sec=4696671
#ENDS
......@@ -1004,6 +1004,6 @@ PREFIX e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>
((1.0 0.0) (31.479139483246144 -5.637636835003695) (49.6500993311686 21.292855459119252) (-7.509269162080673 -4.685394625106959) (44.19898428417116 0.09388861810012417)) e:roots ((-30.04806036124109 6.671361387382722) (-1.8564286933350918 -0.8715530609384365) (0.14001882652977038 -0.8874311173161269) (0.2853307448002713 0.725259625875537)).
((1.0 0.0) (-3.4735945942544033 -5.724317381286637) (27.95030525291834 -45.78866148003705) (-35.441953702016335 -26.5046605108508) (-14.350738086782172 -39.59708380047468)) e:roots ((5.746180404504588 9.593740189549036) (-0.3856613070277868 -0.47108060895022996) (-2.1856418312890327 -4.580144382021954) (0.29871732806663354 1.181802182709784)).
#2018-11-21T14:26:56.323Z in=1004 out=1000 ent=1000 step=1000 brake=1 inf=9855510 sec=1.176 inf/sec=8380536
#2018-11-21T15:04:45.352Z in=1004 out=1000 ent=1000 step=1000 brake=1 inf=9855520 sec=1.163 inf/sec=8474222
#ENDS
......@@ -669,6 +669,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/fcm/example002P.n3>].
#2018-11-21T14:26:57.177Z in=260 out=8 ent=50 step=307 brake=6 inf=469008 sec=0.112 inf/sec=4187571
#2018-11-21T15:04:46.254Z in=260 out=8 ent=50 step=307 brake=6 inf=469018 sec=0.112 inf/sec=4187661
#ENDS
......@@ -1211,6 +1211,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
1 log:equalTo _:x_1_20} {1 log:equalTo 1 .
1 log:equalTo 1}) e:derive true}}}].
#2018-11-21T14:26:58.159Z in=630 out=18 ent=237 step=1917 brake=5 inf=807040 sec=0.187 inf/sec=4315722
#2018-11-21T15:04:47.245Z in=630 out=18 ent=237 step=1917 brake=5 inf=807053 sec=0.193 inf/sec=4181622
#ENDS
......@@ -1253,6 +1253,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/fib/fib.n3>].
#2018-11-21T14:26:58.640Z in=14 out=1 ent=1 step=1 brake=1 inf=148825 sec=0.060 inf/sec=2480417
#2018-11-21T15:04:47.719Z in=14 out=1 ent=1 step=1 brake=1 inf=148835 sec=0.059 inf/sec=2522627
#ENDS
......@@ -935,6 +935,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
);
r:rule <#lemma92>.
#2018-11-21T14:26:59.367Z in=347 out=6 ent=1591 step=18973 brake=12 inf=753609 sec=0.129 inf/sec=5841930
#2018-11-21T15:04:48.427Z in=347 out=6 ent=1591 step=18973 brake=12 inf=753619 sec=0.126 inf/sec=5981103
#ENDS
......@@ -172,6 +172,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/glass/test.n3>].
#2018-11-21T14:27:00.801Z in=46 out=6 ent=7 step=30 brake=2 inf=42967 sec=0.039 inf/sec=1101718
#2018-11-21T15:04:48.883Z in=46 out=6 ent=7 step=30 brake=2 inf=42955 sec=0.043 inf/sec=998953
#ENDS
......@@ -285,6 +285,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/gps/gps-plugin.n3>].
#2018-11-21T14:27:01.424Z in=60 out=1 ent=1 step=1 brake=2 inf=80213 sec=0.058 inf/sec=1382983
#2018-11-21T15:04:49.493Z in=60 out=1 ent=1 step=1 brake=2 inf=80203 sec=0.053 inf/sec=1513264
#ENDS
......@@ -5872,6 +5872,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
);
r:rule <#lemma336>.
#2018-11-21T14:27:02.298Z in=201 out=10 ent=10 step=10 brake=2 inf=2321194 sec=0.353 inf/sec=6575620
#2018-11-21T15:04:50.363Z in=201 out=10 ent=10 step=10 brake=2 inf=2321184 sec=0.352 inf/sec=6594273
#ENDS
......@@ -158,6 +158,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/graph/graph.axiom.n3>].
#2018-11-21T14:27:02.885Z in=171 out=1 ent=24 step=70 brake=2 inf=39591 sec=0.035 inf/sec=1131171
#2018-11-21T15:04:50.966Z in=171 out=1 ent=24 step=70 brake=2 inf=39582 sec=0.042 inf/sec=942429
#ENDS
......@@ -58,6 +58,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/h2o/rules-001.n3>].
#2018-11-21T14:27:03.542Z in=16 out=1 ent=6 step=12 brake=2 inf=27425 sec=0.045 inf/sec=609444
#2018-11-21T15:04:51.597Z in=16 out=1 ent=6 step=12 brake=2 inf=27413 sec=0.043 inf/sec=637512
#ENDS
......@@ -149,6 +149,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/hanoi/hanoi.n3>].
#2018-11-21T14:27:03.756Z in=13 out=1 ent=2 step=2 brake=1 inf=34194 sec=0.038 inf/sec=899842
#2018-11-21T15:04:51.783Z in=13 out=1 ent=2 step=2 brake=1 inf=34185 sec=0.032 inf/sec=1068281
#ENDS
......@@ -6534,6 +6534,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/image/year.n3>].
#2018-11-21T14:27:04.692Z in=46 out=101 ent=202 step=404 brake=2 inf=1216497 sec=0.171 inf/sec=7114018
#2018-11-21T15:04:52.770Z in=46 out=101 ent=202 step=404 brake=2 inf=1216486 sec=0.173 inf/sec=7031711
#ENDS
......@@ -199,6 +199,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/iq/iq.n3>].
#2018-11-21T14:27:05.003Z in=29 out=10 ent=13 step=26 brake=2 inf=55938 sec=0.042 inf/sec=1331857
#2018-11-21T15:04:53.065Z in=29 out=10 ent=13 step=26 brake=2 inf=55928 sec=0.031 inf/sec=1804129
#ENDS
......@@ -867,6 +867,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/lldm/lldmP.n3>].
#2018-11-21T14:27:05.639Z in=356 out=1 ent=39 step=124 brake=4 inf=129931 sec=0.063 inf/sec=2062397
#2018-11-21T15:04:54.107Z in=356 out=1 ent=39 step=124 brake=4 inf=129920 sec=0.062 inf/sec=2095484
#ENDS
......@@ -208,6 +208,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/gps/gps-plugin.n3>].
#2018-11-21T14:27:06.127Z in=56 out=1 ent=1 step=1 brake=2 inf=61560 sec=0.042 inf/sec=1465714
#2018-11-21T15:04:54.617Z in=56 out=1 ent=1 step=1 brake=2 inf=61552 sec=0.046 inf/sec=1338087
#ENDS
......@@ -295,6 +295,6 @@ PREFIX : <http://josd.github.io/eye/reasoning#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/gps/gps-plugin.n3>].
#2018-11-21T14:27:06.794Z in=309 out=1 ent=10 step=82 brake=4 inf=127896 sec=0.067 inf/sec=1908896
#2018-11-21T15:04:55.290Z in=309 out=1 ent=10 step=82 brake=4 inf=127884 sec=0.073 inf/sec=1751836
#ENDS
......@@ -100,6 +100,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/medic/medic.n3>].
#2018-11-21T14:27:07.246Z in=30 out=2 ent=4 step=8 brake=4 inf=34589 sec=0.042 inf/sec=823548
#2018-11-21T15:04:55.771Z in=30 out=2 ent=4 step=8 brake=4 inf=34576 sec=0.040 inf/sec=864400
#ENDS
......@@ -1538,6 +1538,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/mmln/mmln-plugin.n3>].
#2018-11-21T14:27:08.231Z in=1546 out=47 ent=105 step=330 brake=4 inf=1536561 sec=0.262 inf/sec=5864737
#2018-11-21T15:04:57.524Z in=1546 out=47 ent=105 step=330 brake=4 inf=1536551 sec=0.261 inf/sec=5887169
#ENDS
This diff is collapsed.
......@@ -133,6 +133,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/n3p/extra.ttl>].
#2018-11-21T14:27:10.575Z in=7 out=7 ent=7 step=7 brake=1 inf=26404 sec=0.036 inf/sec=733444
#2018-11-21T15:04:59.850Z in=7 out=7 ent=7 step=7 brake=1 inf=26417 sec=0.035 inf/sec=754771
#ENDS
......@@ -185,6 +185,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/n3p/literals.ttl>].
#2018-11-21T14:27:10.755Z in=10 out=10 ent=10 step=10 brake=1 inf=29452 sec=0.032 inf/sec=920375
#2018-11-21T15:05:00.031Z in=10 out=10 ent=10 step=10 brake=1 inf=29482 sec=0.028 inf/sec=1052929
#ENDS
......@@ -258,6 +258,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/n3p/sample.n3>].
#2018-11-21T14:27:10.941Z in=12 out=12 ent=13 step=29 brake=2 inf=53689 sec=0.044 inf/sec=1220205
#2018-11-21T15:05:00.241Z in=12 out=12 ent=13 step=29 brake=2 inf=53720 sec=0.045 inf/sec=1193778
#ENDS
......@@ -150,6 +150,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/n3p/simple.ttl>].
#2018-11-21T14:27:10.366Z in=8 out=8 ent=8 step=8 brake=1 inf=32174 sec=0.037 inf/sec=869568
#2018-11-21T15:04:59.660Z in=8 out=8 ent=8 step=8 brake=1 inf=32183 sec=0.033 inf/sec=975242
#ENDS
......@@ -114,6 +114,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/nbbn/nbbn-plugin.n3>].
#2018-11-21T14:27:11.551Z in=158 out=1 ent=1 step=1 brake=2 inf=72897 sec=0.050 inf/sec=1457940
#2018-11-21T15:05:00.857Z in=158 out=1 ent=1 step=1 brake=2 inf=72927 sec=0.052 inf/sec=1402442
#ENDS
......@@ -11,11 +11,95 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
r:component <#lemma3>;
r:component <#lemma4>;
r:component <#lemma5>;
r:component <#lemma6>;
r:component <#lemma7>;
r:component <#lemma8>;
r:gives {
:s1 :p "1.0e+83"^^xsd:double .
:s2 :p "#2018-11-21T14:27:11.847Z in=8 out=1 ent=8 step=8 brake=1 inf=16550 sec=0.034 inf/sec=486765
:s4 :p "999999999.999999"^^xsd:decimal .
:s5 :p "999999999.99999900"^^xsd:decimal .
:s6 :p "999999999.999999"^^xsd:decimal .
:s7 :p "9.99999999e+15"^^xsd:double .
:s8 :p "9.0"^^xsd:decimal .
}.
<#lemma1> a r:Inference;
r:gives {
:s4 :p "999999999.999999"^^xsd:decimal .
};
r:evidence (
<#lemma6>
);
r:rule <#lemma7>.
<#lemma2> a r:Inference;
r:gives {
:s5 :p "999999999.99999900"^^xsd:decimal .
};
r:evidence (
<#lemma8>
);
r:rule <#lemma7>.
<#lemma3> a r:Inference;
r:gives {
:s6 :p "999999999.999999"^^xsd:decimal .
};
r:evidence (
<#lemma9>
);
r:rule <#lemma7>.
<#lemma4> a r:Inference;
r:gives {
:s7 :p "9.99999999e+15"^^xsd:double .
};
r:evidence (
<#lemma10>
);
r:rule <#lemma7>.
<#lemma5> a r:Inference;
r:gives {
:s8 :p "9.0"^^xsd:decimal .
};
r:evidence (
<#lemma11>
);
r:rule <#lemma7>.
<#lemma6> a r:Extraction;
r:gives {
:s4 :p "999999999.999999"^^xsd:decimal .
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/numeral/numeral.n3>].
<#lemma7> a r:Extraction;
r:gives {
{?x_1_1 ?x_0_1 ?x_2_1} => {?x_1_1 ?x_0_1 ?x_2_1}.
};
r:because [ a r:Parsing; r:source <http://eulersharp.sourceforge.net/2003/03swap/pass>].
<#lemma8> a r:Extraction;
r:gives {
:s5 :p "999999999.99999900"^^xsd:decimal .
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/numeral/numeral.n3>].
<#lemma9> a r:Extraction;
r:gives {
:s6 :p "999999999.999999"^^xsd:decimal .
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/numeral/numeral.n3>].
<#lemma10> a r:Extraction;
r:gives {
:s7 :p "9.99999999e+15"^^xsd:double .
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/numeral/numeral.n3>].
<#lemma11> a r:Extraction;
r:gives {
:s8 :p "9.0"^^xsd:decimal .
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/numeral/numeral.n3>].
#2018-11-21T15:05:01.154Z in=5 out=5 ent=5 step=5 brake=1 inf=25637 sec=0.037 inf/sec=692892
#ENDS
......@@ -18057,6 +18057,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/pi/pi.n3>].
#2018-11-21T14:27:12.602Z in=22 out=1 ent=1 step=1 brake=1 inf=2902422 sec=0.398 inf/sec=7292518
#2018-11-21T15:05:01.917Z in=22 out=1 ent=1 step=1 brake=1 inf=2902453 sec=0.395 inf/sec=7347982
#ENDS
......@@ -80,6 +80,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/pptbank/checking.n3>].
#2018-11-21T14:27:13.657Z in=34 out=1 ent=2 step=4 brake=1 inf=32718 sec=0.046 inf/sec=711261
#2018-11-21T15:05:02.965Z in=34 out=1 ent=2 step=4 brake=1 inf=32748 sec=0.048 inf/sec=682250
#ENDS
......@@ -429,6 +429,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/rpo/rdfs-subClassOf.n3>].
#2018-11-21T14:27:15.663Z in=59 out=16 ent=91 step=338 brake=3 inf=68818 sec=0.051 inf/sec=1349373
#2018-11-21T15:05:05.006Z in=59 out=16 ent=91 step=338 brake=3 inf=68848 sec=0.050 inf/sec=1376960
#ENDS
......@@ -377,6 +377,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/preduction/food2.n3>].
#2018-11-21T14:27:16.058Z in=113 out=16 ent=27 step=115 brake=5 inf=54603 sec=0.046 inf/sec=1187022
#2018-11-21T15:05:05.418Z in=113 out=16 ent=27 step=115 brake=5 inf=54633 sec=0.048 inf/sec=1138188
#ENDS
......@@ -43,6 +43,6 @@ PREFIX p: <http://josd.github.io/eye/reasoning/preduction#>
{?U_441 a food:RedMeat} => {?U_441 a food:Meat}.
{?U_454 a food:EatingGrape} => {?U_454 a food:Grape}.
#2018-11-21T14:27:15.030Z in=106 out=35 ent=35 step=35 brake=0 inf=66855 sec=0.049 inf/sec=1364388
#2018-11-21T15:05:04.358Z in=106 out=35 ent=35 step=35 brake=0 inf=66885 sec=0.043 inf/sec=1555465
#ENDS
......@@ -738,6 +738,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/preduction/palindrome.n3>].
#2018-11-21T14:27:14.269Z in=29 out=1 ent=1 step=1 brake=1 inf=158656 sec=0.060 inf/sec=2644267
#2018-11-21T15:05:03.591Z in=29 out=1 ent=1 step=1 brake=1 inf=158687 sec=0.061 inf/sec=2601426
#ENDS
......@@ -427,6 +427,6 @@ PREFIX r: <http://www.w3.org/2000/10/swap/reason#>
};
r:because [ a r:Parsing; r:source <http://josd.github.io/eye/reasoning/preduction/palindrome2.n3>].
#2018-11-21T14:27:14.727Z in=27 out=1 ent=1 step=1 brake=1 inf=114746 sec=0.051 inf/sec=2249922
#2018-11-21T15:05:04.057Z in=27 out=1 ent=1 step=1 brake=1 inf=114776 sec=0.054 inf/sec=2125481
#ENDS
......@@ -13,6 +13,6 @@ PREFIX : <http://josd.github.io/eye/reasoning#>
{(?U_15 :pop ?U_16) :palindrome true} <= {?U_15 e:firstRest (?U_17 ?U_18). ?U_16 e:firstRest (?U_17 ?U_19). (?U_18 :pop ?U_19) :palindrome true}.
(() :pop ()) :palindrome true.
#2018-11-21T14:27:13.807Z in=88 out=6 ent=6 step=6 brake=1 inf=26868 sec=0.028 inf/sec=959571
#2018-11-21T15:05:03.125Z in=88 out=6 ent=6 step=6 brake=1 inf=26896 sec=0.032 inf/sec=840500
#ENDS
stamp,in,out,ent,step,brake,inf,sec,inf/sec
2018-11-21T14:26:37.134Z,34,1,1,1,2,47073,0.051,923000
2018-11-21T14:26:38.204Z,470,98,146,961,5,999690,0.195,5126615
2018-11-21T14:26:39.170Z,295,50,100,48,4,220668,0.087,2536414
2018-11-21T14:26:41.793Z,10012,1518,1518,1518,1,4717751,0.786,6002228
2018-11-21T14:26:42.096Z,9,3,6,12,2,27281,0.032,852531
2018-11-21T14:26:42.588Z,43,2,4,8,2,41036,0.045,911911
2018-11-21T14:26:43.048Z,22,17,17,17,2,74245,0.050,1484900
2018-11-21T14:26:43.399Z,17,5,5,5,2,49883,0.051,978098
2018-11-21T14:26:43.893Z,22,1,6,18,3,24362,0.038,641105
2018-11-21T14:26:44.229Z,14,2,2,2,1,25731,0.039,659769
2018-11-21T14:26:44.475Z,104,6,6,6,1,43369,0.045,963756
2018-11-21T14:26:44.826Z,1004,92,92,92,1,390868,0.107,3652972
2018-11-21T14:26:46.522Z,10004,966,966,966,1,3881425,0.838,4631772
2018-11-21T14:26:46.868Z,54,2,8,18,2,37822,0.039,969795
2018-11-21T14:26:47.236Z,124,6,23,48,2,70094,0.053,1322528
2018-11-21T14:26:47.736Z,1686,92,355,712,2,804839,0.164,4907555
2018-11-21T14:26:49.473Z,17278,966,3682,7366,2,8124335,1.249,6504672
2018-11-21T14:26:50.712Z,43,1,2,2,1,31576,0.040,789400
2018-11-21T14:26:51.293Z,52,2,32,120,4,42336,0.040,1058400
2018-11-21T14:26:51.731Z,73,24,0,0,1,16767,0.036,465750
2018-11-21T14:26:52.067Z,31,4,4,4,2,15672,0.036,435333
2018-11-21T14:26:52.941Z,9008,1,2999,5998,2,1940728,0.359,5405928
2018-11-21T14:26:53.410Z,57,16,32,64,2,200486,0.066,3037667
2018-11-21T14:26:53.959Z,28,1,2,4,2,671612,0.139,4831741
2018-11-21T14:26:56.323Z,1004,1000,1000,1000,1,9855510,1.176,8380536
2018-11-21T14:26:57.177Z,260,8,50,307,6,469008,0.112,4187571
2018-11-21T14:26:58.159Z,630,18,237,1917,5,807040,0.187,4315722
2018-11-21T14:26:58.640Z,14,1,1,1,1,148825,0.060,2480417
2018-11-21T14:26:59.367Z,347,6,1591,18973,12,753609,0.129,5841930
2018-11-21T14:27:00.801Z,46,6,7,30,2,42967,0.039,1101718
2018-11-21T14:27:01.424Z,60,1,1,1,2,80213,0.058,1382983
2018-11-21T14:27:02.298Z,201,10,10,10,2,2321194,0.353,6575620
2018-11-21T14:27:02.885Z,171,1,24,70,2,39591,0.035,1131171
2018-11-21T14:27:03.542Z,16,1,6,12,2,27425,0.045,609444
2018-11-21T14:27:03.756Z,13,1,2,2,1,34194,0.038,899842
2018-11-21T14:27:04.692Z,46,101,202,404,2,1216497,0.171,7114018
2018-11-21T14:27:05.003Z,29,10,13,26,2,55938,0.042,1331857
2018-11-21T14:27:05.639Z,356,1,39,124,4,129931,0.063,2062397
2018-11-21T14:27:06.127Z,56,1,1,1,2,61560,0.042,1465714
2018-11-21T14:27:06.794Z,309,1,10,82,4,127896,0.067,1908896
2018-11-21T14:27:07.246Z,30,2,4,8,4,34589,0.042,823548
2018-11-21T14:27:08.231Z,1546,47,105,330,4,1536561,0.262,5864737
2018-11-21T14:27:10.055Z,100600,117,0,0,1,5368345,1.464,3666902
2018-11-21T14:27:10.366Z,8,8,8,8,1,32174,0.037,869568
2018-11-21T14:27:10.575Z,7,7,7,7,1,26404,0.036,733444
2018-11-21T14:27:10.755Z,10,10,10,10,1,29452,0.032,920375
2018-11-21T14:27:10.941Z,12,12,13,29,2,53689,0.044,1220205
2018-11-21T14:27:11.551Z,158,1,1,1,2,72897,0.050,1457940
2018-11-21T14:27:11.847Z,8,1,8,8,1,16550,0.034,486765
2018-11-21T14:27:12.602Z,22,1,1,1,1,2902422,0.398,7292518
2018-11-21T14:27:13.657Z,34,1,2,4,1,32718,0.046,711261
2018-11-21T14:27:13.807Z,88,6,6,6,1,26868,0.028,959571
2018-11-21T14:27:14.269Z,29,1,1,1,1,158656,0.060,2644267
2018-11-21T14:27:14.727Z,27,1,1,1,1,114746,0.051,2249922
2018-11-21T14:27:15.030Z,106,35,35,35,0,66855,0.049,1364388
2018-11-21T14:27:15.663Z,59,16,91,338,3,68818,0.051,1349373
2018-11-21T14:27:16.058Z,113,16,27,115,5,54603,0.046,1187022
2018-11-21T14:27:16.680Z,102,1,209,218,1,78514,0.047,1670511
2018-11-21T14:27:17.116Z,78,4,47,7,1,56270,0.047,1197234
2018-11-21T14:27:17.570Z,13,2,2,2,1,21806,0.039,559128
2018-11-21T14:27:18.005Z,13,2,2,2,1,21976,0.037,593946
2018-11-21T14:27:18.338Z,11,2,2,2,1,20997,0.037,567486
2018-11-21T14:27:19.030Z,683,222,443,1776,4,1533322,0.240,6388842
2018-11-21T14:27:19.684Z,59,16,91,338,3,68861,0.046,1496978
2018-11-21T14:27:20.227Z,1013,1,1,1,1,1397399,0.219,6380817
2018-11-21T14:27:20.848Z,288,1,12,28,2,40010,0.045,889111
2018-11-21T14:27:21.159Z,9,2,3,6,2,21817,0.033,661121
2018-11-21T14:27:21.351Z,35,101,0,0,0,27417,0.036,761583
2018-11-21T14:27:21.892Z,606,81,81,81,1,92490,0.053,1745094
2018-11-21T14:27:22.227Z,608,54,54,54,1,81602,0.056,1457179
2018-11-21T14:27:22.545Z,608,46,46,46,1,74680,0.051,1464314
2018-11-21T14:27:22.869Z,610,19,19,19,1,54349,0.049,1109163
2018-11-21T14:27:23.752Z,769,3,1,1,0,336746,0.099,3401475
2018-11-21T14:27:24.383Z,16,1,1,1,1,1254690,0.215,5835767
2018-11-21T14:27:24.985Z,26,7,21,42,4,65777,0.048,1370354
2018-11-21T14:27:25.438Z,57,1,1,1,1,63325,0.052,1217788
2018-11-21T14:27:25.891Z,60,2,24,88,5,49462,0.040,1236550
2018-11-21T14:27:26.192Z,5,5,5,5,1,24910,0.039,638718
2018-11-21T14:27:26.527Z,20,1,7,25,5,26720,0.035,763429
2018-11-21T14:27:27.012Z,97,1,9,43,3,42455,0.050,849100
2018-11-21T15:04:24.925Z,34,1,1,1,2,47083,0.053,888358
2018-11-21T15:04:26.259Z,470,97,146,855,5,976980,0.193,5062073
2018-11-21T15:04:27.213Z,295,50,100,48,4,220676,0.084,2627095
2018-11-21T15:04:30.269Z,10012,1518,1518,1518,1,4717762,0.788,5987008
2018-11-21T15:04:30.578Z,9,3,6,12,2,27292,0.032,852875
2018-11-21T15:04:31.053Z,43,2,4,8,2,41047,0.040,1026175
2018-11-21T15:04:31.578Z,22,17,17,17,2,74251,0.059,1258492
2018-11-21T15:04:31.944Z,17,5,5,5,2,49894,0.051,978314
2018-11-21T15:04:32.753Z,22,1,6,18,3,24372,0.038,641368
2018-11-21T15:04:33.080Z,14,2,2,2,1,25741,0.033,780030
2018-11-21T15:04:33.319Z,104,6,6,6,1,43377,0.039,1112231
2018-11-21T15:04:33.668Z,1004,92,92,92,1,390879,0.108,3619250
2018-11-21T15:04:35.140Z,10004,966,966,966,1,3881432,0.825,4704766
2018-11-21T15:04:35.502Z,54,2,8,18,2,37831,0.041,922707
2018-11-21T15:04:35.866Z,124,6,23,48,2,70104,0.052,1348154
2018-11-21T15:04:36.384Z,1686,92,355,712,2,804848,0.162,4968198
2018-11-21T15:04:38.199Z,17278,966,3682,7366,2,8124344,1.260,6447892
2018-11-21T15:04:39.445Z,43,1,2,2,1,31588,0.044,717909
2018-11-21T15:04:40.053Z,52,2,32,120,4,42347,0.048,882229
2018-11-21T15:04:40.503Z,73,24,0,0,1,16774,0.033,508303
2018-11-21T15:04:40.834Z,31,4,4,4,2,15680,0.033,475152
2018-11-21T15:04:41.984Z,9008,1,2999,5998,2,1940736,0.378,5134222
2018-11-21T15:04:42.443Z,57,16,32,64,2,200495,0.062,3233790
2018-11-21T15:04:42.988Z,28,1,2,4,2,671624,0.143,4696671
2018-11-21T15:04:45.352Z,1004,1000,1000,1000,1,9855520,1.163,8474222
2018-11-21T15:04:46.254Z,260,8,50,307,6,469018,0.112,4187661
2018-11-21T15:04:47.245Z,630,18,237,1917,5,807053,0.193,4181622
2018-11-21T15:04:47.719Z,14,1,1,1,1,148835,0.059,2522627
2018-11-21T15:04:48.427Z,347,6,1591,18973,12,753619,0.126,5981103
2018-11-21T15:04:48.883Z,46,6,7,30,2,42955,0.043,998953
2018-11-21T15:04:49.493Z,60,1,1,1,2,80203,0.053,1513264
2018-11-21T15:04:50.363Z,201,10,10,10,2,2321184,0.352,6594273
2018-11-21T15:04:50.966Z,171,1,24,70,2,39582,0.042,942429
2018-11-21T15:04:51.597Z,16,1,6,12,2,27413,0.043,637512
2018-11-21T15:04:51.783Z,13,1,2,2,1,34185,0.032,1068281
2018-11-21T15:04:52.770Z,46,101,202,404,2,1216486,0.173,7031711
2018-11-21T15:04:53.065Z,29,10,13,26,2,55928,0.031,1804129
2018-11-21T15:04:54.107Z,356,1,39,124,4,129920,0.062,2095484
2018-11-21T15:04:54.617Z,56,1,1,1,2,61552,0.046,1338087
2018-11-21T15:04:55.290Z,309,1,10,82,4,127884,0.073,1751836
2018-11-21T15:04:55.771Z,30,2,4,8,4,34576,0.040,864400
2018-11-21T15:04:57.524Z,1546,47,105,330,4,1536551,0.261,5887169
2018-11-21T15:04:59.368Z,100600,117,0,0,1,5367489,1.482,3621787
2018-11-21T15:04:59.660Z,8,8,8,8,1,32183,0.033,975242
2018-11-21T15:04:59.850Z,7,7,7,7,1,26417,0.035,754771
2018-11-21T15:05:00.031Z,10,10,10,10,1,29482,0.028,1052929
2018-11-21T15:05:00.241Z,12,12,13,29,2,53720,0.045,1193778
2018-11-21T15:05:00.857Z,158,1,1,1,2,72927,0.052,1402442
2018-11-21T15:05:01.154Z,5,5,5,5,1,25637,0.037,692892
2018-11-21T15:05:01.917Z,22,1,1,1,1,2902453,0.395,7347982
2018-11-21T15:05:02.965Z,34,1,2,4,1,32748,0.048,682250
2018-11-21T15:05:03.125Z,88,6,6,6,1,26896,0.032,840500
2018-11-21T15:05:03.591Z,29,1,1,1,1,158687,0.061,2601426
2018-11-21T15:05:04.057Z,27,1,1,1,1,114776,0.054,2125481
2018-11-21T15:05:04.358Z,106,35,35,35,0,66885,0.043,1555465
2018-11-21T15:05:05.006Z,59,16,91,338,3,68848,0.050,1376960
2018-11-21T15:05:05.418Z,113,16,27,115,5,54633,0.048,1138188
2018-11-21T15:05:06.025Z,102,1,209,218,1,78543,0.053,1481943
2018-11-21T15:05:06.488Z,78,4,47,7,1,56298,0.049,1148939
2018-11-21T15:05:06.925Z,13,2,2,2,1,21837,0.044,496295
2018-11-21T15:05:07.362Z,13,2,2,2,1,22005,0.037,594730
2018-11-21T15:05:07.708Z,11,2,2,2,1,21026,0.043,488977
2018-11-21T15:05:08.388Z,683,222,443,1776,4,1533352,0.231,6637887
2018-11-21T15:05:09.051Z,59,16,91,338,3,68891,0.045,1530911
2018-11-21T15:05:09.878Z,1013,1,1,1,1,1397429,0.225,6210796
2018-11-21T15:05:10.478Z,288,1,12,28,2,40023,0.043,930767
2018-11-21T15:05:11.805Z,9,2,3,6,2,21827,0.030,727567
2018-11-21T15:05:12.005Z,35,101,0,0,0,27428,0.037,741297
2018-11-21T15:05:12.509Z,606,81,81,81,1,92501,0.062,1491952
2018-11-21T15:05:12.824Z,608,54,54,54,1,81612,0.050,1632240
2018-11-21T15:05:13.154Z,608,46,46,46,1,74687,0.059,1265881
2018-11-21T15:05:13.479Z,610,19,19,19,1,54359,0.047,1156574
2018-11-21T15:05:14.366Z,769,3,1,1,0,336757,0.097,3471722
2018-11-21T15:05:15.008Z,16,1,1,1,1,1254701,0.218,5755509
2018-11-21T15:05:15.831Z,26,7,21,42,4,65786,0.055,1196109
2018-11-21T15:05:16.287Z,57,1,1,1,1,63335,0.048,1319479
2018-11-21T15:05:17.049Z,60,2,24,88,5,49473,0.045,1099400
2018-11-21T15:05:17.345Z,5,5,5,5,1,24920,0.044,566364
2018-11-21T15:05:17.681Z,20,1,7,25,5,26728,0.031,862194