# .

* SAT 7
* UNSAT 1
* TIMEOUT 37
* UNKNOWN 0

* UNSET 0

* ERROR 0

# Meta data

<pre>
Ramon benchmark for SMTS
-
Job description: 
Job tag: SMTS-threads-8-smtcomp2025-QF_IDL-timeout20min
Runner: rise-runner-2
SMTS repo: usi-verification-and-security/SMTS
SMTS commit: 33750b9094495eb1b86c1d7b796a0340ccf03822
SMTS branch: master
SMTS options: "-o 8 -p -l"
SMTS timeout: 1200
SMTS inputs: inputs/smt_comp_2025_parallel/QF_IDL
SMTS commit message: Reduced number of building cores in CircleCI

</pre>


# Statistics
|FILE                                                         |TIME     |MEM        | STATUS   | EXIT | STDOUT | STDERR | 
|------------|----------:|---------:|-------------:| ----------:|--------|--------| 
|scrambled1379.smt2                                           |   66.088s | 377.0MiB| sat | 0 |  |  |
|scrambled117178.smt2                                         |   74.145s | 342.0MiB| sat | 0 |  |  |
|scrambled119992.smt2                                         |  133.365s | 376.0MiB| sat | 0 |  |  |
|scrambled62536.smt2                                          |  442.884s | 10.253GiB| unsat | 0 |  |  |
|scrambled15284.smt2                                          |  481.015s | 734.0MiB| sat | 0 |  |  |
|scrambled75206.smt2                                          |  656.946s | 665.0MiB| sat | 0 |  |  |
|scrambled41773.smt2                                          | 1023.482s | 1076.0MiB| sat | 0 |  |  |
|scrambled23483.smt2                                          | 1105.822s | 1389.0MiB| sat | 0 |  |  |
|scrambled14967.smt2                                          | 1200.022s | 748.0MiB| timeout | 0 |  |  |
|scrambled82743.smt2                                          | 1200.027s | 1623.0MiB| timeout | 0 |  |  |
|scrambled122058.smt2                                         | 1200.031s | 1451.0MiB| timeout | 0 |  |  |
|scrambled100416.smt2                                         | 1200.037s | 776.0MiB| timeout | 0 |  |  |
|scrambled98799.smt2                                          | 1200.042s | 1797.0MiB| timeout | 0 |  |  |
|scrambled128361.smt2                                         | 1200.046s | 1659.0MiB| timeout | 0 |  |  |
|scrambled9927.smt2                                           | 1200.047s | 1544.0MiB| timeout | 0 |  |  |
|scrambled124624.smt2                                         | 1200.048s | 1418.0MiB| timeout | 0 |  |  |
|scrambled38610.smt2                                          | 1200.050s | 508.0MiB| timeout | 0 |  |  |
|scrambled41312.smt2                                          | 1200.051s | 637.0MiB| timeout | 0 |  |  |
|scrambled35345.smt2                                          | 1200.051s | 748.0MiB| timeout | 0 |  |  |
|scrambled116992.smt2                                         | 1200.054s | 662.0MiB| timeout | 0 |  |  |
|scrambled109208.smt2                                         | 1200.054s | 1872.0MiB| timeout | 0 |  |  |
|scrambled62810.smt2                                          | 1200.055s | 462.0MiB| timeout | 0 |  |  |
|scrambled41801.smt2                                          | 1200.055s | 417.0MiB| timeout | 0 |  |  |
|scrambled54073.smt2                                          | 1200.063s | 1746.0MiB| timeout | 0 |  |  |
|scrambled96514.smt2                                          | 1200.064s | 11.095GiB| timeout | 0 |  |  |
|scrambled27577.smt2                                          | 1200.069s | 2078.0MiB| timeout | 0 |  |  |
|scrambled15552.smt2                                          | 1200.069s | 1246.0MiB| timeout | 0 |  |  |
|scrambled79181.smt2                                          | 1200.073s | 1376.0MiB| timeout | 0 |  |  |
|scrambled62859.smt2                                          | 1200.074s | 649.0MiB| timeout | 0 |  |  |
|scrambled58720.smt2                                          | 1200.077s | 1248.0MiB| timeout | 0 |  |  |
|scrambled89071.smt2                                          | 1200.078s | 1746.0MiB| timeout | 0 |  |  |
|scrambled90733.smt2                                          | 1200.079s | 1625.0MiB| timeout | 0 |  |  |
|scrambled103851.smt2                                         | 1200.081s | 572.0MiB| timeout | 0 |  |  |
|scrambled1447.smt2                                           | 1200.082s | 849.0MiB| timeout | 0 |  |  |
|scrambled42287.smt2                                          | 1200.085s | 496.0MiB| timeout | 0 |  |  |
|scrambled97138.smt2                                          | 1200.086s | 492.0MiB| timeout | 0 |  |  |
|scrambled96733.smt2                                          | 1200.088s | 616.0MiB| timeout | 0 |  |  |
|scrambled6373.smt2                                           | 1200.091s | 1178.0MiB| timeout | 0 |  |  |
|scrambled78432.smt2                                          | 1200.095s | 1632.0MiB| timeout | 0 |  |  |
|scrambled78606.smt2                                          | 1200.098s | 1726.0MiB| timeout | 0 |  |  |
|scrambled21544.smt2                                          | 1200.101s | 1485.0MiB| timeout | 0 |  |  |
|scrambled4441.smt2                                           | 1200.103s | 1368.0MiB| timeout | 0 |  |  |
|scrambled122413.smt2                                         | 1200.106s | 975.0MiB| timeout | 0 |  |  |
|scrambled92133.smt2                                          | 1200.140s | 1967.0MiB| timeout | 0 |  |  |
|scrambled25140.smt2                                          | 1200.144s | 15.28GiB| timeout | 0 |  |  |