Counterexample generation on FOR-COUNTER
222Pass@1
Ours
Updated 27d ago
Evaluation Results
| Method | Links | |||
|---|---|---|---|---|
2026.03 | 222 | 274 | 302 | |
2026.03 | 127 | 200 | 224 | |
2026.03 | 106 | 159 | 181 | |
2026.03 | 101 | 157 | 179 | |
2026.03 | 89 | 177 | 215 | |
2026.03 | 61 | 135 | 158 | |
2026.03 | 31 | 109 | 165 | |
2026.03 | 30 | 74 | 101 | |
2026.03 | 21 | 66 | 82 | |
2026.03 | 19 | 65 | 103 |