# .

* SAT 98
* UNSAT 80
* TIMEOUT 77
* UNKNOWN 0

* UNSET 0

* ERROR 0

# Meta data

<pre>
Ramon benchmark for Z3
-
Job description: 
Job tag: smt_qfrdl-threads-4-smts_tree_algorithms
Runner: rise-runner-2
Z3 repo: ilanashapiro/z3
Z3 commit: 6d9bea5ec16352bbbd832e6b1578f6b266699544
Z3 branch: smts_tree_algorithms
Z3 options: "-T:60 smt.threads=4 tactic.default_tactic=smt smt.auto_config=false"
Z3 inputs: inputs/QF_RDL
Z3 commit message: clean up a function and add comment

</pre>


# Statistics
|FILE                                                         |TIME     |MEM        | STATUS   | EXIT | STDOUT | STDERR | 
|------------|----------:|---------:|-------------:| ----------:|--------|--------| 
|SMT-Temporal-Planning-Benchmarks/tempo-matrix1x1.pddl.smt2   |    0.074s | 90.788MiB| sat | 0 |  |  |
|check/bignum_rdl2.smt2                                       |    0.076s | 90.116MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking01.smt2              |    0.093s | 92.12MiB| sat | 0 |  |  |
|sal/fischer6-mutex-1.smt2                                    |    0.093s | 91.912MiB| unsat | 0 |  |  |
|check/bignum_rdl1.smt2                                       |    0.094s | 90.244MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking02.smt2              |    0.095s | 93.396MiB| sat | 0 |  |  |
|sal/fischer6-mutex-2.smt2                                    |    0.099s | 93.392MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-depth-2.smt2          |    0.107s | 95.788MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-width-1.smt2          |    0.109s | 90.832MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking04.smt2              |    0.110s | 95.964MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-width-2.smt2          |    0.113s | 95.968MiB| sat | 0 |  |  |
|sal/fischer3-mutex-1.smt2                                    |    0.113s | 90.836MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking05.smt2              |    0.114s | 97.172MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-03.smt2       |    0.117s | 96.06MiB| sat | 0 |  |  |
|sal/fischer3-mutex-3.smt2                                    |    0.118s | 92.548MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-2.smt2                                    |    0.119s | 92.088MiB| unsat | 0 |  |  |
|sal/fischer9-mutex-1.smt2                                    |    0.121s | 92.732MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-06.smt2       |    0.125s | 99.284MiB| sat | 0 |  |  |
|sal/fischer6-mutex-3.smt2                                    |    0.125s | 94.676MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-05.smt2       |    0.126s | 98.7MiB| sat | 0 |  |  |
|sal/fischer3-mutex-5.smt2                                    |    0.130s | 94.68MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-6.smt2                                    |    0.134s | 95.74MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-4.smt2                                    |    0.134s | 93.392MiB| unsat | 0 |  |  |
|sal/fischer9-mutex-2.smt2                                    |    0.134s | 94.964MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking03.smt2              |    0.139s | 94.652MiB| sat | 0 |  |  |
|sal/fischer3-mutex-7.smt2                                    |    0.140s | 97.268MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-07.smt2       |    0.141s | 98.0MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-08.smt2       |    0.144s | 99.0MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking09.smt2              |    0.146s | 99.0MiB| sat | 0 |  |  |
|sal/fischer6-mutex-4.smt2                                    |    0.146s | 97.244MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-04.smt2       |    0.147s | 96.212MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking06.smt2              |    0.148s | 98.264MiB| sat | 0 |  |  |
|sal/fischer9-mutex-3.smt2                                    |    0.152s | 97.444MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking10.smt2              |    0.156s | 101.0MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-10.smt2       |    0.156s | 101.0MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking07.smt2              |    0.156s | 99.688MiB| sat | 0 |  |  |
|scheduling/orb07_250.smt2                                    |    0.157s | 98.0MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking12.smt2              |    0.160s | 103.0MiB| sat | 0 |  |  |
|scheduling/orb07_330.smt2                                    |    0.167s | 101.0MiB| unsat | 0 |  |  |
|scheduling/abz6_800.smt2                                     |    0.168s | 100.0MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking08.smt2              |    0.168s | 98.0MiB| sat | 0 |  |  |
|scheduling/orb02_700.smt2                                    |    0.172s | 99.0MiB| unsat | 0 |  |  |
|scheduling/abz5_1000.smt2                                    |    0.175s | 103.0MiB| unsat | 0 |  |  |
|sal/fischer9-mutex-4.smt2                                    |    0.176s | 98.0MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-5.smt2                                    |    0.177s | 99.448MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking13.smt2              |    0.180s | 104.0MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-depth-3.smt2          |    0.185s | 104.0MiB| sat | 0 |  |  |
|scheduling/orb05_700.smt2                                    |    0.186s | 103.0MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking11.smt2              |    0.190s | 102.0MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-09.smt2       |    0.193s | 101.0MiB| sat | 0 |  |  |
|scheduling/orb04_850.smt2                                    |    0.200s | 103.0MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-6.smt2                                    |    0.201s | 99.0MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking19.smt2              |    0.208s | 109.0MiB| sat | 0 |  |  |
|sal/fischer3-mutex-8.smt2                                    |    0.211s | 98.772MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking14.smt2              |    0.213s | 105.0MiB| sat | 0 |  |  |
|scheduling/orb08_700.smt2                                    |    0.218s | 104.0MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking15.smt2              |    0.218s | 106.0MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking16.smt2              |    0.223s | 107.0MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking20.smt2              |    0.228s | 112.0MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking17.smt2              |    0.231s | 109.0MiB| sat | 0 |  |  |
|sal/fischer9-mutex-5.smt2                                    |    0.231s | 104.0MiB| unsat | 0 |  |  |
|scheduling/orb07_550.smt2                                    |    0.235s | 107.0MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking18.smt2              |    0.242s | 110.0MiB| sat | 0 |  |  |
|scheduling/orb02_800.smt2                                    |    0.246s | 104.0MiB| unsat | 0 |  |  |
|scheduling/orb09_800.smt2                                    |    0.252s | 105.0MiB| unsat | 0 |  |  |
|sal/fischer9-mutex-6.smt2                                    |    0.262s | 107.0MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking21.smt2              |    0.263s | 112.0MiB| sat | 0 |  |  |
|scheduling/orb10_800.smt2                                    |    0.264s | 105.0MiB| unsat | 0 |  |  |
|scheduling/orb04_1200.smt2                                   |    0.271s | 108.0MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking22.smt2              |    0.272s | 115.0MiB| sat | 0 |  |  |
|sal/fischer6-mutex-7.smt2                                    |    0.274s | 102.0MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-20.smt2       |    0.283s | 115.0MiB| sat | 0 |  |  |
|scheduling/abz5_1400.smt2                                    |    0.284s | 108.0MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-width-3.smt2          |    0.290s | 112.0MiB| sat | 0 |  |  |
|scheduling/orb06_1200.smt2                                   |    0.314s | 109.0MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-30.smt2       |    0.330s | 128.0MiB| sat | 0 |  |  |
|scheduling/orb09_1100.smt2                                   |    0.334s | 109.0MiB| sat | 0 |  |  |
|sal/fischer3-mutex-9.smt2                                    |    0.336s | 98.0MiB| unsat | 0 |  |  |
|scheduling/orb10_1100.smt2                                   |    0.344s | 108.0MiB| sat | 0 |  |  |
|scheduling/orb04_1100.smt2                                   |    0.358s | 109.0MiB| sat | 0 |  |  |
|scheduling/orb02_1000.smt2                                   |    0.362s | 109.0MiB| sat | 0 |  |  |
|scheduling/abz6_900.smt2                                     |    0.380s | 106.0MiB| unsat | 0 |  |  |
|scheduling/orb03_850.smt2                                    |    0.385s | 107.0MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-depth-4.smt2          |    0.402s | 127.0MiB| sat | 0 |  |  |
|scheduling/abz6_1100.smt2                                    |    0.405s | 109.0MiB| sat | 0 |  |  |
|scheduling/orb05_1000.smt2                                   |    0.415s | 109.0MiB| sat | 0 |  |  |
|scheduling/orb08_830.smt2                                    |    0.418s | 108.0MiB| unsat | 0 |  |  |
|sal/fischer9-mutex-7.smt2                                    |    0.452s | 113.0MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-40.smt2       |    0.482s | 142.0MiB| sat | 0 |  |  |
|scheduling/orb07_430.smt2                                    |    0.502s | 110.0MiB| sat | 0 |  |  |
|scheduling/abz6_1000.smt2                                    |    0.507s | 110.0MiB| sat | 0 |  |  |
|sal/fischer6-mutex-8.smt2                                    |    0.511s | 105.0MiB| unsat | 0 |  |  |
|scheduling/orb05_800.smt2                                    |    0.518s | 107.0MiB| unsat | 0 |  |  |
|scheduling/orb04_950.smt2                                    |    0.585s | 109.0MiB| unsat | 0 |  |  |
|scheduling/orb06_900.smt2                                    |    0.598s | 108.0MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-60.smt2       |    0.683s | 166.0MiB| sat | 0 |  |  |
|sal/fischer3-mutex-10.smt2                                   |    0.699s | 100.0MiB| unsat | 0 |  |  |
|scheduling/orb01_900.smt2                                    |    0.734s | 108.0MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-depth-5.smt2          |    0.740s | 163.0MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-70.smt2       |    0.802s | 188.0MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-width-4.smt2          |    0.845s | 159.0MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-80.smt2       |    0.887s | 192.0MiB| sat | 0 |  |  |
|scheduling/orb10_1000.smt2                                   |    0.897s | 111.0MiB| sat | 0 |  |  |
|sal/fischer9-mutex-8.smt2                                    |    0.954s | 119.0MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-90.smt2       |    0.970s | 212.0MiB| sat | 0 |  |  |
|sal/fischer3-mutex-11.smt2                                   |    0.990s | 102.0MiB| unsat | 0 |  |  |
|scheduling/orb02_900.smt2                                    |    1.031s | 111.0MiB| sat | 0 |  |  |
|scheduling/abz5_1300.smt2                                    |    1.073s | 112.0MiB| sat | 0 |  |  |
|scheduling/orb09_1000.smt2                                   |    1.300s | 113.0MiB| sat | 0 |  |  |
|scheduling/orb01_1200.smt2                                   |    1.373s | 114.0MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-depth-6.smt2          |    1.396s | 229.0MiB| sat | 0 |  |  |
|skdmxa/skdmxa-3x3-5.smt2                                     |    1.424s | 180.0MiB| unsat | 0 |  |  |
|scheduling/abz7_500.smt2                                     |    1.537s | 206.0MiB| unsat | 0 |  |  |
|scheduling/yn1_750.smt2                                      |    1.711s | 267.0MiB| unsat | 0 |  |  |
|scheduling/orb10_900.smt2                                    |    1.772s | 110.0MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-12.smt2                                   |    1.817s | 105.0MiB| unsat | 0 |  |  |
|scheduling/yn3_750.smt2                                      |    1.842s | 273.0MiB| unsat | 0 |  |  |
|scheduling/abz6_943.smt2                                     |    1.946s | 112.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-5.induction.cvc.smt2                      |    2.067s | 268.0MiB| sat | 0 |  |  |
|scheduling/orb03_1200.smt2                                   |    2.099s | 115.0MiB| sat | 0 |  |  |
|scheduling/yn2_750.smt2                                      |    2.182s | 269.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-5.base.cvc.smt2                           |    2.187s | 256.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-6.induction.cvc.smt2                      |    2.256s | 340.0MiB| sat | 0 |  |  |
|sal/fischer3-mutex-13.smt2                                   |    2.421s | 107.0MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-9.smt2                                    |    2.430s | 113.0MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-14.smt2                                   |    2.475s | 108.0MiB| unsat | 0 |  |  |
|scheduling/orb06_1100.smt2                                   |    2.794s | 115.0MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-depth-7.smt2          |    2.837s | 358.0MiB| sat | 0 |  |  |
|scheduling/orb09_900.smt2                                    |    2.907s | 112.0MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-width-5.smt2          |    2.909s | 298.0MiB| sat | 0 |  |  |
|scheduling/orb02_888.smt2                                    |    3.145s | 113.0MiB| sat | 0 |  |  |
|sal/fischer3-mutex-15.smt2                                   |    3.340s | 111.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-6.base.cvc.smt2                           |    3.526s | 343.0MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-16.smt2                                   |    3.552s | 113.0MiB| unsat | 0 |  |  |
|scheduling/orb08_1000.smt2                                   |    3.553s | 115.0MiB| sat | 0 |  |  |
|scheduling/abz5_1200.smt2                                    |    3.749s | 111.0MiB| unsat | 0 |  |  |
|scheduling/abz5_1234.smt2                                    |    3.980s | 113.0MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-matrix2x2.pddl.smt2   |    4.179s | 520.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-7.base.cvc.smt2                           |    4.618s | 397.0MiB| unsat | 0 |  |  |
|scheduling/orb05_900.smt2                                    |    4.624s | 114.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-8.induction.cvc.smt2                      |    5.149s | 465.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-7.induction.cvc.smt2                      |    5.340s | 442.0MiB| sat | 0 |  |  |
|scheduling/orb09_934.smt2                                    |    5.493s | 115.0MiB| sat | 0 |  |  |
|sal/fischer6-mutex-10.smt2                                   |    6.475s | 120.0MiB| unsat | 0 |  |  |
|scheduling/orb07_397.smt2                                    |    6.506s | 114.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-8.base.cvc.smt2                           |    6.702s | 505.0MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-17.smt2                                   |    7.146s | 117.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-9.induction.cvc.smt2                      |    7.605s | 537.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-10.induction.cvc.smt2                     |    7.671s | 584.0MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-width-6.smt2          |    8.059s | 559.0MiB| sat | 0 |  |  |
|sal/fischer9-mutex-9.smt2                                    |    8.467s | 138.0MiB| unsat | 0 |  |  |
|scheduling/orb10_944.smt2                                    |    9.512s | 116.0MiB| sat | 0 |  |  |
|skdmxa/skdmxa-3x3-10.smt2                                    |   10.554s | 330.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-11.induction.cvc.smt2                     |   11.346s | 679.0MiB| sat | 0 |  |  |
|scheduling/orb03_950.smt2                                    |   11.505s | 117.0MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-18.smt2                                   |   11.537s | 120.0MiB| unsat | 0 |  |  |
|scheduling/orb05_887.smt2                                    |   12.552s | 118.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-12.induction.cvc.smt2                     |   13.275s | 784.0MiB| sat | 0 |  |  |
|scheduling/orb04_1005.smt2                                   |   13.436s | 118.0MiB| sat | 0 |  |  |
|sal/fischer3-mutex-19.smt2                                   |   13.800s | 123.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-9.base.cvc.smt2                           |   13.924s | 688.0MiB| unsat | 0 |  |  |
|scheduling/orb08_930.smt2                                    |   13.961s | 119.0MiB| sat | 0 |  |  |
|scheduling/orb03_1100.smt2                                   |   16.337s | 120.0MiB| sat | 0 |  |  |
|scheduling/orb08_888.smt2                                    |   16.933s | 118.0MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-11.smt2                                   |   21.591s | 131.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-13.induction.cvc.smt2                     |   22.433s | 965.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-10.base.cvc.smt2                          |   22.688s | 771.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-14.induction.cvc.smt2                     |   22.765s | 983.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-16.induction.cvc.smt2                     |   23.745s | 1095.0MiB| sat | 0 |  |  |
|sal/fischer3-mutex-20.smt2                                   |   26.183s | 128.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-15.induction.cvc.smt2                     |   26.212s | 1096.0MiB| sat | 0 |  |  |
|sal/fischer9-mutex-10.smt2                                   |   32.558s | 150.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-18.induction.cvc.smt2                     |   34.954s | 1353.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-11.base.cvc.smt2                          |   37.081s | 837.0MiB| unsat | 0 |  |  |
|scheduling/orb01_1000.smt2                                   |   43.099s | 124.0MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-12.smt2                                   |   45.052s | 140.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-17.induction.cvc.smt2                     |   45.157s | 1346.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-19.induction.cvc.smt2                     |   54.841s | 1644.0MiB| sat | 0 |  |  |
|scheduling/orb01_1059.smt2                                   |   60.023s | 127.0MiB| timeout | 0 |  |  |
|scheduling/orb06_1000.smt2                                   |   60.024s | 128.0MiB| timeout | 0 |  |  |
|scheduling/orb03_1005.smt2                                   |   60.026s | 128.0MiB| timeout | 0 |  |  |
|scheduling/orb01_1100.smt2                                   |   60.026s | 126.0MiB| timeout | 0 |  |  |
|sal/fischer6-mutex-15.smt2                                   |   60.028s | 156.0MiB| timeout | 0 |  |  |
|sal/fischer6-mutex-16.smt2                                   |   60.031s | 163.0MiB| timeout | 0 |  |  |
|sal/fischer6-mutex-19.smt2                                   |   60.036s | 172.0MiB| timeout | 0 |  |  |
|sal/fischer9-mutex-17.smt2                                   |   60.039s | 233.0MiB| timeout | 0 |  |  |
|sal/fischer9-mutex-11.smt2                                   |   60.045s | 160.0MiB| timeout | 0 |  |  |
|sal/fischer6-mutex-18.smt2                                   |   60.048s | 169.0MiB| timeout | 0 |  |  |
|sal/fischer6-mutex-13.smt2                                   |   60.048s | 147.0MiB| timeout | 0 |  |  |
|sal/fischer6-mutex-17.smt2                                   |   60.050s | 167.0MiB| timeout | 0 |  |  |
|scheduling/abz7_700.smt2                                     |   60.051s | 351.0MiB| timeout | 0 |  |  |
|scheduling/yn3_828.smt2                                      |   60.053s | 373.0MiB| timeout | 0 |  |  |
|sal/fischer6-mutex-14.smt2                                   |   60.053s | 151.0MiB| timeout | 0 |  |  |
|sal/fischer9-mutex-12.smt2                                   |   60.059s | 175.0MiB| timeout | 0 |  |  |
|sal/fischer6-mutex-20.smt2                                   |   60.062s | 180.0MiB| timeout | 0 |  |  |
|scheduling/yn2_950.smt2                                      |   60.064s | 434.0MiB| timeout | 0 |  |  |
|scheduling/abz7_600.smt2                                     |   60.065s | 301.0MiB| timeout | 0 |  |  |
|scheduling/orb06_1010.smt2                                   |   60.065s | 128.0MiB| timeout | 0 |  |  |
|sal/fischer9-mutex-18.smt2                                   |   60.066s | 242.0MiB| timeout | 0 |  |  |
|sal/fischer9-mutex-20.smt2                                   |   60.066s | 259.0MiB| timeout | 0 |  |  |
|scheduling/yn2_890.smt2                                      |   60.068s | 407.0MiB| timeout | 0 |  |  |
|sal/fischer9-mutex-13.smt2                                   |   60.068s | 189.0MiB| timeout | 0 |  |  |
|sal/fischer9-mutex-19.smt2                                   |   60.071s | 246.0MiB| timeout | 0 |  |  |
|scheduling/yn3_950.smt2                                      |   60.073s | 430.0MiB| timeout | 0 |  |  |
|sal/fischer9-mutex-14.smt2                                   |   60.073s | 200.0MiB| timeout | 0 |  |  |
|scheduling/yn2_862.smt2                                      |   60.074s | 387.0MiB| timeout | 0 |  |  |
|sal/fischer9-mutex-15.smt2                                   |   60.074s | 210.0MiB| timeout | 0 |  |  |
|scheduling/abz7_800.smt2                                     |   60.075s | 368.0MiB| timeout | 0 |  |  |
|sal/fischer9-mutex-16.smt2                                   |   60.079s | 223.0MiB| timeout | 0 |  |  |
|scheduling/abz7_670.smt2                                     |   60.081s | 339.0MiB| timeout | 0 |  |  |
|scheduling/yn4_950.smt2                                      |   60.082s | 409.0MiB| timeout | 0 |  |  |
|scheduling/yn1_827.smt2                                      |   60.084s | 371.0MiB| timeout | 0 |  |  |
|scheduling/yn4_1000.smt2                                     |   60.087s | 430.0MiB| timeout | 0 |  |  |
|scheduling/yn4_850.smt2                                      |   60.091s | 347.0MiB| timeout | 0 |  |  |
|scheduling/yn3_894.smt2                                      |   60.094s | 405.0MiB| timeout | 0 |  |  |
|scheduling/yn1_850.smt2                                      |   60.095s | 378.0MiB| timeout | 0 |  |  |
|scheduling/yn2_910.smt2                                      |   60.096s | 415.0MiB| timeout | 0 |  |  |
|scheduling/abz7_667.smt2                                     |   60.096s | 334.0MiB| timeout | 0 |  |  |
|scheduling/yn4_919.smt2                                      |   60.097s | 392.0MiB| timeout | 0 |  |  |
|scheduling/yn3_860.smt2                                      |   60.098s | 391.0MiB| timeout | 0 |  |  |
|scheduling/abz7_691.smt2                                     |   60.102s | 345.0MiB| timeout | 0 |  |  |
|scheduling/yn4_969.smt2                                      |   60.103s | 417.0MiB| timeout | 0 |  |  |
|scheduling/yn1_887.smt2                                      |   60.104s | 400.0MiB| timeout | 0 |  |  |
|scheduling/yn1_950.smt2                                      |   60.116s | 426.0MiB| timeout | 0 |  |  |
|skdmxa/skdmxa-3x3-15.smt2                                    |   60.124s | 640.0MiB| timeout | 0 |  |  |
|scheduling/swv13_3000.smt2                                   |   60.140s | 1030.0MiB| timeout | 0 |  |  |
|scheduling/swv12_2990.smt2                                   |   60.140s | 1038.0MiB| timeout | 0 |  |  |
|scheduling/swv14_2885.smt2                                   |   60.146s | 1024.0MiB| timeout | 0 |  |  |
|scheduling/swv12_3004.smt2                                   |   60.148s | 1040.0MiB| timeout | 0 |  |  |
|scheduling/swv14_2800.smt2                                   |   60.148s | 1042.0MiB| timeout | 0 |  |  |
|skdmxa/skdmxa-3x3-20.smt2                                    |   60.152s | 938.0MiB| timeout | 0 |  |  |
|scheduling/swv14_3000.smt2                                   |   60.153s | 1030.0MiB| timeout | 0 |  |  |
|scheduling/swv12_2972.smt2                                   |   60.153s | 1050.0MiB| timeout | 0 |  |  |
|scheduling/swv12_3050.smt2                                   |   60.154s | 1018.0MiB| timeout | 0 |  |  |
|skdmxa2/skdmxa-3x3-13.base.cvc.smt2                          |   60.155s | 1117.0MiB| timeout | 0 |  |  |
|scheduling/swv13_3200.smt2                                   |   60.156s | 1028.0MiB| timeout | 0 |  |  |
|scheduling/swv14_2895.smt2                                   |   60.156s | 1028.0MiB| timeout | 0 |  |  |
|skdmxa2/skdmxa-3x3-14.base.cvc.smt2                          |   60.164s | 1271.0MiB| timeout | 0 |  |  |
|scheduling/swv12_2900.smt2                                   |   60.168s | 1035.0MiB| timeout | 0 |  |  |
|scheduling/swv14_2905.smt2                                   |   60.170s | 1027.0MiB| timeout | 0 |  |  |
|scheduling/swv13_3104.smt2                                   |   60.171s | 1015.0MiB| timeout | 0 |  |  |
|skdmxa2/skdmxa-3x3-12.base.cvc.smt2                          |   60.192s | 1035.0MiB| timeout | 0 |  |  |
|scheduling/swv11_3050.smt2                                   |   60.197s | 1024.0MiB| timeout | 0 |  |  |
|scheduling/swv11_2992.smt2                                   |   60.197s | 1014.0MiB| timeout | 0 |  |  |
|scheduling/swv11_2988.smt2                                   |   60.200s | 1035.0MiB| timeout | 0 |  |  |
|scheduling/swv11_2983.smt2                                   |   60.205s | 1020.0MiB| timeout | 0 |  |  |
|scheduling/swv11_2900.smt2                                   |   60.207s | 1036.0MiB| timeout | 0 |  |  |
|scheduling/swv13_3150.smt2                                   |   60.229s | 1014.0MiB| timeout | 0 |  |  |
|skdmxa2/skdmxa-3x3-20.induction.cvc.smt2                     |   60.248s | 1582.0MiB| timeout | 0 |  |  |
|skdmxa2/skdmxa-3x3-15.base.cvc.smt2                          |   60.255s | 1648.0MiB| timeout | 0 |  |  |
|skdmxa2/skdmxa-3x3-18.base.cvc.smt2                          |   60.270s | 2013.0MiB| timeout | 0 |  |  |
|skdmxa2/skdmxa-3x3-16.base.cvc.smt2                          |   60.305s | 1902.0MiB| timeout | 0 |  |  |
|skdmxa2/skdmxa-3x3-17.base.cvc.smt2                          |   60.312s | 1819.0MiB| timeout | 0 |  |  |
|skdmxa2/skdmxa-3x3-20.base.cvc.smt2                          |   60.339s | 2609.0MiB| timeout | 0 |  |  |
|skdmxa2/skdmxa-3x3-19.base.cvc.smt2                          |   60.393s | 2438.0MiB| timeout | 0 |  |  |
