# .

* 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-pairs
Runner: lev-ripper
Z3 repo: ilanashapiro/z3
Z3 commit: adf7a9b082e76247a66bc779754eb1bea89cc0af
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.068s | 89.496MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking01.smt2              |    0.079s | 90.648MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking02.smt2              |    0.082s | 91.416MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-matrix1x1.pddl.smt2   |    0.089s | 89.628MiB| sat | 0 |  |  |
|sal/fischer3-mutex-5.smt2                                    |    0.089s | 91.74MiB| unsat | 0 |  |  |
|check/bignum_rdl2.smt2                                       |    0.104s | 89.112MiB| unsat | 0 |  |  |
|sal/fischer9-mutex-3.smt2                                    |    0.105s | 93.416MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-2.smt2                                    |    0.105s | 90.292MiB| unsat | 0 |  |  |
|check/bignum_rdl1.smt2                                       |    0.107s | 89.112MiB| sat | 0 |  |  |
|sal/fischer3-mutex-3.smt2                                    |    0.107s | 90.66MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking03.smt2              |    0.109s | 91.416MiB| sat | 0 |  |  |
|sal/fischer9-mutex-2.smt2                                    |    0.109s | 91.94MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-depth-2.smt2          |    0.113s | 91.924MiB| sat | 0 |  |  |
|sal/fischer6-mutex-1.smt2                                    |    0.117s | 89.88MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking04.smt2              |    0.119s | 91.98MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-03.smt2       |    0.120s | 92.188MiB| sat | 0 |  |  |
|sal/fischer3-mutex-6.smt2                                    |    0.121s | 92.004MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-width-2.smt2          |    0.122s | 92.744MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking05.smt2              |    0.122s | 92.712MiB| sat | 0 |  |  |
|sal/fischer6-mutex-3.smt2                                    |    0.122s | 91.928MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-2.smt2                                    |    0.122s | 90.892MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-4.smt2                                    |    0.123s | 92.944MiB| unsat | 0 |  |  |
|sal/fischer9-mutex-1.smt2                                    |    0.125s | 90.032MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-04.smt2       |    0.126s | 92.184MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking06.smt2              |    0.130s | 92.952MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-06.smt2       |    0.130s | 93.464MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-08.smt2       |    0.131s | 94.528MiB| sat | 0 |  |  |
|sal/fischer6-mutex-5.smt2                                    |    0.131s | 93.468MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-05.smt2       |    0.132s | 93.792MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking07.smt2              |    0.133s | 93.664MiB| sat | 0 |  |  |
|sal/fischer6-mutex-6.smt2                                    |    0.134s | 94.528MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-7.smt2                                    |    0.136s | 92.708MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking08.smt2              |    0.138s | 94.328MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-10.smt2       |    0.143s | 95.64MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-07.smt2       |    0.144s | 94.628MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking10.smt2              |    0.151s | 95.636MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking09.smt2              |    0.151s | 94.752MiB| sat | 0 |  |  |
|sal/fischer9-mutex-4.smt2                                    |    0.153s | 94.664MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-8.smt2                                    |    0.154s | 93.264MiB| unsat | 0 |  |  |
|sal/fischer9-mutex-5.smt2                                    |    0.155s | 96.164MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-9.smt2                                    |    0.158s | 94.444MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-1.smt2                                    |    0.163s | 89.88MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking11.smt2              |    0.165s | 96.112MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-09.smt2       |    0.166s | 96.148MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking12.smt2              |    0.169s | 96.12MiB| sat | 0 |  |  |
|sal/fischer3-mutex-10.smt2                                   |    0.170s | 95.38MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking15.smt2              |    0.171s | 97.964MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking13.smt2              |    0.177s | 96.912MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking14.smt2              |    0.184s | 96.94MiB| sat | 0 |  |  |
|sal/fischer3-mutex-4.smt2                                    |    0.196s | 91.416MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking16.smt2              |    0.199s | 98.212MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking18.smt2              |    0.205s | 99.24MiB| sat | 0 |  |  |
|sal/fischer6-mutex-7.smt2                                    |    0.206s | 95.86MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking17.smt2              |    0.209s | 99.416MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-depth-3.smt2          |    0.211s | 97.952MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking19.smt2              |    0.212s | 99.696MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking21.smt2              |    0.221s | 98.0MiB| sat | 0 |  |  |
|sal/fischer3-mutex-11.smt2                                   |    0.221s | 95.384MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking20.smt2              |    0.224s | 98.0MiB| sat | 0 |  |  |
|scheduling/orb05_700.smt2                                    |    0.225s | 99.0MiB| unsat | 0 |  |  |
|scheduling/orb07_250.smt2                                    |    0.231s | 96.536MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-8.smt2                                    |    0.239s | 97.656MiB| unsat | 0 |  |  |
|scheduling/orb07_330.smt2                                    |    0.240s | 98.588MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking22.smt2              |    0.241s | 99.0MiB| sat | 0 |  |  |
|sal/fischer9-mutex-7.smt2                                    |    0.244s | 99.216MiB| unsat | 0 |  |  |
|scheduling/orb10_800.smt2                                    |    0.252s | 100.0MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-12.smt2                                   |    0.252s | 96.58MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-20.smt2       |    0.268s | 99.0MiB| sat | 0 |  |  |
|scheduling/orb09_800.smt2                                    |    0.270s | 100.0MiB| unsat | 0 |  |  |
|scheduling/abz6_800.smt2                                     |    0.273s | 98.0MiB| unsat | 0 |  |  |
|scheduling/orb02_700.smt2                                    |    0.276s | 98.328MiB| unsat | 0 |  |  |
|scheduling/orb04_850.smt2                                    |    0.277s | 99.0MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-13.smt2                                   |    0.296s | 97.7MiB| unsat | 0 |  |  |
|sal/fischer9-mutex-6.smt2                                    |    0.297s | 98.52MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-9.smt2                                    |    0.302s | 99.272MiB| unsat | 0 |  |  |
|scheduling/orb02_1000.smt2                                   |    0.304s | 101.0MiB| sat | 0 |  |  |
|scheduling/orb02_800.smt2                                    |    0.306s | 99.0MiB| unsat | 0 |  |  |
|scheduling/orb09_1100.smt2                                   |    0.310s | 102.0MiB| sat | 0 |  |  |
|scheduling/orb08_700.smt2                                    |    0.337s | 99.0MiB| unsat | 0 |  |  |
|scheduling/abz5_1000.smt2                                    |    0.345s | 98.0MiB| unsat | 0 |  |  |
|scheduling/orb08_830.smt2                                    |    0.348s | 101.0MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-14.smt2                                   |    0.359s | 98.048MiB| unsat | 0 |  |  |
|sal/fischer9-mutex-8.smt2                                    |    0.361s | 99.0MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-16.smt2                                   |    0.374s | 99.964MiB| unsat | 0 |  |  |
|scheduling/orb04_1200.smt2                                   |    0.395s | 103.0MiB| sat | 0 |  |  |
|scheduling/abz6_1100.smt2                                    |    0.401s | 101.0MiB| sat | 0 |  |  |
|scheduling/orb06_1200.smt2                                   |    0.408s | 102.0MiB| sat | 0 |  |  |
|scheduling/orb07_550.smt2                                    |    0.416s | 103.0MiB| sat | 0 |  |  |
|scheduling/abz6_1000.smt2                                    |    0.436s | 103.0MiB| sat | 0 |  |  |
|scheduling/orb10_1100.smt2                                   |    0.450s | 103.0MiB| sat | 0 |  |  |
|sal/fischer3-mutex-15.smt2                                   |    0.483s | 97.0MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-30.smt2       |    0.484s | 106.0MiB| sat | 0 |  |  |
|scheduling/orb09_1000.smt2                                   |    0.487s | 102.0MiB| sat | 0 |  |  |
|scheduling/abz5_1400.smt2                                    |    0.493s | 101.0MiB| sat | 0 |  |  |
|scheduling/orb03_850.smt2                                    |    0.507s | 102.0MiB| unsat | 0 |  |  |
|scheduling/abz6_900.smt2                                     |    0.514s | 101.0MiB| unsat | 0 |  |  |
|scheduling/orb05_800.smt2                                    |    0.530s | 101.0MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-width-3.smt2          |    0.578s | 101.0MiB| sat | 0 |  |  |
|scheduling/orb05_1000.smt2                                   |    0.596s | 105.0MiB| sat | 0 |  |  |
|sal/fischer3-mutex-17.smt2                                   |    0.617s | 99.0MiB| unsat | 0 |  |  |
|scheduling/orb08_1000.smt2                                   |    0.618s | 106.0MiB| sat | 0 |  |  |
|scheduling/abz5_1300.smt2                                    |    0.625s | 103.0MiB| sat | 0 |  |  |
|scheduling/orb04_950.smt2                                    |    0.637s | 102.0MiB| unsat | 0 |  |  |
|scheduling/orb04_1100.smt2                                   |    0.638s | 105.0MiB| sat | 0 |  |  |
|scheduling/orb06_900.smt2                                    |    0.643s | 102.0MiB| unsat | 0 |  |  |
|scheduling/orb03_1200.smt2                                   |    0.651s | 106.0MiB| sat | 0 |  |  |
|skdmxa/skdmxa-3x3-5.smt2                                     |    0.718s | 133.0MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-40.smt2       |    0.721s | 112.0MiB| sat | 0 |  |  |
|scheduling/orb01_900.smt2                                    |    0.752s | 102.0MiB| unsat | 0 |  |  |
|scheduling/orb03_1100.smt2                                   |    0.780s | 106.0MiB| sat | 0 |  |  |
|sal/fischer3-mutex-19.smt2                                   |    0.788s | 101.0MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-10.smt2                                   |    0.808s | 100.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-6.base.cvc.smt2                           |    0.820s | 178.0MiB| unsat | 0 |  |  |
|scheduling/orb07_430.smt2                                    |    0.905s | 104.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-5.induction.cvc.smt2                      |    0.908s | 215.0MiB| sat | 0 |  |  |
|scheduling/orb02_900.smt2                                    |    0.955s | 104.0MiB| sat | 0 |  |  |
|sal/fischer3-mutex-18.smt2                                   |    0.974s | 101.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-5.base.cvc.smt2                           |    1.102s | 156.0MiB| unsat | 0 |  |  |
|scheduling/orb10_900.smt2                                    |    1.115s | 103.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-7.base.cvc.smt2                           |    1.135s | 227.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-6.induction.cvc.smt2                      |    1.139s | 241.0MiB| sat | 0 |  |  |
|sal/fischer9-mutex-9.smt2                                    |    1.198s | 104.0MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-11.smt2                                   |    1.229s | 102.0MiB| unsat | 0 |  |  |
|scheduling/abz6_943.smt2                                     |    1.309s | 104.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-8.base.cvc.smt2                           |    1.360s | 247.0MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-depth-4.smt2          |    1.387s | 109.0MiB| sat | 0 |  |  |
|sal/fischer3-mutex-20.smt2                                   |    1.586s | 103.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-9.base.cvc.smt2                           |    1.636s | 267.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-7.induction.cvc.smt2                      |    1.663s | 338.0MiB| sat | 0 |  |  |
|scheduling/orb10_1000.smt2                                   |    1.767s | 106.0MiB| sat | 0 |  |  |
|sal/fischer6-mutex-12.smt2                                   |    1.862s | 105.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-8.induction.cvc.smt2                      |    1.888s | 352.0MiB| sat | 0 |  |  |
|scheduling/orb01_1200.smt2                                   |    1.944s | 109.0MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-60.smt2       |    1.999s | 123.0MiB| sat | 0 |  |  |
|scheduling/orb09_900.smt2                                    |    2.077s | 106.0MiB| unsat | 0 |  |  |
|scheduling/orb02_888.smt2                                    |    2.204s | 107.0MiB| sat | 0 |  |  |
|skdmxa/skdmxa-3x3-10.smt2                                    |    2.231s | 192.0MiB| unsat | 0 |  |  |
|sal/fischer9-mutex-10.smt2                                   |    2.328s | 109.0MiB| unsat | 0 |  |  |
|scheduling/orb06_1100.smt2                                   |    2.441s | 109.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-10.base.cvc.smt2                          |    2.528s | 290.0MiB| unsat | 0 |  |  |
|scheduling/abz5_1234.smt2                                    |    2.597s | 107.0MiB| sat | 0 |  |  |
|scheduling/yn1_750.smt2                                      |    2.794s | 248.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-10.induction.cvc.smt2                     |    2.965s | 453.0MiB| sat | 0 |  |  |
|scheduling/abz7_500.smt2                                     |    3.070s | 191.0MiB| unsat | 0 |  |  |
|sal/fischer9-mutex-11.smt2                                   |    3.099s | 113.0MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-80.smt2       |    3.126s | 144.0MiB| sat | 0 |  |  |
|sal/fischer6-mutex-13.smt2                                   |    3.216s | 109.0MiB| unsat | 0 |  |  |
|scheduling/abz5_1200.smt2                                    |    3.232s | 106.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-12.induction.cvc.smt2                     |    3.698s | 500.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-9.induction.cvc.smt2                      |    3.841s | 402.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-11.induction.cvc.smt2                     |    3.968s | 442.0MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-70.smt2       |    4.043s | 141.0MiB| sat | 0 |  |  |
|scheduling/orb04_1005.smt2                                   |    4.355s | 109.0MiB| sat | 0 |  |  |
|sal/fischer9-mutex-12.smt2                                   |    4.501s | 117.0MiB| unsat | 0 |  |  |
|scheduling/orb10_944.smt2                                    |    5.154s | 109.0MiB| sat | 0 |  |  |
|sal/fischer6-mutex-15.smt2                                   |    5.184s | 115.0MiB| unsat | 0 |  |  |
|scheduling/yn3_750.smt2                                      |    5.366s | 267.0MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-14.smt2                                   |    5.994s | 116.0MiB| unsat | 0 |  |  |
|scheduling/yn2_750.smt2                                      |    6.009s | 254.0MiB| unsat | 0 |  |  |
|scheduling/orb05_900.smt2                                    |    6.044s | 110.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-14.induction.cvc.smt2                     |    6.221s | 689.0MiB| sat | 0 |  |  |
|scheduling/orb07_397.smt2                                    |    6.304s | 110.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-11.base.cvc.smt2                          |    6.368s | 317.0MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-16.smt2                                   |    7.812s | 120.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-13.induction.cvc.smt2                     |    8.196s | 643.0MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-90.smt2       |    8.310s | 152.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-16.induction.cvc.smt2                     |    8.508s | 717.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-19.induction.cvc.smt2                     |   10.524s | 792.0MiB| sat | 0 |  |  |
|sal/fischer6-mutex-17.smt2                                   |   10.803s | 126.0MiB| unsat | 0 |  |  |
|scheduling/orb05_887.smt2                                    |   11.288s | 112.0MiB| sat | 0 |  |  |
|scheduling/orb08_888.smt2                                    |   12.058s | 112.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-18.induction.cvc.smt2                     |   12.272s | 809.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-17.induction.cvc.smt2                     |   12.709s | 818.0MiB| sat | 0 |  |  |
|sal/fischer9-mutex-13.smt2                                   |   12.744s | 129.0MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-depth-5.smt2          |   13.222s | 141.0MiB| sat | 0 |  |  |
|scheduling/orb08_930.smt2                                    |   13.720s | 114.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-15.induction.cvc.smt2                     |   14.219s | 740.0MiB| sat | 0 |  |  |
|scheduling/orb01_1100.smt2                                   |   16.592s | 116.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-20.induction.cvc.smt2                     |   17.724s | 819.0MiB| sat | 0 |  |  |
|sal/fischer6-mutex-18.smt2                                   |   18.530s | 132.0MiB| unsat | 0 |  |  |
|scheduling/orb09_934.smt2                                    |   19.211s | 116.0MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-width-4.smt2          |   19.710s | 156.0MiB| sat | 0 |  |  |
|sal/fischer9-mutex-14.smt2                                   |   19.972s | 139.0MiB| unsat | 0 |  |  |
|scheduling/orb03_950.smt2                                    |   21.927s | 115.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-12.base.cvc.smt2                          |   22.928s | 365.0MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-19.smt2                                   |   25.422s | 136.0MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-20.smt2                                   |   27.442s | 143.0MiB| unsat | 0 |  |  |
|sal/fischer9-mutex-15.smt2                                   |   29.521s | 147.0MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-width-5.smt2          |   30.033s | 261.0MiB| timeout | 0 |  |  |
|scheduling/orb06_1000.smt2                                   |   30.041s | 118.0MiB| timeout | 0 |  |  |
|sal/fischer9-mutex-18.smt2                                   |   30.042s | 159.0MiB| timeout | 0 |  |  |
|sal/fischer9-mutex-16.smt2                                   |   30.044s | 153.0MiB| timeout | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-depth-7.smt2          |   30.047s | 278.0MiB| timeout | 0 |  |  |
|sal/fischer9-mutex-17.smt2                                   |   30.048s | 149.0MiB| timeout | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-depth-6.smt2          |   30.049s | 191.0MiB| timeout | 0 |  |  |
|sal/fischer9-mutex-20.smt2                                   |   30.050s | 154.0MiB| timeout | 0 |  |  |
|scheduling/orb06_1010.smt2                                   |   30.054s | 118.0MiB| timeout | 0 |  |  |
|sal/fischer9-mutex-19.smt2                                   |   30.054s | 160.0MiB| timeout | 0 |  |  |
|scheduling/orb01_1000.smt2                                   |   30.057s | 117.0MiB| timeout | 0 |  |  |
|scheduling/orb01_1059.smt2                                   |   30.058s | 119.0MiB| timeout | 0 |  |  |
|scheduling/orb03_1005.smt2                                   |   30.063s | 119.0MiB| timeout | 0 |  |  |
|scheduling/abz7_800.smt2                                     |   30.066s | 272.0MiB| timeout | 0 |  |  |
|scheduling/abz7_600.smt2                                     |   30.068s | 256.0MiB| timeout | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-width-6.smt2          |   30.068s | 439.0MiB| timeout | 0 |  |  |
|scheduling/yn2_950.smt2                                      |   30.071s | 340.0MiB| timeout | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-matrix2x2.pddl.smt2   |   30.071s | 412.0MiB| timeout | 0 |  |  |
|scheduling/yn3_828.smt2                                      |   30.073s | 308.0MiB| timeout | 0 |  |  |
|scheduling/yn4_850.smt2                                      |   30.073s | 296.0MiB| timeout | 0 |  |  |
|scheduling/abz7_700.smt2                                     |   30.074s | 268.0MiB| timeout | 0 |  |  |
|scheduling/yn1_950.smt2                                      |   30.074s | 313.0MiB| timeout | 0 |  |  |
|scheduling/yn3_950.smt2                                      |   30.075s | 328.0MiB| timeout | 0 |  |  |
|scheduling/abz7_667.smt2                                     |   30.076s | 264.0MiB| timeout | 0 |  |  |
|scheduling/yn1_887.smt2                                      |   30.076s | 314.0MiB| timeout | 0 |  |  |
|scheduling/yn4_969.smt2                                      |   30.077s | 316.0MiB| timeout | 0 |  |  |
|scheduling/abz7_691.smt2                                     |   30.077s | 269.0MiB| timeout | 0 |  |  |
|scheduling/yn4_1000.smt2                                     |   30.078s | 311.0MiB| timeout | 0 |  |  |
|scheduling/yn4_950.smt2                                      |   30.078s | 307.0MiB| timeout | 0 |  |  |
|scheduling/yn2_862.smt2                                      |   30.085s | 310.0MiB| timeout | 0 |  |  |
|skdmxa2/skdmxa-3x3-15.base.cvc.smt2                          |   30.087s | 513.0MiB| timeout | 0 |  |  |
|scheduling/yn2_890.smt2                                      |   30.089s | 317.0MiB| timeout | 0 |  |  |
|scheduling/abz7_670.smt2                                     |   30.090s | 264.0MiB| timeout | 0 |  |  |
|scheduling/yn1_850.smt2                                      |   30.091s | 300.0MiB| timeout | 0 |  |  |
|scheduling/yn1_827.smt2                                      |   30.091s | 294.0MiB| timeout | 0 |  |  |
|scheduling/yn3_860.smt2                                      |   30.092s | 308.0MiB| timeout | 0 |  |  |
|scheduling/yn4_919.smt2                                      |   30.096s | 308.0MiB| timeout | 0 |  |  |
|skdmxa2/skdmxa-3x3-13.base.cvc.smt2                          |   30.099s | 477.0MiB| timeout | 0 |  |  |
|skdmxa2/skdmxa-3x3-16.base.cvc.smt2                          |   30.101s | 543.0MiB| timeout | 0 |  |  |
|scheduling/yn3_894.smt2                                      |   30.104s | 312.0MiB| timeout | 0 |  |  |
|skdmxa/skdmxa-3x3-15.smt2                                    |   30.105s | 323.0MiB| timeout | 0 |  |  |
|scheduling/yn2_910.smt2                                      |   30.105s | 309.0MiB| timeout | 0 |  |  |
|skdmxa2/skdmxa-3x3-14.base.cvc.smt2                          |   30.106s | 495.0MiB| timeout | 0 |  |  |
|skdmxa2/skdmxa-3x3-17.base.cvc.smt2                          |   30.110s | 606.0MiB| timeout | 0 |  |  |
|skdmxa/skdmxa-3x3-20.smt2                                    |   30.117s | 406.0MiB| timeout | 0 |  |  |
|scheduling/swv12_3050.smt2                                   |   30.118s | 728.0MiB| timeout | 0 |  |  |
|scheduling/swv11_2983.smt2                                   |   30.124s | 627.0MiB| timeout | 0 |  |  |
|scheduling/swv12_2900.smt2                                   |   30.124s | 662.0MiB| timeout | 0 |  |  |
|scheduling/swv12_2990.smt2                                   |   30.129s | 681.0MiB| timeout | 0 |  |  |
|scheduling/swv11_2900.smt2                                   |   30.129s | 637.0MiB| timeout | 0 |  |  |
|scheduling/swv11_2988.smt2                                   |   30.131s | 659.0MiB| timeout | 0 |  |  |
|scheduling/swv14_3000.smt2                                   |   30.133s | 672.0MiB| timeout | 0 |  |  |
|scheduling/swv11_2992.smt2                                   |   30.134s | 611.0MiB| timeout | 0 |  |  |
|scheduling/swv13_3200.smt2                                   |   30.135s | 723.0MiB| timeout | 0 |  |  |
|scheduling/swv13_3104.smt2                                   |   30.135s | 687.0MiB| timeout | 0 |  |  |
|scheduling/swv12_2972.smt2                                   |   30.136s | 698.0MiB| timeout | 0 |  |  |
|scheduling/swv14_2905.smt2                                   |   30.138s | 666.0MiB| timeout | 0 |  |  |
|scheduling/swv13_3000.smt2                                   |   30.139s | 683.0MiB| timeout | 0 |  |  |
|skdmxa2/skdmxa-3x3-19.base.cvc.smt2                          |   30.140s | 671.0MiB| timeout | 0 |  |  |
|skdmxa2/skdmxa-3x3-18.base.cvc.smt2                          |   30.142s | 642.0MiB| timeout | 0 |  |  |
|scheduling/swv14_2885.smt2                                   |   30.144s | 637.0MiB| timeout | 0 |  |  |
|scheduling/swv12_3004.smt2                                   |   30.147s | 687.0MiB| timeout | 0 |  |  |
|scheduling/swv14_2895.smt2                                   |   30.148s | 633.0MiB| timeout | 0 |  |  |
|scheduling/swv11_3050.smt2                                   |   30.168s | 646.0MiB| timeout | 0 |  |  |
|skdmxa2/skdmxa-3x3-20.base.cvc.smt2                          |   30.202s | 735.0MiB| timeout | 0 |  |  |
|scheduling/swv13_3150.smt2                                   |   30.210s | 693.0MiB| timeout | 0 |  |  |
|scheduling/swv14_2800.smt2                                   |   30.283s | 655.0MiB| timeout | 0 |  |  |