# .

* SAT 99
* UNSAT 85
* TIMEOUT 71
* UNKNOWN 0

* UNSET 0

* ERROR 0

# Meta data

<pre>
Ramon benchmark for Z3
-
Job description: 
Job tag: smt_qfrdl-threads-4-inprocessing
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=true"
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.089s | 89.88MiB| sat | 0 |  |  |
|sal/fischer3-mutex-6.smt2                                    |    0.093s | 91.928MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-matrix1x1.pddl.smt2   |    0.094s | 89.624MiB| sat | 0 |  |  |
|sal/fischer6-mutex-3.smt2                                    |    0.094s | 91.684MiB| unsat | 0 |  |  |
|check/bignum_rdl1.smt2                                       |    0.097s | 89.116MiB| sat | 0 |  |  |
|sal/fischer3-mutex-2.smt2                                    |    0.099s | 90.316MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking02.smt2              |    0.100s | 90.904MiB| sat | 0 |  |  |
|sal/fischer3-mutex-3.smt2                                    |    0.100s | 90.652MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-1.smt2                                    |    0.105s | 89.88MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking01.smt2              |    0.106s | 90.34MiB| sat | 0 |  |  |
|sal/fischer9-mutex-1.smt2                                    |    0.107s | 90.136MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking03.smt2              |    0.112s | 91.164MiB| sat | 0 |  |  |
|sal/fischer6-mutex-2.smt2                                    |    0.112s | 90.948MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-04.smt2       |    0.114s | 91.928MiB| sat | 0 |  |  |
|sal/fischer3-mutex-5.smt2                                    |    0.114s | 91.68MiB| unsat | 0 |  |  |
|check/bignum_rdl2.smt2                                       |    0.115s | 88.856MiB| unsat | 0 |  |  |
|sal/fischer9-mutex-2.smt2                                    |    0.116s | 91.672MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-4.smt2                                    |    0.119s | 93.024MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking08.smt2              |    0.120s | 94.02MiB| sat | 0 |  |  |
|sal/fischer9-mutex-4.smt2                                    |    0.120s | 94.236MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking04.smt2              |    0.121s | 91.928MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-03.smt2       |    0.121s | 92.444MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking05.smt2              |    0.122s | 92.536MiB| sat | 0 |  |  |
|sal/fischer9-mutex-3.smt2                                    |    0.123s | 93.168MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-depth-2.smt2          |    0.125s | 91.928MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking06.smt2              |    0.125s | 92.908MiB| sat | 0 |  |  |
|sal/fischer3-mutex-7.smt2                                    |    0.126s | 92.952MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-width-2.smt2          |    0.127s | 92.452MiB| sat | 0 |  |  |
|sal/fischer6-mutex-5.smt2                                    |    0.131s | 93.72MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking07.smt2              |    0.135s | 93.412MiB| sat | 0 |  |  |
|sal/fischer3-mutex-8.smt2                                    |    0.139s | 92.952MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-05.smt2       |    0.140s | 93.452MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-06.smt2       |    0.141s | 93.464MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-07.smt2       |    0.142s | 94.616MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking09.smt2              |    0.145s | 94.76MiB| sat | 0 |  |  |
|sal/fischer3-mutex-1.smt2                                    |    0.145s | 89.624MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-6.smt2                                    |    0.152s | 94.488MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-4.smt2                                    |    0.153s | 91.42MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-9.smt2                                    |    0.154s | 93.72MiB| unsat | 0 |  |  |
|sal/fischer9-mutex-5.smt2                                    |    0.160s | 96.108MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking10.smt2              |    0.161s | 95.636MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-08.smt2       |    0.162s | 94.868MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking11.smt2              |    0.165s | 95.724MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-09.smt2       |    0.171s | 95.744MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-10.smt2       |    0.173s | 95.896MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking12.smt2              |    0.174s | 96.012MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking13.smt2              |    0.178s | 96.664MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking14.smt2              |    0.189s | 96.932MiB| sat | 0 |  |  |
|sal/fischer6-mutex-7.smt2                                    |    0.190s | 96.12MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking16.smt2              |    0.199s | 98.436MiB| sat | 0 |  |  |
|sal/fischer6-mutex-8.smt2                                    |    0.202s | 97.664MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking15.smt2              |    0.204s | 97.568MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking17.smt2              |    0.205s | 99.308MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-depth-3.smt2          |    0.208s | 98.212MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking19.smt2              |    0.210s | 97.0MiB| sat | 0 |  |  |
|scheduling/orb10_800.smt2                                    |    0.212s | 100.0MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking21.smt2              |    0.212s | 99.0MiB| sat | 0 |  |  |
|scheduling/orb08_700.smt2                                    |    0.219s | 99.0MiB| unsat | 0 |  |  |
|scheduling/orb07_250.smt2                                    |    0.223s | 96.536MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking18.smt2              |    0.224s | 99.256MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking20.smt2              |    0.229s | 98.0MiB| sat | 0 |  |  |
|scheduling/abz6_800.smt2                                     |    0.231s | 98.0MiB| unsat | 0 |  |  |
|scheduling/orb05_700.smt2                                    |    0.231s | 99.0MiB| unsat | 0 |  |  |
|sal/fischer9-mutex-7.smt2                                    |    0.236s | 99.452MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking22.smt2              |    0.239s | 99.0MiB| sat | 0 |  |  |
|scheduling/orb04_850.smt2                                    |    0.240s | 99.0MiB| unsat | 0 |  |  |
|scheduling/orb02_700.smt2                                    |    0.243s | 97.924MiB| unsat | 0 |  |  |
|scheduling/orb09_800.smt2                                    |    0.249s | 100.0MiB| unsat | 0 |  |  |
|scheduling/orb07_550.smt2                                    |    0.257s | 102.0MiB| sat | 0 |  |  |
|sal/fischer9-mutex-6.smt2                                    |    0.264s | 98.284MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-20.smt2       |    0.269s | 99.0MiB| sat | 0 |  |  |
|scheduling/orb09_1100.smt2                                   |    0.279s | 103.0MiB| sat | 0 |  |  |
|scheduling/abz5_1000.smt2                                    |    0.284s | 99.0MiB| unsat | 0 |  |  |
|scheduling/orb02_1000.smt2                                   |    0.306s | 101.0MiB| sat | 0 |  |  |
|scheduling/abz6_1100.smt2                                    |    0.314s | 102.0MiB| sat | 0 |  |  |
|scheduling/orb07_330.smt2                                    |    0.322s | 98.328MiB| unsat | 0 |  |  |
|scheduling/orb08_830.smt2                                    |    0.326s | 100.0MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-10.smt2                                   |    0.339s | 102.0MiB| unsat | 0 |  |  |
|scheduling/orb02_800.smt2                                    |    0.348s | 100.0MiB| unsat | 0 |  |  |
|scheduling/orb04_1200.smt2                                   |    0.368s | 103.0MiB| sat | 0 |  |  |
|sal/fischer3-mutex-11.smt2                                   |    0.391s | 103.0MiB| unsat | 0 |  |  |
|scheduling/abz6_1000.smt2                                    |    0.411s | 103.0MiB| sat | 0 |  |  |
|scheduling/abz5_1400.smt2                                    |    0.416s | 101.0MiB| sat | 0 |  |  |
|scheduling/orb05_800.smt2                                    |    0.417s | 101.0MiB| unsat | 0 |  |  |
|scheduling/orb10_1100.smt2                                   |    0.423s | 104.0MiB| sat | 0 |  |  |
|scheduling/orb06_1200.smt2                                   |    0.426s | 102.0MiB| sat | 0 |  |  |
|scheduling/abz6_900.smt2                                     |    0.442s | 100.0MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-width-3.smt2          |    0.461s | 101.0MiB| sat | 0 |  |  |
|scheduling/orb03_850.smt2                                    |    0.467s | 101.0MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-30.smt2       |    0.469s | 106.0MiB| sat | 0 |  |  |
|scheduling/orb09_1000.smt2                                   |    0.471s | 103.0MiB| sat | 0 |  |  |
|sal/fischer3-mutex-12.smt2                                   |    0.534s | 104.0MiB| unsat | 0 |  |  |
|scheduling/orb06_900.smt2                                    |    0.539s | 102.0MiB| unsat | 0 |  |  |
|scheduling/orb05_1000.smt2                                   |    0.551s | 104.0MiB| sat | 0 |  |  |
|scheduling/orb03_1200.smt2                                   |    0.572s | 105.0MiB| sat | 0 |  |  |
|sal/fischer9-mutex-8.smt2                                    |    0.606s | 122.0MiB| unsat | 0 |  |  |
|scheduling/orb08_1000.smt2                                   |    0.624s | 105.0MiB| sat | 0 |  |  |
|scheduling/orb04_1100.smt2                                   |    0.631s | 105.0MiB| sat | 0 |  |  |
|scheduling/orb01_900.smt2                                    |    0.632s | 102.0MiB| unsat | 0 |  |  |
|scheduling/orb04_950.smt2                                    |    0.636s | 103.0MiB| unsat | 0 |  |  |
|scheduling/abz5_1300.smt2                                    |    0.690s | 103.0MiB| sat | 0 |  |  |
|scheduling/orb02_900.smt2                                    |    0.819s | 104.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-6.base.cvc.smt2                           |    0.832s | 178.0MiB| unsat | 0 |  |  |
|skdmxa/skdmxa-3x3-5.smt2                                     |    0.853s | 133.0MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-9.smt2                                    |    0.857s | 113.0MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-depth-4.smt2          |    0.859s | 145.0MiB| sat | 0 |  |  |
|sal/fischer3-mutex-13.smt2                                   |    0.859s | 107.0MiB| unsat | 0 |  |  |
|scheduling/abz6_943.smt2                                     |    0.877s | 102.0MiB| sat | 0 |  |  |
|sal/fischer3-mutex-14.smt2                                   |    0.877s | 107.0MiB| unsat | 0 |  |  |
|scheduling/orb10_900.smt2                                    |    0.905s | 103.0MiB| unsat | 0 |  |  |
|scheduling/orb07_430.smt2                                    |    0.924s | 104.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-5.induction.cvc.smt2                      |    0.968s | 217.0MiB| sat | 0 |  |  |
|scheduling/orb01_1200.smt2                                   |    0.972s | 107.0MiB| sat | 0 |  |  |
|sal/fischer3-mutex-15.smt2                                   |    0.972s | 110.0MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-40.smt2       |    1.043s | 158.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-6.induction.cvc.smt2                      |    1.147s | 242.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-7.base.cvc.smt2                           |    1.147s | 226.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-5.base.cvc.smt2                           |    1.161s | 156.0MiB| unsat | 0 |  |  |
|scheduling/orb06_1100.smt2                                   |    1.245s | 112.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-8.base.cvc.smt2                           |    1.348s | 248.0MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-60.smt2       |    1.422s | 189.0MiB| sat | 0 |  |  |
|sal/fischer3-mutex-16.smt2                                   |    1.436s | 112.0MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-depth-5.smt2          |    1.490s | 198.0MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-width-4.smt2          |    1.508s | 200.0MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-70.smt2       |    1.546s | 217.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-9.base.cvc.smt2                           |    1.599s | 267.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-7.induction.cvc.smt2                      |    1.659s | 336.0MiB| sat | 0 |  |  |
|scheduling/abz5_1234.smt2                                    |    1.789s | 117.0MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-80.smt2       |    1.790s | 236.0MiB| sat | 0 |  |  |
|sal/fischer6-mutex-10.smt2                                   |    1.837s | 119.0MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-17.smt2                                   |    1.883s | 115.0MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-90.smt2       |    1.901s | 256.0MiB| sat | 0 |  |  |
|sal/fischer3-mutex-18.smt2                                   |    1.919s | 116.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-8.induction.cvc.smt2                      |    1.922s | 348.0MiB| sat | 0 |  |  |
|scheduling/yn1_750.smt2                                      |    2.044s | 250.0MiB| unsat | 0 |  |  |
|skdmxa/skdmxa-3x3-10.smt2                                    |    2.244s | 190.0MiB| unsat | 0 |  |  |
|sal/fischer9-mutex-9.smt2                                    |    2.387s | 133.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-10.base.cvc.smt2                          |    2.410s | 291.0MiB| unsat | 0 |  |  |
|scheduling/orb02_888.smt2                                    |    2.697s | 118.0MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-depth-6.smt2          |    2.783s | 326.0MiB| sat | 0 |  |  |
|scheduling/orb03_1100.smt2                                   |    2.926s | 121.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-10.induction.cvc.smt2                     |    3.027s | 454.0MiB| sat | 0 |  |  |
|scheduling/abz7_500.smt2                                     |    3.176s | 192.0MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-19.smt2                                   |    3.339s | 120.0MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-11.smt2                                   |    3.344s | 123.0MiB| unsat | 0 |  |  |
|scheduling/orb10_1000.smt2                                   |    3.480s | 120.0MiB| sat | 0 |  |  |
|scheduling/abz5_1200.smt2                                    |    3.519s | 117.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-11.induction.cvc.smt2                     |    3.693s | 434.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-12.induction.cvc.smt2                     |    3.812s | 500.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-9.induction.cvc.smt2                      |    3.832s | 403.0MiB| sat | 0 |  |  |
|scheduling/yn2_750.smt2                                      |    3.908s | 253.0MiB| unsat | 0 |  |  |
|scheduling/yn3_750.smt2                                      |    3.956s | 266.0MiB| unsat | 0 |  |  |
|scheduling/orb09_900.smt2                                    |    4.108s | 119.0MiB| unsat | 0 |  |  |
|scheduling/orb05_900.smt2                                    |    4.251s | 120.0MiB| sat | 0 |  |  |
|sal/fischer3-mutex-20.smt2                                   |    4.276s | 122.0MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-depth-7.smt2          |    4.600s | 467.0MiB| sat | 0 |  |  |
|sal/fischer6-mutex-12.smt2                                   |    5.326s | 131.0MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-width-5.smt2          |    5.421s | 442.0MiB| sat | 0 |  |  |
|scheduling/orb08_930.smt2                                    |    5.491s | 123.0MiB| sat | 0 |  |  |
|scheduling/orb10_944.smt2                                    |    6.026s | 121.0MiB| sat | 0 |  |  |
|scheduling/orb07_397.smt2                                    |    6.127s | 120.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-14.induction.cvc.smt2                     |    6.572s | 691.0MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-matrix2x2.pddl.smt2   |    6.988s | 702.0MiB| sat | 0 |  |  |
|scheduling/orb03_950.smt2                                    |    7.024s | 121.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-13.induction.cvc.smt2                     |    7.737s | 631.0MiB| sat | 0 |  |  |
|scheduling/orb09_934.smt2                                    |    8.407s | 123.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-16.induction.cvc.smt2                     |    8.527s | 717.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-11.base.cvc.smt2                          |    9.118s | 778.0MiB| unsat | 0 |  |  |
|scheduling/orb05_887.smt2                                    |    9.226s | 122.0MiB| sat | 0 |  |  |
|sal/fischer6-mutex-13.smt2                                   |    9.466s | 139.0MiB| unsat | 0 |  |  |
|sal/fischer9-mutex-10.smt2                                   |    9.616s | 151.0MiB| unsat | 0 |  |  |
|scheduling/orb04_1005.smt2                                   |    9.852s | 123.0MiB| sat | 0 |  |  |
|sal/fischer9-mutex-11.smt2                                   |   11.086s | 155.0MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-width-6.smt2          |   11.834s | 832.0MiB| sat | 0 |  |  |
|scheduling/orb08_888.smt2                                    |   12.479s | 123.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-17.induction.cvc.smt2                     |   12.496s | 838.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-15.induction.cvc.smt2                     |   12.522s | 746.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-19.induction.cvc.smt2                     |   12.639s | 852.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-18.induction.cvc.smt2                     |   13.920s | 875.0MiB| sat | 0 |  |  |
|sal/fischer6-mutex-14.smt2                                   |   14.570s | 149.0MiB| unsat | 0 |  |  |
|sal/fischer9-mutex-12.smt2                                   |   22.550s | 167.0MiB| unsat | 0 |  |  |
|scheduling/orb01_1100.smt2                                   |   23.036s | 129.0MiB| sat | 0 |  |  |
|scheduling/orb01_1000.smt2                                   |   24.886s | 125.0MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-15.smt2                                   |   29.088s | 157.0MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-16.smt2                                   |   30.023s | 165.0MiB| timeout | 0 |  |  |
|sal/fischer6-mutex-17.smt2                                   |   30.025s | 167.0MiB| timeout | 0 |  |  |
|scheduling/orb01_1059.smt2                                   |   30.036s | 130.0MiB| timeout | 0 |  |  |
|sal/fischer9-mutex-16.smt2                                   |   30.039s | 222.0MiB| timeout | 0 |  |  |
|sal/fischer6-mutex-18.smt2                                   |   30.042s | 172.0MiB| timeout | 0 |  |  |
|sal/fischer9-mutex-15.smt2                                   |   30.042s | 212.0MiB| timeout | 0 |  |  |
|scheduling/orb06_1000.smt2                                   |   30.045s | 128.0MiB| timeout | 0 |  |  |
|sal/fischer9-mutex-14.smt2                                   |   30.047s | 200.0MiB| timeout | 0 |  |  |
|sal/fischer6-mutex-19.smt2                                   |   30.048s | 174.0MiB| timeout | 0 |  |  |
|sal/fischer9-mutex-13.smt2                                   |   30.048s | 193.0MiB| timeout | 0 |  |  |
|sal/fischer6-mutex-20.smt2                                   |   30.051s | 183.0MiB| timeout | 0 |  |  |
|sal/fischer9-mutex-17.smt2                                   |   30.052s | 231.0MiB| timeout | 0 |  |  |
|scheduling/orb03_1005.smt2                                   |   30.056s | 130.0MiB| timeout | 0 |  |  |
|sal/fischer9-mutex-18.smt2                                   |   30.057s | 237.0MiB| timeout | 0 |  |  |
|sal/fischer9-mutex-19.smt2                                   |   30.060s | 244.0MiB| timeout | 0 |  |  |
|scheduling/orb06_1010.smt2                                   |   30.061s | 128.0MiB| timeout | 0 |  |  |
|sal/fischer9-mutex-20.smt2                                   |   30.062s | 251.0MiB| timeout | 0 |  |  |
|scheduling/abz7_600.smt2                                     |   30.073s | 324.0MiB| timeout | 0 |  |  |
|scheduling/yn4_850.smt2                                      |   30.078s | 308.0MiB| timeout | 0 |  |  |
|scheduling/yn3_828.smt2                                      |   30.082s | 413.0MiB| timeout | 0 |  |  |
|scheduling/yn4_969.smt2                                      |   30.085s | 343.0MiB| timeout | 0 |  |  |
|scheduling/yn2_950.smt2                                      |   30.086s | 440.0MiB| timeout | 0 |  |  |
|scheduling/yn3_950.smt2                                      |   30.086s | 399.0MiB| timeout | 0 |  |  |
|scheduling/yn4_1000.smt2                                     |   30.087s | 313.0MiB| timeout | 0 |  |  |
|scheduling/abz7_667.smt2                                     |   30.087s | 360.0MiB| timeout | 0 |  |  |
|scheduling/abz7_670.smt2                                     |   30.089s | 359.0MiB| timeout | 0 |  |  |
|scheduling/yn1_950.smt2                                      |   30.089s | 341.0MiB| timeout | 0 |  |  |
|scheduling/yn2_890.smt2                                      |   30.090s | 418.0MiB| timeout | 0 |  |  |
|scheduling/yn4_919.smt2                                      |   30.090s | 326.0MiB| timeout | 0 |  |  |
|scheduling/yn2_862.smt2                                      |   30.091s | 380.0MiB| timeout | 0 |  |  |
|scheduling/yn4_950.smt2                                      |   30.091s | 326.0MiB| timeout | 0 |  |  |
|scheduling/yn1_887.smt2                                      |   30.092s | 400.0MiB| timeout | 0 |  |  |
|scheduling/abz7_691.smt2                                     |   30.093s | 351.0MiB| timeout | 0 |  |  |
|scheduling/abz7_700.smt2                                     |   30.098s | 358.0MiB| timeout | 0 |  |  |
|scheduling/swv12_2900.smt2                                   |   30.098s | 692.0MiB| timeout | 0 |  |  |
|scheduling/yn2_910.smt2                                      |   30.099s | 337.0MiB| timeout | 0 |  |  |
|scheduling/yn3_860.smt2                                      |   30.099s | 367.0MiB| timeout | 0 |  |  |
|scheduling/yn1_827.smt2                                      |   30.101s | 411.0MiB| timeout | 0 |  |  |
|scheduling/yn3_894.smt2                                      |   30.103s | 322.0MiB| timeout | 0 |  |  |
|scheduling/yn1_850.smt2                                      |   30.104s | 381.0MiB| timeout | 0 |  |  |
|scheduling/swv13_3000.smt2                                   |   30.126s | 682.0MiB| timeout | 0 |  |  |
|scheduling/swv14_2895.smt2                                   |   30.126s | 655.0MiB| timeout | 0 |  |  |
|skdmxa/skdmxa-3x3-15.smt2                                    |   30.127s | 574.0MiB| timeout | 0 |  |  |
|scheduling/swv12_3050.smt2                                   |   30.129s | 764.0MiB| timeout | 0 |  |  |
|scheduling/swv11_2992.smt2                                   |   30.131s | 644.0MiB| timeout | 0 |  |  |
|skdmxa/skdmxa-3x3-20.smt2                                    |   30.132s | 850.0MiB| timeout | 0 |  |  |
|scheduling/swv13_3150.smt2                                   |   30.132s | 724.0MiB| timeout | 0 |  |  |
|scheduling/swv12_3004.smt2                                   |   30.133s | 694.0MiB| timeout | 0 |  |  |
|scheduling/abz7_800.smt2                                     |   30.133s | 346.0MiB| timeout | 0 |  |  |
|scheduling/swv12_2972.smt2                                   |   30.136s | 678.0MiB| timeout | 0 |  |  |
|scheduling/swv14_2885.smt2                                   |   30.137s | 648.0MiB| timeout | 0 |  |  |
|scheduling/swv12_2990.smt2                                   |   30.140s | 684.0MiB| timeout | 0 |  |  |
|scheduling/swv11_2983.smt2                                   |   30.141s | 640.0MiB| timeout | 0 |  |  |
|scheduling/swv14_2905.smt2                                   |   30.141s | 637.0MiB| timeout | 0 |  |  |
|scheduling/swv14_2800.smt2                                   |   30.142s | 630.0MiB| timeout | 0 |  |  |
|scheduling/swv11_3050.smt2                                   |   30.143s | 632.0MiB| timeout | 0 |  |  |
|scheduling/swv11_2988.smt2                                   |   30.146s | 595.0MiB| timeout | 0 |  |  |
|scheduling/swv14_3000.smt2                                   |   30.147s | 673.0MiB| timeout | 0 |  |  |
|scheduling/swv11_2900.smt2                                   |   30.154s | 635.0MiB| timeout | 0 |  |  |
|skdmxa2/skdmxa-3x3-13.base.cvc.smt2                          |   30.161s | 1190.0MiB| timeout | 0 |  |  |
|skdmxa2/skdmxa-3x3-20.induction.cvc.smt2                     |   30.166s | 985.0MiB| timeout | 0 |  |  |
|skdmxa2/skdmxa-3x3-12.base.cvc.smt2                          |   30.169s | 1112.0MiB| timeout | 0 |  |  |
|scheduling/swv13_3104.smt2                                   |   30.177s | 724.0MiB| timeout | 0 |  |  |
|skdmxa2/skdmxa-3x3-19.base.cvc.smt2                          |   30.177s | 1304.0MiB| timeout | 0 |  |  |
|skdmxa2/skdmxa-3x3-17.base.cvc.smt2                          |   30.180s | 1441.0MiB| timeout | 0 |  |  |
|skdmxa2/skdmxa-3x3-14.base.cvc.smt2                          |   30.185s | 1281.0MiB| timeout | 0 |  |  |
|scheduling/swv13_3200.smt2                                   |   30.193s | 703.0MiB| timeout | 0 |  |  |
|skdmxa2/skdmxa-3x3-20.base.cvc.smt2                          |   30.198s | 1390.0MiB| timeout | 0 |  |  |
|skdmxa2/skdmxa-3x3-18.base.cvc.smt2                          |   30.204s | 1638.0MiB| timeout | 0 |  |  |
|skdmxa2/skdmxa-3x3-16.base.cvc.smt2                          |   30.253s | 1399.0MiB| timeout | 0 |  |  |
|skdmxa2/skdmxa-3x3-15.base.cvc.smt2                          |   30.272s | 1469.0MiB| timeout | 0 |  |  |