# . * SAT 5 * UNSAT 0 * TIMEOUT 30 * UNKNOWN 0 * UNSET 9 * ERROR 9 # Meta data 
Ramon benchmark for AriParti z3-4.12.1 (sequential)
-
Job description: 
Job tag: AriParti-z3_4.12.1-sequential-smtcomp2025-QF_NRA-timeout20min
Runner: rise-runner-2
AriParti repo: shaowei-cai-group/AriParti
AriParti commit: 8f131f9ccdfff7303fa29d9eb28f5cd893c170d7
AriParti ref: main
Z3 version: 4.12.1 (prebuilt)
Z3 options: "-T:1200 -v:0"
Z3 inputs: inputs/smt_comp_2025_parallel/QF_NRA
AriParti commit message: docs: updated 'Cite This Work' section in README with official citation.
# Statistics |FILE |TIME |MEM | STATUS | EXIT | STDOUT | STDERR | |------------|----------:|---------:|-------------:| ----------:|--------|--------| |scrambled14368.smt2 | 18.214s | 39.468MiB| sat | 0 | | | |scrambled54263.smt2 | 51.438s | 195.0MiB| sat | 0 | | | |scrambled65757.smt2 | 197.428s | 66.92MiB| sat | 0 | | | |scrambled21647.smt2 | 220.450s | 314.0MiB| sat | 0 | | | |scrambled32701.smt2 | 472.978s | 104.0MiB| sat | 0 | | | |scrambled41575.smt2 | 511.907s | 62.538GiB| unset | 139 | | | |scrambled61896.smt2 | 520.190s | 62.433GiB| unset | 139 | | | |scrambled91241.smt2 | 527.101s | 62.657GiB| unset | 139 | | | |scrambled78428.smt2 | 532.255s | 65.1GiB| unset | 139 | | | |scrambled70990.smt2 | 538.728s | 64.53GiB| unset | 139 | | | |scrambled60239.smt2 | 539.917s | 62.85GiB| unset | 139 | | | |scrambled27426.smt2 | 541.815s | 62.554GiB| unset | 139 | | | |scrambled121780.smt2 | 563.761s | 65.57GiB| unset | 139 | | | |scrambled6476.smt2 | 577.314s | 65.862GiB| unset | 139 | | | |scrambled100912.smt2 | 1200.018s | 94.136MiB| timeout | 0 | | | |scrambled73220.smt2 | 1200.019s | 90.6MiB| timeout | 0 | | | |scrambled99534.smt2 | 1200.021s | 102.0MiB| timeout | 0 | | | |scrambled117944.smt2 | 1200.023s | 163.0MiB| timeout | 0 | | | |scrambled18831.smt2 | 1200.026s | 82.096MiB| timeout | 0 | | | |scrambled14880.smt2 | 1200.027s | 53.756MiB| timeout | 0 | | | |scrambled7586.smt2 | 1200.030s | 53.252MiB| timeout | 0 | | | |scrambled28630.smt2 | 1200.031s | 41.032MiB| timeout | 0 | | | |scrambled112144.smt2 | 1200.032s | 84.336MiB| timeout | 0 | | | |scrambled74869.smt2 | 1200.033s | 56.308MiB| timeout | 0 | | | |scrambled117334.smt2 | 1200.034s | 192.0MiB| timeout | 0 | | | |scrambled80728.smt2 | 1200.035s | 193.0MiB| timeout | 0 | | | |scrambled36539.smt2 | 1200.037s | 104.0MiB| timeout | 0 | | | |scrambled112083.smt2 | 1200.037s | 120.0MiB| timeout | 0 | | | |scrambled42946.smt2 | 1200.039s | 69.48MiB| timeout | 0 | | | |scrambled94319.smt2 | 1200.040s | 117.0MiB| timeout | 0 | | | |scrambled7923.smt2 | 1200.040s | 66.66MiB| timeout | 0 | | | |scrambled82241.smt2 | 1200.042s | 100.0MiB| timeout | 0 | | | |scrambled34121.smt2 | 1200.046s | 162.0MiB| timeout | 0 | | | |scrambled94768.smt2 | 1200.046s | 122.0MiB| timeout | 0 | | | |scrambled32269.smt2 | 1200.052s | 183.0MiB| timeout | 0 | | | |scrambled58292.smt2 | 1200.054s | 273.0MiB| timeout | 0 | | | |scrambled85895.smt2 | 1200.062s | 1435.0MiB| timeout | 0 | | | |scrambled22492.smt2 | 1200.078s | 9491.0MiB| timeout | 0 | | | |scrambled14016.smt2 | 1200.083s | 503.0MiB| timeout | 0 | | | |scrambled29556.smt2 | 1200.096s | 859.0MiB| timeout | 0 | | | |scrambled118224.smt2 | 1200.097s | 749.0MiB| timeout | 0 | | | |scrambled124828.smt2 | 1200.136s | 1091.0MiB| timeout | 0 | | | |scrambled5797.smt2 | 1200.149s | 1469.0MiB| timeout | 0 | | | |scrambled114923.smt2 | 1201.477s | 17.382GiB| timeout | 0 | | |