# .

* 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-scaled_replay_conflicts
Runner: lev-ripper
Z3 repo: ilanashapiro/z3
Z3 commit: 39e4bd8853de890ca48f0a4dc4ac4ce36c47959e
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: try to mutate pairs

</pre>


# Statistics
|FILE                                                         |TIME     |MEM        | STATUS   | EXIT | STDOUT | STDERR | 
|------------|----------:|---------:|-------------:| ----------:|--------|--------| 
|SMT-Temporal-Planning-Benchmarks/tempo-width-1.smt2          |    0.071s | 89.656MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-matrix1x1.pddl.smt2   |    0.089s | 89.652MiB| sat | 0 |  |  |
|sal/fischer3-mutex-2.smt2                                    |    0.093s | 90.396MiB| unsat | 0 |  |  |
|check/bignum_rdl2.smt2                                       |    0.094s | 89.624MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-6.smt2                                    |    0.094s | 92.08MiB| unsat | 0 |  |  |
|check/bignum_rdl1.smt2                                       |    0.100s | 89.38MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-width-2.smt2          |    0.102s | 92.42MiB| sat | 0 |  |  |
|sal/fischer6-mutex-4.smt2                                    |    0.102s | 92.96MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking02.smt2              |    0.104s | 91.16MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking01.smt2              |    0.105s | 90.464MiB| sat | 0 |  |  |
|sal/fischer9-mutex-2.smt2                                    |    0.107s | 92.072MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-5.smt2                                    |    0.112s | 91.68MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-3.smt2                                    |    0.112s | 90.66MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking03.smt2              |    0.114s | 91.672MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-04.smt2       |    0.115s | 91.928MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-06.smt2       |    0.116s | 93.208MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-03.smt2       |    0.116s | 92.444MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking04.smt2              |    0.118s | 92.096MiB| sat | 0 |  |  |
|sal/fischer9-mutex-3.smt2                                    |    0.120s | 93.18MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-depth-2.smt2          |    0.128s | 91.936MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking06.smt2              |    0.130s | 93.144MiB| sat | 0 |  |  |
|sal/fischer6-mutex-5.smt2                                    |    0.130s | 93.472MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking05.smt2              |    0.132s | 92.44MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking07.smt2              |    0.132s | 93.408MiB| sat | 0 |  |  |
|sal/fischer9-mutex-5.smt2                                    |    0.132s | 96.436MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-05.smt2       |    0.133s | 93.428MiB| sat | 0 |  |  |
|sal/fischer3-mutex-7.smt2                                    |    0.138s | 92.712MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking08.smt2              |    0.143s | 93.816MiB| sat | 0 |  |  |
|sal/fischer6-mutex-3.smt2                                    |    0.144s | 91.928MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-07.smt2       |    0.147s | 94.624MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking09.smt2              |    0.147s | 95.008MiB| sat | 0 |  |  |
|sal/fischer9-mutex-4.smt2                                    |    0.154s | 94.232MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-08.smt2       |    0.157s | 94.888MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking10.smt2              |    0.161s | 95.896MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-10.smt2       |    0.165s | 95.908MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-09.smt2       |    0.165s | 95.896MiB| sat | 0 |  |  |
|sal/fischer6-mutex-6.smt2                                    |    0.172s | 94.568MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-9.smt2                                    |    0.172s | 94.768MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking12.smt2              |    0.175s | 96.524MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking11.smt2              |    0.175s | 96.376MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking13.smt2              |    0.185s | 96.656MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking14.smt2              |    0.190s | 97.216MiB| sat | 0 |  |  |
|sal/fischer3-mutex-10.smt2                                   |    0.192s | 95.0MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking15.smt2              |    0.194s | 98.22MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking16.smt2              |    0.194s | 98.48MiB| sat | 0 |  |  |
|sal/fischer6-mutex-1.smt2                                    |    0.196s | 89.628MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-2.smt2                                    |    0.196s | 90.908MiB| unsat | 0 |  |  |
|scheduling/abz5_1000.smt2                                    |    0.201s | 98.0MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-1.smt2                                    |    0.201s | 89.62MiB| unsat | 0 |  |  |
|sal/fischer9-mutex-1.smt2                                    |    0.203s | 89.884MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking17.smt2              |    0.211s | 99.156MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking18.smt2              |    0.218s | 99.552MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-depth-3.smt2          |    0.218s | 97.96MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking19.smt2              |    0.220s | 99.756MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking20.smt2              |    0.224s | 98.0MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking21.smt2              |    0.238s | 98.0MiB| sat | 0 |  |  |
|sal/fischer3-mutex-8.smt2                                    |    0.238s | 93.468MiB| unsat | 0 |  |  |
|sal/fischer9-mutex-7.smt2                                    |    0.238s | 99.148MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking22.smt2              |    0.245s | 99.0MiB| sat | 0 |  |  |
|sal/fischer3-mutex-12.smt2                                   |    0.251s | 96.08MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-8.smt2                                    |    0.252s | 97.656MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-11.smt2                                   |    0.255s | 95.392MiB| unsat | 0 |  |  |
|scheduling/abz6_800.smt2                                     |    0.272s | 98.0MiB| unsat | 0 |  |  |
|scheduling/orb09_800.smt2                                    |    0.272s | 100.0MiB| unsat | 0 |  |  |
|scheduling/orb09_1100.smt2                                   |    0.272s | 103.0MiB| sat | 0 |  |  |
|scheduling/orb02_700.smt2                                    |    0.275s | 97.276MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-7.smt2                                    |    0.276s | 95.86MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-4.smt2                                    |    0.277s | 91.428MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-20.smt2       |    0.284s | 99.0MiB| sat | 0 |  |  |
|scheduling/orb08_700.smt2                                    |    0.293s | 99.0MiB| unsat | 0 |  |  |
|scheduling/orb07_250.smt2                                    |    0.302s | 96.288MiB| unsat | 0 |  |  |
|scheduling/orb08_830.smt2                                    |    0.307s | 100.0MiB| unsat | 0 |  |  |
|scheduling/orb07_550.smt2                                    |    0.312s | 103.0MiB| sat | 0 |  |  |
|scheduling/orb10_800.smt2                                    |    0.321s | 100.0MiB| unsat | 0 |  |  |
|sal/fischer9-mutex-8.smt2                                    |    0.321s | 99.0MiB| unsat | 0 |  |  |
|scheduling/orb02_1000.smt2                                   |    0.327s | 101.0MiB| sat | 0 |  |  |
|scheduling/abz5_1400.smt2                                    |    0.333s | 101.0MiB| sat | 0 |  |  |
|sal/fischer3-mutex-13.smt2                                   |    0.334s | 97.676MiB| unsat | 0 |  |  |
|scheduling/orb06_1200.smt2                                   |    0.335s | 102.0MiB| sat | 0 |  |  |
|scheduling/orb07_330.smt2                                    |    0.342s | 98.528MiB| unsat | 0 |  |  |
|scheduling/orb02_800.smt2                                    |    0.342s | 100.0MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-9.smt2                                    |    0.346s | 99.26MiB| unsat | 0 |  |  |
|scheduling/orb05_700.smt2                                    |    0.363s | 100.0MiB| unsat | 0 |  |  |
|scheduling/orb04_1200.smt2                                   |    0.370s | 103.0MiB| sat | 0 |  |  |
|sal/fischer9-mutex-6.smt2                                    |    0.372s | 98.268MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-14.smt2                                   |    0.386s | 98.436MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-16.smt2                                   |    0.394s | 99.616MiB| unsat | 0 |  |  |
|scheduling/abz6_900.smt2                                     |    0.411s | 101.0MiB| unsat | 0 |  |  |
|scheduling/orb03_850.smt2                                    |    0.417s | 101.0MiB| unsat | 0 |  |  |
|scheduling/orb04_850.smt2                                    |    0.421s | 99.0MiB| unsat | 0 |  |  |
|scheduling/abz6_1100.smt2                                    |    0.436s | 102.0MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-30.smt2       |    0.475s | 106.0MiB| sat | 0 |  |  |
|scheduling/orb09_1000.smt2                                   |    0.476s | 102.0MiB| sat | 0 |  |  |
|scheduling/orb05_800.smt2                                    |    0.484s | 101.0MiB| unsat | 0 |  |  |
|scheduling/abz6_1000.smt2                                    |    0.487s | 103.0MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-width-3.smt2          |    0.520s | 101.0MiB| sat | 0 |  |  |
|scheduling/orb06_900.smt2                                    |    0.549s | 102.0MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-17.smt2                                   |    0.563s | 99.0MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-15.smt2                                   |    0.595s | 99.94MiB| unsat | 0 |  |  |
|scheduling/orb08_1000.smt2                                   |    0.623s | 105.0MiB| sat | 0 |  |  |
|scheduling/orb03_1200.smt2                                   |    0.640s | 105.0MiB| sat | 0 |  |  |
|scheduling/orb10_1100.smt2                                   |    0.660s | 104.0MiB| sat | 0 |  |  |
|scheduling/abz5_1300.smt2                                    |    0.666s | 103.0MiB| sat | 0 |  |  |
|scheduling/orb04_950.smt2                                    |    0.669s | 103.0MiB| unsat | 0 |  |  |
|scheduling/orb05_1000.smt2                                   |    0.671s | 105.0MiB| sat | 0 |  |  |
|scheduling/orb01_900.smt2                                    |    0.672s | 102.0MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-40.smt2       |    0.734s | 112.0MiB| sat | 0 |  |  |
|scheduling/orb04_1100.smt2                                   |    0.765s | 105.0MiB| sat | 0 |  |  |
|sal/fischer6-mutex-10.smt2                                   |    0.819s | 100.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-6.base.cvc.smt2                           |    0.823s | 178.0MiB| unsat | 0 |  |  |
|skdmxa/skdmxa-3x3-5.smt2                                     |    0.861s | 134.0MiB| unsat | 0 |  |  |
|scheduling/orb02_900.smt2                                    |    0.887s | 104.0MiB| sat | 0 |  |  |
|scheduling/orb07_430.smt2                                    |    0.890s | 104.0MiB| sat | 0 |  |  |
|scheduling/orb03_1100.smt2                                   |    0.894s | 105.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-5.induction.cvc.smt2                      |    0.907s | 215.0MiB| sat | 0 |  |  |
|scheduling/orb10_900.smt2                                    |    0.972s | 103.0MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-18.smt2                                   |    0.985s | 101.0MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-19.smt2                                   |    1.091s | 102.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-7.base.cvc.smt2                           |    1.126s | 227.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-6.induction.cvc.smt2                      |    1.144s | 244.0MiB| sat | 0 |  |  |
|scheduling/abz6_943.smt2                                     |    1.147s | 104.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-5.base.cvc.smt2                           |    1.179s | 156.0MiB| unsat | 0 |  |  |
|sal/fischer9-mutex-9.smt2                                    |    1.187s | 105.0MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-12.smt2                                   |    1.330s | 104.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-8.base.cvc.smt2                           |    1.339s | 247.0MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-depth-4.smt2          |    1.363s | 110.0MiB| sat | 0 |  |  |
|sal/fischer3-mutex-20.smt2                                   |    1.380s | 103.0MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-11.smt2                                   |    1.403s | 103.0MiB| unsat | 0 |  |  |
|scheduling/orb01_1200.smt2                                   |    1.548s | 108.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-7.induction.cvc.smt2                      |    1.614s | 335.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-9.base.cvc.smt2                           |    1.628s | 267.0MiB| unsat | 0 |  |  |
|scheduling/yn1_750.smt2                                      |    1.788s | 240.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-8.induction.cvc.smt2                      |    1.898s | 349.0MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-60.smt2       |    1.938s | 123.0MiB| sat | 0 |  |  |
|sal/fischer6-mutex-13.smt2                                   |    1.945s | 107.0MiB| unsat | 0 |  |  |
|scheduling/orb05_900.smt2                                    |    2.068s | 107.0MiB| sat | 0 |  |  |
|scheduling/orb09_900.smt2                                    |    2.296s | 106.0MiB| unsat | 0 |  |  |
|sal/fischer9-mutex-10.smt2                                   |    2.307s | 110.0MiB| unsat | 0 |  |  |
|scheduling/orb10_1000.smt2                                   |    2.351s | 107.0MiB| sat | 0 |  |  |
|scheduling/orb06_1100.smt2                                   |    2.386s | 109.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-10.base.cvc.smt2                          |    2.537s | 289.0MiB| unsat | 0 |  |  |
|scheduling/abz7_500.smt2                                     |    2.642s | 189.0MiB| unsat | 0 |  |  |
|scheduling/orb02_888.smt2                                    |    2.843s | 109.0MiB| sat | 0 |  |  |
|skdmxa/skdmxa-3x3-10.smt2                                    |    2.872s | 192.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-10.induction.cvc.smt2                     |    2.992s | 458.0MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-80.smt2       |    3.155s | 145.0MiB| sat | 0 |  |  |
|sal/fischer9-mutex-11.smt2                                   |    3.336s | 115.0MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-70.smt2       |    3.425s | 140.0MiB| sat | 0 |  |  |
|scheduling/orb01_1100.smt2                                   |    3.536s | 110.0MiB| sat | 0 |  |  |
|scheduling/abz5_1200.smt2                                    |    3.544s | 106.0MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-14.smt2                                   |    3.659s | 112.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-12.induction.cvc.smt2                     |    3.690s | 499.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-9.induction.cvc.smt2                      |    3.917s | 404.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-11.induction.cvc.smt2                     |    4.118s | 442.0MiB| sat | 0 |  |  |
|sal/fischer6-mutex-15.smt2                                   |    4.453s | 114.0MiB| unsat | 0 |  |  |
|scheduling/orb08_930.smt2                                    |    4.706s | 110.0MiB| sat | 0 |  |  |
|sal/fischer9-mutex-12.smt2                                   |    5.473s | 118.0MiB| unsat | 0 |  |  |
|scheduling/orb07_397.smt2                                    |    5.660s | 110.0MiB| sat | 0 |  |  |
|scheduling/yn3_750.smt2                                      |    5.824s | 267.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-14.induction.cvc.smt2                     |    6.238s | 691.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-11.base.cvc.smt2                          |    6.388s | 317.0MiB| unsat | 0 |  |  |
|scheduling/orb10_944.smt2                                    |    6.758s | 110.0MiB| sat | 0 |  |  |
|scheduling/abz5_1234.smt2                                    |    6.827s | 110.0MiB| sat | 0 |  |  |
|scheduling/orb05_887.smt2                                    |    7.158s | 111.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-13.induction.cvc.smt2                     |    7.312s | 619.0MiB| sat | 0 |  |  |
|sal/fischer6-mutex-16.smt2                                   |    7.533s | 120.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-16.induction.cvc.smt2                     |    8.286s | 722.0MiB| sat | 0 |  |  |
|scheduling/yn2_750.smt2                                      |    8.752s | 257.0MiB| unsat | 0 |  |  |
|sal/fischer9-mutex-13.smt2                                   |   10.035s | 129.0MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-90.smt2       |   10.602s | 153.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-19.induction.cvc.smt2                     |   10.892s | 825.0MiB| sat | 0 |  |  |
|scheduling/orb09_934.smt2                                    |   11.049s | 112.0MiB| sat | 0 |  |  |
|sal/fischer6-mutex-17.smt2                                   |   12.058s | 129.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-17.induction.cvc.smt2                     |   12.299s | 844.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-18.induction.cvc.smt2                     |   12.794s | 797.0MiB| sat | 0 |  |  |
|scheduling/orb08_888.smt2                                    |   12.989s | 112.0MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-depth-5.smt2          |   13.353s | 142.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-15.induction.cvc.smt2                     |   13.622s | 735.0MiB| sat | 0 |  |  |
|scheduling/orb04_1005.smt2                                   |   15.170s | 115.0MiB| sat | 0 |  |  |
|scheduling/orb03_950.smt2                                    |   16.417s | 114.0MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-18.smt2                                   |   18.438s | 134.0MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-width-4.smt2          |   19.477s | 156.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-12.base.cvc.smt2                          |   21.210s | 364.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-20.induction.cvc.smt2                     |   24.472s | 948.0MiB| sat | 0 |  |  |
|sal/fischer9-mutex-15.smt2                                   |   24.487s | 144.0MiB| unsat | 0 |  |  |
|sal/fischer9-mutex-14.smt2                                   |   25.484s | 140.0MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-20.smt2                                   |   26.612s | 138.0MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-19.smt2                                   |   27.146s | 138.0MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-depth-6.smt2          |   30.026s | 189.0MiB| timeout | 0 |  |  |
|sal/fischer9-mutex-19.smt2                                   |   30.040s | 152.0MiB| timeout | 0 |  |  |
|sal/fischer9-mutex-20.smt2                                   |   30.040s | 162.0MiB| timeout | 0 |  |  |
|sal/fischer9-mutex-18.smt2                                   |   30.041s | 158.0MiB| timeout | 0 |  |  |
|sal/fischer9-mutex-16.smt2                                   |   30.042s | 151.0MiB| timeout | 0 |  |  |
|scheduling/orb06_1000.smt2                                   |   30.046s | 119.0MiB| timeout | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-matrix2x2.pddl.smt2   |   30.052s | 413.0MiB| timeout | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-width-5.smt2          |   30.053s | 259.0MiB| timeout | 0 |  |  |
|sal/fischer9-mutex-17.smt2                                   |   30.053s | 156.0MiB| timeout | 0 |  |  |
|scheduling/abz7_600.smt2                                     |   30.054s | 255.0MiB| timeout | 0 |  |  |
|scheduling/orb03_1005.smt2                                   |   30.054s | 119.0MiB| timeout | 0 |  |  |
|scheduling/orb01_1000.smt2                                   |   30.055s | 117.0MiB| timeout | 0 |  |  |
|scheduling/orb01_1059.smt2                                   |   30.058s | 118.0MiB| timeout | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-depth-7.smt2          |   30.058s | 279.0MiB| timeout | 0 |  |  |
|scheduling/abz7_800.smt2                                     |   30.063s | 276.0MiB| timeout | 0 |  |  |
|scheduling/yn3_828.smt2                                      |   30.063s | 305.0MiB| timeout | 0 |  |  |
|scheduling/abz7_691.smt2                                     |   30.065s | 272.0MiB| timeout | 0 |  |  |
|scheduling/abz7_667.smt2                                     |   30.066s | 262.0MiB| timeout | 0 |  |  |
|scheduling/yn4_919.smt2                                      |   30.068s | 307.0MiB| timeout | 0 |  |  |
|scheduling/abz7_670.smt2                                     |   30.069s | 266.0MiB| timeout | 0 |  |  |
|scheduling/orb06_1010.smt2                                   |   30.070s | 119.0MiB| timeout | 0 |  |  |
|scheduling/yn4_1000.smt2                                     |   30.072s | 316.0MiB| timeout | 0 |  |  |
|scheduling/yn3_950.smt2                                      |   30.073s | 329.0MiB| timeout | 0 |  |  |
|scheduling/yn1_887.smt2                                      |   30.073s | 309.0MiB| timeout | 0 |  |  |
|scheduling/abz7_700.smt2                                     |   30.074s | 267.0MiB| timeout | 0 |  |  |
|scheduling/yn2_950.smt2                                      |   30.075s | 334.0MiB| timeout | 0 |  |  |
|skdmxa/skdmxa-3x3-20.smt2                                    |   30.077s | 406.0MiB| timeout | 0 |  |  |
|scheduling/yn1_827.smt2                                      |   30.080s | 298.0MiB| timeout | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-width-6.smt2          |   30.080s | 439.0MiB| timeout | 0 |  |  |
|scheduling/yn2_862.smt2                                      |   30.083s | 312.0MiB| timeout | 0 |  |  |
|skdmxa2/skdmxa-3x3-16.base.cvc.smt2                          |   30.084s | 543.0MiB| timeout | 0 |  |  |
|scheduling/yn2_910.smt2                                      |   30.092s | 318.0MiB| timeout | 0 |  |  |
|scheduling/yn3_860.smt2                                      |   30.092s | 310.0MiB| timeout | 0 |  |  |
|scheduling/yn4_850.smt2                                      |   30.093s | 293.0MiB| timeout | 0 |  |  |
|skdmxa2/skdmxa-3x3-15.base.cvc.smt2                          |   30.093s | 517.0MiB| timeout | 0 |  |  |
|scheduling/yn4_969.smt2                                      |   30.096s | 324.0MiB| timeout | 0 |  |  |
|scheduling/yn1_950.smt2                                      |   30.098s | 317.0MiB| timeout | 0 |  |  |
|skdmxa2/skdmxa-3x3-14.base.cvc.smt2                          |   30.098s | 492.0MiB| timeout | 0 |  |  |
|skdmxa/skdmxa-3x3-15.smt2                                    |   30.102s | 324.0MiB| timeout | 0 |  |  |
|scheduling/yn3_894.smt2                                      |   30.103s | 307.0MiB| timeout | 0 |  |  |
|skdmxa2/skdmxa-3x3-17.base.cvc.smt2                          |   30.103s | 604.0MiB| timeout | 0 |  |  |
|scheduling/yn4_950.smt2                                      |   30.107s | 306.0MiB| timeout | 0 |  |  |
|skdmxa2/skdmxa-3x3-18.base.cvc.smt2                          |   30.107s | 640.0MiB| timeout | 0 |  |  |
|scheduling/yn2_890.smt2                                      |   30.112s | 312.0MiB| timeout | 0 |  |  |
|skdmxa2/skdmxa-3x3-13.base.cvc.smt2                          |   30.114s | 469.0MiB| timeout | 0 |  |  |
|scheduling/swv14_2905.smt2                                   |   30.121s | 634.0MiB| timeout | 0 |  |  |
|scheduling/swv11_3050.smt2                                   |   30.121s | 632.0MiB| timeout | 0 |  |  |
|scheduling/swv12_2900.smt2                                   |   30.123s | 691.0MiB| timeout | 0 |  |  |
|skdmxa2/skdmxa-3x3-19.base.cvc.smt2                          |   30.127s | 672.0MiB| timeout | 0 |  |  |
|scheduling/yn1_850.smt2                                      |   30.128s | 300.0MiB| timeout | 0 |  |  |
|scheduling/swv12_2990.smt2                                   |   30.128s | 684.0MiB| timeout | 0 |  |  |
|skdmxa2/skdmxa-3x3-20.base.cvc.smt2                          |   30.131s | 731.0MiB| timeout | 0 |  |  |
|scheduling/swv13_3150.smt2                                   |   30.132s | 718.0MiB| timeout | 0 |  |  |
|scheduling/swv12_3004.smt2                                   |   30.133s | 669.0MiB| timeout | 0 |  |  |
|scheduling/swv12_3050.smt2                                   |   30.134s | 738.0MiB| timeout | 0 |  |  |
|scheduling/swv11_2983.smt2                                   |   30.138s | 629.0MiB| timeout | 0 |  |  |
|scheduling/swv14_2800.smt2                                   |   30.138s | 652.0MiB| timeout | 0 |  |  |
|scheduling/swv11_2900.smt2                                   |   30.139s | 624.0MiB| timeout | 0 |  |  |
|scheduling/swv14_2885.smt2                                   |   30.144s | 637.0MiB| timeout | 0 |  |  |
|scheduling/swv11_2988.smt2                                   |   30.147s | 625.0MiB| timeout | 0 |  |  |
|scheduling/swv13_3000.smt2                                   |   30.151s | 669.0MiB| timeout | 0 |  |  |
|scheduling/swv13_3104.smt2                                   |   30.151s | 682.0MiB| timeout | 0 |  |  |
|scheduling/swv12_2972.smt2                                   |   30.151s | 703.0MiB| timeout | 0 |  |  |
|scheduling/swv13_3200.smt2                                   |   30.154s | 692.0MiB| timeout | 0 |  |  |
|scheduling/swv11_2992.smt2                                   |   30.158s | 622.0MiB| timeout | 0 |  |  |
|scheduling/swv14_3000.smt2                                   |   30.195s | 682.0MiB| timeout | 0 |  |  |
|scheduling/swv14_2895.smt2                                   |   30.212s | 665.0MiB| timeout | 0 |  |  |
