# .

* SAT 94
* UNSAT 91
* TIMEOUT 70
* UNKNOWN 0

* UNSET 0

* ERROR 0

# Meta data

<pre>
Ramon benchmark for Z3
-
Job description: 
Job tag: smt_qfrdl-threads-4-no_inprocessing-reducedparams
Runner: lev-ripper
Z3 repo: ilanashapiro/z3
Z3 commit: 82e9cc4a848d2c0a9d85241a0ea1f13168231009
Z3 branch: parallel-lockdebug1
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: Merge branch 'master' of github.com:Z3Prover/z3 into parallel-lockdebug1

</pre>


# Statistics
|FILE                                                         |TIME     |MEM        | STATUS   | EXIT | STDOUT | STDERR | 
|------------|----------:|---------:|-------------:| ----------:|--------|--------| 
|SMT-Temporal-Planning-Benchmarks/tempo-width-1.smt2          |    0.070s | 89.536MiB| sat | 0 |  |  |
|sal/fischer3-mutex-5.smt2                                    |    0.087s | 91.612MiB| unsat | 0 |  |  |
|sal/fischer9-mutex-2.smt2                                    |    0.087s | 91.66MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-matrix1x1.pddl.smt2   |    0.088s | 89.88MiB| sat | 0 |  |  |
|sal/fischer3-mutex-2.smt2                                    |    0.091s | 90.388MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-6.smt2                                    |    0.093s | 92.104MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-depth-2.smt2          |    0.096s | 91.828MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking01.smt2              |    0.101s | 90.392MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-03.smt2       |    0.101s | 92.14MiB| sat | 0 |  |  |
|sal/fischer9-mutex-3.smt2                                    |    0.102s | 93.204MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-5.smt2                                    |    0.107s | 93.468MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking02.smt2              |    0.110s | 90.904MiB| sat | 0 |  |  |
|check/bignum_rdl1.smt2                                       |    0.112s | 89.12MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking03.smt2              |    0.113s | 91.164MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-06.smt2       |    0.115s | 93.164MiB| sat | 0 |  |  |
|sal/fischer6-mutex-4.smt2                                    |    0.115s | 92.884MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-3.smt2                                    |    0.118s | 90.652MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking04.smt2              |    0.119s | 91.932MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-04.smt2       |    0.119s | 91.932MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-width-2.smt2          |    0.121s | 92.456MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking05.smt2              |    0.121s | 92.184MiB| sat | 0 |  |  |
|check/bignum_rdl2.smt2                                       |    0.126s | 89.116MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking09.smt2              |    0.127s | 94.64MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking07.smt2              |    0.132s | 93.404MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking06.smt2              |    0.134s | 92.956MiB| sat | 0 |  |  |
|sal/fischer3-mutex-9.smt2                                    |    0.137s | 93.848MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking08.smt2              |    0.138s | 93.964MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-05.smt2       |    0.138s | 93.172MiB| sat | 0 |  |  |
|sal/fischer3-mutex-7.smt2                                    |    0.140s | 92.704MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-10.smt2       |    0.141s | 96.152MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-09.smt2       |    0.150s | 95.848MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-08.smt2       |    0.152s | 94.868MiB| sat | 0 |  |  |
|sal/fischer9-mutex-5.smt2                                    |    0.153s | 96.228MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-6.smt2                                    |    0.154s | 94.804MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-07.smt2       |    0.156s | 94.532MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking13.smt2              |    0.156s | 96.932MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking10.smt2              |    0.160s | 95.636MiB| sat | 0 |  |  |
|sal/fischer6-mutex-3.smt2                                    |    0.161s | 91.94MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking11.smt2              |    0.164s | 95.98MiB| sat | 0 |  |  |
|sal/fischer9-mutex-4.smt2                                    |    0.167s | 94.232MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking12.smt2              |    0.173s | 96.52MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking15.smt2              |    0.177s | 97.5MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking14.smt2              |    0.180s | 96.952MiB| sat | 0 |  |  |
|sal/fischer3-mutex-1.smt2                                    |    0.184s | 89.624MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-1.smt2                                    |    0.185s | 89.628MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-10.smt2                                   |    0.186s | 95.0MiB| unsat | 0 |  |  |
|sal/fischer9-mutex-1.smt2                                    |    0.189s | 90.136MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-2.smt2                                    |    0.192s | 90.912MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking16.smt2              |    0.196s | 98.176MiB| sat | 0 |  |  |
|sal/fischer3-mutex-4.smt2                                    |    0.203s | 91.16MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking20.smt2              |    0.204s | 98.0MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking17.smt2              |    0.205s | 99.52MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-depth-3.smt2          |    0.208s | 97.96MiB| sat | 0 |  |  |
|scheduling/abz5_1000.smt2                                    |    0.211s | 99.0MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking21.smt2              |    0.212s | 98.0MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking18.smt2              |    0.213s | 99.152MiB| sat | 0 |  |  |
|scheduling/orb08_700.smt2                                    |    0.217s | 98.0MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking19.smt2              |    0.224s | 97.0MiB| sat | 0 |  |  |
|sal/fischer9-mutex-7.smt2                                    |    0.229s | 99.196MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-8.smt2                                    |    0.237s | 92.96MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-11.smt2                                   |    0.239s | 95.544MiB| unsat | 0 |  |  |
|scheduling/orb10_800.smt2                                    |    0.249s | 100.0MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking22.smt2              |    0.250s | 99.0MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-20.smt2       |    0.268s | 99.0MiB| sat | 0 |  |  |
|scheduling/orb07_550.smt2                                    |    0.271s | 102.0MiB| sat | 0 |  |  |
|sal/fischer6-mutex-7.smt2                                    |    0.272s | 96.124MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-12.smt2                                   |    0.279s | 96.776MiB| unsat | 0 |  |  |
|scheduling/orb07_250.smt2                                    |    0.280s | 96.788MiB| unsat | 0 |  |  |
|scheduling/orb02_700.smt2                                    |    0.297s | 98.588MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-8.smt2                                    |    0.301s | 97.992MiB| unsat | 0 |  |  |
|scheduling/abz6_800.smt2                                     |    0.302s | 98.0MiB| unsat | 0 |  |  |
|scheduling/orb05_700.smt2                                    |    0.311s | 99.0MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-13.smt2                                   |    0.316s | 97.556MiB| unsat | 0 |  |  |
|scheduling/orb07_330.smt2                                    |    0.321s | 97.58MiB| unsat | 0 |  |  |
|sal/fischer9-mutex-8.smt2                                    |    0.325s | 99.0MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-9.smt2                                    |    0.340s | 99.492MiB| unsat | 0 |  |  |
|scheduling/orb09_800.smt2                                    |    0.341s | 100.0MiB| unsat | 0 |  |  |
|scheduling/orb04_850.smt2                                    |    0.342s | 99.0MiB| unsat | 0 |  |  |
|scheduling/orb02_1000.smt2                                   |    0.346s | 101.0MiB| sat | 0 |  |  |
|sal/fischer3-mutex-14.smt2                                   |    0.355s | 97.888MiB| unsat | 0 |  |  |
|scheduling/orb09_1100.smt2                                   |    0.370s | 102.0MiB| sat | 0 |  |  |
|scheduling/orb02_800.smt2                                    |    0.377s | 100.0MiB| unsat | 0 |  |  |
|scheduling/orb10_1100.smt2                                   |    0.381s | 104.0MiB| sat | 0 |  |  |
|sal/fischer9-mutex-6.smt2                                    |    0.388s | 99.044MiB| unsat | 0 |  |  |
|scheduling/orb04_1200.smt2                                   |    0.392s | 103.0MiB| sat | 0 |  |  |
|scheduling/abz6_1100.smt2                                    |    0.393s | 102.0MiB| sat | 0 |  |  |
|scheduling/orb05_800.smt2                                    |    0.398s | 101.0MiB| unsat | 0 |  |  |
|scheduling/orb06_1200.smt2                                   |    0.398s | 102.0MiB| sat | 0 |  |  |
|scheduling/orb08_830.smt2                                    |    0.399s | 100.0MiB| unsat | 0 |  |  |
|scheduling/orb09_1000.smt2                                   |    0.402s | 102.0MiB| sat | 0 |  |  |
|scheduling/abz6_1000.smt2                                    |    0.414s | 103.0MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-width-3.smt2          |    0.429s | 101.0MiB| sat | 0 |  |  |
|scheduling/orb03_850.smt2                                    |    0.448s | 101.0MiB| unsat | 0 |  |  |
|scheduling/abz5_1400.smt2                                    |    0.466s | 101.0MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-30.smt2       |    0.472s | 106.0MiB| sat | 0 |  |  |
|sal/fischer3-mutex-15.smt2                                   |    0.496s | 99.472MiB| unsat | 0 |  |  |
|scheduling/abz6_900.smt2                                     |    0.509s | 101.0MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-16.smt2                                   |    0.530s | 98.0MiB| unsat | 0 |  |  |
|scheduling/orb06_900.smt2                                    |    0.570s | 102.0MiB| unsat | 0 |  |  |
|scheduling/orb04_950.smt2                                    |    0.587s | 103.0MiB| unsat | 0 |  |  |
|scheduling/abz5_1300.smt2                                    |    0.590s | 103.0MiB| sat | 0 |  |  |
|scheduling/orb08_1000.smt2                                   |    0.627s | 105.0MiB| sat | 0 |  |  |
|scheduling/orb03_1200.smt2                                   |    0.649s | 106.0MiB| sat | 0 |  |  |
|sal/fischer6-mutex-10.smt2                                   |    0.659s | 99.0MiB| unsat | 0 |  |  |
|scheduling/orb05_1000.smt2                                   |    0.661s | 105.0MiB| sat | 0 |  |  |
|sal/fischer3-mutex-17.smt2                                   |    0.715s | 99.0MiB| unsat | 0 |  |  |
|skdmxa/skdmxa-3x3-5.smt2                                     |    0.740s | 133.0MiB| unsat | 0 |  |  |
|scheduling/orb01_900.smt2                                    |    0.741s | 103.0MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-18.smt2                                   |    0.741s | 100.0MiB| unsat | 0 |  |  |
|scheduling/orb02_900.smt2                                    |    0.746s | 103.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-6.base.cvc.smt2                           |    0.821s | 178.0MiB| unsat | 0 |  |  |
|scheduling/orb06_1100.smt2                                   |    0.829s | 106.0MiB| sat | 0 |  |  |
|scheduling/orb04_1100.smt2                                   |    0.851s | 105.0MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-40.smt2       |    0.857s | 112.0MiB| sat | 0 |  |  |
|scheduling/abz6_943.smt2                                     |    0.883s | 103.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-5.induction.cvc.smt2                      |    0.893s | 214.0MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-depth-4.smt2          |    0.904s | 109.0MiB| sat | 0 |  |  |
|sal/fischer9-mutex-9.smt2                                    |    0.904s | 104.0MiB| unsat | 0 |  |  |
|scheduling/orb07_430.smt2                                    |    0.914s | 104.0MiB| sat | 0 |  |  |
|scheduling/orb10_900.smt2                                    |    0.935s | 103.0MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-11.smt2                                   |    0.995s | 102.0MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-19.smt2                                   |    1.097s | 101.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-7.base.cvc.smt2                           |    1.116s | 226.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-6.induction.cvc.smt2                      |    1.139s | 242.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-5.base.cvc.smt2                           |    1.143s | 156.0MiB| unsat | 0 |  |  |
|scheduling/orb10_1000.smt2                                   |    1.145s | 105.0MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-60.smt2       |    1.266s | 122.0MiB| sat | 0 |  |  |
|sal/fischer3-mutex-20.smt2                                   |    1.334s | 102.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-8.base.cvc.smt2                           |    1.372s | 246.0MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-70.smt2       |    1.475s | 139.0MiB| sat | 0 |  |  |
|scheduling/orb01_1200.smt2                                   |    1.552s | 108.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-9.base.cvc.smt2                           |    1.640s | 267.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-7.induction.cvc.smt2                      |    1.640s | 336.0MiB| sat | 0 |  |  |
|scheduling/yn1_750.smt2                                      |    1.894s | 239.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-8.induction.cvc.smt2                      |    1.917s | 349.0MiB| sat | 0 |  |  |
|scheduling/orb02_888.smt2                                    |    1.932s | 106.0MiB| sat | 0 |  |  |
|scheduling/orb05_900.smt2                                    |    1.948s | 106.0MiB| sat | 0 |  |  |
|scheduling/abz5_1200.smt2                                    |    2.037s | 105.0MiB| unsat | 0 |  |  |
|scheduling/orb09_900.smt2                                    |    2.095s | 106.0MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-13.smt2                                   |    2.129s | 106.0MiB| unsat | 0 |  |  |
|sal/fischer9-mutex-10.smt2                                   |    2.160s | 109.0MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-12.smt2                                   |    2.233s | 105.0MiB| unsat | 0 |  |  |
|skdmxa/skdmxa-3x3-10.smt2                                    |    2.262s | 191.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-10.base.cvc.smt2                          |    2.348s | 291.0MiB| unsat | 0 |  |  |
|scheduling/orb09_934.smt2                                    |    2.482s | 107.0MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-80.smt2       |    2.686s | 144.0MiB| sat | 0 |  |  |
|scheduling/orb08_930.smt2                                    |    2.768s | 108.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-10.induction.cvc.smt2                     |    3.023s | 454.0MiB| sat | 0 |  |  |
|sal/fischer9-mutex-11.smt2                                   |    3.054s | 112.0MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-90.smt2       |    3.082s | 150.0MiB| sat | 0 |  |  |
|scheduling/abz7_500.smt2                                     |    3.312s | 191.0MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-14.smt2                                   |    3.461s | 111.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-12.induction.cvc.smt2                     |    3.618s | 499.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-11.induction.cvc.smt2                     |    3.658s | 433.0MiB| sat | 0 |  |  |
|scheduling/orb07_397.smt2                                    |    3.721s | 108.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-9.induction.cvc.smt2                      |    3.799s | 404.0MiB| sat | 0 |  |  |
|scheduling/orb10_944.smt2                                    |    3.926s | 107.0MiB| sat | 0 |  |  |
|scheduling/abz5_1234.smt2                                    |    4.147s | 108.0MiB| sat | 0 |  |  |
|sal/fischer6-mutex-15.smt2                                   |    4.537s | 114.0MiB| unsat | 0 |  |  |
|scheduling/orb03_1100.smt2                                   |    4.911s | 111.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-11.base.cvc.smt2                          |    5.287s | 316.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-14.induction.cvc.smt2                     |    5.695s | 667.0MiB| sat | 0 |  |  |
|scheduling/yn3_750.smt2                                      |    5.975s | 270.0MiB| unsat | 0 |  |  |
|scheduling/orb05_887.smt2                                    |    6.625s | 110.0MiB| sat | 0 |  |  |
|scheduling/yn2_750.smt2                                      |    6.832s | 257.0MiB| unsat | 0 |  |  |
|sal/fischer9-mutex-12.smt2                                   |    7.004s | 120.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-13.induction.cvc.smt2                     |    7.559s | 618.0MiB| sat | 0 |  |  |
|sal/fischer6-mutex-16.smt2                                   |    7.748s | 122.0MiB| unsat | 0 |  |  |
|scheduling/orb04_1005.smt2                                   |    7.907s | 111.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-16.induction.cvc.smt2                     |    8.466s | 717.0MiB| sat | 0 |  |  |
|scheduling/orb08_888.smt2                                    |    8.512s | 110.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-19.induction.cvc.smt2                     |   10.007s | 822.0MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-depth-5.smt2          |   10.616s | 138.0MiB| sat | 0 |  |  |
|sal/fischer9-mutex-13.smt2                                   |   11.851s | 128.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-17.induction.cvc.smt2                     |   12.060s | 823.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-12.base.cvc.smt2                          |   13.368s | 359.0MiB| unsat | 0 |  |  |
|scheduling/orb01_1100.smt2                                   |   13.531s | 115.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-18.induction.cvc.smt2                     |   13.659s | 880.0MiB| sat | 0 |  |  |
|scheduling/orb03_950.smt2                                    |   14.780s | 113.0MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-width-4.smt2          |   16.892s | 153.0MiB| sat | 0 |  |  |
|sal/fischer6-mutex-17.smt2                                   |   20.263s | 131.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-15.induction.cvc.smt2                     |   20.429s | 761.0MiB| sat | 0 |  |  |
|sal/fischer9-mutex-14.smt2                                   |   21.630s | 136.0MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-18.smt2                                   |   25.740s | 138.0MiB| unsat | 0 |  |  |
|sal/fischer9-mutex-15.smt2                                   |   27.475s | 147.0MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-20.smt2                                   |   30.033s | 145.0MiB| timeout | 0 |  |  |
|sal/fischer9-mutex-18.smt2                                   |   30.036s | 151.0MiB| timeout | 0 |  |  |
|sal/fischer9-mutex-17.smt2                                   |   30.042s | 151.0MiB| timeout | 0 |  |  |
|sal/fischer9-mutex-16.smt2                                   |   30.042s | 147.0MiB| timeout | 0 |  |  |
|scheduling/orb06_1000.smt2                                   |   30.044s | 118.0MiB| timeout | 0 |  |  |
|sal/fischer9-mutex-19.smt2                                   |   30.046s | 155.0MiB| timeout | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-depth-7.smt2          |   30.048s | 278.0MiB| timeout | 0 |  |  |
|sal/fischer6-mutex-19.smt2                                   |   30.050s | 141.0MiB| timeout | 0 |  |  |
|sal/fischer9-mutex-20.smt2                                   |   30.050s | 161.0MiB| timeout | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-depth-6.smt2          |   30.051s | 188.0MiB| timeout | 0 |  |  |
|scheduling/orb01_1059.smt2                                   |   30.053s | 119.0MiB| timeout | 0 |  |  |
|scheduling/orb03_1005.smt2                                   |   30.054s | 118.0MiB| timeout | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-width-5.smt2          |   30.056s | 261.0MiB| timeout | 0 |  |  |
|scheduling/orb06_1010.smt2                                   |   30.061s | 117.0MiB| timeout | 0 |  |  |
|scheduling/orb01_1000.smt2                                   |   30.065s | 116.0MiB| timeout | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-matrix2x2.pddl.smt2   |   30.067s | 411.0MiB| timeout | 0 |  |  |
|scheduling/abz7_700.smt2                                     |   30.070s | 269.0MiB| timeout | 0 |  |  |
|scheduling/abz7_667.smt2                                     |   30.071s | 265.0MiB| timeout | 0 |  |  |
|scheduling/yn3_950.smt2                                      |   30.073s | 328.0MiB| timeout | 0 |  |  |
|scheduling/yn2_950.smt2                                      |   30.074s | 334.0MiB| timeout | 0 |  |  |
|scheduling/yn4_1000.smt2                                     |   30.074s | 312.0MiB| timeout | 0 |  |  |
|scheduling/abz7_600.smt2                                     |   30.075s | 254.0MiB| timeout | 0 |  |  |
|skdmxa2/skdmxa-3x3-15.base.cvc.smt2                          |   30.076s | 511.0MiB| timeout | 0 |  |  |
|scheduling/yn1_827.smt2                                      |   30.077s | 299.0MiB| timeout | 0 |  |  |
|scheduling/yn3_828.smt2                                      |   30.077s | 310.0MiB| timeout | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-width-6.smt2          |   30.079s | 438.0MiB| timeout | 0 |  |  |
|skdmxa2/skdmxa-3x3-14.base.cvc.smt2                          |   30.079s | 492.0MiB| timeout | 0 |  |  |
|scheduling/yn2_862.smt2                                      |   30.082s | 312.0MiB| timeout | 0 |  |  |
|scheduling/yn4_950.smt2                                      |   30.082s | 308.0MiB| timeout | 0 |  |  |
|scheduling/yn4_850.smt2                                      |   30.088s | 294.0MiB| timeout | 0 |  |  |
|scheduling/yn1_950.smt2                                      |   30.088s | 314.0MiB| timeout | 0 |  |  |
|scheduling/yn3_894.smt2                                      |   30.090s | 315.0MiB| timeout | 0 |  |  |
|skdmxa2/skdmxa-3x3-16.base.cvc.smt2                          |   30.090s | 535.0MiB| timeout | 0 |  |  |
|scheduling/abz7_670.smt2                                     |   30.093s | 266.0MiB| timeout | 0 |  |  |
|scheduling/yn2_890.smt2                                      |   30.094s | 312.0MiB| timeout | 0 |  |  |
|scheduling/yn4_969.smt2                                      |   30.094s | 314.0MiB| timeout | 0 |  |  |
|scheduling/yn1_887.smt2                                      |   30.094s | 308.0MiB| timeout | 0 |  |  |
|scheduling/abz7_691.smt2                                     |   30.094s | 274.0MiB| timeout | 0 |  |  |
|scheduling/abz7_800.smt2                                     |   30.095s | 277.0MiB| timeout | 0 |  |  |
|scheduling/yn2_910.smt2                                      |   30.096s | 313.0MiB| timeout | 0 |  |  |
|scheduling/yn3_860.smt2                                      |   30.097s | 310.0MiB| timeout | 0 |  |  |
|skdmxa2/skdmxa-3x3-13.base.cvc.smt2                          |   30.097s | 467.0MiB| timeout | 0 |  |  |
|skdmxa2/skdmxa-3x3-19.base.cvc.smt2                          |   30.098s | 665.0MiB| timeout | 0 |  |  |
|scheduling/yn4_919.smt2                                      |   30.099s | 306.0MiB| timeout | 0 |  |  |
|scheduling/yn1_850.smt2                                      |   30.100s | 300.0MiB| timeout | 0 |  |  |
|scheduling/swv14_2905.smt2                                   |   30.111s | 634.0MiB| timeout | 0 |  |  |
|skdmxa/skdmxa-3x3-15.smt2                                    |   30.114s | 319.0MiB| timeout | 0 |  |  |
|scheduling/swv12_2990.smt2                                   |   30.115s | 677.0MiB| timeout | 0 |  |  |
|scheduling/swv11_2992.smt2                                   |   30.120s | 622.0MiB| timeout | 0 |  |  |
|scheduling/swv11_2983.smt2                                   |   30.122s | 618.0MiB| timeout | 0 |  |  |
|scheduling/swv12_3050.smt2                                   |   30.125s | 732.0MiB| timeout | 0 |  |  |
|scheduling/swv12_2900.smt2                                   |   30.129s | 687.0MiB| timeout | 0 |  |  |
|scheduling/swv14_2885.smt2                                   |   30.131s | 605.0MiB| timeout | 0 |  |  |
|scheduling/swv13_3150.smt2                                   |   30.131s | 684.0MiB| timeout | 0 |  |  |
|skdmxa2/skdmxa-3x3-17.base.cvc.smt2                          |   30.131s | 597.0MiB| timeout | 0 |  |  |
|scheduling/swv14_3000.smt2                                   |   30.133s | 677.0MiB| timeout | 0 |  |  |
|scheduling/swv12_3004.smt2                                   |   30.136s | 690.0MiB| timeout | 0 |  |  |
|skdmxa2/skdmxa-3x3-18.base.cvc.smt2                          |   30.136s | 640.0MiB| timeout | 0 |  |  |
|skdmxa2/skdmxa-3x3-20.base.cvc.smt2                          |   30.137s | 730.0MiB| timeout | 0 |  |  |
|scheduling/swv11_3050.smt2                                   |   30.138s | 641.0MiB| timeout | 0 |  |  |
|scheduling/swv14_2895.smt2                                   |   30.143s | 626.0MiB| timeout | 0 |  |  |
|scheduling/swv13_3104.smt2                                   |   30.144s | 676.0MiB| timeout | 0 |  |  |
|scheduling/swv11_2988.smt2                                   |   30.145s | 639.0MiB| timeout | 0 |  |  |
|scheduling/swv13_3000.smt2                                   |   30.149s | 697.0MiB| timeout | 0 |  |  |
|scheduling/swv13_3200.smt2                                   |   30.150s | 722.0MiB| timeout | 0 |  |  |
|skdmxa/skdmxa-3x3-20.smt2                                    |   30.154s | 406.0MiB| timeout | 0 |  |  |
|scheduling/swv11_2900.smt2                                   |   30.154s | 633.0MiB| timeout | 0 |  |  |
|scheduling/swv12_2972.smt2                                   |   30.154s | 693.0MiB| timeout | 0 |  |  |
|skdmxa2/skdmxa-3x3-20.induction.cvc.smt2                     |   30.176s | 953.0MiB| timeout | 0 |  |  |
|scheduling/swv14_2800.smt2                                   |   30.189s | 628.0MiB| timeout | 0 |  |  |