SMT Solving on an iPhone (A12 vs i7-7700k)

By: anonymous2 (anonymous2.delete@this.example.com), August 9, 2020 10:43 am
Room: Moderated Discussions
https://www.cs.utexas.edu/~bornholt/post/z3-iphone.html

https://twitter.com/siderealed/status/1057682481334218752

... A12 is not slower than Core i7 in this case
 Next Post in Thread >
TopicPosted ByDate
SMT Solving on an iPhone (A12 vs i7-7700k)anonymous22020/08/09 10:43 AM
  SMT Solving on an iPhone (A12 vs i7-7700k)Rayla2020/08/09 11:26 AM
    SMT Solving on an iPhone (A12 vs i7-7700k)Maynard Handley2020/08/09 02:08 PM
    SMT Solving on an iPhone (A12 vs i7-7700k)Doug S2020/08/09 03:00 PM
      SMT Solving on an iPhone (A12 vs i7-7700k)james Wise2020/08/09 08:25 PM
        SMT Solving on an iPhone (A12 vs i7-7700k)Doug S2020/08/09 10:46 PM
          SMT Solving on an iPhone (A12 vs i7-7700k)Rakesh Malik2020/08/11 06:32 PM
    SMT Solving on an iPhone (A12 vs i7-7700k)Adrian2020/08/10 12:24 AM
      SMT Solving on an iPhone (A12 vs i7-7700k)Doug S2020/08/10 01:35 AM
        SMT Solving on an iPhone (A12 vs i7-7700k)hobold2020/08/10 03:08 AM
        SMT Solving on an iPhone (A12 vs i7-7700k)David Hess2020/09/15 09:32 PM
          SMT Solving on an iPhone (A12 vs i7-7700k)blaine2020/09/16 10:42 AM
          SMT Solving on an iPhone (A12 vs i7-7700k)wumpus2020/09/16 11:47 AM
            SMT Solving on an iPhone (A12 vs i7-7700k)Anon2020/09/16 01:18 PM
            SMT Solving on an iPhone (A12 vs i7-7700k)David Hess2020/09/16 02:39 PM
          SMT Solving on an iPhone (A12 vs i7-7700k)Rob Barris2020/09/16 02:13 PM
            SMT Solving on an iPhone (A12 vs i7-7700k)David Hess2020/09/16 02:29 PM
              SMT Solving on an iPhone (A12 vs i7-7700k)Rob Barris2020/09/17 09:47 AM
    SMT Solving on an iPhone (A12 vs i7-7700k)Anon2020/08/10 07:34 AM
Reply to this Topic
Name:
Email:
Topic:
Body: No Text
How do you spell avocado?