Submissions

Filter

Task Name
User Name
Judge Status

Found 1712 submissions.

# Time Task Name User Name Status
1512 2020/05/03 20:21:57 Upper triangular (soundness) kik Success
1511 2020/05/03 20:20:25 Upper triangular (completeness) fetburner Success
1510 2020/05/03 20:19:57 Drinker paradox? natsugiri Success
1509 2020/05/03 20:17:30 Drinker paradox? yodvhskd Success
1508 2020/05/03 20:11:01 Upper triangular (soundness) tzik Success
1507 2020/05/03 20:08:44 Upper triangular (soundness) fetburner Success
1506 2020/05/03 20:08:43 Upper triangular (soundness) tanakh Success
1505 2020/05/03 20:06:25 Drinker paradox? fetburner Success
1504 2020/05/03 20:06:18 Swap twice hirosegolf Success
1503 2020/05/03 20:05:43 Drinker paradox? tanakh Success
1502 2020/05/03 20:05:33 Drinker paradox? kik Success
1501 2020/05/03 20:04:35 Swap twice natsugiri Success
1500 2020/05/03 20:04:34 Swap twice tzik Success
1499 2020/05/03 20:03:08 Swap twice kano Success
1498 2020/05/03 20:02:01 Swap twice mttm Success
1497 2020/05/03 20:01:42 Swap twice kik Success
1496 2020/05/03 20:01:36 Swap twice fetburner Success
1495 2020/05/03 20:01:00 Swap twice yodvhskd Success
1494 2020/05/03 20:00:59 Swap twice tanakh Success
1493 2020/05/03 19:50:49 Not a sum of squares fetburner Success
1492 2020/05/03 19:20:24 plus_assoc kano Success
1491 2020/05/03 14:51:10 Infinite duplication kozima Success
1490 2020/05/03 14:50:41 Upper triangular (completeness) kozima Success
1489 2020/05/01 04:37:17 Cycle detection kaz Failure
1488 2020/05/01 04:31:29 Cycle detection kaz Failure
1487 2020/04/29 12:12:49 Drinker paradox? kozima Success
1486 2020/04/29 12:12:30 Upper triangular (soundness) kozima Success
1485 2020/04/29 12:12:12 Upper triangular (completeness) kozima Failure
1484 2020/04/29 12:11:50 Infinite duplication kozima Failure
1483 2020/04/29 12:11:28 Swap twice kozima Success
1482 2020/04/26 22:55:33 1 + 1 = 2 gaxiiiiiiiiiiii Success
1481 2020/04/26 22:53:49 plus_comm gaxiiiiiiiiiiii Success
1480 2020/04/26 22:43:48 plus_assoc gaxiiiiiiiiiiii Success
1479 2020/04/17 14:12:53 n * S m = n + n * m Eldora Success
1478 2020/04/16 18:38:41 and_comm (Lean) yodvhskd Success
1477 2020/03/31 17:24:14 Binary search tanakh Success
1476 2020/03/31 05:56:11 l1 <> l2 if l2 is an odd permutation of l1 tanakh Success
1475 2020/03/28 01:18:40 Equivalent two quicksorts tanakh Success
1474 2020/03/28 01:17:19 Equivalent two quicksorts tanakh Failure
1473 2020/03/21 12:56:49 1 + 1 = 2 smizoe Success
1472 2020/03/21 12:55:40 1 + 1 = 2 smizoe Failure
1471 2020/03/21 12:53:27 1 + 1 = 2 smizoe Failure
1470 2020/03/19 00:03:22 n < m \/ n = m \/ n > m shimomire Success
1469 2020/03/18 23:58:52 n * S m = n + n * m shimomire Success
1468 2020/03/18 22:10:28 forall f: bool -> bool, f^3(x) = f(x) shimomire Success
1467 2020/03/18 21:47:20 forall f: bool -> bool, f^3(x) = f(x) shimomire Success
1466 2020/03/18 21:19:41 1 + 1 = 2 shimomire Success
1465 2020/03/18 21:17:41 plus_comm shimomire Success
1464 2020/03/18 21:03:12 plus_assoc shimomire Success
1463 2020/03/18 08:07:24 Sum of binomial coefficients tanakh Success

>>Show ALL