定理证明竞赛（测试） standings
Back to contest| Rank | User | Solved | Time | test1 | test2 | test3 | test4 |
|---|---|---|---|---|---|---|---|
| 1 | test | 1 | 09:15:27 | — | — | 09:15:27 | — |
| 2 | test2 | 1 | 09:22:16 | — | 09:22:16 | — | — |
| 3 | admin | 0 | 00:00:00 | — | — | — | — |
| 3 | bubblegvm | 0 | 00:00:00 | — | — | — | — |
| 3 | staff | 0 | 00:00:00 | — | — | — | — |
| 3 | ywzhong | 0 | 00:00:00 | — | — | — | — |