# . * SAT 10 * UNSAT 8 * TIMEOUT 20 * 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 | 19.361s | 254.0MiB| unsat | 0 | | | |scrambled124455.smt2 | 34.537s | 1181.0MiB| unsat | 0 | | | |scrambled47581.smt2 | 58.532s | 990.0MiB| sat | 0 | | | |scrambled102621.smt2 | 59.639s | 5796.0MiB| unsat | 0 | | | |scrambled88927.smt2 | 74.095s | 187.0MiB| unsat | 0 | | | |scrambled46192.smt2 | 74.132s | 287.0MiB| unsat | 0 | | | |scrambled115671.smt2 | 102.394s | 342.0MiB| unsat | 0 | | | |scrambled59368.smt2 | 112.282s | 992.0MiB| sat | 0 | | | |scrambled117897.smt2 | 120.507s | 1421.0MiB| unsat | 0 | | | |scrambled98986.smt2 | 146.188s | 5378.0MiB| sat | 0 | | | |scrambled71015.smt2 | 147.938s | 1289.0MiB| unsat | 0 | | | |scrambled55850.smt2 | 183.544s | 5639.0MiB| sat | 0 | | | |scrambled102680.smt2 | 279.065s | 4673.0MiB| sat | 0 | | | |scrambled25695.smt2 | 430.878s | 7071.0MiB| sat | 0 | | | |scrambled8163.smt2 | 481.509s | 8094.0MiB| sat | 0 | | | |scrambled109307.smt2 | 517.081s | 2554.0MiB| sat | 0 | | | |scrambled13169.smt2 | 520.344s | 7959.0MiB| sat | 0 | | | |scrambled37260.smt2 | 749.062s | 2069.0MiB| sat | 0 | | | |scrambled103576.smt2 | 1200.037s | 983.0MiB| timeout | 0 | | | |scrambled101728.smt2 | 1200.040s | 4209.0MiB| timeout | 0 | | | |scrambled17583.smt2 | 1200.042s | 2891.0MiB| timeout | 0 | | | |scrambled104811.smt2 | 1200.042s | 2225.0MiB| timeout | 0 | | | |scrambled31085.smt2 | 1200.044s | 1651.0MiB| timeout | 0 | | | |scrambled35077.smt2 | 1200.045s | 494.0MiB| timeout | 0 | | | |scrambled77308.smt2 | 1200.048s | 2354.0MiB| timeout | 0 | | | |scrambled13209.smt2 | 1200.048s | 7907.0MiB| timeout | 0 | | | |scrambled124681.smt2 | 1200.052s | 956.0MiB| timeout | 0 | | | |scrambled76532.smt2 | 1200.055s | 490.0MiB| timeout | 0 | | | |scrambled77008.smt2 | 1200.061s | 4865.0MiB| timeout | 0 | | | |scrambled111949.smt2 | 1200.063s | 6807.0MiB| timeout | 0 | | | |scrambled101086.smt2 | 1200.067s | 1203.0MiB| timeout | 0 | | | |scrambled92964.smt2 | 1200.068s | 1030.0MiB| timeout | 0 | | | |scrambled49820.smt2 | 1200.069s | 1341.0MiB| timeout | 0 | | | |scrambled55845.smt2 | 1200.074s | 1513.0MiB| timeout | 0 | | | |scrambled95284.smt2 | 1200.078s | 2350.0MiB| timeout | 0 | | | |scrambled76525.smt2 | 1200.110s | 2076.0MiB| timeout | 0 | | | |scrambled44527.smt2 | 1200.123s | 13.745GiB| timeout | 0 | | | |scrambled65517.smt2 | 1200.123s | 3272.0MiB| timeout | 0 | | |