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: smt_qflia-threads-4-share_theory_lemmas_bb1
Runner: lev-ripper
Z3 repo: ilanashapiro/z3
Z3 commit: da80c8db192ea1f7f0ca3928a5bb6ca6ec2ab850
Z3 branch: backbones
Z3 options: "-T:30 smt.threads=4 tactic.default_tactic=smt smt.auto_config=false smt_parallel.share_theory_lemmas=true smt_parallel.num_backbone_threads=1"
Z3 inputs: inputs/QF_LIA
Z3 commit message: sharing theory lemmas

</pre>
# RHS
<pre>
Ramon benchmark for Z3
-
Job description: 
Job tag: smt_qflia-threads-4-share_theory_lemmas_bb1
Runner: lev-ripper
Z3 repo: ilanashapiro/z3
Z3 commit: da80c8db192ea1f7f0ca3928a5bb6ca6ec2ab850
Z3 branch: backbones
Z3 options: "-T:30 smt.threads=4 tactic.default_tactic=smt smt.auto_config=false smt_parallel.share_theory_lemmas=true smt_parallel.num_backbone_threads=1"
Z3 inputs: inputs/QF_LIA
Z3 commit message: sharing theory lemmas

</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        |
|------------|----------:|---------:|
|v25_problem__031.smt2.slack.smt2                                                           |   0.033s |1560.0KiB|
|n3415-RF-12.smt2                                                                           |   0.031s |1560.0KiB|
|n7444-prp-19-48.smt2                                                                       |   0.031s |1560.0KiB|
|n5363-RF-03.smt2                                                                           |   0.031s |1560.0KiB|
|n8332-ring_2exp16_5vars_2ite_unsat.smt2                                                    |   0.031s |1792.0KiB|
|n3865-RC-06.smt2                                                                           |   0.031s |1560.0KiB|
|n8366-ring_2exp4_3vars_1ite_unsat.smt2                                                     |   0.031s |1560.0KiB|
|n3971-RF-00.smt2                                                                           |   0.030s |1560.0KiB|
|n708-RC-09.smt2                                                                            |   0.030s |1560.0KiB|
|n5131-RF-05.smt2                                                                           |   0.030s |1564.0KiB|
|ex3260_2400_100.smt2                                                                       |   0.030s |1560.0KiB|
|v40_problem__029.smt2.slack.smt2                                                           |   0.030s |1788.0KiB|
|v35_problem_2__034.smt2.slack.smt2                                                         |   0.030s |1788.0KiB|
|v35_problem_2__013.smt2.slack.smt2                                                         |   0.030s |1792.0KiB|
|n6127-problem__008.smt2                                                                    |   0.030s |1560.0KiB|
|prp-23-35.smt2                                                                             |   0.030s |1788.0KiB|
|n1854-RF-07.smt2                                                                           |   0.030s |1560.0KiB|
|tightrhombus-273-245-0.smt2                                                                |   0.030s |1564.0KiB|
|n3122-RC-14.smt2                                                                           |   0.029s |1564.0KiB|
|n1196-RF-13.smt2                                                                           |   0.029s |1560.0KiB|
</details>


## TOP 20 RHS FILES, BY RUNTIME

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

|FILE                                                                                       |TIME     |MEM        |
|------------|----------:|---------:|
|v25_problem__031.smt2.slack.smt2                                                           |   0.033s |1560.0KiB|
|n3415-RF-12.smt2                                                                           |   0.031s |1560.0KiB|
|n7444-prp-19-48.smt2                                                                       |   0.031s |1560.0KiB|
|n5363-RF-03.smt2                                                                           |   0.031s |1560.0KiB|
|n8332-ring_2exp16_5vars_2ite_unsat.smt2                                                    |   0.031s |1792.0KiB|
|n3865-RC-06.smt2                                                                           |   0.031s |1560.0KiB|
|n8366-ring_2exp4_3vars_1ite_unsat.smt2                                                     |   0.031s |1560.0KiB|
|n3971-RF-00.smt2                                                                           |   0.030s |1560.0KiB|
|n708-RC-09.smt2                                                                            |   0.030s |1560.0KiB|
|n5131-RF-05.smt2                                                                           |   0.030s |1564.0KiB|
|ex3260_2400_100.smt2                                                                       |   0.030s |1560.0KiB|
|v40_problem__029.smt2.slack.smt2                                                           |   0.030s |1788.0KiB|
|v35_problem_2__034.smt2.slack.smt2                                                         |   0.030s |1788.0KiB|
|v35_problem_2__013.smt2.slack.smt2                                                         |   0.030s |1792.0KiB|
|n6127-problem__008.smt2                                                                    |   0.030s |1560.0KiB|
|prp-23-35.smt2                                                                             |   0.030s |1788.0KiB|
|n1854-RF-07.smt2                                                                           |   0.030s |1560.0KiB|
|tightrhombus-273-245-0.smt2                                                                |   0.030s |1564.0KiB|
|n3122-RC-14.smt2                                                                           |   0.029s |1564.0KiB|
|n1196-RF-13.smt2                                                                           |   0.029s |1560.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        |
|------------|----------:|---------:|
|n1974-RF-03.smt2                                                                           |   0.021s |2044.0KiB|
|n722-RF-08.smt2                                                                            |   0.018s |1816.0KiB|
|n1307-RC-12.smt2                                                                           |   0.020s |1812.0KiB|
|n2201-RC-00.smt2                                                                           |   0.004s |1808.0KiB|
|n2460-RC-07.smt2                                                                           |   0.020s |1804.0KiB|
|n8318-ring_2exp14_9vars_4ite_unsat.smt2                                                    |   0.013s |1800.0KiB|
|n5405-RC-01.smt2                                                                           |   0.004s |1796.0KiB|
|n8332-ring_2exp16_5vars_2ite_unsat.smt2                                                    |   0.031s |1792.0KiB|
|v35_problem_2__013.smt2.slack.smt2                                                         |   0.030s |1792.0KiB|
|n2078-RF-14.smt2                                                                           |   0.027s |1792.0KiB|
|n2577-RC-09.smt2                                                                           |   0.025s |1792.0KiB|
|n2528-RF-05.smt2                                                                           |   0.022s |1792.0KiB|
|n2507-RF-15.smt2                                                                           |   0.019s |1792.0KiB|
|convert-jpg2gif-query-1413.smt2                                                            |   0.005s |1792.0KiB|
|n4062-RC-11.smt2                                                                           |   0.004s |1792.0KiB|
|n4160-RC-13.smt2                                                                           |   0.004s |1792.0KiB|
|n2230-RF-13.smt2                                                                           |   0.004s |1792.0KiB|
|n3232-RC-00.smt2                                                                           |   0.004s |1792.0KiB|
|n5627-RF-04.smt2                                                                           |   0.004s |1792.0KiB|
|n7983-prp-13-48.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        |
|------------|----------:|---------:|
|n1974-RF-03.smt2                                                                           |   0.021s |2044.0KiB|
|n722-RF-08.smt2                                                                            |   0.018s |1816.0KiB|
|n1307-RC-12.smt2                                                                           |   0.020s |1812.0KiB|
|n2201-RC-00.smt2                                                                           |   0.004s |1808.0KiB|
|n2460-RC-07.smt2                                                                           |   0.020s |1804.0KiB|
|n8318-ring_2exp14_9vars_4ite_unsat.smt2                                                    |   0.013s |1800.0KiB|
|n5405-RC-01.smt2                                                                           |   0.004s |1796.0KiB|
|n8332-ring_2exp16_5vars_2ite_unsat.smt2                                                    |   0.031s |1792.0KiB|
|v35_problem_2__013.smt2.slack.smt2                                                         |   0.030s |1792.0KiB|
|n2078-RF-14.smt2                                                                           |   0.027s |1792.0KiB|
|n2577-RC-09.smt2                                                                           |   0.025s |1792.0KiB|
|n2528-RF-05.smt2                                                                           |   0.022s |1792.0KiB|
|n2507-RF-15.smt2                                                                           |   0.019s |1792.0KiB|
|convert-jpg2gif-query-1413.smt2                                                            |   0.005s |1792.0KiB|
|n4062-RC-11.smt2                                                                           |   0.004s |1792.0KiB|
|n4160-RC-13.smt2                                                                           |   0.004s |1792.0KiB|
|n2230-RF-13.smt2                                                                           |   0.004s |1792.0KiB|
|n3232-RC-00.smt2                                                                           |   0.004s |1792.0KiB|
|n5627-RF-04.smt2                                                                           |   0.004s |1792.0KiB|
|n7983-prp-13-48.smt2                                                                       |   0.004s |1792.0KiB|
</details>


## FULL COMPARISON

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

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