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-global_bb_pos_neg
Runner: rise-runner-2
Z3 repo: ilanashapiro/z3
Z3 commit: ae8ad69ffaad1780a0ac83a6b10b335796792f78
Z3 branch: backbones
Z3 options: "-T:60 -v:0 smt.threads=4 tactic.default_tactic=smt smt.auto_config=false smt_parallel.enable=true smt_parallel.num_global_bb_threads=2"
Z3 inputs: inputs/QF_NIA_small
Z3 commit message: fix merge

</pre>
# RHS
<pre>
Ramon benchmark for Z3
-
Job description: 
Job tag: smt_qfnia-threads-4-global_bb_pos_neg
Runner: rise-runner-2
Z3 repo: ilanashapiro/z3
Z3 commit: ae8ad69ffaad1780a0ac83a6b10b335796792f78
Z3 branch: backbones
Z3 options: "-T:60 -v:0 smt.threads=4 tactic.default_tactic=smt smt.auto_config=false smt_parallel.enable=true smt_parallel.num_global_bb_threads=2"
Z3 inputs: inputs/QF_NIA_small
Z3 commit message: fix merge

</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_T2__ex36.t2__p30378_safety_0.smt2                                                     |   0.051s |2020.0KiB|
|From_AProVE_2014__juLinkedListCreateAddAllAt.jar-obl-17__p8574_safety_0.smt2               |   0.050s |2228.0KiB|
|From_T2__s1-striped.t2__p13711_safety_0.smt2                                               |   0.049s |2228.0KiB|
|From_T2__streamserver-succeed.t2__p24667_terminationG_0.smt2                               |   0.042s |2228.0KiB|
|From_AProVE_2014__juHashMapCreate.jar-obl-10__p4816_safety_0.smt2                          |   0.042s |2000.0KiB|
|From_T2__fun9.t2__p1472_edge_closing_0.smt2                                                |   0.041s |2228.0KiB|
|From_AProVE_2014__whileNested_rec.jar-obl-9__p14975_terminationG_0.smt2                    |   0.041s |2000.0KiB|
|From_T2__bakery.t2__p17184_terminationG_0.smt2                                             |   0.038s |2004.0KiB|
|From_T2__n-5.t2__p4656_terminationG_0.smt2                                                 |   0.038s |2228.0KiB|
|From_AProVE_2014__juHashMapCreateIsEmpty.jar-obl-10__p1578_safety_0.smt2                   |   0.038s |2228.0KiB|
|From_T2__s1.t2__p18864_safety_0.smt2                                                       |   0.038s |2000.0KiB|
|From_AProVE_2014__juHashMapCreateClear.jar-obl-11__p30477_safety_0.smt2                    |   0.037s |2224.0KiB|
|From_T2__n-7.t2_fixed__p4903_terminationG_0.smt2                                           |   0.037s |2000.0KiB|
|From_AProVE_2014__juHashMapCreateClear.jar-obl-11__p30820_safety_0.smt2                    |   0.036s |2000.0KiB|
|From_T2__d.t2__p19043_terminationG_0.smt2                                                  |   0.035s |2228.0KiB|
|Ton_Chanh_15__2Nested_false-termination.c__p26555_terminationG_0.smt2                      |   0.034s |2228.0KiB|
|From_AProVE_2014__juLinkedListCreateAddAllAt.jar-obl-17__p8353_safety_0.smt2               |   0.034s |2012.0KiB|
|aproveSMT8328864454385468275.smt2                                                          |   0.034s |2228.0KiB|
|problem-006526.cvc.1.smt2                                                                  |   0.034s |2228.0KiB|
|aproveSMT6071606564644554507.smt2                                                          |   0.034s |2000.0KiB|
</details>


## TOP 20 RHS FILES, BY RUNTIME

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

|FILE                                                                                       |TIME     |MEM        |
|------------|----------:|---------:|
|From_T2__ex36.t2__p30378_safety_0.smt2                                                     |   0.051s |2020.0KiB|
|From_AProVE_2014__juLinkedListCreateAddAllAt.jar-obl-17__p8574_safety_0.smt2               |   0.050s |2228.0KiB|
|From_T2__s1-striped.t2__p13711_safety_0.smt2                                               |   0.049s |2228.0KiB|
|From_T2__streamserver-succeed.t2__p24667_terminationG_0.smt2                               |   0.042s |2228.0KiB|
|From_AProVE_2014__juHashMapCreate.jar-obl-10__p4816_safety_0.smt2                          |   0.042s |2000.0KiB|
|From_T2__fun9.t2__p1472_edge_closing_0.smt2                                                |   0.041s |2228.0KiB|
|From_AProVE_2014__whileNested_rec.jar-obl-9__p14975_terminationG_0.smt2                    |   0.041s |2000.0KiB|
|From_T2__bakery.t2__p17184_terminationG_0.smt2                                             |   0.038s |2004.0KiB|
|From_T2__n-5.t2__p4656_terminationG_0.smt2                                                 |   0.038s |2228.0KiB|
|From_AProVE_2014__juHashMapCreateIsEmpty.jar-obl-10__p1578_safety_0.smt2                   |   0.038s |2228.0KiB|
|From_T2__s1.t2__p18864_safety_0.smt2                                                       |   0.038s |2000.0KiB|
|From_AProVE_2014__juHashMapCreateClear.jar-obl-11__p30477_safety_0.smt2                    |   0.037s |2224.0KiB|
|From_T2__n-7.t2_fixed__p4903_terminationG_0.smt2                                           |   0.037s |2000.0KiB|
|From_AProVE_2014__juHashMapCreateClear.jar-obl-11__p30820_safety_0.smt2                    |   0.036s |2000.0KiB|
|From_T2__d.t2__p19043_terminationG_0.smt2                                                  |   0.035s |2228.0KiB|
|Ton_Chanh_15__2Nested_false-termination.c__p26555_terminationG_0.smt2                      |   0.034s |2228.0KiB|
|From_AProVE_2014__juLinkedListCreateAddAllAt.jar-obl-17__p8353_safety_0.smt2               |   0.034s |2012.0KiB|
|aproveSMT8328864454385468275.smt2                                                          |   0.034s |2228.0KiB|
|problem-006526.cvc.1.smt2                                                                  |   0.034s |2228.0KiB|
|aproveSMT6071606564644554507.smt2                                                          |   0.034s |2000.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__walk.t2__p25580_terminationG_0.smt2                                               |   0.007s |2304.0KiB|
|From_T2__foo.t2__terminationS_30_0.smt2                                                    |   0.007s |2300.0KiB|
|From_T2__zlib-crc32-BYFOUR.c.t2__p26531_safety_0.smt2                                      |   0.009s |2292.0KiB|
|From_T2__apchildlive-succeed.t2__p16446_terminationG_0.smt2                                |   0.013s |2288.0KiB|
|From_T2__svdcmp.c.i.svdcmp.pl.t2.fixed.t2__terminationS_56_0.smt2                          |   0.010s |2288.0KiB|
|From_AProVE_2014__juLinkedListCreateAddAllAt.jar-obl-17__p7898_safety_0.smt2               |   0.009s |2284.0KiB|
|aproveSMT3612851711724526218.smt2                                                          |   0.021s |2276.0KiB|
|From_T2__apchild-accepted.t2__terminationQ_9_0.smt2                                        |   0.006s |2272.0KiB|
|From_AProVE_2014__juHashMapCreateContainsValue.jar-obl-11__p31946_safety_0.smt2            |   0.018s |2268.0KiB|
|aproveSMT82980353335522103.smt2                                                            |   0.011s |2252.0KiB|
|From_AProVE_2014__Et3.jar-obl-9__p28807_terminationG_0.smt2                                |   0.010s |2248.0KiB|
|From_T2__ex36.t2__p30669_safety_0.smt2                                                     |   0.013s |2240.0KiB|
|From_AProVE_2014__juHashMapCreateClear.jar-obl-11__p30649_safety_0.smt2                    |   0.019s |2232.0KiB|
|From_AProVE_2014__mirrorInterv_rec.jar-obl-8__p10946_edge_closing_0.smt2                   |   0.016s |2232.0KiB|
|aproveSMT6771738228131904044.smt2                                                          |   0.014s |2232.0KiB|
|Stroeder_15__svcomp_ex2.c__p25822_terminationG_0.smt2                                      |   0.014s |2232.0KiB|
|From_T2__apchild-accepted.t2__p16319_terminationG_0.smt2                                   |   0.012s |2232.0KiB|
|From_AProVE_2014__juHashMapCreatePut.jar-obl-10__p6223_safety_0.smt2                       |   0.011s |2232.0KiB|
|From_T2__pentagon.t2__p7043_edge_closing_0.smt2                                            |   0.011s |2232.0KiB|
|Stroeder_15__collatz.c__p22222_edge_closing_0.smt2                                         |   0.011s |2232.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__walk.t2__p25580_terminationG_0.smt2                                               |   0.007s |2304.0KiB|
|From_T2__foo.t2__terminationS_30_0.smt2                                                    |   0.007s |2300.0KiB|
|From_T2__zlib-crc32-BYFOUR.c.t2__p26531_safety_0.smt2                                      |   0.009s |2292.0KiB|
|From_T2__apchildlive-succeed.t2__p16446_terminationG_0.smt2                                |   0.013s |2288.0KiB|
|From_T2__svdcmp.c.i.svdcmp.pl.t2.fixed.t2__terminationS_56_0.smt2                          |   0.010s |2288.0KiB|
|From_AProVE_2014__juLinkedListCreateAddAllAt.jar-obl-17__p7898_safety_0.smt2               |   0.009s |2284.0KiB|
|aproveSMT3612851711724526218.smt2                                                          |   0.021s |2276.0KiB|
|From_T2__apchild-accepted.t2__terminationQ_9_0.smt2                                        |   0.006s |2272.0KiB|
|From_AProVE_2014__juHashMapCreateContainsValue.jar-obl-11__p31946_safety_0.smt2            |   0.018s |2268.0KiB|
|aproveSMT82980353335522103.smt2                                                            |   0.011s |2252.0KiB|
|From_AProVE_2014__Et3.jar-obl-9__p28807_terminationG_0.smt2                                |   0.010s |2248.0KiB|
|From_T2__ex36.t2__p30669_safety_0.smt2                                                     |   0.013s |2240.0KiB|
|From_AProVE_2014__juHashMapCreateClear.jar-obl-11__p30649_safety_0.smt2                    |   0.019s |2232.0KiB|
|From_AProVE_2014__mirrorInterv_rec.jar-obl-8__p10946_edge_closing_0.smt2                   |   0.016s |2232.0KiB|
|aproveSMT6771738228131904044.smt2                                                          |   0.014s |2232.0KiB|
|Stroeder_15__svcomp_ex2.c__p25822_terminationG_0.smt2                                      |   0.014s |2232.0KiB|
|From_T2__apchild-accepted.t2__p16319_terminationG_0.smt2                                   |   0.012s |2232.0KiB|
|From_AProVE_2014__juHashMapCreatePut.jar-obl-10__p6223_safety_0.smt2                       |   0.011s |2232.0KiB|
|From_T2__pentagon.t2__p7043_edge_closing_0.smt2                                            |   0.011s |2232.0KiB|
|Stroeder_15__collatz.c__p22222_edge_closing_0.smt2                                         |   0.011s |2232.0KiB|
</details>


## FULL COMPARISON

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

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