# .

* 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-no_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=false"
Z3 inputs: inputs/QF_RDL
Z3 commit message: Merge branch 'master' of github.com:Z3Prover/z3 into parallel-lockdebug1

</pre>


# Statistics
|FILE                                                         |TIME     |MEM        | STATUS   | EXIT | STDOUT | STDERR | 
|------------|----------:|---------:|-------------:| ----------:|--------|--------| 
|SMT-Temporal-Planning-Benchmarks/tempo-width-1.smt2          |    0.068s | 89.772MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-matrix1x1.pddl.smt2   |    0.092s | 89.624MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking01.smt2              |    0.099s | 90.4MiB| sat | 0 |  |  |
|sal/fischer3-mutex-6.smt2                                    |    0.100s | 91.896MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-2.smt2                                    |    0.103s | 90.14MiB| unsat | 0 |  |  |
|sal/fischer9-mutex-3.smt2                                    |    0.105s | 93.08MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-4.smt2                                    |    0.108s | 92.792MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking03.smt2              |    0.110s | 91.16MiB| sat | 0 |  |  |
|sal/fischer9-mutex-2.smt2                                    |    0.110s | 91.676MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking02.smt2              |    0.111s | 91.144MiB| sat | 0 |  |  |
|sal/fischer3-mutex-3.smt2                                    |    0.111s | 90.904MiB| unsat | 0 |  |  |
|check/bignum_rdl2.smt2                                       |    0.113s | 89.116MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-04.smt2       |    0.113s | 92.124MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-06.smt2       |    0.114s | 93.184MiB| sat | 0 |  |  |
|check/bignum_rdl1.smt2                                       |    0.116s | 89.604MiB| sat | 0 |  |  |
|sal/fischer3-mutex-5.smt2                                    |    0.116s | 91.556MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-depth-2.smt2          |    0.117s | 92.084MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-width-2.smt2          |    0.119s | 92.452MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking05.smt2              |    0.122s | 92.44MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-03.smt2       |    0.127s | 91.932MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking04.smt2              |    0.129s | 91.928MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-05.smt2       |    0.133s | 93.192MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking06.smt2              |    0.133s | 92.952MiB| sat | 0 |  |  |
|sal/fischer6-mutex-1.smt2                                    |    0.134s | 89.624MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking07.smt2              |    0.136s | 93.408MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking08.smt2              |    0.138s | 94.224MiB| sat | 0 |  |  |
|sal/fischer6-mutex-5.smt2                                    |    0.139s | 93.212MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-10.smt2       |    0.143s | 95.708MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking09.smt2              |    0.147s | 95.0MiB| sat | 0 |  |  |
|sal/fischer9-mutex-1.smt2                                    |    0.147s | 90.384MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-3.smt2                                    |    0.149s | 91.928MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-7.smt2                                    |    0.150s | 92.696MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-08.smt2       |    0.152s | 94.88MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-07.smt2       |    0.157s | 94.88MiB| sat | 0 |  |  |
|sal/fischer6-mutex-6.smt2                                    |    0.158s | 94.752MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking11.smt2              |    0.162s | 95.72MiB| sat | 0 |  |  |
|sal/fischer9-mutex-5.smt2                                    |    0.164s | 96.404MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-9.smt2                                    |    0.164s | 94.504MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking10.smt2              |    0.165s | 95.9MiB| sat | 0 |  |  |
|sal/fischer9-mutex-4.smt2                                    |    0.167s | 94.232MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-09.smt2       |    0.169s | 95.848MiB| sat | 0 |  |  |
|sal/fischer3-mutex-4.smt2                                    |    0.171s | 91.164MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking12.smt2              |    0.174s | 96.268MiB| sat | 0 |  |  |
|sal/fischer3-mutex-1.smt2                                    |    0.178s | 89.624MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking13.smt2              |    0.180s | 96.652MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking14.smt2              |    0.188s | 97.188MiB| sat | 0 |  |  |
|sal/fischer3-mutex-10.smt2                                   |    0.191s | 95.064MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking15.smt2              |    0.196s | 97.684MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking16.smt2              |    0.198s | 98.168MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking17.smt2              |    0.205s | 99.004MiB| sat | 0 |  |  |
|sal/fischer6-mutex-2.smt2                                    |    0.206s | 91.16MiB| unsat | 0 |  |  |
|scheduling/orb07_250.smt2                                    |    0.212s | 96.54MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking18.smt2              |    0.213s | 99.244MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking19.smt2              |    0.224s | 97.0MiB| sat | 0 |  |  |
|sal/fischer3-mutex-8.smt2                                    |    0.224s | 93.208MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking21.smt2              |    0.225s | 98.0MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking20.smt2              |    0.227s | 98.0MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-depth-3.smt2          |    0.228s | 98.428MiB| sat | 0 |  |  |
|sal/fischer9-mutex-7.smt2                                    |    0.229s | 99.336MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-11.smt2                                   |    0.231s | 95.432MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking22.smt2              |    0.234s | 99.0MiB| sat | 0 |  |  |
|scheduling/orb02_700.smt2                                    |    0.236s | 98.072MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-8.smt2                                    |    0.237s | 97.536MiB| unsat | 0 |  |  |
|scheduling/abz6_800.smt2                                     |    0.239s | 98.0MiB| unsat | 0 |  |  |
|scheduling/orb08_700.smt2                                    |    0.254s | 99.0MiB| unsat | 0 |  |  |
|scheduling/orb05_700.smt2                                    |    0.255s | 99.0MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-12.smt2                                   |    0.261s | 96.028MiB| unsat | 0 |  |  |
|scheduling/orb10_800.smt2                                    |    0.262s | 100.0MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-20.smt2       |    0.269s | 99.0MiB| sat | 0 |  |  |
|scheduling/orb09_1100.smt2                                   |    0.281s | 102.0MiB| sat | 0 |  |  |
|sal/fischer6-mutex-7.smt2                                    |    0.285s | 95.964MiB| unsat | 0 |  |  |
|scheduling/orb07_330.smt2                                    |    0.287s | 97.316MiB| unsat | 0 |  |  |
|scheduling/abz6_1100.smt2                                    |    0.291s | 101.0MiB| sat | 0 |  |  |
|sal/fischer9-mutex-6.smt2                                    |    0.300s | 98.296MiB| unsat | 0 |  |  |
|scheduling/abz5_1000.smt2                                    |    0.308s | 98.0MiB| unsat | 0 |  |  |
|scheduling/orb09_800.smt2                                    |    0.318s | 99.0MiB| unsat | 0 |  |  |
|sal/fischer9-mutex-8.smt2                                    |    0.324s | 99.0MiB| unsat | 0 |  |  |
|scheduling/orb04_850.smt2                                    |    0.332s | 99.0MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-13.smt2                                   |    0.342s | 97.656MiB| unsat | 0 |  |  |
|scheduling/orb02_1000.smt2                                   |    0.344s | 101.0MiB| sat | 0 |  |  |
|scheduling/abz5_1400.smt2                                    |    0.353s | 101.0MiB| sat | 0 |  |  |
|sal/fischer3-mutex-14.smt2                                   |    0.372s | 98.2MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-9.smt2                                    |    0.381s | 99.548MiB| unsat | 0 |  |  |
|scheduling/orb05_800.smt2                                    |    0.386s | 101.0MiB| unsat | 0 |  |  |
|scheduling/orb10_1100.smt2                                   |    0.387s | 103.0MiB| sat | 0 |  |  |
|scheduling/orb06_1200.smt2                                   |    0.389s | 102.0MiB| sat | 0 |  |  |
|scheduling/orb07_550.smt2                                    |    0.397s | 102.0MiB| sat | 0 |  |  |
|scheduling/orb04_1200.smt2                                   |    0.422s | 103.0MiB| sat | 0 |  |  |
|scheduling/orb08_830.smt2                                    |    0.424s | 100.0MiB| unsat | 0 |  |  |
|scheduling/orb09_1000.smt2                                   |    0.426s | 102.0MiB| sat | 0 |  |  |
|scheduling/orb02_800.smt2                                    |    0.455s | 100.0MiB| unsat | 0 |  |  |
|scheduling/abz6_1000.smt2                                    |    0.458s | 102.0MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-width-3.smt2          |    0.458s | 101.0MiB| sat | 0 |  |  |
|scheduling/orb03_850.smt2                                    |    0.468s | 101.0MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-30.smt2       |    0.469s | 106.0MiB| sat | 0 |  |  |
|scheduling/abz6_900.smt2                                     |    0.480s | 100.0MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-16.smt2                                   |    0.553s | 98.0MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-15.smt2                                   |    0.556s | 99.684MiB| unsat | 0 |  |  |
|scheduling/orb05_1000.smt2                                   |    0.571s | 104.0MiB| sat | 0 |  |  |
|scheduling/orb01_900.smt2                                    |    0.588s | 102.0MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-10.smt2                                   |    0.592s | 99.0MiB| unsat | 0 |  |  |
|scheduling/orb08_1000.smt2                                   |    0.615s | 105.0MiB| sat | 0 |  |  |
|scheduling/orb06_900.smt2                                    |    0.619s | 102.0MiB| unsat | 0 |  |  |
|scheduling/orb04_950.smt2                                    |    0.635s | 103.0MiB| unsat | 0 |  |  |
|scheduling/orb03_1200.smt2                                   |    0.659s | 105.0MiB| sat | 0 |  |  |
|sal/fischer3-mutex-17.smt2                                   |    0.688s | 99.0MiB| unsat | 0 |  |  |
|scheduling/abz5_1300.smt2                                    |    0.694s | 103.0MiB| sat | 0 |  |  |
|scheduling/orb02_900.smt2                                    |    0.740s | 103.0MiB| sat | 0 |  |  |
|scheduling/orb04_1100.smt2                                   |    0.762s | 105.0MiB| sat | 0 |  |  |
|sal/fischer3-mutex-18.smt2                                   |    0.771s | 99.0MiB| unsat | 0 |  |  |
|scheduling/orb07_430.smt2                                    |    0.823s | 104.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-6.base.cvc.smt2                           |    0.828s | 178.0MiB| unsat | 0 |  |  |
|scheduling/orb10_900.smt2                                    |    0.861s | 103.0MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-19.smt2                                   |    0.868s | 100.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-5.induction.cvc.smt2                      |    0.902s | 214.0MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-40.smt2       |    0.914s | 112.0MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-depth-4.smt2          |    0.928s | 109.0MiB| sat | 0 |  |  |
|sal/fischer9-mutex-9.smt2                                    |    0.929s | 103.0MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-11.smt2                                   |    0.937s | 102.0MiB| unsat | 0 |  |  |
|scheduling/orb01_1200.smt2                                   |    1.024s | 107.0MiB| sat | 0 |  |  |
|skdmxa/skdmxa-3x3-5.smt2                                     |    1.039s | 134.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-5.base.cvc.smt2                           |    1.060s | 157.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-7.base.cvc.smt2                           |    1.113s | 226.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-6.induction.cvc.smt2                      |    1.163s | 242.0MiB| sat | 0 |  |  |
|sal/fischer3-mutex-20.smt2                                   |    1.199s | 102.0MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-60.smt2       |    1.270s | 122.0MiB| sat | 0 |  |  |
|scheduling/orb06_1100.smt2                                   |    1.309s | 107.0MiB| sat | 0 |  |  |
|scheduling/abz6_943.smt2                                     |    1.371s | 103.0MiB| sat | 0 |  |  |
|scheduling/orb10_1000.smt2                                   |    1.371s | 106.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-8.base.cvc.smt2                           |    1.379s | 246.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-9.base.cvc.smt2                           |    1.658s | 268.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-7.induction.cvc.smt2                      |    1.659s | 336.0MiB| sat | 0 |  |  |
|sal/fischer6-mutex-13.smt2                                   |    1.716s | 106.0MiB| unsat | 0 |  |  |
|sal/fischer9-mutex-10.smt2                                   |    1.768s | 108.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-8.induction.cvc.smt2                      |    1.851s | 348.0MiB| sat | 0 |  |  |
|scheduling/orb02_888.smt2                                    |    1.865s | 106.0MiB| sat | 0 |  |  |
|scheduling/yn1_750.smt2                                      |    2.114s | 244.0MiB| unsat | 0 |  |  |
|scheduling/abz5_1200.smt2                                    |    2.115s | 105.0MiB| unsat | 0 |  |  |
|sal/fischer9-mutex-11.smt2                                   |    2.179s | 110.0MiB| unsat | 0 |  |  |
|skdmxa/skdmxa-3x3-10.smt2                                    |    2.245s | 191.0MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-12.smt2                                   |    2.265s | 106.0MiB| unsat | 0 |  |  |
|scheduling/orb09_900.smt2                                    |    2.309s | 106.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-10.base.cvc.smt2                          |    2.404s | 291.0MiB| unsat | 0 |  |  |
|scheduling/abz5_1234.smt2                                    |    2.405s | 106.0MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-70.smt2       |    2.563s | 140.0MiB| sat | 0 |  |  |
|scheduling/orb09_934.smt2                                    |    2.769s | 108.0MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-80.smt2       |    2.856s | 144.0MiB| sat | 0 |  |  |
|scheduling/orb08_930.smt2                                    |    3.028s | 109.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-10.induction.cvc.smt2                     |    3.039s | 453.0MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-90.smt2       |    3.048s | 150.0MiB| sat | 0 |  |  |
|scheduling/orb05_900.smt2                                    |    3.136s | 108.0MiB| sat | 0 |  |  |
|scheduling/abz7_500.smt2                                     |    3.212s | 191.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-9.induction.cvc.smt2                      |    3.582s | 403.0MiB| sat | 0 |  |  |
|scheduling/orb07_397.smt2                                    |    3.715s | 108.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-12.induction.cvc.smt2                     |    3.934s | 501.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-11.induction.cvc.smt2                     |    3.944s | 440.0MiB| sat | 0 |  |  |
|sal/fischer6-mutex-14.smt2                                   |    5.022s | 114.0MiB| unsat | 0 |  |  |
|scheduling/orb03_1100.smt2                                   |    5.084s | 111.0MiB| sat | 0 |  |  |
|scheduling/orb01_1100.smt2                                   |    5.441s | 111.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-11.base.cvc.smt2                          |    5.620s | 317.0MiB| unsat | 0 |  |  |
|scheduling/yn3_750.smt2                                      |    5.633s | 269.0MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-15.smt2                                   |    5.956s | 117.0MiB| unsat | 0 |  |  |
|scheduling/orb10_944.smt2                                    |    6.014s | 109.0MiB| sat | 0 |  |  |
|sal/fischer9-mutex-12.smt2                                   |    6.241s | 120.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-14.induction.cvc.smt2                     |    6.297s | 698.0MiB| sat | 0 |  |  |
|sal/fischer6-mutex-16.smt2                                   |    6.969s | 119.0MiB| unsat | 0 |  |  |
|scheduling/orb05_887.smt2                                    |    7.141s | 110.0MiB| sat | 0 |  |  |
|scheduling/yn2_750.smt2                                      |    7.151s | 255.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-13.induction.cvc.smt2                     |    7.781s | 613.0MiB| sat | 0 |  |  |
|scheduling/orb08_888.smt2                                    |    7.830s | 109.0MiB| unsat | 0 |  |  |
|scheduling/orb04_1005.smt2                                   |    8.408s | 111.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-16.induction.cvc.smt2                     |    8.746s | 715.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-19.induction.cvc.smt2                     |    9.766s | 822.0MiB| sat | 0 |  |  |
|sal/fischer9-mutex-13.smt2                                   |   10.364s | 127.0MiB| unsat | 0 |  |  |
|scheduling/orb03_950.smt2                                    |   11.352s | 112.0MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-depth-5.smt2          |   11.559s | 138.0MiB| sat | 0 |  |  |
|sal/fischer6-mutex-17.smt2                                   |   13.208s | 127.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-15.induction.cvc.smt2                     |   13.406s | 729.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-17.induction.cvc.smt2                     |   13.417s | 828.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-12.base.cvc.smt2                          |   13.467s | 359.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-18.induction.cvc.smt2                     |   13.624s | 863.0MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-width-4.smt2          |   14.394s | 149.0MiB| sat | 0 |  |  |
|scheduling/orb01_1000.smt2                                   |   16.496s | 113.0MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-18.smt2                                   |   20.916s | 134.0MiB| unsat | 0 |  |  |
|sal/fischer9-mutex-14.smt2                                   |   21.595s | 134.0MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-20.induction.cvc.smt2                     |   25.707s | 929.0MiB| sat | 0 |  |  |
|skdmxa/skdmxa-3x3-15.smt2                                    |   28.552s | 323.0MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-depth-6.smt2          |   30.041s | 187.0MiB| timeout | 0 |  |  |
|sal/fischer6-mutex-19.smt2                                   |   30.042s | 137.0MiB| timeout | 0 |  |  |
|sal/fischer9-mutex-16.smt2                                   |   30.042s | 151.0MiB| timeout | 0 |  |  |
|sal/fischer9-mutex-18.smt2                                   |   30.043s | 155.0MiB| timeout | 0 |  |  |
|sal/fischer9-mutex-19.smt2                                   |   30.043s | 157.0MiB| timeout | 0 |  |  |
|sal/fischer9-mutex-15.smt2                                   |   30.043s | 145.0MiB| timeout | 0 |  |  |
|scheduling/orb06_1000.smt2                                   |   30.044s | 118.0MiB| timeout | 0 |  |  |
|sal/fischer6-mutex-20.smt2                                   |   30.046s | 145.0MiB| timeout | 0 |  |  |
|sal/fischer9-mutex-20.smt2                                   |   30.047s | 156.0MiB| timeout | 0 |  |  |
|sal/fischer9-mutex-17.smt2                                   |   30.049s | 148.0MiB| timeout | 0 |  |  |
|scheduling/abz7_667.smt2                                     |   30.058s | 268.0MiB| timeout | 0 |  |  |
|scheduling/orb03_1005.smt2                                   |   30.059s | 118.0MiB| timeout | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-width-5.smt2          |   30.059s | 260.0MiB| timeout | 0 |  |  |
|scheduling/abz7_600.smt2                                     |   30.061s | 252.0MiB| timeout | 0 |  |  |
|scheduling/orb01_1059.smt2                                   |   30.062s | 119.0MiB| timeout | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-depth-7.smt2          |   30.066s | 278.0MiB| timeout | 0 |  |  |
|scheduling/yn2_890.smt2                                      |   30.073s | 311.0MiB| timeout | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-width-6.smt2          |   30.073s | 438.0MiB| timeout | 0 |  |  |
|scheduling/abz7_700.smt2                                     |   30.074s | 268.0MiB| timeout | 0 |  |  |
|scheduling/yn2_862.smt2                                      |   30.074s | 311.0MiB| timeout | 0 |  |  |
|scheduling/yn2_950.smt2                                      |   30.075s | 334.0MiB| timeout | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-matrix2x2.pddl.smt2   |   30.075s | 412.0MiB| timeout | 0 |  |  |
|scheduling/abz7_691.smt2                                     |   30.076s | 270.0MiB| timeout | 0 |  |  |
|scheduling/yn4_919.smt2                                      |   30.077s | 306.0MiB| timeout | 0 |  |  |
|scheduling/yn3_950.smt2                                      |   30.078s | 331.0MiB| timeout | 0 |  |  |
|scheduling/orb06_1010.smt2                                   |   30.078s | 119.0MiB| timeout | 0 |  |  |
|scheduling/yn3_828.smt2                                      |   30.082s | 306.0MiB| timeout | 0 |  |  |
|scheduling/abz7_800.smt2                                     |   30.086s | 275.0MiB| timeout | 0 |  |  |
|scheduling/yn4_1000.smt2                                     |   30.088s | 310.0MiB| timeout | 0 |  |  |
|scheduling/yn1_887.smt2                                      |   30.088s | 311.0MiB| timeout | 0 |  |  |
|scheduling/yn4_850.smt2                                      |   30.088s | 294.0MiB| timeout | 0 |  |  |
|scheduling/yn4_950.smt2                                      |   30.089s | 309.0MiB| timeout | 0 |  |  |
|skdmxa2/skdmxa-3x3-15.base.cvc.smt2                          |   30.090s | 508.0MiB| timeout | 0 |  |  |
|scheduling/yn3_860.smt2                                      |   30.091s | 313.0MiB| timeout | 0 |  |  |
|skdmxa2/skdmxa-3x3-13.base.cvc.smt2                          |   30.091s | 465.0MiB| timeout | 0 |  |  |
|scheduling/swv12_2990.smt2                                   |   30.094s | 661.0MiB| timeout | 0 |  |  |
|scheduling/yn1_950.smt2                                      |   30.098s | 312.0MiB| timeout | 0 |  |  |
|scheduling/yn1_850.smt2                                      |   30.099s | 300.0MiB| timeout | 0 |  |  |
|scheduling/yn2_910.smt2                                      |   30.100s | 312.0MiB| timeout | 0 |  |  |
|scheduling/yn4_969.smt2                                      |   30.100s | 317.0MiB| timeout | 0 |  |  |
|skdmxa2/skdmxa-3x3-17.base.cvc.smt2                          |   30.102s | 595.0MiB| timeout | 0 |  |  |
|scheduling/swv11_2992.smt2                                   |   30.103s | 619.0MiB| timeout | 0 |  |  |
|scheduling/abz7_670.smt2                                     |   30.106s | 266.0MiB| timeout | 0 |  |  |
|skdmxa2/skdmxa-3x3-19.base.cvc.smt2                          |   30.106s | 668.0MiB| timeout | 0 |  |  |
|skdmxa2/skdmxa-3x3-18.base.cvc.smt2                          |   30.107s | 641.0MiB| timeout | 0 |  |  |
|skdmxa/skdmxa-3x3-20.smt2                                    |   30.116s | 405.0MiB| timeout | 0 |  |  |
|scheduling/swv13_3000.smt2                                   |   30.118s | 688.0MiB| timeout | 0 |  |  |
|scheduling/swv11_2988.smt2                                   |   30.118s | 645.0MiB| timeout | 0 |  |  |
|scheduling/swv13_3104.smt2                                   |   30.118s | 671.0MiB| timeout | 0 |  |  |
|scheduling/swv14_3000.smt2                                   |   30.119s | 676.0MiB| timeout | 0 |  |  |
|skdmxa2/skdmxa-3x3-16.base.cvc.smt2                          |   30.119s | 534.0MiB| timeout | 0 |  |  |
|skdmxa2/skdmxa-3x3-14.base.cvc.smt2                          |   30.120s | 490.0MiB| timeout | 0 |  |  |
|skdmxa2/skdmxa-3x3-20.base.cvc.smt2                          |   30.121s | 732.0MiB| timeout | 0 |  |  |
|scheduling/swv11_2983.smt2                                   |   30.124s | 645.0MiB| timeout | 0 |  |  |
|scheduling/swv13_3150.smt2                                   |   30.125s | 687.0MiB| timeout | 0 |  |  |
|scheduling/swv12_3050.smt2                                   |   30.126s | 735.0MiB| timeout | 0 |  |  |
|scheduling/swv12_3004.smt2                                   |   30.127s | 686.0MiB| timeout | 0 |  |  |
|scheduling/swv14_2895.smt2                                   |   30.129s | 648.0MiB| timeout | 0 |  |  |
|scheduling/swv12_2900.smt2                                   |   30.130s | 662.0MiB| timeout | 0 |  |  |
|scheduling/swv14_2905.smt2                                   |   30.131s | 625.0MiB| timeout | 0 |  |  |
|scheduling/swv11_2900.smt2                                   |   30.136s | 620.0MiB| timeout | 0 |  |  |
|scheduling/swv14_2885.smt2                                   |   30.137s | 619.0MiB| timeout | 0 |  |  |
|scheduling/swv12_2972.smt2                                   |   30.137s | 674.0MiB| timeout | 0 |  |  |
|scheduling/yn1_827.smt2                                      |   30.139s | 297.0MiB| timeout | 0 |  |  |
|scheduling/swv13_3200.smt2                                   |   30.141s | 701.0MiB| timeout | 0 |  |  |
|scheduling/swv14_2800.smt2                                   |   30.143s | 645.0MiB| timeout | 0 |  |  |
|scheduling/yn3_894.smt2                                      |   30.147s | 310.0MiB| timeout | 0 |  |  |
|scheduling/swv11_3050.smt2                                   |   30.179s | 629.0MiB| timeout | 0 |  |  |
