Submissions

Filter

Task Name
User Name
Judge Status

Found 1701 submissions.

# Time Task Name User Name Status
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
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

>>Show ALL