# . * SAT 2 * UNSAT 1 * TIMEOUT 42 * UNKNOWN 0 * UNSET 0 * ERROR 0 # Meta data 
Ramon benchmark for OpenSMT
-
Job description: 
Job tag: OpenSMT-sequential-smtcomp2025-QF_IDL-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_IDL
OpenSMT commit message: Updated MacOS CircleCI resource class
# Statistics |FILE |TIME |MEM | STATUS | EXIT | STDOUT | STDERR | |------------|----------:|---------:|-------------:| ----------:|--------|--------| |scrambled96514.smt2 | 84.547s | 889.0MiB| unsat | 0 | | | |scrambled1379.smt2 | 154.923s | 59.82MiB| sat | 0 | | | |scrambled75206.smt2 | 762.687s | 75.404MiB| sat | 0 | | | |scrambled96733.smt2 | 1200.010s | 97.08MiB| timeout | 0 | | | |scrambled97138.smt2 | 1200.014s | 47.184MiB| timeout | 0 | | | |scrambled6373.smt2 | 1200.015s | 113.0MiB| timeout | 0 | | | |scrambled62859.smt2 | 1200.021s | 61.216MiB| timeout | 0 | | | |scrambled35345.smt2 | 1200.023s | 70.032MiB| timeout | 0 | | | |scrambled23483.smt2 | 1200.023s | 120.0MiB| timeout | 0 | | | |scrambled122058.smt2 | 1200.024s | 153.0MiB| timeout | 0 | | | |scrambled90733.smt2 | 1200.024s | 199.0MiB| timeout | 0 | | | |scrambled100416.smt2 | 1200.025s | 96.456MiB| timeout | 0 | | | |scrambled117178.smt2 | 1200.028s | 129.0MiB| timeout | 0 | | | |scrambled54073.smt2 | 1200.029s | 199.0MiB| timeout | 0 | | | |scrambled124624.smt2 | 1200.031s | 126.0MiB| timeout | 0 | | | |scrambled38610.smt2 | 1200.035s | 46.98MiB| timeout | 0 | | | |scrambled122413.smt2 | 1200.036s | 106.0MiB| timeout | 0 | | | |scrambled89071.smt2 | 1200.036s | 198.0MiB| timeout | 0 | | | |scrambled103851.smt2 | 1200.038s | 53.124MiB| timeout | 0 | | | |scrambled15552.smt2 | 1200.039s | 184.0MiB| timeout | 0 | | | |scrambled62810.smt2 | 1200.040s | 45.404MiB| timeout | 0 | | | |scrambled41801.smt2 | 1200.040s | 45.812MiB| timeout | 0 | | | |scrambled116992.smt2 | 1200.041s | 48.932MiB| timeout | 0 | | | |scrambled41312.smt2 | 1200.043s | 72.576MiB| timeout | 0 | | | |scrambled1447.smt2 | 1200.043s | 100.0MiB| timeout | 0 | | | |scrambled42287.smt2 | 1200.043s | 44.936MiB| timeout | 0 | | | |scrambled79181.smt2 | 1200.044s | 113.0MiB| timeout | 0 | | | |scrambled58720.smt2 | 1200.044s | 108.0MiB| timeout | 0 | | | |scrambled15284.smt2 | 1200.044s | 174.0MiB| timeout | 0 | | | |scrambled41773.smt2 | 1200.046s | 115.0MiB| timeout | 0 | | | |scrambled14967.smt2 | 1200.048s | 119.0MiB| timeout | 0 | | | |scrambled119992.smt2 | 1200.048s | 136.0MiB| timeout | 0 | | | |scrambled92133.smt2 | 1200.052s | 162.0MiB| timeout | 0 | | | |scrambled98799.smt2 | 1200.053s | 205.0MiB| timeout | 0 | | | |scrambled9927.smt2 | 1200.053s | 210.0MiB| timeout | 0 | | | |scrambled4441.smt2 | 1200.054s | 173.0MiB| timeout | 0 | | | |scrambled109208.smt2 | 1200.060s | 233.0MiB| timeout | 0 | | | |scrambled82743.smt2 | 1200.062s | 165.0MiB| timeout | 0 | | | |scrambled128361.smt2 | 1200.062s | 158.0MiB| timeout | 0 | | | |scrambled78606.smt2 | 1200.064s | 209.0MiB| timeout | 0 | | | |scrambled21544.smt2 | 1200.066s | 255.0MiB| timeout | 0 | | | |scrambled78432.smt2 | 1200.068s | 209.0MiB| timeout | 0 | | | |scrambled27577.smt2 | 1200.073s | 306.0MiB| timeout | 0 | | | |scrambled62536.smt2 | 1200.183s | 1244.0MiB| timeout | 0 | | | |scrambled25140.smt2 | 1200.259s | 1536.0MiB| timeout | 0 | | |