TopProver ver.0.7.0

Submissions

Filter

Task Name
User Name
Judge Status

Found 1963 submissions.

# Time Task Name User Name Status
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
25 2019/08/13 21:50:18 plus_assoc OKU_K Failure
24 2019/08/12 22:56:43 plus_assoc ir5 Success
23 2019/08/12 22:56:21 plus_assoc ir5 Failure
22 2019/08/12 22:54:00 plus_assoc ir5 Failure
21 2019/08/12 22:46:06 plus_assoc ir5 Failure
20 2019/08/12 22:44:23 plus_assoc ir5 Failure
19 2019/08/11 22:32:26 plus_assoc koba Failure
18 2019/08/07 16:24:09 plus_assoc drafear Success
17 2019/08/07 16:23:44 plus_assoc drafear Failure
16 2019/08/07 00:44:11 plus_comm satos Success
15 2019/08/06 17:32:39 plus_comm satos Success
14 2019/08/06 17:30:44 plus_assoc satos Success

>>Show ALL