The authors report average speedups of 3.8x— on 6-9 hardware threads.
the paper's evaluation is problematic in two respects, making it diffcult to interpret the results: (1) the sequential analysis they compare against used an arbitrary node ordering for the worklist, which in our experience can cause slow-downs from 2 5Ã— relative to a more optimized node ordering strategy; and (2) their evaluation reports analysis runtimes rather than speedups.