Comparing data and data


# SUMMARY
- LHS tests = 2313
- RHS tests = 2313
- 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_qfnia-threads-4-cube-depthsplitting
Runner: lev-ripper
Z3 repo: ilanashapiro/z3
Z3 commit: 0fdf5bcb3f7b1a50215d74a4d5f836dfe620ccb5
Z3 branch: 
Z3 options: "-T:30 smt.threads=4 tactic.default_tactic=smt smt_parallel.share_conflicts=false smt_parallel.share_units=false smt_parallel.frugal_depth_splitting_only=true"
Z3 inputs: inputs/QF_NIA_small
Z3 commit message: Fix configuration for depth splitting in notes

</pre>
# RHS
<pre>
Ramon benchmark for Z3
-
Job description: 
Job tag: smt_qfnia-threads-4-cube-depthsplitting
Runner: lev-ripper
Z3 repo: ilanashapiro/z3
Z3 commit: 0fdf5bcb3f7b1a50215d74a4d5f836dfe620ccb5
Z3 branch: 
Z3 options: "-T:30 smt.threads=4 tactic.default_tactic=smt smt_parallel.share_conflicts=false smt_parallel.share_units=false smt_parallel.frugal_depth_splitting_only=true"
Z3 inputs: inputs/QF_NIA_small
Z3 commit message: Fix configuration for depth splitting in notes

</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        |
|------------|----------:|---------:|
|From_AProVE_2014__juHashMapCreatePut.jar-obl-10__p5427_safety_0.smt2                       |   0.031s |1560.0KiB|
|aproveSMT3039391242675517681.smt2                                                          |   0.031s |1560.0KiB|
|term-XoKPE3.smt2                                                                           |   0.029s |1560.0KiB|
|From_AProVE_2014__LoopingNonterm.jar-obl-8__p10312_terminationG_0.smt2                     |   0.029s |1560.0KiB|
|1484.smt2                                                                                  |   0.029s |1560.0KiB|
|From_T2__fun1b.t2__p685_terminationG_0.smt2                                                |   0.029s |1560.0KiB|
|From_AProVE_2014__juLinkedListCreateAddAllAt.jar-obl-17__p7826_safety_0.smt2               |   0.028s |1560.0KiB|
|From_T2__apchild-accepted-fail.t2__p15947_terminationG_0.smt2                              |   0.028s |1788.0KiB|
|From_AProVE_2014__cousot_rec.jar-obl-8__p28383_terminationG_0.smt2                         |   0.028s |1560.0KiB|
|aproveSMT4005477226838207398.smt2                                                          |   0.028s |1560.0KiB|
|From_AProVE_2014__Velroyen08-whileBreak.jar-obl-8__p14672_terminationG_0.smt2              |   0.028s |1560.0KiB|
|From_AProVE_2014__juHashMapCreate.jar-obl-10__p4576_safety_0.smt2                          |   0.027s |1564.0KiB|
|1607.smt2                                                                                  |   0.027s |1560.0KiB|
|424.smt2                                                                                   |   0.027s |1788.0KiB|
|From_T2__s1-striped.t2__p14171_safety_0.smt2                                               |   0.027s |1560.0KiB|
|aproveSMT2080970443407093756.smt2                                                          |   0.027s |1560.0KiB|
|From_T2__n-21.t2_fixed__p3838_terminationG_0.smt2                                          |   0.027s |1560.0KiB|
|aproveSMT2477805317391230600.smt2                                                          |   0.026s |1560.0KiB|
|term-fu8ErM.smt2                                                                           |   0.026s |1560.0KiB|
|From_AProVE_2014__juLinkedListCreateAddAllAt.jar-obl-17__p7706_safety_0.smt2               |   0.026s |1560.0KiB|
</details>


## TOP 20 RHS FILES, BY RUNTIME

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

|FILE                                                                                       |TIME     |MEM        |
|------------|----------:|---------:|
|From_AProVE_2014__juHashMapCreatePut.jar-obl-10__p5427_safety_0.smt2                       |   0.031s |1560.0KiB|
|aproveSMT3039391242675517681.smt2                                                          |   0.031s |1560.0KiB|
|term-XoKPE3.smt2                                                                           |   0.029s |1560.0KiB|
|From_AProVE_2014__LoopingNonterm.jar-obl-8__p10312_terminationG_0.smt2                     |   0.029s |1560.0KiB|
|1484.smt2                                                                                  |   0.029s |1560.0KiB|
|From_T2__fun1b.t2__p685_terminationG_0.smt2                                                |   0.029s |1560.0KiB|
|From_AProVE_2014__juLinkedListCreateAddAllAt.jar-obl-17__p7826_safety_0.smt2               |   0.028s |1560.0KiB|
|From_T2__apchild-accepted-fail.t2__p15947_terminationG_0.smt2                              |   0.028s |1788.0KiB|
|From_AProVE_2014__cousot_rec.jar-obl-8__p28383_terminationG_0.smt2                         |   0.028s |1560.0KiB|
|aproveSMT4005477226838207398.smt2                                                          |   0.028s |1560.0KiB|
|From_AProVE_2014__Velroyen08-whileBreak.jar-obl-8__p14672_terminationG_0.smt2              |   0.028s |1560.0KiB|
|From_AProVE_2014__juHashMapCreate.jar-obl-10__p4576_safety_0.smt2                          |   0.027s |1564.0KiB|
|1607.smt2                                                                                  |   0.027s |1560.0KiB|
|424.smt2                                                                                   |   0.027s |1788.0KiB|
|From_T2__s1-striped.t2__p14171_safety_0.smt2                                               |   0.027s |1560.0KiB|
|aproveSMT2080970443407093756.smt2                                                          |   0.027s |1560.0KiB|
|From_T2__n-21.t2_fixed__p3838_terminationG_0.smt2                                          |   0.027s |1560.0KiB|
|aproveSMT2477805317391230600.smt2                                                          |   0.026s |1560.0KiB|
|term-fu8ErM.smt2                                                                           |   0.026s |1560.0KiB|
|From_AProVE_2014__juLinkedListCreateAddAllAt.jar-obl-17__p7706_safety_0.smt2               |   0.026s |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        |
|------------|----------:|---------:|
|From_T2__ex36.t2__p25811_safety_0.smt2                                                     |   0.020s |1848.0KiB|
|From_T2__edn.t2__p21455_safety_0.smt2                                                      |   0.004s |1820.0KiB|
|From_AProVE_2014__juHashMapCreateContainsValue.jar-obl-11__p32319_safety_0.smt2            |   0.005s |1808.0KiB|
|From_T2__bakery.t2__p17084_terminationG_0.smt2                                             |   0.005s |1804.0KiB|
|181.smt2                                                                                   |   0.004s |1796.0KiB|
|From_AProVE_2014__juHashMapCreate.jar-obl-10__p5160_safety_0.smt2                          |   0.004s |1796.0KiB|
|From_AProVE_2014__juHashMapCreateClear.jar-obl-11__p29854_safety_0.smt2                    |   0.007s |1792.0KiB|
|From_AProVE_2014__juHashMapCreatePut.jar-obl-10__p6477_safety_0.smt2                       |   0.006s |1792.0KiB|
|From_T2__n-1c.t2__p3754_edge_closing_0.smt2                                                |   0.006s |1792.0KiB|
|From_T2__slayer-n5-filtered.t2__p23305_safety_0.smt2                                       |   0.005s |1792.0KiB|
|From_T2__s1.t2__p18741_safety_0.smt2                                                       |   0.004s |1792.0KiB|
|From_AProVE_2014__FlattenTreeListRec.jar-obl-10__p29555_safety_0.smt2                      |   0.004s |1792.0KiB|
|Stroeder_15__DoubleNeg.c__p22532_terminationG_0.smt2                                       |   0.004s |1792.0KiB|
|aproveSMT743198230882528455.smt2                                                           |   0.004s |1792.0KiB|
|term-K5O3aH.smt2                                                                           |   0.004s |1792.0KiB|
|891.smt2                                                                                   |   0.004s |1792.0KiB|
|From_AProVE_2014__juLinkedListCreateAddAllAt.jar-obl-17__p7661_safety_0.smt2               |   0.004s |1792.0KiB|
|From_AProVE_2014__juHashMapCreateIsEmpty.jar-obl-10__p2292_safety_0.smt2                   |   0.004s |1792.0KiB|
|From_T2__edn.t2__p20799_safety_0.smt2                                                      |   0.004s |1792.0KiB|
|From_T2__s1.t2__p19160_safety_0.smt2                                                       |   0.003s |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        |
|------------|----------:|---------:|
|From_T2__ex36.t2__p25811_safety_0.smt2                                                     |   0.020s |1848.0KiB|
|From_T2__edn.t2__p21455_safety_0.smt2                                                      |   0.004s |1820.0KiB|
|From_AProVE_2014__juHashMapCreateContainsValue.jar-obl-11__p32319_safety_0.smt2            |   0.005s |1808.0KiB|
|From_T2__bakery.t2__p17084_terminationG_0.smt2                                             |   0.005s |1804.0KiB|
|181.smt2                                                                                   |   0.004s |1796.0KiB|
|From_AProVE_2014__juHashMapCreate.jar-obl-10__p5160_safety_0.smt2                          |   0.004s |1796.0KiB|
|From_AProVE_2014__juHashMapCreateClear.jar-obl-11__p29854_safety_0.smt2                    |   0.007s |1792.0KiB|
|From_AProVE_2014__juHashMapCreatePut.jar-obl-10__p6477_safety_0.smt2                       |   0.006s |1792.0KiB|
|From_T2__n-1c.t2__p3754_edge_closing_0.smt2                                                |   0.006s |1792.0KiB|
|From_T2__slayer-n5-filtered.t2__p23305_safety_0.smt2                                       |   0.005s |1792.0KiB|
|From_T2__s1.t2__p18741_safety_0.smt2                                                       |   0.004s |1792.0KiB|
|From_AProVE_2014__FlattenTreeListRec.jar-obl-10__p29555_safety_0.smt2                      |   0.004s |1792.0KiB|
|Stroeder_15__DoubleNeg.c__p22532_terminationG_0.smt2                                       |   0.004s |1792.0KiB|
|aproveSMT743198230882528455.smt2                                                           |   0.004s |1792.0KiB|
|term-K5O3aH.smt2                                                                           |   0.004s |1792.0KiB|
|891.smt2                                                                                   |   0.004s |1792.0KiB|
|From_AProVE_2014__juLinkedListCreateAddAllAt.jar-obl-17__p7661_safety_0.smt2               |   0.004s |1792.0KiB|
|From_AProVE_2014__juHashMapCreateIsEmpty.jar-obl-10__p2292_safety_0.smt2                   |   0.004s |1792.0KiB|
|From_T2__edn.t2__p20799_safety_0.smt2                                                      |   0.004s |1792.0KiB|
|From_T2__s1.t2__p19160_safety_0.smt2                                                       |   0.003s |1792.0KiB|
</details>


## FULL COMPARISON

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

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