Guaranteed set computation with subpavings