# .

* SAT 95
* UNSAT 92
* TIMEOUT 68
* 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-newscoring
Runner: lev-ripper
Z3 repo: ilanashapiro/z3
Z3 commit: 4de2f5a5ab6580efcbd50a8755c69eac608e4a7c
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: new scoring

</pre>


# Statistics
|FILE                                                         |TIME     |MEM        | STATUS   | EXIT | STDOUT | STDERR | 
|------------|----------:|---------:|-------------:| ----------:|--------|--------| 
|SMT-Temporal-Planning-Benchmarks/cooking02.smt2              |    0.082s | 90.86MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-width-1.smt2          |    0.083s | 89.624MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-matrix1x1.pddl.smt2   |    0.084s | 89.624MiB| sat | 0 |  |  |
|sal/fischer3-mutex-2.smt2                                    |    0.092s | 90.14MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking01.smt2              |    0.094s | 90.396MiB| sat | 0 |  |  |
|sal/fischer6-mutex-4.smt2                                    |    0.101s | 93.044MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-5.smt2                                    |    0.103s | 91.46MiB| unsat | 0 |  |  |
|check/bignum_rdl1.smt2                                       |    0.106s | 89.116MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking06.smt2              |    0.107s | 92.804MiB| sat | 0 |  |  |
|sal/fischer3-mutex-3.smt2                                    |    0.107s | 90.66MiB| unsat | 0 |  |  |
|sal/fischer9-mutex-2.smt2                                    |    0.107s | 91.676MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking03.smt2              |    0.114s | 91.16MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-03.smt2       |    0.114s | 91.932MiB| sat | 0 |  |  |
|sal/fischer3-mutex-6.smt2                                    |    0.114s | 91.932MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-06.smt2       |    0.115s | 93.212MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-depth-2.smt2          |    0.116s | 91.94MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-width-2.smt2          |    0.117s | 92.532MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking05.smt2              |    0.120s | 92.44MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-04.smt2       |    0.120s | 91.928MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking04.smt2              |    0.122s | 91.928MiB| sat | 0 |  |  |
|sal/fischer9-mutex-3.smt2                                    |    0.125s | 93.424MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-1.smt2                                    |    0.126s | 89.9MiB| unsat | 0 |  |  |
|sal/fischer9-mutex-1.smt2                                    |    0.128s | 90.396MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-3.smt2                                    |    0.129s | 91.94MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-5.smt2                                    |    0.129s | 93.6MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-05.smt2       |    0.133s | 93.68MiB| sat | 0 |  |  |
|sal/fischer9-mutex-5.smt2                                    |    0.133s | 96.208MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-1.smt2                                    |    0.136s | 89.88MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-2.smt2                                    |    0.136s | 90.912MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking07.smt2              |    0.137s | 93.404MiB| sat | 0 |  |  |
|sal/fischer3-mutex-9.smt2                                    |    0.138s | 94.096MiB| unsat | 0 |  |  |
|check/bignum_rdl2.smt2                                       |    0.142s | 89.368MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking08.smt2              |    0.144s | 93.82MiB| sat | 0 |  |  |
|sal/fischer3-mutex-7.smt2                                    |    0.149s | 92.736MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-8.smt2                                    |    0.150s | 93.376MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-08.smt2       |    0.151s | 94.816MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-07.smt2       |    0.152s | 94.724MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking09.smt2              |    0.154s | 95.008MiB| sat | 0 |  |  |
|sal/fischer6-mutex-6.smt2                                    |    0.155s | 95.212MiB| unsat | 0 |  |  |
|sal/fischer9-mutex-4.smt2                                    |    0.155s | 94.232MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking10.smt2              |    0.157s | 96.156MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking11.smt2              |    0.157s | 96.112MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-10.smt2       |    0.162s | 95.896MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-09.smt2       |    0.162s | 96.04MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking12.smt2              |    0.167s | 96.268MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking13.smt2              |    0.179s | 96.66MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking14.smt2              |    0.186s | 97.184MiB| sat | 0 |  |  |
|sal/fischer3-mutex-10.smt2                                   |    0.189s | 95.304MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking15.smt2              |    0.194s | 98.056MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking16.smt2              |    0.206s | 98.488MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-depth-3.smt2          |    0.209s | 98.208MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking17.smt2              |    0.213s | 98.9MiB| sat | 0 |  |  |
|sal/fischer6-mutex-7.smt2                                    |    0.214s | 96.116MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking18.smt2              |    0.215s | 99.232MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking19.smt2              |    0.221s | 98.0MiB| sat | 0 |  |  |
|scheduling/orb09_800.smt2                                    |    0.223s | 100.0MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-11.smt2                                   |    0.223s | 95.608MiB| unsat | 0 |  |  |
|sal/fischer9-mutex-7.smt2                                    |    0.223s | 99.132MiB| unsat | 0 |  |  |
|scheduling/orb07_250.smt2                                    |    0.230s | 96.504MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking21.smt2              |    0.230s | 98.0MiB| sat | 0 |  |  |
|sal/fischer6-mutex-8.smt2                                    |    0.230s | 97.916MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking22.smt2              |    0.232s | 99.0MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking20.smt2              |    0.232s | 98.0MiB| sat | 0 |  |  |
|sal/fischer3-mutex-4.smt2                                    |    0.253s | 91.172MiB| unsat | 0 |  |  |
|scheduling/orb10_800.smt2                                    |    0.254s | 100.0MiB| unsat | 0 |  |  |
|scheduling/orb05_700.smt2                                    |    0.255s | 100.0MiB| unsat | 0 |  |  |
|scheduling/orb07_330.smt2                                    |    0.257s | 97.56MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-12.smt2                                   |    0.261s | 96.156MiB| unsat | 0 |  |  |
|scheduling/orb02_700.smt2                                    |    0.264s | 98.088MiB| unsat | 0 |  |  |
|scheduling/orb09_1100.smt2                                   |    0.275s | 103.0MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-20.smt2       |    0.279s | 99.0MiB| sat | 0 |  |  |
|scheduling/orb02_1000.smt2                                   |    0.281s | 101.0MiB| sat | 0 |  |  |
|scheduling/orb07_550.smt2                                    |    0.281s | 102.0MiB| sat | 0 |  |  |
|scheduling/orb08_700.smt2                                    |    0.293s | 99.0MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-13.smt2                                   |    0.296s | 97.668MiB| unsat | 0 |  |  |
|sal/fischer9-mutex-6.smt2                                    |    0.303s | 98.28MiB| unsat | 0 |  |  |
|scheduling/abz6_1100.smt2                                    |    0.309s | 102.0MiB| sat | 0 |  |  |
|sal/fischer6-mutex-9.smt2                                    |    0.309s | 99.144MiB| unsat | 0 |  |  |
|scheduling/abz6_800.smt2                                     |    0.314s | 98.0MiB| unsat | 0 |  |  |
|scheduling/orb02_800.smt2                                    |    0.316s | 99.0MiB| unsat | 0 |  |  |
|scheduling/orb04_850.smt2                                    |    0.343s | 99.0MiB| unsat | 0 |  |  |
|scheduling/abz5_1000.smt2                                    |    0.350s | 99.0MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-16.smt2                                   |    0.356s | 99.556MiB| unsat | 0 |  |  |
|sal/fischer9-mutex-8.smt2                                    |    0.366s | 99.0MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-14.smt2                                   |    0.381s | 98.144MiB| unsat | 0 |  |  |
|scheduling/orb10_1100.smt2                                   |    0.394s | 103.0MiB| sat | 0 |  |  |
|scheduling/orb06_1200.smt2                                   |    0.400s | 102.0MiB| sat | 0 |  |  |
|scheduling/abz6_1000.smt2                                    |    0.425s | 102.0MiB| sat | 0 |  |  |
|scheduling/orb08_830.smt2                                    |    0.440s | 100.0MiB| unsat | 0 |  |  |
|scheduling/orb03_850.smt2                                    |    0.443s | 102.0MiB| unsat | 0 |  |  |
|scheduling/orb05_800.smt2                                    |    0.452s | 102.0MiB| unsat | 0 |  |  |
|scheduling/orb04_1200.smt2                                   |    0.452s | 103.0MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-30.smt2       |    0.459s | 106.0MiB| sat | 0 |  |  |
|scheduling/orb09_1000.smt2                                   |    0.472s | 102.0MiB| sat | 0 |  |  |
|scheduling/abz5_1400.smt2                                    |    0.483s | 101.0MiB| sat | 0 |  |  |
|sal/fischer3-mutex-15.smt2                                   |    0.494s | 99.908MiB| unsat | 0 |  |  |
|scheduling/abz6_900.smt2                                     |    0.507s | 101.0MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-width-3.smt2          |    0.510s | 101.0MiB| sat | 0 |  |  |
|sal/fischer3-mutex-17.smt2                                   |    0.534s | 99.0MiB| unsat | 0 |  |  |
|scheduling/orb03_1200.smt2                                   |    0.568s | 105.0MiB| sat | 0 |  |  |
|scheduling/orb06_900.smt2                                    |    0.586s | 102.0MiB| unsat | 0 |  |  |
|scheduling/abz5_1300.smt2                                    |    0.604s | 103.0MiB| sat | 0 |  |  |
|scheduling/orb01_900.smt2                                    |    0.609s | 102.0MiB| unsat | 0 |  |  |
|scheduling/orb05_1000.smt2                                   |    0.640s | 105.0MiB| sat | 0 |  |  |
|scheduling/orb08_1000.smt2                                   |    0.652s | 105.0MiB| sat | 0 |  |  |
|scheduling/orb04_950.smt2                                    |    0.723s | 103.0MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-40.smt2       |    0.744s | 112.0MiB| sat | 0 |  |  |
|sal/fischer6-mutex-10.smt2                                   |    0.748s | 100.0MiB| unsat | 0 |  |  |
|scheduling/orb07_430.smt2                                    |    0.823s | 105.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-6.base.cvc.smt2                           |    0.827s | 179.0MiB| unsat | 0 |  |  |
|scheduling/orb04_1100.smt2                                   |    0.902s | 105.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-5.induction.cvc.smt2                      |    0.920s | 215.0MiB| sat | 0 |  |  |
|skdmxa/skdmxa-3x3-5.smt2                                     |    0.940s | 134.0MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-18.smt2                                   |    0.989s | 101.0MiB| unsat | 0 |  |  |
|scheduling/orb02_900.smt2                                    |    1.001s | 104.0MiB| sat | 0 |  |  |
|scheduling/orb10_900.smt2                                    |    1.005s | 103.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-5.base.cvc.smt2                           |    1.053s | 156.0MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-19.smt2                                   |    1.086s | 101.0MiB| unsat | 0 |  |  |
|sal/fischer9-mutex-9.smt2                                    |    1.169s | 104.0MiB| unsat | 0 |  |  |
|scheduling/abz6_943.smt2                                     |    1.182s | 104.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-6.induction.cvc.smt2                      |    1.188s | 247.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-7.base.cvc.smt2                           |    1.195s | 227.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-8.base.cvc.smt2                           |    1.331s | 245.0MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-depth-4.smt2          |    1.335s | 109.0MiB| sat | 0 |  |  |
|sal/fischer6-mutex-12.smt2                                   |    1.366s | 104.0MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-11.smt2                                   |    1.498s | 103.0MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-20.smt2                                   |    1.519s | 103.0MiB| unsat | 0 |  |  |
|scheduling/orb01_1200.smt2                                   |    1.604s | 108.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-9.base.cvc.smt2                           |    1.634s | 267.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-7.induction.cvc.smt2                      |    1.708s | 335.0MiB| sat | 0 |  |  |
|scheduling/orb10_1000.smt2                                   |    1.831s | 106.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-8.induction.cvc.smt2                      |    1.951s | 345.0MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-60.smt2       |    1.966s | 123.0MiB| sat | 0 |  |  |
|sal/fischer9-mutex-10.smt2                                   |    2.121s | 109.0MiB| unsat | 0 |  |  |
|scheduling/orb06_1100.smt2                                   |    2.164s | 108.0MiB| sat | 0 |  |  |
|scheduling/orb09_900.smt2                                    |    2.196s | 107.0MiB| unsat | 0 |  |  |
|scheduling/orb02_888.smt2                                    |    2.210s | 107.0MiB| sat | 0 |  |  |
|scheduling/abz5_1234.smt2                                    |    2.344s | 106.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-10.base.cvc.smt2                          |    2.378s | 290.0MiB| unsat | 0 |  |  |
|skdmxa/skdmxa-3x3-10.smt2                                    |    2.398s | 192.0MiB| unsat | 0 |  |  |
|scheduling/yn1_750.smt2                                      |    2.529s | 242.0MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-13.smt2                                   |    2.637s | 109.0MiB| unsat | 0 |  |  |
|scheduling/orb03_1100.smt2                                   |    2.780s | 109.0MiB| sat | 0 |  |  |
|scheduling/abz7_500.smt2                                     |    2.793s | 191.0MiB| unsat | 0 |  |  |
|scheduling/orb05_900.smt2                                    |    2.934s | 107.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-10.induction.cvc.smt2                     |    3.048s | 454.0MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-70.smt2       |    3.303s | 141.0MiB| sat | 0 |  |  |
|scheduling/abz5_1200.smt2                                    |    3.584s | 106.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-12.induction.cvc.smt2                     |    3.708s | 499.0MiB| sat | 0 |  |  |
|sal/fischer9-mutex-11.smt2                                   |    3.762s | 114.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-9.induction.cvc.smt2                      |    3.879s | 406.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-11.induction.cvc.smt2                     |    4.050s | 442.0MiB| sat | 0 |  |  |
|scheduling/orb04_1005.smt2                                   |    4.124s | 109.0MiB| sat | 0 |  |  |
|sal/fischer6-mutex-15.smt2                                   |    4.684s | 114.0MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-14.smt2                                   |    5.054s | 114.0MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-80.smt2       |    5.561s | 146.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-11.base.cvc.smt2                          |    5.599s | 316.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-14.induction.cvc.smt2                     |    5.641s | 679.0MiB| sat | 0 |  |  |
|scheduling/yn3_750.smt2                                      |    5.664s | 269.0MiB| unsat | 0 |  |  |
|scheduling/orb07_397.smt2                                    |    5.791s | 109.0MiB| sat | 0 |  |  |
|sal/fischer9-mutex-12.smt2                                   |    6.462s | 119.0MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-90.smt2       |    6.631s | 151.0MiB| sat | 0 |  |  |
|scheduling/yn2_750.smt2                                      |    6.841s | 256.0MiB| unsat | 0 |  |  |
|scheduling/orb10_944.smt2                                    |    7.080s | 110.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-13.induction.cvc.smt2                     |    7.914s | 642.0MiB| sat | 0 |  |  |
|sal/fischer6-mutex-17.smt2                                   |    8.243s | 123.0MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-16.smt2                                   |    8.298s | 121.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-16.induction.cvc.smt2                     |    9.436s | 748.0MiB| sat | 0 |  |  |
|sal/fischer9-mutex-13.smt2                                   |   10.269s | 130.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-19.induction.cvc.smt2                     |   10.503s | 822.0MiB| sat | 0 |  |  |
|scheduling/orb05_887.smt2                                    |   10.948s | 112.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-18.induction.cvc.smt2                     |   11.715s | 810.0MiB| sat | 0 |  |  |
|scheduling/orb09_934.smt2                                    |   12.623s | 113.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-17.induction.cvc.smt2                     |   12.731s | 825.0MiB| sat | 0 |  |  |
|scheduling/orb08_888.smt2                                    |   13.817s | 112.0MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-depth-5.smt2          |   14.322s | 141.0MiB| sat | 0 |  |  |
|sal/fischer6-mutex-18.smt2                                   |   14.593s | 131.0MiB| unsat | 0 |  |  |
|scheduling/orb08_930.smt2                                    |   14.791s | 114.0MiB| sat | 0 |  |  |
|scheduling/orb01_1100.smt2                                   |   15.299s | 115.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-15.induction.cvc.smt2                     |   17.191s | 764.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-12.base.cvc.smt2                          |   18.038s | 363.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-20.induction.cvc.smt2                     |   19.165s | 884.0MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-width-4.smt2          |   19.679s | 156.0MiB| sat | 0 |  |  |
|sal/fischer9-mutex-14.smt2                                   |   21.663s | 137.0MiB| unsat | 0 |  |  |
|scheduling/orb03_950.smt2                                    |   21.733s | 115.0MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-19.smt2                                   |   23.515s | 137.0MiB| unsat | 0 |  |  |
|sal/fischer9-mutex-15.smt2                                   |   26.488s | 147.0MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-depth-6.smt2          |   30.027s | 190.0MiB| timeout | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-width-5.smt2          |   30.032s | 260.0MiB| timeout | 0 |  |  |
|scheduling/orb06_1000.smt2                                   |   30.039s | 119.0MiB| timeout | 0 |  |  |
|sal/fischer6-mutex-20.smt2                                   |   30.039s | 146.0MiB| timeout | 0 |  |  |
|sal/fischer9-mutex-18.smt2                                   |   30.042s | 154.0MiB| timeout | 0 |  |  |
|scheduling/orb01_1000.smt2                                   |   30.047s | 117.0MiB| timeout | 0 |  |  |
|scheduling/orb03_1005.smt2                                   |   30.049s | 119.0MiB| timeout | 0 |  |  |
|sal/fischer9-mutex-20.smt2                                   |   30.049s | 164.0MiB| timeout | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-depth-7.smt2          |   30.051s | 279.0MiB| timeout | 0 |  |  |
|sal/fischer9-mutex-19.smt2                                   |   30.051s | 159.0MiB| timeout | 0 |  |  |
|sal/fischer9-mutex-16.smt2                                   |   30.052s | 156.0MiB| timeout | 0 |  |  |
|scheduling/yn4_950.smt2                                      |   30.054s | 312.0MiB| timeout | 0 |  |  |
|scheduling/orb01_1059.smt2                                   |   30.056s | 119.0MiB| timeout | 0 |  |  |
|sal/fischer9-mutex-17.smt2                                   |   30.056s | 150.0MiB| timeout | 0 |  |  |
|scheduling/orb06_1010.smt2                                   |   30.058s | 118.0MiB| timeout | 0 |  |  |
|scheduling/yn3_828.smt2                                      |   30.065s | 307.0MiB| timeout | 0 |  |  |
|scheduling/abz7_691.smt2                                     |   30.066s | 268.0MiB| timeout | 0 |  |  |
|scheduling/yn1_827.smt2                                      |   30.069s | 299.0MiB| timeout | 0 |  |  |
|scheduling/yn3_950.smt2                                      |   30.072s | 328.0MiB| timeout | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-width-6.smt2          |   30.072s | 438.0MiB| timeout | 0 |  |  |
|scheduling/yn1_850.smt2                                      |   30.073s | 299.0MiB| timeout | 0 |  |  |
|scheduling/abz7_670.smt2                                     |   30.073s | 263.0MiB| timeout | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-matrix2x2.pddl.smt2   |   30.073s | 413.0MiB| timeout | 0 |  |  |
|scheduling/yn2_950.smt2                                      |   30.076s | 339.0MiB| timeout | 0 |  |  |
|scheduling/abz7_600.smt2                                     |   30.076s | 254.0MiB| timeout | 0 |  |  |
|scheduling/abz7_700.smt2                                     |   30.077s | 266.0MiB| timeout | 0 |  |  |
|scheduling/yn4_1000.smt2                                     |   30.077s | 316.0MiB| timeout | 0 |  |  |
|scheduling/yn1_950.smt2                                      |   30.077s | 316.0MiB| timeout | 0 |  |  |
|scheduling/yn3_860.smt2                                      |   30.079s | 311.0MiB| timeout | 0 |  |  |
|scheduling/yn4_969.smt2                                      |   30.080s | 319.0MiB| timeout | 0 |  |  |
|scheduling/yn4_919.smt2                                      |   30.081s | 303.0MiB| timeout | 0 |  |  |
|scheduling/abz7_667.smt2                                     |   30.082s | 266.0MiB| timeout | 0 |  |  |
|scheduling/yn4_850.smt2                                      |   30.082s | 292.0MiB| timeout | 0 |  |  |
|scheduling/yn2_890.smt2                                      |   30.083s | 312.0MiB| timeout | 0 |  |  |
|scheduling/yn2_862.smt2                                      |   30.083s | 315.0MiB| timeout | 0 |  |  |
|skdmxa2/skdmxa-3x3-15.base.cvc.smt2                          |   30.085s | 509.0MiB| timeout | 0 |  |  |
|scheduling/abz7_800.smt2                                     |   30.090s | 276.0MiB| timeout | 0 |  |  |
|skdmxa2/skdmxa-3x3-14.base.cvc.smt2                          |   30.090s | 493.0MiB| timeout | 0 |  |  |
|scheduling/yn1_887.smt2                                      |   30.094s | 313.0MiB| timeout | 0 |  |  |
|skdmxa/skdmxa-3x3-15.smt2                                    |   30.099s | 321.0MiB| timeout | 0 |  |  |
|skdmxa2/skdmxa-3x3-17.base.cvc.smt2                          |   30.099s | 610.0MiB| timeout | 0 |  |  |
|skdmxa2/skdmxa-3x3-13.base.cvc.smt2                          |   30.099s | 470.0MiB| timeout | 0 |  |  |
|scheduling/swv12_2900.smt2                                   |   30.104s | 685.0MiB| timeout | 0 |  |  |
|skdmxa2/skdmxa-3x3-16.base.cvc.smt2                          |   30.104s | 546.0MiB| timeout | 0 |  |  |
|scheduling/yn3_894.smt2                                      |   30.105s | 310.0MiB| timeout | 0 |  |  |
|skdmxa2/skdmxa-3x3-18.base.cvc.smt2                          |   30.105s | 643.0MiB| timeout | 0 |  |  |
|skdmxa2/skdmxa-3x3-19.base.cvc.smt2                          |   30.115s | 666.0MiB| timeout | 0 |  |  |
|skdmxa/skdmxa-3x3-20.smt2                                    |   30.120s | 405.0MiB| timeout | 0 |  |  |
|scheduling/swv12_2990.smt2                                   |   30.120s | 677.0MiB| timeout | 0 |  |  |
|scheduling/swv11_2992.smt2                                   |   30.123s | 646.0MiB| timeout | 0 |  |  |
|scheduling/swv13_3000.smt2                                   |   30.128s | 659.0MiB| timeout | 0 |  |  |
|scheduling/swv14_3000.smt2                                   |   30.129s | 670.0MiB| timeout | 0 |  |  |
|scheduling/swv13_3104.smt2                                   |   30.130s | 698.0MiB| timeout | 0 |  |  |
|scheduling/swv12_3050.smt2                                   |   30.133s | 730.0MiB| timeout | 0 |  |  |
|scheduling/swv11_2988.smt2                                   |   30.138s | 618.0MiB| timeout | 0 |  |  |
|scheduling/swv11_2900.smt2                                   |   30.140s | 614.0MiB| timeout | 0 |  |  |
|scheduling/swv14_2800.smt2                                   |   30.140s | 653.0MiB| timeout | 0 |  |  |
|scheduling/swv14_2895.smt2                                   |   30.145s | 657.0MiB| timeout | 0 |  |  |
|scheduling/swv11_3050.smt2                                   |   30.146s | 661.0MiB| timeout | 0 |  |  |
|scheduling/yn2_910.smt2                                      |   30.148s | 312.0MiB| timeout | 0 |  |  |
|scheduling/swv12_2972.smt2                                   |   30.152s | 678.0MiB| timeout | 0 |  |  |
|scheduling/swv13_3200.smt2                                   |   30.167s | 710.0MiB| timeout | 0 |  |  |
|skdmxa2/skdmxa-3x3-20.base.cvc.smt2                          |   30.168s | 737.0MiB| timeout | 0 |  |  |
|scheduling/swv13_3150.smt2                                   |   30.171s | 706.0MiB| timeout | 0 |  |  |
|scheduling/swv12_3004.smt2                                   |   30.178s | 697.0MiB| timeout | 0 |  |  |
|scheduling/swv14_2905.smt2                                   |   30.188s | 663.0MiB| timeout | 0 |  |  |
|scheduling/swv14_2885.smt2                                   |   30.211s | 628.0MiB| timeout | 0 |  |  |
|scheduling/swv11_2983.smt2                                   |   30.235s | 648.0MiB| timeout | 0 |  |  |
