# . * SAT 13 * UNSAT 9 * TIMEOUT 16 * UNKNOWN 0 * UNSET 0 * ERROR 0 # Meta data 
Ramon benchmark for OpenSMT
-
Job description: 
Job tag: OpenSMT-sequential-smtcomp2025-QF_LRA-timeout_20min
Runner: rise-runner-2
OpenSMT repo: usi-verification-and-security/opensmt
OpenSMT commit: e4c8030849e6c2896735567b5d866fdccc70e9ae
OpenSMT branch: master
OpenSMT options: ""
OpenSMT timeout: 1200
OpenSMT inputs: inputs/smt_comp_2025_parallel/QF_LRA
OpenSMT commit message: Updated MacOS CircleCI resource class
# Statistics |FILE |TIME |MEM | STATUS | EXIT | STDOUT | STDERR | |------------|----------:|---------:|-------------:| ----------:|--------|--------| |scrambled122587.smt2 | 21.041s | 25.052MiB| unsat | 0 | | | |scrambled115671.smt2 | 51.400s | 25.928MiB| unsat | 0 | | | |scrambled46192.smt2 | 51.933s | 26.164MiB| unsat | 0 | | | |scrambled102621.smt2 | 61.060s | 491.0MiB| unsat | 0 | | | |scrambled47581.smt2 | 64.494s | 72.98MiB| sat | 0 | | | |scrambled124455.smt2 | 72.139s | 93.496MiB| unsat | 0 | | | |scrambled71015.smt2 | 112.823s | 169.0MiB| unsat | 0 | | | |scrambled98986.smt2 | 145.106s | 425.0MiB| sat | 0 | | | |scrambled55850.smt2 | 219.199s | 464.0MiB| sat | 0 | | | |scrambled109307.smt2 | 240.101s | 147.0MiB| sat | 0 | | | |scrambled117897.smt2 | 242.904s | 110.0MiB| unsat | 0 | | | |scrambled88927.smt2 | 285.713s | 43.4MiB| unsat | 0 | | | |scrambled13169.smt2 | 332.644s | 604.0MiB| sat | 0 | | | |scrambled25695.smt2 | 337.741s | 532.0MiB| sat | 0 | | | |scrambled102680.smt2 | 344.589s | 296.0MiB| sat | 0 | | | |scrambled8163.smt2 | 351.142s | 669.0MiB| sat | 0 | | | |scrambled59368.smt2 | 424.773s | 165.0MiB| sat | 0 | | | |scrambled77008.smt2 | 647.101s | 332.0MiB| sat | 0 | | | |scrambled44527.smt2 | 658.212s | 1575.0MiB| sat | 0 | | | |scrambled111949.smt2 | 944.413s | 444.0MiB| sat | 0 | | | |scrambled92964.smt2 | 995.012s | 125.0MiB| unsat | 0 | | | |scrambled13209.smt2 | 1092.501s | 511.0MiB| sat | 0 | | | |scrambled55845.smt2 | 1200.024s | 99.0MiB| timeout | 0 | | | |scrambled76532.smt2 | 1200.024s | 51.844MiB| timeout | 0 | | | |scrambled101086.smt2 | 1200.025s | 127.0MiB| timeout | 0 | | | |scrambled35077.smt2 | 1200.026s | 53.24MiB| timeout | 0 | | | |scrambled31085.smt2 | 1200.027s | 189.0MiB| timeout | 0 | | | |scrambled49820.smt2 | 1200.028s | 137.0MiB| timeout | 0 | | | |scrambled124681.smt2 | 1200.028s | 128.0MiB| timeout | 0 | | | |scrambled95284.smt2 | 1200.034s | 278.0MiB| timeout | 0 | | | |scrambled76525.smt2 | 1200.034s | 126.0MiB| timeout | 0 | | | |scrambled103576.smt2 | 1200.037s | 113.0MiB| timeout | 0 | | | |scrambled17583.smt2 | 1200.048s | 295.0MiB| timeout | 0 | | | |scrambled37260.smt2 | 1200.053s | 268.0MiB| timeout | 0 | | | |scrambled101728.smt2 | 1200.054s | 284.0MiB| timeout | 0 | | | |scrambled104811.smt2 | 1200.055s | 429.0MiB| timeout | 0 | | | |scrambled77308.smt2 | 1200.062s | 455.0MiB| timeout | 0 | | | |scrambled65517.smt2 | 1200.067s | 541.0MiB| timeout | 0 | | |