# .

* SAT 95
* UNSAT 93
* TIMEOUT 67
* UNKNOWN 0

* UNSET 0

* ERROR 0

# Meta data

<pre>
Ramon benchmark for Z3
-
Job description: 
Job tag: smt_qfrdl-threads-4-param_tuning-no_inprocessing-reducedparams
Runner: lev-ripper
Z3 repo: ilanashapiro/z3
Z3 commit: fe86499a2974add10d66071e0f4bfdaa1d15c56f
Z3 branch: param-tuning
Z3 options: "-T:30 smt.threads=4 tactic.default_tactic=smt smt.auto_config.false smt_parallel.inprocessing=false"
Z3 inputs: inputs/QF_RDL
Z3 commit message: reduce rdl tunable params

</pre>


# Statistics
|FILE                                                         |TIME     |MEM        | STATUS   | EXIT | STDOUT | STDERR | 
|------------|----------:|---------:|-------------:| ----------:|--------|--------| 
|SMT-Temporal-Planning-Benchmarks/tempo-width-1.smt2          |    0.067s | 89.528MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking01.smt2              |    0.077s | 90.172MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-matrix1x1.pddl.smt2   |    0.086s | 89.856MiB| sat | 0 |  |  |
|sal/fischer9-mutex-2.smt2                                    |    0.087s | 91.676MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-5.smt2                                    |    0.089s | 91.548MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-width-2.smt2          |    0.099s | 92.488MiB| sat | 0 |  |  |
|sal/fischer3-mutex-2.smt2                                    |    0.101s | 90.14MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking02.smt2              |    0.102s | 90.888MiB| sat | 0 |  |  |
|sal/fischer3-mutex-3.smt2                                    |    0.105s | 90.652MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking03.smt2              |    0.111s | 91.16MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-03.smt2       |    0.112s | 91.976MiB| sat | 0 |  |  |
|sal/fischer3-mutex-6.smt2                                    |    0.115s | 92.26MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-04.smt2       |    0.119s | 92.184MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-depth-2.smt2          |    0.120s | 91.932MiB| sat | 0 |  |  |
|sal/fischer6-mutex-3.smt2                                    |    0.121s | 91.672MiB| unsat | 0 |  |  |
|sal/fischer9-mutex-3.smt2                                    |    0.122s | 93.332MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking05.smt2              |    0.123s | 92.44MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking04.smt2              |    0.126s | 91.928MiB| sat | 0 |  |  |
|sal/fischer6-mutex-4.smt2                                    |    0.127s | 92.968MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-05.smt2       |    0.128s | 93.428MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-06.smt2       |    0.130s | 93.212MiB| sat | 0 |  |  |
|sal/fischer6-mutex-5.smt2                                    |    0.130s | 93.208MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-2.smt2                                    |    0.131s | 90.908MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking06.smt2              |    0.134s | 92.696MiB| sat | 0 |  |  |
|sal/fischer9-mutex-5.smt2                                    |    0.134s | 96.36MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-1.smt2                                    |    0.137s | 90.304MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking08.smt2              |    0.139s | 94.328MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking07.smt2              |    0.139s | 93.404MiB| sat | 0 |  |  |
|sal/fischer3-mutex-7.smt2                                    |    0.141s | 92.696MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-08.smt2       |    0.144s | 94.96MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-07.smt2       |    0.149s | 94.612MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking09.smt2              |    0.150s | 94.756MiB| sat | 0 |  |  |
|sal/fischer3-mutex-9.smt2                                    |    0.155s | 94.768MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking10.smt2              |    0.157s | 96.16MiB| sat | 0 |  |  |
|sal/fischer9-mutex-4.smt2                                    |    0.159s | 94.244MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-6.smt2                                    |    0.160s | 94.504MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking12.smt2              |    0.163s | 96.268MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-10.smt2       |    0.164s | 95.896MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-09.smt2       |    0.167s | 95.688MiB| sat | 0 |  |  |
|sal/fischer9-mutex-1.smt2                                    |    0.168s | 90.136MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking11.smt2              |    0.170s | 95.852MiB| sat | 0 |  |  |
|sal/fischer3-mutex-10.smt2                                   |    0.171s | 95.32MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking13.smt2              |    0.179s | 96.656MiB| sat | 0 |  |  |
|check/bignum_rdl1.smt2                                       |    0.186s | 89.032MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking15.smt2              |    0.193s | 98.136MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking14.smt2              |    0.196s | 97.192MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking16.smt2              |    0.198s | 98.432MiB| sat | 0 |  |  |
|sal/fischer3-mutex-4.smt2                                    |    0.200s | 91.16MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-1.smt2                                    |    0.205s | 89.624MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-8.smt2                                    |    0.209s | 92.996MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking18.smt2              |    0.210s | 99.632MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking17.smt2              |    0.213s | 99.036MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-depth-3.smt2          |    0.214s | 97.952MiB| sat | 0 |  |  |
|check/bignum_rdl2.smt2                                       |    0.218s | 89.368MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-8.smt2                                    |    0.223s | 97.908MiB| unsat | 0 |  |  |
|scheduling/orb09_800.smt2                                    |    0.227s | 100.0MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking20.smt2              |    0.227s | 98.0MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking19.smt2              |    0.227s | 99.94MiB| sat | 0 |  |  |
|sal/fischer3-mutex-11.smt2                                   |    0.232s | 95.456MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking22.smt2              |    0.234s | 99.0MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking21.smt2              |    0.234s | 98.0MiB| sat | 0 |  |  |
|scheduling/abz5_1000.smt2                                    |    0.236s | 99.0MiB| unsat | 0 |  |  |
|sal/fischer9-mutex-7.smt2                                    |    0.239s | 99.484MiB| unsat | 0 |  |  |
|scheduling/orb10_800.smt2                                    |    0.243s | 100.0MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-12.smt2                                   |    0.249s | 96.352MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-7.smt2                                    |    0.252s | 95.86MiB| unsat | 0 |  |  |
|scheduling/orb07_330.smt2                                    |    0.257s | 98.68MiB| unsat | 0 |  |  |
|scheduling/abz6_800.smt2                                     |    0.264s | 98.0MiB| unsat | 0 |  |  |
|scheduling/orb02_700.smt2                                    |    0.267s | 97.56MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-20.smt2       |    0.274s | 99.0MiB| sat | 0 |  |  |
|sal/fischer3-mutex-13.smt2                                   |    0.282s | 97.54MiB| unsat | 0 |  |  |
|scheduling/orb05_700.smt2                                    |    0.303s | 99.0MiB| unsat | 0 |  |  |
|scheduling/orb07_250.smt2                                    |    0.303s | 96.516MiB| unsat | 0 |  |  |
|scheduling/orb08_700.smt2                                    |    0.311s | 99.0MiB| unsat | 0 |  |  |
|sal/fischer9-mutex-6.smt2                                    |    0.326s | 98.532MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-9.smt2                                    |    0.331s | 99.132MiB| unsat | 0 |  |  |
|scheduling/abz5_1400.smt2                                    |    0.333s | 101.0MiB| sat | 0 |  |  |
|scheduling/orb02_1000.smt2                                   |    0.336s | 101.0MiB| sat | 0 |  |  |
|scheduling/orb07_550.smt2                                    |    0.336s | 102.0MiB| sat | 0 |  |  |
|scheduling/orb04_850.smt2                                    |    0.336s | 99.0MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-16.smt2                                   |    0.351s | 99.28MiB| unsat | 0 |  |  |
|sal/fischer9-mutex-8.smt2                                    |    0.361s | 99.0MiB| unsat | 0 |  |  |
|scheduling/orb08_830.smt2                                    |    0.364s | 101.0MiB| unsat | 0 |  |  |
|scheduling/orb02_800.smt2                                    |    0.367s | 100.0MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-14.smt2                                   |    0.374s | 98.16MiB| unsat | 0 |  |  |
|scheduling/abz6_1100.smt2                                    |    0.388s | 102.0MiB| sat | 0 |  |  |
|scheduling/orb10_1100.smt2                                   |    0.400s | 103.0MiB| sat | 0 |  |  |
|scheduling/orb09_1000.smt2                                   |    0.401s | 103.0MiB| sat | 0 |  |  |
|scheduling/orb05_800.smt2                                    |    0.416s | 101.0MiB| unsat | 0 |  |  |
|scheduling/orb06_1200.smt2                                   |    0.416s | 102.0MiB| sat | 0 |  |  |
|scheduling/abz6_900.smt2                                     |    0.430s | 101.0MiB| unsat | 0 |  |  |
|scheduling/abz6_1000.smt2                                    |    0.442s | 102.0MiB| sat | 0 |  |  |
|scheduling/orb04_1200.smt2                                   |    0.460s | 103.0MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-30.smt2       |    0.471s | 106.0MiB| sat | 0 |  |  |
|scheduling/orb09_1100.smt2                                   |    0.493s | 103.0MiB| sat | 0 |  |  |
|scheduling/orb03_850.smt2                                    |    0.498s | 101.0MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-15.smt2                                   |    0.500s | 99.78MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-17.smt2                                   |    0.553s | 98.0MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-width-3.smt2          |    0.558s | 101.0MiB| sat | 0 |  |  |
|scheduling/orb05_1000.smt2                                   |    0.565s | 105.0MiB| sat | 0 |  |  |
|scheduling/orb04_950.smt2                                    |    0.579s | 103.0MiB| unsat | 0 |  |  |
|scheduling/abz5_1300.smt2                                    |    0.599s | 103.0MiB| sat | 0 |  |  |
|scheduling/orb01_900.smt2                                    |    0.606s | 102.0MiB| unsat | 0 |  |  |
|scheduling/orb03_1200.smt2                                   |    0.641s | 105.0MiB| sat | 0 |  |  |
|scheduling/orb06_900.smt2                                    |    0.658s | 101.0MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-40.smt2       |    0.739s | 112.0MiB| sat | 0 |  |  |
|scheduling/orb04_1100.smt2                                   |    0.750s | 105.0MiB| sat | 0 |  |  |
|sal/fischer6-mutex-10.smt2                                   |    0.768s | 100.0MiB| unsat | 0 |  |  |
|skdmxa/skdmxa-3x3-5.smt2                                     |    0.776s | 134.0MiB| unsat | 0 |  |  |
|scheduling/orb02_900.smt2                                    |    0.802s | 103.0MiB| sat | 0 |  |  |
|scheduling/orb08_1000.smt2                                   |    0.808s | 105.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-6.base.cvc.smt2                           |    0.818s | 179.0MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-19.smt2                                   |    0.866s | 101.0MiB| unsat | 0 |  |  |
|scheduling/orb07_430.smt2                                    |    0.890s | 105.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-5.induction.cvc.smt2                      |    0.894s | 215.0MiB| sat | 0 |  |  |
|sal/fischer3-mutex-18.smt2                                   |    0.942s | 101.0MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-20.smt2                                   |    1.011s | 102.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-5.base.cvc.smt2                           |    1.057s | 156.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-6.induction.cvc.smt2                      |    1.136s | 242.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-7.base.cvc.smt2                           |    1.136s | 227.0MiB| unsat | 0 |  |  |
|sal/fischer9-mutex-9.smt2                                    |    1.146s | 104.0MiB| unsat | 0 |  |  |
|scheduling/abz6_943.smt2                                     |    1.173s | 104.0MiB| sat | 0 |  |  |
|sal/fischer6-mutex-11.smt2                                   |    1.234s | 103.0MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-depth-4.smt2          |    1.340s | 109.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-8.base.cvc.smt2                           |    1.355s | 245.0MiB| unsat | 0 |  |  |
|scheduling/orb10_900.smt2                                    |    1.439s | 104.0MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-12.smt2                                   |    1.454s | 104.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-9.base.cvc.smt2                           |    1.601s | 267.0MiB| unsat | 0 |  |  |
|scheduling/orb01_1200.smt2                                   |    1.631s | 108.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-7.induction.cvc.smt2                      |    1.671s | 336.0MiB| sat | 0 |  |  |
|scheduling/yn1_750.smt2                                      |    1.708s | 238.0MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-60.smt2       |    1.912s | 124.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-8.induction.cvc.smt2                      |    1.952s | 355.0MiB| sat | 0 |  |  |
|scheduling/orb02_888.smt2                                    |    2.074s | 107.0MiB| sat | 0 |  |  |
|scheduling/orb06_1100.smt2                                   |    2.178s | 109.0MiB| sat | 0 |  |  |
|sal/fischer9-mutex-10.smt2                                   |    2.281s | 109.0MiB| unsat | 0 |  |  |
|scheduling/orb09_900.smt2                                    |    2.310s | 106.0MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-13.smt2                                   |    2.411s | 109.0MiB| unsat | 0 |  |  |
|skdmxa/skdmxa-3x3-10.smt2                                    |    2.437s | 191.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-10.base.cvc.smt2                          |    2.499s | 289.0MiB| unsat | 0 |  |  |
|scheduling/abz5_1200.smt2                                    |    2.557s | 105.0MiB| unsat | 0 |  |  |
|scheduling/abz5_1234.smt2                                    |    2.668s | 107.0MiB| sat | 0 |  |  |
|scheduling/orb05_900.smt2                                    |    2.893s | 107.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-10.induction.cvc.smt2                     |    2.921s | 452.0MiB| sat | 0 |  |  |
|scheduling/orb10_1000.smt2                                   |    2.994s | 108.0MiB| sat | 0 |  |  |
|scheduling/abz7_500.smt2                                     |    3.158s | 192.0MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-70.smt2       |    3.181s | 140.0MiB| sat | 0 |  |  |
|scheduling/orb03_1100.smt2                                   |    3.213s | 110.0MiB| sat | 0 |  |  |
|sal/fischer6-mutex-14.smt2                                   |    3.609s | 112.0MiB| unsat | 0 |  |  |
|sal/fischer9-mutex-11.smt2                                   |    3.614s | 114.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-9.induction.cvc.smt2                      |    3.680s | 399.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-12.induction.cvc.smt2                     |    3.790s | 500.0MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-80.smt2       |    3.920s | 145.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-11.induction.cvc.smt2                     |    4.079s | 448.0MiB| sat | 0 |  |  |
|scheduling/yn3_750.smt2                                      |    4.500s | 267.0MiB| unsat | 0 |  |  |
|scheduling/yn2_750.smt2                                      |    4.715s | 253.0MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-90.smt2       |    5.177s | 150.0MiB| sat | 0 |  |  |
|scheduling/orb10_944.smt2                                    |    5.205s | 109.0MiB| sat | 0 |  |  |
|sal/fischer6-mutex-15.smt2                                   |    5.320s | 116.0MiB| unsat | 0 |  |  |
|sal/fischer9-mutex-12.smt2                                   |    5.774s | 119.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-11.base.cvc.smt2                          |    6.154s | 317.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-14.induction.cvc.smt2                     |    6.630s | 704.0MiB| sat | 0 |  |  |
|scheduling/orb04_1005.smt2                                   |    6.999s | 111.0MiB| sat | 0 |  |  |
|scheduling/orb07_397.smt2                                    |    7.851s | 111.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-13.induction.cvc.smt2                     |    8.035s | 641.0MiB| sat | 0 |  |  |
|sal/fischer6-mutex-16.smt2                                   |    8.929s | 122.0MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-17.smt2                                   |    9.185s | 124.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-16.induction.cvc.smt2                     |    9.914s | 734.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-19.induction.cvc.smt2                     |   10.182s | 805.0MiB| sat | 0 |  |  |
|sal/fischer9-mutex-13.smt2                                   |   10.273s | 129.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-17.induction.cvc.smt2                     |   10.781s | 801.0MiB| sat | 0 |  |  |
|scheduling/orb05_887.smt2                                    |   10.910s | 112.0MiB| sat | 0 |  |  |
|scheduling/orb08_888.smt2                                    |   11.871s | 112.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-15.induction.cvc.smt2                     |   12.671s | 729.0MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-depth-5.smt2          |   13.047s | 141.0MiB| sat | 0 |  |  |
|scheduling/orb09_934.smt2                                    |   13.919s | 114.0MiB| sat | 0 |  |  |
|scheduling/orb08_930.smt2                                    |   15.190s | 114.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-18.induction.cvc.smt2                     |   17.666s | 938.0MiB| sat | 0 |  |  |
|scheduling/orb01_1100.smt2                                   |   17.672s | 115.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-20.induction.cvc.smt2                     |   17.677s | 906.0MiB| sat | 0 |  |  |
|scheduling/orb03_950.smt2                                    |   19.006s | 114.0MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-width-4.smt2          |   19.489s | 156.0MiB| sat | 0 |  |  |
|sal/fischer6-mutex-18.smt2                                   |   21.867s | 135.0MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-20.smt2                                   |   24.276s | 137.0MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-19.smt2                                   |   24.551s | 137.0MiB| unsat | 0 |  |  |
|sal/fischer9-mutex-15.smt2                                   |   26.096s | 147.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-12.base.cvc.smt2                          |   26.541s | 367.0MiB| unsat | 0 |  |  |
|scheduling/orb01_1000.smt2                                   |   26.824s | 117.0MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-depth-6.smt2          |   30.024s | 190.0MiB| timeout | 0 |  |  |
|sal/fischer9-mutex-20.smt2                                   |   30.026s | 160.0MiB| timeout | 0 |  |  |
|scheduling/orb01_1059.smt2                                   |   30.034s | 120.0MiB| timeout | 0 |  |  |
|sal/fischer9-mutex-16.smt2                                   |   30.039s | 155.0MiB| timeout | 0 |  |  |
|scheduling/orb06_1000.smt2                                   |   30.042s | 119.0MiB| timeout | 0 |  |  |
|sal/fischer9-mutex-17.smt2                                   |   30.045s | 154.0MiB| timeout | 0 |  |  |
|sal/fischer9-mutex-19.smt2                                   |   30.047s | 161.0MiB| timeout | 0 |  |  |
|sal/fischer9-mutex-14.smt2                                   |   30.047s | 144.0MiB| timeout | 0 |  |  |
|scheduling/orb06_1010.smt2                                   |   30.049s | 119.0MiB| timeout | 0 |  |  |
|sal/fischer9-mutex-18.smt2                                   |   30.049s | 153.0MiB| timeout | 0 |  |  |
|scheduling/orb03_1005.smt2                                   |   30.052s | 119.0MiB| timeout | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-width-5.smt2          |   30.058s | 260.0MiB| timeout | 0 |  |  |
|scheduling/yn4_1000.smt2                                     |   30.062s | 312.0MiB| timeout | 0 |  |  |
|scheduling/abz7_600.smt2                                     |   30.062s | 250.0MiB| timeout | 0 |  |  |
|scheduling/yn3_828.smt2                                      |   30.063s | 307.0MiB| timeout | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-depth-7.smt2          |   30.064s | 279.0MiB| timeout | 0 |  |  |
|scheduling/abz7_700.smt2                                     |   30.065s | 266.0MiB| timeout | 0 |  |  |
|scheduling/yn3_950.smt2                                      |   30.067s | 327.0MiB| timeout | 0 |  |  |
|scheduling/abz7_691.smt2                                     |   30.069s | 269.0MiB| timeout | 0 |  |  |
|scheduling/abz7_800.smt2                                     |   30.070s | 273.0MiB| timeout | 0 |  |  |
|scheduling/yn1_827.smt2                                      |   30.072s | 295.0MiB| timeout | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-width-6.smt2          |   30.072s | 439.0MiB| timeout | 0 |  |  |
|scheduling/yn4_969.smt2                                      |   30.075s | 316.0MiB| timeout | 0 |  |  |
|scheduling/abz7_670.smt2                                     |   30.075s | 268.0MiB| timeout | 0 |  |  |
|scheduling/yn3_860.smt2                                      |   30.076s | 307.0MiB| timeout | 0 |  |  |
|scheduling/abz7_667.smt2                                     |   30.078s | 258.0MiB| timeout | 0 |  |  |
|skdmxa/skdmxa-3x3-15.smt2                                    |   30.080s | 324.0MiB| timeout | 0 |  |  |
|scheduling/yn1_887.smt2                                      |   30.080s | 308.0MiB| timeout | 0 |  |  |
|scheduling/yn3_894.smt2                                      |   30.081s | 313.0MiB| timeout | 0 |  |  |
|scheduling/yn2_950.smt2                                      |   30.082s | 337.0MiB| timeout | 0 |  |  |
|skdmxa2/skdmxa-3x3-13.base.cvc.smt2                          |   30.082s | 472.0MiB| timeout | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-matrix2x2.pddl.smt2   |   30.083s | 413.0MiB| timeout | 0 |  |  |
|scheduling/yn1_850.smt2                                      |   30.084s | 299.0MiB| timeout | 0 |  |  |
|scheduling/yn4_850.smt2                                      |   30.084s | 294.0MiB| timeout | 0 |  |  |
|skdmxa2/skdmxa-3x3-15.base.cvc.smt2                          |   30.084s | 515.0MiB| timeout | 0 |  |  |
|scheduling/yn1_950.smt2                                      |   30.088s | 314.0MiB| timeout | 0 |  |  |
|scheduling/yn2_862.smt2                                      |   30.089s | 314.0MiB| timeout | 0 |  |  |
|scheduling/yn4_950.smt2                                      |   30.101s | 307.0MiB| timeout | 0 |  |  |
|scheduling/yn2_910.smt2                                      |   30.102s | 314.0MiB| timeout | 0 |  |  |
|scheduling/yn4_919.smt2                                      |   30.102s | 313.0MiB| timeout | 0 |  |  |
|skdmxa/skdmxa-3x3-20.smt2                                    |   30.106s | 408.0MiB| timeout | 0 |  |  |
|skdmxa2/skdmxa-3x3-18.base.cvc.smt2                          |   30.106s | 642.0MiB| timeout | 0 |  |  |
|scheduling/yn2_890.smt2                                      |   30.110s | 314.0MiB| timeout | 0 |  |  |
|scheduling/swv12_3004.smt2                                   |   30.121s | 712.0MiB| timeout | 0 |  |  |
|scheduling/swv11_2992.smt2                                   |   30.122s | 653.0MiB| timeout | 0 |  |  |
|scheduling/swv12_3050.smt2                                   |   30.124s | 726.0MiB| timeout | 0 |  |  |
|scheduling/swv14_2895.smt2                                   |   30.124s | 660.0MiB| timeout | 0 |  |  |
|skdmxa2/skdmxa-3x3-19.base.cvc.smt2                          |   30.124s | 668.0MiB| timeout | 0 |  |  |
|scheduling/swv13_3000.smt2                                   |   30.126s | 693.0MiB| timeout | 0 |  |  |
|skdmxa2/skdmxa-3x3-20.base.cvc.smt2                          |   30.126s | 738.0MiB| timeout | 0 |  |  |
|skdmxa2/skdmxa-3x3-16.base.cvc.smt2                          |   30.129s | 544.0MiB| timeout | 0 |  |  |
|scheduling/swv12_2990.smt2                                   |   30.132s | 681.0MiB| timeout | 0 |  |  |
|scheduling/swv14_2885.smt2                                   |   30.134s | 636.0MiB| timeout | 0 |  |  |
|scheduling/swv14_2800.smt2                                   |   30.134s | 621.0MiB| timeout | 0 |  |  |
|scheduling/swv12_2972.smt2                                   |   30.134s | 685.0MiB| timeout | 0 |  |  |
|skdmxa2/skdmxa-3x3-14.base.cvc.smt2                          |   30.134s | 494.0MiB| timeout | 0 |  |  |
|scheduling/swv14_3000.smt2                                   |   30.143s | 661.0MiB| timeout | 0 |  |  |
|skdmxa2/skdmxa-3x3-17.base.cvc.smt2                          |   30.145s | 609.0MiB| timeout | 0 |  |  |
|scheduling/swv11_2900.smt2                                   |   30.147s | 638.0MiB| timeout | 0 |  |  |
|scheduling/swv11_2983.smt2                                   |   30.154s | 627.0MiB| timeout | 0 |  |  |
|scheduling/swv11_3050.smt2                                   |   30.155s | 649.0MiB| timeout | 0 |  |  |
|scheduling/swv14_2905.smt2                                   |   30.156s | 620.0MiB| timeout | 0 |  |  |
|scheduling/swv13_3104.smt2                                   |   30.165s | 697.0MiB| timeout | 0 |  |  |
|scheduling/swv11_2988.smt2                                   |   30.184s | 603.0MiB| timeout | 0 |  |  |
|scheduling/swv13_3200.smt2                                   |   30.211s | 718.0MiB| timeout | 0 |  |  |
|scheduling/swv12_2900.smt2                                   |   30.214s | 674.0MiB| timeout | 0 |  |  |
|scheduling/swv13_3150.smt2                                   |   30.232s | 684.0MiB| timeout | 0 |  |  |
