nissy-core

The "engine" of nissy, including the H48 optimal solver.
git clone https://git.tronto.net/nissy-core
Download | Log | Files | Refs | README | LICENSE

commit 2253dedd6749c5262899e64bb8840885e0172f77
parent 8ac3998636180a79a2a5cf494f143cf79e1eae4e
Author: Sebastiano Tronto <sebastiano@tronto.net>
Date:   Mon, 16 Jun 2025 22:19:42 +0200

Added benchmark scrambles (from Enrico's thesis)

Diffstat:
Autils/benchmark_scrambles/scrambles-16.txt | 25+++++++++++++++++++++++++
Autils/benchmark_scrambles/scrambles-17.txt | 25+++++++++++++++++++++++++
Autils/benchmark_scrambles/scrambles-18.txt | 25+++++++++++++++++++++++++
Autils/benchmark_scrambles/scrambles-19.txt | 25+++++++++++++++++++++++++
Autils/benchmark_scrambles/scrambles-20.txt | 25+++++++++++++++++++++++++
5 files changed, 125 insertions(+), 0 deletions(-)

diff --git a/utils/benchmark_scrambles/scrambles-16.txt b/utils/benchmark_scrambles/scrambles-16.txt @@ -0,0 +1,25 @@ +U' D F2 U2 R F' R' U' D2 F' U B R D F R' +D F' L2 F2 B D2 F U' D B2 R D F2 R2 B' U2 +L F' D L' D2 L F2 D' L2 U' L F2 D R U R +U2 F D' B D2 R F' B D R F B U B2 R F2 +L' D2 F2 D R2 L' B L B2 U2 L' D' L' R D' L' +R2 L2 F2 R F2 D2 R2 F' U' L D2 B R' U2 D' R2 +F' D B2 R' D2 B L' D L' U2 F' R' F D F2 U' +R U B' L2 U L' D F' D B' L2 B2 U' L' U2 L +R2 F2 R D R2 U L2 U L' U2 F L F D2 F U +L2 B2 L' F2 L2 U2 F U2 F' B' D' B U D2 B2 U +U' L2 U2 F L' D2 B R2 U' L' B2 R2 B U2 F' U +D' F2 U2 D' L2 B D F B' L2 F R' U2 F L2 B +R2 U' B2 D F2 D2 R2 D' L' F' B R U2 B' L' F' +D2 R F' D' R2 L2 U L B' R2 D F R2 L2 F D2 +D2 L B' R2 F U' F D' B2 L D R' B L' F2 B2 +R2 F R U L F' R' L2 U R B L' F' D' B U' +D R D' R U L F' B' U2 F2 L' U' F L' D' R2 +U2 B R B U D B2 L F' D L2 U2 L D' F' U' +F' R' U B2 R' B' L2 F2 U2 L' U B2 D2 L2 D' L2 +D R2 D' R' L2 B L F L' U' L2 F L2 B R U2 +F' B L F' L U L2 F U R2 L2 U L U2 L F' +U' R B U2 B L2 B' D' R' U F2 B R U2 R2 B2 +L U' F2 L' D2 R D' B' U' R2 L' U2 L B2 D B' +U R2 D2 B R D2 F R2 B U R' D' F' R2 U D +U' D' R2 F L B R' U2 F U2 D2 F2 R L2 B L' diff --git a/utils/benchmark_scrambles/scrambles-17.txt b/utils/benchmark_scrambles/scrambles-17.txt @@ -0,0 +1,25 @@ +F' R2 L D' L U F2 B U2 D B U' F' R' B F' U' +B' D' R' D F' R' F2 R2 D2 B2 D' B L U R D' B2 +B2 L U L' D' R' L2 U B2 R2 L2 B' L' D R2 L' D +U' F2 U' R' D2 B' R' D R' B D2 F2 D2 F2 L' U2 R2 +R B2 D' R U' F D' B L' F R U F D' F R2 L2 +U2 D2 R2 B' L2 U F2 L F R B2 D' R2 U2 D2 B L2 +R' U' B R' L2 D2 L U B2 L B U' R' U2 R2 U L2 +D F D' F' U2 D' F2 R2 F' U' L F' B L' B D F2 +L D2 R F2 R F2 U' F' L' B2 D' B R2 B L D R' +B D R2 U' R2 L D' R D' L F D' L' F2 B' D' F +U2 L' B D' F' R D2 B' U L' B' L2 U2 B D2 F2 L +U D R' L2 B U F L2 B' L' F R D2 B U B2 U2 +R U2 R' B2 U' L U2 R' B' U L' B2 D B U' R' B' +U B' D F2 R D L U2 R2 B' U2 B2 D F' R2 F' U' +U F' L F2 U L U2 R' B2 L' F' L2 U B2 R' F2 B +L2 F' U2 L' U' D2 L' B R B U2 B L' F' L' R' B' +L2 D' L2 F B' L B2 U2 D2 L' U' B2 L2 F2 R2 D' B2 +U' D L U B' U2 L F L2 F B D' B L F2 U D2 +U R D' R' F D F2 U2 R2 B' R2 B2 D2 R U' F2 L +U' R F' D L D' R2 L' F2 D' B R2 B' U B' U' L +F' B L' D F' U' R B' L2 D2 F D2 R' L' U L B2 +U F' U2 R' B2 U B2 R B2 L F' D' R' B2 L' D' U +F' L F U2 L2 B R2 F' B' R2 U2 R B' L2 U F D2 +L2 B D R L F' U2 F2 D2 R' B U2 F2 R' L B R +L F R2 F L2 F' R U2 F' D2 R' B' U B' R F B2 diff --git a/utils/benchmark_scrambles/scrambles-18.txt b/utils/benchmark_scrambles/scrambles-18.txt @@ -0,0 +1,25 @@ +D L' D' B2 U2 L F2 D2 R' U' D2 F' L2 F B' L2 D B' +D' F U D R2 F' R2 D2 R F' R2 B' U2 R' F2 D L U +U' F' R2 U2 F' U2 R U' L U2 B2 L' F R2 U' L2 B2 D2 +R B2 D' L' F' U' F2 R2 D' F2 R D' R2 B' U2 F2 D B' +U2 B2 R2 U D R' B U' F2 L2 F' D B D F2 R U L +U B' D' R' B' D2 F B U2 D' L D' B' U R B D' F2 +R B' U2 B' R2 F2 U' R' D' R' F' L F' D' R2 D' F R2 +U2 R' L U2 D2 R2 B2 U2 F U2 L' F2 L2 U' B2 D' B2 R' +D2 B' L D2 L' U' F L' D' F2 U2 F B D' L2 D2 B2 U' +U' L' F D' R2 L' B L' U' B2 L2 U2 L D F' D U' B' +U' B R2 B2 U2 B R' F2 L' U D R L D' B2 D' B L +U L D B' D L2 F2 B U2 B D' L U2 D2 F R2 D L2 +U' F' U R' B' R U2 D' L B U2 B' R2 D2 F' R L F2 +D2 B2 R F R2 U' D' L' U2 L' F U2 L' B' L2 F' L D' +U L2 U B D2 R' F U R B U2 B U D F2 D L U2 +U D L' D R U' D' R U R2 F2 B R2 F U F2 D' B' +R2 F2 U2 R' B U' R D' B' R U' R' U' D' L2 F2 L D +F' U' D F2 R U B' D F2 D2 R B' U' L B2 L2 B2 L +D L2 U2 D L B' U R2 L' B D' R' L D' R2 U' B R' +U' F U R2 U2 B D2 F D L' F' D' R' L2 U B' L F +L F2 D' B2 L2 F2 B U L' B R U2 F2 U D2 F' R' D +U R2 L2 F' U' R2 U D' R2 F2 D2 F' U' D' L2 D' L' U' +U' R2 B2 R' F B' L F2 U B2 L' U' B2 R F2 U2 B L2 +R2 F' D R' L F L F2 R2 U2 L2 F' U F2 R' L' F B2 +F R D B2 D B2 L' F L U' B' D L' F U' R D' U' diff --git a/utils/benchmark_scrambles/scrambles-19.txt b/utils/benchmark_scrambles/scrambles-19.txt @@ -0,0 +1,25 @@ +D2 R2 U2 D B2 L2 U2 R F' B' U L2 D L2 F D' R2 U R +D L2 U D F' U2 R' U2 D' R2 L F' U B2 L D' L' B2 D2 +U' L2 D' B' L D F R' D2 L2 B2 D' L2 D' L2 F2 L U' F' +U L U2 F2 R' B R' L B' D' L D' B R' D L' U L F +U F U D L' D' R2 L2 F D2 R2 B2 R B' D F' D' L U' +D R' U' L2 F R2 U F2 L D2 B U R' B' U2 F L' B D +U' B' U D' L D' B' R U2 D' F' D2 R L' D L' F2 B D +D F2 U D F R2 F L2 D2 B' U D' L D2 B' R' L2 B' D' +U B U' F2 L U' R' U' B2 R2 F2 B' U' R2 D' R' D' R2 D2 +D2 L' U2 F' D2 B U' R2 F U2 B L F L2 D2 B' L' R' D' +D R2 D R B' R F2 U F2 B2 R U' F' B' U2 L' D R D' +U B' D' F' U L F2 R2 B D L2 D F' B2 R2 F' R U' L' +U B U D2 L U L B2 D' R D' F' L' F B2 U' F' B2 R' +U2 F2 U B L D' B2 L F U' F2 U2 R' B D2 B L' B F +U L' U2 F U B D2 B' R D2 B' D L D B2 L2 F' D' L +U R D2 R2 F2 L' U' F L' D' F2 R2 D F' R L F2 R2 B' +U2 B2 U2 R2 D2 L2 D B R2 D' L F2 L2 F' D2 R' L2 D R2 +U' D' F B' U R F B2 R B D R2 D2 L2 D' R' U' B' F +D L U D' F' U L2 F U D F R D2 R' D R' B U' B2 +D2 R2 U D' R F2 U D' F L' B R' L D L2 B' L' U2 D' +U F' D R U2 L' F' L2 B U F2 D B' D2 B' U' F' U B' +U B2 U' R' F R' D' R L' U D' B U2 R2 D' B2 L D2 L +U2 R U2 D' L2 B2 D2 R2 F R D F' R2 D B2 R2 F' D L' +U B' U R B' U' L' F' D R2 U' F D R' U' B2 R L2 B' +U' B2 U R2 L2 D2 R' U' R U' F U D2 L' B U' F' U2 L2 diff --git a/utils/benchmark_scrambles/scrambles-20.txt b/utils/benchmark_scrambles/scrambles-20.txt @@ -0,0 +1,25 @@ +R2 U2 R F L' B D' R' U2 B2 U2 F D U2 R2 U2 F2 L F2 B2 +F R B' R2 L2 B' R' D2 R' D B L F' L2 F2 U D2 B2 R2 U' +L2 F' B' R L2 D R2 L' D F' L' U' L' B D2 F R2 F2 L2 D2 +F U2 B2 R' B' U2 F' R' U' L' U2 F B2 U R2 L2 F2 U' B2 D2 +F R D F' L2 U2 D2 R' U2 B' L' U F' R2 L2 U2 F' B D2 B' +U F L' U' F' B' R D F' L' U F2 R2 L U2 R' L2 B2 R' L' +F U' L' D' F B' R2 D2 R U2 B' R D2 R' U2 L' B2 L B2 L' +D2 U2 R2 B2 D2 F L2 B2 F2 L U' B R F2 U' L F' L U2 L +F R D F' L' U B' R' D R2 U' F R2 F2 R2 L2 B' L2 F D2 +U' L D' F R U' F' U R' B U R F' B2 U2 F2 R2 L' D2 R +D L2 B2 D F' L' D' R B' U F' U2 R F' U2 D2 F2 U' R2 B2 +L2 D L2 F2 U L2 B2 F2 U' R F U' L' D F' L2 R2 D2 F' L' +F2 B' R F2 B2 U D2 B' L2 D' L2 F' B2 U2 D2 L D2 R L2 D2 +U2 F2 L B2 U2 L' R' B R D' U' F' R' F' L' B2 R' F L2 D +F R' B R F' D F' R' D' L F2 U' D' B' U2 F' B2 L2 F2 D2 +R' F2 B' U' D2 B' D' F R' B' D' F2 D2 R L F2 D2 F2 D2 L' +R' U' D' B' D2 L' F U F' D2 L2 F D' B2 L D2 F2 R2 B2 R +L' D' F R2 D2 B U' F' U' F R L' F' D' F2 L2 D2 B2 R2 F2 +L2 D B L2 B2 R' F D' L U B R' F D2 F' D2 B' R2 F U2 +F B2 R' D' L U B' R2 D L' B L2 U R L D2 R B2 R2 D2 +R L2 F' U' L B U R D' B2 L U' F' D2 B' D2 L2 F' B R2 +R' B2 F2 L' D2 F2 R B2 D2 R F' U' L' D B' R' B2 F U' L' +B' R2 L D' B' L2 U' R D B' R F' U2 L U2 R' U2 R2 D2 F2 +B R2 F2 U' D2 B' R' U' D' L U F' B2 U2 D2 L2 D2 L U2 L +L2 F R2 F L2 F' U2 L U' B2 D B' L R' D' R2 D2 B R2 F