History

Looking for Missed Alarm Bugs in a Formal Verification Tool

Open thread

First rank

20

Best rank

13

Last rank

30

Observations

66

First seen

1787121254

Last seen

1787145470

Missing captures

0

Milestones

1

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

1. Rank 30

   22 points · 1 comments · observed 1787145470

2. Rank 30

   21 points · 1 comments · observed 1787145090

3. Rank 29

   21 points · 1 comments · observed 1787144711

4. Rank 29

   19 points · 1 comments · observed 1787144322

5. Rank 29

   19 points · 1 comments · observed 1787143937

6. Rank 29

   19 points · 1 comments · observed 1787143559

7. Rank 28

   19 points · 1 comments · observed 1787143173

8. Rank 26

   19 points · 1 comments · observed 1787142794

9. Rank 27

   19 points · 1 comments · observed 1787142416

10. Rank 27

    19 points · 1 comments · observed 1787142040

11. Rank 26

    19 points · 0 comments · observed 1787141665

12. Rank 26

    19 points · 0 comments · observed 1787141288

13. Rank 27

    19 points · 0 comments · observed 1787140910

14. Rank 25

    19 points · 0 comments · observed 1787140536

15. Rank 27

    19 points · 0 comments · observed 1787140170

16. Rank 26

    19 points · 0 comments · observed 1787139800

17. Rank 26

    18 points · 0 comments · observed 1787139430

18. Rank 27

    17 points · 0 comments · observed 1787139061

19. Rank 27

    17 points · 0 comments · observed 1787138684

20. Rank 27

    16 points · 0 comments · observed 1787138314

21. Rank 27

    16 points · 0 comments · observed 1787137941

22. Rank 26

    16 points · 0 comments · observed 1787137575

23. Rank 27

    16 points · 0 comments · observed 1787137200

24. Rank 28

    16 points · 0 comments · observed 1787136831

25. Rank 28

    15 points · 0 comments · observed 1787136460

26. Rank 27

    15 points · 0 comments · observed 1787136089

27. Rank 26

    15 points · 0 comments · observed 1787135721

28. Rank 27

    14 points · 0 comments · observed 1787135352

29. Rank 26

    14 points · 0 comments · observed 1787134981

30. Rank 26

    13 points · 0 comments · observed 1787134612

31. Rank 26

    13 points · 0 comments · observed 1787134250

32. Rank 26

    13 points · 0 comments · observed 1787133885

33. Rank 26

    13 points · 0 comments · observed 1787133520

34. Rank 26

    13 points · 0 comments · observed 1787133155

35. Rank 28

    13 points · 0 comments · observed 1787132784

36. Rank 27

    13 points · 0 comments · observed 1787132415

37. Rank 26

    13 points · 0 comments · observed 1787132055

38. Rank 26

    13 points · 0 comments · observed 1787131687

39. Rank 24

    13 points · 0 comments · observed 1787131321

40. Rank 23

    13 points · 0 comments · observed 1787130964

41. Rank 23

    13 points · 0 comments · observed 1787130595

42. Rank 23

    13 points · 0 comments · observed 1787130228

43. Rank 22

    13 points · 0 comments · observed 1787129861

44. Rank 19

    13 points · 0 comments · observed 1787129492

45. Rank 19

    13 points · 0 comments · observed 1787129122

46. Rank 20

    13 points · 0 comments · observed 1787128758

47. Rank 20

    12 points · 0 comments · observed 1787128394

48. Rank 19

    12 points · 0 comments · observed 1787128023

49. Rank 18

    12 points · 0 comments · observed 1787127649

50. Rank 18

    12 points · 0 comments · observed 1787127276

51. Rank 16

    11 points · 0 comments · observed 1787126903

52. Rank 16

    11 points · 0 comments · observed 1787126522

53. Rank 18

    10 points · 0 comments · observed 1787126146

54. Rank 17

    9 points · 0 comments · observed 1787125767

55. Rank 15

    9 points · 0 comments · observed 1787125389

56. Rank 14

    9 points · 0 comments · observed 1787125013

57. Rank 13

    9 points · 0 comments · observed 1787124633

58. Rank 13

    9 points · 0 comments · observed 1787124258

59. Rank 13

    9 points · 0 comments · observed 1787123883

60. Rank 14

    8 points · 0 comments · observed 1787123508

61. Rank 14

    8 points · 0 comments · observed 1787123135

62. Rank 13

    7 points · 0 comments · observed 1787122758

63. Rank 24

    5 points · 0 comments · observed 1787122377

64. Rank 22

    5 points · 0 comments · observed 1787121994

65. Rank 20

    4 points · 0 comments · observed 1787121619

66. Rank 20

    4 points · 0 comments · observed 1787121254

Unofficial Hacker News client; not affiliated with Y Combinator.