3SAT-Search
Phi-4-reasoning 78% Only in system cards Models find satisfying assignments for 800 3-SAT formulas across difficulty levels. A checker verifies each assignment.
Microsoft released the dataset on Hugging Face as microsoft/sat in June 2025, and the Eureka nphard_sat config loads it.
- Level
- University Undergraduates and entry-level professionals
- Scored
- Checked automatically A program checks the result against an answer key, unit tests or the expected final state.
- Answers
- Short answer A number, word or short string matched to a key.
Phi-4-reasoning leads with 78%
Best score per model as labs report them in their own cards. Labs pick their own settings, so these compare less cleanly than independent runs.
| # | Model | Score | Setting | Date | Source |
|---|---|---|---|---|---|
| 1 | Phi-4-reasoning | 78% | Apr 2025 | Model card | |
| 2 | Phi-4-Reasoning-plus | 70.9% | Apr 2025 | Model card |
Scores over time
All the scores we have, one dot each, so a model tested at several settings appears more than once.
Labs report it only in system cards
We read the headline results of 479 launch posts from 51 labs, and none of them list this benchmark. Some system cards do, below.
2 system cards report it, from 1 lab
Besides launch posts, we read the system cards, model cards and technical reports labs publish with a release. They report far more, including safety and frontier-risk tests.
| Date | Document | Score | As the document writes it | Section |
|---|---|---|---|---|
| 30 Apr 2025 | Phi-4-reasoning technical report | 78 | SAT (3SAT-Search), average pass@1 (Figure 8, printed bar label) | Capabilities |
| 30 Apr 2025 | Phi-4-Reasoning-plus technical report | 70.9 | SAT (3SAT-Search), average pass@1 (Figure 8, printed bar label) | Capabilities |
More in Science and reasoning
- GPQA Diamond In use 198 graduate-level 'Google-proof' multiple-choice questions in biology, chemistry and physics.
Gemini 4 Argon 96.4% - Terminal-Bench-Science In use 70 scientific research-workflow tasks across five science areas, run in Harbor containers. Hidden tests give the resolution rate. GPT-6 Astra 68.1%
- FrontierScience In use Models solve physics, chemistry, and biology problems in an Olympiad track graded by short answer and a Research track graded by 10-point rubrics.
Intern-S2-397B 87% - BioMysteryBench In use Bioinformatics problems on anonymized real datasets that require real analysis with tools. Rubric-graded, with human-solvable and human-difficult splits. Claude Opus 5 90.1%
- HiPhO In use Models solve theory problems from 2024 and 2025 physics olympiad exams, some with diagrams. Official marking schemes grade answers and steps, mapped to medal levels. Gemini 3 Pro 78.3%
- LABBench2 In use 11 biology research sub-tasks (literature, figures, tables, patents, trials and more) with tool access. Macro-averaged accuracy. GPT-5.2 60.9%