# . * SAT 10 * UNSAT 0 * TIMEOUT 29 * UNKNOWN 0 * UNSET 5 * ERROR 0 # Meta data 
Ramon benchmark for AriParti
-
Job description: 
Job tag: AriParti-threads-64-smtcomp2025-QF_LIA-timeout_20min
Runner: rise-runner-2
AriParti repo: shaowei-cai-group/AriParti
AriParti commit: 8f131f9ccdfff7303fa29d9eb28f5cd893c170d7
AriParti branch: main
AriParti options: "--engine=ariparti --ariparti-dir=. --ariparti-entry=bin/AriParti.py --ariparti-partitioner=bin/partitioner --ariparti-solver=bin/ariparti-solver --ariparti-max-running-tasks=64 --ariparti-time-limit=1200"
AriParti solver backend: z3
AriParti inputs: inputs/smt_comp_2025_parallel/QF_LIA
AriParti commit message: docs: updated 'Cite This Work' section in README with official citation.
# Statistics |FILE |TIME |MEM | STATUS | EXIT | STDOUT | STDERR | |------------|----------:|---------:|-------------:| ----------:|--------|--------| |scrambled61922.smt2 | 7.714s | 4294.0MiB| unset | 0 | | | |scrambled125827.smt2 | 27.049s | 6560.0MiB| sat | 0 | | | |scrambled107826.smt2 | 28.638s | 9629.0MiB| unset | 0 | | | |scrambled128128.smt2 | 31.068s | 16.002GiB| unset | 0 | | | |scrambled118793.smt2 | 33.082s | 6070.0MiB| sat | 0 | | | |scrambled4299.smt2 | 34.722s | 22.709GiB| unset | 0 | | | |scrambled4198.smt2 | 62.633s | 53.11GiB| unset | 0 | | | |scrambled95803.smt2 | 69.295s | 12.977GiB| sat | 0 | | | |scrambled20101.smt2 | 73.161s | 8767.0MiB| sat | 0 | | | |scrambled44911.smt2 | 91.458s | 17.784GiB| sat | 0 | | | |scrambled125888.smt2 | 123.908s | 8905.0MiB| sat | 0 | | | |scrambled25238.smt2 | 149.528s | 27.384GiB| sat | 0 | | | |scrambled72668.smt2 | 172.361s | 20.59GiB| sat | 0 | | | |scrambled51053.smt2 | 293.247s | 24.535GiB| sat | 0 | | | |scrambled128732.smt2 | 1035.436s | 26.832GiB| sat | 0 | | | |scrambled1417.smt2 | 1200.300s | 3768.0MiB| timeout | 0 | | | |scrambled55777.smt2 | 1200.580s | 24.368GiB| timeout | 0 | | | |scrambled131241.smt2 | 1200.690s | 37.812GiB| timeout | 0 | | | |scrambled7741.smt2 | 1200.732s | 40.815GiB| timeout | 0 | | | |scrambled32836.smt2 | 1200.735s | 19.356GiB| timeout | 0 | | | |scrambled45952.smt2 | 1200.755s | 99.085GiB| timeout | 0 | | | |scrambled119331.smt2 | 1200.863s | 44.91GiB| timeout | 0 | | | |scrambled107115.smt2 | 1200.914s | 38.755GiB| timeout | 0 | | | |scrambled128874.smt2 | 1200.985s | 27.291GiB| timeout | 0 | | | |scrambled40621.smt2 | 1201.256s | 43.036GiB| timeout | 0 | | | |scrambled68944.smt2 | 1201.258s | 62.403GiB| timeout | 0 | | | |scrambled75189.smt2 | 1201.286s | 50.567GiB| timeout | 0 | | | |scrambled79867.smt2 | 1201.351s | 100.0GiB| timeout | 0 | | | |scrambled79760.smt2 | 1201.378s | 70.595GiB| timeout | 0 | | | |scrambled102166.smt2 | 1201.390s | 92.879GiB| timeout | 0 | | | |scrambled111627.smt2 | 1201.479s | 50.605GiB| timeout | 0 | | | |scrambled59713.smt2 | 1201.527s | 99.0GiB| timeout | 0 | | | |scrambled27843.smt2 | 1201.590s | 31.446GiB| timeout | 0 | | | |scrambled3854.smt2 | 1201.652s | 103.0GiB| timeout | 0 | | | |scrambled103783.smt2 | 1201.669s | 111.0GiB| timeout | 0 | | | |scrambled79766.smt2 | 1201.707s | 107.0GiB| timeout | 0 | | | |scrambled43577.smt2 | 1201.815s | 52.937GiB| timeout | 0 | | | |scrambled19335.smt2 | 1201.840s | 41.492GiB| timeout | 0 | | | |scrambled108840.smt2 | 1201.953s | 64.935GiB| timeout | 0 | | | |scrambled39514.smt2 | 1202.037s | 108.0GiB| timeout | 0 | | | |scrambled65181.smt2 | 1202.292s | 106.0GiB| timeout | 0 | | | |scrambled55680.smt2 | 1203.274s | 116.0GiB| timeout | 0 | | | |scrambled12042.smt2 | 1203.621s | 120.0GiB| timeout | 0 | | | |scrambled94658.smt2 | 1203.783s | 133.0GiB| timeout | 0 | | |