# .

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

* UNSET 0

* ERROR 0

# Meta data

<pre>
Ramon benchmark for SMTS
-
Job description: 
Job tag: smts-qflia-onefile-native-release-20260403f
Runner: rise-runner-2
SMTS repo: usi-verification-and-security/SMTS
SMTS commit: 33750b9094495eb1b86c1d7b796a0340ccf03822
SMTS branch: master
SMTS options: "-o 8 -pt 10 -nt 5 -p -l"
SMTS timeout: 30
SMTS inputs: inputs/QF_LIA/n6468-problem_2__034.smt2
SMTS commit message: Reduced number of building cores in CircleCI

</pre>


# Statistics
|FILE                                                         |TIME     |MEM        | STATUS   | EXIT | STDOUT | STDERR | 
|------------|----------:|---------:|-------------:| ----------:|--------|--------| 
|n6468-problem_2__034.smt2                                    |   30.030s | 46.236MiB| timeout | 0 |  |  |