# . * 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_NIA-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.428s | 25.3MiB| unsat | 0 | | | |scrambled46192.smt2 | 51.080s | 26.028MiB| unsat | 0 | | | |scrambled115671.smt2 | 52.079s | 25.984MiB| unsat | 0 | | | |scrambled102621.smt2 | 55.860s | 491.0MiB| unsat | 0 | | | |scrambled47581.smt2 | 64.014s | 72.748MiB| sat | 0 | | | |scrambled124455.smt2 | 72.202s | 93.452MiB| unsat | 0 | | | |scrambled71015.smt2 | 113.776s | 169.0MiB| unsat | 0 | | | |scrambled98986.smt2 | 141.576s | 425.0MiB| sat | 0 | | | |scrambled55850.smt2 | 224.145s | 464.0MiB| sat | 0 | | | |scrambled109307.smt2 | 233.278s | 147.0MiB| sat | 0 | | | |scrambled117897.smt2 | 242.136s | 110.0MiB| unsat | 0 | | | |scrambled88927.smt2 | 285.670s | 43.348MiB| unsat | 0 | | | |scrambled102680.smt2 | 333.334s | 296.0MiB| sat | 0 | | | |scrambled25695.smt2 | 341.672s | 532.0MiB| sat | 0 | | | |scrambled13169.smt2 | 347.842s | 604.0MiB| sat | 0 | | | |scrambled8163.smt2 | 362.597s | 669.0MiB| sat | 0 | | | |scrambled59368.smt2 | 426.712s | 165.0MiB| sat | 0 | | | |scrambled77008.smt2 | 644.763s | 332.0MiB| sat | 0 | | | |scrambled44527.smt2 | 724.785s | 1575.0MiB| sat | 0 | | | |scrambled92964.smt2 | 993.366s | 125.0MiB| unsat | 0 | | | |scrambled111949.smt2 | 998.626s | 444.0MiB| sat | 0 | | | |scrambled13209.smt2 | 1076.927s | 511.0MiB| sat | 0 | | | |scrambled103576.smt2 | 1200.015s | 113.0MiB| timeout | 0 | | | |scrambled101086.smt2 | 1200.021s | 128.0MiB| timeout | 0 | | | |scrambled76525.smt2 | 1200.022s | 126.0MiB| timeout | 0 | | | |scrambled124681.smt2 | 1200.022s | 127.0MiB| timeout | 0 | | | |scrambled31085.smt2 | 1200.024s | 188.0MiB| timeout | 0 | | | |scrambled76532.smt2 | 1200.028s | 51.92MiB| timeout | 0 | | | |scrambled35077.smt2 | 1200.031s | 53.14MiB| timeout | 0 | | | |scrambled55845.smt2 | 1200.035s | 99.0MiB| timeout | 0 | | | |scrambled101728.smt2 | 1200.036s | 284.0MiB| timeout | 0 | | | |scrambled95284.smt2 | 1200.038s | 278.0MiB| timeout | 0 | | | |scrambled49820.smt2 | 1200.042s | 137.0MiB| timeout | 0 | | | |scrambled77308.smt2 | 1200.043s | 455.0MiB| timeout | 0 | | | |scrambled17583.smt2 | 1200.044s | 295.0MiB| timeout | 0 | | | |scrambled37260.smt2 | 1200.054s | 267.0MiB| timeout | 0 | | | |scrambled104811.smt2 | 1200.076s | 429.0MiB| timeout | 0 | | | |scrambled65517.smt2 | 1200.078s | 541.0MiB| timeout | 0 | | |