Submissions

Filter

Task Name
User Name
Judge Status

Found 1475 submissions.

# Time Task Name User Name Status
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
67 2019/08/18 16:12:03 plus_assoc etonagisa Success
66 2019/08/18 16:11:57 forall f: bool -> bool, f^3(x) = f(x) koba Success
65 2019/08/18 16:11:48 1 + 1 = 2 heno239 Success
64 2019/08/18 16:11:45 forall f: bool -> bool, f^3(x) = f(x) kimiyuki Success
63 2019/08/18 16:11:15 plus_assoc etonagisa Failure
62 2019/08/18 16:09:58 1 + 1 = 2 kcz Success
61 2019/08/18 16:09:16 1 + 1 = 2 kcz Failure
60 2019/08/18 16:09:07 n * S m = n + n * m utgwkk Success
59 2019/08/18 16:08:51 n * S m = n + n * m utgwkk Failure
58 2019/08/18 16:08:47 forall f: bool -> bool, f^3(x) = f(x) drafear Failure
57 2019/08/18 16:08:35 forall f: bool -> bool, f^3(x) = f(x) drafear Failure
56 2019/08/18 16:08:06 1 + 1 = 2 etonagisa Success
55 2019/08/18 16:06:47 forall f: bool -> bool, f^3(x) = f(x) suibaka Success
54 2019/08/18 16:06:14 1 + 1 = 2 kimiyuki Success
53 2019/08/18 16:06:12 1 + 1 = 2 CoiL Success
52 2019/08/18 16:02:38 1 + 1 = 2 prime Success
51 2019/08/18 16:01:46 1 + 1 = 2 CoiL Failure
50 2019/08/18 16:01:21 1 + 1 = 2 drafear Success
49 2019/08/18 16:00:54 1 + 1 = 2 suibaka Success
48 2019/08/18 16:00:47 plus_comm prime Success
47 2019/08/18 16:00:42 1 + 1 = 2 utgwkk Success
46 2019/08/18 16:00:30 1 + 1 = 2 koba Success
45 2019/08/18 15:53:01 plus_assoc prime Success
44 2019/08/18 15:50:06 plus_assoc koba Success
43 2019/08/18 15:39:21 plus_assoc koba Success
42 2019/08/18 15:38:54 plus_assoc koba Failure
41 2019/08/18 12:33:58 plus_comm suibaka Success
40 2019/08/18 12:30:09 plus_assoc suibaka Success
39 2019/08/18 09:15:05 plus_comm asi1024 Success
38 2019/08/17 17:55:48 1 + 1 = 2 asi1024 Success
37 2019/08/15 07:44:49 plus_comm taisei Success
36 2019/08/15 07:40:23 plus_comm taisei Failure
35 2019/08/15 07:39:51 plus_comm taisei Failure
34 2019/08/15 07:39:26 plus_assoc taisei Success
33 2019/08/15 07:38:13 plus_assoc taisei Failure
32 2019/08/14 19:55:28 plus_assoc kimiyuki Rejected
31 2019/08/14 19:54:23 plus_assoc kimiyuki Failure
30 2019/08/14 19:43:40 plus_comm kimiyuki Success
29 2019/08/14 19:39:01 plus_assoc kimiyuki Success
28 2019/08/13 22:40:35 plus_assoc OKU_K Success
27 2019/08/13 22:39:47 plus_assoc OKU_K Failure
26 2019/08/13 21:51:34 plus_assoc OKU_K Failure

>>Show ALL