G22_1 EstrelaMaxima: Dataset e Resultados da Prova Universal Via SAT em 11 Estrelas
收藏官方服务：
资源简介：
Conjunto de dados e scripts da prova universal G22_1 do protocolo EstrelaMaxima. A prova valida que a mesma solução SAT resolve simultaneamente 11 estrelas distintas, confirmando a universalidade do algoritmo. Este pacote contém: 1. G22_1_AMOSTRA_z10.csv - Dados brutos das 11 estrelas testadas2. G22_1_RESULTADO.json - Resultado consolidado com status SAT/UNSAT por estrela 3. VERIFICAÇÃO_G22_1.txt - Relatório de verificação e checksums SHA256 Todos os resultados confirmam SAT=True para as 11 instâncias. Reprodutível com EstrelaMaxima v1.0. Data da prova: 14 de junho de 2026.
提供机构：
Zenodo创建时间：
2026-06-14
