Cross-domain commit history
SMT evolution
Track which Xolver changes moved Satisfiability Modulo Theories capability, correctness, and performance—not just whether CI passed.
Design datasetScenario data · representative multi-domain content for interface and information-architecture validation
Coverage over time
Comparable SMT experiments only
Benchmark campaigns
Every point resolves to the same domain-native evidence contract
2026-08-21SMT38,914 solved+1260 −2
Current · SMT
Xolver SMT portfolio · 2026.08
2026-07-18SMT37,669 solved+1180 −1
Certificates · SMT
Xolver SMT portfolio · 2026.08
2026-06-11SMT36,501 solved+1332 −0
Portfolio · SMT
Xolver SMT portfolio · 2026.08
2026-05-09SMT35,178 solved+1523 −2
Search update · SMT
Xolver SMT portfolio · 2026.08
2026-04-02SMT33,661 solved+1755 −1
Unified IR · SMT
Xolver SMT portfolio · 2026.08
2026-03-04SMT31,909 solved+0 −0
Foundation · SMT
Xolver SMT portfolio · 2026.08