# # ChangeLog for / # # Generated by Trac 1.0.1dev-r11478 # Dec 23, 2024, 3:20:39 AM Tue, 19 Mar 2019 10:57:12 GMT eichelberger [276] * reasoner/conclusion.tex (modified) * reasoner/evaluation.tex (modified) * reasoner/reasoner.bib (modified) * reasoner/reasoner.tex (modified) Sat, 16 Mar 2019 08:44:49 GMT eichelberger [275] * reasoner/conclusion.tex (modified) * reasoner/evaluation.tex (modified) * reasoner/introduction.tex (modified) Fri, 15 Mar 2019 16:10:39 GMT eichelberger [274] * reasoner/conclusion.tex (modified) * reasoner/evaluation.tex (modified) Fri, 15 Mar 2019 12:23:27 GMT eichelberger [273] * reasoner/conclusion.tex (modified) * reasoner/evaluation.tex (modified) Thu, 14 Mar 2019 11:41:11 GMT eichelberger [272] * reasoner/measures (modified) Thu, 14 Mar 2019 11:40:44 GMT eichelberger [271] * reasoner/evaluation.tex (modified) * reasoner/figures/benchmark-results-pi-1_3_0-jdk1_8-20190219_evaluationTime_all.pdf (deleted) * reasoner/figures/benchmark-results-pi-1_3_0-jdk1_8-20190219_reasoningTime_all.pdf (deleted) * reasoner/figures/benchmark-results-pi-1_3_0-jdk1_8-20190219_translationTime_all.pdf (deleted) * reasoner/figures/benchmark-results-pi-1_3_0-jdk1_8-20190308_evaluationTime_all.pdf (added) * reasoner/figures/benchmark-results-pi-1_3_0-jdk1_8-20190308_reasoningTime_all.pdf (added) * reasoner/figures/benchmark-results-pi-1_3_0-jdk1_8-20190308_translationTime_all.pdf (added) * reasoner/measures/log.txt (modified) Thu, 14 Mar 2019 08:58:08 GMT eichelberger [270] * reasoner/measures/benchmark-results-pi-1_3_0-jdk1_8-20190308.zip (modified) Wed, 13 Mar 2019 09:38:40 GMT eichelberger [269] * reasoner/evaluation.tex (modified) * reasoner/figures/benchmark-results-jenkins-1_3_0-20190215_evaluationTime_all.pdf (deleted) * reasoner/figures/benchmark-results-jenkins-1_3_0-20190215_reasoningTime_all.pdf (deleted) * reasoner/figures/benchmark-results-jenkins-1_3_0-20190215_translationTime_all.pdf (deleted) * reasoner/figures/benchmark-results-jenkins-1_3_0-jdk1_8-20190308_evaluationTime_all.pdf (added) * reasoner/figures/benchmark-results-jenkins-1_3_0-jdk1_8-20190308_reasoningTime_all.pdf (added) * reasoner/figures/benchmark-results-jenkins-1_3_0-jdk1_8-20190308_translationTime_all.pdf (added) * reasoner/figures/benchmark-results-new-1_3_0-ojdk10-20190215_evaluationTime_all.pdf (deleted) * reasoner/figures/benchmark-results-new-1_3_0-ojdk10-20190215_reasoningTime_all.pdf (deleted) * reasoner/figures/benchmark-results-new-1_3_0-ojdk10-20190215_translationTime_all.pdf (deleted) * reasoner/figures/benchmark-results-new-1_3_0-ojdk10-20190308_evaluationTime_all.pdf (added) * reasoner/figures/benchmark-results-new-1_3_0-ojdk10-20190308_reasoningTime_all.pdf (added) * reasoner/figures/benchmark-results-new-1_3_0-ojdk10-20190308_translationTime_all.pdf (added) * reasoner/figures/benchmark-results-new-1_3_0-ojdk1_8-20190215_evaluationTime_all.pdf (deleted) * reasoner/figures/benchmark-results-new-1_3_0-ojdk1_8-20190215_reasoningTime_all.pdf (deleted) * reasoner/figures/benchmark-results-new-1_3_0-ojdk1_8-20190215_translationTime_all.pdf (deleted) * reasoner/figures/benchmark-results-new-1_3_0-ojdk1_8-20190308_evaluationTime_all.pdf (added) * reasoner/figures/benchmark-results-new-1_3_0-ojdk1_8-20190308_reasoningTime_all.pdf (added) * reasoner/figures/benchmark-results-new-1_3_0-ojdk1_8-20190308_translationTime_all.pdf (added) * reasoner/figures/benchmark-results-old-1_1_0-jdk1_8-20190215_evaluationTime_all.pdf (deleted) * reasoner/figures/benchmark-results-old-1_1_0-jdk1_8-20190215_reasoningTime_all.pdf (deleted) * reasoner/figures/benchmark-results-old-1_1_0-jdk1_8-20190215_translationTime_all.pdf (deleted) * reasoner/figures/benchmark-results-old-1_1_0-jdk1_8-20190308_evaluationTime_all.pdf (added) * reasoner/figures/benchmark-results-old-1_1_0-jdk1_8-20190308_reasoningTime_all.pdf (added) * reasoner/figures/benchmark-results-old-1_1_0-jdk1_8-20190308_translationTime_all.pdf (added) * reasoner/figures/benchmark-results-old-1_3_0-jdk1_8-20190215_evaluationTime_all.pdf (deleted) * reasoner/figures/benchmark-results-old-1_3_0-jdk1_8-20190215_reasoningTime_all.pdf (deleted) * reasoner/figures/benchmark-results-old-1_3_0-jdk1_8-20190215_translationTime_all.pdf (deleted) * reasoner/figures/benchmark-results-old-1_3_0-jdk1_8-20190308_evaluationTime_all.pdf (added) * reasoner/figures/benchmark-results-old-1_3_0-jdk1_8-20190308_reasoningTime_all.pdf (added) * reasoner/figures/benchmark-results-old-1_3_0-jdk1_8-20190308_translationTime_all.pdf (added) * reasoner/figures/benchmark-results-pi-1_1_0-jdk1_8-20190219_evaluationTime_all.pdf (deleted) * reasoner/figures/benchmark-results-pi-1_1_0-jdk1_8-20190219_reasoningTime_all.pdf (deleted) * reasoner/figures/benchmark-results-pi-1_1_0-jdk1_8-20190219_translationTime_all.pdf (deleted) * reasoner/figures/benchmark-results-pi-1_1_0-jdk1_8-20190308_evaluationTime_all.pdf (added) * reasoner/figures/benchmark-results-pi-1_1_0-jdk1_8-20190308_reasoningTime_all.pdf (added) * reasoner/figures/benchmark-results-pi-1_1_0-jdk1_8-20190308_translationTime_all.pdf (added) * reasoner/measures (modified) * reasoner/measures/benchmark-results-jenkins-1_3_0-20190308.zip (deleted) * reasoner/measures/benchmark-results-jenkins-1_3_0-jdk1_8-20190308.zip (added) * reasoner/measures/benchmark-results-new-1.3-ojdk1.8-20190308.zip (deleted) * reasoner/measures/benchmark-results-new-1.3-ojdk10-20190308.zip (deleted) * reasoner/measures/benchmark-results-new-1_3_0-ojdk10-20190308.zip (added) * reasoner/measures/benchmark-results-new-1_3_0-ojdk1_8-20190308.zip (added) * reasoner/measures/benchmark-results-old-1.1.0-jdk1.8-20190308.zip (deleted) * reasoner/measures/benchmark-results-old-1.3.0-jdk1.8-20190308.zip (deleted) * reasoner/measures/benchmark-results-old-1_1_0-jdk1_8-20190308.zip (added) * reasoner/measures/benchmark-results-old-1_3_0-jdk1_8-20190308.zip (added) * reasoner/measures/benchmark-results-pi-1.1-jdk1.8-20190308.zip (deleted) * reasoner/measures/benchmark-results-pi-1.3-jdk1.8-20190308.zip (deleted) * reasoner/measures/benchmark-results-pi-1_1_0-jdk1_8-20190308.zip (added) * reasoner/measures/benchmark-results-pi-1_3_0-jdk1_8-20190308.zip (added) * reasoner/measures/log.txt (modified) Tue, 12 Mar 2019 14:31:28 GMT eichelberger [268] * reasoner/evaluation.tex (modified) * reasoner/measures (modified) * reasoner/measures/log.txt (modified) * reasoner/measures/old (modified) * reasoner/reasoner.bib (modified) Mon, 11 Mar 2019 21:05:09 GMT eichelberger [267] * reasoner/measures/benchmark-results-new-1.3-ojdk1.8-20190308.zip (added) * reasoner/measures/benchmark-results-new-1.3-ojdk10-20190308.zip (added) Mon, 11 Mar 2019 12:15:57 GMT eichelberger [266] * reasoner/measures/benchmark-results-pi-1.1-jdk1.8-20190308.zip (added) * reasoner/measures/benchmark-results-pi-1.3-jdk1.8-20190308.zip (added) Fri, 08 Mar 2019 15:27:20 GMT eichelberger [265] * reasoner/measures/benchmark-results-jenkins-1_3_0-20190308.zip (added) Fri, 08 Mar 2019 12:14:12 GMT eichelberger [264] * reasoner/measures/EASyProducer-1.1-3.patch (added) * reasoner/measures/EASyProducer-1.1-3.zip (added) * reasoner/measures/EASyProducer-measurement-2.patch (deleted) * reasoner/measures/EASyProducer-measurement-2.zip (deleted) * reasoner/measures/benchmark-results-jenkins-1_3_0-20190215.zip (deleted) * reasoner/measures/benchmark-results-new-1_3_0-ojdk10-20190215.zip (deleted) * reasoner/measures/benchmark-results-new-1_3_0-ojdk1_8-20190215.zip (deleted) * reasoner/measures/benchmark-results-new-eclipse-1_3_0-ojdk10-20190215.zip (deleted) * reasoner/measures/benchmark-results-old-1.1.0-jdk1.8-20190308.zip (added) * reasoner/measures/benchmark-results-old-1.3.0-jdk1.8-20190308.zip (added) * reasoner/measures/benchmark-results-old-1_1_0-jdk1_8-20190215.zip (deleted) * reasoner/measures/benchmark-results-old-1_3_0-jdk1_8-20190215.zip (deleted) * reasoner/measures/benchmark-results-old-eclipse-1_1_0-jdk1_8-20190215.zip (deleted) * reasoner/measures/benchmark-results-old-eclipse-1_3_0-jdk1_8-20190215.zip (deleted) * reasoner/measures/benchmark-results-pi-1_1_0-jdk1_8-20190219.zip (deleted) * reasoner/measures/benchmark-results-pi-1_3_0-jdk1_8-20190219.zip (deleted) * reasoner/measures/pi-1.30-jdk1.8-incomplete.zip (deleted) * reasoner/measures/pi-1.30-jdk1.8_201-incomplete.zip (deleted) Fri, 08 Mar 2019 12:13:12 GMT eichelberger [263] * reasoner/measures/old (modified) Fri, 08 Mar 2019 12:12:47 GMT eichelberger [262] * reasoner/measures/old/benchmark-results-jenkins-1_3_0-20190215.zip (added) * reasoner/measures/old/benchmark-results-jenkins-1_3_0-20190215_old.zip (added) * reasoner/measures/old/benchmark-results-new-1_3_0-ojdk10-20190215.zip (added) * reasoner/measures/old/benchmark-results-new-1_3_0-ojdk1_8-20190215.zip (added) * reasoner/measures/old/benchmark-results-new-eclipse-1_3_0-ojdk10-20190215.zip (added) * reasoner/measures/old/benchmark-results-old-1_1_0-jdk1_8-20190215.zip (added) * reasoner/measures/old/benchmark-results-old-1_3_0-jdk1_8-20190215.zip (added) * reasoner/measures/old/benchmark-results-old-eclipse-1_1_0-jdk1_8-20190215.zip (added) * reasoner/measures/old/benchmark-results-old-eclipse-1_3_0-jdk1_8-20190215.zip (added) * reasoner/measures/old/benchmark-results-pi-1_1_0-jdk1_8-20190219.zip (added) * reasoner/measures/old/benchmark-results-pi-1_3_0-jdk1_8-20190219.zip (added) * reasoner/measures/old/pi-1.30-jdk1.8-incomplete.zip (added) * reasoner/measures/old/pi-1.30-jdk1.8_201-incomplete.zip (added) Fri, 01 Mar 2019 12:29:52 GMT eichelberger [261] * reasoner/evaluation.tex (modified) Fri, 01 Mar 2019 12:12:40 GMT eichelberger [260] * reasoner/evaluation.tex (modified) Fri, 01 Mar 2019 11:17:19 GMT eichelberger [259] * reasoner/evaluation.tex (modified) * reasoner/figures/benchmark-results-jenkins-1_3_0-20190215_evaluationTime_all.pdf (modified) * reasoner/figures/benchmark-results-jenkins-1_3_0-20190215_reasoningTime_all.pdf (modified) * reasoner/figures/benchmark-results-jenkins-1_3_0-20190215_translationTime_all.pdf (modified) * reasoner/figures/benchmark-results-new-1_3_0-ojdk10-20190215_evaluationTime_all.pdf (modified) * reasoner/figures/benchmark-results-new-1_3_0-ojdk10-20190215_reasoningTime_all.pdf (modified) * reasoner/figures/benchmark-results-new-1_3_0-ojdk10-20190215_translationTime_all.pdf (modified) * reasoner/figures/benchmark-results-new-1_3_0-ojdk1_8-20190215_evaluationTime_all.pdf (modified) * reasoner/figures/benchmark-results-new-1_3_0-ojdk1_8-20190215_reasoningTime_all.pdf (modified) * reasoner/figures/benchmark-results-new-1_3_0-ojdk1_8-20190215_translationTime_all.pdf (modified) * reasoner/figures/benchmark-results-old-1_1_0-jdk1_8-20190215_evaluationTime_all.pdf (modified) * reasoner/figures/benchmark-results-old-1_1_0-jdk1_8-20190215_reasoningTime_all.pdf (modified) * reasoner/figures/benchmark-results-old-1_1_0-jdk1_8-20190215_translationTime_all.pdf (modified) * reasoner/figures/benchmark-results-old-1_3_0-jdk1_8-20190215_evaluationTime_all.pdf (modified) * reasoner/figures/benchmark-results-old-1_3_0-jdk1_8-20190215_reasoningTime_all.pdf (modified) * reasoner/figures/benchmark-results-old-1_3_0-jdk1_8-20190215_translationTime_all.pdf (modified) * reasoner/figures/benchmark-results-pi-1_1_0-jdk1_8-20190219_evaluationTime_all.pdf (modified) * reasoner/figures/benchmark-results-pi-1_1_0-jdk1_8-20190219_reasoningTime_all.pdf (modified) * reasoner/figures/benchmark-results-pi-1_1_0-jdk1_8-20190219_translationTime_all.pdf (modified) * reasoner/figures/benchmark-results-pi-1_3_0-jdk1_8-20190219_evaluationTime_all.pdf (modified) * reasoner/figures/benchmark-results-pi-1_3_0-jdk1_8-20190219_reasoningTime_all.pdf (modified) * reasoner/figures/benchmark-results-pi-1_3_0-jdk1_8-20190219_translationTime_all.pdf (modified) * reasoner/measures/benchmark-results-jenkins-1_3_0-20190215.zip (modified) * reasoner/measures/log.txt (modified) * reasoner/measures/script.r (modified) Thu, 28 Feb 2019 16:22:50 GMT eichelberger [258] * reasoner/evaluation.tex (modified) * reasoner/figures/benchmark-results-jenkins-1_3_0-20190215_evaluationTime_all.pdf (modified) * reasoner/figures/benchmark-results-jenkins-1_3_0-20190215_reasoningTime_all.pdf (modified) * reasoner/figures/benchmark-results-jenkins-1_3_0-20190215_translationTime_all.pdf (modified) * reasoner/figures/benchmark-results-new-1_3_0-ojdk10-20190215_evaluationTime_all.pdf (modified) * reasoner/figures/benchmark-results-new-1_3_0-ojdk10-20190215_reasoningTime_all.pdf (modified) * reasoner/figures/benchmark-results-new-1_3_0-ojdk10-20190215_translationTime_all.pdf (modified) * reasoner/figures/benchmark-results-new-1_3_0-ojdk1_8-20190215_evaluationTime_all.pdf (modified) * reasoner/figures/benchmark-results-new-1_3_0-ojdk1_8-20190215_reasoningTime_all.pdf (modified) * reasoner/figures/benchmark-results-new-1_3_0-ojdk1_8-20190215_translationTime_all.pdf (modified) * reasoner/figures/benchmark-results-old-1_1_0-jdk1_8-20190215_evaluationTime_all.pdf (modified) * reasoner/figures/benchmark-results-old-1_1_0-jdk1_8-20190215_reasoningTime_all.pdf (modified) * reasoner/figures/benchmark-results-old-1_1_0-jdk1_8-20190215_translationTime_all.pdf (modified) * reasoner/figures/benchmark-results-old-1_3_0-jdk1_8-20190215_evaluationTime_all.pdf (modified) * reasoner/figures/benchmark-results-old-1_3_0-jdk1_8-20190215_reasoningTime_all.pdf (modified) * reasoner/figures/benchmark-results-old-1_3_0-jdk1_8-20190215_translationTime_all.pdf (modified) * reasoner/figures/benchmark-results-pi-1_1_0-jdk1_8-20190219_evaluationTime_all.pdf (modified) * reasoner/figures/benchmark-results-pi-1_1_0-jdk1_8-20190219_reasoningTime_all.pdf (modified) * reasoner/figures/benchmark-results-pi-1_1_0-jdk1_8-20190219_translationTime_all.pdf (modified) * reasoner/figures/benchmark-results-pi-1_3_0-jdk1_8-20190219_evaluationTime_all.pdf (modified) * reasoner/figures/benchmark-results-pi-1_3_0-jdk1_8-20190219_reasoningTime_all.pdf (modified) * reasoner/figures/benchmark-results-pi-1_3_0-jdk1_8-20190219_translationTime_all.pdf (modified) * reasoner/measures/log.txt (modified) * reasoner/measures/script.r (modified) Thu, 28 Feb 2019 14:50:40 GMT eichelberger [257] * reasoner/evaluation.tex (modified) * reasoner/figures/benchmark-results-jenkins-1_3_0-20190215_evaluationTime_all.pdf (modified) * reasoner/figures/benchmark-results-jenkins-1_3_0-20190215_reasoningTime_all.pdf (modified) * reasoner/figures/benchmark-results-jenkins-1_3_0-20190215_translationTime_all.pdf (modified) * reasoner/figures/benchmark-results-new-1_3_0-ojdk10-20190215_evaluationTime_all.pdf (modified) * reasoner/figures/benchmark-results-new-1_3_0-ojdk10-20190215_reasoningTime_all.pdf (modified) * reasoner/figures/benchmark-results-new-1_3_0-ojdk10-20190215_translationTime_all.pdf (modified) * reasoner/figures/benchmark-results-new-1_3_0-ojdk1_8-20190215_evaluationTime_all.pdf (modified) * reasoner/figures/benchmark-results-new-1_3_0-ojdk1_8-20190215_reasoningTime_all.pdf (modified) * reasoner/figures/benchmark-results-new-1_3_0-ojdk1_8-20190215_translationTime_all.pdf (modified) * reasoner/figures/benchmark-results-old-1_1_0-jdk1_8-20190215_evaluationTime_all.pdf (modified) * reasoner/figures/benchmark-results-old-1_1_0-jdk1_8-20190215_reasoningTime_all.pdf (modified) * reasoner/figures/benchmark-results-old-1_1_0-jdk1_8-20190215_translationTime_all.pdf (modified) * reasoner/figures/benchmark-results-old-1_3_0-jdk1_8-20190215_evaluationTime_all.pdf (modified) * reasoner/figures/benchmark-results-old-1_3_0-jdk1_8-20190215_reasoningTime_all.pdf (modified) * reasoner/figures/benchmark-results-old-1_3_0-jdk1_8-20190215_translationTime_all.pdf (modified) * reasoner/figures/benchmark-results-pi-1_1_0-jdk1_8-20190219_evaluationTime_all.pdf (modified) * reasoner/figures/benchmark-results-pi-1_1_0-jdk1_8-20190219_reasoningTime_all.pdf (modified) * reasoner/figures/benchmark-results-pi-1_1_0-jdk1_8-20190219_translationTime_all.pdf (modified) * reasoner/figures/benchmark-results-pi-1_3_0-jdk1_8-20190219_evaluationTime_all.pdf (modified) * reasoner/figures/benchmark-results-pi-1_3_0-jdk1_8-20190219_reasoningTime_all.pdf (modified) * reasoner/figures/benchmark-results-pi-1_3_0-jdk1_8-20190219_translationTime_all.pdf (modified) * reasoner/measures/log.txt (modified) * reasoner/measures/script.r (modified) * reasoner/reasoner.tex (modified) Wed, 27 Feb 2019 12:28:43 GMT eichelberger [256] * reasoner/figures/benchmark-results-jenkins-1_3_0-20190215_evaluationTime_all.pdf (modified) * reasoner/figures/benchmark-results-jenkins-1_3_0-20190215_reasoningTime_all.pdf (modified) * reasoner/figures/benchmark-results-jenkins-1_3_0-20190215_translationTime_all.pdf (modified) * reasoner/figures/benchmark-results-new-1_3_0-ojdk10-20190215_evaluationTime_all.pdf (modified) * reasoner/figures/benchmark-results-new-1_3_0-ojdk10-20190215_reasoningTime_all.pdf (modified) * reasoner/figures/benchmark-results-new-1_3_0-ojdk10-20190215_translationTime_all.pdf (modified) * reasoner/figures/benchmark-results-new-1_3_0-ojdk1_8-20190215_evaluationTime_all.pdf (modified) * reasoner/figures/benchmark-results-new-1_3_0-ojdk1_8-20190215_reasoningTime_all.pdf (modified) * reasoner/figures/benchmark-results-new-1_3_0-ojdk1_8-20190215_translationTime_all.pdf (modified) * reasoner/figures/benchmark-results-old-1_1_0-jdk1_8-20190215_evaluationTime_all.pdf (modified) * reasoner/figures/benchmark-results-old-1_1_0-jdk1_8-20190215_reasoningTime_all.pdf (modified) * reasoner/figures/benchmark-results-old-1_1_0-jdk1_8-20190215_translationTime_all.pdf (modified) * reasoner/figures/benchmark-results-old-1_3_0-jdk1_8-20190215_evaluationTime_all.pdf (modified) * reasoner/figures/benchmark-results-old-1_3_0-jdk1_8-20190215_reasoningTime_all.pdf (modified) * reasoner/figures/benchmark-results-old-1_3_0-jdk1_8-20190215_translationTime_all.pdf (modified) * reasoner/figures/benchmark-results-pi-1_1_0-jdk1_8-20190219_evaluationTime_all.pdf (modified) * reasoner/figures/benchmark-results-pi-1_1_0-jdk1_8-20190219_reasoningTime_all.pdf (modified) * reasoner/figures/benchmark-results-pi-1_1_0-jdk1_8-20190219_translationTime_all.pdf (modified) * reasoner/figures/benchmark-results-pi-1_3_0-jdk1_8-20190219_evaluationTime_all.pdf (modified) * reasoner/figures/benchmark-results-pi-1_3_0-jdk1_8-20190219_reasoningTime_all.pdf (modified) * reasoner/figures/benchmark-results-pi-1_3_0-jdk1_8-20190219_translationTime_all.pdf (modified) * reasoner/measures/log.txt (added) * reasoner/measures/script.r (modified) * reasoner/reasoner.tex (modified) Wed, 27 Feb 2019 10:56:32 GMT eichelberger [255] * reasoner/measures/script.r (modified) Wed, 27 Feb 2019 09:00:42 GMT eichelberger [254] * reasoner/figures/benchmark-results-jenkins-1_3_0-20190215_evaluationTime_all.pdf (added) * reasoner/figures/benchmark-results-jenkins-1_3_0-20190215_reasoningTime_all.pdf (added) * reasoner/figures/benchmark-results-jenkins-1_3_0-20190215_translationTime_all.pdf (added) * reasoner/figures/benchmark-results-new-1_3_0-ojdk10-20190215_evaluationTime_all.pdf (added) * reasoner/figures/benchmark-results-new-1_3_0-ojdk10-20190215_reasoningTime_all.pdf (added) * reasoner/figures/benchmark-results-new-1_3_0-ojdk10-20190215_translationTime_all.pdf (added) * reasoner/figures/benchmark-results-new-1_3_0-ojdk1_8-20190215_evaluationTime_all.pdf (added) * reasoner/figures/benchmark-results-new-1_3_0-ojdk1_8-20190215_reasoningTime_all.pdf (added) * reasoner/figures/benchmark-results-new-1_3_0-ojdk1_8-20190215_translationTime_all.pdf (added) * reasoner/figures/benchmark-results-old-1_1_0-jdk1_8-20190215_evaluationTime_all.pdf (added) * reasoner/figures/benchmark-results-old-1_1_0-jdk1_8-20190215_reasoningTime_all.pdf (added) * reasoner/figures/benchmark-results-old-1_1_0-jdk1_8-20190215_translationTime_all.pdf (added) * reasoner/figures/benchmark-results-old-1_3_0-jdk1_8-20190215_evaluationTime_all.pdf (added) * reasoner/figures/benchmark-results-old-1_3_0-jdk1_8-20190215_reasoningTime_all.pdf (added) * reasoner/figures/benchmark-results-old-1_3_0-jdk1_8-20190215_translationTime_all.pdf (added) * reasoner/figures/benchmark-results-pi-1_1_0-jdk1_8-20190219_evaluationTime_all.pdf (added) * reasoner/figures/benchmark-results-pi-1_1_0-jdk1_8-20190219_reasoningTime_all.pdf (added) * reasoner/figures/benchmark-results-pi-1_1_0-jdk1_8-20190219_translationTime_all.pdf (added) * reasoner/figures/benchmark-results-pi-1_3_0-jdk1_8-20190219_evaluationTime_all.pdf (added) * reasoner/figures/benchmark-results-pi-1_3_0-jdk1_8-20190219_reasoningTime_all.pdf (added) * reasoner/figures/benchmark-results-pi-1_3_0-jdk1_8-20190219_translationTime_all.pdf (added) * reasoner/figures/log.txt (added) * reasoner/measures (modified) * reasoner/measures/benchmark-results-jenkins-1.3.0-20190215.zip (deleted) * reasoner/measures/benchmark-results-jenkins-1_3_0-20190215.zip (added) * reasoner/measures/benchmark-results-new-1.3.0-ojdk1.8-20190215.zip (deleted) * reasoner/measures/benchmark-results-new-1.3.0-ojdk10-20190215.zip (deleted) * reasoner/measures/benchmark-results-new-1_3_0-ojdk10-20190215.zip (added) * reasoner/measures/benchmark-results-new-1_3_0-ojdk1_8-20190215.zip (added) * reasoner/measures/benchmark-results-new-eclipse-1.3.0-ojdk10-20190215.zip (deleted) * reasoner/measures/benchmark-results-new-eclipse-1_3_0-ojdk10-20190215.zip (added) * reasoner/measures/benchmark-results-old-1.1.0-jdk1.8-20190215.zip (deleted) * reasoner/measures/benchmark-results-old-1.3.0-jdk1.8-20190215.zip (deleted) * reasoner/measures/benchmark-results-old-1_1_0-jdk1_8-20190215.zip (added) * reasoner/measures/benchmark-results-old-1_3_0-jdk1_8-20190215.zip (added) * reasoner/measures/benchmark-results-old-eclipse-1.1.0-jdk1.8-20190215.zip (deleted) * reasoner/measures/benchmark-results-old-eclipse-1.3.0-jdk1.8-20190215.zip (deleted) * reasoner/measures/benchmark-results-old-eclipse-1_1_0-jdk1_8-20190215.zip (added) * reasoner/measures/benchmark-results-old-eclipse-1_3_0-jdk1_8-20190215.zip (added) * reasoner/measures/benchmark-results-pi-1.10-jdk1.8-20190219.zip (deleted) * reasoner/measures/benchmark-results-pi-1.3.0-jdk1.8-20190219.zip (deleted) * reasoner/measures/benchmark-results-pi-1_1_0-jdk1_8-20190219.zip (added) * reasoner/measures/benchmark-results-pi-1_3_0-jdk1_8-20190219.zip (added) Wed, 27 Feb 2019 08:59:29 GMT eichelberger [253] * reasoner/evaluation.tex (modified) * reasoner/measures/script.r (modified) Tue, 26 Feb 2019 10:20:39 GMT eichelberger [252] * reasoner/measures/EASyProducer-measurement-2.patch (added) Tue, 26 Feb 2019 10:20:30 GMT eichelberger [251] * reasoner/measures (modified) * reasoner/measures/benchmark-results-new-1.3.0-20190215.zip (deleted) * reasoner/measures/benchmark-results-new-1.3.0-ojdk1.8-20190215.zip (added) * reasoner/measures/benchmark-results-new-1.3.0-ojdk10-20190215.zip (added) * reasoner/measures/benchmark-results-new-eclipse-1.3.0-20190215.zip (deleted) * reasoner/measures/benchmark-results-new-eclipse-1.3.0-ojdk10-20190215.zip (added) * reasoner/measures/benchmark-results-old-1.1.0-20190215.zip (deleted) * reasoner/measures/benchmark-results-old-1.1.0-jdk1.8-20190215.zip (added) * reasoner/measures/benchmark-results-old-1.3.0-20190215.zip (deleted) * reasoner/measures/benchmark-results-old-1.3.0-jdk1.8-20190215.zip (added) * reasoner/measures/benchmark-results-old-eclipse-1.1.0-20190215.zip (deleted) * reasoner/measures/benchmark-results-old-eclipse-1.1.0-jdk1.8-20190215.zip (added) * reasoner/measures/benchmark-results-old-eclipse-1.3.0-20190215.zip (deleted) * reasoner/measures/benchmark-results-old-eclipse-1.3.0-jdk1.8-20190215.zip (added) * reasoner/measures/benchmark-results-pi-1.10-jdk1.8-20190219.zip (added) * reasoner/measures/benchmark-results-pi-1.10-jdk1.8-2190219.zip (deleted) * reasoner/measures/benchmark-results-pi-1.3.0-jdk1.8-20190219.zip (added) * reasoner/measures/pi-1.3.0-jdk1.8.zip (deleted) Tue, 26 Feb 2019 10:16:03 GMT eichelberger [250] * reasoner/measures/script.r (modified) Fri, 22 Feb 2019 16:30:29 GMT eichelberger [249] * reasoner/evaluation.tex (modified) * reasoner/reasoner.bib (modified) Fri, 22 Feb 2019 16:09:28 GMT eichelberger [248] * reasoner/evaluation.tex (modified) * reasoner/reasoner.bib (modified) Fri, 22 Feb 2019 14:19:38 GMT eichelberger [247] * reasoner/measures/pi-1.3.0-jdk1.8.zip (added) Thu, 21 Feb 2019 16:36:32 GMT eichelberger [246] * reasoner/evaluation.tex (modified) * reasoner/measures/old/pi-1.1-jdk1.8.zip (added) * reasoner/measures/old/pi-incompl-1.1-jdk1.8.zip (added) * reasoner/measures/pi-1.30-jdk1.8-incomplete.zip (added) * reasoner/measures/pi-1.30-jdk1.8_201-incomplete.zip (added) * reasoner/measures/script.r (modified) * reasoner/performance.tex (modified) Wed, 20 Feb 2019 08:48:26 GMT eichelberger [245] * reasoner/measures/benchmark-results-pi-1.10-jdk1.8-2190219.zip (added) Sun, 17 Feb 2019 13:41:07 GMT eichelberger [244] * reasoner/measures/script.r (modified) Sun, 17 Feb 2019 13:29:44 GMT eichelberger [243] * reasoner/measures/script.r (modified) Sun, 17 Feb 2019 12:41:17 GMT eichelberger [242] * reasoner/measures/script.r (modified) Sat, 16 Feb 2019 18:40:33 GMT eichelberger [241] * reasoner/measures/old-system.txt (modified) Sat, 16 Feb 2019 18:38:28 GMT eichelberger [240] * reasoner/measures/benchmark-results-new-eclipse-1.3.0-20190215.zip (added) * reasoner/measures/new-system.txt (modified) Sat, 16 Feb 2019 09:27:08 GMT eichelberger [239] * reasoner/measures/new-system.txt (modified) Fri, 15 Feb 2019 16:02:24 GMT eichelberger [238] * reasoner/measures/benchmark-results-old-eclipse-1.3.0-20190215.zip (added) Fri, 15 Feb 2019 15:19:50 GMT eichelberger [237] * reasoner/measures/new-system.txt (added) Fri, 15 Feb 2019 15:17:50 GMT eichelberger [236] * reasoner/measures/benchmark-results-new-1.3.0-20190215.zip (added) * reasoner/measures/benchmark-results-old-1.1.0-20190215.zip (added) * reasoner/measures/benchmark-results-old-1.3.0-20190215.zip (added) * reasoner/measures/benchmark-results-old-eclipse-1.1.0-20190215.zip (added) * reasoner/measures/old-system.txt (added) * reasoner/measures/script.r (modified) Fri, 15 Feb 2019 11:21:02 GMT eichelberger [235] * reasoner/measures/EASyProducer-measurement-2.zip (added) * reasoner/measures/ScaleLog-measurement-2-patch.txt (added) Fri, 15 Feb 2019 08:16:44 GMT eichelberger [234] * reasoner/measures/benchmark-eclipse-results-new-1.3.0-20180824.zip (deleted) * reasoner/measures/benchmark-eclipse-results-old-1.1.0-20180818.zip (deleted) * reasoner/measures/benchmark-eclipse-results-old-1.3.0-20180818.zip (deleted) * reasoner/measures/benchmark-results-jenkins-1.3.0-20180819.zip (deleted) * reasoner/measures/benchmark-results-jenkins-1.3.0-20190215.zip (added) * reasoner/measures/benchmark-results-new-1.3.0-20180824.zip (deleted) * reasoner/measures/benchmark-results-new-1.3.0-20180826.zip (deleted) * reasoner/measures/benchmark-results-old-1.1.0-20180818.zip (deleted) * reasoner/measures/benchmark-results-old-1.1.0-20180826.zip (deleted) * reasoner/measures/benchmark-results-old-1.3.0-20180818.zip (deleted) * reasoner/measures/benchmark-results-old-1.3.0-20180826.zip (deleted) * reasoner/measures/old (added) * reasoner/measures/old/benchmark-eclipse-results-new-1.3.0-20180824.zip (added) * reasoner/measures/old/benchmark-eclipse-results-old-1.1.0-20180818.zip (added) * reasoner/measures/old/benchmark-eclipse-results-old-1.3.0-20180818.zip (added) * reasoner/measures/old/benchmark-results-jenkins-1.3.0-20180819.zip (added) * reasoner/measures/old/benchmark-results-new-1.3.0-20180824.zip (added) * reasoner/measures/old/benchmark-results-new-1.3.0-20180826.zip (added) * reasoner/measures/old/benchmark-results-old-1.1.0-20180818.zip (added) * reasoner/measures/old/benchmark-results-old-1.1.0-20180826.zip (added) * reasoner/measures/old/benchmark-results-old-1.3.0-20180818.zip (added) * reasoner/measures/old/benchmark-results-old-1.3.0-20180826.zip (added) * reasoner/measures/script.r (added) Sat, 09 Feb 2019 11:06:13 GMT eichelberger [233] * reasoner/evaluation.tex (modified) Fri, 08 Feb 2019 16:20:20 GMT eichelberger [232] * reasoner/evaluation.tex (modified) * reasoner/reasoner.bib (modified) Fri, 08 Feb 2019 15:37:23 GMT eichelberger [231] * reasoner/evaluation.tex (modified) Fri, 08 Feb 2019 15:07:56 GMT eichelberger [230] * reasoner/evaluation.tex (modified) Fri, 08 Feb 2019 14:34:50 GMT eichelberger [229] * reasoner/reasoner.bib (modified) * reasoner/reasoner.tex (modified) Fri, 08 Feb 2019 14:15:21 GMT eichelberger [228] * reasoner/performance.tex (modified) Fri, 08 Feb 2019 12:22:44 GMT eichelberger [227] * reasoner/ivmlCompleteness.tex (modified) Fri, 08 Feb 2019 11:54:16 GMT eichelberger [226] * reasoner/appendixTests.tex (modified) * reasoner/ivmlCompleteness.tex (modified) * reasoner/reasoner.tex (modified) Fri, 08 Feb 2019 11:04:44 GMT eichelberger [225] * reasoner/approach.tex (modified) * reasoner/introduction.tex (modified) * reasoner/ivmlCompleteness.tex (modified) * reasoner/mainAlgorithms.tex (modified) * reasoner/notation.tex (modified) * reasoner/reasoner.tex (modified) Fri, 08 Feb 2019 10:53:33 GMT eichelberger [224] * reasoner/consRescheduling.tex (modified) * reasoner/figures/figures.vsdx (modified) * reasoner/figures/structure.pdf (modified) * reasoner/mainAlgorithms.tex (modified) Thu, 07 Feb 2019 13:23:12 GMT eichelberger [223] * reasoner/consRescheduling.tex (modified) Thu, 07 Feb 2019 12:12:43 GMT eichelberger [222] * reasoner/consTranslation.tex (modified) * reasoner/figures/figures.vsdx (modified) * reasoner/figures/structure.pdf (modified) * reasoner/mainAlgorithms.tex (modified) Thu, 07 Feb 2019 11:58:36 GMT eichelberger [221] * reasoner/consRescheduling.tex (modified) * reasoner/consTranslation.tex (modified) Wed, 06 Feb 2019 17:08:32 GMT eichelberger [220] * reasoner/consTranslation.tex (modified) Wed, 06 Feb 2019 13:51:23 GMT eichelberger [219] * reasoner/consTranslation.tex (modified) * reasoner/reasoner.tex (modified) Tue, 05 Feb 2019 09:24:28 GMT eichelberger [218] * reasoner/consTranslation.tex (modified) Mon, 04 Feb 2019 18:12:54 GMT eichelberger [217] * reasoner/consTranslation.tex (modified) Mon, 04 Feb 2019 17:26:10 GMT eichelberger [216] * reasoner/consTranslation.tex (modified) Mon, 04 Feb 2019 16:59:58 GMT eichelberger [215] * reasoner/consTranslation.tex (modified) Fri, 01 Feb 2019 16:45:54 GMT eichelberger [214] * reasoner/consTranslation.tex (modified) * reasoner/mainAlgorithms.tex (modified) Thu, 31 Jan 2019 17:01:57 GMT eichelberger [213] * reasoner/consTranslation.tex (modified) Thu, 31 Jan 2019 16:01:20 GMT eichelberger [212] * reasoner/consTranslation.tex (modified) * reasoner/reasoner.tex (modified) Thu, 31 Jan 2019 15:22:54 GMT eichelberger [211] * reasoner/consTranslation.tex (modified) Thu, 31 Jan 2019 15:19:21 GMT eichelberger [210] * reasoner/consTranslation.tex (modified) * reasoner/reasoner.tex (modified) Thu, 31 Jan 2019 13:31:23 GMT eichelberger [209] * reasoner/consTranslation.tex (modified) Thu, 31 Jan 2019 12:24:16 GMT eichelberger [208] * reasoner/consTranslation.tex (modified) Thu, 31 Jan 2019 10:38:51 GMT eichelberger [207] * reasoner/consTranslation.tex (modified) Fri, 25 Jan 2019 17:39:55 GMT eichelberger [206] * reasoner/consTranslation.tex (modified) Fri, 25 Jan 2019 16:54:50 GMT eichelberger [205] * reasoner/consTranslation.tex (modified) Fri, 25 Jan 2019 16:52:41 GMT eichelberger [204] * reasoner/consTranslation.tex (modified) * reasoner/notation.tex (modified) * reasoner/reasoner.tex (modified) Fri, 25 Jan 2019 16:28:13 GMT eichelberger [203] * reasoner/consTranslation.tex (modified) Fri, 25 Jan 2019 15:51:59 GMT eichelberger [202] * reasoner/consTranslation.tex (modified) * reasoner/notation.tex (modified) * reasoner/reasoner.tex (modified) Fri, 25 Jan 2019 15:35:48 GMT eichelberger [201] * reasoner/consTranslation.tex (modified) Fri, 25 Jan 2019 14:24:46 GMT eichelberger [200] * reasoner/consTranslation.tex (modified) * reasoner/mainAlgorithms.tex (modified) * reasoner/notation.tex (modified) * reasoner/reasoner.tex (modified) Fri, 25 Jan 2019 12:53:22 GMT eichelberger [199] * reasoner/consTranslation.tex (modified) Fri, 25 Jan 2019 11:33:28 GMT eichelberger [198] * reasoner/consTranslation.tex (modified) Fri, 25 Jan 2019 10:31:26 GMT eichelberger [197] * reasoner/consTranslation.tex (modified) Wed, 23 Jan 2019 09:27:07 GMT eichelberger [196] * reasoner/consTranslation.tex (modified) * reasoner/mainAlgorithms.tex (modified) Mon, 21 Jan 2019 17:27:16 GMT eichelberger [195] * reasoner/mainAlgorithms.tex (modified) Fri, 18 Jan 2019 17:32:32 GMT eichelberger [194] * reasoner/mainAlgorithms.tex (modified) Fri, 18 Jan 2019 16:44:13 GMT eichelberger [193] * reasoner/mainAlgorithms.tex (modified) Fri, 18 Jan 2019 14:00:23 GMT eichelberger [192] * reasoner/mainAlgorithms.tex (modified) Fri, 18 Jan 2019 13:23:17 GMT eichelberger [191] * reasoner/mainAlgorithms.tex (modified) Fri, 18 Jan 2019 11:59:07 GMT eichelberger [190] * reasoner/figures/figures.vsdx (modified) * reasoner/figures/structure.pdf (modified) * reasoner/mainAlgorithms.tex (modified) Mon, 08 Oct 2018 16:52:30 GMT eichelberger [189] * reasoner/notation.tex (modified) Tue, 02 Oct 2018 09:49:15 GMT eichelberger [188] * reasoner/consTranslation.tex (modified) * reasoner/introduction.tex (modified) * reasoner/mainAlgorithms.tex (modified) * reasoner/notation.tex (modified) Mon, 01 Oct 2018 08:47:31 GMT eichelberger [187] * reasoner/notation.tex (modified) Wed, 05 Sep 2018 07:48:45 GMT eichelberger [186] * reasoner/mainAlgorithms.tex (modified) * reasoner/notation.tex (modified) * reasoner/reasoner.bib (modified) Tue, 04 Sep 2018 10:04:30 GMT eichelberger [185] * reasoner/approach.tex (modified) * reasoner/notation.tex (modified) Mon, 03 Sep 2018 10:42:15 GMT eichelberger [184] * reasoner/approach.tex (modified) * reasoner/reasoner.bib (modified) Wed, 29 Aug 2018 06:45:03 GMT eichelberger [183] * reasoner/introduction.tex (modified) * reasoner/reasoner.tex (modified) Sun, 26 Aug 2018 12:31:14 GMT eichelberger [182] * reasoner/measures/benchmark-results-old-1.1.0-20180826.zip (added) * reasoner/measures/benchmark-results-old-1.3.0-20180826.zip (added) Sun, 26 Aug 2018 08:10:00 GMT eichelberger [181] * reasoner/measures/benchmark-results-new-1.3.0-20180826.zip (added) Fri, 24 Aug 2018 14:44:55 GMT eichelberger [180] * reasoner/measures/benchmark-eclipse-results-new-1.3.0-20180824.zip (added) Fri, 24 Aug 2018 14:18:38 GMT eichelberger [179] * reasoner/measures/benchmark-eclipse-results-old-1.1.0-20180818.zip (added) * reasoner/measures/benchmark-eclipse-results-old-1.1.0-20180918.zip (deleted) * reasoner/measures/benchmark-eclipse-results-old-1.3.0-20180818.zip (added) * reasoner/measures/benchmark-eclipse-results-old-1.3.0-20180918.zip (deleted) * reasoner/measures/benchmark-results-old-1.1.0-20180818.zip (added) * reasoner/measures/benchmark-results-old-1.1.0-20180918.zip (deleted) * reasoner/measures/benchmark-results-old-1.3.0-20180818.zip (added) * reasoner/measures/benchmark-results-old-1.3.0-20180918.zip (deleted) Fri, 24 Aug 2018 14:18:02 GMT eichelberger [178] * reasoner/measures/benchmark-results-new-1.3.0-20180824.zip (added) Mon, 20 Aug 2018 12:14:35 GMT eichelberger [177] * reasoner/measures/benchmark-eclipse-results-old-1.2.0-20180918.zip (deleted) * reasoner/measures/benchmark-eclipse-results-old-1.3.0-20180918.zip (added) * reasoner/measures/benchmark-results-jenkins-1.2.0-20180819.zip (deleted) * reasoner/measures/benchmark-results-jenkins-1.3.0-20180819.zip (added) * reasoner/measures/benchmark-results-old-1.2.0-20180918.zip (deleted) * reasoner/measures/benchmark-results-old-1.3.0-20180918.zip (added)