TopProver ver.0.7.0

Submissions

Filter

Task Name
User Name
Judge Status

Found 1993 submissions.

# Time Task Name User Name Status
143 2019/08/19 04:36:19 plus_assoc satanic0258 Success
142 2019/08/19 03:08:03 Equivalent two quicksorts koba Success
141 2019/08/19 03:00:23 Product of n consecutive integers is divisible by n! drafear Success
140 2019/08/19 02:59:48 Equivalent two quicksorts drafear Failure
139 2019/08/19 01:42:35 1 + 1 = 2 kanra824 Success
138 2019/08/19 01:41:53 1 + 1 = 2 kanra824 Failure
137 2019/08/19 01:36:57 1 + 1 = 2 kanra824 Failure
136 2019/08/19 01:26:08 Equivalent two quicksorts koba Success
135 2019/08/19 00:56:32 Equivalent two quicksorts koba Rejected
134 2019/08/18 23:56:39 Equivalent two quicksorts koba Rejected
133 2019/08/18 23:47:12 n < m \/ n = m \/ n > m OKU_K Success
132 2019/08/18 23:35:07 n * S m = n + n * m OKU_K Success
131 2019/08/18 23:24:19 forall f: bool -> bool, f^3(x) = f(x) OKU_K Success
130 2019/08/18 23:11:29 1 + 1 = 2 OKU_K Success
129 2019/08/18 23:08:11 plus_comm OKU_K Success
128 2019/08/18 23:07:26 plus_comm OKU_K Failure
127 2019/08/18 22:22:08 plus_comm kurgm Success
126 2019/08/18 22:17:26 plus_assoc kurgm Success
125 2019/08/18 22:17:13 Product of n consecutive integers is divisible by n! suibaka Success
124 2019/08/18 20:54:31 Equivalent two quicksorts koba Rejected
123 2019/08/18 20:50:01 n < m \/ n = m \/ n > m kurgm Success
122 2019/08/18 20:29:16 n < m \/ n = m \/ n > m satos Success
121 2019/08/18 20:27:46 n < m \/ n = m \/ n > m satos Success
120 2019/08/18 20:25:26 n * S m = n + n * m kurgm Success
119 2019/08/18 20:24:35 n * S m = n + n * m etonagisa Success
118 2019/08/18 20:01:22 Product of n consecutive integers is divisible by n! prime Success
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

>>Show ALL