Introduction

The following table shows benchmarking results of various tests for the available prover engines in GeoGebra: Explanation of the used colors:

The Speed column shows the timing. Highlighted entries are the best results.

The test cases are also available for download in GeoGebra's .ggb format from the GeoGebra online source code directly.