# .

* SAT 95
* UNSAT 103
* TIMEOUT 57
* UNKNOWN 0

* UNSET 0

* ERROR 0

# Meta data

<pre>
Ramon benchmark for Z3
-
Job description: 
Job tag: smt_qfrdl-sequential
Runner: lev-ripper
Z3 repo: ilanashapiro/z3
Z3 commit: c5d65cdedddfb23484175c9234f904988fa6b3fd
Z3 branch: c5d65cdedddfb23484175c9234f904988fa6b3fd
Z3 options: "-T:30 smt.threads=1 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 | 
|------------|----------:|---------:|-------------:| ----------:|--------|--------| 
|sal/fischer6-mutex-1.smt2                                    |    0.024s | 19.736MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-1.smt2                                    |    0.024s | 19.736MiB| unsat | 0 |  |  |
|check/bignum_rdl1.smt2                                       |    0.026s | 19.48MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking01.smt2              |    0.027s | 19.992MiB| sat | 0 |  |  |
|sal/fischer3-mutex-3.smt2                                    |    0.027s | 19.992MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-2.smt2                                    |    0.028s | 19.736MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-width-1.smt2          |    0.030s | 19.484MiB| sat | 0 |  |  |
|sal/fischer9-mutex-1.smt2                                    |    0.030s | 19.992MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-3.smt2                                    |    0.030s | 20.248MiB| unsat | 0 |  |  |
|check/bignum_rdl2.smt2                                       |    0.031s | 19.48MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking02.smt2              |    0.031s | 19.992MiB| sat | 0 |  |  |
|sal/fischer3-mutex-5.smt2                                    |    0.031s | 20.248MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking04.smt2              |    0.032s | 20.504MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-04.smt2       |    0.032s | 20.504MiB| sat | 0 |  |  |
|sal/fischer6-mutex-4.smt2                                    |    0.032s | 20.596MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-depth-2.smt2          |    0.033s | 20.504MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking03.smt2              |    0.033s | 20.248MiB| sat | 0 |  |  |
|sal/fischer9-mutex-3.smt2                                    |    0.034s | 20.852MiB| unsat | 0 |  |  |
|scheduling/orb07_250.smt2                                    |    0.035s | 21.536MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-5.smt2                                    |    0.035s | 21.104MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-4.smt2                                    |    0.035s | 20.248MiB| unsat | 0 |  |  |
|scheduling/orb02_700.smt2                                    |    0.036s | 22.388MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking07.smt2              |    0.036s | 21.016MiB| sat | 0 |  |  |
|sal/fischer3-mutex-7.smt2                                    |    0.036s | 20.348MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking05.smt2              |    0.037s | 20.504MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-matrix1x1.pddl.smt2   |    0.037s | 19.74MiB| sat | 0 |  |  |
|sal/fischer6-mutex-2.smt2                                    |    0.037s | 20.248MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-03.smt2       |    0.039s | 20.504MiB| sat | 0 |  |  |
|sal/fischer3-mutex-6.smt2                                    |    0.039s | 20.504MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-6.smt2                                    |    0.039s | 21.36MiB| unsat | 0 |  |  |
|sal/fischer9-mutex-4.smt2                                    |    0.039s | 21.348MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking08.smt2              |    0.040s | 21.02MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-width-2.smt2          |    0.041s | 20.504MiB| sat | 0 |  |  |
|sal/fischer9-mutex-2.smt2                                    |    0.043s | 20.508MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-10.smt2       |    0.044s | 21.332MiB| sat | 0 |  |  |
|sal/fischer3-mutex-8.smt2                                    |    0.044s | 20.884MiB| unsat | 0 |  |  |
|scheduling/abz6_800.smt2                                     |    0.045s | 22.808MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-07.smt2       |    0.045s | 21.364MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking09.smt2              |    0.046s | 21.276MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking06.smt2              |    0.047s | 20.76MiB| sat | 0 |  |  |
|sal/fischer9-mutex-5.smt2                                    |    0.047s | 21.74MiB| unsat | 0 |  |  |
|scheduling/orb07_330.smt2                                    |    0.049s | 22.04MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking12.smt2              |    0.049s | 21.62MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking11.smt2              |    0.049s | 21.62MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-05.smt2       |    0.049s | 21.108MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-06.smt2       |    0.049s | 20.76MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-08.smt2       |    0.052s | 21.364MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking10.smt2              |    0.054s | 21.524MiB| sat | 0 |  |  |
|scheduling/orb05_700.smt2                                    |    0.056s | 23.064MiB| unsat | 0 |  |  |
|scheduling/orb08_700.smt2                                    |    0.059s | 22.808MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking14.smt2              |    0.059s | 22.132MiB| sat | 0 |  |  |
|scheduling/abz5_1000.smt2                                    |    0.060s | 23.06MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-09.smt2       |    0.060s | 21.62MiB| sat | 0 |  |  |
|sal/fischer3-mutex-9.smt2                                    |    0.060s | 21.108MiB| unsat | 0 |  |  |
|scheduling/orb04_850.smt2                                    |    0.062s | 23.108MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking13.smt2              |    0.062s | 21.876MiB| sat | 0 |  |  |
|sal/fischer6-mutex-7.smt2                                    |    0.063s | 21.62MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking15.smt2              |    0.064s | 22.208MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking18.smt2              |    0.068s | 22.728MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking16.smt2              |    0.070s | 22.416MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-depth-3.smt2          |    0.071s | 22.32MiB| sat | 0 |  |  |
|scheduling/orb09_800.smt2                                    |    0.074s | 23.064MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking17.smt2              |    0.074s | 22.492MiB| sat | 0 |  |  |
|sal/fischer3-mutex-10.smt2                                   |    0.076s | 21.364MiB| unsat | 0 |  |  |
|scheduling/orb10_800.smt2                                    |    0.078s | 23.32MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking22.smt2              |    0.078s | 23.344MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking20.smt2              |    0.079s | 23.02MiB| sat | 0 |  |  |
|sal/fischer9-mutex-6.smt2                                    |    0.080s | 22.32MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking19.smt2              |    0.084s | 22.864MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/cooking21.smt2              |    0.085s | 23.092MiB| sat | 0 |  |  |
|sal/fischer6-mutex-8.smt2                                    |    0.092s | 22.064MiB| unsat | 0 |  |  |
|scheduling/orb02_800.smt2                                    |    0.094s | 23.064MiB| unsat | 0 |  |  |
|scheduling/orb07_550.smt2                                    |    0.105s | 24.088MiB| sat | 0 |  |  |
|scheduling/abz6_1100.smt2                                    |    0.108s | 23.832MiB| sat | 0 |  |  |
|sal/fischer9-mutex-7.smt2                                    |    0.116s | 22.844MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-11.smt2                                   |    0.124s | 21.608MiB| unsat | 0 |  |  |
|scheduling/orb02_1000.smt2                                   |    0.125s | 23.576MiB| sat | 0 |  |  |
|scheduling/abz5_1400.smt2                                    |    0.128s | 23.572MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-20.smt2       |    0.129s | 23.6MiB| sat | 0 |  |  |
|scheduling/orb09_1100.smt2                                   |    0.130s | 24.344MiB| sat | 0 |  |  |
|skdmxa/skdmxa-3x3-5.smt2                                     |    0.141s | 33.188MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-12.smt2                                   |    0.143s | 21.808MiB| unsat | 0 |  |  |
|scheduling/orb10_1100.smt2                                   |    0.149s | 24.348MiB| sat | 0 |  |  |
|scheduling/abz6_900.smt2                                     |    0.158s | 23.576MiB| unsat | 0 |  |  |
|scheduling/orb09_1000.smt2                                   |    0.173s | 23.832MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-30.smt2       |    0.183s | 25.744MiB| sat | 0 |  |  |
|sal/fischer3-mutex-13.smt2                                   |    0.195s | 22.064MiB| unsat | 0 |  |  |
|sal/fischer9-mutex-8.smt2                                    |    0.196s | 23.544MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-15.smt2                                   |    0.219s | 22.556MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-9.smt2                                    |    0.228s | 22.78MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-5.base.cvc.smt2                           |    0.231s | 48.668MiB| unsat | 0 |  |  |
|scheduling/orb05_800.smt2                                    |    0.235s | 23.576MiB| unsat | 0 |  |  |
|scheduling/abz6_1000.smt2                                    |    0.236s | 23.832MiB| sat | 0 |  |  |
|scheduling/orb04_1200.smt2                                   |    0.242s | 24.344MiB| sat | 0 |  |  |
|sal/fischer3-mutex-14.smt2                                   |    0.260s | 22.512MiB| unsat | 0 |  |  |
|scheduling/orb06_900.smt2                                    |    0.290s | 23.576MiB| unsat | 0 |  |  |
|scheduling/orb05_1000.smt2                                   |    0.291s | 24.6MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-6.base.cvc.smt2                           |    0.295s | 54.508MiB| unsat | 0 |  |  |
|scheduling/orb03_1200.smt2                                   |    0.316s | 24.6MiB| sat | 0 |  |  |
|sal/fischer3-mutex-16.smt2                                   |    0.319s | 23.324MiB| unsat | 0 |  |  |
|scheduling/orb03_850.smt2                                    |    0.333s | 24.088MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-10.smt2                                   |    0.396s | 23.488MiB| unsat | 0 |  |  |
|scheduling/orb04_950.smt2                                    |    0.402s | 24.088MiB| unsat | 0 |  |  |
|scheduling/orb04_1100.smt2                                   |    0.411s | 24.6MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-7.base.cvc.smt2                           |    0.414s | 58.292MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-17.smt2                                   |    0.423s | 23.696MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-5.induction.cvc.smt2                      |    0.427s | 64.732MiB| sat | 0 |  |  |
|scheduling/orb07_430.smt2                                    |    0.433s | 24.092MiB| sat | 0 |  |  |
|scheduling/abz5_1300.smt2                                    |    0.436s | 24.084MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-8.base.cvc.smt2                           |    0.448s | 63.5MiB| unsat | 0 |  |  |
|scheduling/orb01_900.smt2                                    |    0.449s | 24.092MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-width-3.smt2          |    0.461s | 23.856MiB| sat | 0 |  |  |
|scheduling/orb02_900.smt2                                    |    0.465s | 24.348MiB| sat | 0 |  |  |
|sal/fischer3-mutex-18.smt2                                   |    0.526s | 23.94MiB| unsat | 0 |  |  |
|sal/fischer9-mutex-9.smt2                                    |    0.551s | 24.88MiB| unsat | 0 |  |  |
|scheduling/orb08_830.smt2                                    |    0.553s | 24.092MiB| unsat | 0 |  |  |
|scheduling/orb06_1200.smt2                                   |    0.559s | 25.116MiB| sat | 0 |  |  |
|sal/fischer6-mutex-11.smt2                                   |    0.596s | 23.876MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-6.induction.cvc.smt2                      |    0.614s | 76.792MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-40.smt2       |    0.615s | 27.592MiB| sat | 0 |  |  |
|scheduling/orb10_900.smt2                                    |    0.660s | 23.832MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-19.smt2                                   |    0.689s | 24.084MiB| unsat | 0 |  |  |
|skdmxa/skdmxa-3x3-10.smt2                                    |    0.701s | 58.932MiB| unsat | 0 |  |  |
|scheduling/orb06_1100.smt2                                   |    0.760s | 25.112MiB| sat | 0 |  |  |
|scheduling/yn1_750.smt2                                      |    0.769s | 67.472MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-13.smt2                                   |    0.771s | 25.036MiB| unsat | 0 |  |  |
|sal/fischer3-mutex-20.smt2                                   |    0.791s | 24.496MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-7.induction.cvc.smt2                      |    0.818s | 83.128MiB| sat | 0 |  |  |
|scheduling/abz6_943.smt2                                     |    0.821s | 24.092MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-8.induction.cvc.smt2                      |    0.837s | 90.112MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-9.base.cvc.smt2                           |    0.907s | 87.012MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-10.induction.cvc.smt2                     |    1.103s | 125.0MiB| sat | 0 |  |  |
|scheduling/yn3_750.smt2                                      |    1.112s | 68.76MiB| unsat | 0 |  |  |
|scheduling/orb01_1200.smt2                                   |    1.146s | 25.624MiB| sat | 0 |  |  |
|sal/fischer6-mutex-14.smt2                                   |    1.154s | 25.648MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-12.smt2                                   |    1.158s | 24.8MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-depth-4.smt2          |    1.170s | 26.512MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-9.induction.cvc.smt2                      |    1.175s | 120.0MiB| sat | 0 |  |  |
|scheduling/orb08_1000.smt2                                   |    1.209s | 24.86MiB| sat | 0 |  |  |
|scheduling/abz7_500.smt2                                     |    1.214s | 49.444MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-10.base.cvc.smt2                          |    1.255s | 94.628MiB| unsat | 0 |  |  |
|sal/fischer9-mutex-10.smt2                                   |    1.432s | 26.416MiB| unsat | 0 |  |  |
|scheduling/yn2_750.smt2                                      |    1.523s | 64.408MiB| unsat | 0 |  |  |
|sal/fischer9-mutex-12.smt2                                   |    1.624s | 27.82MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-15.smt2                                   |    1.760s | 25.904MiB| unsat | 0 |  |  |
|scheduling/orb09_900.smt2                                    |    1.791s | 24.86MiB| unsat | 0 |  |  |
|scheduling/orb02_888.smt2                                    |    1.834s | 25.368MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-11.induction.cvc.smt2                     |    1.873s | 142.0MiB| sat | 0 |  |  |
|scheduling/abz5_1200.smt2                                    |    1.928s | 24.596MiB| unsat | 0 |  |  |
|scheduling/orb03_1100.smt2                                   |    2.013s | 25.624MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-12.induction.cvc.smt2                     |    2.187s | 166.0MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-70.smt2       |    2.257s | 43.596MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-60.smt2       |    2.346s | 31.684MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-80.smt2       |    2.644s | 43.964MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-13.induction.cvc.smt2                     |    2.675s | 169.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-11.base.cvc.smt2                          |    2.904s | 102.0MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-17.smt2                                   |    3.087s | 28.848MiB| unsat | 0 |  |  |
|scheduling/orb08_930.smt2                                    |    3.109s | 25.88MiB| sat | 0 |  |  |
|sal/fischer9-mutex-11.smt2                                   |    3.235s | 27.44MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-15.induction.cvc.smt2                     |    3.406s | 194.0MiB| sat | 0 |  |  |
|scheduling/orb07_397.smt2                                    |    3.602s | 25.88MiB| sat | 0 |  |  |
|scheduling/abz5_1234.smt2                                    |    3.994s | 26.132MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-18.induction.cvc.smt2                     |    4.021s | 278.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-14.induction.cvc.smt2                     |    4.146s | 208.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-12.base.cvc.smt2                          |    4.191s | 107.0MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-18.smt2                                   |    4.442s | 30.892MiB| unsat | 0 |  |  |
|scheduling/orb10_1000.smt2                                   |    4.492s | 26.136MiB| sat | 0 |  |  |
|scheduling/orb05_900.smt2                                    |    4.682s | 26.136MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-16.induction.cvc.smt2                     |    4.897s | 212.0MiB| sat | 0 |  |  |
|scheduling/orb04_1005.smt2                                   |    4.963s | 25.884MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tms-2-3-light-90.smt2       |    5.241s | 46.056MiB| sat | 0 |  |  |
|sal/fischer9-mutex-15.smt2                                   |    5.336s | 31.152MiB| unsat | 0 |  |  |
|sal/fischer9-mutex-13.smt2                                   |    5.524s | 30.38MiB| unsat | 0 |  |  |
|scheduling/orb10_944.smt2                                    |    5.592s | 26.136MiB| sat | 0 |  |  |
|sal/fischer9-mutex-14.smt2                                   |    5.823s | 29.868MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-17.induction.cvc.smt2                     |    5.857s | 269.0MiB| sat | 0 |  |  |
|scheduling/orb05_887.smt2                                    |    6.478s | 26.648MiB| sat | 0 |  |  |
|sal/fischer6-mutex-19.smt2                                   |    6.523s | 30.128MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-16.smt2                                   |    6.763s | 28.852MiB| unsat | 0 |  |  |
|scheduling/orb08_888.smt2                                    |    6.841s | 27.132MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-19.induction.cvc.smt2                     |    6.982s | 328.0MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-20.induction.cvc.smt2                     |    7.157s | 310.0MiB| sat | 0 |  |  |
|sal/fischer9-mutex-16.smt2                                   |    8.288s | 32.432MiB| unsat | 0 |  |  |
|skdmxa/skdmxa-3x3-15.smt2                                    |    8.536s | 83.992MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-14.base.cvc.smt2                          |    8.785s | 124.0MiB| unsat | 0 |  |  |
|sal/fischer6-mutex-20.smt2                                   |    8.830s | 30.124MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-13.base.cvc.smt2                          |    9.132s | 117.0MiB| unsat | 0 |  |  |
|scheduling/orb09_934.smt2                                    |   10.531s | 28.44MiB| sat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-depth-5.smt2          |   12.430s | 36.124MiB| sat | 0 |  |  |
|skdmxa2/skdmxa-3x3-15.base.cvc.smt2                          |   12.629s | 137.0MiB| unsat | 0 |  |  |
|scheduling/orb03_950.smt2                                    |   13.170s | 27.42MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-16.base.cvc.smt2                          |   15.746s | 142.0MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-width-4.smt2          |   16.784s | 45.384MiB| sat | 0 |  |  |
|sal/fischer9-mutex-18.smt2                                   |   20.712s | 36.4MiB| unsat | 0 |  |  |
|skdmxa2/skdmxa-3x3-17.base.cvc.smt2                          |   21.863s | 189.0MiB| unsat | 0 |  |  |
|scheduling/orb01_1100.smt2                                   |   22.536s | 29.468MiB| sat | 0 |  |  |
|sal/fischer9-mutex-17.smt2                                   |   24.901s | 35.98MiB| unsat | 0 |  |  |
|scheduling/orb01_1000.smt2                                   |   27.309s | 30.232MiB| unsat | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-depth-6.smt2          |   30.009s | 57.28MiB| timeout | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-width-5.smt2          |   30.012s | 81.176MiB| timeout | 0 |  |  |
|scheduling/yn2_890.smt2                                      |   30.015s | 89.756MiB| timeout | 0 |  |  |
|scheduling/orb06_1000.smt2                                   |   30.016s | 31.26MiB| timeout | 0 |  |  |
|scheduling/abz7_600.smt2                                     |   30.017s | 67.24MiB| timeout | 0 |  |  |
|skdmxa/skdmxa-3x3-20.smt2                                    |   30.018s | 132.0MiB| timeout | 0 |  |  |
|scheduling/orb03_1005.smt2                                   |   30.018s | 29.72MiB| timeout | 0 |  |  |
|scheduling/yn4_850.smt2                                      |   30.019s | 79.768MiB| timeout | 0 |  |  |
|scheduling/orb01_1059.smt2                                   |   30.019s | 30.232MiB| timeout | 0 |  |  |
|sal/fischer9-mutex-20.smt2                                   |   30.019s | 38.06MiB| timeout | 0 |  |  |
|scheduling/yn4_969.smt2                                      |   30.020s | 95.128MiB| timeout | 0 |  |  |
|scheduling/yn1_850.smt2                                      |   30.020s | 84.12MiB| timeout | 0 |  |  |
|scheduling/yn2_862.smt2                                      |   30.020s | 84.632MiB| timeout | 0 |  |  |
|scheduling/yn1_887.smt2                                      |   30.020s | 88.732MiB| timeout | 0 |  |  |
|scheduling/yn4_1000.smt2                                     |   30.021s | 95.036MiB| timeout | 0 |  |  |
|scheduling/yn4_950.smt2                                      |   30.021s | 88.892MiB| timeout | 0 |  |  |
|sal/fischer9-mutex-19.smt2                                   |   30.021s | 38.96MiB| timeout | 0 |  |  |
|scheduling/yn2_950.smt2                                      |   30.022s | 94.112MiB| timeout | 0 |  |  |
|scheduling/abz7_667.smt2                                     |   30.022s | 73.456MiB| timeout | 0 |  |  |
|scheduling/yn4_919.smt2                                      |   30.022s | 85.408MiB| timeout | 0 |  |  |
|scheduling/orb06_1010.smt2                                   |   30.022s | 30.492MiB| timeout | 0 |  |  |
|scheduling/abz7_691.smt2                                     |   30.022s | 76.332MiB| timeout | 0 |  |  |
|scheduling/yn3_860.smt2                                      |   30.023s | 83.608MiB| timeout | 0 |  |  |
|scheduling/abz7_670.smt2                                     |   30.024s | 75.048MiB| timeout | 0 |  |  |
|scheduling/yn3_950.smt2                                      |   30.025s | 93.596MiB| timeout | 0 |  |  |
|scheduling/yn2_910.smt2                                      |   30.025s | 92.108MiB| timeout | 0 |  |  |
|scheduling/abz7_700.smt2                                     |   30.025s | 75.816MiB| timeout | 0 |  |  |
|scheduling/yn3_828.smt2                                      |   30.025s | 82.072MiB| timeout | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-matrix2x2.pddl.smt2   |   30.025s | 135.0MiB| timeout | 0 |  |  |
|scheduling/yn1_827.smt2                                      |   30.026s | 80.28MiB| timeout | 0 |  |  |
|scheduling/yn1_950.smt2                                      |   30.026s | 91.292MiB| timeout | 0 |  |  |
|scheduling/yn3_894.smt2                                      |   30.027s | 88.476MiB| timeout | 0 |  |  |
|scheduling/abz7_800.smt2                                     |   30.028s | 80.936MiB| timeout | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-depth-7.smt2          |   30.028s | 88.044MiB| timeout | 0 |  |  |
|SMT-Temporal-Planning-Benchmarks/tempo-width-6.smt2          |   30.029s | 141.0MiB| timeout | 0 |  |  |
|scheduling/swv14_2905.smt2                                   |   30.031s | 234.0MiB| timeout | 0 |  |  |
|scheduling/swv11_2988.smt2                                   |   30.035s | 232.0MiB| timeout | 0 |  |  |
|scheduling/swv14_2885.smt2                                   |   30.035s | 237.0MiB| timeout | 0 |  |  |
|scheduling/swv14_2800.smt2                                   |   30.035s | 230.0MiB| timeout | 0 |  |  |
|scheduling/swv11_2983.smt2                                   |   30.036s | 235.0MiB| timeout | 0 |  |  |
|scheduling/swv11_2900.smt2                                   |   30.036s | 230.0MiB| timeout | 0 |  |  |
|scheduling/swv12_2900.smt2                                   |   30.036s | 241.0MiB| timeout | 0 |  |  |
|scheduling/swv13_3150.smt2                                   |   30.036s | 253.0MiB| timeout | 0 |  |  |
|skdmxa2/skdmxa-3x3-20.base.cvc.smt2                          |   30.036s | 221.0MiB| timeout | 0 |  |  |
|scheduling/swv12_2990.smt2                                   |   30.037s | 245.0MiB| timeout | 0 |  |  |
|scheduling/swv12_3050.smt2                                   |   30.037s | 250.0MiB| timeout | 0 |  |  |
|scheduling/swv14_2895.smt2                                   |   30.037s | 242.0MiB| timeout | 0 |  |  |
|scheduling/swv12_2972.smt2                                   |   30.037s | 251.0MiB| timeout | 0 |  |  |
|scheduling/swv12_3004.smt2                                   |   30.038s | 261.0MiB| timeout | 0 |  |  |
|scheduling/swv13_3104.smt2                                   |   30.038s | 247.0MiB| timeout | 0 |  |  |
|skdmxa2/skdmxa-3x3-18.base.cvc.smt2                          |   30.038s | 213.0MiB| timeout | 0 |  |  |
|scheduling/swv13_3000.smt2                                   |   30.039s | 245.0MiB| timeout | 0 |  |  |
|scheduling/swv13_3200.smt2                                   |   30.040s | 251.0MiB| timeout | 0 |  |  |
|scheduling/swv11_2992.smt2                                   |   30.040s | 234.0MiB| timeout | 0 |  |  |
|scheduling/swv14_3000.smt2                                   |   30.041s | 235.0MiB| timeout | 0 |  |  |
|skdmxa2/skdmxa-3x3-19.base.cvc.smt2                          |   30.046s | 216.0MiB| timeout | 0 |  |  |
|scheduling/swv11_3050.smt2                                   |   30.051s | 231.0MiB| timeout | 0 |  |  |
