TopProver ver.0.7.0

Submissions

Filter

Task Name
User Name
Judge Status

Found 1900 submissions.

# Time Task Name User Name Status
1750 2020/09/29 17:32:20 Sum of n^3 shift0 Success
1749 2020/09/29 16:00:06 Perfect Square? shift0 Success
1748 2020/09/29 12:26:02 If zero were not nat shift0 Success
1747 2020/09/29 12:21:26 If zero were not nat shift0 Failure
1746 2020/09/29 12:20:27 If zero were not nat shift0 Failure
1745 2020/09/29 12:18:57 If zero were not nat shift0 Failure
1744 2020/09/29 11:37:45 Flat CPO shift0 Success
1743 2020/09/29 10:29:23 n < m \/ n = m \/ n > m shift0 Success
1742 2020/09/29 09:40:31 forall f: bool -> bool, f^3(x) = f(x) shift0 Success
1741 2020/09/28 10:11:49 Eat the Candies kkob Success
1740 2020/09/28 04:19:42 n * S m = n + n * m shift0 Success
1739 2020/09/28 03:00:58 1 + 1 = 2 shift0 Success
1738 2020/09/28 02:59:45 plus_comm shift0 Success
1737 2020/09/28 02:41:25 plus_assoc shift0 Success
1736 2020/09/28 02:34:05 plus_assoc shift0 Failure
1735 2020/09/28 02:32:55 plus_assoc shift0 Failure
1734 2020/09/28 02:14:29 Eat the Candies kik Success
1733 2020/09/28 02:03:15 Eat the Candies kik Success
1732 2020/09/28 01:51:11 Eat the Candies kik Success
1731 2020/09/27 23:24:11 Eat the Candies kik Success
1730 2020/09/27 22:00:58 Eat the Candies sorata Failure
1729 2020/09/27 21:57:52 Eat the Candies kik Failure
1728 2020/09/27 21:45:17 Eat the Candies kkob Success
1727 2020/09/27 20:52:06 Flat CPO kano Success
1726 2020/09/27 20:49:26 If zero were not nat kano Success
1725 2020/09/27 20:46:56 Perfect Square? sorata Success
1724 2020/09/27 20:46:17 Perfect Square? sorata Failure
1723 2020/09/27 20:25:42 Perfect Square? kik Success
1722 2020/09/27 20:14:16 Perfect Square? yodvhskd Success
1721 2020/09/27 20:13:24 If zero were not nat sorata Success
1720 2020/09/27 20:12:24 Perfect Square? kkob Success
1719 2020/09/27 20:09:54 If zero were not nat kik Success
1718 2020/09/27 20:05:32 If zero were not nat yodvhskd Success
1717 2020/09/27 20:04:59 If zero were not nat kkob Success
1716 2020/09/27 20:04:22 Flat CPO kik Success
1715 2020/09/27 20:02:15 Flat CPO yodvhskd Success
1714 2020/09/27 20:01:56 Flat CPO kkob Success
1713 2020/09/27 20:01:18 Flat CPO sorata Success
1712 2020/09/27 13:23:44 Sum of n^3 kkob Success
1711 2020/09/27 13:16:18 1 + 1 = 2 kkob Success
1710 2020/09/27 13:16:02 1 + 1 = 2 kkob Success
1709 2020/09/27 12:47:34 plus_assoc kkob Success
1708 2020/09/27 11:49:22 plus_assoc kkob Success
1707 2020/09/27 11:44:15 Friends and strangers kkob Failure
1706 2020/09/24 20:21:01 Perfect Square? kozima Success
1705 2020/09/24 20:19:38 Eat the Candies kozima Success
1704 2020/09/24 20:16:19 Perfect Square? kozima Failure
1703 2020/09/24 20:14:57 If zero were not nat kozima Success
1702 2020/09/24 20:13:02 Flat CPO kozima Success
1701 2020/09/22 19:05:41 Friends and strangers fetburner Success

>>Show ALL