Comparing data and data


# SUMMARY
- LHS tests = 29
- RHS tests = 29
- LHS success = 24  (82.75862068965517%)
- RHS success = 24  (82.75862068965517%)


## METADATA

<details><summary>METADATA</summary>

# LHS
<pre>
Ramon benchmark for Z3
-
Job description: 
Job tag: qfbv-master
Runner: guido
Z3 repo: Z3Prover/z3
Z3 commit: f300dfc425e08a565f7362f3fc6e5aaa80462ea5
Z3 branch: master
Z3 options: "-T:30"
Z3 inputs: inputs/QF_BV_small
Z3 commit message: recompile improvers

</pre>
# RHS
<pre>
Ramon benchmark for Z3
-
Job description: 
Job tag: qfbv-master
Runner: guido
Z3 repo: Z3Prover/z3
Z3 commit: f300dfc425e08a565f7362f3fc6e5aaa80462ea5
Z3 branch: master
Z3 options: "-T:30"
Z3 inputs: inputs/QF_BV_small
Z3 commit message: recompile improvers

</pre>
</details>


## TOP 20 RUNTIME INCREASE

<details><summary>TOP 20 RUNTIME INCREASE</summary>

|FILE                                                                                        |TIME_L     |TIME_R     |DIFF(s)    |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|1hSVT2qncdEm.smt2                                                                           |   1.965s  |   1.965s  |   0.000s  | 0.0%|
|bench0.smt2                                                                                 |  30.120s  |  30.120s  |   0.000s  | 0.0%|
|bench0_check.smt2                                                                           |   0.008s  |   0.008s  |   0.000s  | 0.0%|
|bench0_simplified.smt2                                                                      |  30.047s  |  30.047s  |   0.000s  | 0.0%|
|bench1.smt2                                                                                 |  30.180s  |  30.180s  |   0.000s  | 0.0%|
|bench11.smt2                                                                                |   4.703s  |   4.703s  |   0.000s  | 0.0%|
|bench13.smt2                                                                                |  30.157s  |  30.157s  |   0.000s  | 0.0%|
|bench1_bw256.smt2                                                                           |  30.158s  |  30.158s  |   0.000s  | 0.0%|
|bench1_bw300.smt2                                                                           |  30.123s  |  30.123s  |   0.000s  | 0.0%|
|bench1_bw512.smt2                                                                           |  30.144s  |  30.144s  |   0.000s  | 0.0%|
|bench1_bw64.smt2                                                                            |  30.053s  |  30.053s  |   0.000s  | 0.0%|
|bench1_check.smt2                                                                           |   0.008s  |   0.008s  |   0.000s  | 0.0%|
|bench2.smt2                                                                                 |  30.082s  |  30.082s  |   0.000s  | 0.0%|
|bench23.smt2                                                                                |  30.141s  |  30.141s  |   0.000s  | 0.0%|
|bench25_core.smt2                                                                           |  30.007s  |  30.007s  |   0.000s  | 0.0%|
|bench27.smt2                                                                                |  30.134s  |  30.134s  |   0.000s  | 0.0%|
|bench31.smt2                                                                                |  30.169s  |  30.169s  |   0.000s  | 0.0%|
|bench5.smt2                                                                                 |   4.545s  |   4.545s  |   0.000s  | 0.0%|
|bench6.smt2                                                                                 |  30.138s  |  30.138s  |   0.000s  | 0.0%|
|bench7.smt2                                                                                 |   5.723s  |   5.723s  |   0.000s  | 0.0%|
</details>


## TOP 20 RUNTIME INCREASE (RELATIVE)

<details><summary>TOP 20 RUNTIME INCREASE (RELATIVE)</summary>

|FILE                                                                                        |TIME_L     |TIME_R     |DIFF(s)    |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|1hSVT2qncdEm.smt2                                                                           |   1.965s  |   1.965s  |   0.000s  | 0.0%|
|bench0.smt2                                                                                 |  30.120s  |  30.120s  |   0.000s  | 0.0%|
|bench0_check.smt2                                                                           |   0.008s  |   0.008s  |   0.000s  | 0.0%|
|bench0_simplified.smt2                                                                      |  30.047s  |  30.047s  |   0.000s  | 0.0%|
|bench1.smt2                                                                                 |  30.180s  |  30.180s  |   0.000s  | 0.0%|
|bench11.smt2                                                                                |   4.703s  |   4.703s  |   0.000s  | 0.0%|
|bench13.smt2                                                                                |  30.157s  |  30.157s  |   0.000s  | 0.0%|
|bench1_bw256.smt2                                                                           |  30.158s  |  30.158s  |   0.000s  | 0.0%|
|bench1_bw300.smt2                                                                           |  30.123s  |  30.123s  |   0.000s  | 0.0%|
|bench1_bw512.smt2                                                                           |  30.144s  |  30.144s  |   0.000s  | 0.0%|
|bench1_bw64.smt2                                                                            |  30.053s  |  30.053s  |   0.000s  | 0.0%|
|bench1_check.smt2                                                                           |   0.008s  |   0.008s  |   0.000s  | 0.0%|
|bench2.smt2                                                                                 |  30.082s  |  30.082s  |   0.000s  | 0.0%|
|bench23.smt2                                                                                |  30.141s  |  30.141s  |   0.000s  | 0.0%|
|bench25_core.smt2                                                                           |  30.007s  |  30.007s  |   0.000s  | 0.0%|
|bench27.smt2                                                                                |  30.134s  |  30.134s  |   0.000s  | 0.0%|
|bench31.smt2                                                                                |  30.169s  |  30.169s  |   0.000s  | 0.0%|
|bench5.smt2                                                                                 |   4.545s  |   4.545s  |   0.000s  | 0.0%|
|bench6.smt2                                                                                 |  30.138s  |  30.138s  |   0.000s  | 0.0%|
|bench7.smt2                                                                                 |   5.723s  |   5.723s  |   0.000s  | 0.0%|
</details>


## TOP 20 RUNTIME DECREASE

<details><summary>TOP 20 RUNTIME DECREASE</summary>

|FILE                                                                                        |TIME_L     |TIME_R     |DIFF(s)    |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|1hSVT2qncdEm.smt2                                                                           |   1.965s  |   1.965s  |   0.000s  | 0.0%|
|bench0.smt2                                                                                 |  30.120s  |  30.120s  |   0.000s  | 0.0%|
|bench0_check.smt2                                                                           |   0.008s  |   0.008s  |   0.000s  | 0.0%|
|bench0_simplified.smt2                                                                      |  30.047s  |  30.047s  |   0.000s  | 0.0%|
|bench1.smt2                                                                                 |  30.180s  |  30.180s  |   0.000s  | 0.0%|
|bench11.smt2                                                                                |   4.703s  |   4.703s  |   0.000s  | 0.0%|
|bench13.smt2                                                                                |  30.157s  |  30.157s  |   0.000s  | 0.0%|
|bench1_bw256.smt2                                                                           |  30.158s  |  30.158s  |   0.000s  | 0.0%|
|bench1_bw300.smt2                                                                           |  30.123s  |  30.123s  |   0.000s  | 0.0%|
|bench1_bw512.smt2                                                                           |  30.144s  |  30.144s  |   0.000s  | 0.0%|
|bench1_bw64.smt2                                                                            |  30.053s  |  30.053s  |   0.000s  | 0.0%|
|bench1_check.smt2                                                                           |   0.008s  |   0.008s  |   0.000s  | 0.0%|
|bench2.smt2                                                                                 |  30.082s  |  30.082s  |   0.000s  | 0.0%|
|bench23.smt2                                                                                |  30.141s  |  30.141s  |   0.000s  | 0.0%|
|bench25_core.smt2                                                                           |  30.007s  |  30.007s  |   0.000s  | 0.0%|
|bench27.smt2                                                                                |  30.134s  |  30.134s  |   0.000s  | 0.0%|
|bench31.smt2                                                                                |  30.169s  |  30.169s  |   0.000s  | 0.0%|
|bench5.smt2                                                                                 |   4.545s  |   4.545s  |   0.000s  | 0.0%|
|bench6.smt2                                                                                 |  30.138s  |  30.138s  |   0.000s  | 0.0%|
|bench7.smt2                                                                                 |   5.723s  |   5.723s  |   0.000s  | 0.0%|
</details>


## TOP 20 RUNTIME DECREASE (RELATIVE)

<details><summary>TOP 20 RUNTIME DECREASE (RELATIVE)</summary>

|FILE                                                                                        |TIME_L     |TIME_R     |DIFF(s)    |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|1hSVT2qncdEm.smt2                                                                           |   1.965s  |   1.965s  |   0.000s  | 0.0%|
|bench0.smt2                                                                                 |  30.120s  |  30.120s  |   0.000s  | 0.0%|
|bench0_check.smt2                                                                           |   0.008s  |   0.008s  |   0.000s  | 0.0%|
|bench0_simplified.smt2                                                                      |  30.047s  |  30.047s  |   0.000s  | 0.0%|
|bench1.smt2                                                                                 |  30.180s  |  30.180s  |   0.000s  | 0.0%|
|bench11.smt2                                                                                |   4.703s  |   4.703s  |   0.000s  | 0.0%|
|bench13.smt2                                                                                |  30.157s  |  30.157s  |   0.000s  | 0.0%|
|bench1_bw256.smt2                                                                           |  30.158s  |  30.158s  |   0.000s  | 0.0%|
|bench1_bw300.smt2                                                                           |  30.123s  |  30.123s  |   0.000s  | 0.0%|
|bench1_bw512.smt2                                                                           |  30.144s  |  30.144s  |   0.000s  | 0.0%|
|bench1_bw64.smt2                                                                            |  30.053s  |  30.053s  |   0.000s  | 0.0%|
|bench1_check.smt2                                                                           |   0.008s  |   0.008s  |   0.000s  | 0.0%|
|bench2.smt2                                                                                 |  30.082s  |  30.082s  |   0.000s  | 0.0%|
|bench23.smt2                                                                                |  30.141s  |  30.141s  |   0.000s  | 0.0%|
|bench25_core.smt2                                                                           |  30.007s  |  30.007s  |   0.000s  | 0.0%|
|bench27.smt2                                                                                |  30.134s  |  30.134s  |   0.000s  | 0.0%|
|bench31.smt2                                                                                |  30.169s  |  30.169s  |   0.000s  | 0.0%|
|bench5.smt2                                                                                 |   4.545s  |   4.545s  |   0.000s  | 0.0%|
|bench6.smt2                                                                                 |  30.138s  |  30.138s  |   0.000s  | 0.0%|
|bench7.smt2                                                                                 |   5.723s  |   5.723s  |   0.000s  | 0.0%|
</details>


## TOP 20 LHS FILES, BY RUNTIME

<details><summary>TOP 20 LHS FILES, BY RUNTIME</summary>

|FILE                                                                                       |TIME     |MEM        |
|------------|----------:|---------:|
|bench1.smt2                                                                                |  30.180s |6410.0MiB|
|bench31.smt2                                                                               |  30.169s |6383.0MiB|
|bench1_bw256.smt2                                                                          |  30.158s |6410.0MiB|
|bench13.smt2                                                                               |  30.157s |6381.0MiB|
|bench1_bw512.smt2                                                                          |  30.144s |6426.0MiB|
|bench23.smt2                                                                               |  30.141s |3624.0MiB|
|bench6.smt2                                                                                |  30.138s |6236.0MiB|
|bench27.smt2                                                                               |  30.134s |3636.0MiB|
|bench1_bw300.smt2                                                                          |  30.123s |6429.0MiB|
|bench0.smt2                                                                                |  30.120s |6411.0MiB|
|bench2.smt2                                                                                |  30.082s |5895.0MiB|
|bench1_bw64.smt2                                                                           |  30.053s |850.0MiB|
|bench0_simplified.smt2                                                                     |  30.047s |767.0MiB|
|bench_4153.smt2                                                                            |  30.016s |138.0MiB|
|bench25_core.smt2                                                                          |  30.007s |44.22MiB|
|bench1_bw8192.smt2                                                                         |  29.597s |14.521GiB|
|bench1_bw1024.smt2                                                                         |  26.965s |8837.0MiB|
|bench3.smt2                                                                                |  22.899s |5753.0MiB|
|bench15.smt2                                                                               |  21.519s |6460.0MiB|
|bench25.smt2                                                                               |  14.580s |12.8GiB|
</details>


## TOP 20 RHS FILES, BY RUNTIME

<details><summary>TOP 20 RHS FILES, BY RUNTIME</summary>

|FILE                                                                                       |TIME     |MEM        |
|------------|----------:|---------:|
|bench1.smt2                                                                                |  30.180s |6410.0MiB|
|bench31.smt2                                                                               |  30.169s |6383.0MiB|
|bench1_bw256.smt2                                                                          |  30.158s |6410.0MiB|
|bench13.smt2                                                                               |  30.157s |6381.0MiB|
|bench1_bw512.smt2                                                                          |  30.144s |6426.0MiB|
|bench23.smt2                                                                               |  30.141s |3624.0MiB|
|bench6.smt2                                                                                |  30.138s |6236.0MiB|
|bench27.smt2                                                                               |  30.134s |3636.0MiB|
|bench1_bw300.smt2                                                                          |  30.123s |6429.0MiB|
|bench0.smt2                                                                                |  30.120s |6411.0MiB|
|bench2.smt2                                                                                |  30.082s |5895.0MiB|
|bench1_bw64.smt2                                                                           |  30.053s |850.0MiB|
|bench0_simplified.smt2                                                                     |  30.047s |767.0MiB|
|bench_4153.smt2                                                                            |  30.016s |138.0MiB|
|bench25_core.smt2                                                                          |  30.007s |44.22MiB|
|bench1_bw8192.smt2                                                                         |  29.597s |14.521GiB|
|bench1_bw1024.smt2                                                                         |  26.965s |8837.0MiB|
|bench3.smt2                                                                                |  22.899s |5753.0MiB|
|bench15.smt2                                                                               |  21.519s |6460.0MiB|
|bench25.smt2                                                                               |  14.580s |12.8GiB|
</details>


## TOP 20 MEMORY INCREASE

<details><summary>TOP 20 MEMORY INCREASE</summary>

|FILE                                                                                        |MEM_L         |MEM_R         |DIFF            |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|1hSVT2qncdEm.smt2                                                                           |31.064MiB|31.064MiB|0B| 0.0%|
|bench0.smt2                                                                                 |6411.0MiB|6411.0MiB|0B| 0.0%|
|bench0_check.smt2                                                                           |19.244MiB|19.244MiB|0B| 0.0%|
|bench0_simplified.smt2                                                                      |767.0MiB|767.0MiB|0B| 0.0%|
|bench1.smt2                                                                                 |6410.0MiB|6410.0MiB|0B| 0.0%|
|bench11.smt2                                                                                |1708.0MiB|1708.0MiB|0B| 0.0%|
|bench13.smt2                                                                                |6381.0MiB|6381.0MiB|0B| 0.0%|
|bench1_bw256.smt2                                                                           |6410.0MiB|6410.0MiB|0B| 0.0%|
|bench1_bw300.smt2                                                                           |6429.0MiB|6429.0MiB|0B| 0.0%|
|bench1_bw512.smt2                                                                           |6426.0MiB|6426.0MiB|0B| 0.0%|
|bench1_bw64.smt2                                                                            |850.0MiB|850.0MiB|0B| 0.0%|
|bench1_check.smt2                                                                           |19.256MiB|19.256MiB|0B| 0.0%|
|bench2.smt2                                                                                 |5895.0MiB|5895.0MiB|0B| 0.0%|
|bench23.smt2                                                                                |3624.0MiB|3624.0MiB|0B| 0.0%|
|bench25_core.smt2                                                                           |44.22MiB|44.22MiB|0B| 0.0%|
|bench27.smt2                                                                                |3636.0MiB|3636.0MiB|0B| 0.0%|
|bench31.smt2                                                                                |6383.0MiB|6383.0MiB|0B| 0.0%|
|bench5.smt2                                                                                 |1702.0MiB|1702.0MiB|0B| 0.0%|
|bench6.smt2                                                                                 |6236.0MiB|6236.0MiB|0B| 0.0%|
|bench7.smt2                                                                                 |1785.0MiB|1785.0MiB|0B| 0.0%|
</details>


## TOP 20 MEMORY INCREASE (RELATIVE)

<details><summary>TOP 20 MEMORY INCREASE (RELATIVE)</summary>

|FILE                                                                                        |MEM_L         |MEM_R         |DIFF            |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|1hSVT2qncdEm.smt2                                                                           |31.064MiB|31.064MiB|0B| 0.0%|
|bench0.smt2                                                                                 |6411.0MiB|6411.0MiB|0B| 0.0%|
|bench0_check.smt2                                                                           |19.244MiB|19.244MiB|0B| 0.0%|
|bench0_simplified.smt2                                                                      |767.0MiB|767.0MiB|0B| 0.0%|
|bench1.smt2                                                                                 |6410.0MiB|6410.0MiB|0B| 0.0%|
|bench11.smt2                                                                                |1708.0MiB|1708.0MiB|0B| 0.0%|
|bench13.smt2                                                                                |6381.0MiB|6381.0MiB|0B| 0.0%|
|bench1_bw256.smt2                                                                           |6410.0MiB|6410.0MiB|0B| 0.0%|
|bench1_bw300.smt2                                                                           |6429.0MiB|6429.0MiB|0B| 0.0%|
|bench1_bw512.smt2                                                                           |6426.0MiB|6426.0MiB|0B| 0.0%|
|bench1_bw64.smt2                                                                            |850.0MiB|850.0MiB|0B| 0.0%|
|bench1_check.smt2                                                                           |19.256MiB|19.256MiB|0B| 0.0%|
|bench2.smt2                                                                                 |5895.0MiB|5895.0MiB|0B| 0.0%|
|bench23.smt2                                                                                |3624.0MiB|3624.0MiB|0B| 0.0%|
|bench25_core.smt2                                                                           |44.22MiB|44.22MiB|0B| 0.0%|
|bench27.smt2                                                                                |3636.0MiB|3636.0MiB|0B| 0.0%|
|bench31.smt2                                                                                |6383.0MiB|6383.0MiB|0B| 0.0%|
|bench5.smt2                                                                                 |1702.0MiB|1702.0MiB|0B| 0.0%|
|bench6.smt2                                                                                 |6236.0MiB|6236.0MiB|0B| 0.0%|
|bench7.smt2                                                                                 |1785.0MiB|1785.0MiB|0B| 0.0%|
</details>


## TOP 20 MEMORY DECREASE

<details><summary>TOP 20 MEMORY DECREASE</summary>

|FILE                                                                                        |MEM_L         |MEM_R         |DIFF            |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|1hSVT2qncdEm.smt2                                                                           |31.064MiB|31.064MiB|0B| 0.0%|
|bench0.smt2                                                                                 |6411.0MiB|6411.0MiB|0B| 0.0%|
|bench0_check.smt2                                                                           |19.244MiB|19.244MiB|0B| 0.0%|
|bench0_simplified.smt2                                                                      |767.0MiB|767.0MiB|0B| 0.0%|
|bench1.smt2                                                                                 |6410.0MiB|6410.0MiB|0B| 0.0%|
|bench11.smt2                                                                                |1708.0MiB|1708.0MiB|0B| 0.0%|
|bench13.smt2                                                                                |6381.0MiB|6381.0MiB|0B| 0.0%|
|bench1_bw256.smt2                                                                           |6410.0MiB|6410.0MiB|0B| 0.0%|
|bench1_bw300.smt2                                                                           |6429.0MiB|6429.0MiB|0B| 0.0%|
|bench1_bw512.smt2                                                                           |6426.0MiB|6426.0MiB|0B| 0.0%|
|bench1_bw64.smt2                                                                            |850.0MiB|850.0MiB|0B| 0.0%|
|bench1_check.smt2                                                                           |19.256MiB|19.256MiB|0B| 0.0%|
|bench2.smt2                                                                                 |5895.0MiB|5895.0MiB|0B| 0.0%|
|bench23.smt2                                                                                |3624.0MiB|3624.0MiB|0B| 0.0%|
|bench25_core.smt2                                                                           |44.22MiB|44.22MiB|0B| 0.0%|
|bench27.smt2                                                                                |3636.0MiB|3636.0MiB|0B| 0.0%|
|bench31.smt2                                                                                |6383.0MiB|6383.0MiB|0B| 0.0%|
|bench5.smt2                                                                                 |1702.0MiB|1702.0MiB|0B| 0.0%|
|bench6.smt2                                                                                 |6236.0MiB|6236.0MiB|0B| 0.0%|
|bench7.smt2                                                                                 |1785.0MiB|1785.0MiB|0B| 0.0%|
</details>


## TOP 20 MEMORY DECREASE (RELATIVE)

<details><summary>TOP 20 MEMORY DECREASE (RELATIVE)</summary>

|FILE                                                                                        |MEM_L         |MEM_R         |DIFF            |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|1hSVT2qncdEm.smt2                                                                           |31.064MiB|31.064MiB|0B| 0.0%|
|bench0.smt2                                                                                 |6411.0MiB|6411.0MiB|0B| 0.0%|
|bench0_check.smt2                                                                           |19.244MiB|19.244MiB|0B| 0.0%|
|bench0_simplified.smt2                                                                      |767.0MiB|767.0MiB|0B| 0.0%|
|bench1.smt2                                                                                 |6410.0MiB|6410.0MiB|0B| 0.0%|
|bench11.smt2                                                                                |1708.0MiB|1708.0MiB|0B| 0.0%|
|bench13.smt2                                                                                |6381.0MiB|6381.0MiB|0B| 0.0%|
|bench1_bw256.smt2                                                                           |6410.0MiB|6410.0MiB|0B| 0.0%|
|bench1_bw300.smt2                                                                           |6429.0MiB|6429.0MiB|0B| 0.0%|
|bench1_bw512.smt2                                                                           |6426.0MiB|6426.0MiB|0B| 0.0%|
|bench1_bw64.smt2                                                                            |850.0MiB|850.0MiB|0B| 0.0%|
|bench1_check.smt2                                                                           |19.256MiB|19.256MiB|0B| 0.0%|
|bench2.smt2                                                                                 |5895.0MiB|5895.0MiB|0B| 0.0%|
|bench23.smt2                                                                                |3624.0MiB|3624.0MiB|0B| 0.0%|
|bench25_core.smt2                                                                           |44.22MiB|44.22MiB|0B| 0.0%|
|bench27.smt2                                                                                |3636.0MiB|3636.0MiB|0B| 0.0%|
|bench31.smt2                                                                                |6383.0MiB|6383.0MiB|0B| 0.0%|
|bench5.smt2                                                                                 |1702.0MiB|1702.0MiB|0B| 0.0%|
|bench6.smt2                                                                                 |6236.0MiB|6236.0MiB|0B| 0.0%|
|bench7.smt2                                                                                 |1785.0MiB|1785.0MiB|0B| 0.0%|
</details>


## TOP 20 LHS FILES, BY PEAK MEMORY USAGE

<details><summary>TOP 20 LHS FILES, BY PEAK MEMORY USAGE</summary>

|FILE                                                                                       |TIME     |MEM        |
|------------|----------:|---------:|
|bench1_bw8192.smt2                                                                         |  29.597s |14.521GiB|
|bench25.smt2                                                                               |  14.580s |12.8GiB|
|bench1_bw1024.smt2                                                                         |  26.965s |8837.0MiB|
|bench15.smt2                                                                               |  21.519s |6460.0MiB|
|bench1_bw300.smt2                                                                          |  30.123s |6429.0MiB|
|bench1_bw512.smt2                                                                          |  30.144s |6426.0MiB|
|bench0.smt2                                                                                |  30.120s |6411.0MiB|
|bench1.smt2                                                                                |  30.180s |6410.0MiB|
|bench1_bw256.smt2                                                                          |  30.158s |6410.0MiB|
|bench31.smt2                                                                               |  30.169s |6383.0MiB|
|bench13.smt2                                                                               |  30.157s |6381.0MiB|
|bench6.smt2                                                                                |  30.138s |6236.0MiB|
|bench2.smt2                                                                                |  30.082s |5895.0MiB|
|bench3.smt2                                                                                |  22.899s |5753.0MiB|
|bench27.smt2                                                                               |  30.134s |3636.0MiB|
|bench23.smt2                                                                               |  30.141s |3624.0MiB|
|bench7.smt2                                                                                |   5.723s |1785.0MiB|
|bench11.smt2                                                                               |   4.703s |1708.0MiB|
|bench5.smt2                                                                                |   4.545s |1702.0MiB|
|bench1_bw64.smt2                                                                           |  30.053s |850.0MiB|
</details>


## TOP 20 RHS FILES, BY PEAK MEMORY USAGE

<details><summary>TOP 20 RHS FILES, BY PEAK MEMORY USAGE</summary>

|FILE                                                                                       |TIME     |MEM        |
|------------|----------:|---------:|
|bench1_bw8192.smt2                                                                         |  29.597s |14.521GiB|
|bench25.smt2                                                                               |  14.580s |12.8GiB|
|bench1_bw1024.smt2                                                                         |  26.965s |8837.0MiB|
|bench15.smt2                                                                               |  21.519s |6460.0MiB|
|bench1_bw300.smt2                                                                          |  30.123s |6429.0MiB|
|bench1_bw512.smt2                                                                          |  30.144s |6426.0MiB|
|bench0.smt2                                                                                |  30.120s |6411.0MiB|
|bench1.smt2                                                                                |  30.180s |6410.0MiB|
|bench1_bw256.smt2                                                                          |  30.158s |6410.0MiB|
|bench31.smt2                                                                               |  30.169s |6383.0MiB|
|bench13.smt2                                                                               |  30.157s |6381.0MiB|
|bench6.smt2                                                                                |  30.138s |6236.0MiB|
|bench2.smt2                                                                                |  30.082s |5895.0MiB|
|bench3.smt2                                                                                |  22.899s |5753.0MiB|
|bench27.smt2                                                                               |  30.134s |3636.0MiB|
|bench23.smt2                                                                               |  30.141s |3624.0MiB|
|bench7.smt2                                                                                |   5.723s |1785.0MiB|
|bench11.smt2                                                                               |   4.703s |1708.0MiB|
|bench5.smt2                                                                                |   4.545s |1702.0MiB|
|bench1_bw64.smt2                                                                           |  30.053s |850.0MiB|
</details>


## FULL COMPARISON

<details><summary>FULL COMPARISON</summary>

|FILE                                                                                        |TIME_L     |TIME_R     |DIFF(s)    |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|1hSVT2qncdEm.smt2                                                                           |   1.965s  |   1.965s  |   0.000s  | 0.0%|
|bench0.smt2                                                                                 |  30.120s  |  30.120s  |   0.000s  | 0.0%|
|bench0_check.smt2                                                                           |   0.008s  |   0.008s  |   0.000s  | 0.0%|
|bench0_simplified.smt2                                                                      |  30.047s  |  30.047s  |   0.000s  | 0.0%|
|bench1.smt2                                                                                 |  30.180s  |  30.180s  |   0.000s  | 0.0%|
|bench11.smt2                                                                                |   4.703s  |   4.703s  |   0.000s  | 0.0%|
|bench13.smt2                                                                                |  30.157s  |  30.157s  |   0.000s  | 0.0%|
|bench1_bw256.smt2                                                                           |  30.158s  |  30.158s  |   0.000s  | 0.0%|
|bench1_bw300.smt2                                                                           |  30.123s  |  30.123s  |   0.000s  | 0.0%|
|bench1_bw512.smt2                                                                           |  30.144s  |  30.144s  |   0.000s  | 0.0%|
|bench1_bw64.smt2                                                                            |  30.053s  |  30.053s  |   0.000s  | 0.0%|
|bench1_check.smt2                                                                           |   0.008s  |   0.008s  |   0.000s  | 0.0%|
|bench2.smt2                                                                                 |  30.082s  |  30.082s  |   0.000s  | 0.0%|
|bench23.smt2                                                                                |  30.141s  |  30.141s  |   0.000s  | 0.0%|
|bench25_core.smt2                                                                           |  30.007s  |  30.007s  |   0.000s  | 0.0%|
|bench27.smt2                                                                                |  30.134s  |  30.134s  |   0.000s  | 0.0%|
|bench31.smt2                                                                                |  30.169s  |  30.169s  |   0.000s  | 0.0%|
|bench5.smt2                                                                                 |   4.545s  |   4.545s  |   0.000s  | 0.0%|
|bench6.smt2                                                                                 |  30.138s  |  30.138s  |   0.000s  | 0.0%|
|bench7.smt2                                                                                 |   5.723s  |   5.723s  |   0.000s  | 0.0%|
|bench_2155.smt2                                                                             |   5.450s  |   5.450s  |   0.000s  | 0.0%|
|bench_4153.smt2                                                                             |  30.016s  |  30.016s  |   0.000s  | 0.0%|
|bench_6159.smt2                                                                             |   3.553s  |   3.553s  |   0.000s  | 0.0%|
</details>