Generated by running cargo bench --bench predicates --features dispatch-trace -- --write-dispatch-trace-md. Each row is sampled outside Criterion's measured loop. Use a non-tracing benchmark build for timing comparisons; the trace feature intentionally compiles diagnostic hooks into hyperlimit and hyperreal.
| Benchmark Row | Dispatch | Predicate | Linear Algebra | Object Facts | Scalar Facts | Detailed Facts | Unknown Facts | Rational Kinds | Sign/Zero Queries | Exact Reducers | Approximation | Approx Starts | Approx Cache | Refinement | Predicate Stages | Cache | Fallback/Abort | Rational Temps | Rational Reductions | Rational GCDs |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
classify_point_line/hyperreal/easy |
512 | 512 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 512 | 0 | 0 | 0 | 0 | 0 |
classify_point_line/hyperreal/near_degenerate |
512 | 512 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 512 | 0 | 0 | 0 | 0 | 0 |
classify_point_line_fixed/hyperreal/easy |
512 | 512 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 512 | 0 | 0 | 0 | 0 | 0 |
classify_point_line_fixed/hyperreal/near_degenerate |
512 | 512 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 512 | 0 | 0 | 0 | 0 | 0 |
classify_point_line_fixed/hyperreal_prepared/easy |
512 | 512 | 0 | 512 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 512 | 512 | 0 | 0 | 0 | 0 |
classify_point_line_fixed/hyperreal_prepared/near_degenerate |
512 | 512 | 0 | 512 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 512 | 512 | 0 | 0 | 0 | 0 |
classify_point_oriented_plane/hyperreal/easy |
1024 | 1024 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 512 | 0 | 0 | 0 | 0 | 0 |
classify_point_oriented_plane/hyperreal/near_degenerate |
1024 | 1024 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 512 | 0 | 0 | 0 | 0 | 0 |
classify_point_oriented_plane/hyperreal_prepared/easy |
512 | 512 | 0 | 512 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 512 | 512 | 0 | 0 | 0 | 0 |
classify_point_oriented_plane/hyperreal_prepared/near_degenerate |
512 | 512 | 0 | 512 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 512 | 512 | 0 | 0 | 0 | 0 |
classify_point_plane/hyperreal/easy |
512 | 512 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 512 | 0 | 0 | 0 | 0 | 0 |
classify_point_plane/hyperreal/near_degenerate |
512 | 512 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 512 | 0 | 0 | 0 | 0 | 0 |
classify_point_plane/hyperreal_prepared/easy |
512 | 512 | 0 | 512 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 512 | 512 | 0 | 0 | 0 | 0 |
classify_point_plane/hyperreal_prepared/near_degenerate |
512 | 512 | 0 | 512 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 512 | 512 | 0 | 0 | 0 | 0 |
hypermesh_port_helpers/triangle_triangle3/noncoplanar_report_replay |
1278 | 488 | 0 | 32 | 212 | 24 | 0 | 104 | 198 | 668 | 0 | 0 | 0 | 0 | 64 | 98 | 0 | 454 | 0 | 0 |
incircle2d/hyperreal/easy |
512 | 512 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 512 | 0 | 0 | 0 | 0 | 0 |
incircle2d/hyperreal/near_degenerate |
512 | 512 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 512 | 0 | 0 | 0 | 0 | 0 |
incircle2d/hyperreal_prepared/easy |
512 | 512 | 0 | 512 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 512 | 512 | 0 | 0 | 0 | 0 |
incircle2d/hyperreal_prepared/near_degenerate |
512 | 512 | 0 | 512 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 512 | 512 | 0 | 0 | 0 | 0 |
insphere3d/hyperreal/easy |
512 | 512 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 512 | 0 | 0 | 0 | 0 | 0 |
insphere3d/hyperreal/near_degenerate |
512 | 512 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 512 | 0 | 0 | 0 | 0 | 0 |
insphere3d/hyperreal_prepared/easy |
512 | 512 | 0 | 512 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 512 | 512 | 0 | 0 | 0 | 0 |
insphere3d/hyperreal_prepared/near_degenerate |
512 | 512 | 0 | 512 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 512 | 512 | 0 | 0 | 0 | 0 |
orient2d/hyperreal/easy |
512 | 512 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 512 | 0 | 0 | 0 | 0 | 0 |
orient2d/hyperreal/near_degenerate |
512 | 512 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 512 | 0 | 0 | 0 | 0 | 0 |
orient3d/hyperreal/easy |
512 | 512 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 512 | 0 | 0 | 0 | 0 | 0 |
orient3d/hyperreal/near_degenerate |
512 | 512 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 512 | 0 | 0 | 0 | 0 | 0 |
transformed_predicates/classify_point_line/prepared_exact_rational_affine |
512 | 512 | 0 | 512 | 0 | 0 | 0 | 0 | 0 | 512 | 0 | 0 | 0 | 0 | 512 | 512 | 0 | 0 | 0 | 0 |
transformed_predicates/classify_point_oriented_plane/prepared_exact_rational_affine |
512 | 512 | 0 | 512 | 0 | 0 | 0 | 0 | 0 | 512 | 0 | 0 | 0 | 0 | 512 | 512 | 0 | 0 | 0 | 0 |
transformed_predicates/incircle2d/exact_rational_affine |
16668 | 512 | 0 | 0 | 0 | 0 | 0 | 512 | 59 | 16668 | 0 | 0 | 0 | 0 | 512 | 0 | 0 | 628 | 0 | 0 |
transformed_predicates/incircle2d/prepared_exact_rational_affine |
16668 | 512 | 0 | 0 | 0 | 0 | 0 | 512 | 59 | 16668 | 0 | 0 | 0 | 0 | 512 | 0 | 0 | 628 | 0 | 0 |
transformed_predicates/orient2d/exact_rational_affine |
5632 | 512 | 0 | 0 | 0 | 0 | 0 | 512 | 33 | 5632 | 0 | 0 | 0 | 0 | 512 | 73 | 0 | 616 | 0 | 0 |
| Benchmark Row | Layer | Operation | Path | Count |
|---|---|---|---|---|
classify_point_line/hyperreal/easy |
hyperlimit |
orient2d |
certified-real-det2-filter |
512 |
classify_point_line/hyperreal/near_degenerate |
hyperlimit |
orient2d |
certified-real-det2-filter |
512 |
classify_point_line_fixed/hyperreal/easy |
hyperlimit |
orient2d |
certified-real-det2-filter |
512 |
classify_point_line_fixed/hyperreal/near_degenerate |
hyperlimit |
orient2d |
certified-real-det2-filter |
512 |
classify_point_line_fixed/hyperreal_prepared/easy |
hyperlimit |
prepared_line2 |
certified-real-det2-filter |
512 |
classify_point_line_fixed/hyperreal_prepared/near_degenerate |
hyperlimit |
prepared_line2 |
certified-real-det2-filter |
512 |
classify_point_oriented_plane/hyperreal/easy |
hyperlimit |
classify_point_oriented_plane |
orient3d |
512 |
classify_point_oriented_plane/hyperreal/easy |
hyperlimit |
orient3d |
certified-real-det3-filter |
512 |
classify_point_oriented_plane/hyperreal/near_degenerate |
hyperlimit |
classify_point_oriented_plane |
orient3d |
512 |
classify_point_oriented_plane/hyperreal/near_degenerate |
hyperlimit |
orient3d |
certified-real-det3-filter |
512 |
classify_point_oriented_plane/hyperreal_prepared/easy |
hyperlimit |
prepared_oriented_plane3 |
certified-real-det3-filter |
512 |
classify_point_oriented_plane/hyperreal_prepared/near_degenerate |
hyperlimit |
prepared_oriented_plane3 |
certified-real-det3-filter |
512 |
classify_point_plane/hyperreal/easy |
hyperlimit |
classify_point_plane |
certified-linear-form3-filter |
512 |
classify_point_plane/hyperreal/near_degenerate |
hyperlimit |
classify_point_plane |
certified-linear-form3-filter |
512 |
classify_point_plane/hyperreal_prepared/easy |
hyperlimit |
classify_point_plane |
prepared-certified-linear-form3-filter |
512 |
classify_point_plane/hyperreal_prepared/near_degenerate |
hyperlimit |
classify_point_plane |
prepared-certified-linear-form3-filter |
512 |
hypermesh_port_helpers/triangle_triangle3/noncoplanar_report_replay |
hyperlimit |
decide_real_sign |
known-sign |
24 |
hypermesh_port_helpers/triangle_triangle3/noncoplanar_report_replay |
hyperlimit |
exact_orient2d |
rational-det2 |
2 |
hypermesh_port_helpers/triangle_triangle3/noncoplanar_report_replay |
hyperlimit |
exact_orient3d |
rational-det3 |
4 |
hypermesh_port_helpers/triangle_triangle3/noncoplanar_report_replay |
hyperlimit |
orient2d |
certified-real-det2-filter |
4 |
hypermesh_port_helpers/triangle_triangle3/noncoplanar_report_replay |
hyperlimit |
prepared_oriented_plane3 |
certified-real-det3-filter |
6 |
hypermesh_port_helpers/triangle_triangle3/noncoplanar_report_replay |
hyperlimit |
prepared_oriented_plane3 |
new |
2 |
hypermesh_port_helpers/triangle_triangle3/noncoplanar_report_replay |
hyperlimit |
real |
known-sign |
24 |
hypermesh_port_helpers/triangle_triangle3/noncoplanar_report_replay |
hyperlimit |
real_op |
add-ref |
28 |
hypermesh_port_helpers/triangle_triangle3/noncoplanar_report_replay |
hyperlimit |
real_op |
mul-ref |
174 |
hypermesh_port_helpers/triangle_triangle3/noncoplanar_report_replay |
hyperlimit |
real_op |
sub-ref |
194 |
hypermesh_port_helpers/triangle_triangle3/noncoplanar_report_replay |
hyperlimit |
resolve_real_sign |
structural-real-facts |
24 |
hypermesh_port_helpers/triangle_triangle3/noncoplanar_report_replay |
hyperlimit |
triangle_triangle3 |
plane-edge-composition |
1 |
hypermesh_port_helpers/triangle_triangle3/noncoplanar_report_replay |
hyperlimit |
triangle_triangle3 |
reuse-plane-sides-for-edges |
1 |
hypermesh_port_helpers/triangle_triangle3/noncoplanar_report_replay |
rational |
add |
word-sized |
14 |
hypermesh_port_helpers/triangle_triangle3/noncoplanar_report_replay |
rational |
div |
word-sized |
4 |
hypermesh_port_helpers/triangle_triangle3/noncoplanar_report_replay |
rational |
mul |
word-sized |
56 |
hypermesh_port_helpers/triangle_triangle3/noncoplanar_report_replay |
rational |
product_sum |
all-zero |
4 |
hypermesh_port_helpers/triangle_triangle3/noncoplanar_report_replay |
rational |
product_sum |
word-sized |
6 |
hypermesh_port_helpers/triangle_triangle3/noncoplanar_report_replay |
rational |
sub |
word-sized |
16 |
hypermesh_port_helpers/triangle_triangle3/noncoplanar_report_replay |
rational |
word-result |
cached-small-integer |
88 |
hypermesh_port_helpers/triangle_triangle3/noncoplanar_report_replay |
rational |
word-result |
uncached-integer-128-255 |
2 |
hypermesh_port_helpers/triangle_triangle3/noncoplanar_report_replay |
rational |
word-result |
zero |
6 |
hypermesh_port_helpers/triangle_triangle3/noncoplanar_report_replay |
real |
constructor |
rational |
368 |
hypermesh_port_helpers/triangle_triangle3/noncoplanar_report_replay |
real |
constructor |
zero |
104 |
hypermesh_port_helpers/triangle_triangle3/noncoplanar_report_replay |
real |
definitely_one |
identity-facts |
6 |
hypermesh_port_helpers/triangle_triangle3/noncoplanar_report_replay |
real |
detailed_facts |
exact-rational |
20 |
hypermesh_port_helpers/triangle_triangle3/noncoplanar_report_replay |
real |
div |
same-class |
6 |
hypermesh_port_helpers/triangle_triangle3/noncoplanar_report_replay |
real |
div |
zero |
6 |
hypermesh_port_helpers/triangle_triangle3/noncoplanar_report_replay |
real |
exact_set_facts |
scan |
4 |
hypermesh_port_helpers/triangle_triangle3/noncoplanar_report_replay |
real |
product_sum |
exact-rational-shared-denom |
4 |
hypermesh_port_helpers/triangle_triangle3/noncoplanar_report_replay |
real |
product_sum |
fixed-exact-rational |
4 |
hypermesh_port_helpers/triangle_triangle3/noncoplanar_report_replay |
real |
structural_facts |
exact-rational |
66 |
hypermesh_port_helpers/triangle_triangle3/noncoplanar_report_replay |
real |
zero_status |
symbolic-nonzero-scale |
4 |
hypermesh_port_helpers/triangle_triangle3/noncoplanar_report_replay |
real |
zero_status |
zero-scale |
2 |
incircle2d/hyperreal/easy |
hyperlimit |
incircle2d |
certified-real-incircle2d-filter |
512 |
incircle2d/hyperreal/near_degenerate |
hyperlimit |
incircle2d |
certified-real-incircle2d-filter |
512 |
incircle2d/hyperreal_prepared/easy |
hyperlimit |
prepared_incircle2 |
certified-real-incircle2d-filter |
512 |
incircle2d/hyperreal_prepared/near_degenerate |
hyperlimit |
prepared_incircle2 |
certified-real-incircle2d-filter |
512 |
insphere3d/hyperreal/easy |
hyperlimit |
insphere3d |
certified-real-insphere3d-filter |
512 |
insphere3d/hyperreal/near_degenerate |
hyperlimit |
insphere3d |
certified-real-insphere3d-filter |
512 |
insphere3d/hyperreal_prepared/easy |
hyperlimit |
prepared_insphere3 |
certified-real-insphere3d-filter |
512 |
insphere3d/hyperreal_prepared/near_degenerate |
hyperlimit |
prepared_insphere3 |
certified-real-insphere3d-filter |
512 |
orient2d/hyperreal/easy |
hyperlimit |
orient2d |
certified-real-det2-filter |
512 |
orient2d/hyperreal/near_degenerate |
hyperlimit |
orient2d |
certified-real-det2-filter |
512 |
orient3d/hyperreal/easy |
hyperlimit |
orient3d |
certified-real-det3-filter |
512 |
orient3d/hyperreal/near_degenerate |
hyperlimit |
orient3d |
certified-real-det3-filter |
512 |
transformed_predicates/classify_point_line/prepared_exact_rational_affine |
hyperlimit |
prepared_line2 |
exact-word-homogeneous-det2 |
512 |
transformed_predicates/classify_point_oriented_plane/prepared_exact_rational_affine |
hyperlimit |
prepared_oriented_plane3 |
exact-word-homogeneous-det3 |
512 |
transformed_predicates/incircle2d/exact_rational_affine |
hyperlimit |
exact_incircle2d |
rational-det3-lifted |
512 |
transformed_predicates/incircle2d/exact_rational_affine |
rational |
add |
word-sized |
1479 |
transformed_predicates/incircle2d/exact_rational_affine |
rational |
mul |
word-sized |
3015 |
transformed_predicates/incircle2d/exact_rational_affine |
rational |
product_sum |
word-sized |
512 |
transformed_predicates/incircle2d/exact_rational_affine |
rational |
sub |
word-sized |
3072 |
transformed_predicates/incircle2d/exact_rational_affine |
rational |
word-result |
small-general-fraction |
8019 |
transformed_predicates/incircle2d/exact_rational_affine |
rational |
word-result |
zero |
59 |
transformed_predicates/incircle2d/prepared_exact_rational_affine |
hyperlimit |
exact_incircle2d |
rational-det3-lifted |
512 |
transformed_predicates/incircle2d/prepared_exact_rational_affine |
rational |
add |
word-sized |
1479 |
transformed_predicates/incircle2d/prepared_exact_rational_affine |
rational |
mul |
word-sized |
3015 |
transformed_predicates/incircle2d/prepared_exact_rational_affine |
rational |
product_sum |
word-sized |
512 |
transformed_predicates/incircle2d/prepared_exact_rational_affine |
rational |
sub |
word-sized |
3072 |
transformed_predicates/incircle2d/prepared_exact_rational_affine |
rational |
word-result |
small-general-fraction |
8019 |
transformed_predicates/incircle2d/prepared_exact_rational_affine |
rational |
word-result |
zero |
59 |
transformed_predicates/orient2d/exact_rational_affine |
hyperlimit |
exact_orient2d |
rational-det2 |
512 |
transformed_predicates/orient2d/exact_rational_affine |
rational |
product_sum |
word-sized |
512 |
transformed_predicates/orient2d/exact_rational_affine |
rational |
sub |
word-sized |
2048 |
transformed_predicates/orient2d/exact_rational_affine |
rational |
word-result |
cached-small-integer |
71 |
transformed_predicates/orient2d/exact_rational_affine |
rational |
word-result |
small-general-fraction |
2454 |
transformed_predicates/orient2d/exact_rational_affine |
rational |
word-result |
uncached-integer-256-1023 |
1 |
transformed_predicates/orient2d/exact_rational_affine |
rational |
word-result |
uncached-integer-65-127 |
1 |
transformed_predicates/orient2d/exact_rational_affine |
rational |
word-result |
zero |
33 |
| Benchmark Row | Layer | Operation | Count |
|---|---|---|---|
classify_point_line/hyperreal/easy |
hyperlimit |
orient2d |
512 |
classify_point_line/hyperreal/near_degenerate |
hyperlimit |
orient2d |
512 |
classify_point_line_fixed/hyperreal/easy |
hyperlimit |
orient2d |
512 |
classify_point_line_fixed/hyperreal/near_degenerate |
hyperlimit |
orient2d |
512 |
classify_point_line_fixed/hyperreal_prepared/easy |
hyperlimit |
prepared_line2 |
512 |
classify_point_line_fixed/hyperreal_prepared/near_degenerate |
hyperlimit |
prepared_line2 |
512 |
classify_point_oriented_plane/hyperreal/easy |
hyperlimit |
classify_point_oriented_plane |
512 |
classify_point_oriented_plane/hyperreal/easy |
hyperlimit |
orient3d |
512 |
classify_point_oriented_plane/hyperreal/near_degenerate |
hyperlimit |
classify_point_oriented_plane |
512 |
classify_point_oriented_plane/hyperreal/near_degenerate |
hyperlimit |
orient3d |
512 |
classify_point_oriented_plane/hyperreal_prepared/easy |
hyperlimit |
prepared_oriented_plane3 |
512 |
classify_point_oriented_plane/hyperreal_prepared/near_degenerate |
hyperlimit |
prepared_oriented_plane3 |
512 |
classify_point_plane/hyperreal/easy |
hyperlimit |
classify_point_plane |
512 |
classify_point_plane/hyperreal/near_degenerate |
hyperlimit |
classify_point_plane |
512 |
classify_point_plane/hyperreal_prepared/easy |
hyperlimit |
classify_point_plane |
512 |
classify_point_plane/hyperreal_prepared/near_degenerate |
hyperlimit |
classify_point_plane |
512 |
hypermesh_port_helpers/triangle_triangle3/noncoplanar_report_replay |
hyperlimit |
decide_real_sign |
24 |
hypermesh_port_helpers/triangle_triangle3/noncoplanar_report_replay |
hyperlimit |
exact_orient2d |
2 |
hypermesh_port_helpers/triangle_triangle3/noncoplanar_report_replay |
hyperlimit |
exact_orient3d |
4 |
hypermesh_port_helpers/triangle_triangle3/noncoplanar_report_replay |
hyperlimit |
orient2d |
4 |
hypermesh_port_helpers/triangle_triangle3/noncoplanar_report_replay |
hyperlimit |
prepared_oriented_plane3 |
8 |
hypermesh_port_helpers/triangle_triangle3/noncoplanar_report_replay |
hyperlimit |
real |
24 |
hypermesh_port_helpers/triangle_triangle3/noncoplanar_report_replay |
hyperlimit |
real_op |
396 |
hypermesh_port_helpers/triangle_triangle3/noncoplanar_report_replay |
hyperlimit |
resolve_real_sign |
24 |
hypermesh_port_helpers/triangle_triangle3/noncoplanar_report_replay |
hyperlimit |
triangle_triangle3 |
2 |
hypermesh_port_helpers/triangle_triangle3/noncoplanar_report_replay |
rational |
add |
14 |
hypermesh_port_helpers/triangle_triangle3/noncoplanar_report_replay |
rational |
div |
4 |
hypermesh_port_helpers/triangle_triangle3/noncoplanar_report_replay |
rational |
mul |
56 |
hypermesh_port_helpers/triangle_triangle3/noncoplanar_report_replay |
rational |
product_sum |
10 |
hypermesh_port_helpers/triangle_triangle3/noncoplanar_report_replay |
rational |
sub |
16 |
hypermesh_port_helpers/triangle_triangle3/noncoplanar_report_replay |
rational |
word-result |
96 |
hypermesh_port_helpers/triangle_triangle3/noncoplanar_report_replay |
real |
constructor |
472 |
hypermesh_port_helpers/triangle_triangle3/noncoplanar_report_replay |
real |
definitely_one |
6 |
hypermesh_port_helpers/triangle_triangle3/noncoplanar_report_replay |
real |
detailed_facts |
20 |
hypermesh_port_helpers/triangle_triangle3/noncoplanar_report_replay |
real |
div |
12 |
hypermesh_port_helpers/triangle_triangle3/noncoplanar_report_replay |
real |
exact_set_facts |
4 |
hypermesh_port_helpers/triangle_triangle3/noncoplanar_report_replay |
real |
product_sum |
8 |
hypermesh_port_helpers/triangle_triangle3/noncoplanar_report_replay |
real |
structural_facts |
66 |
hypermesh_port_helpers/triangle_triangle3/noncoplanar_report_replay |
real |
zero_status |
6 |
incircle2d/hyperreal/easy |
hyperlimit |
incircle2d |
512 |
incircle2d/hyperreal/near_degenerate |
hyperlimit |
incircle2d |
512 |
incircle2d/hyperreal_prepared/easy |
hyperlimit |
prepared_incircle2 |
512 |
incircle2d/hyperreal_prepared/near_degenerate |
hyperlimit |
prepared_incircle2 |
512 |
insphere3d/hyperreal/easy |
hyperlimit |
insphere3d |
512 |
insphere3d/hyperreal/near_degenerate |
hyperlimit |
insphere3d |
512 |
insphere3d/hyperreal_prepared/easy |
hyperlimit |
prepared_insphere3 |
512 |
insphere3d/hyperreal_prepared/near_degenerate |
hyperlimit |
prepared_insphere3 |
512 |
orient2d/hyperreal/easy |
hyperlimit |
orient2d |
512 |
orient2d/hyperreal/near_degenerate |
hyperlimit |
orient2d |
512 |
orient3d/hyperreal/easy |
hyperlimit |
orient3d |
512 |
orient3d/hyperreal/near_degenerate |
hyperlimit |
orient3d |
512 |
transformed_predicates/classify_point_line/prepared_exact_rational_affine |
hyperlimit |
prepared_line2 |
512 |
transformed_predicates/classify_point_oriented_plane/prepared_exact_rational_affine |
hyperlimit |
prepared_oriented_plane3 |
512 |
transformed_predicates/incircle2d/exact_rational_affine |
hyperlimit |
exact_incircle2d |
512 |
transformed_predicates/incircle2d/exact_rational_affine |
rational |
add |
1479 |
transformed_predicates/incircle2d/exact_rational_affine |
rational |
mul |
3015 |
transformed_predicates/incircle2d/exact_rational_affine |
rational |
product_sum |
512 |
transformed_predicates/incircle2d/exact_rational_affine |
rational |
sub |
3072 |
transformed_predicates/incircle2d/exact_rational_affine |
rational |
word-result |
8078 |
transformed_predicates/incircle2d/prepared_exact_rational_affine |
hyperlimit |
exact_incircle2d |
512 |
transformed_predicates/incircle2d/prepared_exact_rational_affine |
rational |
add |
1479 |
transformed_predicates/incircle2d/prepared_exact_rational_affine |
rational |
mul |
3015 |
transformed_predicates/incircle2d/prepared_exact_rational_affine |
rational |
product_sum |
512 |
transformed_predicates/incircle2d/prepared_exact_rational_affine |
rational |
sub |
3072 |
transformed_predicates/incircle2d/prepared_exact_rational_affine |
rational |
word-result |
8078 |
transformed_predicates/orient2d/exact_rational_affine |
hyperlimit |
exact_orient2d |
512 |
transformed_predicates/orient2d/exact_rational_affine |
rational |
product_sum |
512 |
transformed_predicates/orient2d/exact_rational_affine |
rational |
sub |
2048 |
transformed_predicates/orient2d/exact_rational_affine |
rational |
word-result |
2560 |
| Benchmark Row | Temporaries | Reductions | GCDs | Peak Operand Bits |
|---|---|---|---|---|
classify_point_line/hyperreal/easy |
0 | 0 | 0 | 0 |
classify_point_line/hyperreal/near_degenerate |
0 | 0 | 0 | 0 |
classify_point_line_fixed/hyperreal/easy |
0 | 0 | 0 | 0 |
classify_point_line_fixed/hyperreal/near_degenerate |
0 | 0 | 0 | 0 |
classify_point_line_fixed/hyperreal_prepared/easy |
0 | 0 | 0 | 0 |
classify_point_line_fixed/hyperreal_prepared/near_degenerate |
0 | 0 | 0 | 0 |
classify_point_oriented_plane/hyperreal/easy |
0 | 0 | 0 | 0 |
classify_point_oriented_plane/hyperreal/near_degenerate |
0 | 0 | 0 | 0 |
classify_point_oriented_plane/hyperreal_prepared/easy |
0 | 0 | 0 | 0 |
classify_point_oriented_plane/hyperreal_prepared/near_degenerate |
0 | 0 | 0 | 0 |
classify_point_plane/hyperreal/easy |
0 | 0 | 0 | 0 |
classify_point_plane/hyperreal/near_degenerate |
0 | 0 | 0 | 0 |
classify_point_plane/hyperreal_prepared/easy |
0 | 0 | 0 | 0 |
classify_point_plane/hyperreal_prepared/near_degenerate |
0 | 0 | 0 | 0 |
hypermesh_port_helpers/triangle_triangle3/noncoplanar_report_replay |
454 | 0 | 0 | 0 |
incircle2d/hyperreal/easy |
0 | 0 | 0 | 0 |
incircle2d/hyperreal/near_degenerate |
0 | 0 | 0 | 0 |
incircle2d/hyperreal_prepared/easy |
0 | 0 | 0 | 0 |
incircle2d/hyperreal_prepared/near_degenerate |
0 | 0 | 0 | 0 |
insphere3d/hyperreal/easy |
0 | 0 | 0 | 0 |
insphere3d/hyperreal/near_degenerate |
0 | 0 | 0 | 0 |
insphere3d/hyperreal_prepared/easy |
0 | 0 | 0 | 0 |
insphere3d/hyperreal_prepared/near_degenerate |
0 | 0 | 0 | 0 |
orient2d/hyperreal/easy |
0 | 0 | 0 | 0 |
orient2d/hyperreal/near_degenerate |
0 | 0 | 0 | 0 |
orient3d/hyperreal/easy |
0 | 0 | 0 | 0 |
orient3d/hyperreal/near_degenerate |
0 | 0 | 0 | 0 |
transformed_predicates/classify_point_line/prepared_exact_rational_affine |
0 | 0 | 0 | 0 |
transformed_predicates/classify_point_oriented_plane/prepared_exact_rational_affine |
0 | 0 | 0 | 0 |
transformed_predicates/incircle2d/exact_rational_affine |
628 | 0 | 0 | 0 |
transformed_predicates/incircle2d/prepared_exact_rational_affine |
628 | 0 | 0 | 0 |
transformed_predicates/orient2d/exact_rational_affine |
616 | 0 | 0 | 0 |