Minglw: Updated the summary with new results from YASS (using v2.66)

2007-03-26T14:33:26Z

Updated the summary with new results from YASS (using v2.66)

New page

This is a summary of running what I called the Aymeric collection (282 levels total) using these solvers:<br>
• BoxSearch v5.1 beta2 <br>
• Takaken v7.0<br>
• YASS v2.66<br>
<br>
The Aymeric collection is a collection of level sets by Aymeric Du Peloux (282 levels total).
It consists of these level sets (and in this order):<br>
• COSMONOTES ( 20 levels)<br>
• COSMOPOLY ( 22 levels)<br>
• LOMA (100 levels) -- Note: this is a collection by many authors.<br>
• MICROCOSMOS ( 40 levels)<br>
• MINICOSMOS ( 40 levels)<br>
• NABOKOSMOS ( 40 levels)<br>
• PICOKOSMOS ( 20 levels)<br>
<br>
For copyrights, credits and redistribution of these statistics, please read the [[Solvers#Disclaimer | disclaimer]].<br>
<br>
Though some people might be interested in how long it takes to solve a given level and/or how good the solution is (optimal or not), this summary disregards all timing associated with solving the levels and solution statistics.
These tests are mainly for gauging solvability, not timing nor how good the solution is.

<div class="note-2">
<u>Not all Sokoban solvers are created equal:</u><br>
*BoxSearch v5.1 beta2 allows setting for max time limit and max memory.
*Takaken v7.0 allows setting for max time but lacks max memory option.
*YASS v2.66 allows setting for max time and max memory option.

<u>Test machine info:</u><br>
*Machine: ThinkPad T42P
*CPU: x86 Family 6 Model 13 Stepping 6 Genuine Intel
*Physical RAM: 2 GB
*OS Name & Version: Microsoft Windows XP Professional v5.12600 Service Pack 2 Build 2600.

<u>Initial tests:</u><br>
*BoxSearch is set with max memory limit of 1500 MB and 600 seconds. (using quick mode)
*Takaken is set with 600 seconds time limit
*YASS is set with 1000 MB memory and 600 second limit.

<u>Further tests:</u><br>
*(none so far)
</div>

<div class="box-2">
<b>Note:</b>
Each solver is tested separately to ensure that they don't compete for system resources.
</div>

The following table shows the levels where each of the solvers failed:
======================================================================

BoxSearch Takaken YASS
============== ============== ==============
275
============== ============== ==============
Total: 0 1 0

Total (unique level count): 1

All solvers failed on these levels:
===================================================================================

===================================================================================
Total count: 0

"BoxSearch" failed on these levels where at least one solver solved:
===================================================================================

===================================================================================
Total count: 0

"Takaken" failed on these levels where at least one solver solved:
===================================================================================
275
===================================================================================
Total count: 1

"YASS" failed on these levels where at least one solver solved:
===================================================================================

===================================================================================
Total count: 0

"BoxSearch" solved these levels where all other solvers failed:
===================================================================================

===================================================================================
Total count: 0

"Takaken" solved these levels where all other solvers failed:
===================================================================================

===================================================================================
Total count: 0

"YASS" solved these levels where all other solvers failed:
===================================================================================

===================================================================================
Total count: 0

"BoxSearch" failed on these levels where all other solvers solved:
===================================================================================

===================================================================================
Total count: 0

"Takaken" failed on these levels where all other solvers solved:
===================================================================================
275
===================================================================================
Total count: 1

"YASS" failed on these levels where all other solvers solved:
===================================================================================

===================================================================================
Total count: 0

<div class="box margin-2"><div style="width:500px;">
BoxSearch solved 282 of 282 levels.
<div class="box-progress">
<div class="small" style="width: 100%;">BoxSearch 100%</div>
</div>

Takaken solved 281 of 282 levels.
<div class="box-progress">
<div class="small" style="width: 99.6%;">Takaken 99.6%</div>
</div>

YASS solved 282 of 282 levels.
<div class="box-progress">
<div class="small" style="width: 100%;">YASS 100%</div>
</div>

All solvers combined solved 282 of 282 levels.
<div class="box-progress">
<div class="small" style="width: 100%;background:rgb(125,190,255);">All solvers 100%</div>
</div>

</div></div>

Solver Statistics - Aymeric du Peloux - Revision history

Minglw: Updated the summary with new results from YASS (using v2.66)