Compare commits

..

No commits in common. "f643015867d4f759f99e72d2dfc6035d20a5b938" and "e801e2d9b960dc71e1f54b1fb7ab543bf03eab84" have entirely different histories.

254 changed files with 6 additions and 15 deletions

View file

@ -1,5 +1,5 @@
---
title: Runaway Planning Result Overview
title: Runaway Planning Result Page
---

View file

@ -1,22 +1,14 @@
---
title: Runaway Planning Animations
title: Runaway Planning Results
---
{{< dummy >}}
<h2>
Please enter a number in the field below, and press enter. The corresponding
dataset will be loaded.
</h2>
<input type="number" id="resultId" min="0" max="99" default="0">
<input type="submit" id="showResultButton">
<input type="number" id="resultId" min="0" max="99" default="0" />
<input type="submit" id="showResultButton" value="Load dataset" />
<h3>
If the video does not load for a given algorithm, that means it failed to
compute a solution (within the 10s timeout).
</h3>
<p>If the video does not load for a given algorithm, that means it failed to
compute a solution (within the 10s timeout).</p>
<div>
<p>Raw CBS</p>
@ -43,7 +35,6 @@ compute a solution (within the 10s timeout).
var idField = document.getElementById("resultId");
var button = document.getElementById("showResultButton");
button.addEventListener("click", () => show_all_videos(idField.value));
idField.addEventListener("keypress", (event) => event.key === "Enter" && button.click());
function show_one_video(videoDiv, n) {
const videoLoc = "./" + videoDiv.id + "/from_generated_" + n + ".mp4";

Some files were not shown because too many files have changed in this diff Show more