Current status: Fix typo in property (1 min) → rerun verification (50 min) → fix typo in property (3 min) → rerun verification (90 min) → fix typo in property (1 min) → rerun verification (45 min) → ⋯
-
I see... have you considered running large amount of parallel subtasks in e.g. AWS lambda if verification can be split?
This is one subtask of 79. I did re-run just the one task so I don't waste too much compute resources. (It's one of the easier task in the set. The whole thing takes about a day on an AWS c4.4xlarge instance.)
-
-
So this one task cannot be split and takes 50 mins to run?
-
Yes. More like 120-180 minutes if you don't accidentally add a bug that the solver can find quickly. Luckily that's what the typos did..
- Show replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.