Strategy Synthesis Scalability Benchmarks
0.8Verification Time (s)NatSTV
Evaluation results
| Method | Links | |
|---|---|---|
| NatSTV#States=6, |C|=2, kmax=62026.06 | 0.8 | |
| NatSTV#States=8, |C|=2, kmax=82026.06 | 12.4 | |
| LLM-guided NatATL Verification Framework#States=6, |C|=2, kmax=32026.06 | 70 | |
| LLM-guided NatATL Verification Framework#States=10, |C|=2, kmax=52026.06 | 80 | |
| NatSTV#States=10, |C|=3, kmax=82026.06 | 95.7 | |
| LLM-guided NatATL Verification Framework#States=20, |C|=5, kmax=102026.06 | 120 | |
| LLM-guided NatATL Verification Framework#States=50, |C|=11, kmax=1002026.06 | 200 | |
| NatSTV#States=12, |C|=3, kmax=102026.06 | 312.5 |