评测记录共 26 条

#	题目	提交者	状态	分数	时间
26	模同余相关性质和中国剩余定理证明	薇薇安	Unaccepted	0	2026/02/13 21:32:17
25	程序的时间复杂度证明	jkjkmxmx	Accepted	150	2026/02/13 20:56:19
24	整数减法器的可靠性定理证明	jkjkmxmx	Unaccepted	30	2026/02/13 20:54:26
23	整数减法器的可靠性定理证明	jkjkmxmx	Compile Error	0	2026/02/13 20:52:44
22	模同余相关性质和中国剩余定理证明	jkjkmxmx	Unaccepted	0	2026/02/13 20:49:43
21	模同余相关性质和中国剩余定理证明	jkjkmxmx	Compile Error	0	2026/02/13 20:48:38
20	背包问题最优解算法证明	jkjkmxmx	Accepted	150	2026/02/13 20:48:07
19	二分搜索极小点证明	jkjkmxmx	Unaccepted	0	2026/02/13 20:44:57
18	二叉树镜像证明	jkjkmxmx	Accepted	100	2026/02/13 20:44:08
17	列表前缀和列表连续段证明	jkjkmxmx	Accepted	100	2026/02/13 20:43:15
16	列表前缀和列表连续段证明	jkjkmxmx	Compile Error	0	2026/02/13 20:42:35
15	谓词与互归纳证明	jkjkmxmx	Accepted	50	2026/02/13 20:21:08
14	谓词与互归纳证明	jkjkmxmx	Compile Error	0	2026/02/13 20:18:56
13	谓词与互归纳证明	test_user	Compile Error	0	2026/02/13 05:03:04
12	谓词与互归纳证明	Qingyu	Accepted	50	2026/02/13 04:14:28
11	程序的时间复杂度证明	薇薇安	Accepted	150	2026/02/12 22:11:25
10	内存分配程序的霍尔逻辑证明	薇薇安	Compile Error	0	2026/02/12 22:11:24
9	整数减法器的可靠性定理证明	薇薇安	Accepted	200	2026/02/12 22:11:24
8	模同余相关性质和中国剩余定理证明	薇薇安	Unaccepted	0	2026/02/12 22:11:23
7	背包问题最优解算法证明	薇薇安	Accepted	150	2026/02/12 22:11:23
6	二分搜索极小点证明	薇薇安	Accepted	200	2026/02/12 22:11:22
5	二叉树镜像证明	薇薇安	Accepted	100	2026/02/12 22:11:21
4	列表前缀和列表连续段证明	薇薇安	Accepted	100	2026/02/12 22:11:21
3	谓词与互归纳证明	薇薇安	Accepted	50	2026/02/12 22:11:20
2	谓词与互归纳证明	薇薇安	Unaccepted	0	2026/02/12 19:10:50
1	谓词与互归纳证明	薇薇安	Unaccepted	0	2026/02/12 18:25:38