Looks like someone is suffering from a serious case of "Notice me senpai!"
No idea what that means, but sounds like some hentai stuff so not into that.
But yes, seems like Sumitomo is busy playing whack-a-mole with some simple questions.
Question 1: YalSAT beats the infinitely superior Dynex SAT Neuromorphic solver
Whack 1: Add more benchmark input that work better with Dynex SAT and "prove" it is superior.
Question 2: Parallel solver PalSAT beats Dynex SAT in their new benchmark suite
Whack 2: Delete the issue and add own optimised three thread results. Victory!
Question 3: Question why choose 3 threads to make Dynex look good and not 8 threads?
Whack 3: Modify the ticket out of context and not comment anything.
Question 4: Why delete ticket? Why not explain reasoning for choosing 3 threads for PalSAT vs. Dynex SAT?
Whack 4: Do nothing, ignore.
I mean all they have to do in this case is explain why they chose this 3 thread optimal value for their Dynex SAT solver (that was absolutely unbeatable just a week earlier). Why not include the 8 thread results to show?
Anyone with half a brain should see that there's something fishy going on here. Still looking for the big Dynex big tech reveal proving our doubts unjustified.