Code Verification on DAFNYBENCH
372Success CountSolver backed
Evaluation results
| Method | Links | |||
|---|---|---|---|---|
| Solver backedPrompting Strategy=Functional, Setting=pass@52025.11 | 372 | — | 7.3 | |
| Solver backedPrompting Strategy=Direct, Setting=pass@52025.11 | 315 | — | — |
| Method | Links | |||
|---|---|---|---|---|
| Solver backedPrompting Strategy=Functional, Setting=pass@52025.11 | 372 | — | 7.3 | |
| Solver backedPrompting Strategy=Direct, Setting=pass@52025.11 | 315 | — | — |