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: smt
Runner: guido
Z3 repo: Z3Prover/z3
Z3 commit: 35b1d094251c53066abf374190e9dd41fef9e966
Z3 branch: 
Z3 options: "-T:60 "
Z3 inputs: inputs/QF_BV_small
Z3 commit message: working on ho-matcher

</pre>
# RHS
<pre>
Ramon benchmark for Z3
-
Job description: 
Job tag: smt
Runner: guido
Z3 repo: Z3Prover/z3
Z3 commit: 35b1d094251c53066abf374190e9dd41fef9e966
Z3 branch: 
Z3 options: "-T:60 "
Z3 inputs: inputs/QF_BV_small
Z3 commit message: working on ho-matcher

</pre>
</details>


## TOP 20 RUNTIME INCREASE

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

|FILE                                                                                        |TIME_L     |TIME_R     |DIFF(s)    |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|1hSVT2qncdEm.smt2                                                                           |   2.054s  |   2.054s  |   0.000s  | 0.0%|
|bench0.smt2                                                                                 |  60.428s  |  60.428s  |   0.000s  | 0.0%|
|bench0_check.smt2                                                                           |   0.009s  |   0.009s  |   0.000s  | 0.0%|
|bench0_simplified.smt2                                                                      |  60.013s  |  60.013s  |   0.000s  | 0.0%|
|bench1.smt2                                                                                 |  60.545s  |  60.545s  |   0.000s  | 0.0%|
|bench11.smt2                                                                                |   5.411s  |   5.411s  |   0.000s  | 0.0%|
|bench13.smt2                                                                                |  60.407s  |  60.407s  |   0.000s  | 0.0%|
|bench1_bw256.smt2                                                                           |  60.529s  |  60.529s  |   0.000s  | 0.0%|
|bench1_bw300.smt2                                                                           |  60.470s  |  60.470s  |   0.000s  | 0.0%|
|bench1_bw64.smt2                                                                            |  59.997s  |  59.997s  |   0.000s  | 0.0%|
|bench1_check.smt2                                                                           |   0.012s  |   0.012s  |   0.000s  | 0.0%|
|bench2.smt2                                                                                 |  60.291s  |  60.291s  |   0.000s  | 0.0%|
|bench23.smt2                                                                                |  60.346s  |  60.346s  |   0.000s  | 0.0%|
|bench25_core.smt2                                                                           |  59.913s  |  59.913s  |   0.000s  | 0.0%|
|bench27.smt2                                                                                |  60.271s  |  60.271s  |   0.000s  | 0.0%|
|bench3.smt2                                                                                 |  60.323s  |  60.323s  |   0.000s  | 0.0%|
|bench31.smt2                                                                                |  60.401s  |  60.401s  |   0.000s  | 0.0%|
|bench5.smt2                                                                                 |   5.317s  |   5.317s  |   0.000s  | 0.0%|
|bench6.smt2                                                                                 |  60.333s  |  60.333s  |   0.000s  | 0.0%|
|bench7.smt2                                                                                 |   6.669s  |   6.669s  |   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                                                                           |   2.054s  |   2.054s  |   0.000s  | 0.0%|
|bench0.smt2                                                                                 |  60.428s  |  60.428s  |   0.000s  | 0.0%|
|bench0_check.smt2                                                                           |   0.009s  |   0.009s  |   0.000s  | 0.0%|
|bench0_simplified.smt2                                                                      |  60.013s  |  60.013s  |   0.000s  | 0.0%|
|bench1.smt2                                                                                 |  60.545s  |  60.545s  |   0.000s  | 0.0%|
|bench11.smt2                                                                                |   5.411s  |   5.411s  |   0.000s  | 0.0%|
|bench13.smt2                                                                                |  60.407s  |  60.407s  |   0.000s  | 0.0%|
|bench1_bw256.smt2                                                                           |  60.529s  |  60.529s  |   0.000s  | 0.0%|
|bench1_bw300.smt2                                                                           |  60.470s  |  60.470s  |   0.000s  | 0.0%|
|bench1_bw64.smt2                                                                            |  59.997s  |  59.997s  |   0.000s  | 0.0%|
|bench1_check.smt2                                                                           |   0.012s  |   0.012s  |   0.000s  | 0.0%|
|bench2.smt2                                                                                 |  60.291s  |  60.291s  |   0.000s  | 0.0%|
|bench23.smt2                                                                                |  60.346s  |  60.346s  |   0.000s  | 0.0%|
|bench25_core.smt2                                                                           |  59.913s  |  59.913s  |   0.000s  | 0.0%|
|bench27.smt2                                                                                |  60.271s  |  60.271s  |   0.000s  | 0.0%|
|bench3.smt2                                                                                 |  60.323s  |  60.323s  |   0.000s  | 0.0%|
|bench31.smt2                                                                                |  60.401s  |  60.401s  |   0.000s  | 0.0%|
|bench5.smt2                                                                                 |   5.317s  |   5.317s  |   0.000s  | 0.0%|
|bench6.smt2                                                                                 |  60.333s  |  60.333s  |   0.000s  | 0.0%|
|bench7.smt2                                                                                 |   6.669s  |   6.669s  |   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                                                                           |   2.054s  |   2.054s  |   0.000s  | 0.0%|
|bench0.smt2                                                                                 |  60.428s  |  60.428s  |   0.000s  | 0.0%|
|bench0_check.smt2                                                                           |   0.009s  |   0.009s  |   0.000s  | 0.0%|
|bench0_simplified.smt2                                                                      |  60.013s  |  60.013s  |   0.000s  | 0.0%|
|bench1.smt2                                                                                 |  60.545s  |  60.545s  |   0.000s  | 0.0%|
|bench11.smt2                                                                                |   5.411s  |   5.411s  |   0.000s  | 0.0%|
|bench13.smt2                                                                                |  60.407s  |  60.407s  |   0.000s  | 0.0%|
|bench1_bw256.smt2                                                                           |  60.529s  |  60.529s  |   0.000s  | 0.0%|
|bench1_bw300.smt2                                                                           |  60.470s  |  60.470s  |   0.000s  | 0.0%|
|bench1_bw64.smt2                                                                            |  59.997s  |  59.997s  |   0.000s  | 0.0%|
|bench1_check.smt2                                                                           |   0.012s  |   0.012s  |   0.000s  | 0.0%|
|bench2.smt2                                                                                 |  60.291s  |  60.291s  |   0.000s  | 0.0%|
|bench23.smt2                                                                                |  60.346s  |  60.346s  |   0.000s  | 0.0%|
|bench25_core.smt2                                                                           |  59.913s  |  59.913s  |   0.000s  | 0.0%|
|bench27.smt2                                                                                |  60.271s  |  60.271s  |   0.000s  | 0.0%|
|bench3.smt2                                                                                 |  60.323s  |  60.323s  |   0.000s  | 0.0%|
|bench31.smt2                                                                                |  60.401s  |  60.401s  |   0.000s  | 0.0%|
|bench5.smt2                                                                                 |   5.317s  |   5.317s  |   0.000s  | 0.0%|
|bench6.smt2                                                                                 |  60.333s  |  60.333s  |   0.000s  | 0.0%|
|bench7.smt2                                                                                 |   6.669s  |   6.669s  |   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                                                                           |   2.054s  |   2.054s  |   0.000s  | 0.0%|
|bench0.smt2                                                                                 |  60.428s  |  60.428s  |   0.000s  | 0.0%|
|bench0_check.smt2                                                                           |   0.009s  |   0.009s  |   0.000s  | 0.0%|
|bench0_simplified.smt2                                                                      |  60.013s  |  60.013s  |   0.000s  | 0.0%|
|bench1.smt2                                                                                 |  60.545s  |  60.545s  |   0.000s  | 0.0%|
|bench11.smt2                                                                                |   5.411s  |   5.411s  |   0.000s  | 0.0%|
|bench13.smt2                                                                                |  60.407s  |  60.407s  |   0.000s  | 0.0%|
|bench1_bw256.smt2                                                                           |  60.529s  |  60.529s  |   0.000s  | 0.0%|
|bench1_bw300.smt2                                                                           |  60.470s  |  60.470s  |   0.000s  | 0.0%|
|bench1_bw64.smt2                                                                            |  59.997s  |  59.997s  |   0.000s  | 0.0%|
|bench1_check.smt2                                                                           |   0.012s  |   0.012s  |   0.000s  | 0.0%|
|bench2.smt2                                                                                 |  60.291s  |  60.291s  |   0.000s  | 0.0%|
|bench23.smt2                                                                                |  60.346s  |  60.346s  |   0.000s  | 0.0%|
|bench25_core.smt2                                                                           |  59.913s  |  59.913s  |   0.000s  | 0.0%|
|bench27.smt2                                                                                |  60.271s  |  60.271s  |   0.000s  | 0.0%|
|bench3.smt2                                                                                 |  60.323s  |  60.323s  |   0.000s  | 0.0%|
|bench31.smt2                                                                                |  60.401s  |  60.401s  |   0.000s  | 0.0%|
|bench5.smt2                                                                                 |   5.317s  |   5.317s  |   0.000s  | 0.0%|
|bench6.smt2                                                                                 |  60.333s  |  60.333s  |   0.000s  | 0.0%|
|bench7.smt2                                                                                 |   6.669s  |   6.669s  |   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                                                                                |  60.545s |6410.0MiB|
|bench1_bw256.smt2                                                                          |  60.529s |7153.0MiB|
|bench1_bw300.smt2                                                                          |  60.470s |12.778GiB|
|bench0.smt2                                                                                |  60.428s |6409.0MiB|
|bench13.smt2                                                                               |  60.407s |6388.0MiB|
|bench31.smt2                                                                               |  60.401s |6378.0MiB|
|bench23.smt2                                                                               |  60.346s |3623.0MiB|
|bench6.smt2                                                                                |  60.333s |6231.0MiB|
|bench3.smt2                                                                                |  60.323s |5759.0MiB|
|bench2.smt2                                                                                |  60.291s |5886.0MiB|
|bench27.smt2                                                                               |  60.271s |3632.0MiB|
|bench0_simplified.smt2                                                                     |  60.013s |768.0MiB|
|bench1_bw64.smt2                                                                           |  59.997s |849.0MiB|
|bench_4153.smt2                                                                            |  59.924s |138.0MiB|
|bench25_core.smt2                                                                          |  59.913s |49.78MiB|
|bench1_bw512.smt2                                                                          |  41.080s |12.838GiB|
|bench1_bw1024.smt2                                                                         |  35.944s |10.816GiB|
|bench15.smt2                                                                               |  28.596s |6459.0MiB|
|bench1_bw8192.smt2                                                                         |  22.934s |7264.0MiB|
|bench25.smt2                                                                               |  18.726s |12.8GiB|
</details>


## TOP 20 RHS FILES, BY RUNTIME

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

|FILE                                                                                       |TIME     |MEM        |
|------------|----------:|---------:|
|bench1.smt2                                                                                |  60.545s |6410.0MiB|
|bench1_bw256.smt2                                                                          |  60.529s |7153.0MiB|
|bench1_bw300.smt2                                                                          |  60.470s |12.778GiB|
|bench0.smt2                                                                                |  60.428s |6409.0MiB|
|bench13.smt2                                                                               |  60.407s |6388.0MiB|
|bench31.smt2                                                                               |  60.401s |6378.0MiB|
|bench23.smt2                                                                               |  60.346s |3623.0MiB|
|bench6.smt2                                                                                |  60.333s |6231.0MiB|
|bench3.smt2                                                                                |  60.323s |5759.0MiB|
|bench2.smt2                                                                                |  60.291s |5886.0MiB|
|bench27.smt2                                                                               |  60.271s |3632.0MiB|
|bench0_simplified.smt2                                                                     |  60.013s |768.0MiB|
|bench1_bw64.smt2                                                                           |  59.997s |849.0MiB|
|bench_4153.smt2                                                                            |  59.924s |138.0MiB|
|bench25_core.smt2                                                                          |  59.913s |49.78MiB|
|bench1_bw512.smt2                                                                          |  41.080s |12.838GiB|
|bench1_bw1024.smt2                                                                         |  35.944s |10.816GiB|
|bench15.smt2                                                                               |  28.596s |6459.0MiB|
|bench1_bw8192.smt2                                                                         |  22.934s |7264.0MiB|
|bench25.smt2                                                                               |  18.726s |12.8GiB|
</details>


## TOP 20 MEMORY INCREASE

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

|FILE                                                                                        |MEM_L         |MEM_R         |DIFF            |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|1hSVT2qncdEm.smt2                                                                           |30.672MiB|30.672MiB|0B| 0.0%|
|bench0.smt2                                                                                 |6409.0MiB|6409.0MiB|0B| 0.0%|
|bench0_check.smt2                                                                           |18.508MiB|18.508MiB|0B| 0.0%|
|bench0_simplified.smt2                                                                      |768.0MiB|768.0MiB|0B| 0.0%|
|bench1.smt2                                                                                 |6410.0MiB|6410.0MiB|0B| 0.0%|
|bench11.smt2                                                                                |1705.0MiB|1705.0MiB|0B| 0.0%|
|bench13.smt2                                                                                |6388.0MiB|6388.0MiB|0B| 0.0%|
|bench1_bw256.smt2                                                                           |7153.0MiB|7153.0MiB|0B| 0.0%|
|bench1_bw300.smt2                                                                           |12.778GiB|12.778GiB|0B| 0.0%|
|bench1_bw64.smt2                                                                            |849.0MiB|849.0MiB|0B| 0.0%|
|bench1_check.smt2                                                                           |18.508MiB|18.508MiB|0B| 0.0%|
|bench2.smt2                                                                                 |5886.0MiB|5886.0MiB|0B| 0.0%|
|bench23.smt2                                                                                |3623.0MiB|3623.0MiB|0B| 0.0%|
|bench25_core.smt2                                                                           |49.78MiB|49.78MiB|0B| 0.0%|
|bench27.smt2                                                                                |3632.0MiB|3632.0MiB|0B| 0.0%|
|bench3.smt2                                                                                 |5759.0MiB|5759.0MiB|0B| 0.0%|
|bench31.smt2                                                                                |6378.0MiB|6378.0MiB|0B| 0.0%|
|bench5.smt2                                                                                 |1700.0MiB|1700.0MiB|0B| 0.0%|
|bench6.smt2                                                                                 |6231.0MiB|6231.0MiB|0B| 0.0%|
|bench7.smt2                                                                                 |1783.0MiB|1783.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                                                                           |30.672MiB|30.672MiB|0B| 0.0%|
|bench0.smt2                                                                                 |6409.0MiB|6409.0MiB|0B| 0.0%|
|bench0_check.smt2                                                                           |18.508MiB|18.508MiB|0B| 0.0%|
|bench0_simplified.smt2                                                                      |768.0MiB|768.0MiB|0B| 0.0%|
|bench1.smt2                                                                                 |6410.0MiB|6410.0MiB|0B| 0.0%|
|bench11.smt2                                                                                |1705.0MiB|1705.0MiB|0B| 0.0%|
|bench13.smt2                                                                                |6388.0MiB|6388.0MiB|0B| 0.0%|
|bench1_bw256.smt2                                                                           |7153.0MiB|7153.0MiB|0B| 0.0%|
|bench1_bw300.smt2                                                                           |12.778GiB|12.778GiB|0B| 0.0%|
|bench1_bw64.smt2                                                                            |849.0MiB|849.0MiB|0B| 0.0%|
|bench1_check.smt2                                                                           |18.508MiB|18.508MiB|0B| 0.0%|
|bench2.smt2                                                                                 |5886.0MiB|5886.0MiB|0B| 0.0%|
|bench23.smt2                                                                                |3623.0MiB|3623.0MiB|0B| 0.0%|
|bench25_core.smt2                                                                           |49.78MiB|49.78MiB|0B| 0.0%|
|bench27.smt2                                                                                |3632.0MiB|3632.0MiB|0B| 0.0%|
|bench3.smt2                                                                                 |5759.0MiB|5759.0MiB|0B| 0.0%|
|bench31.smt2                                                                                |6378.0MiB|6378.0MiB|0B| 0.0%|
|bench5.smt2                                                                                 |1700.0MiB|1700.0MiB|0B| 0.0%|
|bench6.smt2                                                                                 |6231.0MiB|6231.0MiB|0B| 0.0%|
|bench7.smt2                                                                                 |1783.0MiB|1783.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                                                                           |30.672MiB|30.672MiB|0B| 0.0%|
|bench0.smt2                                                                                 |6409.0MiB|6409.0MiB|0B| 0.0%|
|bench0_check.smt2                                                                           |18.508MiB|18.508MiB|0B| 0.0%|
|bench0_simplified.smt2                                                                      |768.0MiB|768.0MiB|0B| 0.0%|
|bench1.smt2                                                                                 |6410.0MiB|6410.0MiB|0B| 0.0%|
|bench11.smt2                                                                                |1705.0MiB|1705.0MiB|0B| 0.0%|
|bench13.smt2                                                                                |6388.0MiB|6388.0MiB|0B| 0.0%|
|bench1_bw256.smt2                                                                           |7153.0MiB|7153.0MiB|0B| 0.0%|
|bench1_bw300.smt2                                                                           |12.778GiB|12.778GiB|0B| 0.0%|
|bench1_bw64.smt2                                                                            |849.0MiB|849.0MiB|0B| 0.0%|
|bench1_check.smt2                                                                           |18.508MiB|18.508MiB|0B| 0.0%|
|bench2.smt2                                                                                 |5886.0MiB|5886.0MiB|0B| 0.0%|
|bench23.smt2                                                                                |3623.0MiB|3623.0MiB|0B| 0.0%|
|bench25_core.smt2                                                                           |49.78MiB|49.78MiB|0B| 0.0%|
|bench27.smt2                                                                                |3632.0MiB|3632.0MiB|0B| 0.0%|
|bench3.smt2                                                                                 |5759.0MiB|5759.0MiB|0B| 0.0%|
|bench31.smt2                                                                                |6378.0MiB|6378.0MiB|0B| 0.0%|
|bench5.smt2                                                                                 |1700.0MiB|1700.0MiB|0B| 0.0%|
|bench6.smt2                                                                                 |6231.0MiB|6231.0MiB|0B| 0.0%|
|bench7.smt2                                                                                 |1783.0MiB|1783.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                                                                           |30.672MiB|30.672MiB|0B| 0.0%|
|bench0.smt2                                                                                 |6409.0MiB|6409.0MiB|0B| 0.0%|
|bench0_check.smt2                                                                           |18.508MiB|18.508MiB|0B| 0.0%|
|bench0_simplified.smt2                                                                      |768.0MiB|768.0MiB|0B| 0.0%|
|bench1.smt2                                                                                 |6410.0MiB|6410.0MiB|0B| 0.0%|
|bench11.smt2                                                                                |1705.0MiB|1705.0MiB|0B| 0.0%|
|bench13.smt2                                                                                |6388.0MiB|6388.0MiB|0B| 0.0%|
|bench1_bw256.smt2                                                                           |7153.0MiB|7153.0MiB|0B| 0.0%|
|bench1_bw300.smt2                                                                           |12.778GiB|12.778GiB|0B| 0.0%|
|bench1_bw64.smt2                                                                            |849.0MiB|849.0MiB|0B| 0.0%|
|bench1_check.smt2                                                                           |18.508MiB|18.508MiB|0B| 0.0%|
|bench2.smt2                                                                                 |5886.0MiB|5886.0MiB|0B| 0.0%|
|bench23.smt2                                                                                |3623.0MiB|3623.0MiB|0B| 0.0%|
|bench25_core.smt2                                                                           |49.78MiB|49.78MiB|0B| 0.0%|
|bench27.smt2                                                                                |3632.0MiB|3632.0MiB|0B| 0.0%|
|bench3.smt2                                                                                 |5759.0MiB|5759.0MiB|0B| 0.0%|
|bench31.smt2                                                                                |6378.0MiB|6378.0MiB|0B| 0.0%|
|bench5.smt2                                                                                 |1700.0MiB|1700.0MiB|0B| 0.0%|
|bench6.smt2                                                                                 |6231.0MiB|6231.0MiB|0B| 0.0%|
|bench7.smt2                                                                                 |1783.0MiB|1783.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_bw512.smt2                                                                          |  41.080s |12.838GiB|
|bench25.smt2                                                                               |  18.726s |12.8GiB|
|bench1_bw300.smt2                                                                          |  60.470s |12.778GiB|
|bench1_bw1024.smt2                                                                         |  35.944s |10.816GiB|
|bench1_bw8192.smt2                                                                         |  22.934s |7264.0MiB|
|bench1_bw256.smt2                                                                          |  60.529s |7153.0MiB|
|bench15.smt2                                                                               |  28.596s |6459.0MiB|
|bench1.smt2                                                                                |  60.545s |6410.0MiB|
|bench0.smt2                                                                                |  60.428s |6409.0MiB|
|bench13.smt2                                                                               |  60.407s |6388.0MiB|
|bench31.smt2                                                                               |  60.401s |6378.0MiB|
|bench6.smt2                                                                                |  60.333s |6231.0MiB|
|bench2.smt2                                                                                |  60.291s |5886.0MiB|
|bench3.smt2                                                                                |  60.323s |5759.0MiB|
|bench27.smt2                                                                               |  60.271s |3632.0MiB|
|bench23.smt2                                                                               |  60.346s |3623.0MiB|
|bench7.smt2                                                                                |   6.669s |1783.0MiB|
|bench11.smt2                                                                               |   5.411s |1705.0MiB|
|bench5.smt2                                                                                |   5.317s |1700.0MiB|
|bench1_bw64.smt2                                                                           |  59.997s |849.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_bw512.smt2                                                                          |  41.080s |12.838GiB|
|bench25.smt2                                                                               |  18.726s |12.8GiB|
|bench1_bw300.smt2                                                                          |  60.470s |12.778GiB|
|bench1_bw1024.smt2                                                                         |  35.944s |10.816GiB|
|bench1_bw8192.smt2                                                                         |  22.934s |7264.0MiB|
|bench1_bw256.smt2                                                                          |  60.529s |7153.0MiB|
|bench15.smt2                                                                               |  28.596s |6459.0MiB|
|bench1.smt2                                                                                |  60.545s |6410.0MiB|
|bench0.smt2                                                                                |  60.428s |6409.0MiB|
|bench13.smt2                                                                               |  60.407s |6388.0MiB|
|bench31.smt2                                                                               |  60.401s |6378.0MiB|
|bench6.smt2                                                                                |  60.333s |6231.0MiB|
|bench2.smt2                                                                                |  60.291s |5886.0MiB|
|bench3.smt2                                                                                |  60.323s |5759.0MiB|
|bench27.smt2                                                                               |  60.271s |3632.0MiB|
|bench23.smt2                                                                               |  60.346s |3623.0MiB|
|bench7.smt2                                                                                |   6.669s |1783.0MiB|
|bench11.smt2                                                                               |   5.411s |1705.0MiB|
|bench5.smt2                                                                                |   5.317s |1700.0MiB|
|bench1_bw64.smt2                                                                           |  59.997s |849.0MiB|
</details>


## FULL COMPARISON

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

|FILE                                                                                        |TIME_L     |TIME_R     |DIFF(s)    |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|1hSVT2qncdEm.smt2                                                                           |   2.054s  |   2.054s  |   0.000s  | 0.0%|
|bench0.smt2                                                                                 |  60.428s  |  60.428s  |   0.000s  | 0.0%|
|bench0_check.smt2                                                                           |   0.009s  |   0.009s  |   0.000s  | 0.0%|
|bench0_simplified.smt2                                                                      |  60.013s  |  60.013s  |   0.000s  | 0.0%|
|bench1.smt2                                                                                 |  60.545s  |  60.545s  |   0.000s  | 0.0%|
|bench11.smt2                                                                                |   5.411s  |   5.411s  |   0.000s  | 0.0%|
|bench13.smt2                                                                                |  60.407s  |  60.407s  |   0.000s  | 0.0%|
|bench1_bw256.smt2                                                                           |  60.529s  |  60.529s  |   0.000s  | 0.0%|
|bench1_bw300.smt2                                                                           |  60.470s  |  60.470s  |   0.000s  | 0.0%|
|bench1_bw64.smt2                                                                            |  59.997s  |  59.997s  |   0.000s  | 0.0%|
|bench1_check.smt2                                                                           |   0.012s  |   0.012s  |   0.000s  | 0.0%|
|bench2.smt2                                                                                 |  60.291s  |  60.291s  |   0.000s  | 0.0%|
|bench23.smt2                                                                                |  60.346s  |  60.346s  |   0.000s  | 0.0%|
|bench25_core.smt2                                                                           |  59.913s  |  59.913s  |   0.000s  | 0.0%|
|bench27.smt2                                                                                |  60.271s  |  60.271s  |   0.000s  | 0.0%|
|bench3.smt2                                                                                 |  60.323s  |  60.323s  |   0.000s  | 0.0%|
|bench31.smt2                                                                                |  60.401s  |  60.401s  |   0.000s  | 0.0%|
|bench5.smt2                                                                                 |   5.317s  |   5.317s  |   0.000s  | 0.0%|
|bench6.smt2                                                                                 |  60.333s  |  60.333s  |   0.000s  | 0.0%|
|bench7.smt2                                                                                 |   6.669s  |   6.669s  |   0.000s  | 0.0%|
|bench_2155.smt2                                                                             |   4.789s  |   4.789s  |   0.000s  | 0.0%|
|bench_4153.smt2                                                                             |  59.924s  |  59.924s  |   0.000s  | 0.0%|
|bench_6159.smt2                                                                             |   3.879s  |   3.879s  |   0.000s  | 0.0%|
</details>