Comparison benchmark for GeoGebra 20211228183133

on 2021-12-28 19:44 at kovzol-HP-Pavilion-Gaming-Desktop-690-00xx, AMD Ryzen 7 2700 Eight-Core Processor

Introduction

The following table shows benchmarking results of various tests for the WASM based engine in the web version of GeoGebra.

Explanation of the used colors:

Based on the output results the number of positive tests is shown at the bottom of the table.

Timeout was set to 60 seconds.

Test file Classic6
ResultTime (ms)
1.EulerInequality_IsoTriangle-CircumRadius_InRadius.ggb R > ((1/4)) · r

4192
2.EulerInequality_IsoTriangle-CircumRadius_InRadius-unique.ggb

t/o
3.EulerInequality_RightTriangle-CircumRadius_InRadius-unique.ggb R ≥ ((√2+1)) · r

23878
4.EulerInequality_Triangle-unique.ggb

t/o
5.IsoRightTriangle-Bottema1.12a.ggb ((a + b + c)³ (a + b - c) (b + c - a) (c + a - b)) = ((8·√2+12)) · (a² b² c²)

752
6.IsoRightTriangle-Bottema1.12b.ggb ((a + b + c)³ (a + b - c) (b + c - a) (c + a - b)) = ((8·√2+12)) · (a² b² c²)

488
7.IsoRightTriangle-Bottema1.14a.ggb ((a + b + c) a² b² c²) = (1/25·(10·√2+10)) · (a b c(a² b² + b² c² + c² a²))

25
8.IsoRightTriangle-Bottema1.14b.ggb ((a + b + c) a² b² c²) = (1/25·(10·√2+10)) · (a b c(a² b² + b² c² + c² a²))

36
9.IsoRightTriangle-Bottema1.15a.ggb ((a + b + c) ((a + b - c) (c + a - b) + (b + c - a) (a + b - c) + (b + c - a) (c + a - b))) = (4·√2+5) · ((a + b - c) (b + c - a) (c + a - b))

27
10.IsoRightTriangle-Bottema1.15b.ggb ((a + b + c) ((a + b - c) (c + a - b) + (b + c - a) (a + b - c) + (b + c - a) (c + a - b))) = (4·√2+5) · ((a + b - c) (b + c - a) (c + a - b))

34
11.IsoRightTriangle-Bottema1.17a.ggb ((a + b) (b + c) (c + a)) = (1/207·(15·√2+6)) · ((a + b + 3c) (b + c) (c + a) + (b + c + 3a) (a + b) (c + a) + (c + a + 3b) (a + b) (b + c))

28
12.IsoRightTriangle-Bottema1.17b.ggb ((a + b) (b + c) (c + a)) = (1/207·(15·√2+6)) · ((a + b + 3c) (b + c) (c + a) + (b + c + 3a) (a + b) (c + a) + (c + a + 3b) (a + b) (b + c))

39
13.IsoRightTriangle-Bottema1.19a.ggb (2a² + c²) = ((-4·√2+6)) · ((2a + c)²)

280
14.IsoRightTriangle-Bottema1.19b.ggb (2a² + c²) = ((-4·√2+6)) · ((2a + c)²)

270
15.IsoRightTriangle-Bottema1.1a.ggb ((2a + c)²) = (-1/7·(-8·√2-10)) · (a² + 2a c)

18
16.IsoRightTriangle-Bottema1.1b.ggb ((2a + c)²) = (-1/7·(-8·√2-10)) · (a² + 2a c)

22
17.IsoRightTriangle-Bottema1.23a.ggb (a b (a + b) + b c (b + c) + c a (c + a)) = (1/89·(31·√2-26)) · ((a + b + c)³ + 3a b c)

28
18.IsoRightTriangle-Bottema1.23b.ggb (a b(a + b) + b c(b + c) + c a(c + a)) = (1/89·(31·√2-26)) · ((a + b + c)³ + 3a b c)

30
19.IsoRightTriangle-Bottema1.2a.ggb ((a + b + c)² / 4 + 2a b c / (a + b + c)) = (1/64·(48·√2-8)) · (a² + b² + c²)

25
20.IsoRightTriangle-Bottema1.2b.ggb ((a + b + c)² / 4 + 2a b c / (a + b + c)) = (1/64·(48·√2-8)) · (a² + b² + c²)

29
21.IsoRightTriangle-Bottema1.3a.ggb ((a + b - c) (b + c - a) (c + a - b)) = (2·√2-2) · (a b c)

21
22.IsoRightTriangle-Bottema1.3b.ggb ((a + b - c) (b + c - a) (c + a - b)) = (2·√2-2) · (a b c)

31
23.IsoRightTriangle-Bottema1.4a.ggb ((a + b) (b + c) (c + a)) = (3·√2+4) · (a b c)

22
24.IsoRightTriangle-Bottema1.4b.ggb ((a + b) (b + c) (c + a)) = (3·√2+4) · (a b c)

31
25.IsoRightTriangle-Bottema1.5a.ggb (a³ + b³ + c³) = (√2-1) · ((a + b) (b + c) (c + a))

19
26.IsoRightTriangle-Bottema1.5b.ggb (a³ + b³ + c³) = (√2-1) · ((a + b) (b + c) (c + a))

27
27.IsoRightTriangle-Bottema1.6a.ggb (a³ + b³ + c³ + 3a b c) = (1/16·(16·√2-12)) · ((a + b + c) (a² + b² + c²))

23
28.IsoRightTriangle-Bottema1.6b.ggb (a³ + b³ + c³ + 3a b c) = (1/16·(16·√2-12)) · ((a + b + c) (a² + b² + c²))

30
29.IsoRightTriangle-Bottema1.7a.ggb (a b c) = (1/2·√2) · (1 / 2 (a² (b + c - a) + b² (a + c - b) + c² (a + b - c)))

20
30.IsoRightTriangle-Bottema1.7b.ggb (a b c) = (1/2·√2) · (1 / 2 (a² (b + c - a) + b² (a + c - b) + c² (a + b - c)))

29
31.IsoRightTriangle-Bottema1.8a.ggb (a b (a + b) + b c(b + c) + c a(c + a)) = ((1/2·(5·√2+8))) · ((a + b - c) (b + c - a) (c + a - b))

610
32.IsoRightTriangle-Bottema1.8b.ggb (a b (a + b) + b c(b + c) + c a(c + a)) = ((1/2·(5·√2+8))) · ((a + b - c) (b + c - a) (c + a - b))

399
33.IsoRightTriangle-Bottema1.9a.ggb ((a + b + c) a b c) = ((1/14·(5·√2+8))) · (a³ (b + c - a) + b³ (c + a - b) + c³ (a + b - c))

583
34.IsoRightTriangle-Bottema1.9b.ggb ((a + b + c) a b c) = ((1/14·(5·√2+8))) · (a³ (b + c - a) + b³ (c + a - b) + c³ (a + b - c))

399
35.IsoRightTriangle-Bottema11.20b.ggb c = (1/2·√2) · (a + b)

22
36.IsoRightTriangle-Bottema4.2b.ggb ((a + b + c)²) = ((8·√2+12)) · (a b / 2)

1517
37.IsoRightTriangle-Bottema5.3b.ggb p = ((2·√2+2)) · R

1017
38.IsoRightTriangle-Bottema6.1b.ggb sh = ((1/4·(-2·√2+6))) · p

1001
39.IsoRightTriangle-Bottema8.1b.ggb sm = (0.8620359286022) · p

2077
40.IsoTriangle-Area_Perimeter_a.ggb ((a + 2b)²) ≥ ((12·√3)) · (a h_a / 2)

616
41.IsoTriangle-Bottema1.19a.ggb ((1/3)) · ((a + 2c)²) ≤ (a² + 2c²) < ((1/2) · ((a + 2c)²))

398
42.IsoTriangle-Bottema1.19b.ggb ((1/3)) · ((2b + c)²) ≤ (2b² + c²) < ((1/2) · ((2b + c)²))

177
43.IsoTriangle-Bottema1.1a.ggb (3) · (2a c + c²) ≤ ((a + 2c)²) < (4) · (2a c + c²)

451
44.IsoTriangle-Bottema1.1b.ggb (3) · (b² + 2b c) ≤ ((2b + c)²) < (4) · (b² + 2b c)

186
45.IsoTriangle-Bottema11.20a.ggb (2c) ≥ a

436
46.IsoTriangle-Bottema11.20b.ggb (2b) ≥ c

313
47.IsoTriangle-Bottema4.2a.ggb ((a + 2c)²) ≥ ((12·√3)) · (a h_a / 2)

3025
48.IsoTriangle-Bottema4.2b.ggb ((2b + c)²) ≥ ((12·√3)) · (c h_c / 2)

613
49.IsoTriangle-Bottema5.3a.ggb p ≤ ((3·√3) · R)

4384
50.IsoTriangle-Bottema5.3b.ggb p ≤ ((3·√3) · R)

2592
51.IsoTriangle-Bottema6.1a.ggb sh ≤ ((√3/2) · p)

6222
52.IsoTriangle-Bottema6.1b.ggb sh ≤ ((√3/2) · p)

2336
53.IsoTriangle-Bottema8.1a.ggb ((3/4)) · p < sm < p

1690
54.IsoTriangle-Bottema8.1b.ggb ((3/4)) · p < sm < p

734
55.IsoTriangle-Median_Perimeter_a1.ggb ((3/4)) · p < sm < p

744
56.IsoTriangle-Median_Perimeter_a2.ggb (m_a + 2m_b) < (a + 2b) < ((4/3) · (m_a + 2m_b))

844
57.IsoTriangle-Perimeter_CircumRadius_a.ggb R ≥ ((√3/9)) · p

2184
58.IsoTriangle-Perimeter_CircumRadius_b.ggb R ≥ ((√3/9)) · p

8272
59.IsoTriangle-Perimeter_CircumRadius_c.ggb

t/o
60.IsoTriangle-Perimeter_InRadius.ggb

7246
61.KochanskiPiApproximation.ggb q = ((√(2/3·(-3·√3+20)))) · r

635
62.KochanskiPiApproximation-RegDodecagon.ggb

t/o
63.Odom-GoldenRatio-RegTriangle.ggb AS = ((1/2·(√5-1))) · SB or AS = ((1/2·(√5+1))) · SB

1989
64.OposicionsSecundariaCatalunya2018-2.4a.ggb j = (7/2) · k

74
65.OposicionsSecundariaCatalunya2018-2.4b.ggb

t/o
66.PythagoreanGeneralization_Triangle-aa+bb_cc.ggb (a² + b²) > ((1/2)) · (c²)

732
67.RegDecagon-Diagonal_Side.ggb

t/o
68.RegHendecagon-Diagonal_Side.ggb

t/o
69.RegHendecagon-ProductDiagonals_CircumRadius.ggb

t/o
70.RegHeptagon-Diagonal_Side.ggb

t/o
71.RegHexagon-Diagonal_Side.ggb f = (1/3·√3) · l

17
72.RegHexagon-ProductDiagonals_CircumRadius.ggb (b c d e f) = 6 · (r⁵)

74
73.RegNonagon-Diagonal_Side.ggb

t/o
74.RegOctagon-Diagonal_Side.ggb

t/o
75.RegOctagon-ProductDiagonals_CircumRadius.ggb

t/o
76.RegPentagon-Diagonal_Side.ggb k = ((1/2·(√5+1))) · f

9045
77.RegPentagon-SideConnector.ggb f ≤ k ≤ (((√5+1)/2) · f)

23672
78.RegTriangle-Bottema12.7.ggb ((√3)) · c ≤ (i + j + k) < (2) · c

8996
79.RightTriangle-Bottema1.19a.ggb ((-4·√2+6)) · ((a + b + c)²) ≤ (a² + b² + c²) < ((1/2) · ((a + b + c)²))

737
80.RightTriangle-Bottema1.19b.ggb ((-4·√2+6)) · ((a + b + c)²) ≤ (a² + b² + c²) < ((1/2) · ((a + b + c)²))

333
81.RightTriangle-Bottema1.1a.ggb (((8·√2+10)/7)) · (a b + b c + c a) ≤ ((a + b + c)²) < (4) · (a b + b c + c a)

1177
82.RightTriangle-Bottema1.1b.ggb (((8·√2+10)/7)) · (a b + b c + c a) ≤ ((a + b + c)²) < (4) · (a b + b c + c a)

758
83.RightTriangle-Bottema11.20.ggb c < (a + b) ≤ ((√2) · c)

527
84.RightTriangle-Bottema11.20a.ggb c < (a + b) ≤ ((√2) · c)

948
85.RightTriangle-Bottema11.20b.ggb c < (a + b) ≤ ((√2) · c)

537
86.RightTriangle-Bottema11.22a.ggb

t/o
87.RightTriangle-Bottema11.22b.ggb ((√2-1)) · h ≤ r < ((1/2) · h)

23452
88.RightTriangle-Bottema4.2a.ggb ((a + b + c)²) ≥ ((8·√2+12)) · (a b / 2)

1191
89.RightTriangle-Bottema4.2b.ggb ((a + b + c)²) ≥ ((8·√2+12)) · (a b / 2)

814
90.RightTriangle-Bottema5.3a.ggb (4) · R < p ≤ ((2·√2+2) · R)

1705
91.RightTriangle-Bottema5.3b.ggb (4) · R < p ≤ ((2·√2+2) · R)

1232
92.RightTriangle-Bottema6.1a.ggb ((1/2)) · p < sh ≤ (((-√2+3)/2) · p)

3117
93.RightTriangle-Bottema6.1b.ggb ((1/2)) · p < sh ≤ (((-√2+3)/2) · p)

2210
94.RightTriangle-Bottema8.1a.ggb

t/o
95.RightTriangle-Bottema8.1b.ggb

t/o
96.Square-Diagonal_Side.ggb a = (1/2·√2) · b

8
97.Square-RegPentagon.ggb p = ((√(-√(1/2·(√5+5))+2))) · f

6886
98.Triangle-2Sides_Medians_a.ggb

t/o
99.Triangle-Area_Perimeter_a.ggb

t/o
100.Triangle-Bottema1.1.ggb (3) · (a b + b c + c a) ≤ ((a + b + c)²) < (4) · (a b + b c + c a)

1541
101.Triangle-Bottema1.12.ggb ((a + b + c)³ (a + b - c) (b + c - a) (c + a - b)) ≤ (27) · (a² b² c²)

1157
102.Triangle-Bottema1.14.ggb

t/o
103.Triangle-Bottema1.15.ggb ((a + b + c) ((a + b - c) (c + a - b) + (b + c - a) (a + b - c) + (b + c - a) (c + a - b))) ≥ (9) · ((a + b - c) (b + c - a) (c + a - b))

977
104.Triangle-Bottema1.17.ggb ((15/2)) · ((a + b) (b + c) (c + a)) ≤ ((a + b + 3c) (b + c) (c + a) + (b + c + 3a) (a + b) (c + a) + (c + a + 3b) (a + b) (b + c)) < (9) · ((a + b) (b + c) (c + a))

1517
105.Triangle-Bottema1.19.ggb ((1/3)) · ((a + b + c)²) ≤ (a² + b² + c²) < ((1/2) · ((a + b + c)²))

919
106.Triangle-Bottema1.2.ggb ((36/35)) · ((a + b + c)² / 4 + (2a b c) / (a + b + c)) ≤ (a² + b² + c²) < (2) · ((a + b + c)² / 4 + (2a b c) / (a + b + c))

1415
107.Triangle-Bottema1.23.ggb (4) · (a b(a + b) + b c(b + c) + c a(c + a)) < ((a + b + c)³ + 3a b c) ≤ (5) · (a b(a + b) + b c(b + c) + c a(c + a))

2016
108.Triangle-Bottema1.3.ggb ((a + b - c) (b + c - a) (c + a - b)) ≤ (a b c)

857
109.Triangle-Bottema1.4.ggb ((a + b) (b + c) (c + a)) ≥ (8) · (a b c)

1468
110.Triangle-Bottema1.5.ggb (a³ + b³ + c³) < ((a + b) (b + c) (c + a)) ≤ ((8/3) · (a³ + b³ + c³))

1071
111.Triangle-Bottema1.6.ggb ((3/2)) · (a³ + b³ + c³ + 3a b c) ≤ ((a + b + c) (a² + b² + c²)) < (2) · (a³ + b³ + c³ + 3a b c)

1563
112.Triangle-Bottema1.7.ggb (a b c) < (1 / 2 (a² (b + c - a) + b² (a + c - b) + c² (a + b - c))) ≤ ((3/2) · (a b c))

852
113.Triangle-Bottema1.8.ggb (a b (a + b) + b c(b + c) + c a(c + a)) ≥ (6) · ((a + b - c) (b + c - a) (c + a - b))

1011
114.Triangle-Bottema1.9.ggb ((1/2)) · ((a + b + c) a b c) < (a³ (b + c - a) + b³ (c + a - b) + c³ (a + b - c)) ≤ ((a + b + c) a b c)

11732
115.Triangle-Bottema5.3.ggb

t/o
116.Triangle-Perimeter_2Medians_a.ggb

t/o
117.Triangle-Perimeter_CircumRadius_a.ggb p ≤ ((3·√3) · R)

8410
118.Triangle-Perimeter_CircumRadius_b.ggb

t/o
119.Triangle-Perimeter_CircumRadius_c.ggb p ≤ ((3·√3) · R)

8386
120.Triangle-SymmHomPoly_3-2-1.ggb (2) · (a² + b² + c²) < ((a + b + c)²) ≤ (3) · (a² + b² + c²)

841
121.Triangle-SymmHomPoly_3-2-2.ggb (3) · (a b + b c + c a) ≤ ((a + b + c)²) < (4) · (a b + b c + c a)

1506
122.Triangle-SymmHomPoly_3-2-3.ggb (a b + b c + c a) ≤ (a² + b² + c²) < (2) · (a b + b c + c a)

1379
123.Triangle-SymmHomPoly_3-3-1.ggb (4) · (a³ + b³ + c³) < ((a + b + c)³) ≤ (9) · (a³ + b³ + c³)

1105
124.TriangleInequality_Triangle-a+b_c.ggb (a + b) > c

1501
125.TwoArbitrarySegments.ggb

311
126.TwoEqualLongSegments.ggb f = 1 · g

6
127.equidist1.ggb ((√3/2)) · c ≤ i ≤ c

485
128.equidist2.ggb c < (i + j) ≤ (2) · c

1399
129.equidist3.ggb (((√3+2)/2)) · c ≤ (i + j + k) < (2) · c

2057
130.equidist4.ggb g ≤ ((√3/2) · c)

1120
131.equidist5.ggb ((1/2)) · c ≤ g ≤ c

869
132.equidist6.ggb ((√3)) · c ≤ (g + h + i) < (2) · c

4721
Summary (of 132) 109