# .

* SAT 99
* UNSAT 81
* TIMEOUT 75
* UNKNOWN 0

* UNSET 0

* ERROR 0

# Meta data

<pre>
Ramon benchmark for Z3
-
Job description: 
Job tag: smt_qfrdl-threads-4
Runner: lev-ripper
Z3 repo: ilanashapiro/z3
Z3 commit: c5d65cdedddfb23484175c9234f904988fa6b3fd
Z3 branch: c5d65cdedddfb23484175c9234f904988fa6b3fd
Z3 options: "-T:30 smt.threads=4 tactic.default_tactic=smt"
Z3 inputs: inputs/QF_RDL
Z3 commit message: fix build issues

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>

</pre>


# Statistics
|FILE                                                         |TIME     |MEM        | STATUS   | EXIT | STDOUT | STDERR | 
|------------|----------:|---------:|-------------:| ----------:|--------|--------| 
|SMT-Temporal-Planning-Benchmarks/cooking02.smt2              |    0.075s | 90.4MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-depth-2.smt2          |    0.086s | 91.596MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-matrix1x1.pddl.smt2   |    0.086s | 89.624MiB| sat | 0 |  |  |
|sal/fischer3-mutex-2.smt2                                    |    0.086s | 90.14MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-1.smt2                                    |    0.089s | 90.136MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-width-1.smt2          |    0.090s | 89.624MiB| sat | 0 |  |  |
|sal/fischer3-mutex-6.smt2                                    |    0.093s | 91.676MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-3.smt2                                    |    0.093s | 90.648MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking01.smt2              |    0.096s | 89.884MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking08.smt2              |    0.096s | 93.076MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking03.smt2              |    0.097s | 90.904MiB| sat | 0 |  |  |
|sal/fischer3-mutex-5.smt2                                    |    0.098s | 91.104MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-04.smt2       |    0.099s | 91.416MiB| sat | 0 |  |  |
|sal/fischer6-mutex-5.smt2                                    |    0.102s | 92.952MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking05.smt2              |    0.103s | 91.672MiB| sat | 0 |  |  |
|sal/fischer6-mutex-3.smt2                                    |    0.104s | 91.928MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-03.smt2       |    0.105s | 91.624MiB| sat | 0 |  |  |
|sal/fischer9-mutex-2.smt2                                    |    0.105s | 91.668MiB| unsat | 0 |  |  |
|sal/fischer9-mutex-3.smt2                                    |    0.105s | 92.952MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking04.smt2              |    0.107s | 91.676MiB| sat | 0 |  |  |
|sal/fischer6-mutex-4.smt2                                    |    0.107s | 92.26MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-width-2.smt2          |    0.108s | 92.128MiB| sat | 0 |  |  |
|sal/fischer9-mutex-1.smt2                                    |    0.108s | 90.648MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking06.smt2              |    0.109s | 92.44MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-10.smt2       |    0.110s | 95.636MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-06.smt2       |    0.110s | 92.452MiB| sat | 0 |  |  |
|sal/fischer3-mutex-7.smt2                                    |    0.110s | 91.928MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-05.smt2       |    0.112s | 92.952MiB| sat | 0 |  |  |
|sal/fischer6-mutex-2.smt2                                    |    0.112s | 91.16MiB| unsat | 0 |  |  |
|sal/fischer9-mutex-4.smt2                                    |    0.114s | 93.976MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking07.smt2              |    0.115s | 92.696MiB| sat | 0 |  |  |
|sal/fischer3-mutex-1.smt2                                    |    0.115s | 89.88MiB| unsat | 0 |  |  |
|check/bignum_rdl2.smt2                                       |    0.118s | 88.856MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking14.smt2              |    0.120s | 96.024MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking13.smt2              |    0.121s | 95.684MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-07.smt2       |    0.122s | 93.688MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-08.smt2       |    0.122s | 93.676MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking09.smt2              |    0.123s | 94.1MiB| sat | 0 |  |  |
|sal/fischer6-mutex-6.smt2                                    |    0.125s | 93.464MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking10.smt2              |    0.126s | 94.804MiB| sat | 0 |  |  |
|check/bignum_rdl1.smt2                                       |    0.127s | 89.112MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking11.smt2              |    0.127s | 94.864MiB| sat | 0 |  |  |
|sal/fischer9-mutex-5.smt2                                    |    0.128s | 95.308MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-09.smt2       |    0.131s | 96.076MiB| sat | 0 |  |  |
|sal/fischer3-mutex-8.smt2                                    |    0.134s | 92.444MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking12.smt2              |    0.140s | 95.128MiB| sat | 0 |  |  |
|sal/fischer3-mutex-9.smt2                                    |    0.146s | 94.232MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking16.smt2              |    0.147s | 96.76MiB| sat | 0 |  |  |
|sal/fischer3-mutex-4.smt2                                    |    0.148s | 90.912MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking15.smt2              |    0.149s | 96.764MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking17.smt2              |    0.154s | 98.164MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-depth-3.smt2          |    0.155s | 96.892MiB| sat | 0 |  |  |
|sal/fischer6-mutex-7.smt2                                    |    0.160s | 95.512MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking19.smt2              |    0.164s | 98.56MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking21.smt2              |    0.166s | 99.712MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking18.smt2              |    0.167s | 98.296MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking20.smt2              |    0.171s | 99.284MiB| sat | 0 |  |  |
|sal/fischer3-mutex-10.smt2                                   |    0.172s | 94.232MiB| unsat | 0 |  |  |
|sal/fischer9-mutex-7.smt2                                    |    0.179s | 98.828MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking22.smt2              |    0.181s | 97.0MiB| sat | 0 |  |  |
|sal/fischer6-mutex-8.smt2                                    |    0.190s | 97.624MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-20.smt2       |    0.197s | 98.0MiB| sat | 0 |  |  |
|scheduling/abz5_1000.smt2                                    |    0.216s | 98.0MiB| unsat | 0 |  |  |
|scheduling/orb10_800.smt2                                    |    0.228s | 99.0MiB| unsat | 0 |  |  |
|scheduling/abz6_800.smt2                                     |    0.230s | 98.0MiB| unsat | 0 |  |  |
|scheduling/orb07_250.smt2                                    |    0.280s | 96.036MiB| unsat | 0 |  |  |
|scheduling/orb05_700.smt2                                    |    0.284s | 99.0MiB| unsat | 0 |  |  |
|scheduling/orb08_700.smt2                                    |    0.289s | 98.0MiB| unsat | 0 |  |  |
|scheduling/orb02_1000.smt2                                   |    0.291s | 101.0MiB| sat | 0 |  |  |
|scheduling/abz6_1100.smt2                                    |    0.304s | 102.0MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-30.smt2       |    0.313s | 103.0MiB| sat | 0 |  |  |
|sal/fischer9-mutex-6.smt2                                    |    0.313s | 97.304MiB| unsat | 0 |  |  |
|scheduling/orb02_700.smt2                                    |    0.323s | 98.328MiB| unsat | 0 |  |  |
|scheduling/orb04_850.smt2                                    |    0.330s | 98.0MiB| unsat | 0 |  |  |
|scheduling/orb09_800.smt2                                    |    0.335s | 99.0MiB| unsat | 0 |  |  |
|scheduling/orb07_330.smt2                                    |    0.348s | 98.072MiB| unsat | 0 |  |  |
|scheduling/orb04_1200.smt2                                   |    0.357s | 103.0MiB| sat | 0 |  |  |
|scheduling/abz6_900.smt2                                     |    0.364s | 100.0MiB| unsat | 0 |  |  |
|scheduling/orb07_550.smt2                                    |    0.366s | 103.0MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-width-3.smt2          |    0.377s | 98.0MiB| sat | 0 |  |  |
|scheduling/orb06_1200.smt2                                   |    0.390s | 102.0MiB| sat | 0 |  |  |
|scheduling/orb05_800.smt2                                    |    0.391s | 101.0MiB| unsat | 0 |  |  |
|scheduling/orb08_830.smt2                                    |    0.392s | 100.0MiB| unsat | 0 |  |  |
|scheduling/orb09_1000.smt2                                   |    0.394s | 102.0MiB| sat | 0 |  |  |
|scheduling/abz6_1000.smt2                                    |    0.404s | 102.0MiB| sat | 0 |  |  |
|sal/fischer3-mutex-11.smt2                                   |    0.407s | 101.0MiB| unsat | 0 |  |  |
|scheduling/abz5_1400.smt2                                    |    0.410s | 101.0MiB| sat | 0 |  |  |
|scheduling/orb02_800.smt2                                    |    0.417s | 99.0MiB| unsat | 0 |  |  |
|skdmxa/skdmxa-3x3-5.smt2                                     |    0.433s | 133.0MiB| unsat | 0 |  |  |
|scheduling/orb03_850.smt2                                    |    0.450s | 101.0MiB| unsat | 0 |  |  |
|scheduling/orb09_1100.smt2                                   |    0.451s | 102.0MiB| sat | 0 |  |  |
|scheduling/orb10_1100.smt2                                   |    0.457s | 103.0MiB| sat | 0 |  |  |
|scheduling/abz5_1300.smt2                                    |    0.513s | 103.0MiB| sat | 0 |  |  |
|sal/fischer3-mutex-12.smt2                                   |    0.554s | 103.0MiB| unsat | 0 |  |  |
|scheduling/orb06_900.smt2                                    |    0.596s | 102.0MiB| unsat | 0 |  |  |
|scheduling/orb05_1000.smt2                                   |    0.622s | 104.0MiB| sat | 0 |  |  |
|sal/fischer9-mutex-8.smt2                                    |    0.629s | 119.0MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-40.smt2       |    0.635s | 115.0MiB| sat | 0 |  |  |
|scheduling/orb03_1200.smt2                                   |    0.659s | 105.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-6.base.cvc.smt2                           |    0.681s | 188.0MiB| unsat | 0 |  |  |
|scheduling/orb08_1000.smt2                                   |    0.683s | 105.0MiB| sat | 0 |  |  |
|scheduling/orb01_900.smt2                                    |    0.685s | 102.0MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-13.smt2                                   |    0.685s | 104.0MiB| unsat | 0 |  |  |
|scheduling/orb04_950.smt2                                    |    0.688s | 102.0MiB| unsat | 0 |  |  |
|scheduling/orb04_1100.smt2                                   |    0.709s | 105.0MiB| sat | 0 |  |  |
|scheduling/orb06_1100.smt2                                   |    0.750s | 105.0MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-depth-4.smt2          |    0.776s | 138.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-5.induction.cvc.smt2                      |    0.780s | 208.0MiB| sat | 0 |  |  |
|scheduling/abz6_943.smt2                                     |    0.784s | 102.0MiB| sat | 0 |  |  |
|scheduling/orb10_1000.smt2                                   |    0.845s | 104.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-7.base.cvc.smt2                           |    0.852s | 203.0MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-9.smt2                                    |    0.906s | 111.0MiB| unsat | 0 |  |  |
|scheduling/orb07_430.smt2                                    |    0.952s | 105.0MiB| sat | 0 |  |  |
|scheduling/orb01_1200.smt2                                   |    1.036s | 106.0MiB| sat | 0 |  |  |
|sal/fischer3-mutex-14.smt2                                   |    1.043s | 106.0MiB| unsat | 0 |  |  |
|scheduling/orb10_900.smt2                                    |    1.085s | 108.0MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-60.smt2       |    1.089s | 173.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-5.base.cvc.smt2                           |    1.114s | 162.0MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-width-4.smt2          |    1.125s | 200.0MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-depth-5.smt2          |    1.155s | 194.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-6.induction.cvc.smt2                      |    1.278s | 255.0MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-70.smt2       |    1.314s | 214.0MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-80.smt2       |    1.361s | 223.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-9.base.cvc.smt2                           |    1.383s | 242.0MiB| unsat | 0 |  |  |
|scheduling/orb02_900.smt2                                    |    1.429s | 117.0MiB| sat | 0 |  |  |
|sal/fischer3-mutex-15.smt2                                   |    1.468s | 109.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-8.base.cvc.smt2                           |    1.577s | 227.0MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-90.smt2       |    1.596s | 264.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-7.induction.cvc.smt2                      |    1.703s | 295.0MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-depth-6.smt2          |    1.790s | 297.0MiB| sat | 0 |  |  |
|sal/fischer3-mutex-16.smt2                                   |    1.980s | 111.0MiB| unsat | 0 |  |  |
|skdmxa/skdmxa-3x3-10.smt2                                    |    1.986s | 186.0MiB| unsat | 0 |  |  |
|scheduling/yn1_750.smt2                                      |    2.154s | 243.0MiB| unsat | 0 |  |  |
|scheduling/abz7_500.smt2                                     |    2.218s | 189.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-8.induction.cvc.smt2                      |    2.478s | 322.0MiB| sat | 0 |  |  |
|scheduling/orb03_1100.smt2                                   |    2.482s | 120.0MiB| sat | 0 |  |  |
|scheduling/orb08_930.smt2                                    |    2.493s | 120.0MiB| sat | 0 |  |  |
|sal/fischer3-mutex-17.smt2                                   |    2.767s | 114.0MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-18.smt2                                   |    2.809s | 115.0MiB| unsat | 0 |  |  |
|scheduling/orb02_888.smt2                                    |    3.175s | 118.0MiB| sat | 0 |  |  |
|scheduling/orb09_900.smt2                                    |    3.260s | 118.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-10.base.cvc.smt2                          |    3.389s | 302.0MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-depth-7.smt2          |    3.438s | 452.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-10.induction.cvc.smt2                     |    3.544s | 431.0MiB| sat | 0 |  |  |
|sal/fischer6-mutex-10.smt2                                   |    3.550s | 119.0MiB| unsat | 0 |  |  |
|scheduling/abz5_1200.smt2                                    |    3.786s | 118.0MiB| unsat | 0 |  |  |
|sal/fischer9-mutex-9.smt2                                    |    3.905s | 134.0MiB| unsat | 0 |  |  |
|scheduling/abz5_1234.smt2                                    |    3.907s | 119.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-9.induction.cvc.smt2                      |    4.390s | 348.0MiB| sat | 0 |  |  |
|scheduling/orb05_900.smt2                                    |    4.569s | 119.0MiB| sat | 0 |  |  |
|scheduling/yn3_750.smt2                                      |    4.684s | 267.0MiB| unsat | 0 |  |  |
|scheduling/yn2_750.smt2                                      |    4.814s | 251.0MiB| unsat | 0 |  |  |
|scheduling/orb09_934.smt2                                    |    4.853s | 120.0MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-width-5.smt2          |    5.008s | 437.0MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-matrix2x2.pddl.smt2   |    5.116s | 715.0MiB| sat | 0 |  |  |
|sal/fischer3-mutex-19.smt2                                   |    5.253s | 119.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-11.induction.cvc.smt2                     |    6.283s | 472.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-12.induction.cvc.smt2                     |    6.293s | 516.0MiB| sat | 0 |  |  |
|sal/fischer3-mutex-20.smt2                                   |    6.386s | 122.0MiB| unsat | 0 |  |  |
|scheduling/orb07_397.smt2                                    |    7.835s | 121.0MiB| sat | 0 |  |  |
|scheduling/orb10_944.smt2                                    |    8.008s | 121.0MiB| sat | 0 |  |  |
|sal/fischer6-mutex-11.smt2                                   |    8.095s | 126.0MiB| unsat | 0 |  |  |
|scheduling/orb03_950.smt2                                    |    9.275s | 122.0MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-width-6.smt2          |    9.294s | 833.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-13.induction.cvc.smt2                     |    9.729s | 552.0MiB| sat | 0 |  |  |
|scheduling/orb01_1100.smt2                                   |    9.995s | 126.0MiB| sat | 0 |  |  |
|scheduling/orb05_887.smt2                                    |   11.053s | 123.0MiB| sat | 0 |  |  |
|sal/fischer6-mutex-12.smt2                                   |   11.530s | 135.0MiB| unsat | 0 |  |  |
|scheduling/orb08_888.smt2                                    |   12.117s | 124.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-14.induction.cvc.smt2                     |   12.434s | 631.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-16.induction.cvc.smt2                     |   13.361s | 712.0MiB| sat | 0 |  |  |
|scheduling/orb04_1005.smt2                                   |   13.876s | 124.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-11.base.cvc.smt2                          |   14.634s | 863.0MiB| unsat | 0 |  |  |
|sal/fischer9-mutex-10.smt2                                   |   14.850s | 148.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-15.induction.cvc.smt2                     |   16.368s | 685.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-19.induction.cvc.smt2                     |   16.673s | 805.0MiB| sat | 0 |  |  |
|sal/fischer6-mutex-13.smt2                                   |   17.220s | 140.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-17.induction.cvc.smt2                     |   19.954s | 816.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-18.induction.cvc.smt2                     |   23.250s | 828.0MiB| sat | 0 |  |  |
|scheduling/orb01_1000.smt2                                   |   28.007s | 126.0MiB| unsat | 0 |  |  |
|sal/fischer9-mutex-12.smt2                                   |   30.029s | 169.0MiB| timeout | 0 |  |  |
|sal/fischer6-mutex-17.smt2                                   |   30.037s | 169.0MiB| timeout | 0 |  |  |
|sal/fischer6-mutex-16.smt2                                   |   30.039s | 163.0MiB| timeout | 0 |  |  |
|sal/fischer9-mutex-15.smt2                                   |   30.039s | 210.0MiB| timeout | 0 |  |  |
|sal/fischer9-mutex-11.smt2                                   |   30.041s | 165.0MiB| timeout | 0 |  |  |
|scheduling/orb06_1000.smt2                                   |   30.043s | 128.0MiB| timeout | 0 |  |  |
|sal/fischer9-mutex-18.smt2                                   |   30.046s | 237.0MiB| timeout | 0 |  |  |
|sal/fischer6-mutex-20.smt2                                   |   30.046s | 181.0MiB| timeout | 0 |  |  |
|sal/fischer6-mutex-18.smt2                                   |   30.046s | 170.0MiB| timeout | 0 |  |  |
|sal/fischer9-mutex-17.smt2                                   |   30.048s | 228.0MiB| timeout | 0 |  |  |
|sal/fischer9-mutex-13.smt2                                   |   30.048s | 186.0MiB| timeout | 0 |  |  |
|sal/fischer9-mutex-16.smt2                                   |   30.048s | 220.0MiB| timeout | 0 |  |  |
|sal/fischer6-mutex-14.smt2                                   |   30.049s | 155.0MiB| timeout | 0 |  |  |
|scheduling/orb03_1005.smt2                                   |   30.050s | 129.0MiB| timeout | 0 |  |  |
|scheduling/orb01_1059.smt2                                   |   30.050s | 129.0MiB| timeout | 0 |  |  |
|scheduling/orb06_1010.smt2                                   |   30.052s | 129.0MiB| timeout | 0 |  |  |
|sal/fischer6-mutex-15.smt2                                   |   30.052s | 156.0MiB| timeout | 0 |  |  |
|sal/fischer9-mutex-19.smt2                                   |   30.054s | 241.0MiB| timeout | 0 |  |  |
|sal/fischer6-mutex-19.smt2                                   |   30.056s | 177.0MiB| timeout | 0 |  |  |
|sal/fischer9-mutex-20.smt2                                   |   30.064s | 249.0MiB| timeout | 0 |  |  |
|sal/fischer9-mutex-14.smt2                                   |   30.064s | 195.0MiB| timeout | 0 |  |  |
|scheduling/yn3_828.smt2                                      |   30.065s | 417.0MiB| timeout | 0 |  |  |
|scheduling/yn4_1000.smt2                                     |   30.073s | 322.0MiB| timeout | 0 |  |  |
|scheduling/yn3_950.smt2                                      |   30.074s | 344.0MiB| timeout | 0 |  |  |
|scheduling/abz7_600.smt2                                     |   30.079s | 329.0MiB| timeout | 0 |  |  |
|scheduling/abz7_691.smt2                                     |   30.080s | 342.0MiB| timeout | 0 |  |  |
|scheduling/yn1_887.smt2                                      |   30.081s | 357.0MiB| timeout | 0 |  |  |
|scheduling/abz7_670.smt2                                     |   30.081s | 337.0MiB| timeout | 0 |  |  |
|scheduling/yn4_919.smt2                                      |   30.082s | 318.0MiB| timeout | 0 |  |  |
|scheduling/yn2_910.smt2                                      |   30.085s | 351.0MiB| timeout | 0 |  |  |
|scheduling/yn2_950.smt2                                      |   30.086s | 427.0MiB| timeout | 0 |  |  |
|scheduling/yn2_862.smt2                                      |   30.090s | 397.0MiB| timeout | 0 |  |  |
|scheduling/yn1_950.smt2                                      |   30.090s | 388.0MiB| timeout | 0 |  |  |
|scheduling/abz7_800.smt2                                     |   30.091s | 362.0MiB| timeout | 0 |  |  |
|scheduling/yn1_850.smt2                                      |   30.095s | 322.0MiB| timeout | 0 |  |  |
|scheduling/yn3_860.smt2                                      |   30.095s | 395.0MiB| timeout | 0 |  |  |
|scheduling/yn4_850.smt2                                      |   30.096s | 306.0MiB| timeout | 0 |  |  |
|scheduling/yn3_894.smt2                                      |   30.097s | 355.0MiB| timeout | 0 |  |  |
|scheduling/yn1_827.smt2                                      |   30.098s | 409.0MiB| timeout | 0 |  |  |
|scheduling/yn4_950.smt2                                      |   30.098s | 328.0MiB| timeout | 0 |  |  |
|scheduling/abz7_700.smt2                                     |   30.100s | 352.0MiB| timeout | 0 |  |  |
|scheduling/abz7_667.smt2                                     |   30.102s | 343.0MiB| timeout | 0 |  |  |
|skdmxa2/skdmxa-3x3-20.base.cvc.smt2                          |   30.115s | 694.0MiB| timeout | 0 |  |  |
|skdmxa2/skdmxa-3x3-17.base.cvc.smt2                          |   30.127s | 723.0MiB| timeout | 0 |  |  |
|scheduling/yn2_890.smt2                                      |   30.128s | 413.0MiB| timeout | 0 |  |  |
|scheduling/swv11_2900.smt2                                   |   30.130s | 624.0MiB| timeout | 0 |  |  |
|skdmxa2/skdmxa-3x3-19.base.cvc.smt2                          |   30.132s | 688.0MiB| timeout | 0 |  |  |
|scheduling/swv11_3050.smt2                                   |   30.133s | 679.0MiB| timeout | 0 |  |  |
|scheduling/swv14_2905.smt2                                   |   30.134s | 640.0MiB| timeout | 0 |  |  |
|scheduling/swv14_2885.smt2                                   |   30.134s | 643.0MiB| timeout | 0 |  |  |
|scheduling/swv12_2972.smt2                                   |   30.134s | 680.0MiB| timeout | 0 |  |  |
|scheduling/yn4_969.smt2                                      |   30.137s | 336.0MiB| timeout | 0 |  |  |
|skdmxa/skdmxa-3x3-15.smt2                                    |   30.138s | 601.0MiB| timeout | 0 |  |  |
|scheduling/swv13_3200.smt2                                   |   30.140s | 688.0MiB| timeout | 0 |  |  |
|scheduling/swv14_3000.smt2                                   |   30.142s | 696.0MiB| timeout | 0 |  |  |
|scheduling/swv12_3050.smt2                                   |   30.144s | 739.0MiB| timeout | 0 |  |  |
|scheduling/swv13_3104.smt2                                   |   30.144s | 696.0MiB| timeout | 0 |  |  |
|scheduling/swv14_2800.smt2                                   |   30.145s | 664.0MiB| timeout | 0 |  |  |
|scheduling/swv14_2895.smt2                                   |   30.152s | 639.0MiB| timeout | 0 |  |  |
|skdmxa/skdmxa-3x3-20.smt2                                    |   30.154s | 904.0MiB| timeout | 0 |  |  |
|scheduling/swv12_3004.smt2                                   |   30.155s | 699.0MiB| timeout | 0 |  |  |
|scheduling/swv13_3000.smt2                                   |   30.157s | 663.0MiB| timeout | 0 |  |  |
|scheduling/swv12_2990.smt2                                   |   30.162s | 668.0MiB| timeout | 0 |  |  |
|scheduling/swv11_2992.smt2                                   |   30.167s | 606.0MiB| timeout | 0 |  |  |
|skdmxa2/skdmxa-3x3-18.base.cvc.smt2                          |   30.170s | 963.0MiB| timeout | 0 |  |  |
|scheduling/swv13_3150.smt2                                   |   30.197s | 715.0MiB| timeout | 0 |  |  |
|scheduling/swv12_2900.smt2                                   |   30.198s | 672.0MiB| timeout | 0 |  |  |
|skdmxa2/skdmxa-3x3-20.induction.cvc.smt2                     |   30.209s | 916.0MiB| timeout | 0 |  |  |
|scheduling/swv11_2983.smt2                                   |   30.216s | 658.0MiB| timeout | 0 |  |  |
|skdmxa2/skdmxa-3x3-12.base.cvc.smt2                          |   30.217s | 1203.0MiB| timeout | 0 |  |  |
|scheduling/swv11_2988.smt2                                   |   30.224s | 593.0MiB| timeout | 0 |  |  |
|skdmxa2/skdmxa-3x3-13.base.cvc.smt2                          |   30.232s | 1544.0MiB| timeout | 0 |  |  |
|skdmxa2/skdmxa-3x3-14.base.cvc.smt2                          |   30.247s | 1660.0MiB| timeout | 0 |  |  |
|skdmxa2/skdmxa-3x3-15.base.cvc.smt2                          |   30.252s | 1609.0MiB| timeout | 0 |  |  |
|skdmxa2/skdmxa-3x3-16.base.cvc.smt2                          |   30.300s | 1414.0MiB| timeout | 0 |  |  |