# . * SAT 13 * UNSAT 9 * TIMEOUT 16 * UNKNOWN 0 * UNSET 0 * ERROR 0 # Meta data 
Ramon benchmark for SMTS
-
Job description: 
Job tag: SMTS-threads-8-smtcomp2025-QF_LRA-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_LRA
SMTS commit message: Reduced number of building cores in CircleCI
# Statistics |FILE |TIME |MEM | STATUS | EXIT | STDOUT | STDERR | |------------|----------:|---------:|-------------:| ----------:|--------|--------| |scrambled122587.smt2 | 17.568s | 260.0MiB| unsat | 0 | | | |scrambled124455.smt2 | 39.217s | 1202.0MiB| unsat | 0 | | | |scrambled115671.smt2 | 61.540s | 276.0MiB| unsat | 0 | | | |scrambled88927.smt2 | 61.972s | 194.0MiB| unsat | 0 | | | |scrambled47581.smt2 | 75.894s | 1064.0MiB| sat | 0 | | | |scrambled102621.smt2 | 78.134s | 5979.0MiB| unsat | 0 | | | |scrambled46192.smt2 | 95.736s | 308.0MiB| unsat | 0 | | | |scrambled102680.smt2 | 104.022s | 4308.0MiB| sat | 0 | | | |scrambled59368.smt2 | 138.269s | 1078.0MiB| sat | 0 | | | |scrambled98986.smt2 | 143.107s | 5354.0MiB| sat | 0 | | | |scrambled71015.smt2 | 148.171s | 1406.0MiB| unsat | 0 | | | |scrambled117897.smt2 | 156.637s | 1443.0MiB| unsat | 0 | | | |scrambled55850.smt2 | 185.128s | 5748.0MiB| sat | 0 | | | |scrambled37260.smt2 | 208.825s | 1584.0MiB| sat | 0 | | | |scrambled25695.smt2 | 494.945s | 7246.0MiB| sat | 0 | | | |scrambled13169.smt2 | 496.776s | 7934.0MiB| sat | 0 | | | |scrambled109307.smt2 | 510.675s | 2497.0MiB| sat | 0 | | | |scrambled8163.smt2 | 521.049s | 8282.0MiB| sat | 0 | | | |scrambled95284.smt2 | 570.052s | 2114.0MiB| unsat | 0 | | | |scrambled101728.smt2 | 603.364s | 3928.0MiB| sat | 0 | | | |scrambled35077.smt2 | 981.626s | 512.0MiB| sat | 0 | | | |scrambled77008.smt2 | 1012.707s | 4830.0MiB| sat | 0 | | | |scrambled101086.smt2 | 1200.035s | 1221.0MiB| timeout | 0 | | | |scrambled111949.smt2 | 1200.039s | 6908.0MiB| timeout | 0 | | | |scrambled65517.smt2 | 1200.042s | 3275.0MiB| timeout | 0 | | | |scrambled55845.smt2 | 1200.048s | 1459.0MiB| timeout | 0 | | | |scrambled31085.smt2 | 1200.048s | 1578.0MiB| timeout | 0 | | | |scrambled76525.smt2 | 1200.051s | 2034.0MiB| timeout | 0 | | | |scrambled76532.smt2 | 1200.054s | 481.0MiB| timeout | 0 | | | |scrambled77308.smt2 | 1200.055s | 2234.0MiB| timeout | 0 | | | |scrambled49820.smt2 | 1200.060s | 1384.0MiB| timeout | 0 | | | |scrambled92964.smt2 | 1200.062s | 1043.0MiB| timeout | 0 | | | |scrambled44527.smt2 | 1200.063s | 13.798GiB| timeout | 0 | | | |scrambled17583.smt2 | 1200.064s | 2850.0MiB| timeout | 0 | | | |scrambled124681.smt2 | 1200.074s | 836.0MiB| timeout | 0 | | | |scrambled104811.smt2 | 1200.084s | 2325.0MiB| timeout | 0 | | | |scrambled13209.smt2 | 1200.103s | 7815.0MiB| timeout | 0 | | | |scrambled103576.smt2 | 1200.108s | 1066.0MiB| timeout | 0 | | |