# .

* SAT 0
* UNSAT 0
* TIMEOUT 0
* UNKNOWN 0

* UNSET 44

* ERROR 44

# Meta data

<pre>
Ramon benchmark for SMTS
-
Job description: 
Job tag: SMTS_z3-threads-8-smtcomp2025-QF_LIA-test
Runner: rise-runner-2
SMTS repo: ilanashapiro/SMTS
SMTS commit: ce30bfb994046270bdd95d9788d5c41685924deb
SMTS branch: master
SMTS options: "-oz 8 -p -l"
SMTS solver mode: z3
SMTS timeout: 61
SMTS inputs: inputs/smt_comp_2025_parallel/QF_LIA
SMTS commit message: enable OpenSMT splitter target for Z3 hybrid builds

</pre>


# Statistics
|FILE                                                         |TIME     |MEM        | STATUS   | EXIT | STDOUT | STDERR | 
|------------|----------:|---------:|-------------:| ----------:|--------|--------| 
|scrambled103783.smt2                                         |    0.071s | 9860.0KiB| unset | 2 |  |  |
|scrambled55777.smt2                                          |    0.071s | 10.096MiB| unset | 2 |  |  |
|scrambled40621.smt2                                          |    0.073s | 9912.0KiB| unset | 2 |  |  |
|scrambled20101.smt2                                          |    0.073s | 9892.0KiB| unset | 2 |  |  |
|scrambled125827.smt2                                         |    0.074s | 9904.0KiB| unset | 2 |  |  |
|scrambled107115.smt2                                         |    0.074s | 9964.0KiB| unset | 2 |  |  |
|scrambled61922.smt2                                          |    0.074s | 10.088MiB| unset | 2 |  |  |
|scrambled102166.smt2                                         |    0.074s | 10.2MiB| unset | 2 |  |  |
|scrambled44911.smt2                                          |    0.074s | 9916.0KiB| unset | 2 |  |  |
|scrambled94658.smt2                                          |    0.077s | 9900.0KiB| unset | 2 |  |  |
|scrambled27843.smt2                                          |    0.077s | 9876.0KiB| unset | 2 |  |  |
|scrambled1417.smt2                                           |    0.078s | 10.568MiB| unset | 2 |  |  |
|scrambled128732.smt2                                         |    0.078s | 10.028MiB| unset | 2 |  |  |
|scrambled4198.smt2                                           |    0.078s | 10.4MiB| unset | 2 |  |  |
|scrambled39514.smt2                                          |    0.079s | 9912.0KiB| unset | 2 |  |  |
|scrambled75189.smt2                                          |    0.080s | 10.224MiB| unset | 2 |  |  |
|scrambled125888.smt2                                         |    0.081s | 10.088MiB| unset | 2 |  |  |
|scrambled12042.smt2                                          |    0.081s | 10.136MiB| unset | 2 |  |  |
|scrambled4299.smt2                                           |    0.081s | 10.4MiB| unset | 2 |  |  |
|scrambled72668.smt2                                          |    0.081s | 9916.0KiB| unset | 2 |  |  |
|scrambled128128.smt2                                         |    0.081s | 9896.0KiB| unset | 2 |  |  |
|scrambled108840.smt2                                         |    0.081s | 10.432MiB| unset | 2 |  |  |
|scrambled79867.smt2                                          |    0.082s | 10.708MiB| unset | 2 |  |  |
|scrambled55680.smt2                                          |    0.082s | 10.436MiB| unset | 2 |  |  |
|scrambled65181.smt2                                          |    0.082s | 9908.0KiB| unset | 2 |  |  |
|scrambled107826.smt2                                         |    0.083s | 9904.0KiB| unset | 2 |  |  |
|scrambled59713.smt2                                          |    0.083s | 10.18MiB| unset | 2 |  |  |
|scrambled45952.smt2                                          |    0.083s | 9960.0KiB| unset | 2 |  |  |
|scrambled128874.smt2                                         |    0.084s | 10.384MiB| unset | 2 |  |  |
|scrambled118793.smt2                                         |    0.089s | 10.168MiB| unset | 2 |  |  |
|scrambled131241.smt2                                         |    0.089s | 9876.0KiB| unset | 2 |  |  |
|scrambled95803.smt2                                          |    0.090s | 9828.0KiB| unset | 2 |  |  |
|scrambled43577.smt2                                          |    0.090s | 9904.0KiB| unset | 2 |  |  |
|scrambled7741.smt2                                           |    0.090s | 10.38MiB| unset | 2 |  |  |
|scrambled19335.smt2                                          |    0.091s | 10.164MiB| unset | 2 |  |  |
|scrambled111627.smt2                                         |    0.091s | 10.132MiB| unset | 2 |  |  |
|scrambled68944.smt2                                          |    0.091s | 10.172MiB| unset | 2 |  |  |
|scrambled79766.smt2                                          |    0.091s | 10.164MiB| unset | 2 |  |  |
|scrambled119331.smt2                                         |    0.091s | 9932.0KiB| unset | 2 |  |  |
|scrambled51053.smt2                                          |    0.092s | 10.328MiB| unset | 2 |  |  |
|scrambled79760.smt2                                          |    0.092s | 9904.0KiB| unset | 2 |  |  |
|scrambled25238.smt2                                          |    0.092s | 9904.0KiB| unset | 2 |  |  |
|scrambled3854.smt2                                           |    0.097s | 10.16MiB| unset | 2 |  |  |
|scrambled32836.smt2                                          |    0.101s | 11.9MiB| unset | 2 |  |  |