# .

* SAT 95
* UNSAT 92
* TIMEOUT 68
* UNKNOWN 0

* UNSET 0

* ERROR 0

# Meta data

<pre>
Ramon benchmark for Z3
-
Job description: 
Job tag: smt_qfrdl-threads-4-param_tuning-no_inprocessing
Runner: lev-ripper
Z3 repo: ilanashapiro/z3
Z3 commit: 4de2f5a5ab6580efcbd50a8755c69eac608e4a7c
Z3 branch: param-tuning
Z3 options: "-T:30 smt.threads=4 tactic.default_tactic=smt smt.auto_config.false smt_parallel.inprocessing=false"
Z3 inputs: inputs/QF_RDL
Z3 commit message: new scoring

</pre>


# Statistics
|FILE                                                         |TIME     |MEM        | STATUS   | EXIT | STDOUT | STDERR | 
|------------|----------:|---------:|-------------:| ----------:|--------|--------| 
|SMT-Temporal-Planning-Benchmarks/tempo-width-1.smt2          |    0.068s | 89.712MiB| sat | 0 |  |  |
|sal/fischer9-mutex-2.smt2                                    |    0.087s | 91.616MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-matrix1x1.pddl.smt2   |    0.096s | 89.624MiB| sat | 0 |  |  |
|check/bignum_rdl1.smt2                                       |    0.099s | 89.368MiB| sat | 0 |  |  |
|sal/fischer3-mutex-2.smt2                                    |    0.100s | 90.14MiB| unsat | 0 |  |  |
|check/bignum_rdl2.smt2                                       |    0.102s | 89.116MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-4.smt2                                    |    0.102s | 93.024MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking02.smt2              |    0.103s | 90.904MiB| sat | 0 |  |  |
|sal/fischer3-mutex-5.smt2                                    |    0.103s | 91.62MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking01.smt2              |    0.104s | 90.408MiB| sat | 0 |  |  |
|sal/fischer3-mutex-3.smt2                                    |    0.107s | 90.652MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-6.smt2                                    |    0.108s | 91.932MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking03.smt2              |    0.115s | 91.308MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-depth-2.smt2          |    0.118s | 91.812MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking04.smt2              |    0.118s | 91.932MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-04.smt2       |    0.118s | 91.928MiB| sat | 0 |  |  |
|sal/fischer9-mutex-3.smt2                                    |    0.120s | 93.42MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-width-2.smt2          |    0.126s | 92.484MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-03.smt2       |    0.127s | 91.932MiB| sat | 0 |  |  |
|sal/fischer6-mutex-5.smt2                                    |    0.128s | 93.3MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking05.smt2              |    0.129s | 92.44MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-07.smt2       |    0.130s | 94.724MiB| sat | 0 |  |  |
|sal/fischer6-mutex-6.smt2                                    |    0.132s | 94.492MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-06.smt2       |    0.133s | 93.212MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking07.smt2              |    0.134s | 93.404MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking06.smt2              |    0.135s | 93.184MiB| sat | 0 |  |  |
|sal/fischer9-mutex-5.smt2                                    |    0.136s | 96.508MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-1.smt2                                    |    0.139s | 90.132MiB| unsat | 0 |  |  |
|sal/fischer9-mutex-1.smt2                                    |    0.140s | 90.648MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-7.smt2                                    |    0.142s | 92.952MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking08.smt2              |    0.145s | 94.072MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-05.smt2       |    0.145s | 93.424MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking09.smt2              |    0.151s | 95.012MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking13.smt2              |    0.156s | 96.412MiB| sat | 0 |  |  |
|sal/fischer9-mutex-4.smt2                                    |    0.159s | 94.688MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking10.smt2              |    0.160s | 95.636MiB| sat | 0 |  |  |
|sal/fischer6-mutex-3.smt2                                    |    0.160s | 91.932MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking11.smt2              |    0.161s | 95.86MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-08.smt2       |    0.161s | 94.616MiB| sat | 0 |  |  |
|sal/fischer3-mutex-9.smt2                                    |    0.162s | 94.492MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-10.smt2                                   |    0.166s | 95.256MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-10.smt2       |    0.168s | 95.896MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-09.smt2       |    0.170s | 95.892MiB| sat | 0 |  |  |
|sal/fischer3-mutex-1.smt2                                    |    0.175s | 89.624MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking12.smt2              |    0.176s | 96.2MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking14.smt2              |    0.188s | 97.268MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking15.smt2              |    0.196s | 98.216MiB| sat | 0 |  |  |
|sal/fischer3-mutex-11.smt2                                   |    0.198s | 95.5MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-4.smt2                                    |    0.200s | 91.16MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-2.smt2                                    |    0.203s | 90.908MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking16.smt2              |    0.206s | 98.228MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-depth-3.smt2          |    0.207s | 97.952MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking17.smt2              |    0.208s | 99.156MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking20.smt2              |    0.210s | 98.0MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking18.smt2              |    0.214s | 99.228MiB| sat | 0 |  |  |
|sal/fischer6-mutex-7.smt2                                    |    0.216s | 96.12MiB| unsat | 0 |  |  |
|sal/fischer9-mutex-7.smt2                                    |    0.218s | 99.276MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking19.smt2              |    0.226s | 99.932MiB| sat | 0 |  |  |
|sal/fischer3-mutex-8.smt2                                    |    0.227s | 93.108MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking21.smt2              |    0.231s | 98.0MiB| sat | 0 |  |  |
|sal/fischer6-mutex-8.smt2                                    |    0.244s | 97.66MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking22.smt2              |    0.246s | 99.0MiB| sat | 0 |  |  |
|sal/fischer3-mutex-12.smt2                                   |    0.253s | 96.312MiB| unsat | 0 |  |  |
|scheduling/orb10_800.smt2                                    |    0.254s | 100.0MiB| unsat | 0 |  |  |
|scheduling/orb07_250.smt2                                    |    0.254s | 96.28MiB| unsat | 0 |  |  |
|scheduling/orb05_700.smt2                                    |    0.260s | 99.0MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-20.smt2       |    0.273s | 99.0MiB| sat | 0 |  |  |
|scheduling/orb09_1100.smt2                                   |    0.277s | 103.0MiB| sat | 0 |  |  |
|scheduling/orb02_700.smt2                                    |    0.286s | 97.824MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-13.smt2                                   |    0.297s | 97.988MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-9.smt2                                    |    0.301s | 99.032MiB| unsat | 0 |  |  |
|scheduling/orb08_700.smt2                                    |    0.303s | 99.0MiB| unsat | 0 |  |  |
|scheduling/abz5_1000.smt2                                    |    0.311s | 99.0MiB| unsat | 0 |  |  |
|sal/fischer9-mutex-8.smt2                                    |    0.315s | 99.0MiB| unsat | 0 |  |  |
|scheduling/abz6_1100.smt2                                    |    0.320s | 101.0MiB| sat | 0 |  |  |
|scheduling/orb04_850.smt2                                    |    0.323s | 99.0MiB| unsat | 0 |  |  |
|scheduling/orb09_800.smt2                                    |    0.324s | 100.0MiB| unsat | 0 |  |  |
|scheduling/orb07_330.smt2                                    |    0.328s | 98.232MiB| unsat | 0 |  |  |
|scheduling/orb02_1000.smt2                                   |    0.331s | 101.0MiB| sat | 0 |  |  |
|scheduling/abz6_800.smt2                                     |    0.334s | 99.864MiB| unsat | 0 |  |  |
|scheduling/orb06_1200.smt2                                   |    0.345s | 102.0MiB| sat | 0 |  |  |
|scheduling/orb07_550.smt2                                    |    0.352s | 103.0MiB| sat | 0 |  |  |
|sal/fischer3-mutex-16.smt2                                   |    0.352s | 99.36MiB| unsat | 0 |  |  |
|sal/fischer9-mutex-6.smt2                                    |    0.358s | 98.28MiB| unsat | 0 |  |  |
|scheduling/orb10_1100.smt2                                   |    0.370s | 103.0MiB| sat | 0 |  |  |
|scheduling/orb02_800.smt2                                    |    0.371s | 100.0MiB| unsat | 0 |  |  |
|scheduling/orb04_1200.smt2                                   |    0.382s | 103.0MiB| sat | 0 |  |  |
|scheduling/abz6_900.smt2                                     |    0.409s | 100.0MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-14.smt2                                   |    0.421s | 98.656MiB| unsat | 0 |  |  |
|scheduling/orb03_850.smt2                                    |    0.423s | 101.0MiB| unsat | 0 |  |  |
|scheduling/orb08_830.smt2                                    |    0.424s | 101.0MiB| unsat | 0 |  |  |
|scheduling/orb05_800.smt2                                    |    0.431s | 101.0MiB| unsat | 0 |  |  |
|scheduling/abz6_1000.smt2                                    |    0.444s | 103.0MiB| sat | 0 |  |  |
|scheduling/abz5_1400.smt2                                    |    0.461s | 101.0MiB| sat | 0 |  |  |
|sal/fischer3-mutex-15.smt2                                   |    0.461s | 99.94MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-30.smt2       |    0.470s | 106.0MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-width-3.smt2          |    0.507s | 101.0MiB| sat | 0 |  |  |
|scheduling/orb09_1000.smt2                                   |    0.509s | 102.0MiB| sat | 0 |  |  |
|scheduling/orb05_1000.smt2                                   |    0.535s | 104.0MiB| sat | 0 |  |  |
|sal/fischer3-mutex-17.smt2                                   |    0.564s | 99.0MiB| unsat | 0 |  |  |
|scheduling/orb06_900.smt2                                    |    0.568s | 102.0MiB| unsat | 0 |  |  |
|scheduling/orb08_1000.smt2                                   |    0.611s | 105.0MiB| sat | 0 |  |  |
|scheduling/abz5_1300.smt2                                    |    0.612s | 103.0MiB| sat | 0 |  |  |
|scheduling/orb03_1200.smt2                                   |    0.642s | 105.0MiB| sat | 0 |  |  |
|scheduling/orb01_900.smt2                                    |    0.646s | 102.0MiB| unsat | 0 |  |  |
|scheduling/orb04_950.smt2                                    |    0.669s | 103.0MiB| unsat | 0 |  |  |
|scheduling/orb07_430.smt2                                    |    0.689s | 104.0MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-40.smt2       |    0.739s | 112.0MiB| sat | 0 |  |  |
|skdmxa/skdmxa-3x3-5.smt2                                     |    0.781s | 134.0MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-10.smt2                                   |    0.804s | 99.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-6.base.cvc.smt2                           |    0.833s | 178.0MiB| unsat | 0 |  |  |
|scheduling/orb04_1100.smt2                                   |    0.839s | 105.0MiB| sat | 0 |  |  |
|scheduling/orb03_1100.smt2                                   |    0.846s | 106.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-5.induction.cvc.smt2                      |    0.904s | 214.0MiB| sat | 0 |  |  |
|scheduling/orb02_900.smt2                                    |    0.910s | 104.0MiB| sat | 0 |  |  |
|sal/fischer3-mutex-18.smt2                                   |    0.960s | 101.0MiB| unsat | 0 |  |  |
|scheduling/orb10_900.smt2                                    |    0.983s | 103.0MiB| unsat | 0 |  |  |
|sal/fischer9-mutex-9.smt2                                    |    1.116s | 104.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-7.base.cvc.smt2                           |    1.117s | 227.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-6.induction.cvc.smt2                      |    1.126s | 242.0MiB| sat | 0 |  |  |
|scheduling/abz6_943.smt2                                     |    1.162s | 104.0MiB| sat | 0 |  |  |
|sal/fischer3-mutex-19.smt2                                   |    1.172s | 102.0MiB| unsat | 0 |  |  |
|scheduling/orb09_934.smt2                                    |    1.237s | 106.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-5.base.cvc.smt2                           |    1.249s | 157.0MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-20.smt2                                   |    1.335s | 103.0MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-11.smt2                                   |    1.340s | 103.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-8.base.cvc.smt2                           |    1.385s | 247.0MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-depth-4.smt2          |    1.390s | 109.0MiB| sat | 0 |  |  |
|scheduling/orb10_1000.smt2                                   |    1.511s | 106.0MiB| sat | 0 |  |  |
|scheduling/orb05_900.smt2                                    |    1.588s | 106.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-7.induction.cvc.smt2                      |    1.636s | 334.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-9.base.cvc.smt2                           |    1.676s | 268.0MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-12.smt2                                   |    1.824s | 105.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-8.induction.cvc.smt2                      |    1.933s | 352.0MiB| sat | 0 |  |  |
|sal/fischer6-mutex-13.smt2                                   |    1.985s | 106.0MiB| unsat | 0 |  |  |
|scheduling/orb01_1200.smt2                                   |    1.999s | 108.0MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-60.smt2       |    2.036s | 123.0MiB| sat | 0 |  |  |
|scheduling/orb09_900.smt2                                    |    2.296s | 106.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-10.base.cvc.smt2                          |    2.330s | 289.0MiB| unsat | 0 |  |  |
|scheduling/yn1_750.smt2                                      |    2.446s | 248.0MiB| unsat | 0 |  |  |
|sal/fischer9-mutex-10.smt2                                   |    2.531s | 110.0MiB| unsat | 0 |  |  |
|scheduling/abz5_1234.smt2                                    |    2.537s | 106.0MiB| sat | 0 |  |  |
|skdmxa/skdmxa-3x3-10.smt2                                    |    2.627s | 191.0MiB| unsat | 0 |  |  |
|scheduling/orb02_888.smt2                                    |    2.946s | 108.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-10.induction.cvc.smt2                     |    3.031s | 454.0MiB| sat | 0 |  |  |
|scheduling/abz7_500.smt2                                     |    3.281s | 191.0MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-70.smt2       |    3.300s | 140.0MiB| sat | 0 |  |  |
|sal/fischer6-mutex-14.smt2                                   |    3.517s | 111.0MiB| unsat | 0 |  |  |
|scheduling/abz5_1200.smt2                                    |    3.535s | 106.0MiB| unsat | 0 |  |  |
|sal/fischer9-mutex-11.smt2                                   |    3.586s | 113.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-12.induction.cvc.smt2                     |    3.721s | 500.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-9.induction.cvc.smt2                      |    3.765s | 404.0MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-80.smt2       |    3.784s | 145.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-11.induction.cvc.smt2                     |    4.039s | 448.0MiB| sat | 0 |  |  |
|scheduling/orb06_1100.smt2                                   |    5.171s | 111.0MiB| sat | 0 |  |  |
|scheduling/orb07_397.smt2                                    |    5.457s | 110.0MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-90.smt2       |    5.516s | 151.0MiB| sat | 0 |  |  |
|scheduling/yn3_750.smt2                                      |    5.611s | 270.0MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-15.smt2                                   |    5.805s | 118.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-11.base.cvc.smt2                          |    5.970s | 316.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-14.induction.cvc.smt2                     |    6.145s | 701.0MiB| sat | 0 |  |  |
|scheduling/orb10_944.smt2                                    |    6.458s | 110.0MiB| sat | 0 |  |  |
|sal/fischer9-mutex-12.smt2                                   |    6.827s | 120.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-13.induction.cvc.smt2                     |    7.241s | 631.0MiB| sat | 0 |  |  |
|scheduling/orb04_1005.smt2                                   |    7.330s | 111.0MiB| sat | 0 |  |  |
|scheduling/orb08_930.smt2                                    |    7.391s | 111.0MiB| sat | 0 |  |  |
|scheduling/orb01_1100.smt2                                   |    7.398s | 111.0MiB| sat | 0 |  |  |
|scheduling/orb05_887.smt2                                    |    7.453s | 110.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-16.induction.cvc.smt2                     |    7.916s | 705.0MiB| sat | 0 |  |  |
|sal/fischer6-mutex-16.smt2                                   |    8.043s | 121.0MiB| unsat | 0 |  |  |
|scheduling/yn2_750.smt2                                      |    8.520s | 257.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-19.induction.cvc.smt2                     |   10.477s | 829.0MiB| sat | 0 |  |  |
|sal/fischer6-mutex-17.smt2                                   |   10.967s | 124.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-17.induction.cvc.smt2                     |   11.841s | 810.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-18.induction.cvc.smt2                     |   11.995s | 826.0MiB| sat | 0 |  |  |
|sal/fischer9-mutex-13.smt2                                   |   12.198s | 129.0MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-depth-5.smt2          |   13.937s | 141.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-15.induction.cvc.smt2                     |   14.764s | 725.0MiB| sat | 0 |  |  |
|scheduling/orb08_888.smt2                                    |   14.918s | 113.0MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-18.smt2                                   |   18.128s | 132.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-12.base.cvc.smt2                          |   18.220s | 363.0MiB| unsat | 0 |  |  |
|scheduling/orb03_950.smt2                                    |   18.715s | 114.0MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-width-4.smt2          |   19.309s | 156.0MiB| sat | 0 |  |  |
|sal/fischer6-mutex-19.smt2                                   |   21.261s | 137.0MiB| unsat | 0 |  |  |
|sal/fischer9-mutex-14.smt2                                   |   24.288s | 141.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-20.induction.cvc.smt2                     |   24.417s | 973.0MiB| sat | 0 |  |  |
|sal/fischer6-mutex-20.smt2                                   |   27.207s | 140.0MiB| unsat | 0 |  |  |
|sal/fischer9-mutex-15.smt2                                   |   30.021s | 148.0MiB| timeout | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-depth-6.smt2          |   30.031s | 189.0MiB| timeout | 0 |  |  |
|scheduling/orb06_1000.smt2                                   |   30.038s | 118.0MiB| timeout | 0 |  |  |
|sal/fischer9-mutex-20.smt2                                   |   30.047s | 156.0MiB| timeout | 0 |  |  |
|sal/fischer9-mutex-16.smt2                                   |   30.047s | 151.0MiB| timeout | 0 |  |  |
|scheduling/orb01_1000.smt2                                   |   30.048s | 118.0MiB| timeout | 0 |  |  |
|scheduling/orb03_1005.smt2                                   |   30.050s | 119.0MiB| timeout | 0 |  |  |
|sal/fischer9-mutex-17.smt2                                   |   30.050s | 152.0MiB| timeout | 0 |  |  |
|sal/fischer9-mutex-19.smt2                                   |   30.051s | 157.0MiB| timeout | 0 |  |  |
|scheduling/orb06_1010.smt2                                   |   30.057s | 118.0MiB| timeout | 0 |  |  |
|sal/fischer9-mutex-18.smt2                                   |   30.061s | 157.0MiB| timeout | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-width-5.smt2          |   30.062s | 261.0MiB| timeout | 0 |  |  |
|scheduling/orb01_1059.smt2                                   |   30.063s | 118.0MiB| timeout | 0 |  |  |
|scheduling/abz7_667.smt2                                     |   30.066s | 264.0MiB| timeout | 0 |  |  |
|skdmxa/skdmxa-3x3-20.smt2                                    |   30.067s | 406.0MiB| timeout | 0 |  |  |
|scheduling/yn1_887.smt2                                      |   30.068s | 313.0MiB| timeout | 0 |  |  |
|scheduling/yn2_950.smt2                                      |   30.069s | 340.0MiB| timeout | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-depth-7.smt2          |   30.069s | 279.0MiB| timeout | 0 |  |  |
|scheduling/yn3_950.smt2                                      |   30.073s | 324.0MiB| timeout | 0 |  |  |
|skdmxa/skdmxa-3x3-15.smt2                                    |   30.074s | 324.0MiB| timeout | 0 |  |  |
|scheduling/abz7_600.smt2                                     |   30.075s | 250.0MiB| timeout | 0 |  |  |
|scheduling/yn1_827.smt2                                      |   30.076s | 298.0MiB| timeout | 0 |  |  |
|scheduling/yn3_828.smt2                                      |   30.076s | 307.0MiB| timeout | 0 |  |  |
|scheduling/yn1_950.smt2                                      |   30.076s | 318.0MiB| timeout | 0 |  |  |
|scheduling/abz7_800.smt2                                     |   30.077s | 272.0MiB| timeout | 0 |  |  |
|scheduling/abz7_700.smt2                                     |   30.078s | 268.0MiB| timeout | 0 |  |  |
|scheduling/yn4_850.smt2                                      |   30.078s | 294.0MiB| timeout | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-matrix2x2.pddl.smt2   |   30.078s | 412.0MiB| timeout | 0 |  |  |
|scheduling/yn4_1000.smt2                                     |   30.079s | 310.0MiB| timeout | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-width-6.smt2          |   30.080s | 439.0MiB| timeout | 0 |  |  |
|scheduling/yn4_969.smt2                                      |   30.081s | 319.0MiB| timeout | 0 |  |  |
|scheduling/abz7_691.smt2                                     |   30.081s | 268.0MiB| timeout | 0 |  |  |
|scheduling/yn4_950.smt2                                      |   30.084s | 307.0MiB| timeout | 0 |  |  |
|scheduling/yn3_860.smt2                                      |   30.085s | 309.0MiB| timeout | 0 |  |  |
|scheduling/yn2_890.smt2                                      |   30.086s | 313.0MiB| timeout | 0 |  |  |
|scheduling/yn2_862.smt2                                      |   30.087s | 312.0MiB| timeout | 0 |  |  |
|scheduling/abz7_670.smt2                                     |   30.087s | 268.0MiB| timeout | 0 |  |  |
|skdmxa2/skdmxa-3x3-15.base.cvc.smt2                          |   30.087s | 514.0MiB| timeout | 0 |  |  |
|scheduling/yn2_910.smt2                                      |   30.090s | 321.0MiB| timeout | 0 |  |  |
|skdmxa2/skdmxa-3x3-16.base.cvc.smt2                          |   30.092s | 544.0MiB| timeout | 0 |  |  |
|scheduling/yn3_894.smt2                                      |   30.093s | 311.0MiB| timeout | 0 |  |  |
|scheduling/yn4_919.smt2                                      |   30.094s | 306.0MiB| timeout | 0 |  |  |
|scheduling/yn1_850.smt2                                      |   30.095s | 301.0MiB| timeout | 0 |  |  |
|skdmxa2/skdmxa-3x3-13.base.cvc.smt2                          |   30.099s | 471.0MiB| timeout | 0 |  |  |
|scheduling/swv14_2905.smt2                                   |   30.106s | 622.0MiB| timeout | 0 |  |  |
|skdmxa2/skdmxa-3x3-17.base.cvc.smt2                          |   30.106s | 610.0MiB| timeout | 0 |  |  |
|skdmxa2/skdmxa-3x3-19.base.cvc.smt2                          |   30.109s | 666.0MiB| timeout | 0 |  |  |
|skdmxa2/skdmxa-3x3-20.base.cvc.smt2                          |   30.109s | 729.0MiB| timeout | 0 |  |  |
|skdmxa2/skdmxa-3x3-14.base.cvc.smt2                          |   30.110s | 494.0MiB| timeout | 0 |  |  |
|scheduling/swv12_2990.smt2                                   |   30.116s | 677.0MiB| timeout | 0 |  |  |
|scheduling/swv13_3150.smt2                                   |   30.117s | 707.0MiB| timeout | 0 |  |  |
|scheduling/swv11_2992.smt2                                   |   30.117s | 629.0MiB| timeout | 0 |  |  |
|skdmxa2/skdmxa-3x3-18.base.cvc.smt2                          |   30.118s | 643.0MiB| timeout | 0 |  |  |
|scheduling/swv13_3104.smt2                                   |   30.122s | 694.0MiB| timeout | 0 |  |  |
|scheduling/swv12_3050.smt2                                   |   30.124s | 731.0MiB| timeout | 0 |  |  |
|scheduling/swv12_2900.smt2                                   |   30.125s | 689.0MiB| timeout | 0 |  |  |
|scheduling/swv14_2800.smt2                                   |   30.130s | 638.0MiB| timeout | 0 |  |  |
|scheduling/swv11_2988.smt2                                   |   30.132s | 629.0MiB| timeout | 0 |  |  |
|scheduling/swv11_2900.smt2                                   |   30.133s | 640.0MiB| timeout | 0 |  |  |
|scheduling/swv12_3004.smt2                                   |   30.139s | 682.0MiB| timeout | 0 |  |  |
|scheduling/swv11_2983.smt2                                   |   30.146s | 625.0MiB| timeout | 0 |  |  |
|scheduling/swv11_3050.smt2                                   |   30.146s | 648.0MiB| timeout | 0 |  |  |
|scheduling/swv13_3000.smt2                                   |   30.150s | 682.0MiB| timeout | 0 |  |  |
|scheduling/swv13_3200.smt2                                   |   30.150s | 704.0MiB| timeout | 0 |  |  |
|scheduling/swv14_2885.smt2                                   |   30.153s | 607.0MiB| timeout | 0 |  |  |
|scheduling/swv14_2895.smt2                                   |   30.161s | 637.0MiB| timeout | 0 |  |  |
|scheduling/swv14_3000.smt2                                   |   30.172s | 673.0MiB| timeout | 0 |  |  |
|scheduling/swv12_2972.smt2                                   |   30.177s | 696.0MiB| timeout | 0 |  |  |