Solved
22,784
91.1% coverage
Loading experiment data
Resolving capability…
Contacting the configured Observatory adapter.
Research in progress
Observatory is preparing and verifying real benchmark data. Public numbers will be released only after that verification is complete. Placeholder and test results stay hidden until then.
Propositional reasoning
SAT, weighted and unweighted MaxSAT, pseudo-Boolean optimization, and core extraction.
Domain-native results grouped by competition track
| competition track | Family | Solved | Coverage | Δ solved | Median | Best baseline | Status |
|---|---|---|---|---|---|---|---|
| SAT Competition | Application and crafted | 11,544of 12,000 | 96.2% | +27 | 340 ms | Kissat | stable |
| MaxSAT | Weighted and unweighted | 5,580of 6,200 | 90.0% | +44 | 1.91 s | MaxHS | stable |
| Pseudo-Boolean | PB decision and optimization | 3,574of 4,100 | 87.2% | +39 | 2.48 s | RoundingSat | experimental |
| MUS / MCS | Core and correction sets | 2,086of 2,700 | 77.3% | +55 | 5.73 s | MARCO | research |
Coverage on comparable experiments only
What moved this domain
Proof-producing SAT is the most mature non-SMT execution path.
Domain-native outcome classes
What makes this view reproducible