Comparing data and data


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


## METADATA

<details><summary>METADATA</summary>

# LHS
<pre>
Ramon benchmark for Z3
-
Job description: reb_dio branch with random seed 8
Job tag: reb_dio_rs_8
Z3 repo: Z3Prover/z3
Z3 commit: 470ea5ea59e02b4ab876f6d374c9e0ea3da02458
Z3 branch: 
Z3 options: "-T:600  -st"
Z3 inputs: inputs/QF_LIA
Z3 commit message: remove the fresh definition when removing its column

Signed-off-by: Lev Nachmanson <levnach@hotmail.com>

</pre>
# RHS
<pre>
Ramon benchmark for Z3
-
Job description: reb_dio branch with random seed 8
Job tag: reb_dio_rs_8
Z3 repo: Z3Prover/z3
Z3 commit: 470ea5ea59e02b4ab876f6d374c9e0ea3da02458
Z3 branch: 
Z3 options: "-T:600  -st"
Z3 inputs: inputs/QF_LIA
Z3 commit message: remove the fresh definition when removing its column

Signed-off-by: Lev Nachmanson <levnach@hotmail.com>

</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        |
|------------|----------:|---------:|
|prp-18-44.smt2                                                                             |   0.007s |1376.0KiB|
|n2150-RC-10.smt2                                                                           |   0.006s |1560.0KiB|
|n4625-RF-07.smt2                                                                           |   0.006s |1560.0KiB|
|v10_problem_2__012.smt2.slack.smt2                                                         |   0.006s |1560.0KiB|
|n5898-RC-03.smt2                                                                           |   0.005s |1560.0KiB|
|50_50_12_10_sat.smt2                                                                       |   0.005s |1532.0KiB|
|n6320-problem_2__026.smt2                                                                  |   0.005s |1560.0KiB|
|n3159-RF-04.smt2                                                                           |   0.005s |1560.0KiB|
|deep-nested-O0.smt2                                                                        |   0.005s |1560.0KiB|
|24-treeWeight-533-8leaves.smt2                                                             |   0.005s |1564.0KiB|
|n5310-RF-04.smt2                                                                           |   0.005s |1556.0KiB|
|10-30.smt2                                                                                 |   0.005s |1412.0KiB|
|n5733-RC-06.smt2                                                                           |   0.005s |1560.0KiB|
|n1321-RF-10.smt2                                                                           |   0.005s |1560.0KiB|
|n663-RF-12.smt2                                                                            |   0.005s |1560.0KiB|
|v15_problem__008.smt2.slack.smt2                                                           |   0.005s |1560.0KiB|
|n3677-RC-08.smt2                                                                           |   0.005s |1560.0KiB|
|n4160-RC-13.smt2                                                                           |   0.005s |1560.0KiB|
|n6983-prp-7-46.smt2                                                                        |   0.005s |1560.0KiB|
|n3200-RF-13.smt2                                                                           |   0.005s |1476.0KiB|
</details>


## TOP 20 RHS FILES, BY RUNTIME

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

|FILE                                                                                       |TIME     |MEM        |
|------------|----------:|---------:|
|prp-18-44.smt2                                                                             |   0.007s |1376.0KiB|
|n2150-RC-10.smt2                                                                           |   0.006s |1560.0KiB|
|n4625-RF-07.smt2                                                                           |   0.006s |1560.0KiB|
|v10_problem_2__012.smt2.slack.smt2                                                         |   0.006s |1560.0KiB|
|n5898-RC-03.smt2                                                                           |   0.005s |1560.0KiB|
|50_50_12_10_sat.smt2                                                                       |   0.005s |1532.0KiB|
|n6320-problem_2__026.smt2                                                                  |   0.005s |1560.0KiB|
|n3159-RF-04.smt2                                                                           |   0.005s |1560.0KiB|
|deep-nested-O0.smt2                                                                        |   0.005s |1560.0KiB|
|24-treeWeight-533-8leaves.smt2                                                             |   0.005s |1564.0KiB|
|n5310-RF-04.smt2                                                                           |   0.005s |1556.0KiB|
|10-30.smt2                                                                                 |   0.005s |1412.0KiB|
|n5733-RC-06.smt2                                                                           |   0.005s |1560.0KiB|
|n1321-RF-10.smt2                                                                           |   0.005s |1560.0KiB|
|n663-RF-12.smt2                                                                            |   0.005s |1560.0KiB|
|v15_problem__008.smt2.slack.smt2                                                           |   0.005s |1560.0KiB|
|n3677-RC-08.smt2                                                                           |   0.005s |1560.0KiB|
|n4160-RC-13.smt2                                                                           |   0.005s |1560.0KiB|
|n6983-prp-7-46.smt2                                                                        |   0.005s |1560.0KiB|
|n3200-RF-13.smt2                                                                           |   0.005s |1476.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        |
|------------|----------:|---------:|
|n4955-RC-04.smt2                                                                           |   0.004s |1832.0KiB|
|n2828-RC-07.smt2                                                                           |   0.005s |1816.0KiB|
|n1325-RF-14.smt2                                                                           |   0.004s |1816.0KiB|
|convert-jpg2gif-query-1498.smt2                                                            |   0.004s |1816.0KiB|
|n3169-RF-14.smt2                                                                           |   0.004s |1816.0KiB|
|convert-jpg2gif-query-1203.smt2                                                            |   0.004s |1816.0KiB|
|n6277-problem__018.smt2                                                                    |   0.004s |1812.0KiB|
|n2007-RF-05.smt2                                                                           |   0.004s |1808.0KiB|
|n3341-RF-01.smt2                                                                           |   0.004s |1808.0KiB|
|v30_problem_2__019.smt2.slack.smt2                                                         |   0.005s |1804.0KiB|
|v20_problem_2__015.smt2.slack.smt2                                                         |   0.004s |1804.0KiB|
|n7943-prp-8-46.smt2                                                                        |   0.004s |1800.0KiB|
|n1134-RF-15.smt2                                                                           |   0.004s |1792.0KiB|
|v25_problem_2__028.smt2.slack.smt2                                                         |   0.004s |1792.0KiB|
|n900-RF-05.smt2                                                                            |   0.004s |1792.0KiB|
|pigeon-hole-16.smt2                                                                        |   0.004s |1792.0KiB|
|n2313-RF-02.smt2                                                                           |   0.004s |1792.0KiB|
|n4326-RF-09.smt2                                                                           |   0.004s |1792.0KiB|
|n7175-prp-34-45.smt2                                                                       |   0.004s |1792.0KiB|
|n5356-RC-12.smt2                                                                           |   0.004s |1792.0KiB|
</details>


## TOP 20 RHS FILES, BY PEAK MEMORY USAGE

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

|FILE                                                                                       |TIME     |MEM        |
|------------|----------:|---------:|
|n4955-RC-04.smt2                                                                           |   0.004s |1832.0KiB|
|n2828-RC-07.smt2                                                                           |   0.005s |1816.0KiB|
|n1325-RF-14.smt2                                                                           |   0.004s |1816.0KiB|
|convert-jpg2gif-query-1498.smt2                                                            |   0.004s |1816.0KiB|
|n3169-RF-14.smt2                                                                           |   0.004s |1816.0KiB|
|convert-jpg2gif-query-1203.smt2                                                            |   0.004s |1816.0KiB|
|n6277-problem__018.smt2                                                                    |   0.004s |1812.0KiB|
|n2007-RF-05.smt2                                                                           |   0.004s |1808.0KiB|
|n3341-RF-01.smt2                                                                           |   0.004s |1808.0KiB|
|v30_problem_2__019.smt2.slack.smt2                                                         |   0.005s |1804.0KiB|
|v20_problem_2__015.smt2.slack.smt2                                                         |   0.004s |1804.0KiB|
|n7943-prp-8-46.smt2                                                                        |   0.004s |1800.0KiB|
|n1134-RF-15.smt2                                                                           |   0.004s |1792.0KiB|
|v25_problem_2__028.smt2.slack.smt2                                                         |   0.004s |1792.0KiB|
|n900-RF-05.smt2                                                                            |   0.004s |1792.0KiB|
|pigeon-hole-16.smt2                                                                        |   0.004s |1792.0KiB|
|n2313-RF-02.smt2                                                                           |   0.004s |1792.0KiB|
|n4326-RF-09.smt2                                                                           |   0.004s |1792.0KiB|
|n7175-prp-34-45.smt2                                                                       |   0.004s |1792.0KiB|
|n5356-RC-12.smt2                                                                           |   0.004s |1792.0KiB|
</details>


## FULL COMPARISON

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

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