# . * SAT 10 * UNSAT 0 * TIMEOUT 34 * 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: 1200
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.740s | 45.956MiB| sat | 0 | | | |scrambled125888.smt2 | 35.567s | 55.288MiB| sat | 0 | | | |scrambled25238.smt2 | 56.761s | 148.0MiB| sat | 0 | | | |scrambled118793.smt2 | 332.838s | 85.52MiB| sat | 0 | | | |scrambled95803.smt2 | 702.985s | 168.0MiB| sat | 0 | | | |scrambled72668.smt2 | 710.026s | 187.0MiB| sat | 0 | | | |scrambled125827.smt2 | 803.870s | 220.0MiB| sat | 0 | | | |scrambled128874.smt2 | 804.525s | 173.0MiB| sat | 0 | | | |scrambled7741.smt2 | 868.064s | 229.0MiB| sat | 0 | | | |scrambled131241.smt2 | 961.395s | 235.0MiB| sat | 0 | | | |scrambled55777.smt2 | 1200.034s | 273.0MiB| timeout | 0 | | | |scrambled128128.smt2 | 1200.047s | 249.0MiB| timeout | 0 | | | |scrambled40621.smt2 | 1200.052s | 275.0MiB| timeout | 0 | | | |scrambled32836.smt2 | 1200.055s | 192.0MiB| timeout | 0 | | | |scrambled128732.smt2 | 1200.063s | 260.0MiB| timeout | 0 | | | |scrambled44911.smt2 | 1200.070s | 338.0MiB| timeout | 0 | | | |scrambled119331.smt2 | 1200.076s | 256.0MiB| timeout | 0 | | | |scrambled1417.smt2 | 1200.082s | 907.0MiB| timeout | 0 | | | |scrambled107826.smt2 | 1200.147s | 960.0MiB| timeout | 0 | | | |scrambled4299.smt2 | 1200.186s | 1244.0MiB| timeout | 0 | | | |scrambled51053.smt2 | 1200.277s | 521.0MiB| timeout | 0 | | | |scrambled75189.smt2 | 1200.330s | 1365.0MiB| timeout | 0 | | | |scrambled102166.smt2 | 1200.351s | 1561.0MiB| timeout | 0 | | | |scrambled68944.smt2 | 1200.365s | 1127.0MiB| timeout | 0 | | | |scrambled43577.smt2 | 1200.370s | 1378.0MiB| timeout | 0 | | | |scrambled27843.smt2 | 1200.395s | 1008.0MiB| timeout | 0 | | | |scrambled79760.smt2 | 1200.492s | 1147.0MiB| timeout | 0 | | | |scrambled108840.smt2 | 1200.550s | 1802.0MiB| timeout | 0 | | | |scrambled111627.smt2 | 1200.595s | 1874.0MiB| timeout | 0 | | | |scrambled19335.smt2 | 1200.615s | 1823.0MiB| timeout | 0 | | | |scrambled94658.smt2 | 1200.641s | 2330.0MiB| timeout | 0 | | | |scrambled61922.smt2 | 1200.663s | 1397.0MiB| timeout | 0 | | | |scrambled79766.smt2 | 1200.671s | 4915.0MiB| timeout | 0 | | | |scrambled45952.smt2 | 1200.684s | 5053.0MiB| timeout | 0 | | | |scrambled79867.smt2 | 1200.687s | 5137.0MiB| timeout | 0 | | | |scrambled59713.smt2 | 1200.687s | 5014.0MiB| timeout | 0 | | | |scrambled55680.smt2 | 1200.702s | 2390.0MiB| timeout | 0 | | | |scrambled103783.smt2 | 1200.715s | 4820.0MiB| timeout | 0 | | | |scrambled3854.smt2 | 1200.719s | 4907.0MiB| timeout | 0 | | | |scrambled4198.smt2 | 1200.750s | 3006.0MiB| timeout | 0 | | | |scrambled39514.smt2 | 1200.803s | 5130.0MiB| timeout | 0 | | | |scrambled12042.smt2 | 1200.826s | 2718.0MiB| timeout | 0 | | | |scrambled65181.smt2 | 1200.918s | 4837.0MiB| timeout | 0 | | | |scrambled107115.smt2 | 1200.984s | 2253.0MiB| timeout | 0 | | |