TopProver ver.0.7.0

Submissions

Filter

Task Name
User Name
Judge Status

Found 1931 submissions.

# Time Task Name User Name Status
181 2019/08/19 17:00:12 forall f: bool -> bool, f^3(x) = f(x) okaduki Success
180 2019/08/19 16:14:13 1 + 1 = 2 okaduki Success
179 2019/08/19 16:05:38 plus_comm okaduki Success
178 2019/08/19 15:36:40 plus_comm okaduki Failure
177 2019/08/19 15:36:09 plus_comm okaduki Failure
176 2019/08/19 15:32:33 plus_assoc okaduki Success
175 2019/08/19 15:30:47 plus_assoc okaduki Success
174 2019/08/19 14:11:42 1 + 1 = 2 taro Failure
173 2019/08/19 14:07:14 n * S m = n + n * m selpo Success
172 2019/08/19 13:54:08 forall f: bool -> bool, f^3(x) = f(x) selpo Success
171 2019/08/19 13:47:06 n * S m = n + n * m minus3theta Success
170 2019/08/19 13:36:10 forall f: bool -> bool, f^3(x) = f(x) minus3theta Success
169 2019/08/19 12:46:09 1 + 1 = 2 selpo Success
168 2019/08/19 11:43:34 1 + 1 = 2 minus3theta Success
167 2019/08/19 11:34:46 Product of n consecutive integers is divisible by n! satanic0258 Success
166 2019/08/19 11:17:26 forall f: bool -> bool, f^3(x) = f(x) Mayimg Success
165 2019/08/19 10:36:23 plus_comm Mayimg Success
164 2019/08/19 10:28:19 plus_assoc Mayimg Success
163 2019/08/19 10:27:19 plus_assoc Mayimg Failure
162 2019/08/19 10:26:33 plus_assoc Mayimg Failure
161 2019/08/19 10:20:09 plus_assoc Mayimg Failure
160 2019/08/19 08:57:56 n < m \/ n = m \/ n > m pekempey Success
159 2019/08/19 08:55:45 plus_assoc pekempey Success
158 2019/08/19 08:55:02 plus_assoc pekempey Failure
157 2019/08/19 06:00:58 n * S m = n + n * m pekempey Success
156 2019/08/19 05:47:38 n < m \/ n = m \/ n > m satanic0258 Success
155 2019/08/19 05:46:20 1 + 1 = 2 Mayimg Success
154 2019/08/19 05:41:42 1 + 1 = 2 Mayimg Success
153 2019/08/19 05:38:28 forall f: bool -> bool, f^3(x) = f(x) pekempey Success
152 2019/08/19 05:26:24 n * S m = n + n * m satanic0258 Success
151 2019/08/19 05:15:39 forall f: bool -> bool, f^3(x) = f(x) satanic0258 Success
150 2019/08/19 04:48:04 1 + 1 = 2 pekempey Success
149 2019/08/19 04:47:24 plus_comm pekempey Success
148 2019/08/19 04:47:00 plus_comm pekempey Failure
147 2019/08/19 04:44:32 1 + 1 = 2 satanic0258 Success
146 2019/08/19 04:42:20 plus_comm satanic0258 Success
145 2019/08/19 04:38:00 plus_assoc pekempey Success
144 2019/08/19 04:37:22 plus_assoc satanic0258 Success
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

>>Show ALL