Comparing data and data


# SUMMARY
- LHS tests = 44
- RHS tests = 44
- LHS success = 0  (0.0%)
- RHS success = 0  (0.0%)


## METADATA

<details><summary>METADATA</summary>

# LHS
<pre>
Ramon benchmark for OpenSMT
-
Job description: 
Job tag: OpenSMT-sequential-smtcomp2025-QF_NRA-timeout_20min
Runner: rise-runner-2
OpenSMT repo: usi-verification-and-security/opensmt
OpenSMT commit: e4c8030849e6c2896735567b5d866fdccc70e9ae
OpenSMT branch: master
OpenSMT options: ""
OpenSMT timeout: 1200
OpenSMT inputs: inputs/smt_comp_2025_parallel/QF_NRA
OpenSMT commit message: Updated MacOS CircleCI resource class

</pre>
# RHS
<pre>
Ramon benchmark for OpenSMT
-
Job description: 
Job tag: OpenSMT-sequential-smtcomp2025-QF_NRA-timeout_20min
Runner: rise-runner-2
OpenSMT repo: usi-verification-and-security/opensmt
OpenSMT commit: e4c8030849e6c2896735567b5d866fdccc70e9ae
OpenSMT branch: master
OpenSMT options: ""
OpenSMT timeout: 1200
OpenSMT inputs: inputs/smt_comp_2025_parallel/QF_NRA
OpenSMT commit message: Updated MacOS CircleCI resource class

</pre>
</details>


## TOP 20 RUNTIME INCREASE

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

|FILE                                                                                        |TIME_L     |TIME_R     |DIFF(s)    |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
</details>


## TOP 20 RUNTIME INCREASE (RELATIVE)

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

|FILE                                                                                        |TIME_L     |TIME_R     |DIFF(s)    |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
</details>


## TOP 20 RUNTIME DECREASE

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

|FILE                                                                                        |TIME_L     |TIME_R     |DIFF(s)    |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
</details>


## TOP 20 RUNTIME DECREASE (RELATIVE)

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

|FILE                                                                                        |TIME_L     |TIME_R     |DIFF(s)    |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
</details>


## TOP 20 LHS FILES, BY RUNTIME

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

|FILE                                                                                       |TIME     |MEM        |
|------------|----------:|---------:|
|scrambled114923.smt2                                                                       |   0.127s |34.548MiB|
|scrambled91241.smt2                                                                        |   0.097s |27.524MiB|
|scrambled78428.smt2                                                                        |   0.090s |27.4MiB|
|scrambled60239.smt2                                                                        |   0.088s |24.868MiB|
|scrambled27426.smt2                                                                        |   0.086s |27.176MiB|
|scrambled6476.smt2                                                                         |   0.084s |30.312MiB|
|scrambled121780.smt2                                                                       |   0.080s |30.264MiB|
|scrambled70990.smt2                                                                        |   0.078s |20.94MiB|
|scrambled41575.smt2                                                                        |   0.077s |23.364MiB|
|scrambled61896.smt2                                                                        |   0.060s |18.7MiB|
|scrambled82241.smt2                                                                        |   0.046s |5616.0KiB|
|scrambled42946.smt2                                                                        |   0.044s |4900.0KiB|
|scrambled34121.smt2                                                                        |   0.041s |3744.0KiB|
|scrambled73220.smt2                                                                        |   0.038s |7616.0KiB|
|scrambled94768.smt2                                                                        |   0.037s |2268.0KiB|
|scrambled32701.smt2                                                                        |   0.037s |2296.0KiB|
|scrambled36539.smt2                                                                        |   0.032s |4948.0KiB|
|scrambled14880.smt2                                                                        |   0.030s |4944.0KiB|
|scrambled7586.smt2                                                                         |   0.030s |4904.0KiB|
|scrambled32269.smt2                                                                        |   0.030s |4432.0KiB|
</details>


## TOP 20 RHS FILES, BY RUNTIME

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

|FILE                                                                                       |TIME     |MEM        |
|------------|----------:|---------:|
|scrambled114923.smt2                                                                       |   0.127s |34.548MiB|
|scrambled91241.smt2                                                                        |   0.097s |27.524MiB|
|scrambled78428.smt2                                                                        |   0.090s |27.4MiB|
|scrambled60239.smt2                                                                        |   0.088s |24.868MiB|
|scrambled27426.smt2                                                                        |   0.086s |27.176MiB|
|scrambled6476.smt2                                                                         |   0.084s |30.312MiB|
|scrambled121780.smt2                                                                       |   0.080s |30.264MiB|
|scrambled70990.smt2                                                                        |   0.078s |20.94MiB|
|scrambled41575.smt2                                                                        |   0.077s |23.364MiB|
|scrambled61896.smt2                                                                        |   0.060s |18.7MiB|
|scrambled82241.smt2                                                                        |   0.046s |5616.0KiB|
|scrambled42946.smt2                                                                        |   0.044s |4900.0KiB|
|scrambled34121.smt2                                                                        |   0.041s |3744.0KiB|
|scrambled73220.smt2                                                                        |   0.038s |7616.0KiB|
|scrambled94768.smt2                                                                        |   0.037s |2268.0KiB|
|scrambled32701.smt2                                                                        |   0.037s |2296.0KiB|
|scrambled36539.smt2                                                                        |   0.032s |4948.0KiB|
|scrambled14880.smt2                                                                        |   0.030s |4944.0KiB|
|scrambled7586.smt2                                                                         |   0.030s |4904.0KiB|
|scrambled32269.smt2                                                                        |   0.030s |4432.0KiB|
</details>


## TOP 20 MEMORY INCREASE

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

|FILE                                                                                        |MEM_L         |MEM_R         |DIFF            |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
</details>


## TOP 20 MEMORY INCREASE (RELATIVE)

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

|FILE                                                                                        |MEM_L         |MEM_R         |DIFF            |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
</details>


## TOP 20 MEMORY DECREASE

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

|FILE                                                                                        |MEM_L         |MEM_R         |DIFF            |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
</details>


## TOP 20 MEMORY DECREASE (RELATIVE)

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

|FILE                                                                                        |MEM_L         |MEM_R         |DIFF            |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
</details>


## TOP 20 LHS FILES, BY PEAK MEMORY USAGE

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

|FILE                                                                                       |TIME     |MEM        |
|------------|----------:|---------:|
|scrambled114923.smt2                                                                       |   0.127s |34.548MiB|
|scrambled6476.smt2                                                                         |   0.084s |30.312MiB|
|scrambled121780.smt2                                                                       |   0.080s |30.264MiB|
|scrambled91241.smt2                                                                        |   0.097s |27.524MiB|
|scrambled78428.smt2                                                                        |   0.090s |27.4MiB|
|scrambled27426.smt2                                                                        |   0.086s |27.176MiB|
|scrambled60239.smt2                                                                        |   0.088s |24.868MiB|
|scrambled41575.smt2                                                                        |   0.077s |23.364MiB|
|scrambled70990.smt2                                                                        |   0.078s |20.94MiB|
|scrambled61896.smt2                                                                        |   0.060s |18.7MiB|
|scrambled73220.smt2                                                                        |   0.038s |7616.0KiB|
|scrambled100912.smt2                                                                       |   0.025s |6808.0KiB|
|scrambled117334.smt2                                                                       |   0.020s |6264.0KiB|
|scrambled18831.smt2                                                                        |   0.018s |5620.0KiB|
|scrambled82241.smt2                                                                        |   0.046s |5616.0KiB|
|scrambled112083.smt2                                                                       |   0.017s |5428.0KiB|
|scrambled112144.smt2                                                                       |   0.019s |5180.0KiB|
|scrambled36539.smt2                                                                        |   0.032s |4948.0KiB|
|scrambled14880.smt2                                                                        |   0.030s |4944.0KiB|
|scrambled74869.smt2                                                                        |   0.017s |4936.0KiB|
</details>


## TOP 20 RHS FILES, BY PEAK MEMORY USAGE

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

|FILE                                                                                       |TIME     |MEM        |
|------------|----------:|---------:|
|scrambled114923.smt2                                                                       |   0.127s |34.548MiB|
|scrambled6476.smt2                                                                         |   0.084s |30.312MiB|
|scrambled121780.smt2                                                                       |   0.080s |30.264MiB|
|scrambled91241.smt2                                                                        |   0.097s |27.524MiB|
|scrambled78428.smt2                                                                        |   0.090s |27.4MiB|
|scrambled27426.smt2                                                                        |   0.086s |27.176MiB|
|scrambled60239.smt2                                                                        |   0.088s |24.868MiB|
|scrambled41575.smt2                                                                        |   0.077s |23.364MiB|
|scrambled70990.smt2                                                                        |   0.078s |20.94MiB|
|scrambled61896.smt2                                                                        |   0.060s |18.7MiB|
|scrambled73220.smt2                                                                        |   0.038s |7616.0KiB|
|scrambled100912.smt2                                                                       |   0.025s |6808.0KiB|
|scrambled117334.smt2                                                                       |   0.020s |6264.0KiB|
|scrambled18831.smt2                                                                        |   0.018s |5620.0KiB|
|scrambled82241.smt2                                                                        |   0.046s |5616.0KiB|
|scrambled112083.smt2                                                                       |   0.017s |5428.0KiB|
|scrambled112144.smt2                                                                       |   0.019s |5180.0KiB|
|scrambled36539.smt2                                                                        |   0.032s |4948.0KiB|
|scrambled14880.smt2                                                                        |   0.030s |4944.0KiB|
|scrambled74869.smt2                                                                        |   0.017s |4936.0KiB|
</details>


## FULL COMPARISON

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

|FILE                                                                                        |TIME_L     |TIME_R     |DIFF(s)    |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
</details>