# . * SAT 3 * UNSAT 3 * TIMEOUT 32 * UNKNOWN 0 * UNSET 0 * ERROR 0 # Meta data 
Ramon benchmark for AriParti z3-4.12.1 (sequential)
-
Job description: 
Job tag: AriParti-z3_4.12.1-sequential-smtcomp2025-QF_LRA-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_LRA
AriParti commit message: docs: updated 'Cite This Work' section in README with official citation.
# Statistics |FILE |TIME |MEM | STATUS | EXIT | STDOUT | STDERR | |------------|----------:|---------:|-------------:| ----------:|--------|--------| |scrambled44527.smt2 | 177.580s | 1123.0MiB| sat | 0 | | | |scrambled88927.smt2 | 393.590s | 29.928MiB| unsat | 0 | | | |scrambled71015.smt2 | 416.341s | 132.0MiB| unsat | 0 | | | |scrambled109307.smt2 | 816.954s | 793.0MiB| sat | 0 | | | |scrambled122587.smt2 | 993.489s | 51.184MiB| unsat | 0 | | | |scrambled102680.smt2 | 1098.214s | 1395.0MiB| sat | 0 | | | |scrambled124681.smt2 | 1200.014s | 29.18MiB| timeout | 0 | | | |scrambled76532.smt2 | 1200.015s | 53.488MiB| timeout | 0 | | | |scrambled115671.smt2 | 1200.018s | 66.18MiB| timeout | 0 | | | |scrambled31085.smt2 | 1200.019s | 52.516MiB| timeout | 0 | | | |scrambled65517.smt2 | 1200.020s | 110.0MiB| timeout | 0 | | | |scrambled92964.smt2 | 1200.028s | 42.12MiB| timeout | 0 | | | |scrambled35077.smt2 | 1200.029s | 53.12MiB| timeout | 0 | | | |scrambled101086.smt2 | 1200.031s | 58.872MiB| timeout | 0 | | | |scrambled46192.smt2 | 1200.032s | 66.02MiB| timeout | 0 | | | |scrambled49820.smt2 | 1200.033s | 70.448MiB| timeout | 0 | | | |scrambled103576.smt2 | 1200.034s | 35.084MiB| timeout | 0 | | | |scrambled124455.smt2 | 1200.038s | 312.0MiB| timeout | 0 | | | |scrambled55845.smt2 | 1200.040s | 131.0MiB| timeout | 0 | | | |scrambled59368.smt2 | 1200.046s | 252.0MiB| timeout | 0 | | | |scrambled17583.smt2 | 1200.053s | 271.0MiB| timeout | 0 | | | |scrambled117897.smt2 | 1200.068s | 541.0MiB| timeout | 0 | | | |scrambled95284.smt2 | 1200.073s | 448.0MiB| timeout | 0 | | | |scrambled37260.smt2 | 1200.074s | 476.0MiB| timeout | 0 | | | |scrambled76525.smt2 | 1200.075s | 284.0MiB| timeout | 0 | | | |scrambled47581.smt2 | 1200.085s | 362.0MiB| timeout | 0 | | | |scrambled104811.smt2 | 1200.101s | 760.0MiB| timeout | 0 | | | |scrambled77308.smt2 | 1200.109s | 740.0MiB| timeout | 0 | | | |scrambled77008.smt2 | 1200.139s | 971.0MiB| timeout | 0 | | | |scrambled111949.smt2 | 1200.161s | 1453.0MiB| timeout | 0 | | | |scrambled13169.smt2 | 1200.166s | 1204.0MiB| timeout | 0 | | | |scrambled55850.smt2 | 1200.170s | 1253.0MiB| timeout | 0 | | | |scrambled101728.smt2 | 1200.177s | 1184.0MiB| timeout | 0 | | | |scrambled98986.smt2 | 1200.180s | 1201.0MiB| timeout | 0 | | | |scrambled8163.smt2 | 1200.184s | 1245.0MiB| timeout | 0 | | | |scrambled102621.smt2 | 1200.223s | 1652.0MiB| timeout | 0 | | | |scrambled25695.smt2 | 1200.225s | 1676.0MiB| timeout | 0 | | | |scrambled13209.smt2 | 1200.230s | 1853.0MiB| timeout | 0 | | |