solvecraft/docs/kernel-ladder.md

Kernel complexity ladder

Generated by cargo xtask kernel-cases --ladder. The ladder in tests/kernel-cases/ladder/ orders kernel operations by complexity: each tier builds on the shapes of the tiers before it, so the last case carries everything. Every case is a test with its own right answer (analysis or invariants, as in the regression rig); the golden (tests/kernel-cases/ladder/golden.json) records each case's time and what it made, orders each tier by time and flags slowdowns. The cases run on SMLib.

The frontier is the first case of a tier, in ladder order, that fails (fail, crash or hang).

Tiers

Tier	What	Cases	Results	Frontier
01-primitives	primitives with closed-form volumes	6	6 pass	–
02-booleans	booleans in the degeneracy classes, and cuts that end in a single line	25	25 pass	–
03-analytic-profiles	extrudes and revolves of line-and-arc profiles	10	10 pass	–
04-spline-profiles	spline profiles, sweeps and lofts	12	12 pass	–
05-holes-and-taps	holes and tapped holes	17	17 pass	–
06-threads	modelled threads	30	30 pass	–
07-fillets	constant, variable and corner fillets	21	21 pass	–
08-chamfers	chamfers	8	8 pass	–
09-shells-and-offsets	shells and offsets	15	15 pass	–
10-patterns-and-mirrors	patterns and mirrors	8	8 pass	–
11-cumulative-parts	parts combining every tier	4	4 pass	–
12-sheet-metal	sheet metal: flanges, closed corners, reliefs, hems, folds and the flat pattern	14	14 pass	–

Cases where SMLib's check gave no verdict on a body (SMLib can't take the record yet), so only the record's checks graded validity: 0.

Cases, in ladder order

Times are the commands' own, in seconds, from the case's process; golden is the recorded time.

Case	What	Answer	Result	s	golden s	changes
ladder/01-primitives/001-box	a 60x40x20 box: the stock every later tier starts from	analytic	pass	0.006	0.006
ladder/01-primitives/005-sphere	a sphere r10	analytic	pass	0.008	0.008
ladder/01-primitives/002-cylinder	a cylinder r10 h30	analytic	pass	0.036	0.036
ladder/01-primitives/004-frustum	a cone frustum r10 -> r5, h20 (revolved trapezoid)	analytic	pass	0.044	0.044
ladder/01-primitives/003-cone	a cone r10 h30 (no cone primitive: a revolved right triangle, its axis a sketch line)	analytic	pass	0.046	0.046
ladder/01-primitives/006-torus	a torus R20 r5	analytic	pass	0.093	0.093
ladder/02-booleans/015-knife-edge-wedge-cut	a triangular prism cut whose slope meets the bottom face along one line (a knife edge), its other faces on the stock's	analytic	pass	0.014	0.014
ladder/02-booleans/004-edge-on-edge-no-overlap	a cut tool that shares only the top front edge of the stock	analytic	pass	0.014	0.014
ladder/02-booleans/001-coincident-face-join	a 60x40x10 box joined exactly on the stock's top face: one 60x40x30 box	analytic	pass	0.014	0.014
ladder/02-booleans/020-part-back-wall	the running part: a 60x10x15 back wall joined on the stock's top, flush with its back and ends	analytic	pass	0.015	0.015
ladder/02-booleans/003-pocket-flush-with-top	a 20x20x10 pocket whose tool's top is the stock's top face	analytic	pass	0.016	0.016
ladder/02-booleans/016-v-groove-pinches-bottom-to-line	a V groove whose apex touches the bottom face along a line, cut through: two pieces	analytic	pass	0.016	0.016
ladder/02-booleans/019-notch-flush-with-end-face	a notch 40x20 through the height, its end flush with the stock's end face: a U	analytic	pass	0.017	0.017
ladder/02-booleans/002-coplanar-overlap-join	two 60x40x20 boxes overlapping 30x20 in plan, tops and bottoms coplanar	analytic	pass	0.017	0.017
ladder/02-booleans/008-near-tangent-gap-1e-6	a cylinder r10 along X 1e-6 mm above the top face, cut	analytic	pass	0.019	0.019
ladder/02-booleans/010-near-tangent-overlap-1e-6	a cylinder r10 along X dipping 1e-6 mm into the top face, cut	invariants	pass	0.019	0.019
ladder/02-booleans/007-near-tangent-gap-1e-3	a cylinder r10 along X 1e-3 mm above the top face, cut	analytic	pass	0.027	0.027
ladder/02-booleans/006-tangent-along-line-no-overlap	a cylinder r10 along X lying on the top face (tangent along a line), cut	analytic	pass	0.032	0.032
ladder/02-booleans/009-near-tangent-overlap-1e-3	a cylinder r10 along X dipping 1e-3 mm into the top face, cut: a groove 1e-3 deep	analytic	pass	0.036	0.036
ladder/02-booleans/017-cylinder-tangent-top-and-bottom	a cylinder r10 along X tangent to both the top and bottom faces, cut: two pieces with zero-angle cusps	analytic	pass	0.038	0.038
ladder/02-booleans/005-vertex-on-face-no-overlap	an inverted cone whose apex touches the middle of the top face, cut	analytic	pass	0.039	0.039
ladder/02-booleans/014-cut-through-sphere-pole	a 4x4 square post cut off the top of a sphere r10 through its pole	analytic	pass	0.043	0.043
ladder/02-booleans/018-hole-tangent-to-side-face	a through hole r10 tangent to the front face: the front face pinched to a line	analytic	pass	0.056	0.056
ladder/02-booleans/012-tangent-along-circle-bowl	a blind hole r10 10 deep, then a sphere r10 centred on its floor: the floor disk vanishes exactly	analytic	pass	0.063	0.063
ladder/02-booleans/013-cut-across-cylinder-seam	a 10x4 notch through a cylinder r10 across its +X side (where the seam lies)	analytic	pass	0.072	0.072
ladder/02-booleans/011-tangent-along-circle-through-hole	a sphere r10 sitting in a through hole r10 at the top edge (tangent along the hole's top circle), cut	analytic	pass	0.081	0.081
ladder/02-booleans/022-cylinder-grazing-a-hole-edge	a corner piece (square column minus a quarter disc r1.5, 0.0003 off the axis) cut out of a part with a blind r1.6 hole on the same axis: the tool's r1.5 face sits 0.1 mm inside the hole wall; 'no result'	analytic	pass	0.119	0.119
ladder/02-booleans/021-holes-touching-at-a-point	two through holes r5 whose circles touch at one point (30, 20)	analytic	pass	0.121	0.121
ladder/02-booleans/023-lips-1e-4-off-the-walls-joined	two half-annulus lips (r 4..5, from z=2 to 20) joined onto a stadium-ring base (z 0..2, r 3..5 arcs, centres 20 apart) with their cylinder walls 0.0001 mm off the base's: the lip cap touches the base top, leaving a 0.0001 mm crescent overhang. Layout is a hand-built variant of the PR's public reproduction	analytic	pass	0.196	0.196
ladder/02-booleans/024-wall-halves-merged-into-a-flange	the flange top annulus of a freshly revolved hub (z = 6, r 18..30) picked by a point and extruded 5 mm (the pick found a third of the face: "the selected planar face no longer exists")	analytic	pass	0.225	0.225
ladder/02-booleans/025-flush-chord-layers-joined	a join of flush layers: a disc r37 (z -1.2..0) carrying 15 of the 19 regions of a sketch of 18 chords (z -3.6..-1.2; four bands left out), on an annulus r35..37 (z -5.6..-3.6) joined to a disc of all the chord regions (z -8..-5.6): SMLib's result came back with 'loop encloses no (u, v) area' though both operands are valid	analytic	pass	1.320	1.320
ladder/03-analytic-profiles/001-extrude-rect-with-arc-end	a 60x40 profile with a semicircular end r20, extruded 20	analytic	pass	0.029	0.029
ladder/03-analytic-profiles/006-revolve-partial-90	a 10x10 rectangle 10 mm off the axis revolved 90 deg	analytic	pass	0.029	0.029
ladder/03-analytic-profiles/007-revolve-180-touching-axis	a 15x20 rectangle on the axis revolved 180 deg: a half cylinder	analytic	pass	0.031	0.031
ladder/03-analytic-profiles/008-extrude-slot	a slot (centres 40 apart, width 20) extruded 10	analytic	pass	0.035	0.035
ladder/03-analytic-profiles/005-revolve-touching-axis-hemisphere	a quarter disk r20 with an edge on the Z axis revolved 360 deg: a hemisphere	analytic	pass	0.055	0.055
ladder/03-analytic-profiles/003-extrude-tapered-circle	a circle r10 extruded 20 with a -5 deg taper (inward): a cone frustum	analytic	pass	0.061	0.061
ladder/03-analytic-profiles/010-revolve-horn-torus-270	the half disc of radius 14 on the far side of a diameter 14 mm from the axis (the full circle would touch the axis: a horn torus) revolved 270 degrees	analytic	pass	0.064	0.064
ladder/03-analytic-profiles/002-extrude-annulus	an annulus r20/r10 extruded 15	analytic	pass	0.066	0.066
ladder/03-analytic-profiles/004-revolve-full-off-axis	a 10x30 rectangle 10 mm off the Z axis revolved 360 deg: a tube	analytic	pass	0.068	0.068
ladder/03-analytic-profiles/009-part-boss-and-slot	the running part: a revolved boss r8 h10 joined on the top, a slot 15x8 cut through the base	analytic	pass	0.106	0.106
ladder/04-spline-profiles/001-extrude-bezier-arch	a profile closed by a cubic Bezier arch (control-point spline, 4 points), extruded 10	analytic	pass	0.012	0.012
ladder/04-spline-profiles/005-loft-square-frustum	a loft between a 40 square at z=0 and a 20 square at z=30	analytic	pass	0.015	0.015
ladder/04-spline-profiles/008-loft-square-to-circle	a loft from a 40 square at z=0 to a circle r10 at z=30	analytic	pass	0.019	0.019
ladder/04-spline-profiles/009-extrude-periodic-fit-spline	a closed periodic fit-point spline through 6 points, extruded 10	analytic	pass	0.023	0.023
ladder/04-spline-profiles/004-sweep-square-along-bezier	a 4x4 square swept along the same Bezier path	analytic	pass	0.052	0.052
ladder/04-spline-profiles/006-loft-circle-frustum	a loft between circles r20 at z=0 and r10 at z=30	analytic	pass	0.065	0.065
ladder/04-spline-profiles/007-loft-three-circles	a smooth loft through circles r20, r10, r20 at z = 0, 20, 40	analytic	pass	0.077	0.077
ladder/04-spline-profiles/002-revolve-bezier-profile	a profile with a Bezier side (r from 20 to 15 over z 0..30) revolved 360 deg about Z	analytic	pass	0.079	0.079
ladder/04-spline-profiles/010-part-bezier-window	the running part: a Bezier-arched window cut through the back wall	analytic	pass	0.166	0.166
ladder/04-spline-profiles/003-pipe-along-bezier	a pipe d4 along a planar Bezier path	analytic	pass	0.172	0.172
ladder/04-spline-profiles/012-loft-ribs-joined-to-a-rounded-pad	the same without the top flange: the join fails with 'boolean Union: no result'	analytic	pass	0.668	0.668
ladder/04-spline-profiles/011-crossing-pleated-loft-skins-joined	a join of two pleated skins (lofts between 24-pleat star outlines, less the same loft moved in 1.1 mm) that cross along a ring near their bottoms: truck panicked ('tolerance must be no less than 1e-6') or gave no result	analytic	pass	2.589	2.589
ladder/05-holes-and-taps/009-hole-0.5-from-edge	a d10 through hole whose wall is 0.5 mm from the end face	analytic	pass	0.035	0.035
ladder/05-holes-and-taps/003-drilled-blind-118	a d10 drilled hole 10 deep to the shoulder with a 118 deg point	analytic	pass	0.038	0.038
ladder/05-holes-and-taps/014-tapped-1-4-20-unc-through	a 1/4-20 UNC tapped hole through the stock: drilled #7 (0.201 in), cosmetic thread	analytic	pass	0.039	0.039
ladder/05-holes-and-taps/006-tapped-m6-through	an M6 tapped hole through: the tap drill d5 (major - pitch), cosmetic thread	analytic	pass	0.040	0.040
ladder/05-holes-and-taps/002-simple-blind-flat	a d10 blind hole 10 deep, flat bottom	analytic	pass	0.041	0.041
ladder/05-holes-and-taps/017-tapped-1-4-npt-through	a 1/4-18 NPT tapped hole through the stock (ASME B1.20.1): a straight hole at the tap maker's 10.85 mm, cosmetic thread	analytic	pass	0.041	0.041
ladder/05-holes-and-taps/016-tapped-rc-1-2-through	an Rc 1/2 tapped hole through the stock (ISO 7-1 internal taper): a straight hole at the tap maker's 17.6 mm, cosmetic thread	analytic	pass	0.042	0.042
ladder/05-holes-and-taps/007-tapped-m8-blind	an M8 tapped blind hole 12 deep with a 118 deg drill point	analytic	pass	0.042	0.042
ladder/05-holes-and-taps/015-tapped-1-4-28-unf-blind	a 1/4-28 UNF tapped blind hole 10 deep, flat bottom: drilled 5.45 mm, cosmetic thread	analytic	pass	0.046	0.046
ladder/05-holes-and-taps/001-simple-through	a d10 through hole in the stock's top	analytic	pass	0.051	0.051
ladder/05-holes-and-taps/010-hole-tangent-to-end-face	a d10 through hole tangent to the end face x=0	analytic	pass	0.054	0.054
ladder/05-holes-and-taps/004-counterbore	a counterbored hole: d6.6 through, d11 x 6.4 counterbore	analytic	pass	0.068	0.068
ladder/05-holes-and-taps/005-countersink	a countersunk hole: d6.6 through, d12 x 90 deg countersink	analytic	pass	0.080	0.080
ladder/05-holes-and-taps/011-crossing-holes-steinmetz	two d10 through holes whose axes cross: vertical and along Y at z=10	analytic	pass	0.103	0.103
ladder/05-holes-and-taps/012-crossing-tapped-holes-offset	two M6 tapped holes (d5) crossing with axes 2 mm apart	analytic	pass	0.175	0.175
ladder/05-holes-and-taps/008-tapped-m5-into-curved-face	an M5 tapped hole drilled radially through a cylinder r20 lying along X	analytic	pass	0.185	0.185
ladder/05-holes-and-taps/013-part-holes	the running part: an M6 tapped through hole, an M5 tapped blind hole in the boss, a d3.3 hole down through wall and base	analytic	pass	0.497	0.497
ladder/06-threads/030-square-thread-refused	a square thread on a d10 x 30 cylinder: refused, no current standard defines one	invariants	pass	0.032	0.032
ladder/06-threads/029-external-tr20x4-chamfer-needs-depth	011's Tr20x4 thread with a chamfered tip and no depth: refused, ISO 4753 is for metric threads	invariants	pass	0.488	0.488
ladder/06-threads/012-external-acme-3-4-6	a modelled 3/4-6 ACME thread (ASME B1.5, general purpose) on a 3/4 in shaft, six turns	analytic	pass	0.918	0.918
ladder/06-threads/011-external-tr20x4	a modelled trapezoidal Tr20x4 thread (ISO 2904) on a d20 shaft, six turns	analytic	pass	0.947	0.947
ladder/06-threads/013-external-s20x4	a modelled metric buttress S20x4 thread (DIN 513, 3/30 deg) on a d20 shaft, six turns	analytic	pass	0.957	0.957
ladder/06-threads/021-internal-rp-1-2	a modelled Rp 1/2 parallel internal pipe thread (ISO 7-1) in a d18.631 (its minor) bore through a 40x40 block six turns thick	analytic	pass	0.995	0.995
ladder/06-threads/020-external-g-1-2	a modelled G 1/2 parallel pipe thread (ISO 228-1, 55 deg) on a d20.955 shaft, six turns	analytic	pass	0.999	0.999
ladder/06-threads/015-internal-tr20x4-nut	a modelled internal Tr20x4 thread in a d16 (D1 = d - P) bore through a 40x40x24 block	analytic	pass	1.074	1.074
ladder/06-threads/014-external-buttress-asme-1.5-8	a modelled 1.5-8 buttress thread (ASME B1.9 basic profile, 7/45 deg) on a 1.5 in shaft, six turns	analytic	pass	1.098	1.098
ladder/06-threads/026-external-s20x4-steep-flank-start-to-shoulder	a modelled S20x4 buttress thread on a d20 shaft down to a d30 shoulder, the steep flank toward the thread's start (down): the 30 deg wall faces the shoulder	analytic	pass	1.147	1.147
ladder/06-threads/025-external-s20x4-steep-flank-end-to-shoulder	a modelled S20x4 buttress thread on a d20 shaft down to a d30 shoulder, the steep flank toward the thread's end (up, the default): the 3 deg wall faces the shoulder	analytic	pass	1.182	1.182
ladder/06-threads/010-part-threaded-boss	the running part with a modelled M16 thread on its d16 boss	analytic	pass	1.239	1.239
ladder/06-threads/003-external-m10-partial-length	a modelled M10 thread over 15 of the 30 mm from the top end (from): it stops square in the middle of the face	analytic	pass	1.339	1.339
ladder/06-threads/028-external-tr20x4-chamfer-30-deg-2.5-deep	011's modelled Tr20x4 thread with chamfered ends at its own angle and depth: 30 deg to the axis, 2.5 mm in from the major diameter	analytic	pass	1.351	1.351
ladder/06-threads/024-internal-rc-1-2-taper	a modelled Rc 1/2 internal taper pipe thread (ISO 7-1) in a d17.6 hole (the tap maker's) through a 13.2 mm plate, from its top face	analytic	pass	1.554	1.554
ladder/06-threads/019-external-tr40x14-p7-two-start	a modelled two-start trapezoidal Tr40x14(P7) thread (ISO 2904, ISO 2903) on a d40 shaft, three leads long	analytic	pass	1.636	1.636
ladder/06-threads/022-external-r-1-2-taper	a modelled R 1/2 taper pipe thread (ISO 7-1, 55 deg, 1 in 16) on a 21.3 mm pipe (ISO 65), its standard 13.2 mm from the pipe's end	analytic	pass	1.682	1.682
ladder/06-threads/005-internal-m10-through	a modelled internal M10 thread in a d8.5 (tap drill) hole through a 30x30x20 block	analytic	pass	1.791	1.791
ladder/06-threads/023-external-1-2-npt	a modelled 1/2-14 NPT taper pipe thread (ASME B1.20.1, 60 deg, 1 in 16) on its 0.840 in pipe, its effective thread L2 from the end	analytic	pass	1.850	1.850
ladder/06-threads/009-thread-runout-length	004's M10 thread run from the free top end, vanishing over a 3 mm (2 P) runout before the d16 shoulder	analytic	pass	2.142	2.142
ladder/06-threads/004-external-m10-to-shoulder	a modelled M10 thread on a d10 shaft running down to a d16 shoulder: it stops clear of it, the collar whole	analytic	pass	2.202	2.202
ladder/06-threads/007-external-m10-at-filleted-shoulder	a modelled M10 thread on a d10 shaft whose root at the d16 shoulder has an r1 fillet: it stops clear of the fillet	analytic	pass	2.250	2.250
ladder/06-threads/016-external-m10-left-hand	001's modelled M10 thread, left-handed: the same volume, turning the other way	analytic	pass	2.587	2.587
ladder/06-threads/001-external-m10-full	a modelled M10 thread over the whole of a d10 x 30 cylinder	analytic	pass	2.722	2.722
ladder/06-threads/006-external-m10-into-chamfer	a d10 x 30 cylinder with a 1 mm chamfer on top, then a modelled M10 thread over its cylinder face, running out through the chamfer	analytic	pass	2.753	2.753
ladder/06-threads/027-external-m10-chamfered-start	001's modelled M10 thread with ISO 4753's chamfered end at the end it starts from only (tip: start, from the top)	analytic	pass	3.107	3.107
ladder/06-threads/017-external-m10-chamfered-tip	001's modelled M10 thread with ISO 4753's chamfered end at both free ends: a 45 deg cone down to the external minor diameter d3, cut after the groove	analytic	pass	3.390	3.390
ladder/06-threads/002-external-m10x1-fine	a modelled fine M10x1 thread over a d10 x 30 cylinder	analytic	pass	4.222	4.222
ladder/06-threads/008-multi-start-thread	a two-start M10 thread (lead 3, pitch 1.5) over a d10 x 30 cylinder	analytic	pass	4.423	4.423
ladder/06-threads/018-external-m10-both-hands	001's modelled M10 thread cut both ways: a right- and a left-handed groove crossing on a d10 x 30 cylinder	analytic	pass	15.346	15.346
ladder/07-fillets/008-constant-r1e-3	a constant 1e-3 mm round on the top front edge	analytic	pass	0.018	0.018
ladder/07-fillets/007-variable-r5-to-1e-3	a variable round on the top front edge, r5 down to 1e-3 mm	analytic	pass	0.022	0.022
ladder/07-fillets/001-single-edge-r5	an r5 round on the stock's top front edge	analytic	pass	0.023	0.023
ladder/07-fillets/005-variable-r5-to-r1	a variable round on the top front edge, r5 at x=0 to r1 at x=60	analytic	pass	0.034	0.034
ladder/07-fillets/006-variable-r5-to-zero	a variable round on the top front edge, r5 at x=0 down to 0 at the x=60 vertex	analytic	pass	0.034	0.034
ladder/07-fillets/011-chain-ending-at-corner	r5 rounds on two top edges meeting at a corner whose vertical edge stays sharp	analytic	pass	0.035	0.035
ladder/07-fillets/004-convex-and-concave-r5	an L block: r5 on its inner (concave) vertical edge and on an outer (convex) one	analytic	pass	0.036	0.036
ladder/07-fillets/009-corner-three-equal-r5	r5 rounds on the three edges meeting at the corner (60,40,20): a sphere corner	analytic	pass	0.042	0.042
ladder/07-fillets/002-four-vertical-edges-r5	r5 rounds on the four vertical edges	analytic	pass	0.046	0.046
ladder/07-fillets/018-corner-three-sequential-r5-r3-r2	rounds r5 and r3 on the two top edges at a corner, the r3 with its tangent chain, then a round on the vertical edge under them: the r3 chain has rounded that edge, so the pick takes no edge: refused	invariants	pass	0.048	0.048
ladder/07-fillets/010-corner-unequal-r7-r3	an r7 vertical round at a corner, then r3 along a top edge, which runs on round the r7 arc to the other top edge	analytic	pass	0.055	0.055
ladder/07-fillets/016-corner-three-sequential-r5-r3-r7	rounds r5 and r3 on the two top edges at a corner, the r3 with its tangent chain, then a round on the vertical edge under them: the r3 chain has rounded that edge, so the pick takes no edge: refused	invariants	pass	0.061	0.061
ladder/07-fillets/012-variable-into-rounded-corner	a vertical r5 round, then a variable round r1 -> r5 along the top back edge into it	analytic	pass	0.081	0.081
ladder/07-fillets/021-corner-three-sequential-r5-r3-r2-partial-chain	rounds r5 and r3 on the two top edges at a corner, the r3 on its edge alone (Tangent chain off, so it ends where the edge runs on into the r5 round's end arc), then r2 on the vertical edge under them, run on up into the corner	invariants	pass	0.092	0.092
ladder/07-fillets/014-curved-edge-r2	an r2 round on the top edge of a cylinder r10 h20	analytic	pass	0.096	0.096
ladder/07-fillets/013-corner-setback	three r5 rounds at the corner (60,40,20) with setbacks of 8 mm along each edge	invariants	pass	0.100	0.100
ladder/07-fillets/020-corner-three-sequential-r5-r3-r7-partial-chain	rounds r5 and r3 on the two top edges at a corner, the r3 on its edge alone (Tangent chain off, so it ends where the edge runs on into the r5 round's end arc), then r7 on the vertical edge under them: refused, the r7 cannot exist	invariants	pass	0.144	0.144
ladder/07-fillets/003-tangent-chain-r3	an r3 round all round the top of the box with r5 vertical rounds: a tangent chain of lines and arcs	analytic	pass	0.198	0.198
ladder/07-fillets/017-part-rounds	the running part: r5 on the front vertical edges, r3 on the back wall's top front edge, r1 where the boss meets the top	analytic	pass	0.971	0.971
ladder/07-fillets/019-concave-corner-g2-patch	three concave r5 rounds at the inner corner of a 20x20x10 notch, with the g2 corner patch	invariants	pass	4.951	4.951
ladder/07-fillets/015-corner-g2-patch	three r5 rounds at a corner with the g2 corner patch	invariants	pass	5.633	5.633
ladder/08-chamfers/003-distance-angle-5-30	a chamfer 5 mm at 30 deg on the top front edge	analytic	pass	0.011	0.011
ladder/08-chamfers/001-equal-5	a 5 mm chamfer on the top front edge	analytic	pass	0.011	0.011
ladder/08-chamfers/002-two-distances-5-3	a 5 x 3 chamfer on the top front edge	analytic	pass	0.019	0.019
ladder/08-chamfers/005-corner-two-mitred-3	3 mm chamfers on two top edges meeting at a corner (mitred)	analytic	pass	0.025	0.025
ladder/08-chamfers/004-corner-three-equal-3	3 mm chamfers on the three edges meeting at a corner	analytic	pass	0.030	0.030
ladder/08-chamfers/007-chamfer-then-fillets	a 3 mm chamfer on the top front edge, then r2 rounds on the front vertical edges that meet it	analytic	pass	0.047	0.047
ladder/08-chamfers/006-curved-edge-2	a 2 mm chamfer on the top edge of a cylinder r10 h20	analytic	pass	0.090	0.090
ladder/08-chamfers/008-part-chamfers	the running part: 1 mm on the boss top edge, 2 mm on the back wall's top back edge	analytic	pass	1.308	1.308
ladder/09-shells-and-offsets/004-thin-wall-0.2	the stock shelled 0.2 mm, open at the top	analytic	pass	0.015	0.015
ladder/09-shells-and-offsets/007-offset-top-face-5	the stock's top face offset 5 mm	analytic	pass	0.026	0.026
ladder/09-shells-and-offsets/001-box-open-top-t2	the stock shelled 2 mm, open at the top	analytic	pass	0.028	0.028
ladder/09-shells-and-offsets/003-tube-two-open-faces	the stock shelled 2 mm, open top and bottom	analytic	pass	0.029	0.029
ladder/09-shells-and-offsets/012-closed-shell-sealed-void	the stock shelled 2 mm with no face open: a closed body with a sealed void	analytic	pass	0.029	0.029
ladder/09-shells-and-offsets/009-shell-outside-t2	the stock shelled 2 mm outward, open at the top	analytic	pass	0.044	0.044
ladder/09-shells-and-offsets/006-shell-rounds-r1-thinner-than-t2	the box with r1 vertical rounds shelled 2 mm: the inner corners close sharp	analytic	pass	0.085	0.085
ladder/09-shells-and-offsets/008-offset-cylinder-wall-2	a cylinder r10 h20 with its side face offset 2 mm	analytic	pass	0.101	0.101
ladder/09-shells-and-offsets/002-cylinder-open-top-t1	a cylinder r10 h30 shelled 1 mm, open at the top	analytic	pass	0.114	0.114
ladder/09-shells-and-offsets/013-dome-shelled-from-base	a dome r20 shelled 2 mm, open at its flat base: the rim is the circle r18 where the inner sphere meets the base plane	analytic	pass	0.157	0.157
ladder/09-shells-and-offsets/014-drafted-box-with-rounds-shelled	a 120x80x40 box drafted 5 degrees with 4 mm rounds on the sloping corners, shelled 2 mm open at the top: the inner rounds' edges must lie on their faces (#3573 reports the same design)	analytic	pass	0.163	0.163
ladder/09-shells-and-offsets/005-shell-rounds-r5-t2	the box with r5 vertical rounds shelled 2 mm open at the top: the inner corners r3	analytic	pass	0.164	0.164
ladder/09-shells-and-offsets/010-shell-under-rounded-top	the stock with r3 rounds on its four top edges, shelled 2 mm open at the bottom	analytic	pass	0.180	0.180
ladder/09-shells-and-offsets/015-shelled-dome-ring-joined-back	a dome (a quarter disc r20 revolved) shelled 2 mm from its flat base, then the base ring (r 18..20) face-extruded 10 mm back into the dome as a join: ~120 s, then 'boolean Union: no result'	analytic	pass	0.822	0.822
ladder/09-shells-and-offsets/011-part-shell	the running part shelled 1.5 mm open at the bottom	analytic	pass	2.091	2.091
ladder/10-patterns-and-mirrors/007-pattern-bodies	a pin r3 h10 patterned 4 times at 10 mm as bodies	analytic	pass	0.051	0.051
ladder/10-patterns-and-mirrors/004-mirror-body-joined	a 30x40x20 half with a d10 hole mirrored about x=30 and joined: the faces at x=30 coincide	analytic	pass	0.103	0.103
ladder/10-patterns-and-mirrors/005-mirror-feature	a d10 hole in the stock mirrored about x=30 as a feature	analytic	pass	0.106	0.106
ladder/10-patterns-and-mirrors/001-rect-pattern-holes	a d5 hole patterned 3 x 2 at 20 mm in a 60x40x10 plate	analytic	pass	0.257	0.257
ladder/10-patterns-and-mirrors/003-overlapping-pattern-leaves-core	six r5 cuts patterned round a circle r6 in a disk r20: they overlap and cut a core free	analytic	pass	0.291	0.291
ladder/10-patterns-and-mirrors/002-circular-pattern-holes	a d6 hole patterned 8 times round a disk r30 h10	analytic	pass	0.467	0.467
ladder/10-patterns-and-mirrors/006-circular-pattern-counterbores	a counterbored hole (d5, d9 x 3) patterned 6 times round a disk r30 h10	analytic	pass	0.632	0.632
ladder/10-patterns-and-mirrors/008-part-vents	the running part with a d3 vent hole in its top patterned 4 times at 5 mm	analytic	pass	3.010	3.010
ladder/11-cumulative-parts/001-bracket	an L bracket: concave r5 round, 5 mm outer chamfer, a hole in each leg	analytic	pass	0.143	0.143
ladder/11-cumulative-parts/002-flange	a revolved flange and hub with a bore, six bolt holes, a hub chamfer and a hub-root round	analytic	pass	1.040	1.040
ladder/11-cumulative-parts/003-threaded-flange	the flange with a modelled M30 thread on its hub, between the round and the chamfer, and M8 tapped holes in the disk	analytic	pass	3.758	3.758
ladder/11-cumulative-parts/004-housing	the running part with every tier: back wall, boss, slot, spline window, tapped holes, rounds, chamfers, shell, vents, and a modelled M16 thread on the boss	analytic	pass	4.129	4.129
ladder/12-sheet-metal/001-base-flange	a 100 x 60 base flange, 2 mm sheet	analytic	pass	0.003	0.003
ladder/12-sheet-metal/002-edge-flange-90	a 20 mm 90 deg edge flange along the base's front edge	analytic	pass	0.006	0.006
ladder/12-sheet-metal/010-fold-90	001's base folded 90 deg up along a sketch line across it at x = 70	analytic	pass	0.006	0.006
ladder/12-sheet-metal/009-hem-on-the-back-edge	002's L with an 8 mm hem on the base's back edge, folded under it with a 1 mm inner radius	analytic	pass	0.007	0.007
ladder/12-sheet-metal/007-corner-relief-rectangular	003's tray with a rectangular corner relief 4 mm across at each corner	analytic	pass	0.010	0.010
ladder/12-sheet-metal/006-corner-relief-round	003's tray with a round corner relief 4 mm across at each corner	analytic	pass	0.010	0.010
ladder/12-sheet-metal/011-fold-unfolded	010's fold unfolded: the flat 100 x 60 plate again	analytic	pass	0.016	0.016
ladder/12-sheet-metal/004-four-flanges-72-leaning-out	20 mm flanges at 72 deg on all four edges, made together and closed at the corners, leaning out: the panel ends run on along a slant	analytic	pass	0.016	0.016
ladder/12-sheet-metal/003-four-flanges-90-closed-corners	20 mm 90 deg flanges on all four edges, made together: the corners close with the rule's gap, notch relief	analytic	pass	0.016	0.016
ladder/12-sheet-metal/005-four-flanges-108-leaning-in	20 mm flanges at 108 deg on all four edges, made together and closed at the corners, leaning in over the base: the panel ends are cut back along a slant where they would overlap	analytic	pass	0.016	0.016
ladder/12-sheet-metal/012-fold-refolded	011's flat refolded: 010's part again	analytic	pass	0.018	0.018
ladder/12-sheet-metal/013-flat-pattern	the flat pattern of 003's tray: its outline's size and area, and its four bend lines	analytic	pass	0.041	0.041
ladder/12-sheet-metal/008-corner-relief-tear	003's tray with torn corners: the bends run to the corner and each end is cut straight, in the flat, to where its panel's end starts	analytic	pass	0.079	0.079
ladder/12-sheet-metal/014-bracket	a bracket: a 30 mm flange on the front edge, a 10 mm lip turned out on its far edge, a d10 hole through the base	analytic	pass	0.133	0.133