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: 
Job tag: dio_with_gcd
Runner: lev-ripper
Z3 repo: Z3Prover/z3
Z3 commit: 7ee34151501242638597e0af7e4c3e1cd5934046
Z3 branch: 
Z3 options: "-T:600 -st lp.dio=true lp.dio_gcd=true"
Z3 inputs: inputs/QF_LIA
Z3 commit message: make gcd call in dio optional

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

</pre>
# RHS
<pre>
Ramon benchmark for Z3
-
Job description: 
Job tag: dio_with_gcd
Runner: lev-ripper
Z3 repo: Z3Prover/z3
Z3 commit: 7ee34151501242638597e0af7e4c3e1cd5934046
Z3 branch: 
Z3 options: "-T:600 -st lp.dio=true lp.dio_gcd=true"
Z3 inputs: inputs/QF_LIA
Z3 commit message: make gcd call in dio optional

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-40-40.smt2                                                                             |   0.010s |1420.0KiB|
|n5845-RC-05.smt2                                                                           |   0.010s |1588.0KiB|
|FISCHER3-8-fair.smt2                                                                       |   0.010s |1336.0KiB|
|n3654-RC-15.smt2                                                                           |   0.009s |1348.0KiB|
|n577-RC-02.smt2                                                                            |   0.009s |1520.0KiB|
|n2222-RF-05.smt2                                                                           |   0.009s |1576.0KiB|
|convert-jpg2gif-query-1606.smt2                                                            |   0.009s |1568.0KiB|
|n2285-RF-05.smt2                                                                           |   0.009s |1472.0KiB|
|n7202-prp-39-48.smt2                                                                       |   0.008s |1464.0KiB|
|30-25.slack.smt2                                                                           |   0.008s |1528.0KiB|
|n3417-RF-14.smt2                                                                           |   0.008s |1464.0KiB|
|prp-17-41.smt2                                                                             |   0.008s |1528.0KiB|
|n8107-prp-10-29.smt2                                                                       |   0.008s |1556.0KiB|
|ex4240_2400_100.smt2                                                                       |   0.008s |1560.0KiB|
|n3347-RF-07.smt2                                                                           |   0.008s |1476.0KiB|
|n3609-RC-02.smt2                                                                           |   0.008s |1560.0KiB|
|n900-RF-05.smt2                                                                            |   0.008s |1484.0KiB|
|n6758-prp-16-46.smt2                                                                       |   0.008s |1412.0KiB|
|n920-RC-09.smt2                                                                            |   0.008s |1476.0KiB|
|n3618-RC-11.smt2                                                                           |   0.008s |1516.0KiB|
</details>


## TOP 20 RHS FILES, BY RUNTIME

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

|FILE                                                                                       |TIME     |MEM        |
|------------|----------:|---------:|
|prp-40-40.smt2                                                                             |   0.010s |1420.0KiB|
|n5845-RC-05.smt2                                                                           |   0.010s |1588.0KiB|
|FISCHER3-8-fair.smt2                                                                       |   0.010s |1336.0KiB|
|n3654-RC-15.smt2                                                                           |   0.009s |1348.0KiB|
|n577-RC-02.smt2                                                                            |   0.009s |1520.0KiB|
|n2222-RF-05.smt2                                                                           |   0.009s |1576.0KiB|
|convert-jpg2gif-query-1606.smt2                                                            |   0.009s |1568.0KiB|
|n2285-RF-05.smt2                                                                           |   0.009s |1472.0KiB|
|n7202-prp-39-48.smt2                                                                       |   0.008s |1464.0KiB|
|30-25.slack.smt2                                                                           |   0.008s |1528.0KiB|
|n3417-RF-14.smt2                                                                           |   0.008s |1464.0KiB|
|prp-17-41.smt2                                                                             |   0.008s |1528.0KiB|
|n8107-prp-10-29.smt2                                                                       |   0.008s |1556.0KiB|
|ex4240_2400_100.smt2                                                                       |   0.008s |1560.0KiB|
|n3347-RF-07.smt2                                                                           |   0.008s |1476.0KiB|
|n3609-RC-02.smt2                                                                           |   0.008s |1560.0KiB|
|n900-RF-05.smt2                                                                            |   0.008s |1484.0KiB|
|n6758-prp-16-46.smt2                                                                       |   0.008s |1412.0KiB|
|n920-RC-09.smt2                                                                            |   0.008s |1476.0KiB|
|n3618-RC-11.smt2                                                                           |   0.008s |1516.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        |
|------------|----------:|---------:|
|n1173-RC-06.smt2                                                                           |   0.005s |1820.0KiB|
|n4-cut_lemma_02_008.smt2.slack.smt2                                                        |   0.006s |1816.0KiB|
|n5684-RF-05.smt2                                                                           |   0.005s |1812.0KiB|
|n5218-RC-12.smt2                                                                           |   0.006s |1804.0KiB|
|n6382-problem_2__018.smt2                                                                  |   0.003s |1804.0KiB|
|n3308-RC-15.smt2                                                                           |   0.003s |1804.0KiB|
|n2595-RF-11.smt2                                                                           |   0.006s |1796.0KiB|
|n4334-RC-01.smt2                                                                           |   0.005s |1792.0KiB|
|cut_lemma_03_015.smt2.slack.smt2                                                           |   0.004s |1792.0KiB|
|n784-RF-15.smt2                                                                            |   0.003s |1792.0KiB|
|convert-jpg2gif-query-1451.smt2                                                            |   0.003s |1792.0KiB|
|n7403-prp-11-47.smt2                                                                       |   0.003s |1792.0KiB|
|n4223-RC-14.smt2                                                                           |   0.007s |1788.0KiB|
|FISCHER5-8-fair.smt2                                                                       |   0.006s |1788.0KiB|
|n6080-problem__021.smt2                                                                    |   0.006s |1788.0KiB|
|n2401-RC-12.smt2                                                                           |   0.006s |1788.0KiB|
|n1299-RC-04.smt2                                                                           |   0.006s |1788.0KiB|
|v15_problem_2__011.smt2.slack.smt2                                                         |   0.006s |1788.0KiB|
|24-treeWeight-533-8leaves.smt2                                                             |   0.005s |1788.0KiB|
|n7061-prp-12-50.smt2                                                                       |   0.005s |1788.0KiB|
</details>


## TOP 20 RHS FILES, BY PEAK MEMORY USAGE

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

|FILE                                                                                       |TIME     |MEM        |
|------------|----------:|---------:|
|n1173-RC-06.smt2                                                                           |   0.005s |1820.0KiB|
|n4-cut_lemma_02_008.smt2.slack.smt2                                                        |   0.006s |1816.0KiB|
|n5684-RF-05.smt2                                                                           |   0.005s |1812.0KiB|
|n5218-RC-12.smt2                                                                           |   0.006s |1804.0KiB|
|n6382-problem_2__018.smt2                                                                  |   0.003s |1804.0KiB|
|n3308-RC-15.smt2                                                                           |   0.003s |1804.0KiB|
|n2595-RF-11.smt2                                                                           |   0.006s |1796.0KiB|
|n4334-RC-01.smt2                                                                           |   0.005s |1792.0KiB|
|cut_lemma_03_015.smt2.slack.smt2                                                           |   0.004s |1792.0KiB|
|n784-RF-15.smt2                                                                            |   0.003s |1792.0KiB|
|convert-jpg2gif-query-1451.smt2                                                            |   0.003s |1792.0KiB|
|n7403-prp-11-47.smt2                                                                       |   0.003s |1792.0KiB|
|n4223-RC-14.smt2                                                                           |   0.007s |1788.0KiB|
|FISCHER5-8-fair.smt2                                                                       |   0.006s |1788.0KiB|
|n6080-problem__021.smt2                                                                    |   0.006s |1788.0KiB|
|n2401-RC-12.smt2                                                                           |   0.006s |1788.0KiB|
|n1299-RC-04.smt2                                                                           |   0.006s |1788.0KiB|
|v15_problem_2__011.smt2.slack.smt2                                                         |   0.006s |1788.0KiB|
|24-treeWeight-533-8leaves.smt2                                                             |   0.005s |1788.0KiB|
|n7061-prp-12-50.smt2                                                                       |   0.005s |1788.0KiB|
</details>


## FULL COMPARISON

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

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