Theorem Proving on 567NEQ
57Solved Problems
DreamProver
Updated 1mo ago
Evaluation Results
| Method | Links | |||
|---|---|---|---|---|
2026.04 | 57 | 62 | - | |
2026.04 | 55 | 59.8 | - | |
2026.04 | 51 | 55.4 | - | |
2026.04 | 49 | 53.3 | - | |
2026.04 | 47 | 51.1 | - | |
2026.04 | 44 | 47.8 | - | |
2026.04 | 36 | 39.1 | - | |
2026.04 | 25 | 27.2 | - | |
2026.04 | 21 | 22.8 | - | |
2026.04 | 14 | 15.2 | - | |
2026.04 | 9 | 9.8 | - | |
2026.04 | 7 | 7.6 | - | |
2026.04 | 3 | 3.3 | - | |
2026.04 | - | - | 56.6 | |
2026.04 | - | - | 15.8 | |
2026.04 | - | - | 22.3 | |
2026.04 | - | - | 40.9 | |
2026.04 | - | - | 10.1 | |
2026.04 | - | - | 24.1 | |
2026.04 | - | - | 64.4 | |
2026.04 | - | - | 118.6 | |
2026.04 | - | - | 97.1 | |
2026.04 | - | - | 85.8 | |
2026.04 | - | - | 65.2 | |
2026.04 | - | - | 43.8 | |
2026.04 | - | - | 60.3 |