# .

* SAT 1
* UNSAT 4
* TIMEOUT 31
* UNKNOWN 9

* UNSET 0

* ERROR 0

# Meta data

<pre>
Ramon benchmark for AriParti z3-4.12.1 (sequential)
-
Job description: 
Job tag: AriParti-z3_4.12.1-sequential-smtcomp2025-QF_IDL-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_IDL
AriParti commit message: docs: updated 'Cite This Work' section in README with official citation.

</pre>


# Statistics
|FILE                                                         |TIME     |MEM        | STATUS   | EXIT | STDOUT | STDERR | 
|------------|----------:|---------:|-------------:| ----------:|--------|--------| 
|scrambled78606.smt2                                          |    0.268s | 29.428MiB| unknown | 0 |  |  |
|scrambled78432.smt2                                          |    0.274s | 29.812MiB| unknown | 0 |  |  |
|scrambled54073.smt2                                          |    0.285s | 29.832MiB| unknown | 0 |  |  |
|scrambled128361.smt2                                         |    0.298s | 45.704MiB| unknown | 0 |  |  |
|scrambled9927.smt2                                           |    0.302s | 30.476MiB| unknown | 0 |  |  |
|scrambled98799.smt2                                          |    0.320s | 44.688MiB| unknown | 0 |  |  |
|scrambled90733.smt2                                          |    0.326s | 44.752MiB| unknown | 0 |  |  |
|scrambled4441.smt2                                           |    0.340s | 45.044MiB| unknown | 0 |  |  |
|scrambled82743.smt2                                          |    0.369s | 44.156MiB| unknown | 0 |  |  |
|scrambled89071.smt2                                          |  132.881s | 70.968MiB| unsat | 0 |  |  |
|scrambled96514.smt2                                          |  419.430s | 63.944MiB| unsat | 0 |  |  |
|scrambled79181.smt2                                          |  420.546s | 20.608MiB| unsat | 0 |  |  |
|scrambled75206.smt2                                          |  866.354s | 289.0MiB| sat | 0 |  |  |
|scrambled6373.smt2                                           | 1137.098s | 53.004MiB| unsat | 0 |  |  |
|scrambled96733.smt2                                          | 1200.016s | 62.748MiB| timeout | 0 |  |  |
|scrambled117178.smt2                                         | 1200.017s | 56.096MiB| timeout | 0 |  |  |
|scrambled15552.smt2                                          | 1200.018s | 97.504MiB| timeout | 0 |  |  |
|scrambled100416.smt2                                         | 1200.023s | 84.492MiB| timeout | 0 |  |  |
|scrambled21544.smt2                                          | 1200.026s | 80.74MiB| timeout | 0 |  |  |
|scrambled103851.smt2                                         | 1200.026s | 227.0MiB| timeout | 0 |  |  |
|scrambled14967.smt2                                          | 1200.027s | 79.92MiB| timeout | 0 |  |  |
|scrambled1447.smt2                                           | 1200.027s | 79.568MiB| timeout | 0 |  |  |
|scrambled122413.smt2                                         | 1200.028s | 59.028MiB| timeout | 0 |  |  |
|scrambled41312.smt2                                          | 1200.028s | 80.432MiB| timeout | 0 |  |  |
|scrambled15284.smt2                                          | 1200.029s | 154.0MiB| timeout | 0 |  |  |
|scrambled62810.smt2                                          | 1200.030s | 121.0MiB| timeout | 0 |  |  |
|scrambled62536.smt2                                          | 1200.031s | 102.0MiB| timeout | 0 |  |  |
|scrambled122058.smt2                                         | 1200.034s | 124.0MiB| timeout | 0 |  |  |
|scrambled27577.smt2                                          | 1200.034s | 92.712MiB| timeout | 0 |  |  |
|scrambled97138.smt2                                          | 1200.035s | 122.0MiB| timeout | 0 |  |  |
|scrambled41773.smt2                                          | 1200.035s | 240.0MiB| timeout | 0 |  |  |
|scrambled124624.smt2                                         | 1200.036s | 196.0MiB| timeout | 0 |  |  |
|scrambled62859.smt2                                          | 1200.037s | 228.0MiB| timeout | 0 |  |  |
|scrambled42287.smt2                                          | 1200.037s | 122.0MiB| timeout | 0 |  |  |
|scrambled23483.smt2                                          | 1200.038s | 260.0MiB| timeout | 0 |  |  |
|scrambled109208.smt2                                         | 1200.039s | 164.0MiB| timeout | 0 |  |  |
|scrambled38610.smt2                                          | 1200.041s | 225.0MiB| timeout | 0 |  |  |
|scrambled58720.smt2                                          | 1200.044s | 73.828MiB| timeout | 0 |  |  |
|scrambled92133.smt2                                          | 1200.048s | 241.0MiB| timeout | 0 |  |  |
|scrambled41801.smt2                                          | 1200.049s | 118.0MiB| timeout | 0 |  |  |
|scrambled35345.smt2                                          | 1200.059s | 421.0MiB| timeout | 0 |  |  |
|scrambled1379.smt2                                           | 1200.061s | 219.0MiB| timeout | 0 |  |  |
|scrambled119992.smt2                                         | 1200.063s | 232.0MiB| timeout | 0 |  |  |
|scrambled116992.smt2                                         | 1200.083s | 462.0MiB| timeout | 0 |  |  |
|scrambled25140.smt2                                          | 1200.218s | 1898.0MiB| timeout | 0 |  |  |