Formal Verification on SV-COMP (#=1,000) (full)
374Solved TasksUAUTOMIZER
Evaluation Results
| Method | Links | |
|---|---|---|
| UAUTOMIZERSolver Category=Symbolic Solver2024.06 | 374 | |
| ESBMCSolver Category=Symbolic Solver2024.06 | 358 | |
| Mistral-7B-FTSolver Category=LLM-based Solver, Fine-tuned=true2024.06 | 84 | |
| Llama3-8B-FTSolver Category=LLM-based Solver, Fine-tuned=true2024.06 | 81 | |
| Mistral-7BSolver Category=LLM-based Solver2024.06 | 75 | |
| Llama3-8BSolver Category=LLM-based Solver2024.06 | 69 |