TopProver ver.0.7.0

Submissions

Filter

Task Name
User Name
Judge Status

Found 1987 submissions.

# Time Task Name User Name Status
337 2019/08/26 01:11:06 l1 <> l2 if l2 is an odd permutation of l1 drafear Failure
336 2019/08/26 01:11:02 forall l: list nat, l @ [0] <> [] prime Success
335 2019/08/26 01:10:31 Cumulative sum of list prime Success
334 2019/08/26 01:09:41 forall f: bool -> bool, f^3(x) = f(x) mttm Success
333 2019/08/26 01:08:42 l1 <> l2 if l2 is an odd permutation of l1 prime Success
332 2019/08/26 00:47:39 1 + 1 = 2 mttm Success
331 2019/08/26 00:38:37 forall l: list nat, l @ [0] <> [] yishibashi Success
330 2019/08/26 00:17:20 Cumulative sum of list a_happin Success
329 2019/08/26 00:12:22 forall f: bool -> bool, f^3(x) = f(x) yishibashi Success
328 2019/08/25 23:49:36 l1 <> l2 if l2 is an odd permutation of l1 kaz Failure
327 2019/08/25 23:45:38 1 + 1 = 2 yishibashi Success
326 2019/08/25 23:45:15 1 + 1 = 2 yishibashi Failure
325 2019/08/25 23:43:51 forall f: bool -> bool, f^3(x) = f(x) spica314 Success
324 2019/08/25 23:42:08 Cumulative sum of list kkob Success
323 2019/08/25 23:37:32 l1 <> l2 if l2 is an odd permutation of l1 kaz Success
322 2019/08/25 23:32:16 l1 <> l2 if l2 is an odd permutation of l1 prime Success
321 2019/08/25 23:22:46 l1 <> l2 if l2 is an odd permutation of l1 kaz Success
320 2019/08/25 23:22:37 1 + 1 = 2 spica314 Success
319 2019/08/25 23:20:57 forall l: list nat, l @ [0] <> [] siotouto Success
318 2019/08/25 23:20:08 forall l: list nat, l @ [0] <> [] siotouto Failure
317 2019/08/25 23:17:23 l1 <> l2 if l2 is an odd permutation of l1 satos Success
316 2019/08/25 23:17:01 l1 <> l2 if l2 is an odd permutation of l1 satos Failure
315 2019/08/25 23:16:21 Cumulative sum of list koba Success
314 2019/08/25 23:15:54 Cumulative sum of list koba Failure
313 2019/08/25 23:14:27 l1 <> l2 if l2 is an odd permutation of l1 koba Success
312 2019/08/25 23:00:00 Cumulative sum of list yamarten Rejected
311 2019/08/25 22:59:19 l1 <> l2 if l2 is an odd permutation of l1 satos Failure
310 2019/08/25 22:53:38 Cumulative sum of list yamarten Success
309 2019/08/25 22:53:17 Cumulative sum of list yamarten Failure
308 2019/08/25 22:37:37 l1 <> l2 if l2 is an odd permutation of l1 kozima Success
307 2019/08/25 22:17:35 Cumulative sum of list okaduki Success
306 2019/08/25 21:59:34 Cumulative sum of list prime Success
305 2019/08/25 21:56:16 Cumulative sum of list pekempey Success
304 2019/08/25 21:43:53 Cumulative sum of list kimiyuki Success
303 2019/08/25 21:42:38 1 + 1 = 2 minaminao Success
302 2019/08/25 21:42:18 forall l: list nat, l @ [0] <> [] minaminao Failure
301 2019/08/25 21:41:09 1 + 1 = 2 minaminao Failure
300 2019/08/25 21:32:24 forall l: list nat, l @ [0] <> [] satanic0258 Success
299 2019/08/25 21:31:49 Cumulative sum of list sorata Failure
298 2019/08/25 21:29:46 Cumulative sum of list suibaka Success
297 2019/08/25 21:29:02 Cumulative sum of list drafear Success
296 2019/08/25 21:28:07 l1 <> l2 if l2 is an odd permutation of l1 drafear Failure
295 2019/08/25 21:28:02 forall l: list nat, l @ [0] <> [] a_happin Success
294 2019/08/25 21:27:14 forall l: list nat, l @ [0] <> [] etonagisa Success
293 2019/08/25 21:26:53 forall l: list nat, l @ [0] <> [] pekempey Success
292 2019/08/25 21:25:30 forall l: list nat, l @ [0] <> [] spica314 Success
291 2019/08/25 21:24:47 Cumulative sum of list satos Success
290 2019/08/25 21:23:01 forall l: list nat, l @ [0] <> [] spica314 Failure
289 2019/08/25 21:22:31 Cumulative sum of list yodvhskd Success
288 2019/08/25 21:19:26 Cumulative sum of list yodvhskd Failure

>>Show ALL