Reactive Synthesis on SYNTCOMP benchmarks 2025 (competition)
0.925Solved ProblemsGPT-5.5
Evaluation Results
| Method | Links | |
|---|---|---|
| GPT-5.5Type=LRM, CEX Iterations=22026.05 | 0.925 | |
| GPT-5.5Type=LRM, CEX Iterations=12026.05 | 0.9136 | |
| GPT-5.5Type=LRM, CEX Iterations=02026.05 | 0.8777 | |
| Gemini 3.1 ProType=LRM, CEX Iterations=22026.05 | 0.8544 | |
| Gemini 3.1 ProType=LRM, CEX Iterations=12026.05 | 0.8266 | |
| ltlsyntType=Algorithm2026.05 | 0.8178 | |
| SemMLType=Algorithm2026.05 | 0.8165 | |
| Gemini 3.1 ProType=LRM, CEX Iterations=02026.05 | 0.7522 | |
| GPT-5Type=LRM2026.05 | 0.1444 |