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 


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 

