# . * SAT 0 * UNSAT 0 * TIMEOUT 0 * UNKNOWN 0 * UNSET 44 * ERROR 44 # Meta data 
Ramon benchmark for OpenSMT
-
Job description: 
Job tag: OpenSMT-sequential-smtcomp2025-QF_NRA-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_NRA
OpenSMT commit message: Updated MacOS CircleCI resource class
# Statistics |FILE |TIME |MEM | STATUS | EXIT | STDOUT | STDERR | |------------|----------:|---------:|-------------:| ----------:|--------|--------| |scrambled65757.smt2 | 0.008s | 2096.0KiB| unset | 1 | | | |scrambled99534.smt2 | 0.008s | 2492.0KiB| unset | 1 | | | |scrambled54263.smt2 | 0.010s | 2340.0KiB| unset | 1 | | | |scrambled22492.smt2 | 0.012s | 2808.0KiB| unset | 1 | | | |scrambled5797.smt2 | 0.012s | 3324.0KiB| unset | 1 | | | |scrambled117944.smt2 | 0.014s | 4128.0KiB| unset | 1 | | | |scrambled28630.smt2 | 0.014s | 3928.0KiB| unset | 1 | | | |scrambled85895.smt2 | 0.015s | 2796.0KiB| unset | 1 | | | |scrambled118224.smt2 | 0.016s | 3088.0KiB| unset | 1 | | | |scrambled74869.smt2 | 0.017s | 4936.0KiB| unset | 1 | | | |scrambled7923.smt2 | 0.017s | 4660.0KiB| unset | 1 | | | |scrambled112083.smt2 | 0.017s | 5428.0KiB| unset | 1 | | | |scrambled80728.smt2 | 0.018s | 4884.0KiB| unset | 1 | | | |scrambled18831.smt2 | 0.018s | 5620.0KiB| unset | 1 | | | |scrambled112144.smt2 | 0.019s | 5180.0KiB| unset | 1 | | | |scrambled117334.smt2 | 0.020s | 6264.0KiB| unset | 1 | | | |scrambled14368.smt2 | 0.021s | 4392.0KiB| unset | 1 | | | |scrambled58292.smt2 | 0.023s | 2120.0KiB| unset | 1 | | | |scrambled124828.smt2 | 0.025s | 2892.0KiB| unset | 1 | | | |scrambled94319.smt2 | 0.025s | 2360.0KiB| unset | 1 | | | |scrambled14016.smt2 | 0.025s | 2324.0KiB| unset | 1 | | | |scrambled100912.smt2 | 0.025s | 6808.0KiB| unset | 1 | | | |scrambled21647.smt2 | 0.026s | 2620.0KiB| unset | 1 | | | |scrambled29556.smt2 | 0.029s | 4656.0KiB| unset | 1 | | | |scrambled14880.smt2 | 0.030s | 4944.0KiB| unset | 1 | | | |scrambled32269.smt2 | 0.030s | 4432.0KiB| unset | 1 | | | |scrambled7586.smt2 | 0.030s | 4904.0KiB| unset | 1 | | | |scrambled36539.smt2 | 0.032s | 4948.0KiB| unset | 1 | | | |scrambled32701.smt2 | 0.037s | 2296.0KiB| unset | 1 | | | |scrambled94768.smt2 | 0.037s | 2268.0KiB| unset | 1 | | | |scrambled73220.smt2 | 0.038s | 7616.0KiB| unset | 1 | | | |scrambled34121.smt2 | 0.041s | 3744.0KiB| unset | 1 | | | |scrambled42946.smt2 | 0.044s | 4900.0KiB| unset | 1 | | | |scrambled82241.smt2 | 0.046s | 5616.0KiB| unset | 1 | | | |scrambled61896.smt2 | 0.060s | 18.7MiB| unset | 1 | | | |scrambled41575.smt2 | 0.077s | 23.364MiB| unset | 1 | | | |scrambled70990.smt2 | 0.078s | 20.94MiB| unset | 1 | | | |scrambled121780.smt2 | 0.080s | 30.264MiB| unset | 1 | | | |scrambled6476.smt2 | 0.084s | 30.312MiB| unset | 1 | | | |scrambled27426.smt2 | 0.086s | 27.176MiB| unset | 1 | | | |scrambled60239.smt2 | 0.088s | 24.868MiB| unset | 1 | | | |scrambled78428.smt2 | 0.090s | 27.4MiB| unset | 1 | | | |scrambled91241.smt2 | 0.097s | 27.524MiB| unset | 1 | | | |scrambled114923.smt2 | 0.127s | 34.548MiB| unset | 1 | | |