From f471a2d0aabafac502f4e854229700f28e53a2a0 Mon Sep 17 00:00:00 2001 From: Albert Zuendorf <zuendorf@cs.uni-kassel.de> Date: Mon, 21 May 2018 21:05:34 +0200 Subject: [PATCH] trying to make github repository --- .gitignore | 9 + ...t.mquat.solving.SimpleHandwrittenTest.html | 268 ++++++++++++++++++ ...inf.st.mquat.solving.SimpleSolverTest.html | 112 ++++++++ .../reports/tests/test/css/base-style.css | 179 ++++++++++++ .../build/reports/tests/test/css/style.css | 84 ++++++ .../build/reports/tests/test/index.html | 141 +++++++++ .../build/reports/tests/test/js/report.js | 194 +++++++++++++ .../de.tudresden.inf.st.mquat.solving.html | 113 ++++++++ ...st.mquat.solving.SimpleHandwrittenTest.xml | 154 ++++++++++ ....inf.st.mquat.solving.SimpleSolverTest.xml | 14 + .../build/test-results/test/binary/output.bin | 150 ++++++++++ .../test-results/test/binary/output.bin.idx | Bin 0 -> 203 bytes .../test-results/test/binary/results.bin | Bin 0 -> 261 bytes .../build/tmp/jar/MANIFEST.MF | 2 + .../build/tmp/packageSources/MANIFEST.MF | 2 + .../test/jar_extract_8054202285903352761_tmp | Bin 0 -> 9782 bytes 16 files changed, 1422 insertions(+) create mode 100644 jastadd-mquat-solver-emfer/build/reports/tests/test/classes/de.tudresden.inf.st.mquat.solving.SimpleHandwrittenTest.html create mode 100644 jastadd-mquat-solver-emfer/build/reports/tests/test/classes/de.tudresden.inf.st.mquat.solving.SimpleSolverTest.html create mode 100644 jastadd-mquat-solver-emfer/build/reports/tests/test/css/base-style.css create mode 100644 jastadd-mquat-solver-emfer/build/reports/tests/test/css/style.css create mode 100644 jastadd-mquat-solver-emfer/build/reports/tests/test/index.html create mode 100644 jastadd-mquat-solver-emfer/build/reports/tests/test/js/report.js create mode 100644 jastadd-mquat-solver-emfer/build/reports/tests/test/packages/de.tudresden.inf.st.mquat.solving.html create mode 100644 jastadd-mquat-solver-emfer/build/test-results/test/TEST-de.tudresden.inf.st.mquat.solving.SimpleHandwrittenTest.xml create mode 100644 jastadd-mquat-solver-emfer/build/test-results/test/TEST-de.tudresden.inf.st.mquat.solving.SimpleSolverTest.xml create mode 100644 jastadd-mquat-solver-emfer/build/test-results/test/binary/output.bin create mode 100644 jastadd-mquat-solver-emfer/build/test-results/test/binary/output.bin.idx create mode 100644 jastadd-mquat-solver-emfer/build/test-results/test/binary/results.bin create mode 100644 jastadd-mquat-solver-emfer/build/tmp/jar/MANIFEST.MF create mode 100644 jastadd-mquat-solver-emfer/build/tmp/packageSources/MANIFEST.MF create mode 100644 jastadd-mquat-solver-emfer/build/tmp/test/jar_extract_8054202285903352761_tmp diff --git a/.gitignore b/.gitignore index a1c2a23..bde6c8e 100644 --- a/.gitignore +++ b/.gitignore @@ -1,3 +1,4 @@ + # Compiled class file *.class @@ -21,3 +22,11 @@ # virtual machine crash logs, see http://www.java.com/en/download/help/error_hotspot.xml hs_err_pid* +*/out/ +*.iml +/.idea/* +!.idea/codeStyles +.gradle +.settings/ +.classpath +.project diff --git a/jastadd-mquat-solver-emfer/build/reports/tests/test/classes/de.tudresden.inf.st.mquat.solving.SimpleHandwrittenTest.html b/jastadd-mquat-solver-emfer/build/reports/tests/test/classes/de.tudresden.inf.st.mquat.solving.SimpleHandwrittenTest.html new file mode 100644 index 0000000..561b52f --- /dev/null +++ b/jastadd-mquat-solver-emfer/build/reports/tests/test/classes/de.tudresden.inf.st.mquat.solving.SimpleHandwrittenTest.html @@ -0,0 +1,268 @@ +<!DOCTYPE html> +<html> +<head> +<meta http-equiv="Content-Type" content="text/html; charset=utf-8"/> +<meta http-equiv="x-ua-compatible" content="IE=edge"/> +<title>Test results - Class de.tudresden.inf.st.mquat.solving.SimpleHandwrittenTest</title> +<link href="../css/base-style.css" rel="stylesheet" type="text/css"/> +<link href="../css/style.css" rel="stylesheet" type="text/css"/> +<script src="../js/report.js" type="text/javascript"></script> +</head> +<body> +<div id="content"> +<h1>Class de.tudresden.inf.st.mquat.solving.SimpleHandwrittenTest</h1> +<div class="breadcrumbs"> +<a href="../index.html">all</a> > +<a href="../packages/de.tudresden.inf.st.mquat.solving.html">de.tudresden.inf.st.mquat.solving</a> > SimpleHandwrittenTest</div> +<div id="summary"> +<table> +<tr> +<td> +<div class="summaryGroup"> +<table> +<tr> +<td> +<div class="infoBox" id="tests"> +<div class="counter">5</div> +<p>tests</p> +</div> +</td> +<td> +<div class="infoBox" id="failures"> +<div class="counter">0</div> +<p>failures</p> +</div> +</td> +<td> +<div class="infoBox" id="ignored"> +<div class="counter">0</div> +<p>ignored</p> +</div> +</td> +<td> +<div class="infoBox" id="duration"> +<div class="counter">0.581s</div> +<p>duration</p> +</div> +</td> +</tr> +</table> +</div> +</td> +<td> +<div class="infoBox success" id="successRate"> +<div class="percent">100%</div> +<p>successful</p> +</div> +</td> +</tr> +</table> +</div> +<div id="tabs"> +<ul class="tabLinks"> +<li> +<a href="#tab0">Tests</a> +</li> +<li> +<a href="#tab1">Standard output</a> +</li> +</ul> +<div id="tab0" class="tab"> +<h2>Tests</h2> +<table> +<thead> +<tr> +<th>Test</th> +<th>Duration</th> +<th>Result</th> +</tr> +</thead> +<tr> +<td class="success">test_01</td> +<td>0.243s</td> +<td class="success">passed</td> +</tr> +<tr> +<td class="success">test_02</td> +<td>0.014s</td> +<td class="success">passed</td> +</tr> +<tr> +<td class="success">test_03</td> +<td>0.059s</td> +<td class="success">passed</td> +</tr> +<tr> +<td class="success">test_04</td> +<td>0.021s</td> +<td class="success">passed</td> +</tr> +<tr> +<td class="success">test_05</td> +<td>0.244s</td> +<td class="success">passed</td> +</tr> +</table> +</div> +<div id="tab1" class="tab"> +<h2>Standard output</h2> +<span class="code"> +<pre>Loading model DSL file 'test_01.txt'. +15:31:04.744 INFO d.t.i.s.m.s.s.SimpleSolver - found a better solution with an objective of 292427.44. +15:31:04.751 INFO d.t.i.s.m.s.s.SimpleSolver - Number of total software solutions: 6 +15:31:04.751 INFO d.t.i.s.m.s.s.SimpleSolver - Number of iterated software solutions: 4 +15:31:04.752 INFO d.t.i.s.m.s.s.SimpleSolver - Number of iterated solutions: 3 +15:31:04.753 INFO d.t.i.s.m.s.s.SimpleSolver - Number of correct solutions: 1 +15:31:04.756 DEBUG d.t.i.s.m.s.HandwrittenTestSuite - Solution: +solution { + request0 -> config_0i0m0 { + compute_resource_0 -> r0 { + cpu_1 -> cpu0_0 + } + other -> config_1i0m0 { + compute_resource_0 -> r1 { + cpu_1 -> cpu1_0 + } + } + } +} + +Loading model DSL file 'test_02.txt'. +15:31:04.772 INFO d.t.i.s.m.s.s.SimpleSolver - found a better solution with an objective of 292391.04. +15:31:04.774 INFO d.t.i.s.m.s.s.SimpleSolver - Number of total software solutions: 6 +15:31:04.774 INFO d.t.i.s.m.s.s.SimpleSolver - Number of iterated software solutions: 4 +15:31:04.777 INFO d.t.i.s.m.s.s.SimpleSolver - Number of iterated solutions: 3 +15:31:04.777 INFO d.t.i.s.m.s.s.SimpleSolver - Number of correct solutions: 1 +15:31:04.778 DEBUG d.t.i.s.m.s.HandwrittenTestSuite - Solution: +solution { + request0 -> config_0i0m0 { + compute_resource_0 -> r0 { + cpu_1 -> cpu0_0 + } + other -> config_1i0m0 { + compute_resource_0 -> r1 { + cpu_1 -> cpu1_0 + } + } + } +} + +Loading model DSL file 'test_03.txt'. +15:31:04.804 INFO d.t.i.s.m.s.s.SimpleSolver - found a better solution with an objective of 324731.04. +15:31:04.829 INFO d.t.i.s.m.s.s.SimpleSolver - Number of total software solutions: 18 +15:31:04.829 INFO d.t.i.s.m.s.s.SimpleSolver - Number of iterated software solutions: 8 +15:31:04.830 INFO d.t.i.s.m.s.s.SimpleSolver - Number of iterated solutions: 9 +15:31:04.832 INFO d.t.i.s.m.s.s.SimpleSolver - Number of correct solutions: 1 +15:31:04.833 DEBUG d.t.i.s.m.s.HandwrittenTestSuite - Solution: +solution { + request0 -> config_0i0m0 { + compute_resource_0 -> r0 { + cpu_1 -> cpu0_0 + } + other -> config_1i0m0 { + compute_resource_0 -> r1 { + cpu_1 -> cpu1_0 + } + } + } + request1 -> config_1i0m0 { + compute_resource_0 -> r2 { + cpu_1 -> cpu2_0 + } + } +} + +Loading model DSL file 'test_04.txt'. +15:31:04.850 INFO d.t.i.s.m.s.s.SimpleSolver - found a better solution with an objective of 375166.51999999996. +15:31:04.856 INFO d.t.i.s.m.s.s.SimpleSolver - Number of total software solutions: 12 +15:31:04.857 INFO d.t.i.s.m.s.s.SimpleSolver - Number of iterated software solutions: 8 +15:31:04.857 INFO d.t.i.s.m.s.s.SimpleSolver - Number of iterated solutions: 9 +15:31:04.858 INFO d.t.i.s.m.s.s.SimpleSolver - Number of correct solutions: 1 +15:31:04.860 DEBUG d.t.i.s.m.s.HandwrittenTestSuite - Solution: +solution { + request0 -> config_0i0m0 { + compute_resource_0 -> r0 { + cpu_1 -> cpu0_0 + } + alpha -> config_1i0m0 { + compute_resource_0 -> r1 { + cpu_1 -> cpu1_0 + } + } + beta -> config_2i0m0 { + compute_resource_0 -> r2 { + cpu_1 -> cpu2_0 + } + } + } +} + +Loading model DSL file 'test_05.txt'. +15:31:04.890 INFO d.t.i.s.m.s.s.SimpleSolver - found a better solution with an objective of 396486.6599999999. +15:31:04.892 INFO d.t.i.s.m.s.s.SimpleSolver - found a better solution with an objective of 396308.6599999999. +15:31:04.894 INFO d.t.i.s.m.s.s.SimpleSolver - found a better solution with an objective of 23665.660000000003. +15:31:04.897 INFO d.t.i.s.m.s.s.SimpleSolver - found a better solution with an objective of 23042.660000000003. +15:31:04.899 INFO d.t.i.s.m.s.s.SimpleSolver - found a better solution with an objective of 22864.660000000003. +15:31:04.910 INFO d.t.i.s.m.s.s.SimpleSolver - found a better solution with an objective of 22699.660000000003. +15:31:04.925 INFO d.t.i.s.m.s.s.SimpleSolver - found a better solution with an objective of 22097.66. +15:31:04.930 INFO d.t.i.s.m.s.s.SimpleSolver - found a better solution with an objective of 21919.66. +15:31:05.002 INFO d.t.i.s.m.s.s.SimpleSolver - found a better solution with an objective of 21885.66. +15:31:05.058 INFO d.t.i.s.m.s.s.SimpleSolver - Number of total software solutions: 192 +15:31:05.059 INFO d.t.i.s.m.s.s.SimpleSolver - Number of iterated software solutions: 8 +15:31:05.061 INFO d.t.i.s.m.s.s.SimpleSolver - Number of iterated solutions: 1584 +15:31:05.062 INFO d.t.i.s.m.s.s.SimpleSolver - Number of correct solutions: 360 +15:31:05.067 DEBUG d.t.i.s.m.s.HandwrittenTestSuite - Solution: +solution { + request0 -> configA0 { + compute_resource_0 -> r0 { + cpu_1 -> cpu0_0 + } + beta -> configB0 { + compute_resource_0 -> r1 { + cpu_1 -> cpu1_0 + } + chi -> configC0 { + compute_resource_0 -> r4 { + cpu_1 -> cpu0_0 + } + } + delta -> configD0 { + compute_resource_0 -> r3 { + cpu_1 -> cpu0_0 + } + } + } + epsilon -> configE0 { + compute_resource_0 -> r2 { + cpu_1 -> cpu2_0 + } + phi -> configF0 { + compute_resource_0 -> r5 { + cpu_1 -> cpu0_0 + } + } + gamma -> configG0 { + compute_resource_0 -> r6 { + cpu_1 -> cpu0_0 + } + } + } + } +} + +</pre> +</span> +</div> +</div> +<div id="footer"> +<p> +<div> +<label class="hidden" id="label-for-line-wrapping-toggle" for="line-wrapping-toggle">Wrap lines +<input id="line-wrapping-toggle" type="checkbox" autocomplete="off"/> +</label> +</div>Generated by +<a href="http://www.gradle.org">Gradle 3.3</a> at 12.05.2018 15:31:06</p> +</div> +</div> +</body> +</html> diff --git a/jastadd-mquat-solver-emfer/build/reports/tests/test/classes/de.tudresden.inf.st.mquat.solving.SimpleSolverTest.html b/jastadd-mquat-solver-emfer/build/reports/tests/test/classes/de.tudresden.inf.st.mquat.solving.SimpleSolverTest.html new file mode 100644 index 0000000..d24eb99 --- /dev/null +++ b/jastadd-mquat-solver-emfer/build/reports/tests/test/classes/de.tudresden.inf.st.mquat.solving.SimpleSolverTest.html @@ -0,0 +1,112 @@ +<!DOCTYPE html> +<html> +<head> +<meta http-equiv="Content-Type" content="text/html; charset=utf-8"/> +<meta http-equiv="x-ua-compatible" content="IE=edge"/> +<title>Test results - Class de.tudresden.inf.st.mquat.solving.SimpleSolverTest</title> +<link href="../css/base-style.css" rel="stylesheet" type="text/css"/> +<link href="../css/style.css" rel="stylesheet" type="text/css"/> +<script src="../js/report.js" type="text/javascript"></script> +</head> +<body> +<div id="content"> +<h1>Class de.tudresden.inf.st.mquat.solving.SimpleSolverTest</h1> +<div class="breadcrumbs"> +<a href="../index.html">all</a> > +<a href="../packages/de.tudresden.inf.st.mquat.solving.html">de.tudresden.inf.st.mquat.solving</a> > SimpleSolverTest</div> +<div id="summary"> +<table> +<tr> +<td> +<div class="summaryGroup"> +<table> +<tr> +<td> +<div class="infoBox" id="tests"> +<div class="counter">1</div> +<p>tests</p> +</div> +</td> +<td> +<div class="infoBox" id="failures"> +<div class="counter">0</div> +<p>failures</p> +</div> +</td> +<td> +<div class="infoBox" id="ignored"> +<div class="counter">0</div> +<p>ignored</p> +</div> +</td> +<td> +<div class="infoBox" id="duration"> +<div class="counter">0.881s</div> +<p>duration</p> +</div> +</td> +</tr> +</table> +</div> +</td> +<td> +<div class="infoBox success" id="successRate"> +<div class="percent">100%</div> +<p>successful</p> +</div> +</td> +</tr> +</table> +</div> +<div id="tabs"> +<ul class="tabLinks"> +<li> +<a href="#tab0">Tests</a> +</li> +<li> +<a href="#tab1">Standard output</a> +</li> +</ul> +<div id="tab0" class="tab"> +<h2>Tests</h2> +<table> +<thead> +<tr> +<th>Test</th> +<th>Duration</th> +<th>Result</th> +</tr> +</thead> +<tr> +<td class="success">testSimpleSolver</td> +<td>0.881s</td> +<td class="success">passed</td> +</tr> +</table> +</div> +<div id="tab1" class="tab"> +<h2>Standard output</h2> +<span class="code"> +<pre>15:31:05.159 INFO d.t.i.s.m.s.s.SimpleSolver - found a better solution with an objective of 523393.9. +15:31:05.201 INFO d.t.i.s.m.s.s.SimpleSolver - found a better solution with an objective of 523267.42000000004. +15:31:06.008 INFO d.t.i.s.m.s.s.SimpleSolver - Number of total software solutions: 1 +15:31:06.009 INFO d.t.i.s.m.s.s.SimpleSolver - Number of iterated software solutions: 1 +15:31:06.010 INFO d.t.i.s.m.s.s.SimpleSolver - Number of iterated solutions: 10148 +15:31:06.010 INFO d.t.i.s.m.s.s.SimpleSolver - Number of correct solutions: 3456 +15:31:06.012 INFO d.t.i.s.m.s.SimpleSolverTest - the best solution is valid and has an objective of 523267.42000000004. +</pre> +</span> +</div> +</div> +<div id="footer"> +<p> +<div> +<label class="hidden" id="label-for-line-wrapping-toggle" for="line-wrapping-toggle">Wrap lines +<input id="line-wrapping-toggle" type="checkbox" autocomplete="off"/> +</label> +</div>Generated by +<a href="http://www.gradle.org">Gradle 3.3</a> at 12.05.2018 15:31:06</p> +</div> +</div> +</body> +</html> diff --git a/jastadd-mquat-solver-emfer/build/reports/tests/test/css/base-style.css b/jastadd-mquat-solver-emfer/build/reports/tests/test/css/base-style.css new file mode 100644 index 0000000..4afa73e --- /dev/null +++ b/jastadd-mquat-solver-emfer/build/reports/tests/test/css/base-style.css @@ -0,0 +1,179 @@ + +body { + margin: 0; + padding: 0; + font-family: sans-serif; + font-size: 12pt; +} + +body, a, a:visited { + color: #303030; +} + +#content { + padding-left: 50px; + padding-right: 50px; + padding-top: 30px; + padding-bottom: 30px; +} + +#content h1 { + font-size: 160%; + margin-bottom: 10px; +} + +#footer { + margin-top: 100px; + font-size: 80%; + white-space: nowrap; +} + +#footer, #footer a { + color: #a0a0a0; +} + +#line-wrapping-toggle { + vertical-align: middle; +} + +#label-for-line-wrapping-toggle { + vertical-align: middle; +} + +ul { + margin-left: 0; +} + +h1, h2, h3 { + white-space: nowrap; +} + +h2 { + font-size: 120%; +} + +ul.tabLinks { + padding-left: 0; + padding-top: 10px; + padding-bottom: 10px; + overflow: auto; + min-width: 800px; + width: auto !important; + width: 800px; +} + +ul.tabLinks li { + float: left; + height: 100%; + list-style: none; + padding-left: 10px; + padding-right: 10px; + padding-top: 5px; + padding-bottom: 5px; + margin-bottom: 0; + -moz-border-radius: 7px; + border-radius: 7px; + margin-right: 25px; + border: solid 1px #d4d4d4; + background-color: #f0f0f0; +} + +ul.tabLinks li:hover { + background-color: #fafafa; +} + +ul.tabLinks li.selected { + background-color: #c5f0f5; + border-color: #c5f0f5; +} + +ul.tabLinks a { + font-size: 120%; + display: block; + outline: none; + text-decoration: none; + margin: 0; + padding: 0; +} + +ul.tabLinks li h2 { + margin: 0; + padding: 0; +} + +div.tab { +} + +div.selected { + display: block; +} + +div.deselected { + display: none; +} + +div.tab table { + min-width: 350px; + width: auto !important; + width: 350px; + border-collapse: collapse; +} + +div.tab th, div.tab table { + border-bottom: solid #d0d0d0 1px; +} + +div.tab th { + text-align: left; + white-space: nowrap; + padding-left: 6em; +} + +div.tab th:first-child { + padding-left: 0; +} + +div.tab td { + white-space: nowrap; + padding-left: 6em; + padding-top: 5px; + padding-bottom: 5px; +} + +div.tab td:first-child { + padding-left: 0; +} + +div.tab td.numeric, div.tab th.numeric { + text-align: right; +} + +span.code { + display: inline-block; + margin-top: 0em; + margin-bottom: 1em; +} + +span.code pre { + font-size: 11pt; + padding-top: 10px; + padding-bottom: 10px; + padding-left: 10px; + padding-right: 10px; + margin: 0; + background-color: #f7f7f7; + border: solid 1px #d0d0d0; + min-width: 700px; + width: auto !important; + width: 700px; +} + +span.wrapped pre { + word-wrap: break-word; + white-space: pre-wrap; + word-break: break-all; +} + +label.hidden { + display: none; +} \ No newline at end of file diff --git a/jastadd-mquat-solver-emfer/build/reports/tests/test/css/style.css b/jastadd-mquat-solver-emfer/build/reports/tests/test/css/style.css new file mode 100644 index 0000000..3dc4913 --- /dev/null +++ b/jastadd-mquat-solver-emfer/build/reports/tests/test/css/style.css @@ -0,0 +1,84 @@ + +#summary { + margin-top: 30px; + margin-bottom: 40px; +} + +#summary table { + border-collapse: collapse; +} + +#summary td { + vertical-align: top; +} + +.breadcrumbs, .breadcrumbs a { + color: #606060; +} + +.infoBox { + width: 110px; + padding-top: 15px; + padding-bottom: 15px; + text-align: center; +} + +.infoBox p { + margin: 0; +} + +.counter, .percent { + font-size: 120%; + font-weight: bold; + margin-bottom: 8px; +} + +#duration { + width: 125px; +} + +#successRate, .summaryGroup { + border: solid 2px #d0d0d0; + -moz-border-radius: 10px; + border-radius: 10px; +} + +#successRate { + width: 140px; + margin-left: 35px; +} + +#successRate .percent { + font-size: 180%; +} + +.success, .success a { + color: #008000; +} + +div.success, #successRate.success { + background-color: #bbd9bb; + border-color: #008000; +} + +.failures, .failures a { + color: #b60808; +} + +.skipped, .skipped a { + color: #c09853; +} + +div.failures, #successRate.failures { + background-color: #ecdada; + border-color: #b60808; +} + +ul.linkList { + padding-left: 0; +} + +ul.linkList li { + list-style: none; + margin-bottom: 5px; +} diff --git a/jastadd-mquat-solver-emfer/build/reports/tests/test/index.html b/jastadd-mquat-solver-emfer/build/reports/tests/test/index.html new file mode 100644 index 0000000..d467600 --- /dev/null +++ b/jastadd-mquat-solver-emfer/build/reports/tests/test/index.html @@ -0,0 +1,141 @@ +<!DOCTYPE html> +<html> +<head> +<meta http-equiv="Content-Type" content="text/html; charset=utf-8"/> +<meta http-equiv="x-ua-compatible" content="IE=edge"/> +<title>Test results - Test Summary</title> +<link href="css/base-style.css" rel="stylesheet" type="text/css"/> +<link href="css/style.css" rel="stylesheet" type="text/css"/> +<script src="js/report.js" type="text/javascript"></script> +</head> +<body> +<div id="content"> +<h1>Test Summary</h1> +<div id="summary"> +<table> +<tr> +<td> +<div class="summaryGroup"> +<table> +<tr> +<td> +<div class="infoBox" id="tests"> +<div class="counter">6</div> +<p>tests</p> +</div> +</td> +<td> +<div class="infoBox" id="failures"> +<div class="counter">0</div> +<p>failures</p> +</div> +</td> +<td> +<div class="infoBox" id="ignored"> +<div class="counter">0</div> +<p>ignored</p> +</div> +</td> +<td> +<div class="infoBox" id="duration"> +<div class="counter">1.462s</div> +<p>duration</p> +</div> +</td> +</tr> +</table> +</div> +</td> +<td> +<div class="infoBox success" id="successRate"> +<div class="percent">100%</div> +<p>successful</p> +</div> +</td> +</tr> +</table> +</div> +<div id="tabs"> +<ul class="tabLinks"> +<li> +<a href="#tab0">Packages</a> +</li> +<li> +<a href="#tab1">Classes</a> +</li> +</ul> +<div id="tab0" class="tab"> +<h2>Packages</h2> +<table> +<thead> +<tr> +<th>Package</th> +<th>Tests</th> +<th>Failures</th> +<th>Ignored</th> +<th>Duration</th> +<th>Success rate</th> +</tr> +</thead> +<tbody> +<tr> +<td class="success"> +<a href="packages/de.tudresden.inf.st.mquat.solving.html">de.tudresden.inf.st.mquat.solving</a> +</td> +<td>6</td> +<td>0</td> +<td>0</td> +<td>1.462s</td> +<td class="success">100%</td> +</tr> +</tbody> +</table> +</div> +<div id="tab1" class="tab"> +<h2>Classes</h2> +<table> +<thead> +<tr> +<th>Class</th> +<th>Tests</th> +<th>Failures</th> +<th>Ignored</th> +<th>Duration</th> +<th>Success rate</th> +</tr> +</thead> +<tbody> +<tr> +<td class="success"/> +<a href="classes/de.tudresden.inf.st.mquat.solving.SimpleHandwrittenTest.html">de.tudresden.inf.st.mquat.solving.SimpleHandwrittenTest</a> +<td>5</td> +<td>0</td> +<td>0</td> +<td>0.581s</td> +<td class="success">100%</td> +</tr> +<tr> +<td class="success"/> +<a href="classes/de.tudresden.inf.st.mquat.solving.SimpleSolverTest.html">de.tudresden.inf.st.mquat.solving.SimpleSolverTest</a> +<td>1</td> +<td>0</td> +<td>0</td> +<td>0.881s</td> +<td class="success">100%</td> +</tr> +</tbody> +</table> +</div> +</div> +<div id="footer"> +<p> +<div> +<label class="hidden" id="label-for-line-wrapping-toggle" for="line-wrapping-toggle">Wrap lines +<input id="line-wrapping-toggle" type="checkbox" autocomplete="off"/> +</label> +</div>Generated by +<a href="http://www.gradle.org">Gradle 3.3</a> at 12.05.2018 15:31:06</p> +</div> +</div> +</body> +</html> diff --git a/jastadd-mquat-solver-emfer/build/reports/tests/test/js/report.js b/jastadd-mquat-solver-emfer/build/reports/tests/test/js/report.js new file mode 100644 index 0000000..83bab4a --- /dev/null +++ b/jastadd-mquat-solver-emfer/build/reports/tests/test/js/report.js @@ -0,0 +1,194 @@ +(function (window, document) { + "use strict"; + + var tabs = {}; + + function changeElementClass(element, classValue) { + if (element.getAttribute("className")) { + element.setAttribute("className", classValue); + } else { + element.setAttribute("class", classValue); + } + } + + function getClassAttribute(element) { + if (element.getAttribute("className")) { + return element.getAttribute("className"); + } else { + return element.getAttribute("class"); + } + } + + function addClass(element, classValue) { + changeElementClass(element, getClassAttribute(element) + " " + classValue); + } + + function removeClass(element, classValue) { + changeElementClass(element, getClassAttribute(element).replace(classValue, "")); + } + + function initTabs() { + var container = document.getElementById("tabs"); + + tabs.tabs = findTabs(container); + tabs.titles = findTitles(tabs.tabs); + tabs.headers = findHeaders(container); + tabs.select = select; + tabs.deselectAll = deselectAll; + tabs.select(0); + + return true; + } + + function getCheckBox() { + return document.getElementById("line-wrapping-toggle"); + } + + function getLabelForCheckBox() { + return document.getElementById("label-for-line-wrapping-toggle"); + } + + function findCodeBlocks() { + var spans = document.getElementById("tabs").getElementsByTagName("span"); + var codeBlocks = []; + for (var i = 0; i < spans.length; ++i) { + if (spans[i].className.indexOf("code") >= 0) { + codeBlocks.push(spans[i]); + } + } + return codeBlocks; + } + + function forAllCodeBlocks(operation) { + var codeBlocks = findCodeBlocks(); + + for (var i = 0; i < codeBlocks.length; ++i) { + operation(codeBlocks[i], "wrapped"); + } + } + + function toggleLineWrapping() { + var checkBox = getCheckBox(); + + if (checkBox.checked) { + forAllCodeBlocks(addClass); + } else { + forAllCodeBlocks(removeClass); + } + } + + function initControls() { + if (findCodeBlocks().length > 0) { + var checkBox = getCheckBox(); + var label = getLabelForCheckBox(); + + checkBox.onclick = toggleLineWrapping; + checkBox.checked = false; + + removeClass(label, "hidden"); + } + } + + function switchTab() { + var id = this.id.substr(1); + + for (var i = 0; i < tabs.tabs.length; i++) { + if (tabs.tabs[i].id === id) { + tabs.select(i); + break; + } + } + + return false; + } + + function select(i) { + this.deselectAll(); + + changeElementClass(this.tabs[i], "tab selected"); + changeElementClass(this.headers[i], "selected"); + + while (this.headers[i].firstChild) { + this.headers[i].removeChild(this.headers[i].firstChild); + } + + var h2 = document.createElement("H2"); + + h2.appendChild(document.createTextNode(this.titles[i])); + this.headers[i].appendChild(h2); + } + + function deselectAll() { + for (var i = 0; i < this.tabs.length; i++) { + changeElementClass(this.tabs[i], "tab deselected"); + changeElementClass(this.headers[i], "deselected"); + + while (this.headers[i].firstChild) { + this.headers[i].removeChild(this.headers[i].firstChild); + } + + var a = document.createElement("A"); + + a.setAttribute("id", "ltab" + i); + a.setAttribute("href", "#tab" + i); + a.onclick = switchTab; + a.appendChild(document.createTextNode(this.titles[i])); + + this.headers[i].appendChild(a); + } + } + + function findTabs(container) { + return findChildElements(container, "DIV", "tab"); + } + + function findHeaders(container) { + var owner = findChildElements(container, "UL", "tabLinks"); + return findChildElements(owner[0], "LI", null); + } + + function findTitles(tabs) { + var titles = []; + + for (var i = 0; i < tabs.length; i++) { + var tab = tabs[i]; + var header = findChildElements(tab, "H2", null)[0]; + + header.parentNode.removeChild(header); + + if (header.innerText) { + titles.push(header.innerText); + } else { + titles.push(header.textContent); + } + } + + return titles; + } + + function findChildElements(container, name, targetClass) { + var elements = []; + var children = container.childNodes; + + for (var i = 0; i < children.length; i++) { + var child = children.item(i); + + if (child.nodeType === 1 && child.nodeName === name) { + if (targetClass && child.className.indexOf(targetClass) < 0) { + continue; + } + + elements.push(child); + } + } + + return elements; + } + + // Entry point. + + window.onload = function() { + initTabs(); + initControls(); + }; +} (window, window.document)); \ No newline at end of file diff --git a/jastadd-mquat-solver-emfer/build/reports/tests/test/packages/de.tudresden.inf.st.mquat.solving.html b/jastadd-mquat-solver-emfer/build/reports/tests/test/packages/de.tudresden.inf.st.mquat.solving.html new file mode 100644 index 0000000..6b4d947 --- /dev/null +++ b/jastadd-mquat-solver-emfer/build/reports/tests/test/packages/de.tudresden.inf.st.mquat.solving.html @@ -0,0 +1,113 @@ +<!DOCTYPE html> +<html> +<head> +<meta http-equiv="Content-Type" content="text/html; charset=utf-8"/> +<meta http-equiv="x-ua-compatible" content="IE=edge"/> +<title>Test results - Package de.tudresden.inf.st.mquat.solving</title> +<link href="../css/base-style.css" rel="stylesheet" type="text/css"/> +<link href="../css/style.css" rel="stylesheet" type="text/css"/> +<script src="../js/report.js" type="text/javascript"></script> +</head> +<body> +<div id="content"> +<h1>Package de.tudresden.inf.st.mquat.solving</h1> +<div class="breadcrumbs"> +<a href="../index.html">all</a> > de.tudresden.inf.st.mquat.solving</div> +<div id="summary"> +<table> +<tr> +<td> +<div class="summaryGroup"> +<table> +<tr> +<td> +<div class="infoBox" id="tests"> +<div class="counter">6</div> +<p>tests</p> +</div> +</td> +<td> +<div class="infoBox" id="failures"> +<div class="counter">0</div> +<p>failures</p> +</div> +</td> +<td> +<div class="infoBox" id="ignored"> +<div class="counter">0</div> +<p>ignored</p> +</div> +</td> +<td> +<div class="infoBox" id="duration"> +<div class="counter">1.462s</div> +<p>duration</p> +</div> +</td> +</tr> +</table> +</div> +</td> +<td> +<div class="infoBox success" id="successRate"> +<div class="percent">100%</div> +<p>successful</p> +</div> +</td> +</tr> +</table> +</div> +<div id="tabs"> +<ul class="tabLinks"> +<li> +<a href="#tab0">Classes</a> +</li> +</ul> +<div id="tab0" class="tab"> +<h2>Classes</h2> +<table> +<thread> +<tr> +<th>Class</th> +<th>Tests</th> +<th>Failures</th> +<th>Ignored</th> +<th>Duration</th> +<th>Success rate</th> +</tr> +</thread> +<tr> +<td class="success"> +<a href="../classes/de.tudresden.inf.st.mquat.solving.SimpleHandwrittenTest.html">SimpleHandwrittenTest</a> +</td> +<td>5</td> +<td>0</td> +<td>0</td> +<td>0.581s</td> +<td class="success">100%</td> +</tr> +<tr> +<td class="success"> +<a href="../classes/de.tudresden.inf.st.mquat.solving.SimpleSolverTest.html">SimpleSolverTest</a> +</td> +<td>1</td> +<td>0</td> +<td>0</td> +<td>0.881s</td> +<td class="success">100%</td> +</tr> +</table> +</div> +</div> +<div id="footer"> +<p> +<div> +<label class="hidden" id="label-for-line-wrapping-toggle" for="line-wrapping-toggle">Wrap lines +<input id="line-wrapping-toggle" type="checkbox" autocomplete="off"/> +</label> +</div>Generated by +<a href="http://www.gradle.org">Gradle 3.3</a> at 12.05.2018 15:31:06</p> +</div> +</div> +</body> +</html> diff --git a/jastadd-mquat-solver-emfer/build/test-results/test/TEST-de.tudresden.inf.st.mquat.solving.SimpleHandwrittenTest.xml b/jastadd-mquat-solver-emfer/build/test-results/test/TEST-de.tudresden.inf.st.mquat.solving.SimpleHandwrittenTest.xml new file mode 100644 index 0000000..d27639a --- /dev/null +++ b/jastadd-mquat-solver-emfer/build/test-results/test/TEST-de.tudresden.inf.st.mquat.solving.SimpleHandwrittenTest.xml @@ -0,0 +1,154 @@ +<?xml version="1.0" encoding="UTF-8"?> +<testsuite name="de.tudresden.inf.st.mquat.solving.SimpleHandwrittenTest" tests="5" skipped="0" failures="0" errors="0" timestamp="2018-05-12T13:31:04" hostname="zuendorf-laptop" time="0.589"> + <properties/> + <testcase name="test_01" classname="de.tudresden.inf.st.mquat.solving.SimpleHandwrittenTest" time="0.243"/> + <testcase name="test_02" classname="de.tudresden.inf.st.mquat.solving.SimpleHandwrittenTest" time="0.014"/> + <testcase name="test_03" classname="de.tudresden.inf.st.mquat.solving.SimpleHandwrittenTest" time="0.059"/> + <testcase name="test_04" classname="de.tudresden.inf.st.mquat.solving.SimpleHandwrittenTest" time="0.021"/> + <testcase name="test_05" classname="de.tudresden.inf.st.mquat.solving.SimpleHandwrittenTest" time="0.244"/> + <system-out><![CDATA[Loading model DSL file 'test_01.txt'. +15:31:04.744 INFO d.t.i.s.m.s.s.SimpleSolver - found a better solution with an objective of 292427.44. +15:31:04.751 INFO d.t.i.s.m.s.s.SimpleSolver - Number of total software solutions: 6 +15:31:04.751 INFO d.t.i.s.m.s.s.SimpleSolver - Number of iterated software solutions: 4 +15:31:04.752 INFO d.t.i.s.m.s.s.SimpleSolver - Number of iterated solutions: 3 +15:31:04.753 INFO d.t.i.s.m.s.s.SimpleSolver - Number of correct solutions: 1 +15:31:04.756 DEBUG d.t.i.s.m.s.HandwrittenTestSuite - Solution: +solution { + request0 -> config_0i0m0 { + compute_resource_0 -> r0 { + cpu_1 -> cpu0_0 + } + other -> config_1i0m0 { + compute_resource_0 -> r1 { + cpu_1 -> cpu1_0 + } + } + } +} + +Loading model DSL file 'test_02.txt'. +15:31:04.772 INFO d.t.i.s.m.s.s.SimpleSolver - found a better solution with an objective of 292391.04. +15:31:04.774 INFO d.t.i.s.m.s.s.SimpleSolver - Number of total software solutions: 6 +15:31:04.774 INFO d.t.i.s.m.s.s.SimpleSolver - Number of iterated software solutions: 4 +15:31:04.777 INFO d.t.i.s.m.s.s.SimpleSolver - Number of iterated solutions: 3 +15:31:04.777 INFO d.t.i.s.m.s.s.SimpleSolver - Number of correct solutions: 1 +15:31:04.778 DEBUG d.t.i.s.m.s.HandwrittenTestSuite - Solution: +solution { + request0 -> config_0i0m0 { + compute_resource_0 -> r0 { + cpu_1 -> cpu0_0 + } + other -> config_1i0m0 { + compute_resource_0 -> r1 { + cpu_1 -> cpu1_0 + } + } + } +} + +Loading model DSL file 'test_03.txt'. +15:31:04.804 INFO d.t.i.s.m.s.s.SimpleSolver - found a better solution with an objective of 324731.04. +15:31:04.829 INFO d.t.i.s.m.s.s.SimpleSolver - Number of total software solutions: 18 +15:31:04.829 INFO d.t.i.s.m.s.s.SimpleSolver - Number of iterated software solutions: 8 +15:31:04.830 INFO d.t.i.s.m.s.s.SimpleSolver - Number of iterated solutions: 9 +15:31:04.832 INFO d.t.i.s.m.s.s.SimpleSolver - Number of correct solutions: 1 +15:31:04.833 DEBUG d.t.i.s.m.s.HandwrittenTestSuite - Solution: +solution { + request0 -> config_0i0m0 { + compute_resource_0 -> r0 { + cpu_1 -> cpu0_0 + } + other -> config_1i0m0 { + compute_resource_0 -> r1 { + cpu_1 -> cpu1_0 + } + } + } + request1 -> config_1i0m0 { + compute_resource_0 -> r2 { + cpu_1 -> cpu2_0 + } + } +} + +Loading model DSL file 'test_04.txt'. +15:31:04.850 INFO d.t.i.s.m.s.s.SimpleSolver - found a better solution with an objective of 375166.51999999996. +15:31:04.856 INFO d.t.i.s.m.s.s.SimpleSolver - Number of total software solutions: 12 +15:31:04.857 INFO d.t.i.s.m.s.s.SimpleSolver - Number of iterated software solutions: 8 +15:31:04.857 INFO d.t.i.s.m.s.s.SimpleSolver - Number of iterated solutions: 9 +15:31:04.858 INFO d.t.i.s.m.s.s.SimpleSolver - Number of correct solutions: 1 +15:31:04.860 DEBUG d.t.i.s.m.s.HandwrittenTestSuite - Solution: +solution { + request0 -> config_0i0m0 { + compute_resource_0 -> r0 { + cpu_1 -> cpu0_0 + } + alpha -> config_1i0m0 { + compute_resource_0 -> r1 { + cpu_1 -> cpu1_0 + } + } + beta -> config_2i0m0 { + compute_resource_0 -> r2 { + cpu_1 -> cpu2_0 + } + } + } +} + +Loading model DSL file 'test_05.txt'. +15:31:04.890 INFO d.t.i.s.m.s.s.SimpleSolver - found a better solution with an objective of 396486.6599999999. +15:31:04.892 INFO d.t.i.s.m.s.s.SimpleSolver - found a better solution with an objective of 396308.6599999999. +15:31:04.894 INFO d.t.i.s.m.s.s.SimpleSolver - found a better solution with an objective of 23665.660000000003. +15:31:04.897 INFO d.t.i.s.m.s.s.SimpleSolver - found a better solution with an objective of 23042.660000000003. +15:31:04.899 INFO d.t.i.s.m.s.s.SimpleSolver - found a better solution with an objective of 22864.660000000003. +15:31:04.910 INFO d.t.i.s.m.s.s.SimpleSolver - found a better solution with an objective of 22699.660000000003. +15:31:04.925 INFO d.t.i.s.m.s.s.SimpleSolver - found a better solution with an objective of 22097.66. +15:31:04.930 INFO d.t.i.s.m.s.s.SimpleSolver - found a better solution with an objective of 21919.66. +15:31:05.002 INFO d.t.i.s.m.s.s.SimpleSolver - found a better solution with an objective of 21885.66. +15:31:05.058 INFO d.t.i.s.m.s.s.SimpleSolver - Number of total software solutions: 192 +15:31:05.059 INFO d.t.i.s.m.s.s.SimpleSolver - Number of iterated software solutions: 8 +15:31:05.061 INFO d.t.i.s.m.s.s.SimpleSolver - Number of iterated solutions: 1584 +15:31:05.062 INFO d.t.i.s.m.s.s.SimpleSolver - Number of correct solutions: 360 +15:31:05.067 DEBUG d.t.i.s.m.s.HandwrittenTestSuite - Solution: +solution { + request0 -> configA0 { + compute_resource_0 -> r0 { + cpu_1 -> cpu0_0 + } + beta -> configB0 { + compute_resource_0 -> r1 { + cpu_1 -> cpu1_0 + } + chi -> configC0 { + compute_resource_0 -> r4 { + cpu_1 -> cpu0_0 + } + } + delta -> configD0 { + compute_resource_0 -> r3 { + cpu_1 -> cpu0_0 + } + } + } + epsilon -> configE0 { + compute_resource_0 -> r2 { + cpu_1 -> cpu2_0 + } + phi -> configF0 { + compute_resource_0 -> r5 { + cpu_1 -> cpu0_0 + } + } + gamma -> configG0 { + compute_resource_0 -> r6 { + cpu_1 -> cpu0_0 + } + } + } + } +} + +]]></system-out> + <system-err><![CDATA[]]></system-err> +</testsuite> diff --git a/jastadd-mquat-solver-emfer/build/test-results/test/TEST-de.tudresden.inf.st.mquat.solving.SimpleSolverTest.xml b/jastadd-mquat-solver-emfer/build/test-results/test/TEST-de.tudresden.inf.st.mquat.solving.SimpleSolverTest.xml new file mode 100644 index 0000000..4706e7f --- /dev/null +++ b/jastadd-mquat-solver-emfer/build/test-results/test/TEST-de.tudresden.inf.st.mquat.solving.SimpleSolverTest.xml @@ -0,0 +1,14 @@ +<?xml version="1.0" encoding="UTF-8"?> +<testsuite name="de.tudresden.inf.st.mquat.solving.SimpleSolverTest" tests="1" skipped="0" failures="0" errors="0" timestamp="2018-05-12T13:31:05" hostname="zuendorf-laptop" time="0.881"> + <properties/> + <testcase name="testSimpleSolver" classname="de.tudresden.inf.st.mquat.solving.SimpleSolverTest" time="0.881"/> + <system-out><![CDATA[15:31:05.159 INFO d.t.i.s.m.s.s.SimpleSolver - found a better solution with an objective of 523393.9. +15:31:05.201 INFO d.t.i.s.m.s.s.SimpleSolver - found a better solution with an objective of 523267.42000000004. +15:31:06.008 INFO d.t.i.s.m.s.s.SimpleSolver - Number of total software solutions: 1 +15:31:06.009 INFO d.t.i.s.m.s.s.SimpleSolver - Number of iterated software solutions: 1 +15:31:06.010 INFO d.t.i.s.m.s.s.SimpleSolver - Number of iterated solutions: 10148 +15:31:06.010 INFO d.t.i.s.m.s.s.SimpleSolver - Number of correct solutions: 3456 +15:31:06.012 INFO d.t.i.s.m.s.SimpleSolverTest - the best solution is valid and has an objective of 523267.42000000004. +]]></system-out> + <system-err><![CDATA[]]></system-err> +</testsuite> diff --git a/jastadd-mquat-solver-emfer/build/test-results/test/binary/output.bin b/jastadd-mquat-solver-emfer/build/test-results/test/binary/output.bin new file mode 100644 index 0000000..f93a668 --- /dev/null +++ b/jastadd-mquat-solver-emfer/build/test-results/test/binary/output.bin @@ -0,0 +1,150 @@ +'Loading model DSL file 'test_01.txt'. +i15:31:04.744 INFO d.t.i.s.m.s.s.SimpleSolver - found a better solution with an objective of 292427.44. +W15:31:04.751 INFO d.t.i.s.m.s.s.SimpleSolver - Number of total software solutions: 6 +Z15:31:04.751 INFO d.t.i.s.m.s.s.SimpleSolver - Number of iterated software solutions: 4 +Q15:31:04.752 INFO d.t.i.s.m.s.s.SimpleSolver - Number of iterated solutions: 3 +P15:31:04.753 INFO d.t.i.s.m.s.s.SimpleSolver - Number of correct solutions: 1 +@15:31:04.756 DEBUG d.t.i.s.m.s.HandwrittenTestSuite - Solution: +solution { + request0 -> config_0i0m0 { + compute_resource_0 -> r0 { + cpu_1 -> cpu0_0 + } + other -> config_1i0m0 { + compute_resource_0 -> r1 { + cpu_1 -> cpu1_0 + } + } + } +} + +'Loading model DSL file 'test_02.txt'. +i15:31:04.772 INFO d.t.i.s.m.s.s.SimpleSolver - found a better solution with an objective of 292391.04. +W15:31:04.774 INFO d.t.i.s.m.s.s.SimpleSolver - Number of total software solutions: 6 +Z15:31:04.774 INFO d.t.i.s.m.s.s.SimpleSolver - Number of iterated software solutions: 4 +Q15:31:04.777 INFO d.t.i.s.m.s.s.SimpleSolver - Number of iterated solutions: 3 +P15:31:04.777 INFO d.t.i.s.m.s.s.SimpleSolver - Number of correct solutions: 1 +@15:31:04.778 DEBUG d.t.i.s.m.s.HandwrittenTestSuite - Solution: +solution { + request0 -> config_0i0m0 { + compute_resource_0 -> r0 { + cpu_1 -> cpu0_0 + } + other -> config_1i0m0 { + compute_resource_0 -> r1 { + cpu_1 -> cpu1_0 + } + } + } +} + +'Loading model DSL file 'test_03.txt'. +i15:31:04.804 INFO d.t.i.s.m.s.s.SimpleSolver - found a better solution with an objective of 324731.04. +X15:31:04.829 INFO d.t.i.s.m.s.s.SimpleSolver - Number of total software solutions: 18 +Z15:31:04.829 INFO d.t.i.s.m.s.s.SimpleSolver - Number of iterated software solutions: 8 +Q15:31:04.830 INFO d.t.i.s.m.s.s.SimpleSolver - Number of iterated solutions: 9 +P15:31:04.832 INFO d.t.i.s.m.s.s.SimpleSolver - Number of correct solutions: 1 +@15:31:04.833 DEBUG d.t.i.s.m.s.HandwrittenTestSuite - Solution: +solution { + request0 -> config_0i0m0 { + compute_resource_0 -> r0 { + cpu_1 -> cpu0_0 + } + other -> config_1i0m0 { + compute_resource_0 -> r1 { + cpu_1 -> cpu1_0 + } + } + } + request1 -> config_1i0m0 { + compute_resource_0 -> r2 { + cpu_1 -> cpu2_0 + } + } +} + +'Loading model DSL file 'test_04.txt'. +r15:31:04.850 INFO d.t.i.s.m.s.s.SimpleSolver - found a better solution with an objective of 375166.51999999996. +X15:31:04.856 INFO d.t.i.s.m.s.s.SimpleSolver - Number of total software solutions: 12 +Z15:31:04.857 INFO d.t.i.s.m.s.s.SimpleSolver - Number of iterated software solutions: 8 +Q15:31:04.857 INFO d.t.i.s.m.s.s.SimpleSolver - Number of iterated solutions: 9 +P15:31:04.858 INFO d.t.i.s.m.s.s.SimpleSolver - Number of correct solutions: 1 +@15:31:04.860 DEBUG d.t.i.s.m.s.HandwrittenTestSuite - Solution: +solution { + request0 -> config_0i0m0 { + compute_resource_0 -> r0 { + cpu_1 -> cpu0_0 + } + alpha -> config_1i0m0 { + compute_resource_0 -> r1 { + cpu_1 -> cpu1_0 + } + } + beta -> config_2i0m0 { + compute_resource_0 -> r2 { + cpu_1 -> cpu2_0 + } + } + } +} + +'Loading model DSL file 'test_05.txt'. +q15:31:04.890 INFO d.t.i.s.m.s.s.SimpleSolver - found a better solution with an objective of 396486.6599999999. +q15:31:04.892 INFO d.t.i.s.m.s.s.SimpleSolver - found a better solution with an objective of 396308.6599999999. +r15:31:04.894 INFO d.t.i.s.m.s.s.SimpleSolver - found a better solution with an objective of 23665.660000000003. +r15:31:04.897 INFO d.t.i.s.m.s.s.SimpleSolver - found a better solution with an objective of 23042.660000000003. +r15:31:04.899 INFO d.t.i.s.m.s.s.SimpleSolver - found a better solution with an objective of 22864.660000000003. +r15:31:04.910 INFO d.t.i.s.m.s.s.SimpleSolver - found a better solution with an objective of 22699.660000000003. +h15:31:04.925 INFO d.t.i.s.m.s.s.SimpleSolver - found a better solution with an objective of 22097.66. +h15:31:04.930 INFO d.t.i.s.m.s.s.SimpleSolver - found a better solution with an objective of 21919.66. +h15:31:05.002 INFO d.t.i.s.m.s.s.SimpleSolver - found a better solution with an objective of 21885.66. +Y15:31:05.058 INFO d.t.i.s.m.s.s.SimpleSolver - Number of total software solutions: 192 +Z15:31:05.059 INFO d.t.i.s.m.s.s.SimpleSolver - Number of iterated software solutions: 8 +T15:31:05.061 INFO d.t.i.s.m.s.s.SimpleSolver - Number of iterated solutions: 1584 +R15:31:05.062 INFO d.t.i.s.m.s.s.SimpleSolver - Number of correct solutions: 360 +@15:31:05.067 DEBUG d.t.i.s.m.s.HandwrittenTestSuite - Solution: +solution { + request0 -> configA0 { + compute_resource_0 -> r0 { + cpu_1 -> cpu0_0 + } + beta -> configB0 { + compute_resource_0 -> r1 { + cpu_1 -> cpu1_0 + } + chi -> configC0 { + compute_resource_0 -> r4 { + cpu_1 -> cpu0_0 + } + } + delta -> configD0 { + compute_resource_0 -> r3 { + cpu_1 -> cpu0_0 + } + } + } + epsilon -> configE0 { + compute_resource_0 -> r2 { + cpu_1 -> cpu2_0 + } + phi -> configF0 { + compute_resource_0 -> r5 { + cpu_1 -> cpu0_0 + } + } + gamma -> configG0 { + compute_resource_0 -> r6 { + cpu_1 -> cpu0_0 + } + } + } + } +} + +h15:31:05.159 INFO d.t.i.s.m.s.s.SimpleSolver - found a better solution with an objective of 523393.9. +r15:31:05.201 INFO d.t.i.s.m.s.s.SimpleSolver - found a better solution with an objective of 523267.42000000004. +W15:31:06.008 INFO d.t.i.s.m.s.s.SimpleSolver - Number of total software solutions: 1 +Z15:31:06.009 INFO d.t.i.s.m.s.s.SimpleSolver - Number of iterated software solutions: 1 +U15:31:06.010 INFO d.t.i.s.m.s.s.SimpleSolver - Number of iterated solutions: 10148 +S15:31:06.010 INFO d.t.i.s.m.s.s.SimpleSolver - Number of correct solutions: 3456 +z15:31:06.012 INFO d.t.i.s.m.s.SimpleSolverTest - the best solution is valid and has an objective of 523267.42000000004. diff --git a/jastadd-mquat-solver-emfer/build/test-results/test/binary/output.bin.idx b/jastadd-mquat-solver-emfer/build/test-results/test/binary/output.bin.idx new file mode 100644 index 0000000000000000000000000000000000000000..152bbe95b730011d17d535b197dde7f4d585fac4 GIT binary patch literal 203 zcmZQ#Vr67N0nEz((Eu|<o>>z@v-zOO|7U?p1VL!dyXXp7p%RZFG;amE0yd~b9fTHh TMpwYW$PShAgwPUG(3JoHcim+V literal 0 HcmV?d00001 diff --git a/jastadd-mquat-solver-emfer/build/test-results/test/binary/results.bin b/jastadd-mquat-solver-emfer/build/test-results/test/binary/results.bin new file mode 100644 index 0000000000000000000000000000000000000000..b1c8d8601999697caac4672aa228b3f9a6cfc48d GIT binary patch literal 261 zcmZQ(V%m|Cs#j8)Qj}VplA5QNnU|(lT%wm-SejU(SDc?ymYJ8X7o3?}kdx|>n3qys zlvz@enirB<T*AP>m>kk$e3F&1qa?MsB;LS~;WHyd&}0t-GgQ!sfe$Knnt=r>X3Ss> z5i@0HV1<gAFo;6M<QdqYVx|mVpaz<WF>q`q)}6umIc2Fu2q&89FtSesIT7Lwh&01T KHi&(ea~S~i-BW1* literal 0 HcmV?d00001 diff --git a/jastadd-mquat-solver-emfer/build/tmp/jar/MANIFEST.MF b/jastadd-mquat-solver-emfer/build/tmp/jar/MANIFEST.MF new file mode 100644 index 0000000..59499bc --- /dev/null +++ b/jastadd-mquat-solver-emfer/build/tmp/jar/MANIFEST.MF @@ -0,0 +1,2 @@ +Manifest-Version: 1.0 + diff --git a/jastadd-mquat-solver-emfer/build/tmp/packageSources/MANIFEST.MF b/jastadd-mquat-solver-emfer/build/tmp/packageSources/MANIFEST.MF new file mode 100644 index 0000000..59499bc --- /dev/null +++ b/jastadd-mquat-solver-emfer/build/tmp/packageSources/MANIFEST.MF @@ -0,0 +1,2 @@ +Manifest-Version: 1.0 + diff --git a/jastadd-mquat-solver-emfer/build/tmp/test/jar_extract_8054202285903352761_tmp b/jastadd-mquat-solver-emfer/build/tmp/test/jar_extract_8054202285903352761_tmp new file mode 100644 index 0000000000000000000000000000000000000000..30d29b01e05935ff9f73d0188d62d703e22ce56f GIT binary patch literal 9782 zcmX^0Z`VEs1_l$xS}q1dhC}QOhq)M-7!GkVureHBXE@5maE#$Nh;xFAftBGTh;@pK z;WWb;ZicfA=eQZpGhAS2xX8h9iHm`k;W8J47Q+<|hN~d)YwQfyxfp~QZh(lJ><qWq z8E$hih%+4GVi04v17h6;vF>p(+-G>e&hQW<@`#<`F^GP`#URV@l#AgR!*h_D7wil# z*%@AOF{pxc%QL(Nsd)o3_bofaJCLRCxfwn%d;}4nK<@m^#qfpUD+j|jc82d<3_lot zaxwg3_ze>L!_M%Ri@_9Rjx57Jc83344C0Io9E^-y3||<TKpbW+217;`5Q~+Ak&TOy zosol!L5q=-i;;_wn~Q;ok%xnkmy3awk&lC6JqIH{h$+Cquz`b7kb_YO#1jS)A{>mO z9E@TdjN%-O5*!TMIT$557^OHEr8yX7I2dI)809z^<vAD?I2aW<7?n5}l{pwyI2ctq z7}Yo!)j1e7I2biK7_~SUwHX=Ma`MyDQ;QfG6n*lG()AMy5|cAh^+AG}dFde9Bun21 zti+m;fvq?{rwpW6%O@pOzoay!D782xHBUb?FHOI=L_fE%G_gb<qz0rn7_8Qsk%2Qg zKPM+Oxg@`ckwF1$OIB%KW{G}LX-;afzH3oYevvawg*79CWKd~dNoH<pSY~l%QckL4 zUS57lVo7FxUNIws0Fw5g(wtO~n`|=kGE3|j8JIOR!x$M@obyvs85#I}GV@aXN^_G^ zi$W5Ua#9%?gnaUo6LZ26i!wocs31#8MrJW1g9Q=Z@kq=|DKE+_DM`%>Ni8l3F3l_f zS<h9RT2flzoRe5w%*Y^)<UFU;wEUt}u!J=ugAiC5BuL!yi$ErTom7;r4+#v2a!_cc zr<Op}F*4|AXcFNvh-zy_2A-V!#1zN86tDmzgR_QDR$^JAeokUux_)p;QD$DcH9qsQ z5{pX`Q&RME^HWlD^g~Juz~RfBUs}S*V2Z~bsQP?Ci2!OFBLhcTW=?8eVlFrWFkHjP zzzVjEkwK4W^Mms9ORO0gIEwRgN<pcDk->;)y}?jD){G3i!6k{w*}jPd;FJI^LEbSk zaJg0_rxt*WEoNubVQ181XEbDF;0(@8&r2*RElOo%SW0=I+7RttuwRK*4fma$H6w#S zVsUY5QHf)5ab|j6Zfaf$BSV)4(MCZc-xD+aV2Ti*q7ZHYyDzz<G%*Ju#>ikowDS<U zKqi5c5G2_{Q-nUzCP6&P$iQBdT3DJ|T*An}=*h^yl9^kO!^pr<lv<o$T9gb*yr~rh zsmUd&DF~|>8H5tyq3c<aT9gPb;Y1)oR9cdmqYo3cW@HdUEq*EsQo#w2kzpcfZlz1& z@xtN<;w?r5k+q#QJHu^uMk7XsHzX!L;;kb)lh87GOF^=qbAE0?eqL%`Nl<EGX=YI> zBqP=m9~MYq35gTr!kp-ogJcS*juZwZ_DoQHfRJEh;K|G@E=kNwPW1y9*V3>QA5fHE zmYI^7myWEM1E!di;@1;u0jQEs1ZRJ&X0zuemLzAS7BezrlNV69+a{=06~aT-no*1l z!jL!%OU%gxRiV(b#E5t|KnfF32u~qV6CF}J$XV<qsl_Gn28N6bJjwZaX_@Kq2AKxA z1_-Vpgp1tF0yR~v85y8jjo>U}Mh3nj15{%W0#JjXx=au@7(r}+N|-V-utSV+gtMIB zEN3{&1<rDXv)te;cSZ)TU~ob0mI-R=Nn&fO>491wJPdgZ`HT#5pr$UQ-G!|Y%EOSw zkj=<ohC3a>+PK&(VrMkwVKiYh<zYx;NatawWT@g{$Y981XEftsG-tG6XSC#Dv|_Yo zXSCsAv}LqoWU#_*4{CY^H?6{pGD}i}Q%g!R^U{kM85k9K81fkHc^DlS9T^#TU~K>^ zuIgGIMkhvRMh0DCjRz-RkZCSFjINAsj0`%&>I4<Rj0{G^Do5ly9!7UY4<1HOMlT*l zZ$=+>MqeIAKakaU!X7nDJaY?jz{M)Ki@?L^<eSU{0({f}j<=Z(>0~W?niEV<2M? z4`VQ62s>ja4`Uc(I1gh4qYop40jUO(5O_YB#U-FnkK|#DVvOcti~;$dXbWKx&ciU1 zF_xXth=(zb(T;~Pp3#kmVI{*VcE$uA#ze*>Mg|L)%oK&Z{1Sz<%)AtZTu>3Kke{Z2 zXu?=2s1_^a=Yhzy{2~QV9g$jGq6+GDfwB&y8{wanm6}|_&X~-@n8KLK&X~r-n9i8N z!<flv&&VKwQ0EA4eP-t8fxCA+j9DawBCMj|Va#UCVPuf=%P)brI5RID$;ApFcd8ci zFy=Dmfl^XF4`TsiArE5_V=*IxC@f?YGK<0fE(4Y8?2IKKmzVM|mND9~GnVr(Rxnob zFjg^EGcs^POGmwuiV_}%YK9s{2Bsnd9)>=Keh|x$k%2Y8BqOzmhhZVZA|8g-3~S(e zj6izeJYxutsmKT}WC9UlP0T6CNMvMSNlGnAgiD%2BsriZp#dWUl<9<EIvar8U;>wN z0rQRFd{=~0H?Wi`T*@8HH)CXAPc10U%*oGVWMEFt$Yf+-O-aoGIfJ<X%u7$q%}r!v z5C+F$X1>0sKfE`@&RE09AfA+(Se9C(ACOp7oLZy;mt<t%L}K%J=H;apf&0CnDjZLt z04qd6-PO#zbR;u`z)nDELNhWbg9>e2;}gD#d5Pd*49@h_63BQ3BZCQYUk&UcYfW$u z9hWKTsYTX|4BEIeJIG1J&;ST6$;>HcWMBbxx)~XQk?n$Zf00^jFxzn(jasaMN>pn` z1`XWmkwXtOB*O|4NM&S5BEIPXwuJcp8!SUvGcw5Iiwkf(@MRXeq$ZW7yXJw0TT;No zGf|8TqF90n)G}c$D9Qx&QHzOpJ!Wl4!srHAGc=mO86l}OosmHui|ddg5mNYBgWQXv z5-N^eC4YKqiCbn-afvIWo?>JW(a^+H%E-W#o(k?JfP0}P8lJ>Q45)LFS_~Q$0gXmM zdEn%aJNcj`H%RXn>@`tPuQ#VG6}4t%WYEA8I8cv(vW31sc-$m02Q=D+$iFaAMh52e z)DlJp!Q#{sbd#-#k91V6VD}29W147%ci;@w?`TFcGKhgA0@Cvb1tz@TW>12tu$Bdq z0oIHR*2G5$7W=tDK85z77#U1SNg}Ws)tZrk9~!?f7cw$TB_aHw)>{+Z_k>wPybe%< z2pqGZK~tD^XbX*z!G?IpqUi;jDF7N?O-;_vOM&M{F<5>CCu5{B8}^LEV!zai5=I7= zJTN5yD)u1#21o;kk%1S|Y4po4@hi>AK`Y>(1p}zS5CmrlaPQqSuOt;*MzWVB=9H%T zr!g{!f#MQF1!!;!AqXk07#Y~o@{4j4OBfj}v1G_-%#sC~N5NJ@%&=x;U`b2N%t53D zSn^<G5Xem|C_o+N${;?(Vdjuf5+gbTpb>0HXu1}bCW7i#Y(B*FAf^Z?z>P`Dtl+^v z&}>2~)M}K93Kox1j0~VW2uoL>B9@d=8j_{085xiggHwKfPHJKvC<#O%#}rf?)bq|P z1`kOvGDw1wUq)hXa#3n=iGFf^QL4UYF*vM1Z99;|L-H9Jw2+ep%;n%_4_vD+sPzwS z>u@G#q$X#FWPs9>EwV;vO2G_U>?VOioEN2i$fC%=%3#RAz`)GF1?mYiFfcHI`oRng z42+=uH3K6<4g&)N8v`RlE&~Gt9|I$(Z_dETP{6>zV8_7Bz{tSBAfUCKfl+HW15@O7 z2Ij2{EE~b56f!U{fF=?d7z7zu7(^M07#J9MAnF;48A=!!7&sY98S)vJz-Fm}Wf&MZ zg;;kmux(~w2N}Z1fG|XgfrCLB?wB&L1Iyvs%^8@$25@R=ZDZir%D@TI&V;00o`Hiw z0m%)VP&dGQSHZx*!U7rw0K2`Kp@xAO?5>>*EDWp+3=B@%Act}JYHeZQ)Y-|v&BWlh ziGh750}ms^Oa?jK-3+{uLVVj9__r|#Sg~wkU>6dUWZB6e#LTdpK{!%JcRPc~25=~Y zJS4@y#=yX!$-vH_#UR9>%^=I5!=S^U%V5Ev4|bsm11p0L0}n$jLmdMP$Zn`x85o=x z>KPgs7#Y|ZtQi^^ni!ZEgcuAMni*Ocm>F6b7#O%282>U@ursu=Gqf{wFfcH1FfcQ8 zGITL?GxUHx*2};I>M212opBxmI|C;J1H(4$Z49CZ7{shtcQc4bZfB6NVv}T(WR=;* zAi0e}3dGdi#vr|oLFNF1>^25DNw(b#@{y8k+ZYtKF(@)`V^ET0m1Nn*pbS=_vYSCQ zayx_Cb_Vrr3>w<o7&H$sXl-NAwqloL-^rlE$S{*Z6~xkIWH`VeZpEP`$sx(Mok4FV z1Ggl{4hDTmjt$HIUl%f9+sj}W$*db3$s)-T9LXxPgTW|x2ZQkr29w<krjgqj%=R-d zFtC85*oi>^G=a^)$zaML#9+oC%V5r+$6&z_#bCvd#$e4*z+l5r!(hwM&S1yT!(h+Q z&)~=~iNT3s34=4k3I->Jbqp@xfRAC|WT;^fW|+V*k%0pgF7SZg#xRLtGB|~8W0=A) zm4OK?JB^`%ff>x2&d|WX!obO}791_C3_=V`7-ld`WME@RV+dfF$uNt7onbZu1A`b; z=Ol(X42)2@xeV;!$P-{-{>P98j=Xv74D&UZpmDZ<feF-?g=V@b46NYfqocizK|yC5 zgE=_REv#6yK~Z37#VTaQ0uDJHP-y8&vhHB8Mq~ydaDwt=5Mc0PkYMm;&}Q%j``iv< zCfvU|42u~ig8i$*u!Nxj>}nl`r3@1pm>C2ZWEhq)EN5V0kYEsDSivxnft7)YVI{*V zs0&*en82Z8puLU3MrRv?%{B(xnGDKM_bPySqT1US>~yv<*nxTMEXx^KnAgBF2*j0P z4Ezk?46+On4EhXVU{@+Y%!Rws031`GBFF$7+DzbZWMyE|b6{j(0`>hN37w&Ufd%XZ zIjt=WEJF4yI~W|`3Da>0gToF6r)><*pkQJKCn$&mVi~v@;uxeDVi{x^;=vApM4ueo z0dmk}0g75k*#;5;MJ*(|tz}?jSjUhLElXxHu!4hMTT94gJA<o_mNv7Hn~?i<1`l5l z(^JT6JA;RxmX46O?sf(rE$!_Lz6d8l3XNn2c7_xNA%;{2S%x$QRfcp1ErtxR)3hK) zL!HLXpaON85Q8McdWMM%OboINd<+}FF$i-mL>0)nsAUDLPz2e|$gl~U2mHwNKn?>t zLoS05Lmq=HLq3BlLji*pLm`bluo>=w70?(k(-QKBcwjpNIP9@RgEothr%=Fl29I!9 zjDUgzl0M`Z*cliYN*UN0${2VU${EBNDj1X)Dj9Scsu)Zes*(I-29FSZXoQF}$TMsK zM~D)G2*Xyi2mz@g6d~K-{yD(F3a*_Tw1ff)`iEI42<#s#7A+m2U~m%C5ekuH+0NjD z@R<_0;Hzg~XJ}yHVQ6F!XJ}$jVrXX2V`yP8V`yctXJ`Za4pc`mFgU<{X9@S6CN#Mz zF~~uan;wG@!*+&=3@qRx5R^~Y89?d@`Ev)%pNw$~tl)}jnwC%~ia)~;*(V&DeYBZ{ zB7`EhGk93BfO1uoP&A0m3S!4V{Lcnr#|p)P#MwdYc%cLkn?p-SC<GcViJ&^kM@v^I z2^>ILx<bj4te{*e$tIK{$qr?uN^+ot9;71bVqj<JX5eAyVGw8NWl&=1W6)#hXRu<J zz~II(ks*j-5<?urWQH_`DGd1xQyD54rZF@!OlRn3n87fWVJ0|qK@|}L!!&s4_QONB zo?$06?UXR=0;e54h75+?;Lx>Vh+)_RE{@$80vPs!tDhhS7lwTd6B*bU;utI#_Jb=n gMD_=ni$4~a7!H6N4hI<x!0kCkhAu{3MtufO05#gdF8}}l literal 0 HcmV?d00001 -- GitLab