[SAT] Running Kissat SAT-solver on ARM CPU

Regarding that old story about running Z3 SMT-solver on iPhone.... I tried various server-grade ARM CPUs I could access.

Latest Kissat from github. I run "tissat -j1" (to limit it on single thread).

Some x86 CPUs for comparison:

I tried a1.medium and a1.4xlarge instances on AWS. More info They say it runs on AWS Graviton


Didn't try Z3 SMT-solver yet...

(the post first published at 20230425.)

List of my other blog posts.

Subscribe to my news feed

Yes, I know about these lousy Disqus ads. Please use adblocker. I would consider to subscribe to 'pro' version of Disqus if the signal/noise ratio in comments would be good enough.