Datasetpublic

sethuiyer/navokoj_sat_2024

Navokoj SAT 2024 Benchmark Results Navokoj is a computational physics engine that tackles NP-complete business problems by treating constraints as energy fields, allowing for real-time optimization. Navokoj uses non-commutative geometry and statistical mechanics to tackle SAT/Max-SAT problems. We achieve 92.57% perfect solutions on SAT 2024 industrial benchmarks. Results independently verifiable via API. 🚀 NitroSAT Engine (Open Source) NitroSAT is the… See the full description on the dataset page: https://huggingface.co/datasets/sethuiyer/navokoj_sat_2024.

sourceHugging Facecc-by-4.0updated 7mo agoView on Hugging Face

1likes51downloads

Dataset Card

Navokoj SAT 2024 Benchmark Results

Navokoj is a computational physics engine that tackles NP-complete business problems by treating constraints as energy fields, allowing for real-time optimization.

Navokoj uses non-commutative geometry and statistical mechanics to tackle SAT/Max-SAT problems. We achieve 92.57% perfect solutions on SAT 2024 industrial benchmarks. Results independently verifiable via API.

🚀 NitroSAT Engine (Open Source)

NitroSAT is the high-performance open-source sibling to the Navokoj engines.

—GitHub: https://github.com/sethuiyer/NitroSAT
—License: Apache 2.0 (FOSSA Compliant)
—Core Capability: Designed for "Mega-Scale" logic objects (Multi-million variable instances).

This dataset contains performance results for 4,199 SAT benchmark problems (2024 industrial-track archive) tested across four engines.

🏆 Head-to-Head Comparison

Engine	Perfect Rate	Quality (Avg Sat)	Status	Use Case
NitroSAT 💥	76.60% (Global)	99.65%	Apache 2.0	Mega-Scale / Research
Navokoj PRO 🚀	92.57%	99.92%	Closed Source	Mission-Critical
Navokoj MINI 🧠	31.37%	99.55%	Managed	Balanced
Navokoj NANO 🪶	3.24%	96.41%	Managed	Real-time

Note: NitroSAT performance is log-verified across 5,158 total instances, including "Huge" problems like the 512x512 multiplier (1.5M variables) which reached 99.9999% satisfaction.

Dataset fetched from https://zenodo.org/records/15125952

Quick census (2024 industrial track)

IBMCKT 1 018 files Intel_FPGA_ 1 374 files NVIDIAGPU 761 files Huawei_BMC_ 846 files Open-Silicon_* 200 files

All results are publically verifiable through the API at https://navokoj.shunyabar.foo/docs/

[image]

🔍 Log-Verified Performance Audit (2026)

A deep audit of the NitroSAT engine reveals it operates in a unique category for enterprise-scale problems:

—NitroSAT Wins: NITRO beat the Navokoj Pro engine on 281 specific industrial instances.
—The "Mega-Scale" Advantage: NitroSAT is solving problems that generic solvers cannot even load.
—Multiplier 512x512: NitroSAT handled a monster instance with 1.56 Million variables and 5.2 Million clauses, reaching 99.9999% satisfaction (only 3 clauses left unsatisfied).
—Corrected Perfect SAT: Across its global history, NitroSAT has achieved 100% Perfect SAT on 3,202 instances (Verified via execution logs).

Dataset Overview

—Total Problems: 4,199 SAT instances
—Test Date: December 2, 2025
—NitroSAT Audit Date: March 12, 2026

File Structure

The repository contains result files for the cloud engines and local solvers:

—nano_engine_all_files_comprehensive.json - Complete results from Nano engine
—mini_engine_all_files_comprehensive.json - Complete results from Mini engine
—pro_engine_all_files_comprehensive.json - Complete results from Pro engine
—sol.zip - Verified NitroSAT (.sol) execution logs for all instances

Methodology

All engines were tested on the same set of 4,199 SAT benchmark problems using identical batch processing. Results for NitroSAT are extracted directly from the execution log SAT lines (sat=X/Y (%)) to ensure accuracy over discrete search passes.

NitroSAT is accessible at sethuiyer/NitroSAT. The Navokoj Pro engine remains closed-source proprietary technology.