# . * SAT 11 * UNSAT 0 * TIMEOUT 33 * UNKNOWN 0 * UNSET 0 * ERROR 0 # Meta data 
Ramon benchmark for OpenSMT
-
Job description: 
Job tag: OpenSMT-sequential-smtcomp2025-QF_LIA-timeout_20min
Runner: rise-runner-2
OpenSMT repo: usi-verification-and-security/opensmt
OpenSMT commit: e4c8030849e6c2896735567b5d866fdccc70e9ae
OpenSMT branch: master
OpenSMT options: ""
OpenSMT timeout: 1260
OpenSMT inputs: inputs/smt_comp_2025_parallel/QF_LIA
OpenSMT commit message: Updated MacOS CircleCI resource class
# Statistics |FILE |TIME |MEM | STATUS | EXIT | STDOUT | STDERR | |------------|----------:|---------:|-------------:| ----------:|--------|--------| |scrambled20101.smt2 | 11.542s | 46.204MiB| sat | 0 | | | |scrambled125888.smt2 | 36.666s | 55.276MiB| sat | 0 | | | |scrambled25238.smt2 | 57.697s | 148.0MiB| sat | 0 | | | |scrambled118793.smt2 | 314.160s | 85.524MiB| sat | 0 | | | |scrambled95803.smt2 | 670.151s | 168.0MiB| sat | 0 | | | |scrambled72668.smt2 | 672.954s | 186.0MiB| sat | 0 | | | |scrambled128874.smt2 | 727.746s | 173.0MiB| sat | 0 | | | |scrambled125827.smt2 | 840.614s | 221.0MiB| sat | 0 | | | |scrambled7741.smt2 | 845.685s | 229.0MiB| sat | 0 | | | |scrambled131241.smt2 | 958.725s | 235.0MiB| sat | 0 | | | |scrambled44911.smt2 | 1134.089s | 338.0MiB| sat | 0 | | | |scrambled128128.smt2 | 1260.046s | 261.0MiB| timeout | 0 | | | |scrambled40621.smt2 | 1260.047s | 280.0MiB| timeout | 0 | | | |scrambled32836.smt2 | 1260.062s | 194.0MiB| timeout | 0 | | | |scrambled55777.smt2 | 1260.067s | 273.0MiB| timeout | 0 | | | |scrambled128732.smt2 | 1260.069s | 260.0MiB| timeout | 0 | | | |scrambled119331.smt2 | 1260.072s | 256.0MiB| timeout | 0 | | | |scrambled1417.smt2 | 1260.131s | 948.0MiB| timeout | 0 | | | |scrambled107826.smt2 | 1260.142s | 971.0MiB| timeout | 0 | | | |scrambled51053.smt2 | 1260.235s | 521.0MiB| timeout | 0 | | | |scrambled4299.smt2 | 1260.275s | 1257.0MiB| timeout | 0 | | | |scrambled75189.smt2 | 1260.318s | 1365.0MiB| timeout | 0 | | | |scrambled68944.smt2 | 1260.328s | 1126.0MiB| timeout | 0 | | | |scrambled27843.smt2 | 1260.339s | 1011.0MiB| timeout | 0 | | | |scrambled102166.smt2 | 1260.393s | 1561.0MiB| timeout | 0 | | | |scrambled43577.smt2 | 1260.405s | 1378.0MiB| timeout | 0 | | | |scrambled79760.smt2 | 1260.452s | 1148.0MiB| timeout | 0 | | | |scrambled108840.smt2 | 1260.494s | 1808.0MiB| timeout | 0 | | | |scrambled12042.smt2 | 1260.610s | 2740.0MiB| timeout | 0 | | | |scrambled111627.smt2 | 1260.610s | 1879.0MiB| timeout | 0 | | | |scrambled19335.smt2 | 1260.647s | 1824.0MiB| timeout | 0 | | | |scrambled55680.smt2 | 1260.662s | 2390.0MiB| timeout | 0 | | | |scrambled61922.smt2 | 1260.672s | 1397.0MiB| timeout | 0 | | | |scrambled79867.smt2 | 1260.689s | 5138.0MiB| timeout | 0 | | | |scrambled94658.smt2 | 1260.691s | 2330.0MiB| timeout | 0 | | | |scrambled59713.smt2 | 1260.696s | 5014.0MiB| timeout | 0 | | | |scrambled3854.smt2 | 1260.747s | 4910.0MiB| timeout | 0 | | | |scrambled39514.smt2 | 1260.749s | 5131.0MiB| timeout | 0 | | | |scrambled4198.smt2 | 1260.767s | 3061.0MiB| timeout | 0 | | | |scrambled45952.smt2 | 1260.769s | 5059.0MiB| timeout | 0 | | | |scrambled79766.smt2 | 1260.828s | 4915.0MiB| timeout | 0 | | | |scrambled103783.smt2 | 1260.848s | 4819.0MiB| timeout | 0 | | | |scrambled65181.smt2 | 1260.896s | 4838.0MiB| timeout | 0 | | | |scrambled107115.smt2 | 1261.029s | 2252.0MiB| timeout | 0 | | |