Prover benchmark for GeoGebra 20211228091704

on 2021-12-28 09:47 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:

• Green means that the test returns a correct yes/no answer. Intensity of green means speed (the lighter the slower). Numbers are in milliseconds.
• Yellow means the output is not conclusive, thus using this method GeoGebra shows "undefined", i.e. there is no error here.
• The Result column provides information about the result, that is, the output of the comparison.

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
		Result	Time (ms)
AGM.ggb		t	114
AGM3.ggb			t/o
AHM.ggb		t	155
AQM.ggb		t	108
AQM3.ggb			t/o
ErdosMordell.ggb			t/o
EulerInequality-IsoTriangle.ggb			t/o
PythagorasGeneralization.ggb		t	648
PythagorasGeneralization-incorrect.ggb		f	639
Reiman-1.ggb		t	434
Reiman-10.ggb			t/o
Reiman-19.ggb			t/o
Reiman-2.ggb			t/o
Reiman-22.ggb		t	8957
Reiman-6a.ggb		t	750
Reiman-6b.ggb		t	758
Reiman-8.ggb			t/o
Reiman-9a.ggb		t	3738
Reiman-9b.ggb		t	4848
Reiman-p10a.ggb		t	3680
Reiman-p10b.ggb		t	2304
Reiman-p11-spec1.ggb		t	5530
Reiman-p11-spec2.ggb		t	944
Reiman-p19-4.ggb		t	23934
Reiman-p19-5.ggb		t	28986
Reiman-p20-6.ggb			t/o
Reiman-p20a.ggb		t	824
Reiman-p9a.ggb			t/o
Reiman-p9b.ggb			t/o
Roupec-11.ggb			t/o
Roupec-1a.ggb			t/o
Roupec-1b.ggb		–
Roupec-2.ggb			t/o
Roupec-3.ggb		t	155
Roupec-4.ggb			t/o
TriangleInequality.ggb		t	441
binomial-formula-1.ggb		t	52
binomial-formula-2.ggb		t	47
segment-sum.ggb		t	288
segment-sum-wrong.ggb		f	48
shortest-path-with-stop-at-the-river.ggb			t/o
square-connect-sides1.ggb		t	1168
square-connect-sides2.ggb		t	1107
square-diagonal.ggb		t	458
square-diagonal-wrong.ggb		f	458
Summary (of 45)		28 2233