# .

* SAT 4
* UNSAT 3
* TIMEOUT 37
* UNKNOWN 0

* UNSET 0

* ERROR 0

# Meta data

<pre>
Ramon benchmark for Z3
-
Job description: 
Job tag: Z3-threads-1-sequential-smtcomp2025-QF_LIA-timeout20min-no_default_tactic}
Runner: rise-runner-2
Z3 repo: ilanashapiro/z3
Z3 commit: bb9a55789061a7e3da7e3868f9e388c750e72ad9
Z3 branch: core_min
Z3 options: "-T:1200 -v:0 smt.threads=1 smt.auto_config=false"
Z3 inputs: inputs/smt_comp_2025_parallel/QF_LIA
Z3 commit message: clean up code

</pre>


# Statistics
|FILE                                                         |TIME     |MEM        | STATUS   | EXIT | STDOUT | STDERR | 
|------------|----------:|---------:|-------------:| ----------:|--------|--------| 
|scrambled61922.smt2                                          |    6.175s | 125.0MiB| unsat | 0 |  |  |
|scrambled107826.smt2                                         |   15.115s | 459.0MiB| sat | 0 |  |  |
|scrambled111627.smt2                                         |  135.752s | 459.0MiB| unsat | 0 |  |  |
|scrambled51053.smt2                                          |  173.549s | 530.0MiB| sat | 0 |  |  |
|scrambled118793.smt2                                         |  440.600s | 99.0MiB| sat | 0 |  |  |
|scrambled19335.smt2                                          |  466.701s | 459.0MiB| unsat | 0 |  |  |
|scrambled20101.smt2                                          |  699.626s | 178.0MiB| sat | 0 |  |  |
|scrambled3854.smt2                                           | 1200.013s | 43.108MiB| timeout | 0 |  |  |
|scrambled65181.smt2                                          | 1200.020s | 43.06MiB| timeout | 0 |  |  |
|scrambled59713.smt2                                          | 1200.020s | 42.14MiB| timeout | 0 |  |  |
|scrambled125827.smt2                                         | 1200.024s | 99.0MiB| timeout | 0 |  |  |
|scrambled79766.smt2                                          | 1200.027s | 42.868MiB| timeout | 0 |  |  |
|scrambled125888.smt2                                         | 1200.031s | 166.0MiB| timeout | 0 |  |  |
|scrambled45952.smt2                                          | 1200.031s | 42.308MiB| timeout | 0 |  |  |
|scrambled39514.smt2                                          | 1200.034s | 75.22MiB| timeout | 0 |  |  |
|scrambled79867.smt2                                          | 1200.035s | 42.564MiB| timeout | 0 |  |  |
|scrambled103783.smt2                                         | 1200.035s | 43.584MiB| timeout | 0 |  |  |
|scrambled95803.smt2                                          | 1200.042s | 251.0MiB| timeout | 0 |  |  |
|scrambled43577.smt2                                          | 1200.049s | 459.0MiB| timeout | 0 |  |  |
|scrambled1417.smt2                                           | 1200.051s | 124.0MiB| timeout | 0 |  |  |
|scrambled27843.smt2                                          | 1200.052s | 250.0MiB| timeout | 0 |  |  |
|scrambled68944.smt2                                          | 1200.057s | 489.0MiB| timeout | 0 |  |  |
|scrambled108840.smt2                                         | 1200.057s | 479.0MiB| timeout | 0 |  |  |
|scrambled32836.smt2                                          | 1200.058s | 260.0MiB| timeout | 0 |  |  |
|scrambled107115.smt2                                         | 1200.062s | 245.0MiB| timeout | 0 |  |  |
|scrambled128874.smt2                                         | 1200.075s | 487.0MiB| timeout | 0 |  |  |
|scrambled79760.smt2                                          | 1200.075s | 493.0MiB| timeout | 0 |  |  |
|scrambled55777.smt2                                          | 1200.077s | 473.0MiB| timeout | 0 |  |  |
|scrambled131241.smt2                                         | 1200.079s | 644.0MiB| timeout | 0 |  |  |
|scrambled75189.smt2                                          | 1200.081s | 470.0MiB| timeout | 0 |  |  |
|scrambled128732.smt2                                         | 1200.081s | 518.0MiB| timeout | 0 |  |  |
|scrambled94658.smt2                                          | 1200.097s | 898.0MiB| timeout | 0 |  |  |
|scrambled7741.smt2                                           | 1200.099s | 641.0MiB| timeout | 0 |  |  |
|scrambled72668.smt2                                          | 1200.099s | 520.0MiB| timeout | 0 |  |  |
|scrambled128128.smt2                                         | 1200.099s | 612.0MiB| timeout | 0 |  |  |
|scrambled4299.smt2                                           | 1200.100s | 531.0MiB| timeout | 0 |  |  |
|scrambled44911.smt2                                          | 1200.102s | 533.0MiB| timeout | 0 |  |  |
|scrambled25238.smt2                                          | 1200.105s | 745.0MiB| timeout | 0 |  |  |
|scrambled4198.smt2                                           | 1200.109s | 903.0MiB| timeout | 0 |  |  |
|scrambled12042.smt2                                          | 1200.110s | 900.0MiB| timeout | 0 |  |  |
|scrambled55680.smt2                                          | 1200.116s | 889.0MiB| timeout | 0 |  |  |
|scrambled119331.smt2                                         | 1200.143s | 996.0MiB| timeout | 0 |  |  |
|scrambled102166.smt2                                         | 1200.148s | 932.0MiB| timeout | 0 |  |  |
|scrambled40621.smt2                                          | 1200.166s | 1157.0MiB| timeout | 0 |  |  |