Quote from: abowakawa on May 24, 2023, 01:26:21 PM

Oof.

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.