Submissions

Filter

Task Name
User Name
Judge Status

Found 1869 submissions.

# Time Task Name User Name Status
1819 2020/11/02 06:29:56 1 + 1 = 2 aaaa Failure
1818 2020/11/02 06:25:18 plus_comm aaaa Success
1817 2020/11/02 06:22:58 plus_comm aaaa Success
1816 2020/11/02 06:19:08 plus_comm aaaa Success
1815 2020/11/02 06:12:07 plus_comm aaaa Success
1814 2020/11/02 06:02:27 plus_assoc aaaa Success
1813 2020/11/02 05:58:49 plus_assoc aaaa Success
1812 2020/11/02 04:35:46 plus_assoc aaaa Success
1811 2020/11/02 04:30:00 plus_assoc aaaa Success
1810 2020/11/02 04:25:02 plus_assoc aaaa Success
1809 2020/11/02 03:50:19 1 + 1 = 2 aaaa Success
1808 2020/11/02 03:48:23 1 + 1 = 2 aaaa Success
1807 2020/11/02 03:45:31 1 + 1 = 2 aaaa Success
1806 2020/11/02 03:43:06 1 + 1 = 2 aaaa Failure
1805 2020/11/02 03:42:26 1 + 1 = 2 aaaa Failure
1804 2020/11/02 03:31:38 1 + 1 = 2 sabataro Failure
1803 2020/11/02 03:28:20 1 + 1 = 2 sabataro Failure
1802 2020/11/02 03:26:29 1 + 1 = 2 sabataro Success
1801 2020/11/02 03:23:43 1 + 1 = 2 sabataro Success
1800 2020/11/02 03:20:55 1 + 1 = 2 sabataro Success
1799 2020/11/02 03:17:18 1 + 1 = 2 sabataro Success
1798 2020/11/02 03:12:20 1 + 1 = 2 sabataro Success
1797 2020/11/02 03:01:36 1 + 1 = 2 sabataro Failure
1796 2020/10/31 18:45:39 plus_assoc xsd Success
1795 2020/10/31 18:44:45 plus_assoc xsd Failure
1794 2020/10/31 14:04:47 plus_assoc xsd Failure
1793 2020/10/31 14:02:56 plus_assoc xsd Failure
1792 2020/10/26 00:43:18 Perfect Square? fetburner Success
1791 2020/10/25 03:15:22 If zero were not nat fetburner Success
1790 2020/10/25 02:58:23 Flat CPO fetburner Success
1789 2020/10/21 10:56:27 Eat the Candies tanakh Success
1788 2020/10/21 06:23:48 Perfect Square? tanakh Success
1787 2020/10/21 06:12:24 Perfect Square? tanakh Success
1786 2020/10/21 04:50:18 If zero were not nat tanakh Success
1785 2020/10/21 04:24:10 Flat CPO tanakh Success
1784 2020/10/19 08:15:36 The set of all finite sequences of bool is countable kkob Success
1783 2020/10/19 03:46:08 Friends and strangers tanakh Success
1782 2020/10/19 03:14:44 The set of all finite sequences of bool is countable tanakh Success
1781 2020/10/18 05:53:22 Fibonacci numbers modulo 2 tanakh Success
1780 2020/10/17 23:29:32 Rotate once tanakh Success
1779 2020/10/17 23:27:04 Rotate once tanakh Success
1778 2020/10/17 21:17:24 Sum of n^3 tanakh Success
1777 2020/10/12 04:06:50 forall f: bool -> bool, f^3(x) = f(x) uenoku Success
1776 2020/10/12 03:47:20 1 + 1 = 2 uenoku Success
1775 2020/10/12 03:26:20 plus_assoc uenoku Success
1774 2020/10/12 03:20:57 forall l: list nat, l @ [0] <> [] uenoku Success
1773 2020/10/12 03:20:03 forall l: list nat, l @ [0] <> [] uenoku Failure
1772 2020/10/12 03:19:32 forall l: list nat, l @ [0] <> [] uenoku Failure
1771 2020/10/10 14:40:30 Grand Garden yodvhskd Success
1770 2020/10/10 01:56:09 unique (unique l) = l shift0 Success

>>Show ALL