# . * SAT 0 * UNSAT 1 * TIMEOUT 43 * UNKNOWN 0 * UNSET 0 * ERROR 0 # Meta data 
Ramon benchmark for Z3
-
Job description: 
Job tag: Z3-threads-8-smtcomp2025-QF_LIA-timeout20min-v1
Runner: rise-runner-2
Z3 repo: ilanashapiro/z3
Z3 commit: 9802bb4838b72199dab085698cfcfdc169ab06e5
Z3 branch: 9802bb4838b72199dab085698cfcfdc169ab06e5
Z3 options: "-T:60 -v:0 smt.threads=8"
Z3 inputs: inputs/smt_comp_2025_parallel/QF_LIA
Z3 commit message: ablate continuous FL checking
# Statistics |FILE |TIME |MEM | STATUS | EXIT | STDOUT | STDERR | |------------|----------:|---------:|-------------:| ----------:|--------|--------| |scrambled61922.smt2 | 6.545s | 385.0MiB| unsat | 0 | | | |scrambled79766.smt2 | 60.013s | 43.056MiB| timeout | 0 | | | |scrambled103783.smt2 | 60.013s | 43.06MiB| timeout | 0 | | | |scrambled3854.smt2 | 60.015s | 42.82MiB| timeout | 0 | | | |scrambled45952.smt2 | 60.019s | 42.808MiB| timeout | 0 | | | |scrambled65181.smt2 | 60.020s | 42.816MiB| timeout | 0 | | | |scrambled79867.smt2 | 60.033s | 42.568MiB| timeout | 0 | | | |scrambled59713.smt2 | 60.033s | 42.552MiB| timeout | 0 | | | |scrambled1417.smt2 | 60.048s | 258.0MiB| timeout | 0 | | | |scrambled39514.smt2 | 60.050s | 42.308MiB| timeout | 0 | | | |scrambled51053.smt2 | 60.054s | 530.0MiB| timeout | 0 | | | |scrambled27843.smt2 | 60.075s | 645.0MiB| timeout | 0 | | | |scrambled107115.smt2 | 60.081s | 602.0MiB| timeout | 0 | | | |scrambled118793.smt2 | 60.103s | 782.0MiB| timeout | 0 | | | |scrambled68944.smt2 | 60.116s | 1152.0MiB| timeout | 0 | | | |scrambled111627.smt2 | 60.119s | 1163.0MiB| timeout | 0 | | | |scrambled43577.smt2 | 60.122s | 1112.0MiB| timeout | 0 | | | |scrambled107826.smt2 | 60.124s | 1091.0MiB| timeout | 0 | | | |scrambled108840.smt2 | 60.136s | 1237.0MiB| timeout | 0 | | | |scrambled125827.smt2 | 60.146s | 858.0MiB| timeout | 0 | | | |scrambled75189.smt2 | 60.168s | 1035.0MiB| timeout | 0 | | | |scrambled79760.smt2 | 60.173s | 1209.0MiB| timeout | 0 | | | |scrambled20101.smt2 | 60.180s | 1287.0MiB| timeout | 0 | | | |scrambled4299.smt2 | 60.190s | 1253.0MiB| timeout | 0 | | | |scrambled19335.smt2 | 60.191s | 1115.0MiB| timeout | 0 | | | |scrambled125888.smt2 | 60.196s | 1264.0MiB| timeout | 0 | | | |scrambled95803.smt2 | 60.208s | 1573.0MiB| timeout | 0 | | | |scrambled102166.smt2 | 60.225s | 1948.0MiB| timeout | 0 | | | |scrambled94658.smt2 | 60.227s | 2287.0MiB| timeout | 0 | | | |scrambled12042.smt2 | 60.247s | 2286.0MiB| timeout | 0 | | | |scrambled4198.smt2 | 60.250s | 2287.0MiB| timeout | 0 | | | |scrambled128874.smt2 | 60.277s | 2382.0MiB| timeout | 0 | | | |scrambled55680.smt2 | 60.281s | 2133.0MiB| timeout | 0 | | | |scrambled32836.smt2 | 60.309s | 1831.0MiB| timeout | 0 | | | |scrambled7741.smt2 | 60.329s | 2432.0MiB| timeout | 0 | | | |scrambled128732.smt2 | 60.352s | 2365.0MiB| timeout | 0 | | | |scrambled55777.smt2 | 60.363s | 2247.0MiB| timeout | 0 | | | |scrambled40621.smt2 | 60.376s | 3552.0MiB| timeout | 0 | | | |scrambled44911.smt2 | 60.377s | 2283.0MiB| timeout | 0 | | | |scrambled72668.smt2 | 60.385s | 2700.0MiB| timeout | 0 | | | |scrambled131241.smt2 | 60.406s | 2821.0MiB| timeout | 0 | | | |scrambled119331.smt2 | 60.422s | 3236.0MiB| timeout | 0 | | | |scrambled25238.smt2 | 60.434s | 3153.0MiB| timeout | 0 | | | |scrambled128128.smt2 | 60.460s | 2574.0MiB| timeout | 0 | | |