Y2019-1/index.html

<!DOCTYPE html>
<html lang="en">
<head>
 <meta charset="utf-8">
 <meta http-equiv="Cache-Control" content="no-cache, no-store, must-revalidate">
 <meta http-equiv="Pragma" content="no-cache">
 <meta http-equiv="Expires" content="0">
 <link rel="stylesheet" type="text/css" href="../master.css">
 <script src="../definitions.js"></script>
 <title>Termination Competition 2019</title>
</head>
<body>
 <h1>Termination Competition 2019 <span class="headerFollower">
  
  <span id=configToggler class=button></span>
  <span id=scoreToggler class=button></span>
  <span id=columnToggler class=button></span>
 </span>
</h1>
<script>
var configToggler = StyleToggler(
	document.getElementById("configToggler"), ".config", [
		{ text: "Show configs", assign: { display: "none" } },
		{ text: "Hide configs", assign: { display: "" } },
	],
	1);
var scoreToggler = StyleToggler(
	document.getElementById("scoreToggler"), ".score:not(.important)", [
		{ text: "Show scores", assign: { display: "none" } },
		{ text: "Hide scores", assign: { display: "" } },
	],
	1);
var columnToggler = StyleToggler(
	document.getElementById("columnToggler"), "span.category", [
		{ text: "One column", assign: { display: "inline" } },
		{ text: "Many column", assign: { display: "block" } },
	]
);
function updateScores(catname,participants) {}
</script>
<h2>Termination of Rewriting <span id=stat0 class=stats></span></h2>
 <script>
  function summer(a,b){
   return {done: a.done + b.done, cpu: a.cpu + b.cpu, time: a.time + b.time, togo: a.togo + b.togo};
  }
  var progress0 = [];
  function updateProgress0() {
   var sum = progress0.reduce(summer);
   document.getElementById("stat0").innerHTML =
    "Progress: " + Math.floor(1000 * sum.done / (sum.done + sum.togo))/10 +
    "%, CPU Time: " + seconds2str(sum.cpu) + ", Node Time: "+ seconds2str(sum.time);
  }
</script>
 <span id="33457_33116" class=category></span>
 <script>
  function load33457_33116() {
   var elm = document.getElementById("33457_33116");
   loadURL("TRS_Standard.graph.html", function(xhttp) {
    elm.innerHTML = xhttp.responseText;
    scoreToggler.apply(elm);
    configToggler.apply(elm);
   });
   loadURL("TRS_Standard.summary.json", function(xhttp) {
    var data = JSON.parse(xhttp.responseText);
    progress0[0] = data["layers"].reduce(summer);
    updateProgress0();
    updateScores("TRS Standard",data["participants"]);
   });
  }
  load33457_33116();
  setInterval(load33457_33116, 10000);
 </script>
 <span id="33458_33117" class=category></span>
 <script>
  function load33458_33117() {
   var elm = document.getElementById("33458_33117");
   loadURL("SRS_Standard.graph.html", function(xhttp) {
    elm.innerHTML = xhttp.responseText;
    scoreToggler.apply(elm);
    configToggler.apply(elm);
   });
   loadURL("SRS_Standard.summary.json", function(xhttp) {
    var data = JSON.parse(xhttp.responseText);
    progress0[1] = data["layers"].reduce(summer);
    updateProgress0();
    updateScores("SRS Standard",data["participants"]);
   });
  }
  load33458_33117();
  setInterval(load33458_33117, 10000);
 </script>
 <span id="33012_33126" class=category></span>
 <script>
  function load33012_33126() {
   var elm = document.getElementById("33012_33126");
   loadURL("TRS_Relative.graph.html", function(xhttp) {
    elm.innerHTML = xhttp.responseText;
    scoreToggler.apply(elm);
    configToggler.apply(elm);
   });
   loadURL("TRS_Relative.summary.json", function(xhttp) {
    var data = JSON.parse(xhttp.responseText);
    progress0[2] = data["layers"].reduce(summer);
    updateProgress0();
    updateScores("TRS Relative",data["participants"]);
   });
  }
  load33012_33126();
  setInterval(load33012_33126, 10000);
 </script>
 <span id="33461_33127" class=category></span>
 <script>
  function load33461_33127() {
   var elm = document.getElementById("33461_33127");
   loadURL("SRS_Relative.graph.html", function(xhttp) {
    elm.innerHTML = xhttp.responseText;
    scoreToggler.apply(elm);
    configToggler.apply(elm);
   });
   loadURL("SRS_Relative.summary.json", function(xhttp) {
    var data = JSON.parse(xhttp.responseText);
    progress0[3] = data["layers"].reduce(summer);
    updateProgress0();
    updateScores("SRS Relative",data["participants"]);
   });
  }
  load33461_33127();
  setInterval(load33461_33127, 10000);
 </script>
 <span id="33020_33128" class=category></span>
 <script>
  function load33020_33128() {
   var elm = document.getElementById("33020_33128");
   loadURL("TRS_Equational.graph.html", function(xhttp) {
    elm.innerHTML = xhttp.responseText;
    scoreToggler.apply(elm);
    configToggler.apply(elm);
   });
   loadURL("TRS_Equational.summary.json", function(xhttp) {
    var data = JSON.parse(xhttp.responseText);
    progress0[4] = data["layers"].reduce(summer);
    updateProgress0();
    updateScores("TRS Equational",data["participants"]);
   });
  }
  load33020_33128();
  setInterval(load33020_33128, 10000);
 </script>
 <span id="33455" class=category></span>
 <script>
  function load33455() {
   var elm = document.getElementById("33455");
   loadURL("TRS_Conditional.graph.html", function(xhttp) {
    elm.innerHTML = xhttp.responseText;
    scoreToggler.apply(elm);
    configToggler.apply(elm);
   });
   loadURL("TRS_Conditional.summary.json", function(xhttp) {
    var data = JSON.parse(xhttp.responseText);
    progress0[5] = data["layers"].reduce(summer);
    updateProgress0();
    updateScores("TRS Conditional",data["participants"]);
   });
  }
  load33455();
  setInterval(load33455, 10000);
 </script>
 <span id="33019" class=category></span>
 <script>
  function load33019() {
   var elm = document.getElementById("33019");
   loadURL("TRS_Context_Sensitive.graph.html", function(xhttp) {
    elm.innerHTML = xhttp.responseText;
    scoreToggler.apply(elm);
    configToggler.apply(elm);
   });
   loadURL("TRS_Context_Sensitive.summary.json", function(xhttp) {
    var data = JSON.parse(xhttp.responseText);
    progress0[6] = data["layers"].reduce(summer);
    updateProgress0();
    updateScores("TRS Context Sensitive",data["participants"]);
   });
  }
  load33019();
  setInterval(load33019, 10000);
 </script>
 <span id="33453_33570" class=category></span>
 <script>
  function load33453_33570() {
   var elm = document.getElementById("33453_33570");
   loadURL("TRS_Innermost.graph.html", function(xhttp) {
    elm.innerHTML = xhttp.responseText;
    scoreToggler.apply(elm);
    configToggler.apply(elm);
   });
   loadURL("TRS_Innermost.summary.json", function(xhttp) {
    var data = JSON.parse(xhttp.responseText);
    progress0[7] = data["layers"].reduce(summer);
    updateProgress0();
    updateScores("TRS Innermost",data["participants"]);
   });
  }
  load33453_33570();
  setInterval(load33453_33570, 10000);
 </script>
 <span id="33452" class=category></span>
 <script>
  function load33452() {
   var elm = document.getElementById("33452");
   loadURL("HRS_Union_Beta.graph.html", function(xhttp) {
    elm.innerHTML = xhttp.responseText;
    scoreToggler.apply(elm);
    configToggler.apply(elm);
   });
   loadURL("HRS_Union_Beta.summary.json", function(xhttp) {
    var data = JSON.parse(xhttp.responseText);
    progress0[8] = data["layers"].reduce(summer);
    updateProgress0();
    updateScores("HRS Union Beta",data["participants"]);
   });
  }
  load33452();
  setInterval(load33452, 10000);
 </script>
<h2>Termination of Programs <span id=stat1 class=stats></span></h2>
 <script>
  function summer(a,b){
   return {done: a.done + b.done, cpu: a.cpu + b.cpu, time: a.time + b.time, togo: a.togo + b.togo};
  }
  var progress1 = [];
  function updateProgress1() {
   var sum = progress1.reduce(summer);
   document.getElementById("stat1").innerHTML =
    "Progress: " + Math.floor(1000 * sum.done / (sum.done + sum.togo))/10 +
    "%, CPU Time: " + seconds2str(sum.cpu) + ", Node Time: "+ seconds2str(sum.time);
  }
</script>
 <span id="33437" class=category></span>
 <script>
  function load33437() {
   var elm = document.getElementById("33437");
   loadURL("C.graph.html", function(xhttp) {
    elm.innerHTML = xhttp.responseText;
    scoreToggler.apply(elm);
    configToggler.apply(elm);
   });
   loadURL("C.summary.json", function(xhttp) {
    var data = JSON.parse(xhttp.responseText);
    progress1[0] = data["layers"].reduce(summer);
    updateProgress1();
    updateScores("C",data["participants"]);
   });
  }
  load33437();
  setInterval(load33437, 10000);
 </script>
 <span id="33454" class=category></span>
 <script>
  function load33454() {
   var elm = document.getElementById("33454");
   loadURL("C_Integer.graph.html", function(xhttp) {
    elm.innerHTML = xhttp.responseText;
    scoreToggler.apply(elm);
    configToggler.apply(elm);
   });
   loadURL("C_Integer.summary.json", function(xhttp) {
    var data = JSON.parse(xhttp.responseText);
    progress1[1] = data["layers"].reduce(summer);
    updateProgress1();
    updateScores("C Integer",data["participants"]);
   });
  }
  load33454();
  setInterval(load33454, 10000);
 </script>
 <span id="33595" class=category></span>
 <script>
  function load33595() {
   var elm = document.getElementById("33595");
   loadURL("Logic_Programming.graph.html", function(xhttp) {
    elm.innerHTML = xhttp.responseText;
    scoreToggler.apply(elm);
    configToggler.apply(elm);
   });
   loadURL("Logic_Programming.summary.json", function(xhttp) {
    var data = JSON.parse(xhttp.responseText);
    progress1[2] = data["layers"].reduce(summer);
    updateProgress1();
    updateScores("Logic Programming",data["participants"]);
   });
  }
  load33595();
  setInterval(load33595, 10000);
 </script>
 <span id="33456" class=category></span>
 <script>
  function load33456() {
   var elm = document.getElementById("33456");
   loadURL("Integer_Transition_Systems.graph.html", function(xhttp) {
    elm.innerHTML = xhttp.responseText;
    scoreToggler.apply(elm);
    configToggler.apply(elm);
   });
   loadURL("Integer_Transition_Systems.summary.json", function(xhttp) {
    var data = JSON.parse(xhttp.responseText);
    progress1[3] = data["layers"].reduce(summer);
    updateProgress1();
    updateScores("Integer Transition Systems",data["participants"]);
   });
  }
  load33456();
  setInterval(load33456, 10000);
 </script>
 <span id="33016" class=category></span>
 <script>
  function load33016() {
   var elm = document.getElementById("33016");
   loadURL("Integer_TRS_Innermost.graph.html", function(xhttp) {
    elm.innerHTML = xhttp.responseText;
    scoreToggler.apply(elm);
    configToggler.apply(elm);
   });
   loadURL("Integer_TRS_Innermost.summary.json", function(xhttp) {
    var data = JSON.parse(xhttp.responseText);
    progress1[4] = data["layers"].reduce(summer);
    updateProgress1();
    updateScores("Integer TRS Innermost",data["participants"]);
   });
  }
  load33016();
  setInterval(load33016, 10000);
 </script>
<h2>Complexity Analysis <span id=stat2 class=stats></span></h2>
 <script>
  function summer(a,b){
   return {done: a.done + b.done, cpu: a.cpu + b.cpu, time: a.time + b.time, togo: a.togo + b.togo};
  }
  var progress2 = [];
  function updateProgress2() {
   var sum = progress2.reduce(summer);
   document.getElementById("stat2").innerHTML =
    "Progress: " + Math.floor(1000 * sum.done / (sum.done + sum.togo))/10 +
    "%, CPU Time: " + seconds2str(sum.cpu) + ", Node Time: "+ seconds2str(sum.time);
  }
</script>
 <span id="33014" class=category></span>
 <script>
  function load33014() {
   var elm = document.getElementById("33014");
   loadURL("Complexity__ITS.graph.html", function(xhttp) {
    elm.innerHTML = xhttp.responseText;
    scoreToggler.apply(elm);
    configToggler.apply(elm);
   });
   loadURL("Complexity__ITS.summary.json", function(xhttp) {
    var data = JSON.parse(xhttp.responseText);
    progress2[0] = data["layers"].reduce(summer);
    updateProgress2();
    updateScores("Complexity: ITS",data["participants"]);
   });
  }
  load33014();
  setInterval(load33014, 10000);
 </script>
 <span id="33013" class=category></span>
 <script>
  function load33013() {
   var elm = document.getElementById("33013");
   loadURL("Complexity__C_Integer.graph.html", function(xhttp) {
    elm.innerHTML = xhttp.responseText;
    scoreToggler.apply(elm);
    configToggler.apply(elm);
   });
   loadURL("Complexity__C_Integer.summary.json", function(xhttp) {
    var data = JSON.parse(xhttp.responseText);
    progress2[1] = data["layers"].reduce(summer);
    updateProgress2();
    updateScores("Complexity: C Integer",data["participants"]);
   });
  }
  load33013();
  setInterval(load33013, 10000);
 </script>
<h2>Demonstrations <span id=stat3 class=stats></span></h2>
 <script>
  function summer(a,b){
   return {done: a.done + b.done, cpu: a.cpu + b.cpu, time: a.time + b.time, togo: a.togo + b.togo};
  }
  var progress3 = [];
  function updateProgress3() {
   var sum = progress3.reduce(summer);
   document.getElementById("stat3").innerHTML =
    "Progress: " + Math.floor(1000 * sum.done / (sum.done + sum.togo))/10 +
    "%, CPU Time: " + seconds2str(sum.cpu) + ", Node Time: "+ seconds2str(sum.time);
  }
</script>
 <span id="33568_33569" class=category></span>
 <script>
  function load33568_33569() {
   var elm = document.getElementById("33568_33569");
   loadURL("TRS_Outermost.graph.html", function(xhttp) {
    elm.innerHTML = xhttp.responseText;
    scoreToggler.apply(elm);
    configToggler.apply(elm);
   });
   loadURL("TRS_Outermost.summary.json", function(xhttp) {
    var data = JSON.parse(xhttp.responseText);
    progress3[0] = data["layers"].reduce(summer);
    updateProgress3();
   });
  }
  load33568_33569();
  setInterval(load33568_33569, 10000);
 </script>
 <span id="33571" class=category></span>
 <script>
  function load33571() {
   var elm = document.getElementById("33571");
   loadURL("Java_Bytecode.graph.html", function(xhttp) {
    elm.innerHTML = xhttp.responseText;
    scoreToggler.apply(elm);
    configToggler.apply(elm);
   });
   loadURL("Java_Bytecode.summary.json", function(xhttp) {
    var data = JSON.parse(xhttp.responseText);
    progress3[1] = data["layers"].reduce(summer);
    updateProgress3();
   });
  }
  load33571();
  setInterval(load33571, 10000);
 </script>
 <span id="33572" class=category></span>
 <script>
  function load33572() {
   var elm = document.getElementById("33572");
   loadURL("Haskell.graph.html", function(xhttp) {
    elm.innerHTML = xhttp.responseText;
    scoreToggler.apply(elm);
    configToggler.apply(elm);
   });
   loadURL("Haskell.summary.json", function(xhttp) {
    var data = JSON.parse(xhttp.responseText);
    progress3[2] = data["layers"].reduce(summer);
    updateProgress3();
   });
  }
  load33572();
  setInterval(load33572, 10000);
 </script>
 <span id="33563" class=category></span>
 <script>
  function load33563() {
   var elm = document.getElementById("33563");
   loadURL("Runtime_Complexity__TRS.graph.html", function(xhttp) {
    elm.innerHTML = xhttp.responseText;
    scoreToggler.apply(elm);
    configToggler.apply(elm);
   });
   loadURL("Runtime_Complexity__TRS.summary.json", function(xhttp) {
    var data = JSON.parse(xhttp.responseText);
    progress3[3] = data["layers"].reduce(summer);
    updateProgress3();
   });
  }
  load33563();
  setInterval(load33563, 10000);
 </script>
 <span id="33566_33567" class=category></span>
 <script>
  function load33566_33567() {
   var elm = document.getElementById("33566_33567");
   loadURL("Runtime_Complexity__TRS_Innermost.graph.html", function(xhttp) {
    elm.innerHTML = xhttp.responseText;
    scoreToggler.apply(elm);
    configToggler.apply(elm);
   });
   loadURL("Runtime_Complexity__TRS_Innermost.summary.json", function(xhttp) {
    var data = JSON.parse(xhttp.responseText);
    progress3[4] = data["layers"].reduce(summer);
    updateProgress3();
   });
  }
  load33566_33567();
  setInterval(load33566_33567, 10000);
 </script>

</body>
</html>