TopProver ver.0.7.0

Submissions

Filter

Task Name
User Name
Judge Status

Found 1967 submissions.

# Time Task Name User Name Status
117 2019/08/18 19:57:54 1 + 1 = 2 kcz Failure
116 2019/08/18 19:57:35 1 + 1 = 2 kcz Failure
115 2019/08/18 19:52:07 plus_assoc kcz Failure
114 2019/08/18 19:51:54 plus_assoc kcz Failure
113 2019/08/18 19:46:33 n * S m = n + n * m heno239 Success
112 2019/08/18 19:10:36 n * S m = n + n * m kcz Failure
111 2019/08/18 19:04:29 n < m \/ n = m \/ n > m wass80 Success
110 2019/08/18 18:44:23 plus_assoc etonagisa Failure
109 2019/08/18 18:35:19 n * S m = n + n * m siotouto Success
108 2019/08/18 18:33:18 n < m \/ n = m \/ n > m etonagisa Success
107 2019/08/18 18:28:32 n < m \/ n = m \/ n > m kcz Success
106 2019/08/18 18:18:40 Equivalent two quicksorts koba Failure
105 2019/08/18 17:47:00 forall f: bool -> bool, f^3(x) = f(x) siotouto Success
104 2019/08/18 17:46:41 forall f: bool -> bool, f^3(x) = f(x) kcz Success
103 2019/08/18 17:31:37 forall f: bool -> bool, f^3(x) = f(x) kurgm Success
102 2019/08/18 17:30:01 n * S m = n + n * m etonagisa Failure
101 2019/08/18 17:29:27 n < m \/ n = m \/ n > m CoiL Success
100 2019/08/18 17:29:26 forall f: bool -> bool, f^3(x) = f(x) heno239 Success
99 2019/08/18 17:17:37 n < m \/ n = m \/ n > m CoiL Failure
98 2019/08/18 17:16:37 n < m \/ n = m \/ n > m CoiL Failure
97 2019/08/18 17:03:48 n < m \/ n = m \/ n > m utgwkk Success
96 2019/08/18 17:03:21 n * S m = n + n * m kcz Success
95 2019/08/18 17:00:39 n < m \/ n = m \/ n > m suibaka Success
94 2019/08/18 17:00:12 Product of n consecutive integers is divisible by n! koba Success
93 2019/08/18 17:00:04 1 + 1 = 2 kurgm Success
92 2019/08/18 16:55:43 n < m \/ n = m \/ n > m utgwkk Success
91 2019/08/18 16:51:57 n < m \/ n = m \/ n > m kimiyuki Success
90 2019/08/18 16:49:26 n < m \/ n = m \/ n > m hanazuki Success
89 2019/08/18 16:45:35 n * S m = n + n * m hanazuki Success
88 2019/08/18 16:44:37 n * S m = n + n * m CoiL Success
87 2019/08/18 16:38:17 1 + 1 = 2 siotouto Success
86 2019/08/18 16:37:58 n < m \/ n = m \/ n > m prime Success
85 2019/08/18 16:37:41 forall f: bool -> bool, f^3(x) = f(x) etonagisa Success
84 2019/08/18 16:37:24 n < m \/ n = m \/ n > m drafear Success
83 2019/08/18 16:36:01 forall f: bool -> bool, f^3(x) = f(x) hanazuki Success
82 2019/08/18 16:32:41 n * S m = n + n * m prime Success
81 2019/08/18 16:32:27 plus_comm prime Failure
80 2019/08/18 16:30:46 forall f: bool -> bool, f^3(x) = f(x) CoiL Success
79 2019/08/18 16:27:01 n * S m = n + n * m utgwkk Success
78 2019/08/18 16:25:43 plus_comm etonagisa Success
77 2019/08/18 16:21:36 n * S m = n + n * m prime Success
76 2019/08/18 16:20:59 n * S m = n + n * m suibaka Success
75 2019/08/18 16:18:54 n * S m = n + n * m drafear Success
74 2019/08/18 16:18:42 n < m \/ n = m \/ n > m koba Success
73 2019/08/18 16:17:35 1 + 1 = 2 hanazuki Success
72 2019/08/18 16:16:33 n * S m = n + n * m koba Success
71 2019/08/18 16:16:26 forall f: bool -> bool, f^3(x) = f(x) utgwkk Success
70 2019/08/18 16:16:21 forall f: bool -> bool, f^3(x) = f(x) prime Success
69 2019/08/18 16:14:40 n * S m = n + n * m kimiyuki Success
68 2019/08/18 16:12:50 forall f: bool -> bool, f^3(x) = f(x) drafear Success

>>Show ALL