· Zero-Knowledge SAT Validation Engine
TiXiE Tech
0 classifications
0 Set A (probe)
0 Set B (solver)
— solver calls avoided

Theoretical Result

A 6.36σ universal separability signal exists across the SAT phase transition — a previously undescribed structural property of random k-SAT, validated n=15 to n=500 on random 3-SAT · SATLIB benchmarks n=50–100. This signal partitions instances without solver invocation, enabling 57% solver call reduction on hard phase-transition instances.

Parks SAT Framework (PTSF) · Alika M. Parks · Kalaheo, Hawaii · 2026

— instances classified globally

Performance Metrics
57% solver call reduction · Tier 1 classifier
47x vs MiniSAT · Tier 1 · benchmark hardware · n=50
3.9x vs Kissat · Tier 2 VIG-CDCL solver · mean n=20–100
9.7x vs Kissat · Tier 2 peak · n=75
6.36σ universal separability signal · n=15 to n=500
0.999 Tier 1 accuracy · SATLIB validated
100% Tier 2 solver correctness · n=20–100 validated
Tier 1 (classifier): ~57% · no solver · <10ms · 47x vs MiniSAT (benchmark hardware) Tier 2 (VIG-CDCL): ~43% · proprietary Rust solver · 3.9x vs Kissat · 100% correct Instances validated: 1,000 · random 3-SAT + SATLIB n=50–100
Architecture

Tier 1 · Classifier

57% coverage
<10ms · polynomial
99.9% accurate
No search required

Tier 2 · VIG-CDCL Solver

43% of instances
3.9x vs Kissat (mean)
100% correct
n=20–100 validated

Classifier runs first — always. If signal resolves the instance, solver is never invoked.

Authentication
not connected
Submit Instance
▲ drop .cnf file here or click to browse
or
Paste DIMACS CNF:
Result
Session History
Timestamp n Result Tier Method Time Dec
no classifications yet