Resultados de nuestros solvers y datos de la biblioteca de semillas

El 25 de octubre de 2026 ejecutamos los solvers de Cards4 sobre 96 repartos y reprodujimos todas las soluciones que devolvieron mediante el motor de reglas. Los resultados describen ese experimento. No miden la tasa de victoria de personas ni la proporción de todos los repartos aleatorios que pueden ganarse.

La instantánea de datos incluye cada semilla, resultado, longitud de solución, tiempo, versiones del software y hashes SHA-256 del código y de las bibliotecas. Son mediciones originales de Cards4, distintas de los estudios publicados que explicamos en la guía de probabilidades.

El experimento

Para Klondike Turn 1, Klondike Turn 3 y Spider de un palo usamos los enteros 0 a 31, ambos incluidos. Cada solver recibió 250 milisegundos por reparto. Las llamadas se ejecutaron una tras otra, sin competir entre sí, con las reglas actuales del servidor y el solver habitual de cada variante.

La selección quedó fijada de antemano. Los enteros consecutivos facilitan repetir la prueba, pero constituyen una muestra de conveniencia de 32 repartos por variante, no una muestra estadística aleatoria. El presupuesto corto mide lo que estos programas encuentran deprisa y deja muchas posiciones sin resolver.

Una victoria reproducida significa que todos los movimientos fueron legales y que el estado final cumplió la condición de victoria del motor. Un tiempo agotado significa que el solver no terminó dentro del presupuesto. Una búsqueda agotada significa que terminó sin solución según sus propias reglas de búsqueda. Ninguno de esos resultados negativos demuestra imposibilidad.

El cero de Spider es especialmente fácil de malinterpretar. Las 32 búsquedas agotaron el tiempo. Solo dice que no encontramos soluciones completas con este presupuesto pequeño. La biblioteca distribuida contiene, por separado, 1.000 semillas seleccionadas de Spider de un palo, generadas con más tiempo de búsqueda.

Qué contiene la biblioteca distribuida

Cada fichero binario guarda enteros sin signo de 64 bits en orden little-endian, ocho bytes por semilla. Contamos directamente las entradas y los valores distintos de los archivos versionados. El inventario contiene 4.900 entradas en nueve archivos, sin enteros repetidos dentro de cada archivo individual.

Estos archivos contienen repartos seleccionados para los que la herramienta encontró una línea ganadora. No son la muestra de 96 repartos de arriba. No conservamos el número original de intentos de generación, por lo que no se puede calcular una tasa de éxito dividiendo el tamaño de la biblioteca entre un denominador inventado. Los binarios almacenan semillas, no secuencias de movimientos archivadas.

Un recuento tampoco certifica los datos para siempre. Una modificación futura del barajado o las reglas podría cambiar lo que significa una semilla. Los hashes del código y de los archivos identifican las entradas exactas de esta medición. Reproducir un reparto requiere la variante y la implementación correctas, además del número de semilla.

Reproducir e interpretar los resultados

Desde este checkout, ejecuta mix run --no-start scripts/solver_audit.exs. El comando escribe la instantánea pública JSON y deja intactas las bibliotecas de semillas. Antes de aceptar cada solución, reproduce sus movimientos. Los tiempos y algunos resultados por límite temporal pueden variar entre máquinas o con un equipo ocupado; las versiones registradas de Elixir y OTP ayudan a identificar diferencias.

La lista completa de semillas está en la instantánea. Puedes investigar un reparto con el verificador del barajado, recordando su alcance: obtener las mismas cartas iniciales comprueba reproducibilidad. No demuestra selección sin sesgos, un solver completo ni una futura victoria humana.

El Modo resoluble elimina la duda de si una semilla seleccionada tiene una línea ganadora conocida. El modo aleatorio responde a otra pregunta. La guía de desafíos diarios explica semillas compartidas y puntuación. Publicaremos futuras mediciones con método y fecha propios, sin presentar este pequeño experimento como una tasa general de victorias.

Preguntas frecuentes

¿Cuál es la tasa de victoria de jugadores de Cards4?

Este experimento no recoge resultados de jugadores y no puede responderlo. Los quince y once repartos completados de Klondike son éxitos de un solver con 250 milisegundos por búsqueda, no tasas humanas.

¿Un tiempo agotado significa que no se puede ganar?

No. Solo indica que el solver no terminó dentro de su límite. Los recursos disponibles, el orden de movimientos y las decisiones de implementación pueden impedir encontrar una solución que existe.

¿Por qué publicar hashes de los archivos?

Permiten comprobar si el código y las bibliotecas de otra copia coinciden con esta medición. Un nombre de archivo igual o una fecha de despliegue posterior no bastan para establecer que los datos son idénticos.