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 |
|
|
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 |
|
|