I'm not exactly an expert but I thought BOINC just distributed different tasks to different cores. SMP tries to leverage parallelism by having four cores work on the same task. You could run 16 or 8 different single-threaded clients with different machine IDs to see what happens then.