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