# .

* SAT 95
* UNSAT 94
* TIMEOUT 66
* 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: d631679e101d8a410ed7a9e2f9b793a0b158a243
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: scaling m_max_prefix_conflicts

</pre>


# Statistics
|FILE                                                         |TIME     |MEM        | STATUS   | EXIT | STDOUT | STDERR | 
|------------|----------:|---------:|-------------:| ----------:|--------|--------| 
|SMT-Temporal-Planning-Benchmarks/tempo-matrix1x1.pddl.smt2   |    0.083s | 89.628MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-width-1.smt2          |    0.088s | 89.628MiB| sat | 0 |  |  |
|sal/fischer3-mutex-2.smt2                                    |    0.093s | 90.136MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking01.smt2              |    0.099s | 90.392MiB| sat | 0 |  |  |
|sal/fischer6-mutex-4.smt2                                    |    0.101s | 92.896MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking02.smt2              |    0.102s | 90.972MiB| sat | 0 |  |  |
|sal/fischer3-mutex-3.smt2                                    |    0.107s | 90.56MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking03.smt2              |    0.108s | 91.16MiB| sat | 0 |  |  |
|sal/fischer3-mutex-6.smt2                                    |    0.108s | 92.184MiB| unsat | 0 |  |  |
|sal/fischer9-mutex-2.smt2                                    |    0.113s | 91.924MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-03.smt2       |    0.115s | 92.084MiB| sat | 0 |  |  |
|sal/fischer3-mutex-5.smt2                                    |    0.116s | 91.524MiB| unsat | 0 |  |  |
|check/bignum_rdl2.smt2                                       |    0.119s | 89.12MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking05.smt2              |    0.119s | 92.696MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-depth-2.smt2          |    0.121s | 91.932MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking04.smt2              |    0.121s | 91.928MiB| sat | 0 |  |  |
|sal/fischer6-mutex-1.smt2                                    |    0.122s | 89.88MiB| unsat | 0 |  |  |
|sal/fischer9-mutex-3.smt2                                    |    0.122s | 93.164MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-5.smt2                                    |    0.125s | 93.464MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-width-2.smt2          |    0.127s | 92.272MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking06.smt2              |    0.128s | 92.952MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-05.smt2       |    0.130s | 93.176MiB| sat | 0 |  |  |
|sal/fischer9-mutex-1.smt2                                    |    0.131s | 90.14MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-3.smt2                                    |    0.131s | 91.928MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-04.smt2       |    0.135s | 92.184MiB| sat | 0 |  |  |
|sal/fischer9-mutex-5.smt2                                    |    0.135s | 96.336MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking08.smt2              |    0.138s | 94.072MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking07.smt2              |    0.140s | 93.932MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-07.smt2       |    0.141s | 94.88MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-10.smt2       |    0.142s | 95.944MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-06.smt2       |    0.142s | 93.216MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking11.smt2              |    0.145s | 95.76MiB| sat | 0 |  |  |
|sal/fischer3-mutex-1.smt2                                    |    0.146s | 89.368MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-7.smt2                                    |    0.147s | 92.712MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-08.smt2       |    0.150s | 94.98MiB| sat | 0 |  |  |
|sal/fischer6-mutex-2.smt2                                    |    0.150s | 90.904MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking10.smt2              |    0.156s | 95.7MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking09.smt2              |    0.159s | 94.912MiB| sat | 0 |  |  |
|sal/fischer6-mutex-6.smt2                                    |    0.161s | 94.496MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-9.smt2                                    |    0.161s | 94.424MiB| unsat | 0 |  |  |
|sal/fischer9-mutex-4.smt2                                    |    0.164s | 94.232MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-09.smt2       |    0.166s | 96.24MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking12.smt2              |    0.169s | 96.084MiB| sat | 0 |  |  |
|sal/fischer3-mutex-8.smt2                                    |    0.169s | 92.952MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking13.smt2              |    0.179s | 96.408MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking14.smt2              |    0.182s | 97.696MiB| sat | 0 |  |  |
|sal/fischer3-mutex-10.smt2                                   |    0.182s | 95.004MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking15.smt2              |    0.187s | 97.448MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking19.smt2              |    0.199s | 99.736MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking16.smt2              |    0.200s | 98.776MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-depth-3.smt2          |    0.205s | 97.956MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking18.smt2              |    0.208s | 99.364MiB| sat | 0 |  |  |
|sal/fischer3-mutex-11.smt2                                   |    0.209s | 95.388MiB| unsat | 0 |  |  |
|scheduling/orb09_800.smt2                                    |    0.210s | 100.0MiB| unsat | 0 |  |  |
|check/bignum_rdl1.smt2                                       |    0.211s | 89.368MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking17.smt2              |    0.211s | 98.9MiB| sat | 0 |  |  |
|sal/fischer6-mutex-7.smt2                                    |    0.220s | 95.516MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-4.smt2                                    |    0.220s | 91.42MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking21.smt2              |    0.228s | 98.0MiB| sat | 0 |  |  |
|scheduling/orb07_250.smt2                                    |    0.237s | 96.584MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking22.smt2              |    0.239s | 99.0MiB| sat | 0 |  |  |
|sal/fischer9-mutex-7.smt2                                    |    0.239s | 99.46MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking20.smt2              |    0.240s | 98.0MiB| sat | 0 |  |  |
|sal/fischer3-mutex-12.smt2                                   |    0.244s | 96.116MiB| unsat | 0 |  |  |
|scheduling/abz6_800.smt2                                     |    0.255s | 98.0MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-8.smt2                                    |    0.255s | 97.484MiB| unsat | 0 |  |  |
|scheduling/orb10_800.smt2                                    |    0.262s | 100.0MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-20.smt2       |    0.271s | 99.0MiB| sat | 0 |  |  |
|scheduling/abz5_1000.smt2                                    |    0.281s | 98.0MiB| unsat | 0 |  |  |
|scheduling/orb02_700.smt2                                    |    0.293s | 98.552MiB| unsat | 0 |  |  |
|scheduling/orb08_700.smt2                                    |    0.293s | 99.0MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-13.smt2                                   |    0.307s | 97.672MiB| unsat | 0 |  |  |
|scheduling/orb08_830.smt2                                    |    0.308s | 100.0MiB| unsat | 0 |  |  |
|scheduling/orb04_850.smt2                                    |    0.311s | 99.0MiB| unsat | 0 |  |  |
|scheduling/orb07_330.smt2                                    |    0.325s | 98.328MiB| unsat | 0 |  |  |
|scheduling/orb05_700.smt2                                    |    0.334s | 100.0MiB| unsat | 0 |  |  |
|sal/fischer9-mutex-6.smt2                                    |    0.337s | 98.268MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-9.smt2                                    |    0.340s | 99.744MiB| unsat | 0 |  |  |
|scheduling/orb07_550.smt2                                    |    0.352s | 102.0MiB| sat | 0 |  |  |
|scheduling/orb06_1200.smt2                                   |    0.358s | 103.0MiB| sat | 0 |  |  |
|sal/fischer3-mutex-16.smt2                                   |    0.360s | 99.248MiB| unsat | 0 |  |  |
|scheduling/abz5_1400.smt2                                    |    0.364s | 101.0MiB| sat | 0 |  |  |
|scheduling/orb09_1100.smt2                                   |    0.368s | 103.0MiB| sat | 0 |  |  |
|sal/fischer9-mutex-8.smt2                                    |    0.368s | 99.0MiB| unsat | 0 |  |  |
|scheduling/orb02_800.smt2                                    |    0.382s | 99.0MiB| unsat | 0 |  |  |
|scheduling/orb02_1000.smt2                                   |    0.396s | 101.0MiB| sat | 0 |  |  |
|scheduling/orb03_850.smt2                                    |    0.406s | 101.0MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-14.smt2                                   |    0.406s | 98.144MiB| unsat | 0 |  |  |
|scheduling/orb10_1100.smt2                                   |    0.422s | 103.0MiB| sat | 0 |  |  |
|scheduling/orb09_1000.smt2                                   |    0.434s | 102.0MiB| sat | 0 |  |  |
|scheduling/abz6_1100.smt2                                    |    0.441s | 102.0MiB| sat | 0 |  |  |
|scheduling/abz6_900.smt2                                     |    0.446s | 101.0MiB| unsat | 0 |  |  |
|scheduling/orb04_1200.smt2                                   |    0.453s | 103.0MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-30.smt2       |    0.471s | 106.0MiB| sat | 0 |  |  |
|sal/fischer3-mutex-15.smt2                                   |    0.473s | 97.0MiB| unsat | 0 |  |  |
|scheduling/abz6_1000.smt2                                    |    0.481s | 103.0MiB| sat | 0 |  |  |
|scheduling/orb05_800.smt2                                    |    0.497s | 101.0MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-17.smt2                                   |    0.551s | 99.0MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-width-3.smt2          |    0.571s | 101.0MiB| sat | 0 |  |  |
|scheduling/orb03_1200.smt2                                   |    0.586s | 105.0MiB| sat | 0 |  |  |
|scheduling/orb05_1000.smt2                                   |    0.597s | 105.0MiB| sat | 0 |  |  |
|scheduling/orb06_900.smt2                                    |    0.605s | 102.0MiB| unsat | 0 |  |  |
|scheduling/abz5_1300.smt2                                    |    0.654s | 103.0MiB| sat | 0 |  |  |
|skdmxa/skdmxa-3x3-5.smt2                                     |    0.689s | 134.0MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-10.smt2                                   |    0.701s | 99.0MiB| unsat | 0 |  |  |
|scheduling/orb04_950.smt2                                    |    0.707s | 103.0MiB| unsat | 0 |  |  |
|scheduling/orb01_900.smt2                                    |    0.721s | 102.0MiB| unsat | 0 |  |  |
|scheduling/orb04_1100.smt2                                   |    0.747s | 105.0MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-40.smt2       |    0.753s | 112.0MiB| sat | 0 |  |  |
|scheduling/orb08_1000.smt2                                   |    0.798s | 105.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-6.base.cvc.smt2                           |    0.834s | 179.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-5.induction.cvc.smt2                      |    0.898s | 214.0MiB| sat | 0 |  |  |
|scheduling/orb07_430.smt2                                    |    0.921s | 104.0MiB| sat | 0 |  |  |
|scheduling/orb03_1100.smt2                                   |    0.944s | 106.0MiB| sat | 0 |  |  |
|sal/fischer3-mutex-18.smt2                                   |    0.972s | 101.0MiB| unsat | 0 |  |  |
|scheduling/abz6_943.smt2                                     |    1.048s | 103.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-5.base.cvc.smt2                           |    1.070s | 156.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-7.base.cvc.smt2                           |    1.121s | 227.0MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-20.smt2                                   |    1.142s | 102.0MiB| unsat | 0 |  |  |
|sal/fischer9-mutex-9.smt2                                    |    1.143s | 104.0MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-19.smt2                                   |    1.152s | 102.0MiB| unsat | 0 |  |  |
|scheduling/orb10_900.smt2                                    |    1.159s | 104.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-6.induction.cvc.smt2                      |    1.172s | 244.0MiB| sat | 0 |  |  |
|scheduling/orb02_900.smt2                                    |    1.270s | 105.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-8.base.cvc.smt2                           |    1.365s | 246.0MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-depth-4.smt2          |    1.405s | 110.0MiB| sat | 0 |  |  |
|sal/fischer6-mutex-12.smt2                                   |    1.419s | 104.0MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-11.smt2                                   |    1.457s | 104.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-9.base.cvc.smt2                           |    1.633s | 267.0MiB| unsat | 0 |  |  |
|scheduling/orb05_900.smt2                                    |    1.637s | 105.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-7.induction.cvc.smt2                      |    1.647s | 337.0MiB| sat | 0 |  |  |
|scheduling/orb01_1200.smt2                                   |    1.953s | 109.0MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-60.smt2       |    1.978s | 123.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-8.induction.cvc.smt2                      |    1.983s | 350.0MiB| sat | 0 |  |  |
|scheduling/yn1_750.smt2                                      |    1.995s | 246.0MiB| unsat | 0 |  |  |
|scheduling/orb09_934.smt2                                    |    2.043s | 107.0MiB| sat | 0 |  |  |
|scheduling/orb02_888.smt2                                    |    2.079s | 107.0MiB| sat | 0 |  |  |
|scheduling/orb09_900.smt2                                    |    2.160s | 106.0MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-13.smt2                                   |    2.327s | 107.0MiB| unsat | 0 |  |  |
|scheduling/orb06_1100.smt2                                   |    2.339s | 108.0MiB| sat | 0 |  |  |
|skdmxa/skdmxa-3x3-10.smt2                                    |    2.351s | 192.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-10.base.cvc.smt2                          |    2.367s | 289.0MiB| unsat | 0 |  |  |
|sal/fischer9-mutex-10.smt2                                   |    2.555s | 110.0MiB| unsat | 0 |  |  |
|scheduling/abz7_500.smt2                                     |    2.609s | 189.0MiB| unsat | 0 |  |  |
|scheduling/orb07_397.smt2                                    |    2.693s | 107.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-10.induction.cvc.smt2                     |    3.242s | 459.0MiB| sat | 0 |  |  |
|scheduling/abz5_1200.smt2                                    |    3.269s | 106.0MiB| unsat | 0 |  |  |
|sal/fischer9-mutex-11.smt2                                   |    3.355s | 113.0MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-70.smt2       |    3.527s | 140.0MiB| sat | 0 |  |  |
|scheduling/orb10_1000.smt2                                   |    3.538s | 109.0MiB| sat | 0 |  |  |
|scheduling/abz5_1234.smt2                                    |    3.576s | 107.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-9.induction.cvc.smt2                      |    3.701s | 402.0MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-80.smt2       |    3.711s | 145.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-12.induction.cvc.smt2                     |    4.045s | 508.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-11.induction.cvc.smt2                     |    4.084s | 442.0MiB| sat | 0 |  |  |
|sal/fischer6-mutex-14.smt2                                   |    4.134s | 113.0MiB| unsat | 0 |  |  |
|scheduling/orb10_944.smt2                                    |    4.428s | 108.0MiB| sat | 0 |  |  |
|scheduling/orb08_930.smt2                                    |    4.695s | 110.0MiB| sat | 0 |  |  |
|sal/fischer6-mutex-15.smt2                                   |    4.837s | 117.0MiB| unsat | 0 |  |  |
|scheduling/yn2_750.smt2                                      |    5.001s | 255.0MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-90.smt2       |    5.350s | 151.0MiB| sat | 0 |  |  |
|sal/fischer9-mutex-12.smt2                                   |    5.445s | 119.0MiB| unsat | 0 |  |  |
|scheduling/yn3_750.smt2                                      |    5.477s | 267.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-11.base.cvc.smt2                          |    6.456s | 316.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-14.induction.cvc.smt2                     |    6.580s | 698.0MiB| sat | 0 |  |  |
|scheduling/orb05_887.smt2                                    |    6.987s | 110.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-16.induction.cvc.smt2                     |    8.611s | 721.0MiB| sat | 0 |  |  |
|sal/fischer6-mutex-16.smt2                                   |    8.701s | 122.0MiB| unsat | 0 |  |  |
|sal/fischer9-mutex-13.smt2                                   |    8.706s | 127.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-13.induction.cvc.smt2                     |    9.662s | 652.0MiB| sat | 0 |  |  |
|sal/fischer6-mutex-17.smt2                                   |   10.577s | 124.0MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-18.smt2                                   |   10.719s | 128.0MiB| unsat | 0 |  |  |
|scheduling/orb04_1005.smt2                                   |   10.748s | 113.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-17.induction.cvc.smt2                     |   10.765s | 798.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-15.induction.cvc.smt2                     |   11.718s | 742.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-19.induction.cvc.smt2                     |   12.450s | 843.0MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-depth-5.smt2          |   13.034s | 141.0MiB| sat | 0 |  |  |
|scheduling/orb08_888.smt2                                    |   14.400s | 113.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-18.induction.cvc.smt2                     |   14.829s | 904.0MiB| sat | 0 |  |  |
|scheduling/orb01_1100.smt2                                   |   17.519s | 117.0MiB| sat | 0 |  |  |
|scheduling/orb03_950.smt2                                    |   18.088s | 114.0MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-width-4.smt2          |   20.141s | 156.0MiB| sat | 0 |  |  |
|sal/fischer6-mutex-19.smt2                                   |   20.282s | 134.0MiB| unsat | 0 |  |  |
|sal/fischer9-mutex-14.smt2                                   |   20.482s | 136.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-20.induction.cvc.smt2                     |   24.153s | 901.0MiB| sat | 0 |  |  |
|sal/fischer9-mutex-15.smt2                                   |   25.051s | 144.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-12.base.cvc.smt2                          |   26.437s | 366.0MiB| unsat | 0 |  |  |
|sal/fischer9-mutex-16.smt2                                   |   27.512s | 148.0MiB| unsat | 0 |  |  |
|scheduling/orb01_1000.smt2                                   |   28.622s | 117.0MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-20.smt2                                   |   30.021s | 143.0MiB| timeout | 0 |  |  |
|sal/fischer9-mutex-20.smt2                                   |   30.042s | 159.0MiB| timeout | 0 |  |  |
|sal/fischer9-mutex-17.smt2                                   |   30.045s | 152.0MiB| timeout | 0 |  |  |
|sal/fischer9-mutex-18.smt2                                   |   30.047s | 156.0MiB| timeout | 0 |  |  |
|scheduling/orb06_1000.smt2                                   |   30.048s | 118.0MiB| timeout | 0 |  |  |
|sal/fischer9-mutex-19.smt2                                   |   30.050s | 166.0MiB| timeout | 0 |  |  |
|scheduling/orb03_1005.smt2                                   |   30.051s | 118.0MiB| timeout | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-depth-7.smt2          |   30.051s | 278.0MiB| timeout | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-depth-6.smt2          |   30.051s | 189.0MiB| timeout | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-width-5.smt2          |   30.053s | 259.0MiB| timeout | 0 |  |  |
|scheduling/yn2_950.smt2                                      |   30.062s | 339.0MiB| timeout | 0 |  |  |
|scheduling/yn1_950.smt2                                      |   30.063s | 314.0MiB| timeout | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-matrix2x2.pddl.smt2   |   30.063s | 413.0MiB| timeout | 0 |  |  |
|scheduling/yn3_828.smt2                                      |   30.064s | 307.0MiB| timeout | 0 |  |  |
|scheduling/abz7_700.smt2                                     |   30.066s | 269.0MiB| timeout | 0 |  |  |
|scheduling/orb01_1059.smt2                                   |   30.069s | 118.0MiB| timeout | 0 |  |  |
|scheduling/yn3_950.smt2                                      |   30.070s | 331.0MiB| timeout | 0 |  |  |
|scheduling/orb06_1010.smt2                                   |   30.070s | 119.0MiB| timeout | 0 |  |  |
|scheduling/abz7_670.smt2                                     |   30.074s | 268.0MiB| timeout | 0 |  |  |
|scheduling/yn4_969.smt2                                      |   30.075s | 319.0MiB| timeout | 0 |  |  |
|scheduling/yn1_850.smt2                                      |   30.075s | 298.0MiB| timeout | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-width-6.smt2          |   30.075s | 439.0MiB| timeout | 0 |  |  |
|scheduling/yn4_1000.smt2                                     |   30.076s | 319.0MiB| timeout | 0 |  |  |
|scheduling/abz7_600.smt2                                     |   30.076s | 251.0MiB| timeout | 0 |  |  |
|scheduling/abz7_800.smt2                                     |   30.076s | 268.0MiB| timeout | 0 |  |  |
|scheduling/abz7_691.smt2                                     |   30.076s | 272.0MiB| timeout | 0 |  |  |
|scheduling/yn4_950.smt2                                      |   30.078s | 303.0MiB| timeout | 0 |  |  |
|scheduling/yn3_860.smt2                                      |   30.079s | 310.0MiB| timeout | 0 |  |  |
|scheduling/abz7_667.smt2                                     |   30.080s | 267.0MiB| timeout | 0 |  |  |
|scheduling/yn4_850.smt2                                      |   30.082s | 294.0MiB| timeout | 0 |  |  |
|scheduling/yn1_827.smt2                                      |   30.084s | 293.0MiB| timeout | 0 |  |  |
|scheduling/yn4_919.smt2                                      |   30.086s | 313.0MiB| timeout | 0 |  |  |
|skdmxa2/skdmxa-3x3-15.base.cvc.smt2                          |   30.086s | 516.0MiB| timeout | 0 |  |  |
|scheduling/yn2_862.smt2                                      |   30.087s | 313.0MiB| timeout | 0 |  |  |
|skdmxa/skdmxa-3x3-20.smt2                                    |   30.091s | 405.0MiB| timeout | 0 |  |  |
|skdmxa/skdmxa-3x3-15.smt2                                    |   30.095s | 325.0MiB| timeout | 0 |  |  |
|skdmxa2/skdmxa-3x3-18.base.cvc.smt2                          |   30.097s | 639.0MiB| timeout | 0 |  |  |
|scheduling/yn1_887.smt2                                      |   30.099s | 307.0MiB| timeout | 0 |  |  |
|scheduling/yn3_894.smt2                                      |   30.101s | 305.0MiB| timeout | 0 |  |  |
|skdmxa2/skdmxa-3x3-16.base.cvc.smt2                          |   30.101s | 548.0MiB| timeout | 0 |  |  |
|skdmxa2/skdmxa-3x3-14.base.cvc.smt2                          |   30.102s | 494.0MiB| timeout | 0 |  |  |
|scheduling/yn2_910.smt2                                      |   30.103s | 316.0MiB| timeout | 0 |  |  |
|skdmxa2/skdmxa-3x3-17.base.cvc.smt2                          |   30.103s | 605.0MiB| timeout | 0 |  |  |
|skdmxa2/skdmxa-3x3-19.base.cvc.smt2                          |   30.103s | 673.0MiB| timeout | 0 |  |  |
|skdmxa2/skdmxa-3x3-13.base.cvc.smt2                          |   30.107s | 473.0MiB| timeout | 0 |  |  |
|scheduling/yn2_890.smt2                                      |   30.113s | 309.0MiB| timeout | 0 |  |  |
|scheduling/swv12_2990.smt2                                   |   30.116s | 664.0MiB| timeout | 0 |  |  |
|scheduling/swv14_2905.smt2                                   |   30.119s | 653.0MiB| timeout | 0 |  |  |
|scheduling/swv12_3050.smt2                                   |   30.125s | 731.0MiB| timeout | 0 |  |  |
|scheduling/swv14_2895.smt2                                   |   30.125s | 648.0MiB| timeout | 0 |  |  |
|skdmxa2/skdmxa-3x3-20.base.cvc.smt2                          |   30.125s | 739.0MiB| timeout | 0 |  |  |
|scheduling/swv14_2885.smt2                                   |   30.126s | 659.0MiB| timeout | 0 |  |  |
|scheduling/swv13_3104.smt2                                   |   30.126s | 696.0MiB| timeout | 0 |  |  |
|scheduling/swv12_2972.smt2                                   |   30.128s | 697.0MiB| timeout | 0 |  |  |
|scheduling/swv12_3004.smt2                                   |   30.130s | 681.0MiB| timeout | 0 |  |  |
|scheduling/swv11_2988.smt2                                   |   30.130s | 621.0MiB| timeout | 0 |  |  |
|scheduling/swv13_3200.smt2                                   |   30.131s | 696.0MiB| timeout | 0 |  |  |
|scheduling/swv12_2900.smt2                                   |   30.132s | 661.0MiB| timeout | 0 |  |  |
|scheduling/swv11_2983.smt2                                   |   30.151s | 646.0MiB| timeout | 0 |  |  |
|scheduling/swv13_3000.smt2                                   |   30.151s | 659.0MiB| timeout | 0 |  |  |
|scheduling/swv11_3050.smt2                                   |   30.159s | 679.0MiB| timeout | 0 |  |  |
|scheduling/swv11_2992.smt2                                   |   30.192s | 627.0MiB| timeout | 0 |  |  |
|scheduling/swv11_2900.smt2                                   |   30.193s | 613.0MiB| timeout | 0 |  |  |
|scheduling/swv13_3150.smt2                                   |   30.193s | 689.0MiB| timeout | 0 |  |  |
|scheduling/swv14_3000.smt2                                   |   30.195s | 684.0MiB| timeout | 0 |  |  |
|scheduling/swv14_2800.smt2                                   |   30.223s | 648.0MiB| timeout | 0 |  |  |
