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