Submissions

Filter

Task Name
User Name
Judge Status

Found 1654 submissions.

# Time Task Name User Name Status
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
1462 2020/03/18 08:02:32 Sum of binomial coefficients tanakh Rejected
1461 2020/03/18 00:20:45 Iterated iteration tanakh Success
1460 2020/03/18 00:17:37 Iterated iteration tanakh Success
1459 2020/03/18 00:16:37 Iterated iteration tanakh Failure
1458 2020/03/17 23:26:23 Iterated iteration tanakh Rejected
1457 2020/03/17 17:20:57 eq_sym? a_kawashiro Failure
1456 2020/03/17 17:19:41 eq_sym? a_kawashiro Failure
1455 2020/03/17 16:32:12 De Morgan's laws in Coq zer0star Success

>>Show ALL