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-threads-4-smts_tree_algorithms
Runner: rise-runner-2
Z3 repo: ilanashapiro/z3
Z3 commit: 6d9bea5ec16352bbbd832e6b1578f6b266699544
Z3 branch: smts_tree_algorithms
Z3 options: "-T:60 smt.threads=4 tactic.default_tactic=smt smt.auto_config=false"
Z3 inputs: inputs/QF_RDL
Z3 commit message: clean up a function and add comment

</pre>
# RHS
<pre>
Ramon benchmark for Z3
-
Job description: 
Job tag: smt_qfrdl-threads-4-smts_tree_algorithms
Runner: rise-runner-2
Z3 repo: ilanashapiro/z3
Z3 commit: 6d9bea5ec16352bbbd832e6b1578f6b266699544
Z3 branch: smts_tree_algorithms
Z3 options: "-T:60 smt.threads=4 tactic.default_tactic=smt smt.auto_config=false"
Z3 inputs: inputs/QF_RDL
Z3 commit message: clean up a function and add comment

</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.093s  |   0.093s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking02.smt2                                             |   0.095s  |   0.095s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking03.smt2                                             |   0.139s  |   0.139s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking04.smt2                                             |   0.110s  |   0.110s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking05.smt2                                             |   0.114s  |   0.114s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking06.smt2                                             |   0.148s  |   0.148s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking07.smt2                                             |   0.156s  |   0.156s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking08.smt2                                             |   0.168s  |   0.168s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking09.smt2                                             |   0.146s  |   0.146s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking10.smt2                                             |   0.156s  |   0.156s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking11.smt2                                             |   0.190s  |   0.190s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking12.smt2                                             |   0.160s  |   0.160s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking13.smt2                                             |   0.180s  |   0.180s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking14.smt2                                             |   0.213s  |   0.213s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking15.smt2                                             |   0.218s  |   0.218s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking16.smt2                                             |   0.223s  |   0.223s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking17.smt2                                             |   0.231s  |   0.231s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking18.smt2                                             |   0.242s  |   0.242s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking19.smt2                                             |   0.208s  |   0.208s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking20.smt2                                             |   0.228s  |   0.228s  |   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.093s  |   0.093s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking02.smt2                                             |   0.095s  |   0.095s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking03.smt2                                             |   0.139s  |   0.139s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking04.smt2                                             |   0.110s  |   0.110s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking05.smt2                                             |   0.114s  |   0.114s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking06.smt2                                             |   0.148s  |   0.148s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking07.smt2                                             |   0.156s  |   0.156s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking08.smt2                                             |   0.168s  |   0.168s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking09.smt2                                             |   0.146s  |   0.146s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking10.smt2                                             |   0.156s  |   0.156s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking11.smt2                                             |   0.190s  |   0.190s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking12.smt2                                             |   0.160s  |   0.160s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking13.smt2                                             |   0.180s  |   0.180s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking14.smt2                                             |   0.213s  |   0.213s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking15.smt2                                             |   0.218s  |   0.218s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking16.smt2                                             |   0.223s  |   0.223s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking17.smt2                                             |   0.231s  |   0.231s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking18.smt2                                             |   0.242s  |   0.242s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking19.smt2                                             |   0.208s  |   0.208s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking20.smt2                                             |   0.228s  |   0.228s  |   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.093s  |   0.093s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking02.smt2                                             |   0.095s  |   0.095s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking03.smt2                                             |   0.139s  |   0.139s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking04.smt2                                             |   0.110s  |   0.110s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking05.smt2                                             |   0.114s  |   0.114s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking06.smt2                                             |   0.148s  |   0.148s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking07.smt2                                             |   0.156s  |   0.156s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking08.smt2                                             |   0.168s  |   0.168s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking09.smt2                                             |   0.146s  |   0.146s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking10.smt2                                             |   0.156s  |   0.156s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking11.smt2                                             |   0.190s  |   0.190s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking12.smt2                                             |   0.160s  |   0.160s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking13.smt2                                             |   0.180s  |   0.180s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking14.smt2                                             |   0.213s  |   0.213s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking15.smt2                                             |   0.218s  |   0.218s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking16.smt2                                             |   0.223s  |   0.223s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking17.smt2                                             |   0.231s  |   0.231s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking18.smt2                                             |   0.242s  |   0.242s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking19.smt2                                             |   0.208s  |   0.208s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking20.smt2                                             |   0.228s  |   0.228s  |   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.093s  |   0.093s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking02.smt2                                             |   0.095s  |   0.095s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking03.smt2                                             |   0.139s  |   0.139s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking04.smt2                                             |   0.110s  |   0.110s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking05.smt2                                             |   0.114s  |   0.114s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking06.smt2                                             |   0.148s  |   0.148s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking07.smt2                                             |   0.156s  |   0.156s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking08.smt2                                             |   0.168s  |   0.168s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking09.smt2                                             |   0.146s  |   0.146s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking10.smt2                                             |   0.156s  |   0.156s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking11.smt2                                             |   0.190s  |   0.190s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking12.smt2                                             |   0.160s  |   0.160s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking13.smt2                                             |   0.180s  |   0.180s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking14.smt2                                             |   0.213s  |   0.213s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking15.smt2                                             |   0.218s  |   0.218s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking16.smt2                                             |   0.223s  |   0.223s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking17.smt2                                             |   0.231s  |   0.231s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking18.smt2                                             |   0.242s  |   0.242s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking19.smt2                                             |   0.208s  |   0.208s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking20.smt2                                             |   0.228s  |   0.228s  |   0.000s  | 0.0%|
</details>


## TOP 20 LHS FILES, BY RUNTIME

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

|FILE                                                                                       |TIME     |MEM        |
|------------|----------:|---------:|
|skdmxa2/skdmxa-3x3-19.base.cvc.smt2                                                        |  60.393s |2438.0MiB|
|skdmxa2/skdmxa-3x3-20.base.cvc.smt2                                                        |  60.339s |2609.0MiB|
|skdmxa2/skdmxa-3x3-17.base.cvc.smt2                                                        |  60.312s |1819.0MiB|
|skdmxa2/skdmxa-3x3-16.base.cvc.smt2                                                        |  60.305s |1902.0MiB|
|skdmxa2/skdmxa-3x3-18.base.cvc.smt2                                                        |  60.270s |2013.0MiB|
|skdmxa2/skdmxa-3x3-15.base.cvc.smt2                                                        |  60.255s |1648.0MiB|
|skdmxa2/skdmxa-3x3-20.induction.cvc.smt2                                                   |  60.248s |1582.0MiB|
|scheduling/swv13_3150.smt2                                                                 |  60.229s |1014.0MiB|
|scheduling/swv11_2900.smt2                                                                 |  60.207s |1036.0MiB|
|scheduling/swv11_2983.smt2                                                                 |  60.205s |1020.0MiB|
|scheduling/swv11_2988.smt2                                                                 |  60.200s |1035.0MiB|
|scheduling/swv11_3050.smt2                                                                 |  60.197s |1024.0MiB|
|scheduling/swv11_2992.smt2                                                                 |  60.197s |1014.0MiB|
|skdmxa2/skdmxa-3x3-12.base.cvc.smt2                                                        |  60.192s |1035.0MiB|
|scheduling/swv13_3104.smt2                                                                 |  60.171s |1015.0MiB|
|scheduling/swv14_2905.smt2                                                                 |  60.170s |1027.0MiB|
|scheduling/swv12_2900.smt2                                                                 |  60.168s |1035.0MiB|
|skdmxa2/skdmxa-3x3-14.base.cvc.smt2                                                        |  60.164s |1271.0MiB|
|scheduling/swv13_3200.smt2                                                                 |  60.156s |1028.0MiB|
|scheduling/swv14_2895.smt2                                                                 |  60.156s |1028.0MiB|
</details>


## TOP 20 RHS FILES, BY RUNTIME

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

|FILE                                                                                       |TIME     |MEM        |
|------------|----------:|---------:|
|skdmxa2/skdmxa-3x3-19.base.cvc.smt2                                                        |  60.393s |2438.0MiB|
|skdmxa2/skdmxa-3x3-20.base.cvc.smt2                                                        |  60.339s |2609.0MiB|
|skdmxa2/skdmxa-3x3-17.base.cvc.smt2                                                        |  60.312s |1819.0MiB|
|skdmxa2/skdmxa-3x3-16.base.cvc.smt2                                                        |  60.305s |1902.0MiB|
|skdmxa2/skdmxa-3x3-18.base.cvc.smt2                                                        |  60.270s |2013.0MiB|
|skdmxa2/skdmxa-3x3-15.base.cvc.smt2                                                        |  60.255s |1648.0MiB|
|skdmxa2/skdmxa-3x3-20.induction.cvc.smt2                                                   |  60.248s |1582.0MiB|
|scheduling/swv13_3150.smt2                                                                 |  60.229s |1014.0MiB|
|scheduling/swv11_2900.smt2                                                                 |  60.207s |1036.0MiB|
|scheduling/swv11_2983.smt2                                                                 |  60.205s |1020.0MiB|
|scheduling/swv11_2988.smt2                                                                 |  60.200s |1035.0MiB|
|scheduling/swv11_3050.smt2                                                                 |  60.197s |1024.0MiB|
|scheduling/swv11_2992.smt2                                                                 |  60.197s |1014.0MiB|
|skdmxa2/skdmxa-3x3-12.base.cvc.smt2                                                        |  60.192s |1035.0MiB|
|scheduling/swv13_3104.smt2                                                                 |  60.171s |1015.0MiB|
|scheduling/swv14_2905.smt2                                                                 |  60.170s |1027.0MiB|
|scheduling/swv12_2900.smt2                                                                 |  60.168s |1035.0MiB|
|skdmxa2/skdmxa-3x3-14.base.cvc.smt2                                                        |  60.164s |1271.0MiB|
|scheduling/swv13_3200.smt2                                                                 |  60.156s |1028.0MiB|
|scheduling/swv14_2895.smt2                                                                 |  60.156s |1028.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                                             |92.12MiB|92.12MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking02.smt2                                             |93.396MiB|93.396MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking03.smt2                                             |94.652MiB|94.652MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking04.smt2                                             |95.964MiB|95.964MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking05.smt2                                             |97.172MiB|97.172MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking06.smt2                                             |98.264MiB|98.264MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking07.smt2                                             |99.688MiB|99.688MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking08.smt2                                             |98.0MiB|98.0MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking09.smt2                                             |99.0MiB|99.0MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking10.smt2                                             |101.0MiB|101.0MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking11.smt2                                             |102.0MiB|102.0MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking12.smt2                                             |103.0MiB|103.0MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking13.smt2                                             |104.0MiB|104.0MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking14.smt2                                             |105.0MiB|105.0MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking15.smt2                                             |106.0MiB|106.0MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking16.smt2                                             |107.0MiB|107.0MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking17.smt2                                             |109.0MiB|109.0MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking18.smt2                                             |110.0MiB|110.0MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking19.smt2                                             |109.0MiB|109.0MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking20.smt2                                             |112.0MiB|112.0MiB|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                                             |92.12MiB|92.12MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking02.smt2                                             |93.396MiB|93.396MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking03.smt2                                             |94.652MiB|94.652MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking04.smt2                                             |95.964MiB|95.964MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking05.smt2                                             |97.172MiB|97.172MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking06.smt2                                             |98.264MiB|98.264MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking07.smt2                                             |99.688MiB|99.688MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking08.smt2                                             |98.0MiB|98.0MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking09.smt2                                             |99.0MiB|99.0MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking10.smt2                                             |101.0MiB|101.0MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking11.smt2                                             |102.0MiB|102.0MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking12.smt2                                             |103.0MiB|103.0MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking13.smt2                                             |104.0MiB|104.0MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking14.smt2                                             |105.0MiB|105.0MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking15.smt2                                             |106.0MiB|106.0MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking16.smt2                                             |107.0MiB|107.0MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking17.smt2                                             |109.0MiB|109.0MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking18.smt2                                             |110.0MiB|110.0MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking19.smt2                                             |109.0MiB|109.0MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking20.smt2                                             |112.0MiB|112.0MiB|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                                             |92.12MiB|92.12MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking02.smt2                                             |93.396MiB|93.396MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking03.smt2                                             |94.652MiB|94.652MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking04.smt2                                             |95.964MiB|95.964MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking05.smt2                                             |97.172MiB|97.172MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking06.smt2                                             |98.264MiB|98.264MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking07.smt2                                             |99.688MiB|99.688MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking08.smt2                                             |98.0MiB|98.0MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking09.smt2                                             |99.0MiB|99.0MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking10.smt2                                             |101.0MiB|101.0MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking11.smt2                                             |102.0MiB|102.0MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking12.smt2                                             |103.0MiB|103.0MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking13.smt2                                             |104.0MiB|104.0MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking14.smt2                                             |105.0MiB|105.0MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking15.smt2                                             |106.0MiB|106.0MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking16.smt2                                             |107.0MiB|107.0MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking17.smt2                                             |109.0MiB|109.0MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking18.smt2                                             |110.0MiB|110.0MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking19.smt2                                             |109.0MiB|109.0MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking20.smt2                                             |112.0MiB|112.0MiB|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                                             |92.12MiB|92.12MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking02.smt2                                             |93.396MiB|93.396MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking03.smt2                                             |94.652MiB|94.652MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking04.smt2                                             |95.964MiB|95.964MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking05.smt2                                             |97.172MiB|97.172MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking06.smt2                                             |98.264MiB|98.264MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking07.smt2                                             |99.688MiB|99.688MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking08.smt2                                             |98.0MiB|98.0MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking09.smt2                                             |99.0MiB|99.0MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking10.smt2                                             |101.0MiB|101.0MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking11.smt2                                             |102.0MiB|102.0MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking12.smt2                                             |103.0MiB|103.0MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking13.smt2                                             |104.0MiB|104.0MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking14.smt2                                             |105.0MiB|105.0MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking15.smt2                                             |106.0MiB|106.0MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking16.smt2                                             |107.0MiB|107.0MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking17.smt2                                             |109.0MiB|109.0MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking18.smt2                                             |110.0MiB|110.0MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking19.smt2                                             |109.0MiB|109.0MiB|0B| 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking20.smt2                                             |112.0MiB|112.0MiB|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-20.base.cvc.smt2                                                        |  60.339s |2609.0MiB|
|skdmxa2/skdmxa-3x3-19.base.cvc.smt2                                                        |  60.393s |2438.0MiB|
|skdmxa2/skdmxa-3x3-18.base.cvc.smt2                                                        |  60.270s |2013.0MiB|
|skdmxa2/skdmxa-3x3-16.base.cvc.smt2                                                        |  60.305s |1902.0MiB|
|skdmxa2/skdmxa-3x3-17.base.cvc.smt2                                                        |  60.312s |1819.0MiB|
|skdmxa2/skdmxa-3x3-15.base.cvc.smt2                                                        |  60.255s |1648.0MiB|
|skdmxa2/skdmxa-3x3-19.induction.cvc.smt2                                                   |  54.841s |1644.0MiB|
|skdmxa2/skdmxa-3x3-20.induction.cvc.smt2                                                   |  60.248s |1582.0MiB|
|skdmxa2/skdmxa-3x3-18.induction.cvc.smt2                                                   |  34.954s |1353.0MiB|
|skdmxa2/skdmxa-3x3-17.induction.cvc.smt2                                                   |  45.157s |1346.0MiB|
|skdmxa2/skdmxa-3x3-14.base.cvc.smt2                                                        |  60.164s |1271.0MiB|
|skdmxa2/skdmxa-3x3-13.base.cvc.smt2                                                        |  60.155s |1117.0MiB|
|skdmxa2/skdmxa-3x3-15.induction.cvc.smt2                                                   |  26.212s |1096.0MiB|
|skdmxa2/skdmxa-3x3-16.induction.cvc.smt2                                                   |  23.745s |1095.0MiB|
|scheduling/swv12_2972.smt2                                                                 |  60.153s |1050.0MiB|
|scheduling/swv14_2800.smt2                                                                 |  60.148s |1042.0MiB|
|scheduling/swv12_3004.smt2                                                                 |  60.148s |1040.0MiB|
|scheduling/swv12_2990.smt2                                                                 |  60.140s |1038.0MiB|
|scheduling/swv11_2900.smt2                                                                 |  60.207s |1036.0MiB|
|scheduling/swv11_2988.smt2                                                                 |  60.200s |1035.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-20.base.cvc.smt2                                                        |  60.339s |2609.0MiB|
|skdmxa2/skdmxa-3x3-19.base.cvc.smt2                                                        |  60.393s |2438.0MiB|
|skdmxa2/skdmxa-3x3-18.base.cvc.smt2                                                        |  60.270s |2013.0MiB|
|skdmxa2/skdmxa-3x3-16.base.cvc.smt2                                                        |  60.305s |1902.0MiB|
|skdmxa2/skdmxa-3x3-17.base.cvc.smt2                                                        |  60.312s |1819.0MiB|
|skdmxa2/skdmxa-3x3-15.base.cvc.smt2                                                        |  60.255s |1648.0MiB|
|skdmxa2/skdmxa-3x3-19.induction.cvc.smt2                                                   |  54.841s |1644.0MiB|
|skdmxa2/skdmxa-3x3-20.induction.cvc.smt2                                                   |  60.248s |1582.0MiB|
|skdmxa2/skdmxa-3x3-18.induction.cvc.smt2                                                   |  34.954s |1353.0MiB|
|skdmxa2/skdmxa-3x3-17.induction.cvc.smt2                                                   |  45.157s |1346.0MiB|
|skdmxa2/skdmxa-3x3-14.base.cvc.smt2                                                        |  60.164s |1271.0MiB|
|skdmxa2/skdmxa-3x3-13.base.cvc.smt2                                                        |  60.155s |1117.0MiB|
|skdmxa2/skdmxa-3x3-15.induction.cvc.smt2                                                   |  26.212s |1096.0MiB|
|skdmxa2/skdmxa-3x3-16.induction.cvc.smt2                                                   |  23.745s |1095.0MiB|
|scheduling/swv12_2972.smt2                                                                 |  60.153s |1050.0MiB|
|scheduling/swv14_2800.smt2                                                                 |  60.148s |1042.0MiB|
|scheduling/swv12_3004.smt2                                                                 |  60.148s |1040.0MiB|
|scheduling/swv12_2990.smt2                                                                 |  60.140s |1038.0MiB|
|scheduling/swv11_2900.smt2                                                                 |  60.207s |1036.0MiB|
|scheduling/swv11_2988.smt2                                                                 |  60.200s |1035.0MiB|
</details>


## FULL COMPARISON

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

|FILE                                                                                        |TIME_L     |TIME_R     |DIFF(s)    |DIFF(%)|
|-------------|-------------:|-------------:|--------------:|------------:|
|SMT-Temporal-Planning-Benchmarks/cooking01.smt2                                             |   0.093s  |   0.093s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking02.smt2                                             |   0.095s  |   0.095s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking03.smt2                                             |   0.139s  |   0.139s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking04.smt2                                             |   0.110s  |   0.110s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking05.smt2                                             |   0.114s  |   0.114s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking06.smt2                                             |   0.148s  |   0.148s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking07.smt2                                             |   0.156s  |   0.156s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking08.smt2                                             |   0.168s  |   0.168s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking09.smt2                                             |   0.146s  |   0.146s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking10.smt2                                             |   0.156s  |   0.156s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking11.smt2                                             |   0.190s  |   0.190s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking12.smt2                                             |   0.160s  |   0.160s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking13.smt2                                             |   0.180s  |   0.180s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking14.smt2                                             |   0.213s  |   0.213s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking15.smt2                                             |   0.218s  |   0.218s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking16.smt2                                             |   0.223s  |   0.223s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking17.smt2                                             |   0.231s  |   0.231s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking18.smt2                                             |   0.242s  |   0.242s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking19.smt2                                             |   0.208s  |   0.208s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking20.smt2                                             |   0.228s  |   0.228s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking21.smt2                                             |   0.263s  |   0.263s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/cooking22.smt2                                             |   0.272s  |   0.272s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tempo-depth-2.smt2                                         |   0.107s  |   0.107s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tempo-depth-3.smt2                                         |   0.185s  |   0.185s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tempo-depth-4.smt2                                         |   0.402s  |   0.402s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tempo-depth-5.smt2                                         |   0.740s  |   0.740s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tempo-depth-6.smt2                                         |   1.396s  |   1.396s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tempo-depth-7.smt2                                         |   2.837s  |   2.837s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tempo-matrix1x1.pddl.smt2                                  |   0.074s  |   0.074s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tempo-matrix2x2.pddl.smt2                                  |   4.179s  |   4.179s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tempo-width-1.smt2                                         |   0.109s  |   0.109s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tempo-width-2.smt2                                         |   0.113s  |   0.113s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tempo-width-3.smt2                                         |   0.290s  |   0.290s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tempo-width-4.smt2                                         |   0.845s  |   0.845s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tempo-width-5.smt2                                         |   2.909s  |   2.909s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tempo-width-6.smt2                                         |   8.059s  |   8.059s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-03.smt2                                      |   0.117s  |   0.117s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-04.smt2                                      |   0.147s  |   0.147s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-05.smt2                                      |   0.126s  |   0.126s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-06.smt2                                      |   0.125s  |   0.125s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-07.smt2                                      |   0.141s  |   0.141s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-08.smt2                                      |   0.144s  |   0.144s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-09.smt2                                      |   0.193s  |   0.193s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-10.smt2                                      |   0.156s  |   0.156s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-20.smt2                                      |   0.283s  |   0.283s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-30.smt2                                      |   0.330s  |   0.330s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-40.smt2                                      |   0.482s  |   0.482s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-60.smt2                                      |   0.683s  |   0.683s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-70.smt2                                      |   0.802s  |   0.802s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-80.smt2                                      |   0.887s  |   0.887s  |   0.000s  | 0.0%|
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-90.smt2                                      |   0.970s  |   0.970s  |   0.000s  | 0.0%|
|check/bignum_rdl1.smt2                                                                      |   0.094s  |   0.094s  |   0.000s  | 0.0%|
|check/bignum_rdl2.smt2                                                                      |   0.076s  |   0.076s  |   0.000s  | 0.0%|
|sal/fischer3-mutex-1.smt2                                                                   |   0.113s  |   0.113s  |   0.000s  | 0.0%|
|sal/fischer3-mutex-10.smt2                                                                  |   0.699s  |   0.699s  |   0.000s  | 0.0%|
|sal/fischer3-mutex-11.smt2                                                                  |   0.990s  |   0.990s  |   0.000s  | 0.0%|
|sal/fischer3-mutex-12.smt2                                                                  |   1.817s  |   1.817s  |   0.000s  | 0.0%|
|sal/fischer3-mutex-13.smt2                                                                  |   2.421s  |   2.421s  |   0.000s  | 0.0%|
|sal/fischer3-mutex-14.smt2                                                                  |   2.475s  |   2.475s  |   0.000s  | 0.0%|
|sal/fischer3-mutex-15.smt2                                                                  |   3.340s  |   3.340s  |   0.000s  | 0.0%|
|sal/fischer3-mutex-16.smt2                                                                  |   3.552s  |   3.552s  |   0.000s  | 0.0%|
|sal/fischer3-mutex-17.smt2                                                                  |   7.146s  |   7.146s  |   0.000s  | 0.0%|
|sal/fischer3-mutex-18.smt2                                                                  |  11.537s  |  11.537s  |   0.000s  | 0.0%|
|sal/fischer3-mutex-19.smt2                                                                  |  13.800s  |  13.800s  |   0.000s  | 0.0%|
|sal/fischer3-mutex-2.smt2                                                                   |   0.119s  |   0.119s  |   0.000s  | 0.0%|
|sal/fischer3-mutex-20.smt2                                                                  |  26.183s  |  26.183s  |   0.000s  | 0.0%|
|sal/fischer3-mutex-3.smt2                                                                   |   0.118s  |   0.118s  |   0.000s  | 0.0%|
|sal/fischer3-mutex-4.smt2                                                                   |   0.134s  |   0.134s  |   0.000s  | 0.0%|
|sal/fischer3-mutex-5.smt2                                                                   |   0.130s  |   0.130s  |   0.000s  | 0.0%|
|sal/fischer3-mutex-6.smt2                                                                   |   0.134s  |   0.134s  |   0.000s  | 0.0%|
|sal/fischer3-mutex-7.smt2                                                                   |   0.140s  |   0.140s  |   0.000s  | 0.0%|
|sal/fischer3-mutex-8.smt2                                                                   |   0.211s  |   0.211s  |   0.000s  | 0.0%|
|sal/fischer3-mutex-9.smt2                                                                   |   0.336s  |   0.336s  |   0.000s  | 0.0%|
|sal/fischer6-mutex-1.smt2                                                                   |   0.093s  |   0.093s  |   0.000s  | 0.0%|
|sal/fischer6-mutex-10.smt2                                                                  |   6.475s  |   6.475s  |   0.000s  | 0.0%|
|sal/fischer6-mutex-11.smt2                                                                  |  21.591s  |  21.591s  |   0.000s  | 0.0%|
|sal/fischer6-mutex-12.smt2                                                                  |  45.052s  |  45.052s  |   0.000s  | 0.0%|
|sal/fischer6-mutex-13.smt2                                                                  |  60.048s  |  60.048s  |   0.000s  | 0.0%|
|sal/fischer6-mutex-14.smt2                                                                  |  60.053s  |  60.053s  |   0.000s  | 0.0%|
|sal/fischer6-mutex-15.smt2                                                                  |  60.028s  |  60.028s  |   0.000s  | 0.0%|
|sal/fischer6-mutex-16.smt2                                                                  |  60.031s  |  60.031s  |   0.000s  | 0.0%|
|sal/fischer6-mutex-17.smt2                                                                  |  60.050s  |  60.050s  |   0.000s  | 0.0%|
|sal/fischer6-mutex-18.smt2                                                                  |  60.048s  |  60.048s  |   0.000s  | 0.0%|
|sal/fischer6-mutex-19.smt2                                                                  |  60.036s  |  60.036s  |   0.000s  | 0.0%|
|sal/fischer6-mutex-2.smt2                                                                   |   0.099s  |   0.099s  |   0.000s  | 0.0%|
|sal/fischer6-mutex-20.smt2                                                                  |  60.062s  |  60.062s  |   0.000s  | 0.0%|
|sal/fischer6-mutex-3.smt2                                                                   |   0.125s  |   0.125s  |   0.000s  | 0.0%|
|sal/fischer6-mutex-4.smt2                                                                   |   0.146s  |   0.146s  |   0.000s  | 0.0%|
|sal/fischer6-mutex-5.smt2                                                                   |   0.177s  |   0.177s  |   0.000s  | 0.0%|
|sal/fischer6-mutex-6.smt2                                                                   |   0.201s  |   0.201s  |   0.000s  | 0.0%|
|sal/fischer6-mutex-7.smt2                                                                   |   0.274s  |   0.274s  |   0.000s  | 0.0%|
|sal/fischer6-mutex-8.smt2                                                                   |   0.511s  |   0.511s  |   0.000s  | 0.0%|
|sal/fischer6-mutex-9.smt2                                                                   |   2.430s  |   2.430s  |   0.000s  | 0.0%|
|sal/fischer9-mutex-1.smt2                                                                   |   0.121s  |   0.121s  |   0.000s  | 0.0%|
|sal/fischer9-mutex-10.smt2                                                                  |  32.558s  |  32.558s  |   0.000s  | 0.0%|
|sal/fischer9-mutex-11.smt2                                                                  |  60.045s  |  60.045s  |   0.000s  | 0.0%|
|sal/fischer9-mutex-12.smt2                                                                  |  60.059s  |  60.059s  |   0.000s  | 0.0%|
|sal/fischer9-mutex-13.smt2                                                                  |  60.068s  |  60.068s  |   0.000s  | 0.0%|
|sal/fischer9-mutex-14.smt2                                                                  |  60.073s  |  60.073s  |   0.000s  | 0.0%|
|sal/fischer9-mutex-15.smt2                                                                  |  60.074s  |  60.074s  |   0.000s  | 0.0%|
|sal/fischer9-mutex-16.smt2                                                                  |  60.079s  |  60.079s  |   0.000s  | 0.0%|
|sal/fischer9-mutex-17.smt2                                                                  |  60.039s  |  60.039s  |   0.000s  | 0.0%|
|sal/fischer9-mutex-18.smt2                                                                  |  60.066s  |  60.066s  |   0.000s  | 0.0%|
|sal/fischer9-mutex-19.smt2                                                                  |  60.071s  |  60.071s  |   0.000s  | 0.0%|
|sal/fischer9-mutex-2.smt2                                                                   |   0.134s  |   0.134s  |   0.000s  | 0.0%|
|sal/fischer9-mutex-20.smt2                                                                  |  60.066s  |  60.066s  |   0.000s  | 0.0%|
|sal/fischer9-mutex-3.smt2                                                                   |   0.152s  |   0.152s  |   0.000s  | 0.0%|
|sal/fischer9-mutex-4.smt2                                                                   |   0.176s  |   0.176s  |   0.000s  | 0.0%|
|sal/fischer9-mutex-5.smt2                                                                   |   0.231s  |   0.231s  |   0.000s  | 0.0%|
|sal/fischer9-mutex-6.smt2                                                                   |   0.262s  |   0.262s  |   0.000s  | 0.0%|
|sal/fischer9-mutex-7.smt2                                                                   |   0.452s  |   0.452s  |   0.000s  | 0.0%|
|sal/fischer9-mutex-8.smt2                                                                   |   0.954s  |   0.954s  |   0.000s  | 0.0%|
|sal/fischer9-mutex-9.smt2                                                                   |   8.467s  |   8.467s  |   0.000s  | 0.0%|
|scheduling/abz5_1000.smt2                                                                   |   0.175s  |   0.175s  |   0.000s  | 0.0%|
|scheduling/abz5_1200.smt2                                                                   |   3.749s  |   3.749s  |   0.000s  | 0.0%|
|scheduling/abz5_1234.smt2                                                                   |   3.980s  |   3.980s  |   0.000s  | 0.0%|
|scheduling/abz5_1300.smt2                                                                   |   1.073s  |   1.073s  |   0.000s  | 0.0%|
|scheduling/abz5_1400.smt2                                                                   |   0.284s  |   0.284s  |   0.000s  | 0.0%|
|scheduling/abz6_1000.smt2                                                                   |   0.507s  |   0.507s  |   0.000s  | 0.0%|
|scheduling/abz6_1100.smt2                                                                   |   0.405s  |   0.405s  |   0.000s  | 0.0%|
|scheduling/abz6_800.smt2                                                                    |   0.168s  |   0.168s  |   0.000s  | 0.0%|
|scheduling/abz6_900.smt2                                                                    |   0.380s  |   0.380s  |   0.000s  | 0.0%|
|scheduling/abz6_943.smt2                                                                    |   1.946s  |   1.946s  |   0.000s  | 0.0%|
|scheduling/abz7_500.smt2                                                                    |   1.537s  |   1.537s  |   0.000s  | 0.0%|
|scheduling/abz7_600.smt2                                                                    |  60.065s  |  60.065s  |   0.000s  | 0.0%|
|scheduling/abz7_667.smt2                                                                    |  60.096s  |  60.096s  |   0.000s  | 0.0%|
|scheduling/abz7_670.smt2                                                                    |  60.081s  |  60.081s  |   0.000s  | 0.0%|
|scheduling/abz7_691.smt2                                                                    |  60.102s  |  60.102s  |   0.000s  | 0.0%|
|scheduling/abz7_700.smt2                                                                    |  60.051s  |  60.051s  |   0.000s  | 0.0%|
|scheduling/abz7_800.smt2                                                                    |  60.075s  |  60.075s  |   0.000s  | 0.0%|
|scheduling/orb01_1000.smt2                                                                  |  43.099s  |  43.099s  |   0.000s  | 0.0%|
|scheduling/orb01_1059.smt2                                                                  |  60.023s  |  60.023s  |   0.000s  | 0.0%|
|scheduling/orb01_1100.smt2                                                                  |  60.026s  |  60.026s  |   0.000s  | 0.0%|
|scheduling/orb01_1200.smt2                                                                  |   1.373s  |   1.373s  |   0.000s  | 0.0%|
|scheduling/orb01_900.smt2                                                                   |   0.734s  |   0.734s  |   0.000s  | 0.0%|
|scheduling/orb02_1000.smt2                                                                  |   0.362s  |   0.362s  |   0.000s  | 0.0%|
|scheduling/orb02_700.smt2                                                                   |   0.172s  |   0.172s  |   0.000s  | 0.0%|
|scheduling/orb02_800.smt2                                                                   |   0.246s  |   0.246s  |   0.000s  | 0.0%|
|scheduling/orb02_888.smt2                                                                   |   3.145s  |   3.145s  |   0.000s  | 0.0%|
|scheduling/orb02_900.smt2                                                                   |   1.031s  |   1.031s  |   0.000s  | 0.0%|
|scheduling/orb03_1005.smt2                                                                  |  60.026s  |  60.026s  |   0.000s  | 0.0%|
|scheduling/orb03_1100.smt2                                                                  |  16.337s  |  16.337s  |   0.000s  | 0.0%|
|scheduling/orb03_1200.smt2                                                                  |   2.099s  |   2.099s  |   0.000s  | 0.0%|
|scheduling/orb03_850.smt2                                                                   |   0.385s  |   0.385s  |   0.000s  | 0.0%|
|scheduling/orb03_950.smt2                                                                   |  11.505s  |  11.505s  |   0.000s  | 0.0%|
|scheduling/orb04_1005.smt2                                                                  |  13.436s  |  13.436s  |   0.000s  | 0.0%|
|scheduling/orb04_1100.smt2                                                                  |   0.358s  |   0.358s  |   0.000s  | 0.0%|
|scheduling/orb04_1200.smt2                                                                  |   0.271s  |   0.271s  |   0.000s  | 0.0%|
|scheduling/orb04_850.smt2                                                                   |   0.200s  |   0.200s  |   0.000s  | 0.0%|
|scheduling/orb04_950.smt2                                                                   |   0.585s  |   0.585s  |   0.000s  | 0.0%|
|scheduling/orb05_1000.smt2                                                                  |   0.415s  |   0.415s  |   0.000s  | 0.0%|
|scheduling/orb05_700.smt2                                                                   |   0.186s  |   0.186s  |   0.000s  | 0.0%|
|scheduling/orb05_800.smt2                                                                   |   0.518s  |   0.518s  |   0.000s  | 0.0%|
|scheduling/orb05_887.smt2                                                                   |  12.552s  |  12.552s  |   0.000s  | 0.0%|
|scheduling/orb05_900.smt2                                                                   |   4.624s  |   4.624s  |   0.000s  | 0.0%|
|scheduling/orb06_1000.smt2                                                                  |  60.024s  |  60.024s  |   0.000s  | 0.0%|
|scheduling/orb06_1010.smt2                                                                  |  60.065s  |  60.065s  |   0.000s  | 0.0%|
|scheduling/orb06_1100.smt2                                                                  |   2.794s  |   2.794s  |   0.000s  | 0.0%|
|scheduling/orb06_1200.smt2                                                                  |   0.314s  |   0.314s  |   0.000s  | 0.0%|
|scheduling/orb06_900.smt2                                                                   |   0.598s  |   0.598s  |   0.000s  | 0.0%|
|scheduling/orb07_250.smt2                                                                   |   0.157s  |   0.157s  |   0.000s  | 0.0%|
|scheduling/orb07_330.smt2                                                                   |   0.167s  |   0.167s  |   0.000s  | 0.0%|
|scheduling/orb07_397.smt2                                                                   |   6.506s  |   6.506s  |   0.000s  | 0.0%|
|scheduling/orb07_430.smt2                                                                   |   0.502s  |   0.502s  |   0.000s  | 0.0%|
|scheduling/orb07_550.smt2                                                                   |   0.235s  |   0.235s  |   0.000s  | 0.0%|
|scheduling/orb08_1000.smt2                                                                  |   3.553s  |   3.553s  |   0.000s  | 0.0%|
|scheduling/orb08_700.smt2                                                                   |   0.218s  |   0.218s  |   0.000s  | 0.0%|
|scheduling/orb08_830.smt2                                                                   |   0.418s  |   0.418s  |   0.000s  | 0.0%|
|scheduling/orb08_888.smt2                                                                   |  16.933s  |  16.933s  |   0.000s  | 0.0%|
|scheduling/orb08_930.smt2                                                                   |  13.961s  |  13.961s  |   0.000s  | 0.0%|
|scheduling/orb09_1000.smt2                                                                  |   1.300s  |   1.300s  |   0.000s  | 0.0%|
|scheduling/orb09_1100.smt2                                                                  |   0.334s  |   0.334s  |   0.000s  | 0.0%|
|scheduling/orb09_800.smt2                                                                   |   0.252s  |   0.252s  |   0.000s  | 0.0%|
|scheduling/orb09_900.smt2                                                                   |   2.907s  |   2.907s  |   0.000s  | 0.0%|
|scheduling/orb09_934.smt2                                                                   |   5.493s  |   5.493s  |   0.000s  | 0.0%|
|scheduling/orb10_1000.smt2                                                                  |   0.897s  |   0.897s  |   0.000s  | 0.0%|
|scheduling/orb10_1100.smt2                                                                  |   0.344s  |   0.344s  |   0.000s  | 0.0%|
|scheduling/orb10_800.smt2                                                                   |   0.264s  |   0.264s  |   0.000s  | 0.0%|
|scheduling/orb10_900.smt2                                                                   |   1.772s  |   1.772s  |   0.000s  | 0.0%|
|scheduling/orb10_944.smt2                                                                   |   9.512s  |   9.512s  |   0.000s  | 0.0%|
|scheduling/swv11_2900.smt2                                                                  |  60.207s  |  60.207s  |   0.000s  | 0.0%|
|scheduling/swv11_2983.smt2                                                                  |  60.205s  |  60.205s  |   0.000s  | 0.0%|
|scheduling/swv11_2988.smt2                                                                  |  60.200s  |  60.200s  |   0.000s  | 0.0%|
|scheduling/swv11_2992.smt2                                                                  |  60.197s  |  60.197s  |   0.000s  | 0.0%|
|scheduling/swv11_3050.smt2                                                                  |  60.197s  |  60.197s  |   0.000s  | 0.0%|
|scheduling/swv12_2900.smt2                                                                  |  60.168s  |  60.168s  |   0.000s  | 0.0%|
|scheduling/swv12_2972.smt2                                                                  |  60.153s  |  60.153s  |   0.000s  | 0.0%|
|scheduling/swv12_2990.smt2                                                                  |  60.140s  |  60.140s  |   0.000s  | 0.0%|
|scheduling/swv12_3004.smt2                                                                  |  60.148s  |  60.148s  |   0.000s  | 0.0%|
|scheduling/swv12_3050.smt2                                                                  |  60.154s  |  60.154s  |   0.000s  | 0.0%|
|scheduling/swv13_3000.smt2                                                                  |  60.140s  |  60.140s  |   0.000s  | 0.0%|
|scheduling/swv13_3104.smt2                                                                  |  60.171s  |  60.171s  |   0.000s  | 0.0%|
|scheduling/swv13_3150.smt2                                                                  |  60.229s  |  60.229s  |   0.000s  | 0.0%|
|scheduling/swv13_3200.smt2                                                                  |  60.156s  |  60.156s  |   0.000s  | 0.0%|
|scheduling/swv14_2800.smt2                                                                  |  60.148s  |  60.148s  |   0.000s  | 0.0%|
|scheduling/swv14_2885.smt2                                                                  |  60.146s  |  60.146s  |   0.000s  | 0.0%|
|scheduling/swv14_2895.smt2                                                                  |  60.156s  |  60.156s  |   0.000s  | 0.0%|
|scheduling/swv14_2905.smt2                                                                  |  60.170s  |  60.170s  |   0.000s  | 0.0%|
|scheduling/swv14_3000.smt2                                                                  |  60.153s  |  60.153s  |   0.000s  | 0.0%|
|scheduling/yn1_750.smt2                                                                     |   1.711s  |   1.711s  |   0.000s  | 0.0%|
|scheduling/yn1_827.smt2                                                                     |  60.084s  |  60.084s  |   0.000s  | 0.0%|
|scheduling/yn1_850.smt2                                                                     |  60.095s  |  60.095s  |   0.000s  | 0.0%|
|scheduling/yn1_887.smt2                                                                     |  60.104s  |  60.104s  |   0.000s  | 0.0%|
|scheduling/yn1_950.smt2                                                                     |  60.116s  |  60.116s  |   0.000s  | 0.0%|
|scheduling/yn2_750.smt2                                                                     |   2.182s  |   2.182s  |   0.000s  | 0.0%|
|scheduling/yn2_862.smt2                                                                     |  60.074s  |  60.074s  |   0.000s  | 0.0%|
|scheduling/yn2_890.smt2                                                                     |  60.068s  |  60.068s  |   0.000s  | 0.0%|
|scheduling/yn2_910.smt2                                                                     |  60.096s  |  60.096s  |   0.000s  | 0.0%|
|scheduling/yn2_950.smt2                                                                     |  60.064s  |  60.064s  |   0.000s  | 0.0%|
|scheduling/yn3_750.smt2                                                                     |   1.842s  |   1.842s  |   0.000s  | 0.0%|
|scheduling/yn3_828.smt2                                                                     |  60.053s  |  60.053s  |   0.000s  | 0.0%|
|scheduling/yn3_860.smt2                                                                     |  60.098s  |  60.098s  |   0.000s  | 0.0%|
|scheduling/yn3_894.smt2                                                                     |  60.094s  |  60.094s  |   0.000s  | 0.0%|
|scheduling/yn3_950.smt2                                                                     |  60.073s  |  60.073s  |   0.000s  | 0.0%|
|scheduling/yn4_1000.smt2                                                                    |  60.087s  |  60.087s  |   0.000s  | 0.0%|
|scheduling/yn4_850.smt2                                                                     |  60.091s  |  60.091s  |   0.000s  | 0.0%|
|scheduling/yn4_919.smt2                                                                     |  60.097s  |  60.097s  |   0.000s  | 0.0%|
|scheduling/yn4_950.smt2                                                                     |  60.082s  |  60.082s  |   0.000s  | 0.0%|
|scheduling/yn4_969.smt2                                                                     |  60.103s  |  60.103s  |   0.000s  | 0.0%|
|skdmxa/skdmxa-3x3-10.smt2                                                                   |  10.554s  |  10.554s  |   0.000s  | 0.0%|
|skdmxa/skdmxa-3x3-15.smt2                                                                   |  60.124s  |  60.124s  |   0.000s  | 0.0%|
|skdmxa/skdmxa-3x3-20.smt2                                                                   |  60.152s  |  60.152s  |   0.000s  | 0.0%|
|skdmxa/skdmxa-3x3-5.smt2                                                                    |   1.424s  |   1.424s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-10.base.cvc.smt2                                                         |  22.688s  |  22.688s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-10.induction.cvc.smt2                                                    |   7.671s  |   7.671s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-11.base.cvc.smt2                                                         |  37.081s  |  37.081s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-11.induction.cvc.smt2                                                    |  11.346s  |  11.346s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-12.base.cvc.smt2                                                         |  60.192s  |  60.192s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-12.induction.cvc.smt2                                                    |  13.275s  |  13.275s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-13.base.cvc.smt2                                                         |  60.155s  |  60.155s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-13.induction.cvc.smt2                                                    |  22.433s  |  22.433s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-14.base.cvc.smt2                                                         |  60.164s  |  60.164s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-14.induction.cvc.smt2                                                    |  22.765s  |  22.765s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-15.base.cvc.smt2                                                         |  60.255s  |  60.255s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-15.induction.cvc.smt2                                                    |  26.212s  |  26.212s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-16.base.cvc.smt2                                                         |  60.305s  |  60.305s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-16.induction.cvc.smt2                                                    |  23.745s  |  23.745s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-17.base.cvc.smt2                                                         |  60.312s  |  60.312s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-17.induction.cvc.smt2                                                    |  45.157s  |  45.157s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-18.base.cvc.smt2                                                         |  60.270s  |  60.270s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-18.induction.cvc.smt2                                                    |  34.954s  |  34.954s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-19.base.cvc.smt2                                                         |  60.393s  |  60.393s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-19.induction.cvc.smt2                                                    |  54.841s  |  54.841s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-20.base.cvc.smt2                                                         |  60.339s  |  60.339s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-20.induction.cvc.smt2                                                    |  60.248s  |  60.248s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-5.base.cvc.smt2                                                          |   2.187s  |   2.187s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-5.induction.cvc.smt2                                                     |   2.067s  |   2.067s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-6.base.cvc.smt2                                                          |   3.526s  |   3.526s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-6.induction.cvc.smt2                                                     |   2.256s  |   2.256s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-7.base.cvc.smt2                                                          |   4.618s  |   4.618s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-7.induction.cvc.smt2                                                     |   5.340s  |   5.340s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-8.base.cvc.smt2                                                          |   6.702s  |   6.702s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-8.induction.cvc.smt2                                                     |   5.149s  |   5.149s  |   0.000s  | 0.0%|
|skdmxa2/skdmxa-3x3-9.base.cvc.smt2                                                          |  13.924s  |  13.924s  |   0.000s  | 0.0%|
</details>