During the last ARM HPC User Group conf i was able to get my hands a 160 core instance, i was shocked, holy moly do they beat Xeon when it comes to SAT solving

During the last ARM HPC User Group conf i was able to get my hands a 160 core instance, i was shocked, holy moly do they beat Xeon when it comes to SAT solving in my test with HordeSAT.