Submissions

Filter

Task Name
User Name
Judge Status

Found 1549 submissions.

# Time Task Name User Name Status
1549 2020/05/21 20:39:56 Yoneda embedding for preorder efk Success
1548 2020/05/21 20:08:57 Swap twice kkob Rejected
1547 2020/05/21 19:33:02 Boolean-hole principle efk Success
1546 2020/05/20 20:26:35 plus_assoc aaa Success
1545 2020/05/20 20:26:01 plus_assoc aaa Failure
1544 2020/05/20 13:36:38 Boolean-hole principle cympfh Success
1543 2020/05/13 02:21:51 eq_sym? cympfh Success
1542 2020/05/10 19:34:47 eq_sym? kano Success
1541 2020/05/10 19:23:22 mult_n_O kano Success
1540 2020/05/10 19:20:34 n * S m = n + n * m kano Success
1539 2020/05/10 18:51:45 forall f: bool -> bool, f^3(x) = f(x) kano Success
1538 2020/05/10 18:40:39 1 + 1 = 2 kano Success
1537 2020/05/10 18:39:40 plus_comm kano Success
1536 2020/05/08 23:40:34 Infinite duplication tzik Success
1535 2020/05/08 19:29:47 Swap twice cympfh Success
1534 2020/05/08 19:29:11 Swap twice cympfh Failure
1533 2020/05/05 05:39:20 Cycle detection aaa Success
1532 2020/05/05 05:37:43 Cycle detection aaa Failure
1531 2020/05/05 02:23:06 Equivalent two quicksorts yodvhskd Success
1530 2020/05/05 02:18:06 Equivalent two quicksorts yodvhskd Failure
1529 2020/05/03 23:50:39 Upper triangular (soundness) mttm Success
1528 2020/05/03 23:39:22 Drinker paradox? mttm Success
1527 2020/05/03 21:51:34 Infinite duplication kik Success
1526 2020/05/03 21:49:17 Upper triangular (completeness) natsugiri Success
1525 2020/05/03 21:43:42 Infinite duplication yodvhskd Success
1524 2020/05/03 21:42:51 Infinite duplication hirosegolf Failure
1523 2020/05/03 21:02:03 Upper triangular (completeness) tzik Success
1522 2020/05/03 20:54:52 Upper triangular (completeness) hirosegolf Success
1521 2020/05/03 20:54:27 Upper triangular (soundness) hirosegolf Failure
1520 2020/05/03 20:41:38 Upper triangular (completeness) kik Success
1519 2020/05/03 20:41:08 Drinker paradox? tzik Success
1518 2020/05/03 20:32:54 Upper triangular (soundness) hirosegolf Success
1517 2020/05/03 20:32:43 Upper triangular (completeness) tanakh Success
1516 2020/05/03 20:31:11 Upper triangular (completeness) yodvhskd Success
1515 2020/05/03 20:26:22 Upper triangular (soundness) natsugiri Success
1514 2020/05/03 20:26:13 Drinker paradox? hirosegolf Success
1513 2020/05/03 20:22:53 Upper triangular (soundness) yodvhskd Success
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

>>Show ALL