# . * SAT 4 * UNSAT 3 * TIMEOUT 31 * UNKNOWN 0 * UNSET 0 * ERROR 0 # Meta data 
Ramon benchmark for AriParti
-
Job description: 
Job tag: AriParti-threads-8-smtcomp2025-QF_LRA-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=8 --ariparti-time-limit=1200"
AriParti solver backend: z3
AriParti 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 | |------------|----------:|---------:|-------------:| ----------:|--------|--------| |scrambled88927.smt2 | 180.811s | 232.0MiB| unsat | 0 | | | |scrambled44527.smt2 | 382.246s | 10.622GiB| sat | 0 | | | |scrambled109307.smt2 | 430.817s | 4952.0MiB| sat | 0 | | | |scrambled102680.smt2 | 533.612s | 9100.0MiB| sat | 0 | | | |scrambled71015.smt2 | 536.154s | 1155.0MiB| unsat | 0 | | | |scrambled122587.smt2 | 632.925s | 396.0MiB| unsat | 0 | | | |scrambled47581.smt2 | 724.137s | 2623.0MiB| sat | 0 | | | |scrambled92964.smt2 | 1200.107s | 328.0MiB| timeout | 0 | | | |scrambled77308.smt2 | 1200.111s | 3061.0MiB| timeout | 0 | | | |scrambled124681.smt2 | 1200.116s | 241.0MiB| timeout | 0 | | | |scrambled101086.smt2 | 1200.120s | 468.0MiB| timeout | 0 | | | |scrambled104811.smt2 | 1200.123s | 4660.0MiB| timeout | 0 | | | |scrambled65517.smt2 | 1200.127s | 1022.0MiB| timeout | 0 | | | |scrambled46192.smt2 | 1200.144s | 506.0MiB| timeout | 0 | | | |scrambled49820.smt2 | 1200.146s | 498.0MiB| timeout | 0 | | | |scrambled37260.smt2 | 1200.163s | 4180.0MiB| timeout | 0 | | | |scrambled76532.smt2 | 1200.166s | 448.0MiB| timeout | 0 | | | |scrambled35077.smt2 | 1200.167s | 450.0MiB| timeout | 0 | | | |scrambled124455.smt2 | 1200.169s | 2733.0MiB| timeout | 0 | | | |scrambled117897.smt2 | 1200.177s | 4530.0MiB| timeout | 0 | | | |scrambled115671.smt2 | 1200.184s | 505.0MiB| timeout | 0 | | | |scrambled76525.smt2 | 1200.192s | 2160.0MiB| timeout | 0 | | | |scrambled17583.smt2 | 1200.193s | 2385.0MiB| timeout | 0 | | | |scrambled103576.smt2 | 1200.197s | 305.0MiB| timeout | 0 | | | |scrambled95284.smt2 | 1200.212s | 3234.0MiB| timeout | 0 | | | |scrambled31085.smt2 | 1200.223s | 420.0MiB| timeout | 0 | | | |scrambled55845.smt2 | 1200.246s | 1100.0MiB| timeout | 0 | | | |scrambled59368.smt2 | 1200.247s | 2638.0MiB| timeout | 0 | | | |scrambled98986.smt2 | 1200.262s | 12.421GiB| timeout | 0 | | | |scrambled101728.smt2 | 1200.316s | 9380.0MiB| timeout | 0 | | | |scrambled77008.smt2 | 1200.323s | 7938.0MiB| timeout | 0 | | | |scrambled102621.smt2 | 1200.386s | 12.921GiB| timeout | 0 | | | |scrambled13169.smt2 | 1200.438s | 10.813GiB| timeout | 0 | | | |scrambled55850.smt2 | 1200.440s | 11.167GiB| timeout | 0 | | | |scrambled25695.smt2 | 1200.443s | 12.813GiB| timeout | 0 | | | |scrambled13209.smt2 | 1200.465s | 17.493GiB| timeout | 0 | | | |scrambled8163.smt2 | 1200.492s | 11.026GiB| timeout | 0 | | | |scrambled111949.smt2 | 1200.552s | 13.546GiB| timeout | 0 | | |