# .

* SAT 3
* UNSAT 61
* TIMEOUT 0
* UNKNOWN 472

* ERRORS 0

# Meta data

<pre>
Ramon benchmark for Z3
-
Job description: Triggered by CoZ3 Benchmark Runner | Benchmark suite: https://zenodo.org/records/16740866/files/LIA.tar.zst?download=1 | Source list: benchmarks.txt
Job tag: coz3-https-zenodo.org-records-16740866-files-LIA.tar.zst-downlo
Runner: rise-runner-2
Z3 repo: Z3Prover/z3
Z3 commit: 459629c662eb7abf25a010b7383431a9f729d234
Z3 branch: master
Z3 options: "-T:20 -v:2 -st tactic.default_tactic="(then simplify propagate-values solve-eqs simplify sls-smt)" model_validate=true"
Z3 inputs: https://zenodo.org/records/16740866/files/LIA.tar.zst?download=1
Z3 commit message: bugfixes to ho_matcher

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>

</pre>


# Statistics
|FILE                                                         |TIME     |MEM        | STATUS   | EXIT | STDOUT | STDERR | 
|------------|----------:|---------:|-------------:| ----------:|--------|--------| 
|non-incremental/LIA/20250213-Frobenius/fcp_97_101.smt2       |    0.021s | 20.032MiB| unknown | 0 |  |  |
|non-incremental/LIA/20190429-UltimateAutomizerSvcomp2019/jain_2_true-unreach-call_true-no-overflow_false-termination.i_12.smt2 |    0.022s | 19.592MiB| unknown | 0 |  |  |
|non-incremental/LIA/20190429-UltimateAutomizerSvcomp2019/jain_6_true-unreach-call_true-no-overflow_false-termination.i_14.smt2 |    0.023s | 19.616MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_179_181_191.smt2  |    0.023s | 20.092MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_199_211_223.smt2  |    0.024s | 19.84MiB| unknown | 0 |  |  |
|non-incremental/LIA/20190429-UltimateAutomizerSvcomp2019/jain_2_true-unreach-call_true-no-overflow_false-termination.i_3.smt2 |    0.025s | 19.764MiB| unknown | 0 |  |  |
|non-incremental/LIA/20190429-UltimateAutomizerSvcomp2019/jain_7_true-unreach-call_true-no-overflow_false-termination.i_4.smt2 |    0.026s | 19.72MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_1785.smt2 |    0.026s | 19.844MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_762.smt2 |    0.026s | 19.668MiB| unsat | 0 |  |  |
|non-incremental/LIA/tptp/ARI054=1.smt2                       |    0.026s | 19.824MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/017.smt2                           |    0.026s | 19.852MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_527.smt2 |    0.027s | 19.86MiB| unsat | 0 |  |  |
|non-incremental/LIA/tptp/NUM874=1.smt2                       |    0.027s | 19.592MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_574.smt2 |    0.028s | 19.864MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/recHanoi03_true-unreach-call_true-termination.c_367.smt2 |    0.029s | 19.548MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/161.smt2                           |    0.029s | 20.348MiB| unknown | 0 |  |  |
|non-incremental/LIA/tptp/NUM897=1.smt2                       |    0.030s | 19.624MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_927.smt2 |    0.031s | 19.752MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_1877.smt2 |    0.031s | 19.624MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/Primes_true-unreach-call.c_297.smt2 |    0.031s | 19.612MiB| unsat | 0 |  |  |
|non-incremental/LIA/tptp/ARI045=1.smt2                       |    0.032s | 19.908MiB| unknown | 0 |  |  |
|non-incremental/LIA/tptp/NUM889=1.smt2                       |    0.032s | 19.632MiB| unsat | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_447.smt2 |    0.033s | 19.928MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_1752.smt2 |    0.033s | 19.68MiB| unsat | 0 |  |  |
|non-incremental/LIA/tptp/ARI040=1.smt2                       |    0.033s | 19.628MiB| unknown | 0 |  |  |
|non-incremental/LIA/tptp/NUM865=1.smt2                       |    0.033s | 19.66MiB| unsat | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_113_127.smt2      |    0.033s | 19.748MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/160.smt2                           |    0.033s | 20.08MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/recHanoi03_true-unreach-call_true-termination.c_876.smt2 |    0.034s | 19.672MiB| unknown | 0 |  |  |
|non-incremental/LIA/tptp/ARI031=1.smt2                       |    0.034s | 19.708MiB| unknown | 0 |  |  |
|non-incremental/LIA/tptp/ARI032=1.smt2                       |    0.034s | 19.58MiB| unknown | 0 |  |  |
|non-incremental/LIA/tptp/NUM918=1.smt2                       |    0.034s | 19.888MiB| unknown | 0 |  |  |
|non-incremental/LIA/tptp/NUM875=1.smt2                       |    0.034s | 19.924MiB| sat | 0 |  |  |
|non-incremental/LIA/tptp/ARI056=1.smt2                       |    0.034s | 19.588MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/015.smt2                           |    0.034s | 20.624MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_470.smt2 |    0.035s | 19.84MiB| unknown | 0 |  |  |
|non-incremental/LIA/tptp/ARI572=1.smt2                       |    0.035s | 19.636MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/107.smt2                           |    0.035s | 19.896MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/031.smt2                           |    0.036s | 20.36MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_1879.smt2 |    0.037s | 19.744MiB| unsat | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_720.smt2 |    0.037s | 19.592MiB| unsat | 0 |  |  |
|non-incremental/LIA/psyco/163.smt2                           |    0.037s | 19.888MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_1477.smt2 |    0.038s | 19.616MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_175.smt2 |    0.038s | 19.764MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_257_263.smt2      |    0.039s | 19.668MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/129.smt2                           |    0.040s | 20.116MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/120.smt2                           |    0.041s | 20.604MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_37_41_43.smt2     |    0.042s | 20.092MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/081.smt2                           |    0.044s | 20.592MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/recHanoi03_true-unreach-call_true-termination.c_847.smt2 |    0.045s | 19.66MiB| unsat | 0 |  |  |
|non-incremental/LIA/tptp/ARI038=1.smt2                       |    0.045s | 19.652MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/080.smt2                           |    0.045s | 20.608MiB| unknown | 0 |  |  |
|non-incremental/LIA/tptp/NUM869=1.smt2                       |    0.046s | 19.9MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/020.smt2                           |    0.046s | 19.852MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/072.smt2                           |    0.046s | 20.476MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/003.smt2                           |    0.048s | 19.856MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_1379.smt2 |    0.051s | 19.592MiB| unsat | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_1728.smt2 |    0.051s | 20.252MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/Primes_true-unreach-call.c_276.smt2 |    0.052s | 19.748MiB| unknown | 0 |  |  |
|non-incremental/LIA/tptp/ARI039=1.smt2                       |    0.052s | 19.6MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/168.smt2                           |    0.053s | 19.832MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/103.smt2                           |    0.054s | 20.156MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/075.smt2                           |    0.054s | 20.432MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/042.smt2                           |    0.054s | 20.412MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/024.smt2                           |    0.054s | 20.584MiB| unknown | 0 |  |  |
|non-incremental/LIA/tptp/ARI018=1.smt2                       |    0.055s | 20.096MiB| unknown | 0 |  |  |
|non-incremental/LIA/tptp/ARI044=1.smt2                       |    0.055s | 19.844MiB| unknown | 0 |  |  |
|non-incremental/LIA/tptp/ARI590=1.smt2                       |    0.055s | 19.612MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_211_223_227.smt2  |    0.055s | 19.608MiB| unknown | 0 |  |  |
|non-incremental/LIA/20190429-UltimateAutomizerSvcomp2019/jain_2_true-unreach-call_true-no-overflow_false-termination.i_14.smt2 |    0.056s | 19.6MiB| unknown | 0 |  |  |
|non-incremental/LIA/tptp/ARI012=1.smt2                       |    0.056s | 19.856MiB| unknown | 0 |  |  |
|non-incremental/LIA/tptp/ARI079=1.smt2                       |    0.056s | 20.096MiB| unsat | 0 |  |  |
|non-incremental/LIA/psyco/108.smt2                           |    0.056s | 20.112MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested6_true-unreach-call.i_7.smt2 |    0.057s | 19.852MiB| unknown | 0 |  |  |
|non-incremental/LIA/tptp/NUM899=1.smt2                       |    0.057s | 19.62MiB| unknown | 0 |  |  |
|non-incremental/LIA/tptp/ARI027=1.smt2                       |    0.057s | 19.844MiB| unknown | 0 |  |  |
|non-incremental/LIA/tptp/ARI004=1.smt2                       |    0.057s | 19.604MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_3_5_7.smt2        |    0.057s | 19.648MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/115.smt2                           |    0.057s | 20.58MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/106.smt2                           |    0.057s | 19.848MiB| unknown | 0 |  |  |
|non-incremental/LIA/tptp/ARI025=1.smt2                       |    0.058s | 19.604MiB| unknown | 0 |  |  |
|non-incremental/LIA/tptp/ARI053=1.smt2                       |    0.058s | 19.848MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_1737.smt2 |    0.059s | 19.628MiB| unknown | 0 |  |  |
|non-incremental/LIA/tptp/ARI017=1.smt2                       |    0.059s | 19.884MiB| unknown | 0 |  |  |
|non-incremental/LIA/tptp/ARI083=1.smt2                       |    0.059s | 19.708MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/097.smt2                           |    0.059s | 20.616MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_775.smt2 |    0.060s | 19.688MiB| unsat | 0 |  |  |
|non-incremental/LIA/tptp/NUM893=1.smt2                       |    0.060s | 20.008MiB| unknown | 0 |  |  |
|non-incremental/LIA/tptp/NUM916=1.smt2                       |    0.060s | 20.008MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/157.smt2                           |    0.060s | 20.096MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/146.smt2                           |    0.060s | 20.352MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_1781.smt2 |    0.061s | 19.956MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/recHanoi03_true-unreach-call_true-termination.c_2746.smt2 |    0.061s | 19.648MiB| unknown | 0 |  |  |
|non-incremental/LIA/tptp/NUM915=1.smt2                       |    0.061s | 19.852MiB| unknown | 0 |  |  |
|non-incremental/LIA/tptp/NUM898=1.smt2                       |    0.061s | 19.6MiB| unknown | 0 |  |  |
|non-incremental/LIA/tptp/NUM871=1.smt2                       |    0.061s | 19.836MiB| sat | 0 |  |  |
|non-incremental/LIA/psyco/032.smt2                           |    0.061s | 20.688MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/039.smt2                           |    0.061s | 20.36MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/104.smt2                           |    0.061s | 20.128MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_1371.smt2 |    0.062s | 19.596MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/recHanoi03_true-unreach-call_true-termination.c_874.smt2 |    0.062s | 19.684MiB| unsat | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_1792.smt2 |    0.062s | 20.088MiB| unsat | 0 |  |  |
|non-incremental/LIA/tptp/NUM864=1.smt2                       |    0.062s | 19.852MiB| unsat | 0 |  |  |
|non-incremental/LIA/psyco/159.smt2                           |    0.062s | 19.916MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/recHanoi03_true-unreach-call_true-termination.c_278.smt2 |    0.063s | 19.596MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_357.smt2 |    0.063s | 19.78MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_1479.smt2 |    0.063s | 19.848MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/018.smt2                           |    0.063s | 20.144MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/010.smt2                           |    0.063s | 19.872MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_1878.smt2 |    0.064s | 19.864MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/100.smt2                           |    0.064s | 20.672MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/093.smt2                           |    0.064s | 20.876MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_1761.smt2 |    0.065s | 19.852MiB| unsat | 0 |  |  |
|non-incremental/LIA/psyco/135.smt2                           |    0.065s | 20.616MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/014.smt2                           |    0.065s | 19.896MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/006.smt2                           |    0.065s | 20.072MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_1375.smt2 |    0.066s | 19.888MiB| unknown | 0 |  |  |
|non-incremental/LIA/tptp/ARI011=1.smt2                       |    0.066s | 20.096MiB| unknown | 0 |  |  |
|non-incremental/LIA/tptp/NUM917=1.smt2                       |    0.066s | 19.82MiB| unknown | 0 |  |  |
|non-incremental/LIA/tptp/ARI591=1.smt2                       |    0.066s | 19.92MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/022.smt2                           |    0.066s | 19.868MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/131.smt2                           |    0.066s | 20.396MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/173.smt2                           |    0.066s | 20.352MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/145.smt2                           |    0.066s | 19.96MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/004.smt2                           |    0.066s | 19.748MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_1707.smt2 |    0.067s | 19.648MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_271_277.smt2      |    0.067s | 19.736MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/019.smt2                           |    0.067s | 20.14MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/143.smt2                           |    0.067s | 19.892MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/084.smt2                           |    0.068s | 20.708MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/078.smt2                           |    0.068s | 20.752MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/087.smt2                           |    0.068s | 20.74MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/171.smt2                           |    0.068s | 20.076MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/025.smt2                           |    0.068s | 20.112MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/Primes_true-unreach-call.c_657.smt2 |    0.069s | 19.756MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/recHanoi03_true-unreach-call_true-termination.c_3227.smt2 |    0.069s | 19.664MiB| unsat | 0 |  |  |
|non-incremental/LIA/psyco/166.smt2                           |    0.069s | 20.132MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/162.smt2                           |    0.069s | 19.852MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_870.smt2 |    0.070s | 20.372MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_817.smt2 |    0.071s | 19.636MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/recHanoi03_true-unreach-call_true-termination.c_557.smt2 |    0.071s | 19.744MiB| unsat | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_751.smt2 |    0.071s | 19.56MiB| unsat | 0 |  |  |
|non-incremental/LIA/tptp/ARI005=1.smt2                       |    0.071s | 19.812MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/095.smt2                           |    0.071s | 20.62MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_744.smt2 |    0.072s | 19.6MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_497.smt2 |    0.072s | 19.62MiB| unsat | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/recHanoi03_true-unreach-call_true-termination.c_73.smt2 |    0.072s | 19.6MiB| unsat | 0 |  |  |
|non-incremental/LIA/psyco/016.smt2                           |    0.072s | 20.504MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/061.smt2                           |    0.072s | 19.852MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_1739.smt2 |    0.073s | 19.632MiB| unsat | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_1703.smt2 |    0.073s | 19.648MiB| unknown | 0 |  |  |
|non-incremental/LIA/tptp/NUM896=1.smt2                       |    0.073s | 19.844MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/194.smt2                           |    0.073s | 20.368MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/128.smt2                           |    0.073s | 20.024MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/122.smt2                           |    0.073s | 20.108MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/167.smt2                           |    0.073s | 19.916MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_1875.smt2 |    0.074s | 19.52MiB| unsat | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_379.smt2 |    0.074s | 19.596MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_1475.smt2 |    0.074s | 19.752MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_173.smt2 |    0.075s | 19.712MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_1741.smt2 |    0.075s | 19.632MiB| unsat | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_137_139_149.smt2  |    0.075s | 19.64MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/064.smt2                           |    0.075s | 19.872MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/114.smt2                           |    0.076s | 20.036MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/186.smt2                           |    0.076s | 19.596MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/050.smt2                           |    0.076s | 20.636MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/MADWiFi-encode_ie_ok_true-unreach-call.i_17.smt2 |    0.077s | 19.544MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/recHanoi03_true-unreach-call_true-termination.c_3872.smt2 |    0.077s | 19.848MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_1777.smt2 |    0.077s | 19.632MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_1370.smt2 |    0.077s | 19.68MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/Primes_true-unreach-call.c_237.smt2 |    0.077s | 19.496MiB| unsat | 0 |  |  |
|non-incremental/LIA/psyco/045.smt2                           |    0.077s | 20.504MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/123.smt2                           |    0.077s | 20.644MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/147.smt2                           |    0.077s | 19.88MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/153.smt2                           |    0.077s | 19.848MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_71.smt2 |    0.078s | 19.832MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_1720.smt2 |    0.078s | 20.06MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_17.smt2 |    0.078s | 19.596MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_537.smt2 |    0.078s | 19.656MiB| unsat | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/recHanoi03_true-unreach-call_true-termination.c_2175.smt2 |    0.078s | 19.584MiB| unsat | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_241_251.smt2      |    0.078s | 19.584MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_103_107.smt2      |    0.078s | 19.636MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_11_13.smt2        |    0.078s | 19.588MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_71_73.smt2        |    0.078s | 19.536MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_61_67_71.smt2     |    0.078s | 19.672MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_43_47_53.smt2     |    0.078s | 19.86MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/094.smt2                           |    0.078s | 20.62MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/141.smt2                           |    0.078s | 19.772MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_707.smt2 |    0.079s | 19.92MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_1897.smt2 |    0.079s | 19.676MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_23_29_31.smt2     |    0.079s | 19.6MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_41_43_47.smt2     |    0.079s | 20.036MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_127_131_137.smt2  |    0.079s | 19.596MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/048.smt2                           |    0.079s | 20.668MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/012.smt2                           |    0.079s | 19.968MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/189.smt2                           |    0.079s | 19.868MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/196.smt2                           |    0.079s | 20.332MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/158.smt2                           |    0.079s | 19.964MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_1679.smt2 |    0.080s | 19.6MiB| unsat | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_713.smt2 |    0.080s | 19.768MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_378.smt2 |    0.080s | 19.708MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_1789.smt2 |    0.080s | 19.844MiB| unsat | 0 |  |  |
|non-incremental/LIA/tptp/ARI592=1.smt2                       |    0.080s | 19.676MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/132.smt2                           |    0.080s | 20.06MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/033.smt2                           |    0.080s | 20.472MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/023.smt2                           |    0.080s | 20.132MiB| unknown | 0 |  |  |
|non-incremental/LIA/20190429-UltimateAutomizerSvcomp2019/jain_2_true-unreach-call_true-no-overflow_false-termination.i_9.smt2 |    0.081s | 19.576MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_1758.smt2 |    0.081s | 19.804MiB| unsat | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_473.smt2 |    0.081s | 19.664MiB| unknown | 0 |  |  |
|non-incremental/LIA/tptp/NUM868=1.smt2                       |    0.081s | 19.868MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_173_179_181.smt2  |    0.081s | 19.608MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_151_157_163.smt2  |    0.081s | 19.996MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_239_241.smt2      |    0.081s | 20.016MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_157_163.smt2      |    0.081s | 19.612MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/083.smt2                           |    0.081s | 20.532MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/082.smt2                           |    0.081s | 20.508MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/126.smt2                           |    0.081s | 20.364MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/069.smt2                           |    0.081s | 19.892MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_179.smt2 |    0.082s | 19.72MiB| unsat | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_1597.smt2 |    0.082s | 19.628MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/MADWiFi-encode_ie_ok_true-unreach-call.i_7.smt2 |    0.082s | 19.628MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_1357.smt2 |    0.082s | 19.596MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/Primes_true-unreach-call.c_597.smt2 |    0.082s | 19.592MiB| unsat | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_637.smt2 |    0.082s | 19.848MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_725.smt2 |    0.082s | 19.684MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_83_89_97.smt2     |    0.082s | 19.632MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/013.smt2                           |    0.082s | 20.48MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/152.smt2                           |    0.082s | 19.924MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/Primes_true-unreach-call.c_127.smt2 |    0.083s | 19.596MiB| unsat | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_7.smt2 |    0.083s | 19.588MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_1172.smt2 |    0.083s | 19.54MiB| unsat | 0 |  |  |
|non-incremental/LIA/tptp/ARI026=1.smt2                       |    0.083s | 19.588MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_79_83.smt2        |    0.083s | 19.612MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/142.smt2                           |    0.083s | 20.092MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/187.smt2                           |    0.083s | 20.036MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/179.smt2                           |    0.083s | 19.908MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/116.smt2                           |    0.083s | 20.4MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/139.smt2                           |    0.083s | 19.9MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/156.smt2                           |    0.083s | 19.824MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/155.smt2                           |    0.083s | 20.112MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_753.smt2 |    0.084s | 19.86MiB| unsat | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_157_163_167.smt2  |    0.084s | 19.924MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/049.smt2                           |    0.084s | 20.648MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/058.smt2                           |    0.084s | 20.62MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/177.smt2                           |    0.084s | 19.992MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_670.smt2 |    0.085s | 19.664MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_1307.smt2 |    0.085s | 19.848MiB| unsat | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/recHanoi03_true-unreach-call_true-termination.c_1478.smt2 |    0.085s | 19.884MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_785.smt2 |    0.085s | 19.94MiB| unknown | 0 |  |  |
|non-incremental/LIA/tptp/NUM895=1.smt2                       |    0.085s | 19.6MiB| unsat | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_191_193.smt2      |    0.085s | 19.592MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_233_239.smt2      |    0.085s | 19.844MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_7_11.smt2         |    0.085s | 19.572MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/034.smt2                           |    0.085s | 20.612MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_1471.smt2 |    0.086s | 19.628MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_780.smt2 |    0.086s | 19.724MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/recHanoi03_true-unreach-call_true-termination.c_597.smt2 |    0.086s | 19.76MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/recHanoi03_true-unreach-call_true-termination.c_1757.smt2 |    0.086s | 19.748MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/Primes_true-unreach-call.c_678.smt2 |    0.086s | 19.512MiB| unsat | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_1784.smt2 |    0.086s | 19.756MiB| unsat | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_1736.smt2 |    0.086s | 19.952MiB| unsat | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_1847.smt2 |    0.086s | 19.716MiB| unknown | 0 |  |  |
|non-incremental/LIA/tptp/ARI013=1.smt2                       |    0.086s | 19.728MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_37_41.smt2        |    0.086s | 19.904MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_191_193_197.smt2  |    0.086s | 19.684MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/144.smt2                           |    0.086s | 20.312MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_1770.smt2 |    0.087s | 19.596MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_1778.smt2 |    0.087s | 19.628MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_187.smt2 |    0.087s | 19.752MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_1170.smt2 |    0.087s | 19.552MiB| unsat | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_277.smt2 |    0.087s | 19.596MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/Primes_true-unreach-call.c_673.smt2 |    0.087s | 19.76MiB| unsat | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_1726.smt2 |    0.087s | 19.848MiB| unsat | 0 |  |  |
|non-incremental/LIA/20190429-UltimateAutomizerSvcomp2019/jain_7_true-unreach-call_true-no-overflow_false-termination.i_3.smt2 |    0.088s | 19.712MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_1107.smt2 |    0.088s | 19.748MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/recHanoi03_true-unreach-call_true-termination.c_2147.smt2 |    0.088s | 19.54MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_73.smt2 |    0.088s | 19.756MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_257_263_269.smt2  |    0.088s | 19.848MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_5_7_11.smt2       |    0.088s | 19.612MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_79_83_89.smt2     |    0.088s | 19.68MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/124.smt2                           |    0.088s | 20.364MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/149.smt2                           |    0.088s | 20.112MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/Primes_true-unreach-call.c_671.smt2 |    0.089s | 20.34MiB| unsat | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_766.smt2 |    0.089s | 20.0MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/193.smt2                           |    0.089s | 20.348MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/011.smt2                           |    0.089s | 19.868MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_1817.smt2 |    0.090s | 20.26MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_575.smt2 |    0.090s | 19.628MiB| unknown | 0 |  |  |
|non-incremental/LIA/tptp/NUM870=1.smt2                       |    0.090s | 19.604MiB| sat | 0 |  |  |
|non-incremental/LIA/tptp/ARI052=1.smt2                       |    0.090s | 19.852MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_233_239_241.smt2  |    0.090s | 19.628MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_137_139.smt2      |    0.090s | 20.072MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/007.smt2                           |    0.090s | 20.288MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/109.smt2                           |    0.090s | 19.856MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/066.smt2                           |    0.090s | 19.872MiB| unknown | 0 |  |  |
|non-incremental/LIA/20190429-UltimateAutomizerSvcomp2019/s3_srvr_2_true-unreach-call_true-no-overflow_false-termination.BV.c.cil.c_0.smt2 |    0.091s | 19.724MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_1072.smt2 |    0.091s | 19.84MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/Primes_true-unreach-call.c_798.smt2 |    0.091s | 19.612MiB| unsat | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_29_31_37.smt2     |    0.091s | 19.856MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/127.smt2                           |    0.091s | 19.904MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/062.smt2                           |    0.091s | 20.016MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/111.smt2                           |    0.091s | 20.352MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/026.smt2                           |    0.091s | 19.992MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_728.smt2 |    0.092s | 20.316MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_1755.smt2 |    0.092s | 19.652MiB| unsat | 0 |  |  |
|non-incremental/LIA/psyco/151.smt2                           |    0.092s | 19.864MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_746.smt2 |    0.093s | 19.892MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_1317.smt2 |    0.093s | 19.844MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_139_149.smt2      |    0.093s | 19.548MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_239_241_251.smt2  |    0.093s | 19.564MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/176.smt2                           |    0.093s | 19.868MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/110.smt2                           |    0.093s | 20.068MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/090.smt2                           |    0.093s | 20.48MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/140.smt2                           |    0.093s | 19.672MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_947.smt2 |    0.094s | 19.9MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_1749.smt2 |    0.094s | 20.048MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/054.smt2                           |    0.094s | 20.58MiB| unknown | 0 |  |  |
|non-incremental/LIA/20190429-UltimateAutomizerSvcomp2019/jain_2_true-unreach-call_true-no-overflow_false-termination.i_4.smt2 |    0.095s | 19.604MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/Primes_true-unreach-call.c_187.smt2 |    0.095s | 19.652MiB| unsat | 0 |  |  |
|non-incremental/LIA/psyco/101.smt2                           |    0.095s | 20.616MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/053.smt2                           |    0.095s | 20.904MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/181.smt2                           |    0.095s | 20.08MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/164.smt2                           |    0.095s | 19.904MiB| unknown | 0 |  |  |
|non-incremental/LIA/20190429-UltimateAutomizerSvcomp2019/jain_7_true-unreach-call_true-no-overflow_false-termination.i_7.smt2 |    0.096s | 19.684MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_1767.smt2 |    0.096s | 19.848MiB| unsat | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_1729.smt2 |    0.096s | 19.844MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_1764.smt2 |    0.096s | 19.54MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/Primes_true-unreach-call.c_1657.smt2 |    0.096s | 19.644MiB| unsat | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_83_89.smt2        |    0.096s | 19.66MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_53_59.smt2        |    0.096s | 19.644MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_89_97_101.smt2    |    0.096s | 19.984MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/052.smt2                           |    0.096s | 20.848MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/029.smt2                           |    0.096s | 20.464MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/085.smt2                           |    0.096s | 20.976MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/180.smt2                           |    0.096s | 19.644MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/recHanoi03_true-unreach-call_true-termination.c_2715.smt2 |    0.097s | 19.908MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/recHanoi03_true-unreach-call_true-termination.c_1735.smt2 |    0.097s | 19.812MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_1748.smt2 |    0.097s | 19.596MiB| unsat | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_281_283.smt2      |    0.097s | 19.564MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_7_11_13.smt2      |    0.097s | 19.604MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_97_101_103.smt2   |    0.097s | 20.12MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_229_233_239.smt2  |    0.097s | 19.632MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/092.smt2                           |    0.097s | 20.624MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/067.smt2                           |    0.097s | 20.352MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_1578.smt2 |    0.098s | 19.636MiB| unsat | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_1738.smt2 |    0.098s | 19.88MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_223_227_229.smt2  |    0.098s | 19.976MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_229_233.smt2      |    0.098s | 19.728MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_193_197_199.smt2  |    0.098s | 19.792MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/154.smt2                           |    0.098s | 19.852MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/Primes_true-unreach-call.c_2207.smt2 |    0.099s | 19.76MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_1427.smt2 |    0.099s | 20.184MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/055.smt2                           |    0.099s | 20.624MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/125.smt2                           |    0.099s | 20.376MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_271_277_281.smt2  |    0.100s | 19.772MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_181_191_193.smt2  |    0.100s | 19.8MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/047.smt2                           |    0.100s | 20.632MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/030.smt2                           |    0.100s | 20.7MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_703.smt2 |    0.101s | 19.844MiB| unsat | 0 |  |  |
|non-incremental/LIA/psyco/088.smt2                           |    0.101s | 20.592MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/027.smt2                           |    0.101s | 20.584MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/002.smt2                           |    0.101s | 19.864MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_1732.smt2 |    0.102s | 19.88MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_2_3.smt2          |    0.102s | 20.34MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/133.smt2                           |    0.102s | 20.516MiB| unknown | 0 |  |  |
|non-incremental/LIA/20190429-UltimateAutomizerSvcomp2019/jain_7_true-unreach-call_true-no-overflow_false-termination.i_5.smt2 |    0.103s | 19.784MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_109_113.smt2      |    0.103s | 19.724MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_5_7.smt2          |    0.103s | 19.636MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_277_281.smt2      |    0.103s | 19.836MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/099.smt2                           |    0.103s | 20.652MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/178.smt2                           |    0.103s | 19.968MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/035.smt2                           |    0.103s | 20.364MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_101_103.smt2      |    0.104s | 19.6MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/121.smt2                           |    0.104s | 20.144MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/021.smt2                           |    0.104s | 19.964MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_241_251_257.smt2  |    0.105s | 19.952MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_197_199.smt2      |    0.105s | 20.092MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/040.smt2                           |    0.105s | 20.348MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/077.smt2                           |    0.105s | 20.46MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_47_53.smt2        |    0.106s | 19.652MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/130.smt2                           |    0.106s | 20.284MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/118.smt2                           |    0.106s | 19.964MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/079.smt2                           |    0.106s | 20.6MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/044.smt2                           |    0.106s | 20.516MiB| unknown | 0 |  |  |
|non-incremental/LIA/20190429-UltimateAutomizerSvcomp2019/jain_6_true-unreach-call_true-no-overflow_false-termination.i_12.smt2 |    0.107s | 19.624MiB| unknown | 0 |  |  |
|non-incremental/LIA/20190429-UltimateAutomizerSvcomp2019/jain_2_true-unreach-call_true-no-overflow_false-termination.i_13.smt2 |    0.107s | 19.98MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_1437.smt2 |    0.107s | 19.776MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_1887.smt2 |    0.107s | 19.852MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_59_61.smt2        |    0.107s | 19.744MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_2_3_5.smt2        |    0.107s | 19.748MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/150.smt2                           |    0.107s | 20.104MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/056.smt2                           |    0.107s | 20.628MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/172.smt2                           |    0.107s | 20.1MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/051.smt2                           |    0.107s | 20.872MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/117.smt2                           |    0.107s | 20.424MiB| unknown | 0 |  |  |
|non-incremental/LIA/20190429-UltimateAutomizerSvcomp2019/jain_2_true-unreach-call_true-no-overflow_false-termination.i_8.smt2 |    0.108s | 19.592MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_1337.smt2 |    0.108s | 19.736MiB| unsat | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_173_179.smt2      |    0.108s | 19.788MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_107_109_113.smt2  |    0.108s | 19.772MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_263_269.smt2      |    0.108s | 19.688MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/148.smt2                           |    0.108s | 19.96MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/169.smt2                           |    0.108s | 20.116MiB| unknown | 0 |  |  |
|non-incremental/LIA/20190429-UltimateAutomizerSvcomp2019/jain_2_true-unreach-call_true-no-overflow_false-termination.i_10.smt2 |    0.109s | 19.776MiB| unknown | 0 |  |  |
|non-incremental/LIA/20190429-UltimateAutomizerSvcomp2019/jain_6_true-unreach-call_true-no-overflow_false-termination.i_15.smt2 |    0.109s | 19.86MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_103_107_109.smt2  |    0.109s | 19.648MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/074.smt2                           |    0.109s | 20.404MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_73_79.smt2        |    0.110s | 19.64MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/089.smt2                           |    0.110s | 20.592MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_163_167_173.smt2  |    0.111s | 19.592MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_17_19_23.smt2     |    0.111s | 19.696MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/recHanoi03_true-unreach-call_true-termination.c_287.smt2 |    0.112s | 19.772MiB| unsat | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_149_151.smt2      |    0.112s | 19.86MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_23_29.smt2        |    0.112s | 19.716MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/046.smt2                           |    0.112s | 20.36MiB| unknown | 0 |  |  |
|non-incremental/LIA/20190429-UltimateAutomizerSvcomp2019/jain_6_true-unreach-call_true-no-overflow_false-termination.i_2.smt2 |    0.113s | 19.656MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_29_31.smt2        |    0.113s | 19.964MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_127_131.smt2      |    0.113s | 19.78MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/073.smt2                           |    0.113s | 20.504MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/174.smt2                           |    0.113s | 20.18MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_101_103_107.smt2  |    0.114s | 19.796MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/076.smt2                           |    0.114s | 20.46MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/119.smt2                           |    0.114s | 20.2MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/096.smt2                           |    0.114s | 20.672MiB| unknown | 0 |  |  |
|non-incremental/LIA/20190429-UltimateAutomizerSvcomp2019/jain_7_true-unreach-call_true-no-overflow_false-termination.i_10.smt2 |    0.115s | 19.648MiB| unknown | 0 |  |  |
|non-incremental/LIA/20190429-UltimateAutomizerSvcomp2019/jain_7_true-unreach-call_true-no-overflow_false-termination.i_6.smt2 |    0.115s | 19.688MiB| unknown | 0 |  |  |
|non-incremental/LIA/20190429-UltimateAutomizerSvcomp2019/jain_2_true-unreach-call_true-no-overflow_false-termination.i_6.smt2 |    0.115s | 20.156MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_507.smt2 |    0.115s | 19.824MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_763.smt2 |    0.115s | 19.628MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_67_71.smt2        |    0.115s | 19.632MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_139_149_151.smt2  |    0.115s | 19.976MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_151_157.smt2      |    0.115s | 19.636MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_67_71_73.smt2     |    0.115s | 19.612MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_227_229_233.smt2  |    0.115s | 19.628MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_227_229.smt2      |    0.115s | 19.844MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_167_173.smt2      |    0.115s | 19.912MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_3_5.smt2          |    0.115s | 19.552MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/038.smt2                           |    0.115s | 20.408MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_1117.smt2 |    0.116s | 19.824MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_1798.smt2 |    0.116s | 19.86MiB| unsat | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_887.smt2 |    0.116s | 19.6MiB| unsat | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_1874.smt2 |    0.116s | 19.844MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_573.smt2 |    0.116s | 19.6MiB| unsat | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_1070.smt2 |    0.116s | 19.628MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_131_137.smt2      |    0.116s | 19.636MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_13_17_19.smt2     |    0.116s | 19.564MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/043.smt2                           |    0.116s | 20.544MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/091.smt2                           |    0.116s | 20.568MiB| unknown | 0 |  |  |
|non-incremental/LIA/20190429-UltimateAutomizerSvcomp2019/jain_2_true-unreach-call_true-no-overflow_false-termination.i_7.smt2 |    0.117s | 19.752MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_755.smt2 |    0.117s | 19.648MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_277_281_283.smt2  |    0.117s | 19.84MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/165.smt2                           |    0.117s | 20.016MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_211_223.smt2      |    0.118s | 19.632MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_149_151_157.smt2  |    0.118s | 19.636MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_113_127_131.smt2  |    0.118s | 19.612MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_61_67.smt2        |    0.118s | 19.592MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_89_97.smt2        |    0.118s | 20.1MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/086.smt2                           |    0.118s | 20.592MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/105.smt2                           |    0.118s | 19.836MiB| unknown | 0 |  |  |
|non-incremental/LIA/20190429-UltimateAutomizerSvcomp2019/jain_2_true-unreach-call_true-no-overflow_false-termination.i_11.smt2 |    0.119s | 19.628MiB| unknown | 0 |  |  |
|non-incremental/LIA/20190429-UltimateAutomizerSvcomp2019/jain_7_true-unreach-call_true-no-overflow_false-termination.i_2.smt2 |    0.119s | 19.564MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/Primes_true-unreach-call.c_2317.smt2 |    0.119s | 19.648MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_1677.smt2 |    0.119s | 20.024MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_31_37.smt2        |    0.119s | 19.852MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_223_227.smt2      |    0.119s | 19.74MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_41_43.smt2        |    0.119s | 19.584MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_59_61_67.smt2     |    0.119s | 19.788MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_263_269_271.smt2  |    0.119s | 19.6MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_19_23_29.smt2     |    0.119s | 19.988MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/028.smt2                           |    0.119s | 20.568MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_1722.smt2 |    0.120s | 19.584MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/065.smt2                           |    0.120s | 20.112MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_788.smt2 |    0.121s | 19.528MiB| unsat | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_71_73_79.smt2     |    0.121s | 19.824MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_251_257_263.smt2  |    0.121s | 19.608MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_11_13_17.smt2     |    0.121s | 19.972MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_109_113_127.smt2  |    0.121s | 20.384MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/175.smt2                           |    0.121s | 20.352MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/134.smt2                           |    0.121s | 20.724MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/098.smt2                           |    0.121s | 20.548MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/036.smt2                           |    0.121s | 20.544MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/Primes_true-unreach-call.c_670.smt2 |    0.122s | 20.072MiB| unsat | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_179_181.smt2      |    0.122s | 20.212MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_13_17.smt2        |    0.122s | 19.724MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/008.smt2                           |    0.122s | 20.532MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/009.smt2                           |    0.122s | 20.112MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/057.smt2                           |    0.123s | 20.664MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_269_271_277.smt2  |    0.125s | 19.88MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_73_79_83.smt2     |    0.125s | 19.836MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/137.smt2                           |    0.125s | 21.396MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/001.smt2                           |    0.125s | 20.004MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_19_23.smt2        |    0.126s | 19.704MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/037.smt2                           |    0.126s | 20.5MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/070.smt2                           |    0.126s | 19.936MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/170.smt2                           |    0.126s | 19.852MiB| unknown | 0 |  |  |
|non-incremental/LIA/20190429-UltimateAutomizerSvcomp2019/jain_7_true-unreach-call_true-no-overflow_false-termination.i_9.smt2 |    0.127s | 19.6MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_131_137_139.smt2  |    0.127s | 19.596MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/188.smt2                           |    0.127s | 19.896MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/102.smt2                           |    0.127s | 20.728MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/005.smt2                           |    0.128s | 19.904MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/068.smt2                           |    0.128s | 20.38MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/113.smt2                           |    0.128s | 20.108MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/063.smt2                           |    0.128s | 20.38MiB| unknown | 0 |  |  |
|non-incremental/LIA/20190429-UltimateAutomizerSvcomp2019/jain_7_true-unreach-call_true-no-overflow_false-termination.i_0.smt2 |    0.129s | 19.532MiB| unknown | 0 |  |  |
|non-incremental/LIA/20190429-UltimateAutomizerSvcomp2019/jain_2_true-unreach-call_true-no-overflow_false-termination.i_5.smt2 |    0.129s | 19.636MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_43_47.smt2        |    0.129s | 19.592MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_17_19.smt2        |    0.129s | 19.86MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_163_167.smt2      |    0.130s | 19.98MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_53_59_61.smt2     |    0.130s | 19.552MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_31_37_41.smt2     |    0.130s | 19.64MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/112.smt2                           |    0.130s | 20.096MiB| unknown | 0 |  |  |
|non-incremental/LIA/20190429-UltimateAutomizerSvcomp2019/jain_7_true-unreach-call_true-no-overflow_false-termination.i_8.smt2 |    0.131s | 19.648MiB| unknown | 0 |  |  |
|non-incremental/LIA/20190429-UltimateAutomizerSvcomp2019/jain_2_true-unreach-call_true-no-overflow_false-termination.i_1.smt2 |    0.131s | 19.64MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_107_109.smt2      |    0.131s | 19.672MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_251_257.smt2      |    0.131s | 19.596MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_281_283_293.smt2  |    0.131s | 20.08MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_47_53_59.smt2     |    0.131s | 19.6MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_269_271.smt2      |    0.131s | 19.872MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/071.smt2                           |    0.131s | 20.456MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/195.smt2                           |    0.131s | 20.38MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_1676.smt2 |    0.132s | 19.516MiB| unsat | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_193_197.smt2      |    0.132s | 19.648MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_181_191.smt2      |    0.134s | 19.868MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/041.smt2                           |    0.135s | 20.42MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_199_211.smt2      |    0.137s | 19.644MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/190.smt2                           |    0.137s | 20.288MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/185.smt2                           |    0.137s | 20.48MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_167_173_179.smt2  |    0.139s | 20.232MiB| unknown | 0 |  |  |
|non-incremental/LIA/20250213-Frobenius/fcp_197_199_211.smt2  |    0.141s | 19.596MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/136.smt2                           |    0.141s | 21.352MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_807.smt2 |    0.142s | 19.564MiB| unknown | 0 |  |  |
|non-incremental/LIA/psyco/138.smt2                           |    0.146s | 21.232MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_1575.smt2 |    0.154s | 19.768MiB| unsat | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_1795.smt2 |    0.158s | 19.772MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_1786.smt2 |    0.162s | 19.74MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_627.smt2 |    0.162s | 19.632MiB| unknown | 0 |  |  |
|non-incremental/LIA/UltimateAutomizer/nested9_true-unreach-call.i_1723.smt2 |    0.164s | 19.588MiB| unknown | 0 |  |  |
