Comparing data and data


# SUMMARY
- LHS tests = 255
- RHS tests = 255
- LHS success = 255  (100.0%)
- RHS success = 255  (100.0%)


## METADATA

<details><summary>METADATA</summary>

# LHS
<pre>
Ramon benchmark for Z3
-
Job description: 
Job tag: smt_qfrdl-sequential
Runner: lev-ripper
Z3 repo: ilanashapiro/z3
Z3 commit: c5d65cdedddfb23484175c9234f904988fa6b3fd
Z3 branch: c5d65cdedddfb23484175c9234f904988fa6b3fd
Z3 options: "-T:30 smt.threads=1 tactic.default_tactic=smt"
Z3 inputs: inputs/QF_RDL
Z3 commit message: fix build issues

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>

</pre>
# RHS
<pre>
Ramon benchmark for Z3
-
Job description: 
Job tag: smt_qfrdl-sequential
Runner: lev-ripper
Z3 repo: ilanashapiro/z3
Z3 commit: c5d65cdedddfb23484175c9234f904988fa6b3fd
Z3 branch: c5d65cdedddfb23484175c9234f904988fa6b3fd
Z3 options: "-T:30 smt.threads=1 tactic.default_tactic=smt"
Z3 inputs: inputs/QF_RDL
Z3 commit message: fix build issues

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>

</pre>
</details>


## TOP 20 RUNTIME INCREASE

<details><summary>TOP 20 RUNTIME INCREASE</summary>

|FILE                                                                                        |TIME_L     |TIME_R     |DIFF(s)    |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|SMT-Temporal-Planning-Benchmarks/cooking01.smt2                                             |   0.027s  |   0.027s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking02.smt2                                             |   0.031s  |   0.031s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking03.smt2                                             |   0.033s  |   0.033s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking04.smt2                                             |   0.032s  |   0.032s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking05.smt2                                             |   0.037s  |   0.037s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking06.smt2                                             |   0.047s  |   0.047s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking07.smt2                                             |   0.036s  |   0.036s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking08.smt2                                             |   0.040s  |   0.040s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking09.smt2                                             |   0.046s  |   0.046s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking10.smt2                                             |   0.054s  |   0.054s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking11.smt2                                             |   0.049s  |   0.049s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking12.smt2                                             |   0.049s  |   0.049s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking13.smt2                                             |   0.062s  |   0.062s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking14.smt2                                             |   0.059s  |   0.059s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking15.smt2                                             |   0.064s  |   0.064s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking16.smt2                                             |   0.070s  |   0.070s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking17.smt2                                             |   0.074s  |   0.074s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking18.smt2                                             |   0.068s  |   0.068s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking19.smt2                                             |   0.084s  |   0.084s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking20.smt2                                             |   0.079s  |   0.079s  |   0.000s  | 0.0%|
</details>


## TOP 20 RUNTIME INCREASE (RELATIVE)

<details><summary>TOP 20 RUNTIME INCREASE (RELATIVE)</summary>

|FILE                                                                                        |TIME_L     |TIME_R     |DIFF(s)    |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|SMT-Temporal-Planning-Benchmarks/cooking01.smt2                                             |   0.027s  |   0.027s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking02.smt2                                             |   0.031s  |   0.031s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking03.smt2                                             |   0.033s  |   0.033s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking04.smt2                                             |   0.032s  |   0.032s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking05.smt2                                             |   0.037s  |   0.037s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking06.smt2                                             |   0.047s  |   0.047s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking07.smt2                                             |   0.036s  |   0.036s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking08.smt2                                             |   0.040s  |   0.040s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking09.smt2                                             |   0.046s  |   0.046s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking10.smt2                                             |   0.054s  |   0.054s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking11.smt2                                             |   0.049s  |   0.049s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking12.smt2                                             |   0.049s  |   0.049s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking13.smt2                                             |   0.062s  |   0.062s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking14.smt2                                             |   0.059s  |   0.059s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking15.smt2                                             |   0.064s  |   0.064s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking16.smt2                                             |   0.070s  |   0.070s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking17.smt2                                             |   0.074s  |   0.074s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking18.smt2                                             |   0.068s  |   0.068s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking19.smt2                                             |   0.084s  |   0.084s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking20.smt2                                             |   0.079s  |   0.079s  |   0.000s  | 0.0%|
</details>


## TOP 20 RUNTIME DECREASE

<details><summary>TOP 20 RUNTIME DECREASE</summary>

|FILE                                                                                        |TIME_L     |TIME_R     |DIFF(s)    |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|SMT-Temporal-Planning-Benchmarks/cooking01.smt2                                             |   0.027s  |   0.027s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking02.smt2                                             |   0.031s  |   0.031s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking03.smt2                                             |   0.033s  |   0.033s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking04.smt2                                             |   0.032s  |   0.032s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking05.smt2                                             |   0.037s  |   0.037s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking06.smt2                                             |   0.047s  |   0.047s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking07.smt2                                             |   0.036s  |   0.036s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking08.smt2                                             |   0.040s  |   0.040s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking09.smt2                                             |   0.046s  |   0.046s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking10.smt2                                             |   0.054s  |   0.054s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking11.smt2                                             |   0.049s  |   0.049s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking12.smt2                                             |   0.049s  |   0.049s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking13.smt2                                             |   0.062s  |   0.062s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking14.smt2                                             |   0.059s  |   0.059s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking15.smt2                                             |   0.064s  |   0.064s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking16.smt2                                             |   0.070s  |   0.070s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking17.smt2                                             |   0.074s  |   0.074s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking18.smt2                                             |   0.068s  |   0.068s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking19.smt2                                             |   0.084s  |   0.084s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking20.smt2                                             |   0.079s  |   0.079s  |   0.000s  | 0.0%|
</details>


## TOP 20 RUNTIME DECREASE (RELATIVE)

<details><summary>TOP 20 RUNTIME DECREASE (RELATIVE)</summary>

|FILE                                                                                        |TIME_L     |TIME_R     |DIFF(s)    |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|SMT-Temporal-Planning-Benchmarks/cooking01.smt2                                             |   0.027s  |   0.027s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking02.smt2                                             |   0.031s  |   0.031s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking03.smt2                                             |   0.033s  |   0.033s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking04.smt2                                             |   0.032s  |   0.032s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking05.smt2                                             |   0.037s  |   0.037s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking06.smt2                                             |   0.047s  |   0.047s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking07.smt2                                             |   0.036s  |   0.036s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking08.smt2                                             |   0.040s  |   0.040s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking09.smt2                                             |   0.046s  |   0.046s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking10.smt2                                             |   0.054s  |   0.054s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking11.smt2                                             |   0.049s  |   0.049s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking12.smt2                                             |   0.049s  |   0.049s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking13.smt2                                             |   0.062s  |   0.062s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking14.smt2                                             |   0.059s  |   0.059s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking15.smt2                                             |   0.064s  |   0.064s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking16.smt2                                             |   0.070s  |   0.070s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking17.smt2                                             |   0.074s  |   0.074s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking18.smt2                                             |   0.068s  |   0.068s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking19.smt2                                             |   0.084s  |   0.084s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking20.smt2                                             |   0.079s  |   0.079s  |   0.000s  | 0.0%|
</details>


## TOP 20 LHS FILES, BY RUNTIME

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

|FILE                                                                                       |TIME     |MEM        |
|------------|----------:|---------:|
|scheduling/swv11_3050.smt2                                                                 |  30.051s |231.0MiB|
|skdmxa2/skdmxa-3x3-19.base.cvc.smt2                                                        |  30.046s |216.0MiB|
|scheduling/swv14_3000.smt2                                                                 |  30.041s |235.0MiB|
|scheduling/swv13_3200.smt2                                                                 |  30.040s |251.0MiB|
|scheduling/swv11_2992.smt2                                                                 |  30.040s |234.0MiB|
|scheduling/swv13_3000.smt2                                                                 |  30.039s |245.0MiB|
|scheduling/swv12_3004.smt2                                                                 |  30.038s |261.0MiB|
|scheduling/swv13_3104.smt2                                                                 |  30.038s |247.0MiB|
|skdmxa2/skdmxa-3x3-18.base.cvc.smt2                                                        |  30.038s |213.0MiB|
|scheduling/swv12_3050.smt2                                                                 |  30.037s |250.0MiB|
|scheduling/swv14_2895.smt2                                                                 |  30.037s |242.0MiB|
|scheduling/swv12_2990.smt2                                                                 |  30.037s |245.0MiB|
|scheduling/swv12_2972.smt2                                                                 |  30.037s |251.0MiB|
|scheduling/swv11_2983.smt2                                                                 |  30.036s |235.0MiB|
|scheduling/swv12_2900.smt2                                                                 |  30.036s |241.0MiB|
|scheduling/swv11_2900.smt2                                                                 |  30.036s |230.0MiB|
|scheduling/swv13_3150.smt2                                                                 |  30.036s |253.0MiB|
|skdmxa2/skdmxa-3x3-20.base.cvc.smt2                                                        |  30.036s |221.0MiB|
|scheduling/swv14_2885.smt2                                                                 |  30.035s |237.0MiB|
|scheduling/swv14_2800.smt2                                                                 |  30.035s |230.0MiB|
</details>


## TOP 20 RHS FILES, BY RUNTIME

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

|FILE                                                                                       |TIME     |MEM        |
|------------|----------:|---------:|
|scheduling/swv11_3050.smt2                                                                 |  30.051s |231.0MiB|
|skdmxa2/skdmxa-3x3-19.base.cvc.smt2                                                        |  30.046s |216.0MiB|
|scheduling/swv14_3000.smt2                                                                 |  30.041s |235.0MiB|
|scheduling/swv13_3200.smt2                                                                 |  30.040s |251.0MiB|
|scheduling/swv11_2992.smt2                                                                 |  30.040s |234.0MiB|
|scheduling/swv13_3000.smt2                                                                 |  30.039s |245.0MiB|
|scheduling/swv12_3004.smt2                                                                 |  30.038s |261.0MiB|
|scheduling/swv13_3104.smt2                                                                 |  30.038s |247.0MiB|
|skdmxa2/skdmxa-3x3-18.base.cvc.smt2                                                        |  30.038s |213.0MiB|
|scheduling/swv12_3050.smt2                                                                 |  30.037s |250.0MiB|
|scheduling/swv14_2895.smt2                                                                 |  30.037s |242.0MiB|
|scheduling/swv12_2990.smt2                                                                 |  30.037s |245.0MiB|
|scheduling/swv12_2972.smt2                                                                 |  30.037s |251.0MiB|
|scheduling/swv11_2983.smt2                                                                 |  30.036s |235.0MiB|
|scheduling/swv12_2900.smt2                                                                 |  30.036s |241.0MiB|
|scheduling/swv11_2900.smt2                                                                 |  30.036s |230.0MiB|
|scheduling/swv13_3150.smt2                                                                 |  30.036s |253.0MiB|
|skdmxa2/skdmxa-3x3-20.base.cvc.smt2                                                        |  30.036s |221.0MiB|
|scheduling/swv14_2885.smt2                                                                 |  30.035s |237.0MiB|
|scheduling/swv14_2800.smt2                                                                 |  30.035s |230.0MiB|
</details>


## TOP 20 MEMORY INCREASE

<details><summary>TOP 20 MEMORY INCREASE</summary>

|FILE                                                                                        |MEM_L         |MEM_R         |DIFF            |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|SMT-Temporal-Planning-Benchmarks/cooking01.smt2                                             |19.992MiB|19.992MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking02.smt2                                             |19.992MiB|19.992MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking03.smt2                                             |20.248MiB|20.248MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking04.smt2                                             |20.504MiB|20.504MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking05.smt2                                             |20.504MiB|20.504MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking06.smt2                                             |20.76MiB|20.76MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking07.smt2                                             |21.016MiB|21.016MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking08.smt2                                             |21.02MiB|21.02MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking09.smt2                                             |21.276MiB|21.276MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking10.smt2                                             |21.524MiB|21.524MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking11.smt2                                             |21.62MiB|21.62MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking12.smt2                                             |21.62MiB|21.62MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking13.smt2                                             |21.876MiB|21.876MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking14.smt2                                             |22.132MiB|22.132MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking15.smt2                                             |22.208MiB|22.208MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking16.smt2                                             |22.416MiB|22.416MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking17.smt2                                             |22.492MiB|22.492MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking18.smt2                                             |22.728MiB|22.728MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking19.smt2                                             |22.864MiB|22.864MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking20.smt2                                             |23.02MiB|23.02MiB|0B| 0.0%|
</details>


## TOP 20 MEMORY INCREASE (RELATIVE)

<details><summary>TOP 20 MEMORY INCREASE (RELATIVE)</summary>

|FILE                                                                                        |MEM_L         |MEM_R         |DIFF            |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|SMT-Temporal-Planning-Benchmarks/cooking01.smt2                                             |19.992MiB|19.992MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking02.smt2                                             |19.992MiB|19.992MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking03.smt2                                             |20.248MiB|20.248MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking04.smt2                                             |20.504MiB|20.504MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking05.smt2                                             |20.504MiB|20.504MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking06.smt2                                             |20.76MiB|20.76MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking07.smt2                                             |21.016MiB|21.016MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking08.smt2                                             |21.02MiB|21.02MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking09.smt2                                             |21.276MiB|21.276MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking10.smt2                                             |21.524MiB|21.524MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking11.smt2                                             |21.62MiB|21.62MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking12.smt2                                             |21.62MiB|21.62MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking13.smt2                                             |21.876MiB|21.876MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking14.smt2                                             |22.132MiB|22.132MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking15.smt2                                             |22.208MiB|22.208MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking16.smt2                                             |22.416MiB|22.416MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking17.smt2                                             |22.492MiB|22.492MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking18.smt2                                             |22.728MiB|22.728MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking19.smt2                                             |22.864MiB|22.864MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking20.smt2                                             |23.02MiB|23.02MiB|0B| 0.0%|
</details>


## TOP 20 MEMORY DECREASE

<details><summary>TOP 20 MEMORY DECREASE</summary>

|FILE                                                                                        |MEM_L         |MEM_R         |DIFF            |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|SMT-Temporal-Planning-Benchmarks/cooking01.smt2                                             |19.992MiB|19.992MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking02.smt2                                             |19.992MiB|19.992MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking03.smt2                                             |20.248MiB|20.248MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking04.smt2                                             |20.504MiB|20.504MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking05.smt2                                             |20.504MiB|20.504MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking06.smt2                                             |20.76MiB|20.76MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking07.smt2                                             |21.016MiB|21.016MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking08.smt2                                             |21.02MiB|21.02MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking09.smt2                                             |21.276MiB|21.276MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking10.smt2                                             |21.524MiB|21.524MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking11.smt2                                             |21.62MiB|21.62MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking12.smt2                                             |21.62MiB|21.62MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking13.smt2                                             |21.876MiB|21.876MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking14.smt2                                             |22.132MiB|22.132MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking15.smt2                                             |22.208MiB|22.208MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking16.smt2                                             |22.416MiB|22.416MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking17.smt2                                             |22.492MiB|22.492MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking18.smt2                                             |22.728MiB|22.728MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking19.smt2                                             |22.864MiB|22.864MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking20.smt2                                             |23.02MiB|23.02MiB|0B| 0.0%|
</details>


## TOP 20 MEMORY DECREASE (RELATIVE)

<details><summary>TOP 20 MEMORY DECREASE (RELATIVE)</summary>

|FILE                                                                                        |MEM_L         |MEM_R         |DIFF            |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|SMT-Temporal-Planning-Benchmarks/cooking01.smt2                                             |19.992MiB|19.992MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking02.smt2                                             |19.992MiB|19.992MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking03.smt2                                             |20.248MiB|20.248MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking04.smt2                                             |20.504MiB|20.504MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking05.smt2                                             |20.504MiB|20.504MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking06.smt2                                             |20.76MiB|20.76MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking07.smt2                                             |21.016MiB|21.016MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking08.smt2                                             |21.02MiB|21.02MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking09.smt2                                             |21.276MiB|21.276MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking10.smt2                                             |21.524MiB|21.524MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking11.smt2                                             |21.62MiB|21.62MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking12.smt2                                             |21.62MiB|21.62MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking13.smt2                                             |21.876MiB|21.876MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking14.smt2                                             |22.132MiB|22.132MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking15.smt2                                             |22.208MiB|22.208MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking16.smt2                                             |22.416MiB|22.416MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking17.smt2                                             |22.492MiB|22.492MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking18.smt2                                             |22.728MiB|22.728MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking19.smt2                                             |22.864MiB|22.864MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking20.smt2                                             |23.02MiB|23.02MiB|0B| 0.0%|
</details>


## TOP 20 LHS FILES, BY PEAK MEMORY USAGE

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

|FILE                                                                                       |TIME     |MEM        |
|------------|----------:|---------:|
|skdmxa2/skdmxa-3x3-19.induction.cvc.smt2                                                   |   6.982s |328.0MiB|
|skdmxa2/skdmxa-3x3-20.induction.cvc.smt2                                                   |   7.157s |310.0MiB|
|skdmxa2/skdmxa-3x3-18.induction.cvc.smt2                                                   |   4.021s |278.0MiB|
|skdmxa2/skdmxa-3x3-17.induction.cvc.smt2                                                   |   5.857s |269.0MiB|
|scheduling/swv12_3004.smt2                                                                 |  30.038s |261.0MiB|
|scheduling/swv13_3150.smt2                                                                 |  30.036s |253.0MiB|
|scheduling/swv13_3200.smt2                                                                 |  30.040s |251.0MiB|
|scheduling/swv12_2972.smt2                                                                 |  30.037s |251.0MiB|
|scheduling/swv12_3050.smt2                                                                 |  30.037s |250.0MiB|
|scheduling/swv13_3104.smt2                                                                 |  30.038s |247.0MiB|
|scheduling/swv13_3000.smt2                                                                 |  30.039s |245.0MiB|
|scheduling/swv12_2990.smt2                                                                 |  30.037s |245.0MiB|
|scheduling/swv14_2895.smt2                                                                 |  30.037s |242.0MiB|
|scheduling/swv12_2900.smt2                                                                 |  30.036s |241.0MiB|
|scheduling/swv14_2885.smt2                                                                 |  30.035s |237.0MiB|
|scheduling/swv14_3000.smt2                                                                 |  30.041s |235.0MiB|
|scheduling/swv11_2983.smt2                                                                 |  30.036s |235.0MiB|
|scheduling/swv11_2992.smt2                                                                 |  30.040s |234.0MiB|
|scheduling/swv14_2905.smt2                                                                 |  30.031s |234.0MiB|
|scheduling/swv11_2988.smt2                                                                 |  30.035s |232.0MiB|
</details>


## TOP 20 RHS FILES, BY PEAK MEMORY USAGE

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

|FILE                                                                                       |TIME     |MEM        |
|------------|----------:|---------:|
|skdmxa2/skdmxa-3x3-19.induction.cvc.smt2                                                   |   6.982s |328.0MiB|
|skdmxa2/skdmxa-3x3-20.induction.cvc.smt2                                                   |   7.157s |310.0MiB|
|skdmxa2/skdmxa-3x3-18.induction.cvc.smt2                                                   |   4.021s |278.0MiB|
|skdmxa2/skdmxa-3x3-17.induction.cvc.smt2                                                   |   5.857s |269.0MiB|
|scheduling/swv12_3004.smt2                                                                 |  30.038s |261.0MiB|
|scheduling/swv13_3150.smt2                                                                 |  30.036s |253.0MiB|
|scheduling/swv13_3200.smt2                                                                 |  30.040s |251.0MiB|
|scheduling/swv12_2972.smt2                                                                 |  30.037s |251.0MiB|
|scheduling/swv12_3050.smt2                                                                 |  30.037s |250.0MiB|
|scheduling/swv13_3104.smt2                                                                 |  30.038s |247.0MiB|
|scheduling/swv13_3000.smt2                                                                 |  30.039s |245.0MiB|
|scheduling/swv12_2990.smt2                                                                 |  30.037s |245.0MiB|
|scheduling/swv14_2895.smt2                                                                 |  30.037s |242.0MiB|
|scheduling/swv12_2900.smt2                                                                 |  30.036s |241.0MiB|
|scheduling/swv14_2885.smt2                                                                 |  30.035s |237.0MiB|
|scheduling/swv14_3000.smt2                                                                 |  30.041s |235.0MiB|
|scheduling/swv11_2983.smt2                                                                 |  30.036s |235.0MiB|
|scheduling/swv11_2992.smt2                                                                 |  30.040s |234.0MiB|
|scheduling/swv14_2905.smt2                                                                 |  30.031s |234.0MiB|
|scheduling/swv11_2988.smt2                                                                 |  30.035s |232.0MiB|
</details>


## FULL COMPARISON

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

|FILE                                                                                        |TIME_L     |TIME_R     |DIFF(s)    |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|SMT-Temporal-Planning-Benchmarks/cooking01.smt2                                             |   0.027s  |   0.027s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking02.smt2                                             |   0.031s  |   0.031s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking03.smt2                                             |   0.033s  |   0.033s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking04.smt2                                             |   0.032s  |   0.032s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking05.smt2                                             |   0.037s  |   0.037s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking06.smt2                                             |   0.047s  |   0.047s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking07.smt2                                             |   0.036s  |   0.036s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking08.smt2                                             |   0.040s  |   0.040s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking09.smt2                                             |   0.046s  |   0.046s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking10.smt2                                             |   0.054s  |   0.054s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking11.smt2                                             |   0.049s  |   0.049s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking12.smt2                                             |   0.049s  |   0.049s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking13.smt2                                             |   0.062s  |   0.062s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking14.smt2                                             |   0.059s  |   0.059s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking15.smt2                                             |   0.064s  |   0.064s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking16.smt2                                             |   0.070s  |   0.070s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking17.smt2                                             |   0.074s  |   0.074s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking18.smt2                                             |   0.068s  |   0.068s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking19.smt2                                             |   0.084s  |   0.084s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking20.smt2                                             |   0.079s  |   0.079s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking21.smt2                                             |   0.085s  |   0.085s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking22.smt2                                             |   0.078s  |   0.078s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tempo-depth-2.smt2                                         |   0.033s  |   0.033s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tempo-depth-3.smt2                                         |   0.071s  |   0.071s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tempo-depth-4.smt2                                         |   1.170s  |   1.170s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tempo-depth-5.smt2                                         |  12.430s  |  12.430s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tempo-depth-6.smt2                                         |  30.009s  |  30.009s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tempo-depth-7.smt2                                         |  30.028s  |  30.028s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tempo-matrix1x1.pddl.smt2                                  |   0.037s  |   0.037s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tempo-matrix2x2.pddl.smt2                                  |  30.025s  |  30.025s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tempo-width-1.smt2                                         |   0.030s  |   0.030s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tempo-width-2.smt2                                         |   0.041s  |   0.041s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tempo-width-3.smt2                                         |   0.461s  |   0.461s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tempo-width-4.smt2                                         |  16.784s  |  16.784s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tempo-width-5.smt2                                         |  30.012s  |  30.012s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tempo-width-6.smt2                                         |  30.029s  |  30.029s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-03.smt2                                      |   0.039s  |   0.039s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-04.smt2                                      |   0.032s  |   0.032s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-05.smt2                                      |   0.049s  |   0.049s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-06.smt2                                      |   0.049s  |   0.049s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-07.smt2                                      |   0.045s  |   0.045s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-08.smt2                                      |   0.052s  |   0.052s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-09.smt2                                      |   0.060s  |   0.060s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-10.smt2                                      |   0.044s  |   0.044s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-20.smt2                                      |   0.129s  |   0.129s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-30.smt2                                      |   0.183s  |   0.183s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-40.smt2                                      |   0.615s  |   0.615s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-60.smt2                                      |   2.346s  |   2.346s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-70.smt2                                      |   2.257s  |   2.257s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-80.smt2                                      |   2.644s  |   2.644s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-90.smt2                                      |   5.241s  |   5.241s  |   0.000s  | 0.0%|
|check/bignum_rdl1.smt2                                                                      |   0.026s  |   0.026s  |   0.000s  | 0.0%|
|check/bignum_rdl2.smt2                                                                      |   0.031s  |   0.031s  |   0.000s  | 0.0%|
|sal/fischer3-mutex-1.smt2                                                                   |   0.024s  |   0.024s  |   0.000s  | 0.0%|
|sal/fischer3-mutex-10.smt2                                                                  |   0.076s  |   0.076s  |   0.000s  | 0.0%|
|sal/fischer3-mutex-11.smt2                                                                  |   0.124s  |   0.124s  |   0.000s  | 0.0%|
|sal/fischer3-mutex-12.smt2                                                                  |   0.143s  |   0.143s  |   0.000s  | 0.0%|
|sal/fischer3-mutex-13.smt2                                                                  |   0.195s  |   0.195s  |   0.000s  | 0.0%|
|sal/fischer3-mutex-14.smt2                                                                  |   0.260s  |   0.260s  |   0.000s  | 0.0%|
|sal/fischer3-mutex-15.smt2                                                                  |   0.219s  |   0.219s  |   0.000s  | 0.0%|
|sal/fischer3-mutex-16.smt2                                                                  |   0.319s  |   0.319s  |   0.000s  | 0.0%|
|sal/fischer3-mutex-17.smt2                                                                  |   0.423s  |   0.423s  |   0.000s  | 0.0%|
|sal/fischer3-mutex-18.smt2                                                                  |   0.526s  |   0.526s  |   0.000s  | 0.0%|
|sal/fischer3-mutex-19.smt2                                                                  |   0.689s  |   0.689s  |   0.000s  | 0.0%|
|sal/fischer3-mutex-2.smt2                                                                   |   0.028s  |   0.028s  |   0.000s  | 0.0%|
|sal/fischer3-mutex-20.smt2                                                                  |   0.791s  |   0.791s  |   0.000s  | 0.0%|
|sal/fischer3-mutex-3.smt2                                                                   |   0.027s  |   0.027s  |   0.000s  | 0.0%|
|sal/fischer3-mutex-4.smt2                                                                   |   0.035s  |   0.035s  |   0.000s  | 0.0%|
|sal/fischer3-mutex-5.smt2                                                                   |   0.031s  |   0.031s  |   0.000s  | 0.0%|
|sal/fischer3-mutex-6.smt2                                                                   |   0.039s  |   0.039s  |   0.000s  | 0.0%|
|sal/fischer3-mutex-7.smt2                                                                   |   0.036s  |   0.036s  |   0.000s  | 0.0%|
|sal/fischer3-mutex-8.smt2                                                                   |   0.044s  |   0.044s  |   0.000s  | 0.0%|
|sal/fischer3-mutex-9.smt2                                                                   |   0.060s  |   0.060s  |   0.000s  | 0.0%|
|sal/fischer6-mutex-1.smt2                                                                   |   0.024s  |   0.024s  |   0.000s  | 0.0%|
|sal/fischer6-mutex-10.smt2                                                                  |   0.396s  |   0.396s  |   0.000s  | 0.0%|
|sal/fischer6-mutex-11.smt2                                                                  |   0.596s  |   0.596s  |   0.000s  | 0.0%|
|sal/fischer6-mutex-12.smt2                                                                  |   1.158s  |   1.158s  |   0.000s  | 0.0%|
|sal/fischer6-mutex-13.smt2                                                                  |   0.771s  |   0.771s  |   0.000s  | 0.0%|
|sal/fischer6-mutex-14.smt2                                                                  |   1.154s  |   1.154s  |   0.000s  | 0.0%|
|sal/fischer6-mutex-15.smt2                                                                  |   1.760s  |   1.760s  |   0.000s  | 0.0%|
|sal/fischer6-mutex-16.smt2                                                                  |   6.763s  |   6.763s  |   0.000s  | 0.0%|
|sal/fischer6-mutex-17.smt2                                                                  |   3.087s  |   3.087s  |   0.000s  | 0.0%|
|sal/fischer6-mutex-18.smt2                                                                  |   4.442s  |   4.442s  |   0.000s  | 0.0%|
|sal/fischer6-mutex-19.smt2                                                                  |   6.523s  |   6.523s  |   0.000s  | 0.0%|
|sal/fischer6-mutex-2.smt2                                                                   |   0.037s  |   0.037s  |   0.000s  | 0.0%|
|sal/fischer6-mutex-20.smt2                                                                  |   8.830s  |   8.830s  |   0.000s  | 0.0%|
|sal/fischer6-mutex-3.smt2                                                                   |   0.030s  |   0.030s  |   0.000s  | 0.0%|
|sal/fischer6-mutex-4.smt2                                                                   |   0.032s  |   0.032s  |   0.000s  | 0.0%|
|sal/fischer6-mutex-5.smt2                                                                   |   0.035s  |   0.035s  |   0.000s  | 0.0%|
|sal/fischer6-mutex-6.smt2                                                                   |   0.039s  |   0.039s  |   0.000s  | 0.0%|
|sal/fischer6-mutex-7.smt2                                                                   |   0.063s  |   0.063s  |   0.000s  | 0.0%|
|sal/fischer6-mutex-8.smt2                                                                   |   0.092s  |   0.092s  |   0.000s  | 0.0%|
|sal/fischer6-mutex-9.smt2                                                                   |   0.228s  |   0.228s  |   0.000s  | 0.0%|
|sal/fischer9-mutex-1.smt2                                                                   |   0.030s  |   0.030s  |   0.000s  | 0.0%|
|sal/fischer9-mutex-10.smt2                                                                  |   1.432s  |   1.432s  |   0.000s  | 0.0%|
|sal/fischer9-mutex-11.smt2                                                                  |   3.235s  |   3.235s  |   0.000s  | 0.0%|
|sal/fischer9-mutex-12.smt2                                                                  |   1.624s  |   1.624s  |   0.000s  | 0.0%|
|sal/fischer9-mutex-13.smt2                                                                  |   5.524s  |   5.524s  |   0.000s  | 0.0%|
|sal/fischer9-mutex-14.smt2                                                                  |   5.823s  |   5.823s  |   0.000s  | 0.0%|
|sal/fischer9-mutex-15.smt2                                                                  |   5.336s  |   5.336s  |   0.000s  | 0.0%|
|sal/fischer9-mutex-16.smt2                                                                  |   8.288s  |   8.288s  |   0.000s  | 0.0%|
|sal/fischer9-mutex-17.smt2                                                                  |  24.901s  |  24.901s  |   0.000s  | 0.0%|
|sal/fischer9-mutex-18.smt2                                                                  |  20.712s  |  20.712s  |   0.000s  | 0.0%|
|sal/fischer9-mutex-19.smt2                                                                  |  30.021s  |  30.021s  |   0.000s  | 0.0%|
|sal/fischer9-mutex-2.smt2                                                                   |   0.043s  |   0.043s  |   0.000s  | 0.0%|
|sal/fischer9-mutex-20.smt2                                                                  |  30.019s  |  30.019s  |   0.000s  | 0.0%|
|sal/fischer9-mutex-3.smt2                                                                   |   0.034s  |   0.034s  |   0.000s  | 0.0%|
|sal/fischer9-mutex-4.smt2                                                                   |   0.039s  |   0.039s  |   0.000s  | 0.0%|
|sal/fischer9-mutex-5.smt2                                                                   |   0.047s  |   0.047s  |   0.000s  | 0.0%|
|sal/fischer9-mutex-6.smt2                                                                   |   0.080s  |   0.080s  |   0.000s  | 0.0%|
|sal/fischer9-mutex-7.smt2                                                                   |   0.116s  |   0.116s  |   0.000s  | 0.0%|
|sal/fischer9-mutex-8.smt2                                                                   |   0.196s  |   0.196s  |   0.000s  | 0.0%|
|sal/fischer9-mutex-9.smt2                                                                   |   0.551s  |   0.551s  |   0.000s  | 0.0%|
|scheduling/abz5_1000.smt2                                                                   |   0.060s  |   0.060s  |   0.000s  | 0.0%|
|scheduling/abz5_1200.smt2                                                                   |   1.928s  |   1.928s  |   0.000s  | 0.0%|
|scheduling/abz5_1234.smt2                                                                   |   3.994s  |   3.994s  |   0.000s  | 0.0%|
|scheduling/abz5_1300.smt2                                                                   |   0.436s  |   0.436s  |   0.000s  | 0.0%|
|scheduling/abz5_1400.smt2                                                                   |   0.128s  |   0.128s  |   0.000s  | 0.0%|
|scheduling/abz6_1000.smt2                                                                   |   0.236s  |   0.236s  |   0.000s  | 0.0%|
|scheduling/abz6_1100.smt2                                                                   |   0.108s  |   0.108s  |   0.000s  | 0.0%|
|scheduling/abz6_800.smt2                                                                    |   0.045s  |   0.045s  |   0.000s  | 0.0%|
|scheduling/abz6_900.smt2                                                                    |   0.158s  |   0.158s  |   0.000s  | 0.0%|
|scheduling/abz6_943.smt2                                                                    |   0.821s  |   0.821s  |   0.000s  | 0.0%|
|scheduling/abz7_500.smt2                                                                    |   1.214s  |   1.214s  |   0.000s  | 0.0%|
|scheduling/abz7_600.smt2                                                                    |  30.017s  |  30.017s  |   0.000s  | 0.0%|
|scheduling/abz7_667.smt2                                                                    |  30.022s  |  30.022s  |   0.000s  | 0.0%|
|scheduling/abz7_670.smt2                                                                    |  30.024s  |  30.024s  |   0.000s  | 0.0%|
|scheduling/abz7_691.smt2                                                                    |  30.022s  |  30.022s  |   0.000s  | 0.0%|
|scheduling/abz7_700.smt2                                                                    |  30.025s  |  30.025s  |   0.000s  | 0.0%|
|scheduling/abz7_800.smt2                                                                    |  30.028s  |  30.028s  |   0.000s  | 0.0%|
|scheduling/orb01_1000.smt2                                                                  |  27.309s  |  27.309s  |   0.000s  | 0.0%|
|scheduling/orb01_1059.smt2                                                                  |  30.019s  |  30.019s  |   0.000s  | 0.0%|
|scheduling/orb01_1100.smt2                                                                  |  22.536s  |  22.536s  |   0.000s  | 0.0%|
|scheduling/orb01_1200.smt2                                                                  |   1.146s  |   1.146s  |   0.000s  | 0.0%|
|scheduling/orb01_900.smt2                                                                   |   0.449s  |   0.449s  |   0.000s  | 0.0%|
|scheduling/orb02_1000.smt2                                                                  |   0.125s  |   0.125s  |   0.000s  | 0.0%|
|scheduling/orb02_700.smt2                                                                   |   0.036s  |   0.036s  |   0.000s  | 0.0%|
|scheduling/orb02_800.smt2                                                                   |   0.094s  |   0.094s  |   0.000s  | 0.0%|
|scheduling/orb02_888.smt2                                                                   |   1.834s  |   1.834s  |   0.000s  | 0.0%|
|scheduling/orb02_900.smt2                                                                   |   0.465s  |   0.465s  |   0.000s  | 0.0%|
|scheduling/orb03_1005.smt2                                                                  |  30.018s  |  30.018s  |   0.000s  | 0.0%|
|scheduling/orb03_1100.smt2                                                                  |   2.013s  |   2.013s  |   0.000s  | 0.0%|
|scheduling/orb03_1200.smt2                                                                  |   0.316s  |   0.316s  |   0.000s  | 0.0%|
|scheduling/orb03_850.smt2                                                                   |   0.333s  |   0.333s  |   0.000s  | 0.0%|
|scheduling/orb03_950.smt2                                                                   |  13.170s  |  13.170s  |   0.000s  | 0.0%|
|scheduling/orb04_1005.smt2                                                                  |   4.963s  |   4.963s  |   0.000s  | 0.0%|
|scheduling/orb04_1100.smt2                                                                  |   0.411s  |   0.411s  |   0.000s  | 0.0%|
|scheduling/orb04_1200.smt2                                                                  |   0.242s  |   0.242s  |   0.000s  | 0.0%|
|scheduling/orb04_850.smt2                                                                   |   0.062s  |   0.062s  |   0.000s  | 0.0%|
|scheduling/orb04_950.smt2                                                                   |   0.402s  |   0.402s  |   0.000s  | 0.0%|
|scheduling/orb05_1000.smt2                                                                  |   0.291s  |   0.291s  |   0.000s  | 0.0%|
|scheduling/orb05_700.smt2                                                                   |   0.056s  |   0.056s  |   0.000s  | 0.0%|
|scheduling/orb05_800.smt2                                                                   |   0.235s  |   0.235s  |   0.000s  | 0.0%|
|scheduling/orb05_887.smt2                                                                   |   6.478s  |   6.478s  |   0.000s  | 0.0%|
|scheduling/orb05_900.smt2                                                                   |   4.682s  |   4.682s  |   0.000s  | 0.0%|
|scheduling/orb06_1000.smt2                                                                  |  30.016s  |  30.016s  |   0.000s  | 0.0%|
|scheduling/orb06_1010.smt2                                                                  |  30.022s  |  30.022s  |   0.000s  | 0.0%|
|scheduling/orb06_1100.smt2                                                                  |   0.760s  |   0.760s  |   0.000s  | 0.0%|
|scheduling/orb06_1200.smt2                                                                  |   0.559s  |   0.559s  |   0.000s  | 0.0%|
|scheduling/orb06_900.smt2                                                                   |   0.290s  |   0.290s  |   0.000s  | 0.0%|
|scheduling/orb07_250.smt2                                                                   |   0.035s  |   0.035s  |   0.000s  | 0.0%|
|scheduling/orb07_330.smt2                                                                   |   0.049s  |   0.049s  |   0.000s  | 0.0%|
|scheduling/orb07_397.smt2                                                                   |   3.602s  |   3.602s  |   0.000s  | 0.0%|
|scheduling/orb07_430.smt2                                                                   |   0.433s  |   0.433s  |   0.000s  | 0.0%|
|scheduling/orb07_550.smt2                                                                   |   0.105s  |   0.105s  |   0.000s  | 0.0%|
|scheduling/orb08_1000.smt2                                                                  |   1.209s  |   1.209s  |   0.000s  | 0.0%|
|scheduling/orb08_700.smt2                                                                   |   0.059s  |   0.059s  |   0.000s  | 0.0%|
|scheduling/orb08_830.smt2                                                                   |   0.553s  |   0.553s  |   0.000s  | 0.0%|
|scheduling/orb08_888.smt2                                                                   |   6.841s  |   6.841s  |   0.000s  | 0.0%|
|scheduling/orb08_930.smt2                                                                   |   3.109s  |   3.109s  |   0.000s  | 0.0%|
|scheduling/orb09_1000.smt2                                                                  |   0.173s  |   0.173s  |   0.000s  | 0.0%|
|scheduling/orb09_1100.smt2                                                                  |   0.130s  |   0.130s  |   0.000s  | 0.0%|
|scheduling/orb09_800.smt2                                                                   |   0.074s  |   0.074s  |   0.000s  | 0.0%|
|scheduling/orb09_900.smt2                                                                   |   1.791s  |   1.791s  |   0.000s  | 0.0%|
|scheduling/orb09_934.smt2                                                                   |  10.531s  |  10.531s  |   0.000s  | 0.0%|
|scheduling/orb10_1000.smt2                                                                  |   4.492s  |   4.492s  |   0.000s  | 0.0%|
|scheduling/orb10_1100.smt2                                                                  |   0.149s  |   0.149s  |   0.000s  | 0.0%|
|scheduling/orb10_800.smt2                                                                   |   0.078s  |   0.078s  |   0.000s  | 0.0%|
|scheduling/orb10_900.smt2                                                                   |   0.660s  |   0.660s  |   0.000s  | 0.0%|
|scheduling/orb10_944.smt2                                                                   |   5.592s  |   5.592s  |   0.000s  | 0.0%|
|scheduling/swv11_2900.smt2                                                                  |  30.036s  |  30.036s  |   0.000s  | 0.0%|
|scheduling/swv11_2983.smt2                                                                  |  30.036s  |  30.036s  |   0.000s  | 0.0%|
|scheduling/swv11_2988.smt2                                                                  |  30.035s  |  30.035s  |   0.000s  | 0.0%|
|scheduling/swv11_2992.smt2                                                                  |  30.040s  |  30.040s  |   0.000s  | 0.0%|
|scheduling/swv11_3050.smt2                                                                  |  30.051s  |  30.051s  |   0.000s  | 0.0%|
|scheduling/swv12_2900.smt2                                                                  |  30.036s  |  30.036s  |   0.000s  | 0.0%|
|scheduling/swv12_2972.smt2                                                                  |  30.037s  |  30.037s  |   0.000s  | 0.0%|
|scheduling/swv12_2990.smt2                                                                  |  30.037s  |  30.037s  |   0.000s  | 0.0%|
|scheduling/swv12_3004.smt2                                                                  |  30.038s  |  30.038s  |   0.000s  | 0.0%|
|scheduling/swv12_3050.smt2                                                                  |  30.037s  |  30.037s  |   0.000s  | 0.0%|
|scheduling/swv13_3000.smt2                                                                  |  30.039s  |  30.039s  |   0.000s  | 0.0%|
|scheduling/swv13_3104.smt2                                                                  |  30.038s  |  30.038s  |   0.000s  | 0.0%|
|scheduling/swv13_3150.smt2                                                                  |  30.036s  |  30.036s  |   0.000s  | 0.0%|
|scheduling/swv13_3200.smt2                                                                  |  30.040s  |  30.040s  |   0.000s  | 0.0%|
|scheduling/swv14_2800.smt2                                                                  |  30.035s  |  30.035s  |   0.000s  | 0.0%|
|scheduling/swv14_2885.smt2                                                                  |  30.035s  |  30.035s  |   0.000s  | 0.0%|
|scheduling/swv14_2895.smt2                                                                  |  30.037s  |  30.037s  |   0.000s  | 0.0%|
|scheduling/swv14_2905.smt2                                                                  |  30.031s  |  30.031s  |   0.000s  | 0.0%|
|scheduling/swv14_3000.smt2                                                                  |  30.041s  |  30.041s  |   0.000s  | 0.0%|
|scheduling/yn1_750.smt2                                                                     |   0.769s  |   0.769s  |   0.000s  | 0.0%|
|scheduling/yn1_827.smt2                                                                     |  30.026s  |  30.026s  |   0.000s  | 0.0%|
|scheduling/yn1_850.smt2                                                                     |  30.020s  |  30.020s  |   0.000s  | 0.0%|
|scheduling/yn1_887.smt2                                                                     |  30.020s  |  30.020s  |   0.000s  | 0.0%|
|scheduling/yn1_950.smt2                                                                     |  30.026s  |  30.026s  |   0.000s  | 0.0%|
|scheduling/yn2_750.smt2                                                                     |   1.523s  |   1.523s  |   0.000s  | 0.0%|
|scheduling/yn2_862.smt2                                                                     |  30.020s  |  30.020s  |   0.000s  | 0.0%|
|scheduling/yn2_890.smt2                                                                     |  30.015s  |  30.015s  |   0.000s  | 0.0%|
|scheduling/yn2_910.smt2                                                                     |  30.025s  |  30.025s  |   0.000s  | 0.0%|
|scheduling/yn2_950.smt2                                                                     |  30.022s  |  30.022s  |   0.000s  | 0.0%|
|scheduling/yn3_750.smt2                                                                     |   1.112s  |   1.112s  |   0.000s  | 0.0%|
|scheduling/yn3_828.smt2                                                                     |  30.025s  |  30.025s  |   0.000s  | 0.0%|
|scheduling/yn3_860.smt2                                                                     |  30.023s  |  30.023s  |   0.000s  | 0.0%|
|scheduling/yn3_894.smt2                                                                     |  30.027s  |  30.027s  |   0.000s  | 0.0%|
|scheduling/yn3_950.smt2                                                                     |  30.025s  |  30.025s  |   0.000s  | 0.0%|
|scheduling/yn4_1000.smt2                                                                    |  30.021s  |  30.021s  |   0.000s  | 0.0%|
|scheduling/yn4_850.smt2                                                                     |  30.019s  |  30.019s  |   0.000s  | 0.0%|
|scheduling/yn4_919.smt2                                                                     |  30.022s  |  30.022s  |   0.000s  | 0.0%|
|scheduling/yn4_950.smt2                                                                     |  30.021s  |  30.021s  |   0.000s  | 0.0%|
|scheduling/yn4_969.smt2                                                                     |  30.020s  |  30.020s  |   0.000s  | 0.0%|
|skdmxa/skdmxa-3x3-10.smt2                                                                   |   0.701s  |   0.701s  |   0.000s  | 0.0%|
|skdmxa/skdmxa-3x3-15.smt2                                                                   |   8.536s  |   8.536s  |   0.000s  | 0.0%|
|skdmxa/skdmxa-3x3-20.smt2                                                                   |  30.018s  |  30.018s  |   0.000s  | 0.0%|
|skdmxa/skdmxa-3x3-5.smt2                                                                    |   0.141s  |   0.141s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-10.base.cvc.smt2                                                         |   1.255s  |   1.255s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-10.induction.cvc.smt2                                                    |   1.103s  |   1.103s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-11.base.cvc.smt2                                                         |   2.904s  |   2.904s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-11.induction.cvc.smt2                                                    |   1.873s  |   1.873s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-12.base.cvc.smt2                                                         |   4.191s  |   4.191s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-12.induction.cvc.smt2                                                    |   2.187s  |   2.187s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-13.base.cvc.smt2                                                         |   9.132s  |   9.132s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-13.induction.cvc.smt2                                                    |   2.675s  |   2.675s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-14.base.cvc.smt2                                                         |   8.785s  |   8.785s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-14.induction.cvc.smt2                                                    |   4.146s  |   4.146s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-15.base.cvc.smt2                                                         |  12.629s  |  12.629s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-15.induction.cvc.smt2                                                    |   3.406s  |   3.406s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-16.base.cvc.smt2                                                         |  15.746s  |  15.746s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-16.induction.cvc.smt2                                                    |   4.897s  |   4.897s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-17.base.cvc.smt2                                                         |  21.863s  |  21.863s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-17.induction.cvc.smt2                                                    |   5.857s  |   5.857s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-18.base.cvc.smt2                                                         |  30.038s  |  30.038s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-18.induction.cvc.smt2                                                    |   4.021s  |   4.021s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-19.base.cvc.smt2                                                         |  30.046s  |  30.046s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-19.induction.cvc.smt2                                                    |   6.982s  |   6.982s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-20.base.cvc.smt2                                                         |  30.036s  |  30.036s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-20.induction.cvc.smt2                                                    |   7.157s  |   7.157s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-5.base.cvc.smt2                                                          |   0.231s  |   0.231s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-5.induction.cvc.smt2                                                     |   0.427s  |   0.427s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-6.base.cvc.smt2                                                          |   0.295s  |   0.295s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-6.induction.cvc.smt2                                                     |   0.614s  |   0.614s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-7.base.cvc.smt2                                                          |   0.414s  |   0.414s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-7.induction.cvc.smt2                                                     |   0.818s  |   0.818s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-8.base.cvc.smt2                                                          |   0.448s  |   0.448s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-8.induction.cvc.smt2                                                     |   0.837s  |   0.837s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-9.base.cvc.smt2                                                          |   0.907s  |   0.907s  |   0.000s  | 0.0%|
</details>