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 |
- | - | - | - | - | - |