Alive2 Performance Tracker

This page tracks the performance of Alive2 with respect to the version of Z3 when running LLVM's unit tests.

How to read the table?

The table shows the performance of Alive2 at the specific point of the world, which is a triple of commit ids of (Alive2, Z3, LLVM).

The versions of Alive2 are shown at Y axis, and the versions of Z3 are shown at X axis. In each cell, the result of performance of the Alive2 with the Z3 is summarized. The cell in the upper left corner of the table is the most recent configuration.

-

Z3 2f756da
Oct. 20, 2020
Z3 2841796
Oct. 14, 2020
Z3 ae7d767
Oct. 7, 2020
Z3 6cc52e0
Oct. 2, 2020
Z3 4.8.9
Sept. 11, 2020
Z3 4.8.8
May 9, 2020
Alive2 bfbe32c
Oct. 20, 2020
- - - - - -
Alive2 612a06a
Oct. 16, 2020
- <LLVM 7c71b44>
Timeout: 4141.8 (2.671%)
Details
- - - -
Alive2 019c9fb
Oct. 9, 2020
- <LLVM 7c71b44>
Timeout: 4235.6 (2.727%)
Details
<LLVM 7c71b44>
Timeout: 4231.8 (2.725%)
Details
- <LLVM 7c71b44>
Timeout: 4247.0 (2.735%)
Details
<LLVM 7c71b44>
Timeout: 4262.4 (2.746%)
Details
Alive2 18a9159
Oct. 6, 2020
- - <LLVM af3789a>
Timeout: 4214.2 (2.742%)
Details
<LLVM af3789a>
Timeout: 4226.2 (2.750%)
Details
<LLVM af3789a>
Timeout: 4213.4 (2.741%)
Details
<LLVM af3789a>
Timeout: 4216.0 (2.743%)
Details
Alive2 8985651
Oct. 2, 2020
- - <LLVM af3789a>
Timeout: 4275.4 (2.777%)
Details
<LLVM af3789a>
Timeout: 4289.0 (2.780%)
Details
<LLVM af3789a>
Timeout: 4286.6 (2.784%)
Details
<LLVM af3789a>
Timeout: 4274.4 (2.776%)
Details
Alive2 aa3cc0f
Sept. 26, 2020
- - - - - -
Alive2 227178e
Sept. 26, 2020
- - - - - -

How to read the table?