Model checking a large design?
One week and still running. I hope those boolector instances will find something interesting.. (I've moved those batches of long running solvers from AWS to @scaleway ten days ago. Now I have significantly less financial incentive to use short timeouts.)pic.twitter.com/HCaWorgCNr
-
-
-
With formal verification, design-size does not matter. Its more a question of "difficulty" .
End of conversation
New conversation -
-
-
We're glad to hear you're one of our Cloud Riders now
! Thanks for the support! Expect features on the way to manage your resources even more :) -
Hey scaleway social media person. o/ :) Are there any plans for larger instances with >8 cores? Thanks.
- Show replies
New conversation -
-
-
Why you moved away from AWS
@oe1cxw ? -
Scaleway C2L: € 0.048 / hour AWS c5.2xlarge: € 0.34 / hour And the C2L has twice the memory so I can actually use all 8 cores for that workload. On AWS I could only use 6 of 8 cores or I would run out of memory. So Scaleway is about 10x (!) cheaper for this workload.
- 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.