File:Rush Hour solution - hardest configuration.gif

No higher resolution available.

Rush_Hour_solution_-_hardest_configuration.gif ‎(400 × 400 pixels, file size: 110 KB, MIME type: image/gif, looped, 294 frames, 12 s)

Captions

English

Minimum solution of the hardest possible Rush Hour configuration. The number of steps is 93.

Description	English: Minimum solution of the hardest possible Rush Hour configuration. The number of steps is 93. The UPPAAL model checker was used to compute the solution. It was visualised using the Pygame library. See http://www.ulb.ac.be/di/algo/secollet/papers/crs06.pdf
Date	25 May 2019
Source	Own work
Author	Árni Dagur, Bernhard Linn, Eva Ósk, Frosti Bjarnason, Sindri Ingólfsson

I, the copyright holder of this work, hereby publish it under the following license:

	This file is made available under the Creative Commons CC0 1.0 Universal Public Domain Dedication.
	The person who associated a work with this deed has dedicated the work to the public domain by waiving all of their rights to the work worldwide under copyright law, including all related and neighboring rights, to the extent allowed by law. You can copy, modify, distribute and perform the work, even for commercial purposes, all without asking permission. CC0falsefalse

The following ffmpeg command was used to turn individual frames into a gif:

ffmpeg -f image2 -i frame%d.jpeg -framerate 15 -s 400x400 out.gif

Click on a date/time to view the file as it appeared at that time.

	Date/Time	Thumbnail	Dimensions	User	Comment
current	21:50, 25 May 2019		400 × 400 (110 KB)	ArniDagur (talk \| contribs)	Made image smaller
	21:10, 25 May 2019		600 × 600 (157 KB)	ArniDagur (talk \| contribs)	User created page with UploadWizard

You cannot overwrite this file.

There are no pages that use this file.

The following other wikis use this file: