backend ok
Story history
Score and comment observations over time
ESBMC-Arduino: Closing the Deployment Gap for Formal Verification
HN #48,901,020 | submitted 2026-07-14 00:58 UTC | arxiv.org
103 observationsby Jimmc414
6 points
Latest score
2 comments
Latest comments
+5
Score change
Rank history is not tracked yet in the current dataset, so this first slice focuses on score and comment movement.
Score
Range 1 to 6
2026-07-14 01:01 UTC2026-07-14 09:10 UTC
Comments
Range 0 to 2
2026-07-14 01:01 UTC2026-07-14 09:10 UTC
Observation history
Observation times are irregular and reflect when the tracker refreshed this story.
First 2026-07-14 01:01 UTCLatest 2026-07-14 09:10 UTC
| Observed at | Score | Comments | Rank |
|---|---|---|---|
| 2026-07-14 09:10 UTC | 6 | 2 | not tracked |
| 2026-07-14 09:05 UTC | 6 | 2 | not tracked |
| 2026-07-14 09:01 UTC | 6 | 2 | not tracked |
| 2026-07-14 08:56 UTC | 6 | 2 | not tracked |
| 2026-07-14 08:52 UTC | 6 | 2 | not tracked |
| 2026-07-14 08:47 UTC | 6 | 2 | not tracked |
| 2026-07-14 08:42 UTC | 5 | 1 | not tracked |
| 2026-07-14 08:38 UTC | 5 | 1 | not tracked |
| 2026-07-14 08:33 UTC | 5 | 1 | not tracked |
| 2026-07-14 08:29 UTC | 5 | 1 | not tracked |
| 2026-07-14 08:24 UTC | 5 | 1 | not tracked |
| 2026-07-14 08:19 UTC | 5 | 1 | not tracked |
| 2026-07-14 08:15 UTC | 5 | 1 | not tracked |
| 2026-07-14 08:10 UTC | 5 | 1 | not tracked |
| 2026-07-14 08:06 UTC | 5 | 1 | not tracked |
| 2026-07-14 08:01 UTC | 5 | 1 | not tracked |
| 2026-07-14 07:57 UTC | 5 | 1 | not tracked |
| 2026-07-14 07:52 UTC | 5 | 1 | not tracked |
| 2026-07-14 07:47 UTC | 5 | 1 | not tracked |
| 2026-07-14 07:43 UTC | 5 | 1 | not tracked |
| 2026-07-14 07:38 UTC | 5 | 1 | not tracked |
| 2026-07-14 07:34 UTC | 5 | 1 | not tracked |
| 2026-07-14 07:29 UTC | 5 | 1 | not tracked |
| 2026-07-14 07:24 UTC | 5 | 1 | not tracked |
| 2026-07-14 07:17 UTC | 5 | 1 | not tracked |
| 2026-07-14 07:12 UTC | 5 | 1 | not tracked |
| 2026-07-14 07:08 UTC | 5 | 1 | not tracked |
| 2026-07-14 07:03 UTC | 5 | 1 | not tracked |
| 2026-07-14 06:59 UTC | 5 | 1 | not tracked |
| 2026-07-14 06:54 UTC | 5 | 1 | not tracked |
| 2026-07-14 06:49 UTC | 5 | 1 | not tracked |
| 2026-07-14 06:45 UTC | 5 | 1 | not tracked |
| 2026-07-14 06:40 UTC | 5 | 1 | not tracked |
| 2026-07-14 06:35 UTC | 5 | 1 | not tracked |
| 2026-07-14 06:31 UTC | 5 | 1 | not tracked |
| 2026-07-14 06:26 UTC | 5 | 1 | not tracked |
| 2026-07-14 06:22 UTC | 5 | 1 | not tracked |
| 2026-07-14 06:14 UTC | 5 | 1 | not tracked |
| 2026-07-14 06:10 UTC | 5 | 1 | not tracked |
| 2026-07-14 06:05 UTC | 5 | 1 | not tracked |
| 2026-07-14 06:00 UTC | 5 | 1 | not tracked |
| 2026-07-14 05:56 UTC | 5 | 1 | not tracked |
| 2026-07-14 05:51 UTC | 5 | 1 | not tracked |
| 2026-07-14 05:47 UTC | 5 | 1 | not tracked |
| 2026-07-14 05:42 UTC | 5 | 1 | not tracked |
| 2026-07-14 05:37 UTC | 5 | 1 | not tracked |
| 2026-07-14 05:33 UTC | 5 | 1 | not tracked |
| 2026-07-14 05:28 UTC | 5 | 1 | not tracked |
| 2026-07-14 05:24 UTC | 5 | 1 | not tracked |
| 2026-07-14 05:19 UTC | 5 | 1 | not tracked |
| 2026-07-14 05:12 UTC | 5 | 1 | not tracked |
| 2026-07-14 05:07 UTC | 5 | 1 | not tracked |
| 2026-07-14 05:03 UTC | 5 | 1 | not tracked |
| 2026-07-14 04:58 UTC | 5 | 1 | not tracked |
| 2026-07-14 04:54 UTC | 5 | 1 | not tracked |
| 2026-07-14 04:49 UTC | 5 | 1 | not tracked |
| 2026-07-14 04:44 UTC | 5 | 1 | not tracked |
| 2026-07-14 04:40 UTC | 5 | 1 | not tracked |
| 2026-07-14 04:35 UTC | 5 | 1 | not tracked |
| 2026-07-14 04:30 UTC | 5 | 1 | not tracked |
| 2026-07-14 04:26 UTC | 5 | 1 | not tracked |
| 2026-07-14 04:21 UTC | 5 | 1 | not tracked |
| 2026-07-14 04:17 UTC | 5 | 1 | not tracked |
| 2026-07-14 04:09 UTC | 5 | 1 | not tracked |
| 2026-07-14 04:05 UTC | 5 | 1 | not tracked |
| 2026-07-14 04:00 UTC | 5 | 1 | not tracked |
| 2026-07-14 03:56 UTC | 5 | 1 | not tracked |
| 2026-07-14 03:51 UTC | 5 | 1 | not tracked |
| 2026-07-14 03:46 UTC | 5 | 1 | not tracked |
| 2026-07-14 03:42 UTC | 5 | 1 | not tracked |
| 2026-07-14 03:37 UTC | 5 | 1 | not tracked |
| 2026-07-14 03:32 UTC | 5 | 1 | not tracked |
| 2026-07-14 03:28 UTC | 5 | 1 | not tracked |
| 2026-07-14 03:23 UTC | 5 | 1 | not tracked |
| 2026-07-14 03:19 UTC | 5 | 1 | not tracked |
| 2026-07-14 03:14 UTC | 5 | 1 | not tracked |
| 2026-07-14 03:07 UTC | 5 | 1 | not tracked |
| 2026-07-14 03:03 UTC | 5 | 1 | not tracked |
| 2026-07-14 02:58 UTC | 5 | 1 | not tracked |
| 2026-07-14 02:53 UTC | 5 | 1 | not tracked |
| 2026-07-14 02:49 UTC | 5 | 1 | not tracked |
| 2026-07-14 02:44 UTC | 5 | 1 | not tracked |
| 2026-07-14 02:40 UTC | 5 | 1 | not tracked |
| 2026-07-14 02:35 UTC | 5 | 1 | not tracked |
| 2026-07-14 02:30 UTC | 4 | 1 | not tracked |
| 2026-07-14 02:26 UTC | 4 | 1 | not tracked |
| 2026-07-14 02:21 UTC | 4 | 0 | not tracked |
| 2026-07-14 02:17 UTC | 4 | 0 | not tracked |
| 2026-07-14 02:12 UTC | 4 | 0 | not tracked |
| 2026-07-14 02:04 UTC | 4 | 0 | not tracked |
| 2026-07-14 01:59 UTC | 4 | 0 | not tracked |
| 2026-07-14 01:55 UTC | 4 | 0 | not tracked |
| 2026-07-14 01:50 UTC | 4 | 0 | not tracked |
| 2026-07-14 01:46 UTC | 4 | 0 | not tracked |
| 2026-07-14 01:41 UTC | 4 | 0 | not tracked |
| 2026-07-14 01:36 UTC | 4 | 0 | not tracked |
| 2026-07-14 01:32 UTC | 4 | 0 | not tracked |
| 2026-07-14 01:27 UTC | 3 | 0 | not tracked |
| 2026-07-14 01:22 UTC | 3 | 0 | not tracked |
| 2026-07-14 01:18 UTC | 3 | 0 | not tracked |
| 2026-07-14 01:13 UTC | 2 | 0 | not tracked |
| 2026-07-14 01:08 UTC | 2 | 0 | not tracked |
| 2026-07-14 01:01 UTC | 1 | 0 | not tracked |