Comparing data and data


# SUMMARY
- LHS tests = 10
- RHS tests = 10
- LHS success = 10  (100.0%)
- RHS success = 10  (100.0%)


## METADATA

<details><summary>METADATA</summary>

# LHS
<pre>
Ramon benchmark for AriParti
-
Job description: 
Job tag: smt-sls
Runner: lev-ripper
AriParti repo: shaowei-cai-group/AriParti
AriParti commit: 8f131f9ccdfff7303fa29d9eb28f5cd893c170d7
AriParti branch: main
AriParti options: "--ariparti-solver=bin/cvc5-base --ariparti-time-limit=30 --ariparti-max-running-tasks=4"
AriParti inputs: inputs/QF_LIA
AriParti commit message: docs: updated 'Cite This Work' section in README with official citation.

</pre>
# RHS
<pre>
Ramon benchmark for AriParti
-
Job description: 
Job tag: smt-sls
Runner: lev-ripper
AriParti repo: shaowei-cai-group/AriParti
AriParti commit: 8f131f9ccdfff7303fa29d9eb28f5cd893c170d7
AriParti branch: main
AriParti options: "--ariparti-solver=bin/cvc5-base --ariparti-time-limit=30 --ariparti-max-running-tasks=4"
AriParti inputs: inputs/QF_LIA
AriParti commit message: docs: updated 'Cite This Work' section in README with official citation.

</pre>
</details>


## TOP 20 RUNTIME INCREASE

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

|FILE                                                                                        |TIME_L     |TIME_R     |DIFF(s)    |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|02-treeWeight-570-8leaves.smt2                                                              |   0.500s  |   0.500s  |   0.000s  | 0.0%|
|06-treeWeight-739-8leaves.smt2                                                              |   0.211s  |   0.211s  |   0.000s  | 0.0%|
|064-incremental_scheduling-15092-0.smt2                                                     |   8.313s  |   8.313s  |   0.000s  | 0.0%|
|07-treeWeight-569-8leaves.smt2                                                              |   0.303s  |   0.303s  |   0.000s  | 0.0%|
|10-12.slack.smt2                                                                            |   0.065s  |   0.065s  |   0.000s  | 0.0%|
|10-13.slack.smt2                                                                            |   0.064s  |   0.064s  |   0.000s  | 0.0%|
|10-15.smt2                                                                                  |   0.060s  |   0.060s  |   0.000s  | 0.0%|
|10-28.smt2                                                                                  |   0.065s  |   0.065s  |   0.000s  | 0.0%|
|10-29.smt2                                                                                  |   0.064s  |   0.064s  |   0.000s  | 0.0%|
|10-30.slack.smt2                                                                            |   0.068s  |   0.068s  |   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(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|02-treeWeight-570-8leaves.smt2                                                              |   0.500s  |   0.500s  |   0.000s  | 0.0%|
|06-treeWeight-739-8leaves.smt2                                                              |   0.211s  |   0.211s  |   0.000s  | 0.0%|
|064-incremental_scheduling-15092-0.smt2                                                     |   8.313s  |   8.313s  |   0.000s  | 0.0%|
|07-treeWeight-569-8leaves.smt2                                                              |   0.303s  |   0.303s  |   0.000s  | 0.0%|
|10-12.slack.smt2                                                                            |   0.065s  |   0.065s  |   0.000s  | 0.0%|
|10-13.slack.smt2                                                                            |   0.064s  |   0.064s  |   0.000s  | 0.0%|
|10-15.smt2                                                                                  |   0.060s  |   0.060s  |   0.000s  | 0.0%|
|10-28.smt2                                                                                  |   0.065s  |   0.065s  |   0.000s  | 0.0%|
|10-29.smt2                                                                                  |   0.064s  |   0.064s  |   0.000s  | 0.0%|
|10-30.slack.smt2                                                                            |   0.068s  |   0.068s  |   0.000s  | 0.0%|
</details>


## TOP 20 RUNTIME DECREASE

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

|FILE                                                                                        |TIME_L     |TIME_R     |DIFF(s)    |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|02-treeWeight-570-8leaves.smt2                                                              |   0.500s  |   0.500s  |   0.000s  | 0.0%|
|06-treeWeight-739-8leaves.smt2                                                              |   0.211s  |   0.211s  |   0.000s  | 0.0%|
|064-incremental_scheduling-15092-0.smt2                                                     |   8.313s  |   8.313s  |   0.000s  | 0.0%|
|07-treeWeight-569-8leaves.smt2                                                              |   0.303s  |   0.303s  |   0.000s  | 0.0%|
|10-12.slack.smt2                                                                            |   0.065s  |   0.065s  |   0.000s  | 0.0%|
|10-13.slack.smt2                                                                            |   0.064s  |   0.064s  |   0.000s  | 0.0%|
|10-15.smt2                                                                                  |   0.060s  |   0.060s  |   0.000s  | 0.0%|
|10-28.smt2                                                                                  |   0.065s  |   0.065s  |   0.000s  | 0.0%|
|10-29.smt2                                                                                  |   0.064s  |   0.064s  |   0.000s  | 0.0%|
|10-30.slack.smt2                                                                            |   0.068s  |   0.068s  |   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(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|02-treeWeight-570-8leaves.smt2                                                              |   0.500s  |   0.500s  |   0.000s  | 0.0%|
|06-treeWeight-739-8leaves.smt2                                                              |   0.211s  |   0.211s  |   0.000s  | 0.0%|
|064-incremental_scheduling-15092-0.smt2                                                     |   8.313s  |   8.313s  |   0.000s  | 0.0%|
|07-treeWeight-569-8leaves.smt2                                                              |   0.303s  |   0.303s  |   0.000s  | 0.0%|
|10-12.slack.smt2                                                                            |   0.065s  |   0.065s  |   0.000s  | 0.0%|
|10-13.slack.smt2                                                                            |   0.064s  |   0.064s  |   0.000s  | 0.0%|
|10-15.smt2                                                                                  |   0.060s  |   0.060s  |   0.000s  | 0.0%|
|10-28.smt2                                                                                  |   0.065s  |   0.065s  |   0.000s  | 0.0%|
|10-29.smt2                                                                                  |   0.064s  |   0.064s  |   0.000s  | 0.0%|
|10-30.slack.smt2                                                                            |   0.068s  |   0.068s  |   0.000s  | 0.0%|
</details>


## TOP 20 LHS FILES, BY RUNTIME

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

|FILE                                                                                       |TIME     |MEM        |
|------------|----------:|---------:|
|064-incremental_scheduling-15092-0.smt2                                                    |   8.313s |129.0MiB|
|02-treeWeight-570-8leaves.smt2                                                             |   0.500s |64.088MiB|
|07-treeWeight-569-8leaves.smt2                                                             |   0.303s |58.244MiB|
|06-treeWeight-739-8leaves.smt2                                                             |   0.211s |57.32MiB|
|10-30.slack.smt2                                                                           |   0.068s |26.976MiB|
|10-28.smt2                                                                                 |   0.065s |19.52MiB|
|10-12.slack.smt2                                                                           |   0.065s |10.24MiB|
|10-29.smt2                                                                                 |   0.064s |18.792MiB|
|10-13.slack.smt2                                                                           |   0.064s |16.636MiB|
|10-15.smt2                                                                                 |   0.060s |12.888MiB|
</details>


## TOP 20 RHS FILES, BY RUNTIME

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

|FILE                                                                                       |TIME     |MEM        |
|------------|----------:|---------:|
|064-incremental_scheduling-15092-0.smt2                                                    |   8.313s |129.0MiB|
|02-treeWeight-570-8leaves.smt2                                                             |   0.500s |64.088MiB|
|07-treeWeight-569-8leaves.smt2                                                             |   0.303s |58.244MiB|
|06-treeWeight-739-8leaves.smt2                                                             |   0.211s |57.32MiB|
|10-30.slack.smt2                                                                           |   0.068s |26.976MiB|
|10-28.smt2                                                                                 |   0.065s |19.52MiB|
|10-12.slack.smt2                                                                           |   0.065s |10.24MiB|
|10-29.smt2                                                                                 |   0.064s |18.792MiB|
|10-13.slack.smt2                                                                           |   0.064s |16.636MiB|
|10-15.smt2                                                                                 |   0.060s |12.888MiB|
</details>


## TOP 20 MEMORY INCREASE

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

|FILE                                                                                        |MEM_L         |MEM_R         |DIFF            |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|02-treeWeight-570-8leaves.smt2                                                              |64.088MiB|64.088MiB|0B| 0.0%|
|06-treeWeight-739-8leaves.smt2                                                              |57.32MiB|57.32MiB|0B| 0.0%|
|064-incremental_scheduling-15092-0.smt2                                                     |129.0MiB|129.0MiB|0B| 0.0%|
|07-treeWeight-569-8leaves.smt2                                                              |58.244MiB|58.244MiB|0B| 0.0%|
|10-12.slack.smt2                                                                            |10.24MiB|10.24MiB|0B| 0.0%|
|10-13.slack.smt2                                                                            |16.636MiB|16.636MiB|0B| 0.0%|
|10-15.smt2                                                                                  |12.888MiB|12.888MiB|0B| 0.0%|
|10-28.smt2                                                                                  |19.52MiB|19.52MiB|0B| 0.0%|
|10-29.smt2                                                                                  |18.792MiB|18.792MiB|0B| 0.0%|
|10-30.slack.smt2                                                                            |26.976MiB|26.976MiB|0B| 0.0%|
</details>


## TOP 20 MEMORY INCREASE (RELATIVE)

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

|FILE                                                                                        |MEM_L         |MEM_R         |DIFF            |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|02-treeWeight-570-8leaves.smt2                                                              |64.088MiB|64.088MiB|0B| 0.0%|
|06-treeWeight-739-8leaves.smt2                                                              |57.32MiB|57.32MiB|0B| 0.0%|
|064-incremental_scheduling-15092-0.smt2                                                     |129.0MiB|129.0MiB|0B| 0.0%|
|07-treeWeight-569-8leaves.smt2                                                              |58.244MiB|58.244MiB|0B| 0.0%|
|10-12.slack.smt2                                                                            |10.24MiB|10.24MiB|0B| 0.0%|
|10-13.slack.smt2                                                                            |16.636MiB|16.636MiB|0B| 0.0%|
|10-15.smt2                                                                                  |12.888MiB|12.888MiB|0B| 0.0%|
|10-28.smt2                                                                                  |19.52MiB|19.52MiB|0B| 0.0%|
|10-29.smt2                                                                                  |18.792MiB|18.792MiB|0B| 0.0%|
|10-30.slack.smt2                                                                            |26.976MiB|26.976MiB|0B| 0.0%|
</details>


## TOP 20 MEMORY DECREASE

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

|FILE                                                                                        |MEM_L         |MEM_R         |DIFF            |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|02-treeWeight-570-8leaves.smt2                                                              |64.088MiB|64.088MiB|0B| 0.0%|
|06-treeWeight-739-8leaves.smt2                                                              |57.32MiB|57.32MiB|0B| 0.0%|
|064-incremental_scheduling-15092-0.smt2                                                     |129.0MiB|129.0MiB|0B| 0.0%|
|07-treeWeight-569-8leaves.smt2                                                              |58.244MiB|58.244MiB|0B| 0.0%|
|10-12.slack.smt2                                                                            |10.24MiB|10.24MiB|0B| 0.0%|
|10-13.slack.smt2                                                                            |16.636MiB|16.636MiB|0B| 0.0%|
|10-15.smt2                                                                                  |12.888MiB|12.888MiB|0B| 0.0%|
|10-28.smt2                                                                                  |19.52MiB|19.52MiB|0B| 0.0%|
|10-29.smt2                                                                                  |18.792MiB|18.792MiB|0B| 0.0%|
|10-30.slack.smt2                                                                            |26.976MiB|26.976MiB|0B| 0.0%|
</details>


## TOP 20 MEMORY DECREASE (RELATIVE)

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

|FILE                                                                                        |MEM_L         |MEM_R         |DIFF            |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|02-treeWeight-570-8leaves.smt2                                                              |64.088MiB|64.088MiB|0B| 0.0%|
|06-treeWeight-739-8leaves.smt2                                                              |57.32MiB|57.32MiB|0B| 0.0%|
|064-incremental_scheduling-15092-0.smt2                                                     |129.0MiB|129.0MiB|0B| 0.0%|
|07-treeWeight-569-8leaves.smt2                                                              |58.244MiB|58.244MiB|0B| 0.0%|
|10-12.slack.smt2                                                                            |10.24MiB|10.24MiB|0B| 0.0%|
|10-13.slack.smt2                                                                            |16.636MiB|16.636MiB|0B| 0.0%|
|10-15.smt2                                                                                  |12.888MiB|12.888MiB|0B| 0.0%|
|10-28.smt2                                                                                  |19.52MiB|19.52MiB|0B| 0.0%|
|10-29.smt2                                                                                  |18.792MiB|18.792MiB|0B| 0.0%|
|10-30.slack.smt2                                                                            |26.976MiB|26.976MiB|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        |
|------------|----------:|---------:|
|064-incremental_scheduling-15092-0.smt2                                                    |   8.313s |129.0MiB|
|02-treeWeight-570-8leaves.smt2                                                             |   0.500s |64.088MiB|
|07-treeWeight-569-8leaves.smt2                                                             |   0.303s |58.244MiB|
|06-treeWeight-739-8leaves.smt2                                                             |   0.211s |57.32MiB|
|10-30.slack.smt2                                                                           |   0.068s |26.976MiB|
|10-28.smt2                                                                                 |   0.065s |19.52MiB|
|10-29.smt2                                                                                 |   0.064s |18.792MiB|
|10-13.slack.smt2                                                                           |   0.064s |16.636MiB|
|10-15.smt2                                                                                 |   0.060s |12.888MiB|
|10-12.slack.smt2                                                                           |   0.065s |10.24MiB|
</details>


## TOP 20 RHS FILES, BY PEAK MEMORY USAGE

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

|FILE                                                                                       |TIME     |MEM        |
|------------|----------:|---------:|
|064-incremental_scheduling-15092-0.smt2                                                    |   8.313s |129.0MiB|
|02-treeWeight-570-8leaves.smt2                                                             |   0.500s |64.088MiB|
|07-treeWeight-569-8leaves.smt2                                                             |   0.303s |58.244MiB|
|06-treeWeight-739-8leaves.smt2                                                             |   0.211s |57.32MiB|
|10-30.slack.smt2                                                                           |   0.068s |26.976MiB|
|10-28.smt2                                                                                 |   0.065s |19.52MiB|
|10-29.smt2                                                                                 |   0.064s |18.792MiB|
|10-13.slack.smt2                                                                           |   0.064s |16.636MiB|
|10-15.smt2                                                                                 |   0.060s |12.888MiB|
|10-12.slack.smt2                                                                           |   0.065s |10.24MiB|
</details>


## FULL COMPARISON

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

|FILE                                                                                        |TIME_L     |TIME_R     |DIFF(s)    |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|02-treeWeight-570-8leaves.smt2                                                              |   0.500s  |   0.500s  |   0.000s  | 0.0%|
|06-treeWeight-739-8leaves.smt2                                                              |   0.211s  |   0.211s  |   0.000s  | 0.0%|
|064-incremental_scheduling-15092-0.smt2                                                     |   8.313s  |   8.313s  |   0.000s  | 0.0%|
|07-treeWeight-569-8leaves.smt2                                                              |   0.303s  |   0.303s  |   0.000s  | 0.0%|
|10-12.slack.smt2                                                                            |   0.065s  |   0.065s  |   0.000s  | 0.0%|
|10-13.slack.smt2                                                                            |   0.064s  |   0.064s  |   0.000s  | 0.0%|
|10-15.smt2                                                                                  |   0.060s  |   0.060s  |   0.000s  | 0.0%|
|10-28.smt2                                                                                  |   0.065s  |   0.065s  |   0.000s  | 0.0%|
|10-29.smt2                                                                                  |   0.064s  |   0.064s  |   0.000s  | 0.0%|
</details>