History

A SAT Attack on Tarski's High School Algebra Problem

Open thread

First rank

12

Best rank

1

Last rank

29

Observations

143

First seen

1786882485

Last seen

1786934577

Missing captures

1

Milestones

2

Top is rank 1. Gaps between captures are not reconstructed.

1. Rank 29

   87 points · 35 comments · observed 1786934577

2. Rank 29

   87 points · 35 comments · observed 1786934220

3. Rank 29

   86 points · 35 comments · observed 1786933867

4. Rank 28

   85 points · 35 comments · observed 1786933506

5. Rank 30

   85 points · 35 comments · observed 1786933149

6. Rank 30

   85 points · 35 comments · observed 1786932790

7. Rank 30

   85 points · 35 comments · observed 1786932430

8. Rank 28

   85 points · 34 comments · observed 1786932064

9. Rank 27

   84 points · 34 comments · observed 1786931710

10. Rank 28

    83 points · 34 comments · observed 1786931354

11. Rank 28

    83 points · 34 comments · observed 1786930986

12. Rank 28

    83 points · 34 comments · observed 1786930268

13. Rank 28

    82 points · 34 comments · observed 1786929912

14. Rank 24

    82 points · 34 comments · observed 1786929550

15. Rank 23

    82 points · 34 comments · observed 1786929191

16. Rank 25

    82 points · 34 comments · observed 1786928833

17. Rank 25

    82 points · 34 comments · observed 1786928474

18. Rank 27

    82 points · 33 comments · observed 1786928116

19. Rank 28

    82 points · 33 comments · observed 1786927758

20. Rank 27

    80 points · 33 comments · observed 1786927396

21. Rank 27

    80 points · 33 comments · observed 1786927040

22. Rank 27

    80 points · 33 comments · observed 1786926683

23. Rank 27

    80 points · 33 comments · observed 1786926325

24. Rank 26

    80 points · 33 comments · observed 1786925964

25. Rank 24

    80 points · 33 comments · observed 1786925605

26. Rank 23

    80 points · 32 comments · observed 1786925245

27. Rank 23

    80 points · 32 comments · observed 1786924869

28. Rank 24

    80 points · 32 comments · observed 1786924503

29. Rank 24

    80 points · 32 comments · observed 1786924147

30. Rank 25

    80 points · 32 comments · observed 1786923793

31. Rank 25

    80 points · 32 comments · observed 1786923425

32. Rank 26

    80 points · 32 comments · observed 1786923064

33. Rank 24

    80 points · 32 comments · observed 1786922698

34. Rank 24

    80 points · 32 comments · observed 1786922337

35. Rank 23

    80 points · 32 comments · observed 1786921974

36. Rank 26

    79 points · 32 comments · observed 1786921610

37. Rank 28

    78 points · 32 comments · observed 1786921240

38. Rank 27

    78 points · 32 comments · observed 1786920876

39. Rank 27

    77 points · 32 comments · observed 1786920512

40. Rank 28

    76 points · 32 comments · observed 1786920147

41. Rank 27

    76 points · 32 comments · observed 1786919787

42. Rank 30

    75 points · 32 comments · observed 1786919427

43. Rank 29

    75 points · 32 comments · observed 1786919062

44. Rank 28

    75 points · 32 comments · observed 1786918697

45. Rank 26

    75 points · 32 comments · observed 1786918337

46. Rank 28

    75 points · 32 comments · observed 1786917969

47. Rank 30

    73 points · 32 comments · observed 1786917596

48. Rank 27

    73 points · 31 comments · observed 1786917229

49. Rank 28

    73 points · 31 comments · observed 1786916872

50. Rank 28

    72 points · 29 comments · observed 1786916503

51. Rank 27

    72 points · 29 comments · observed 1786916139

52. Rank 27

    72 points · 29 comments · observed 1786915767

53. Rank 27

    72 points · 29 comments · observed 1786915400

54. Rank 26

    72 points · 29 comments · observed 1786915034

55. Rank 26

    72 points · 28 comments · observed 1786914663

56. Rank 25

    72 points · 28 comments · observed 1786914298

57. Rank 23

    70 points · 28 comments · observed 1786913929

58. Rank 24

    70 points · 28 comments · observed 1786913561

59. Rank 24

    69 points · 27 comments · observed 1786913192

60. Rank 22

    69 points · 27 comments · observed 1786912835

61. Rank 22

    69 points · 26 comments · observed 1786912467

62. Rank 21

    69 points · 26 comments · observed 1786912101

63. Rank 21

    69 points · 26 comments · observed 1786911738

64. Rank 22

    68 points · 26 comments · observed 1786911374

65. Rank 22

    68 points · 26 comments · observed 1786911011

66. Rank 21

    68 points · 26 comments · observed 1786910649

67. Rank 21

    68 points · 24 comments · observed 1786910286

68. Rank 21

    68 points · 24 comments · observed 1786909924

69. Rank 22

    68 points · 24 comments · observed 1786909561

70. Rank 21

    68 points · 24 comments · observed 1786909194

71. Rank 19

    68 points · 23 comments · observed 1786908838

72. Rank 18

    68 points · 23 comments · observed 1786908475

73. Rank 19

    68 points · 23 comments · observed 1786908112

74. Rank 20

    67 points · 23 comments · observed 1786907746

75. Rank 19

    66 points · 23 comments · observed 1786907383

76. Rank 18

    66 points · 23 comments · observed 1786907015

77. Rank 20

    64 points · 23 comments · observed 1786906647

78. Rank 18

    64 points · 23 comments · observed 1786906286

79. Rank 17

    63 points · 23 comments · observed 1786905927

80. Rank 17

    63 points · 23 comments · observed 1786905566

81. Rank 15

    62 points · 22 comments · observed 1786905201

82. Rank 14

    62 points · 22 comments · observed 1786904838

83. Rank 14

    62 points · 21 comments · observed 1786904470

84. Rank 16

    61 points · 20 comments · observed 1786904103

85. Rank 16

    61 points · 20 comments · observed 1786903740

86. Rank 16

    59 points · 20 comments · observed 1786903375

87. Rank 16

    58 points · 19 comments · observed 1786903008

88. Rank 14

    58 points · 19 comments · observed 1786902643

89. Rank 15

    57 points · 18 comments · observed 1786902276

90. Rank 15

    56 points · 17 comments · observed 1786901909

91. Rank 15

    56 points · 17 comments · observed 1786901541

92. Rank 15

    55 points · 17 comments · observed 1786901181

93. Rank 16

    53 points · 17 comments · observed 1786900813

94. Rank 14

    53 points · 16 comments · observed 1786900452

95. Rank 13

    52 points · 16 comments · observed 1786900088

96. Rank 14

    51 points · 16 comments · observed 1786899724

97. Rank 12

    50 points · 16 comments · observed 1786899360

98. Rank 12

    49 points · 16 comments · observed 1786898994

99. Rank 9

    48 points · 16 comments · observed 1786898639

100. Rank 9

     46 points · 16 comments · observed 1786898275

101. Rank 10

     46 points · 16 comments · observed 1786897908

102. Rank 9

     46 points · 16 comments · observed 1786897538

103. Rank 8

     42 points · 16 comments · observed 1786897175

104. Rank 8

     42 points · 16 comments · observed 1786896807

105. Rank 7

     40 points · 15 comments · observed 1786896432

106. Rank 6

     40 points · 15 comments · observed 1786896059

107. Rank 6

     40 points · 15 comments · observed 1786895691

108. Rank 6

     40 points · 14 comments · observed 1786895326

109. Rank 6

     40 points · 14 comments · observed 1786894955

110. Rank 5

     39 points · 14 comments · observed 1786894592

111. Rank 5

     37 points · 14 comments · observed 1786894225

112. Rank 6

     37 points · 14 comments · observed 1786893856

113. Rank 6

     37 points · 14 comments · observed 1786893489

114. Rank 5

     37 points · 14 comments · observed 1786893125

115. Rank 4

     36 points · 14 comments · observed 1786892756

116. Rank 4

     35 points · 14 comments · observed 1786892389

117. Rank 3

     35 points · 14 comments · observed 1786892019

118. Rank 3

     32 points · 14 comments · observed 1786891648

119. Rank 3

     32 points · 14 comments · observed 1786891275

120. Rank 3

     31 points · 14 comments · observed 1786890899

121. Rank 3

     30 points · 14 comments · observed 1786890529

122. Rank 2

     30 points · 13 comments · observed 1786890162

123. Rank 2

     30 points · 14 comments · observed 1786889789

124. Rank 2

     30 points · 13 comments · observed 1786889413

125. Rank 3

     30 points · 12 comments · observed 1786889050

126. Rank 3

     29 points · 12 comments · observed 1786888679

127. Rank 3

     29 points · 11 comments · observed 1786888310

128. Rank 3

     29 points · 11 comments · observed 1786887945

129. Rank 3

     29 points · 11 comments · observed 1786887576

130. Rank 2

     29 points · 11 comments · observed 1786887202

131. Rank 4

     26 points · 10 comments · observed 1786886838

132. Rank 1

     22 points · 10 comments · observed 1786886472

133. Rank 1

     16 points · 9 comments · observed 1786886108

134. Rank 1

     15 points · 8 comments · observed 1786885745

135. Rank 2

     15 points · 7 comments · observed 1786885378

136. Rank 1

     13 points · 5 comments · observed 1786885016

137. Rank 1

     11 points · 1 comments · observed 1786884652

138. Rank 1

     10 points · 0 comments · observed 1786884292

139. Rank 3

     8 points · 0 comments · observed 1786883930

140. Rank 6

     6 points · 0 comments · observed 1786883569

141. Rank 7

     5 points · 0 comments · observed 1786883200

142. Rank 12

     4 points · 0 comments · observed 1786882842

143. Rank 12

     4 points · 0 comments · observed 1786882485

Unofficial Hacker News client; not affiliated with Y Combinator.