Comparing data and data


# SUMMARY
- LHS tests = 29
- RHS tests = 29
- LHS success = 26  (89.65517241379311%)
- RHS success = 26  (89.65517241379311%)


## METADATA

<details><summary>METADATA</summary>

# LHS
<pre>
Ramon benchmark for Z3
-
Job description: 
Job tag: qfbv-master
Runner: lev-ripper
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: lev-ripper
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.483s  |   1.483s  |   0.000s  | 0.0%|
|bench0.smt2                                                                                 |  30.802s  |  30.802s  |   0.000s  | 0.0%|
|bench0_check.smt2                                                                           |   0.018s  |   0.018s  |   0.000s  | 0.0%|
|bench0_simplified.smt2                                                                      |  30.214s  |  30.214s  |   0.000s  | 0.0%|
|bench1.smt2                                                                                 |  30.790s  |  30.790s  |   0.000s  | 0.0%|
|bench11.smt2                                                                                |   5.596s  |   5.596s  |   0.000s  | 0.0%|
|bench13.smt2                                                                                |  30.785s  |  30.785s  |   0.000s  | 0.0%|
|bench1_bw1024.smt2                                                                          |  30.895s  |  30.895s  |   0.000s  | 0.0%|
|bench1_bw256.smt2                                                                           |  30.788s  |  30.788s  |   0.000s  | 0.0%|
|bench1_bw300.smt2                                                                           |  30.464s  |  30.464s  |   0.000s  | 0.0%|
|bench1_bw64.smt2                                                                            |  30.133s  |  30.133s  |   0.000s  | 0.0%|
|bench1_bw8192.smt2                                                                          |  31.018s  |  31.018s  |   0.000s  | 0.0%|
|bench1_check.smt2                                                                           |   0.029s  |   0.029s  |   0.000s  | 0.0%|
|bench2.smt2                                                                                 |  30.523s  |  30.523s  |   0.000s  | 0.0%|
|bench23.smt2                                                                                |  30.638s  |  30.638s  |   0.000s  | 0.0%|
|bench25_core.smt2                                                                           |  30.048s  |  30.048s  |   0.000s  | 0.0%|
|bench27.smt2                                                                                |  30.670s  |  30.670s  |   0.000s  | 0.0%|
|bench3.smt2                                                                                 |  30.523s  |  30.523s  |   0.000s  | 0.0%|
|bench31.smt2                                                                                |  30.833s  |  30.833s  |   0.000s  | 0.0%|
|bench5.smt2                                                                                 |   5.598s  |   5.598s  |   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.483s  |   1.483s  |   0.000s  | 0.0%|
|bench0.smt2                                                                                 |  30.802s  |  30.802s  |   0.000s  | 0.0%|
|bench0_check.smt2                                                                           |   0.018s  |   0.018s  |   0.000s  | 0.0%|
|bench0_simplified.smt2                                                                      |  30.214s  |  30.214s  |   0.000s  | 0.0%|
|bench1.smt2                                                                                 |  30.790s  |  30.790s  |   0.000s  | 0.0%|
|bench11.smt2                                                                                |   5.596s  |   5.596s  |   0.000s  | 0.0%|
|bench13.smt2                                                                                |  30.785s  |  30.785s  |   0.000s  | 0.0%|
|bench1_bw1024.smt2                                                                          |  30.895s  |  30.895s  |   0.000s  | 0.0%|
|bench1_bw256.smt2                                                                           |  30.788s  |  30.788s  |   0.000s  | 0.0%|
|bench1_bw300.smt2                                                                           |  30.464s  |  30.464s  |   0.000s  | 0.0%|
|bench1_bw64.smt2                                                                            |  30.133s  |  30.133s  |   0.000s  | 0.0%|
|bench1_bw8192.smt2                                                                          |  31.018s  |  31.018s  |   0.000s  | 0.0%|
|bench1_check.smt2                                                                           |   0.029s  |   0.029s  |   0.000s  | 0.0%|
|bench2.smt2                                                                                 |  30.523s  |  30.523s  |   0.000s  | 0.0%|
|bench23.smt2                                                                                |  30.638s  |  30.638s  |   0.000s  | 0.0%|
|bench25_core.smt2                                                                           |  30.048s  |  30.048s  |   0.000s  | 0.0%|
|bench27.smt2                                                                                |  30.670s  |  30.670s  |   0.000s  | 0.0%|
|bench3.smt2                                                                                 |  30.523s  |  30.523s  |   0.000s  | 0.0%|
|bench31.smt2                                                                                |  30.833s  |  30.833s  |   0.000s  | 0.0%|
|bench5.smt2                                                                                 |   5.598s  |   5.598s  |   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.483s  |   1.483s  |   0.000s  | 0.0%|
|bench0.smt2                                                                                 |  30.802s  |  30.802s  |   0.000s  | 0.0%|
|bench0_check.smt2                                                                           |   0.018s  |   0.018s  |   0.000s  | 0.0%|
|bench0_simplified.smt2                                                                      |  30.214s  |  30.214s  |   0.000s  | 0.0%|
|bench1.smt2                                                                                 |  30.790s  |  30.790s  |   0.000s  | 0.0%|
|bench11.smt2                                                                                |   5.596s  |   5.596s  |   0.000s  | 0.0%|
|bench13.smt2                                                                                |  30.785s  |  30.785s  |   0.000s  | 0.0%|
|bench1_bw1024.smt2                                                                          |  30.895s  |  30.895s  |   0.000s  | 0.0%|
|bench1_bw256.smt2                                                                           |  30.788s  |  30.788s  |   0.000s  | 0.0%|
|bench1_bw300.smt2                                                                           |  30.464s  |  30.464s  |   0.000s  | 0.0%|
|bench1_bw64.smt2                                                                            |  30.133s  |  30.133s  |   0.000s  | 0.0%|
|bench1_bw8192.smt2                                                                          |  31.018s  |  31.018s  |   0.000s  | 0.0%|
|bench1_check.smt2                                                                           |   0.029s  |   0.029s  |   0.000s  | 0.0%|
|bench2.smt2                                                                                 |  30.523s  |  30.523s  |   0.000s  | 0.0%|
|bench23.smt2                                                                                |  30.638s  |  30.638s  |   0.000s  | 0.0%|
|bench25_core.smt2                                                                           |  30.048s  |  30.048s  |   0.000s  | 0.0%|
|bench27.smt2                                                                                |  30.670s  |  30.670s  |   0.000s  | 0.0%|
|bench3.smt2                                                                                 |  30.523s  |  30.523s  |   0.000s  | 0.0%|
|bench31.smt2                                                                                |  30.833s  |  30.833s  |   0.000s  | 0.0%|
|bench5.smt2                                                                                 |   5.598s  |   5.598s  |   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.483s  |   1.483s  |   0.000s  | 0.0%|
|bench0.smt2                                                                                 |  30.802s  |  30.802s  |   0.000s  | 0.0%|
|bench0_check.smt2                                                                           |   0.018s  |   0.018s  |   0.000s  | 0.0%|
|bench0_simplified.smt2                                                                      |  30.214s  |  30.214s  |   0.000s  | 0.0%|
|bench1.smt2                                                                                 |  30.790s  |  30.790s  |   0.000s  | 0.0%|
|bench11.smt2                                                                                |   5.596s  |   5.596s  |   0.000s  | 0.0%|
|bench13.smt2                                                                                |  30.785s  |  30.785s  |   0.000s  | 0.0%|
|bench1_bw1024.smt2                                                                          |  30.895s  |  30.895s  |   0.000s  | 0.0%|
|bench1_bw256.smt2                                                                           |  30.788s  |  30.788s  |   0.000s  | 0.0%|
|bench1_bw300.smt2                                                                           |  30.464s  |  30.464s  |   0.000s  | 0.0%|
|bench1_bw64.smt2                                                                            |  30.133s  |  30.133s  |   0.000s  | 0.0%|
|bench1_bw8192.smt2                                                                          |  31.018s  |  31.018s  |   0.000s  | 0.0%|
|bench1_check.smt2                                                                           |   0.029s  |   0.029s  |   0.000s  | 0.0%|
|bench2.smt2                                                                                 |  30.523s  |  30.523s  |   0.000s  | 0.0%|
|bench23.smt2                                                                                |  30.638s  |  30.638s  |   0.000s  | 0.0%|
|bench25_core.smt2                                                                           |  30.048s  |  30.048s  |   0.000s  | 0.0%|
|bench27.smt2                                                                                |  30.670s  |  30.670s  |   0.000s  | 0.0%|
|bench3.smt2                                                                                 |  30.523s  |  30.523s  |   0.000s  | 0.0%|
|bench31.smt2                                                                                |  30.833s  |  30.833s  |   0.000s  | 0.0%|
|bench5.smt2                                                                                 |   5.598s  |   5.598s  |   0.000s  | 0.0%|
</details>


## TOP 20 LHS FILES, BY RUNTIME

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

|FILE                                                                                       |TIME     |MEM        |
|------------|----------:|---------:|
|bench1_bw8192.smt2                                                                         |  31.018s |7257.0MiB|
|bench1_bw1024.smt2                                                                         |  30.895s |6620.0MiB|
|bench31.smt2                                                                               |  30.833s |6378.0MiB|
|bench0.smt2                                                                                |  30.802s |6400.0MiB|
|bench6.smt2                                                                                |  30.795s |6225.0MiB|
|bench1.smt2                                                                                |  30.790s |6401.0MiB|
|bench1_bw256.smt2                                                                          |  30.788s |6401.0MiB|
|bench13.smt2                                                                               |  30.785s |6375.0MiB|
|bench27.smt2                                                                               |  30.670s |3633.0MiB|
|bench23.smt2                                                                               |  30.638s |3623.0MiB|
|bench2.smt2                                                                                |  30.523s |3193.0MiB|
|bench3.smt2                                                                                |  30.523s |3186.0MiB|
|bench1_bw300.smt2                                                                          |  30.464s |3230.0MiB|
|bench0_simplified.smt2                                                                     |  30.214s |767.0MiB|
|bench1_bw64.smt2                                                                           |  30.133s |849.0MiB|
|bench_4153.smt2                                                                            |  30.076s |137.0MiB|
|bench25_core.smt2                                                                          |  30.048s |41.036MiB|
|bench1_bw512.smt2                                                                          |  27.290s |6422.0MiB|
|bench15.smt2                                                                               |  26.059s |6460.0MiB|
|bench25.smt2                                                                               |  19.899s |12.8GiB|
</details>


## TOP 20 RHS FILES, BY RUNTIME

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

|FILE                                                                                       |TIME     |MEM        |
|------------|----------:|---------:|
|bench1_bw8192.smt2                                                                         |  31.018s |7257.0MiB|
|bench1_bw1024.smt2                                                                         |  30.895s |6620.0MiB|
|bench31.smt2                                                                               |  30.833s |6378.0MiB|
|bench0.smt2                                                                                |  30.802s |6400.0MiB|
|bench6.smt2                                                                                |  30.795s |6225.0MiB|
|bench1.smt2                                                                                |  30.790s |6401.0MiB|
|bench1_bw256.smt2                                                                          |  30.788s |6401.0MiB|
|bench13.smt2                                                                               |  30.785s |6375.0MiB|
|bench27.smt2                                                                               |  30.670s |3633.0MiB|
|bench23.smt2                                                                               |  30.638s |3623.0MiB|
|bench2.smt2                                                                                |  30.523s |3193.0MiB|
|bench3.smt2                                                                                |  30.523s |3186.0MiB|
|bench1_bw300.smt2                                                                          |  30.464s |3230.0MiB|
|bench0_simplified.smt2                                                                     |  30.214s |767.0MiB|
|bench1_bw64.smt2                                                                           |  30.133s |849.0MiB|
|bench_4153.smt2                                                                            |  30.076s |137.0MiB|
|bench25_core.smt2                                                                          |  30.048s |41.036MiB|
|bench1_bw512.smt2                                                                          |  27.290s |6422.0MiB|
|bench15.smt2                                                                               |  26.059s |6460.0MiB|
|bench25.smt2                                                                               |  19.899s |12.8GiB|
</details>


## TOP 20 MEMORY INCREASE

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

|FILE                                                                                        |MEM_L         |MEM_R         |DIFF            |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|1hSVT2qncdEm.smt2                                                                           |31.148MiB|31.148MiB|0B| 0.0%|
|bench0.smt2                                                                                 |6400.0MiB|6400.0MiB|0B| 0.0%|
|bench0_check.smt2                                                                           |18.94MiB|18.94MiB|0B| 0.0%|
|bench0_simplified.smt2                                                                      |767.0MiB|767.0MiB|0B| 0.0%|
|bench1.smt2                                                                                 |6401.0MiB|6401.0MiB|0B| 0.0%|
|bench11.smt2                                                                                |1705.0MiB|1705.0MiB|0B| 0.0%|
|bench13.smt2                                                                                |6375.0MiB|6375.0MiB|0B| 0.0%|
|bench1_bw1024.smt2                                                                          |6620.0MiB|6620.0MiB|0B| 0.0%|
|bench1_bw256.smt2                                                                           |6401.0MiB|6401.0MiB|0B| 0.0%|
|bench1_bw300.smt2                                                                           |3230.0MiB|3230.0MiB|0B| 0.0%|
|bench1_bw64.smt2                                                                            |849.0MiB|849.0MiB|0B| 0.0%|
|bench1_bw8192.smt2                                                                          |7257.0MiB|7257.0MiB|0B| 0.0%|
|bench1_check.smt2                                                                           |19.224MiB|19.224MiB|0B| 0.0%|
|bench2.smt2                                                                                 |3193.0MiB|3193.0MiB|0B| 0.0%|
|bench23.smt2                                                                                |3623.0MiB|3623.0MiB|0B| 0.0%|
|bench25_core.smt2                                                                           |41.036MiB|41.036MiB|0B| 0.0%|
|bench27.smt2                                                                                |3633.0MiB|3633.0MiB|0B| 0.0%|
|bench3.smt2                                                                                 |3186.0MiB|3186.0MiB|0B| 0.0%|
|bench31.smt2                                                                                |6378.0MiB|6378.0MiB|0B| 0.0%|
|bench5.smt2                                                                                 |1700.0MiB|1700.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.148MiB|31.148MiB|0B| 0.0%|
|bench0.smt2                                                                                 |6400.0MiB|6400.0MiB|0B| 0.0%|
|bench0_check.smt2                                                                           |18.94MiB|18.94MiB|0B| 0.0%|
|bench0_simplified.smt2                                                                      |767.0MiB|767.0MiB|0B| 0.0%|
|bench1.smt2                                                                                 |6401.0MiB|6401.0MiB|0B| 0.0%|
|bench11.smt2                                                                                |1705.0MiB|1705.0MiB|0B| 0.0%|
|bench13.smt2                                                                                |6375.0MiB|6375.0MiB|0B| 0.0%|
|bench1_bw1024.smt2                                                                          |6620.0MiB|6620.0MiB|0B| 0.0%|
|bench1_bw256.smt2                                                                           |6401.0MiB|6401.0MiB|0B| 0.0%|
|bench1_bw300.smt2                                                                           |3230.0MiB|3230.0MiB|0B| 0.0%|
|bench1_bw64.smt2                                                                            |849.0MiB|849.0MiB|0B| 0.0%|
|bench1_bw8192.smt2                                                                          |7257.0MiB|7257.0MiB|0B| 0.0%|
|bench1_check.smt2                                                                           |19.224MiB|19.224MiB|0B| 0.0%|
|bench2.smt2                                                                                 |3193.0MiB|3193.0MiB|0B| 0.0%|
|bench23.smt2                                                                                |3623.0MiB|3623.0MiB|0B| 0.0%|
|bench25_core.smt2                                                                           |41.036MiB|41.036MiB|0B| 0.0%|
|bench27.smt2                                                                                |3633.0MiB|3633.0MiB|0B| 0.0%|
|bench3.smt2                                                                                 |3186.0MiB|3186.0MiB|0B| 0.0%|
|bench31.smt2                                                                                |6378.0MiB|6378.0MiB|0B| 0.0%|
|bench5.smt2                                                                                 |1700.0MiB|1700.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.148MiB|31.148MiB|0B| 0.0%|
|bench0.smt2                                                                                 |6400.0MiB|6400.0MiB|0B| 0.0%|
|bench0_check.smt2                                                                           |18.94MiB|18.94MiB|0B| 0.0%|
|bench0_simplified.smt2                                                                      |767.0MiB|767.0MiB|0B| 0.0%|
|bench1.smt2                                                                                 |6401.0MiB|6401.0MiB|0B| 0.0%|
|bench11.smt2                                                                                |1705.0MiB|1705.0MiB|0B| 0.0%|
|bench13.smt2                                                                                |6375.0MiB|6375.0MiB|0B| 0.0%|
|bench1_bw1024.smt2                                                                          |6620.0MiB|6620.0MiB|0B| 0.0%|
|bench1_bw256.smt2                                                                           |6401.0MiB|6401.0MiB|0B| 0.0%|
|bench1_bw300.smt2                                                                           |3230.0MiB|3230.0MiB|0B| 0.0%|
|bench1_bw64.smt2                                                                            |849.0MiB|849.0MiB|0B| 0.0%|
|bench1_bw8192.smt2                                                                          |7257.0MiB|7257.0MiB|0B| 0.0%|
|bench1_check.smt2                                                                           |19.224MiB|19.224MiB|0B| 0.0%|
|bench2.smt2                                                                                 |3193.0MiB|3193.0MiB|0B| 0.0%|
|bench23.smt2                                                                                |3623.0MiB|3623.0MiB|0B| 0.0%|
|bench25_core.smt2                                                                           |41.036MiB|41.036MiB|0B| 0.0%|
|bench27.smt2                                                                                |3633.0MiB|3633.0MiB|0B| 0.0%|
|bench3.smt2                                                                                 |3186.0MiB|3186.0MiB|0B| 0.0%|
|bench31.smt2                                                                                |6378.0MiB|6378.0MiB|0B| 0.0%|
|bench5.smt2                                                                                 |1700.0MiB|1700.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.148MiB|31.148MiB|0B| 0.0%|
|bench0.smt2                                                                                 |6400.0MiB|6400.0MiB|0B| 0.0%|
|bench0_check.smt2                                                                           |18.94MiB|18.94MiB|0B| 0.0%|
|bench0_simplified.smt2                                                                      |767.0MiB|767.0MiB|0B| 0.0%|
|bench1.smt2                                                                                 |6401.0MiB|6401.0MiB|0B| 0.0%|
|bench11.smt2                                                                                |1705.0MiB|1705.0MiB|0B| 0.0%|
|bench13.smt2                                                                                |6375.0MiB|6375.0MiB|0B| 0.0%|
|bench1_bw1024.smt2                                                                          |6620.0MiB|6620.0MiB|0B| 0.0%|
|bench1_bw256.smt2                                                                           |6401.0MiB|6401.0MiB|0B| 0.0%|
|bench1_bw300.smt2                                                                           |3230.0MiB|3230.0MiB|0B| 0.0%|
|bench1_bw64.smt2                                                                            |849.0MiB|849.0MiB|0B| 0.0%|
|bench1_bw8192.smt2                                                                          |7257.0MiB|7257.0MiB|0B| 0.0%|
|bench1_check.smt2                                                                           |19.224MiB|19.224MiB|0B| 0.0%|
|bench2.smt2                                                                                 |3193.0MiB|3193.0MiB|0B| 0.0%|
|bench23.smt2                                                                                |3623.0MiB|3623.0MiB|0B| 0.0%|
|bench25_core.smt2                                                                           |41.036MiB|41.036MiB|0B| 0.0%|
|bench27.smt2                                                                                |3633.0MiB|3633.0MiB|0B| 0.0%|
|bench3.smt2                                                                                 |3186.0MiB|3186.0MiB|0B| 0.0%|
|bench31.smt2                                                                                |6378.0MiB|6378.0MiB|0B| 0.0%|
|bench5.smt2                                                                                 |1700.0MiB|1700.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        |
|------------|----------:|---------:|
|bench25.smt2                                                                               |  19.899s |12.8GiB|
|bench1_bw8192.smt2                                                                         |  31.018s |7257.0MiB|
|bench1_bw1024.smt2                                                                         |  30.895s |6620.0MiB|
|bench15.smt2                                                                               |  26.059s |6460.0MiB|
|bench1_bw512.smt2                                                                          |  27.290s |6422.0MiB|
|bench1.smt2                                                                                |  30.790s |6401.0MiB|
|bench1_bw256.smt2                                                                          |  30.788s |6401.0MiB|
|bench0.smt2                                                                                |  30.802s |6400.0MiB|
|bench31.smt2                                                                               |  30.833s |6378.0MiB|
|bench13.smt2                                                                               |  30.785s |6375.0MiB|
|bench6.smt2                                                                                |  30.795s |6225.0MiB|
|bench27.smt2                                                                               |  30.670s |3633.0MiB|
|bench23.smt2                                                                               |  30.638s |3623.0MiB|
|bench1_bw300.smt2                                                                          |  30.464s |3230.0MiB|
|bench2.smt2                                                                                |  30.523s |3193.0MiB|
|bench3.smt2                                                                                |  30.523s |3186.0MiB|
|bench7.smt2                                                                                |   7.863s |1780.0MiB|
|bench11.smt2                                                                               |   5.596s |1705.0MiB|
|bench5.smt2                                                                                |   5.598s |1700.0MiB|
|bench1_bw64.smt2                                                                           |  30.133s |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        |
|------------|----------:|---------:|
|bench25.smt2                                                                               |  19.899s |12.8GiB|
|bench1_bw8192.smt2                                                                         |  31.018s |7257.0MiB|
|bench1_bw1024.smt2                                                                         |  30.895s |6620.0MiB|
|bench15.smt2                                                                               |  26.059s |6460.0MiB|
|bench1_bw512.smt2                                                                          |  27.290s |6422.0MiB|
|bench1.smt2                                                                                |  30.790s |6401.0MiB|
|bench1_bw256.smt2                                                                          |  30.788s |6401.0MiB|
|bench0.smt2                                                                                |  30.802s |6400.0MiB|
|bench31.smt2                                                                               |  30.833s |6378.0MiB|
|bench13.smt2                                                                               |  30.785s |6375.0MiB|
|bench6.smt2                                                                                |  30.795s |6225.0MiB|
|bench27.smt2                                                                               |  30.670s |3633.0MiB|
|bench23.smt2                                                                               |  30.638s |3623.0MiB|
|bench1_bw300.smt2                                                                          |  30.464s |3230.0MiB|
|bench2.smt2                                                                                |  30.523s |3193.0MiB|
|bench3.smt2                                                                                |  30.523s |3186.0MiB|
|bench7.smt2                                                                                |   7.863s |1780.0MiB|
|bench11.smt2                                                                               |   5.596s |1705.0MiB|
|bench5.smt2                                                                                |   5.598s |1700.0MiB|
|bench1_bw64.smt2                                                                           |  30.133s |849.0MiB|
</details>


## FULL COMPARISON

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

|FILE                                                                                        |TIME_L     |TIME_R     |DIFF(s)    |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|1hSVT2qncdEm.smt2                                                                           |   1.483s  |   1.483s  |   0.000s  | 0.0%|
|bench0.smt2                                                                                 |  30.802s  |  30.802s  |   0.000s  | 0.0%|
|bench0_check.smt2                                                                           |   0.018s  |   0.018s  |   0.000s  | 0.0%|
|bench0_simplified.smt2                                                                      |  30.214s  |  30.214s  |   0.000s  | 0.0%|
|bench1.smt2                                                                                 |  30.790s  |  30.790s  |   0.000s  | 0.0%|
|bench11.smt2                                                                                |   5.596s  |   5.596s  |   0.000s  | 0.0%|
|bench13.smt2                                                                                |  30.785s  |  30.785s  |   0.000s  | 0.0%|
|bench1_bw1024.smt2                                                                          |  30.895s  |  30.895s  |   0.000s  | 0.0%|
|bench1_bw256.smt2                                                                           |  30.788s  |  30.788s  |   0.000s  | 0.0%|
|bench1_bw300.smt2                                                                           |  30.464s  |  30.464s  |   0.000s  | 0.0%|
|bench1_bw64.smt2                                                                            |  30.133s  |  30.133s  |   0.000s  | 0.0%|
|bench1_bw8192.smt2                                                                          |  31.018s  |  31.018s  |   0.000s  | 0.0%|
|bench1_check.smt2                                                                           |   0.029s  |   0.029s  |   0.000s  | 0.0%|
|bench2.smt2                                                                                 |  30.523s  |  30.523s  |   0.000s  | 0.0%|
|bench23.smt2                                                                                |  30.638s  |  30.638s  |   0.000s  | 0.0%|
|bench25_core.smt2                                                                           |  30.048s  |  30.048s  |   0.000s  | 0.0%|
|bench27.smt2                                                                                |  30.670s  |  30.670s  |   0.000s  | 0.0%|
|bench3.smt2                                                                                 |  30.523s  |  30.523s  |   0.000s  | 0.0%|
|bench31.smt2                                                                                |  30.833s  |  30.833s  |   0.000s  | 0.0%|
|bench5.smt2                                                                                 |   5.598s  |   5.598s  |   0.000s  | 0.0%|
|bench6.smt2                                                                                 |  30.795s  |  30.795s  |   0.000s  | 0.0%|
|bench7.smt2                                                                                 |   7.863s  |   7.863s  |   0.000s  | 0.0%|
|bench_2155.smt2                                                                             |   3.665s  |   3.665s  |   0.000s  | 0.0%|
|bench_4153.smt2                                                                             |  30.076s  |  30.076s  |   0.000s  | 0.0%|
|bench_6159.smt2                                                                             |   3.662s  |   3.662s  |   0.000s  | 0.0%|
</details>