Aller au contenu

Index de reproduction

Chaque résultat du wiki livré avec une commande de reproduction, en un seul tableau : ce que fait la commande, si elle relance la recherche ou revérifie seulement un plateau enregistré, et à peu près ce qu'elle coûte à exécuter. Cliquez sur un en-tête de colonne pour réordonner.

40 commandes

Pipeline
Aucun coup forcéexactrechercheno-forced-moves
Benchmark mono-cœurgrainerecherche60 s2.5
Calibré sur le pic de difficultéexactrecherchephase-transition
CASgrainerecherchebaseline arm 45 s × 8 frames; CAS arm deterministic per-shell beam over 20 frames (the source's per-shell MIP took 25 to 45 s per frame)0.10cas-annular
GAUNTLETstochastiquevérif. seule~5 min ALNS lift per build (exploratory run, not the standardized single-core bench)0.67record-boards
KEYRINGstochastiquevérif. seulenot logged (exploratory run, not the standardized single-core bench)record-boards
L'échelle de taillesgrainerecherche12 s single-core budget per (solver, instance, seed) run; 4 rungs × 8 seeds × 2 solvers = 64 runs0.0033scaling-ladder
L'emplacement des indices l'emporte sur leur nombregrainerecherche
L'entropie et la loi d'aireexactrechercheentropy-area-law
L'équilibre du bordexactrechercheborder-mismatch-share
L'étude de la réparationgrainerecherche60 s0.017
L'étude DFSgrainerecherche60 s0.017
L'étude sur les indicesgrainerecherche8 s per run0.0022
L'immédiateté des contraintes : chaque ordre de remplissage paie les mêmes 480exactrechercheconstraint-immediacy
La région difficile qu'on ne peut pas concevoir autrementgrainerechercheirreducible-hard-region
La traîne comme problème exact à part entièregrainerechercheexact-tail-endgame
Le backtracker C de McGavin : l'histoire du débit, reconstruit icilourdrecherche30 s per run0.0083
Le backtracker JIT : du Rust portable à égalité avec du C optimisé sur les plateaux difficileslourdrecherche6–30 s per benchmark run0.0083
Le cadre fluideexactrecherchewell under a minute for the 500-frame main run on one core (; a preflight at the default scale completed in about 7 s)0.016
Le cadre n'est pas le bassin : une bordure différente n'ouvre pas un plateau plus hautgrainerechercheframe-is-not-the-basin
Le mur des 470 : une frontière de phase, pas une limite d'ingénierieexactrecherchethe-470-wall
Le plateau comme mot de codeexactrecherchepermutation-code-wall
Le solveur de Blackwood, décodé et exécuté icilourdrecherche60-120 s per run0.033
Le vol de pièce, là où meurent les solveursexactrecherchepiece-theft
Les couleurs rares vivent sur le cadreexactrechercherare-color-geography
Lire l'avenir d'une rangée dans ses pièces restantesgrainerechercheabout 2 minutes for the full 120-seed run, single core0.27
LODESTONEstochastiquevérif. seulenot logged (exploratory run, not the standardized single-core bench)record-boards
Motifs interditsexactrechercheforbidden-patterns
Nombres de référenceexactrecherchesubgrid-placement-counts
PALIMPSESTstochastiquevérif. seule~30 min × 6 seeds (exploratory run, not the standardized single-core bench)4.0record-boards
Pourquoi le basin-hopping semble impossibleexactvérif. seulesigma-cycles
Pourquoi un ordinateur plus rapide ne change rienexactrechercheprune-vs-speed
Presets CSP, à la mesuregrainerecherche60 s2.0
PRIORstochastiquevérif. seulenot logged (exploratory run, not the standardized single-core bench)record-boards
Réimplémentation de Verhaardgrainerecherche120 s0.033
Relier les indices tôt n'aide pas, cela nuitexactrechercheclue-corridors
Rendre un producteur beam 10x meilleur : la réponse est la largeurgrainerecherche12 s saturated width-law passes; 3 s per A/B arm (192 arms in the powered SMC comparison)0.0033beam-width-smc
STAGEDstochastiquevérif. seulenot logged (exploratory run, not the standardized single-core bench)record-boards
Un élagage correct par comptage des couleurs pour la recherche tolérante aux rupturesgrainerecherche25 s cap per A/B arm on the phase 1 grid, 300 s per arm on the certificate rows0.056
Un jeu de pièces extrême sur chaque axe mesuréexactrechercheadversarial-piece-set