We have assessed the developed granularity control techniques for
or-parallelism on the Muse system (see D.WP2.3.2.M3.2), and have
obtained encouraging results.
seq: sequential execution.
ngc: parallel execution without granularity control.
gctss: fully optimized versions which perform
granularity control.