# . * SAT 59 * UNSAT 17 * TIMEOUT 81 * UNKNOWN 0 * ERRORS 0 # Meta data 
Ramon benchmark for Z3
-
Job description: Triggered by CoZ3 Benchmark Runner | Benchmark suite: https://zenodo.org/records/16740866/files/QF_ANIA.tar.zst?download=1 | Source list: benchmarks.txt
Job tag: coz3-https-zenodo.org-records-16740866-files-QF_ANIA.tar.zst-do
Runner: rise-runner-2
Z3 repo: Z3Prover/z3
Z3 commit: 4a90d3105054796562079406e125b9480ac3472b
Z3 branch: master
Z3 options: "-T:20 model_validate=true"
Z3 inputs: https://zenodo.org/records/16740866/files/QF_ANIA.tar.zst?download=1
Z3 commit message: Update tptp_frontend.cpp
# Statistics |FILE |TIME |MEM | STATUS | EXIT | STDOUT | STDERR | |------------|----------:|---------:|-------------:| ----------:|--------|--------| |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/sum10_true-unreach-call_true-termination.i_13.smt2 | 0.026s | 20.108MiB| sat | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/sum10_true-unreach-call_true-termination.i_3.smt2 | 0.026s | 20.388MiB| sat | 0 | | | |non-incremental/QF_ANIA/20211213-GrandProduct-Ozdemir/unsound/same/3.smt2 | 0.036s | 21.036MiB| sat | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/sum10_true-unreach-call_true-termination.i_0.smt2 | 0.037s | 20.116MiB| sat | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/sum10_true-unreach-call_true-termination.i_10.smt2 | 0.037s | 20.076MiB| sat | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/sum10_true-unreach-call_true-termination.i_9.smt2 | 0.049s | 20.236MiB| sat | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/sum10_true-unreach-call_true-termination.i_6.smt2 | 0.056s | 20.112MiB| sat | 0 | | | |non-incremental/QF_ANIA/UltimateAutomizer/cs_peterson_true-unreach-call.i.smt2 | 0.062s | 22.556MiB| unsat | 0 | | | |non-incremental/QF_ANIA/20240413-AutomizerLoopAcceleration/in-de42.c_AllErrorsAtOnce_Iteration7_0.smt2 | 0.063s | 20.528MiB| unsat | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/avg20_true-unreach-call.i_0.smt2 | 0.065s | 20.604MiB| sat | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/avg20_true-unreach-call.i_3.smt2 | 0.066s | 20.424MiB| sat | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/avg20_true-unreach-call.i_1.smt2 | 0.070s | 20.692MiB| sat | 0 | | | |non-incremental/QF_ANIA/UltimateAutomizer/cs_dekker_true-unreach-call.i.smt2 | 0.073s | 23.524MiB| unsat | 0 | | | |non-incremental/QF_ANIA/UltimateAutomizer/cs_lazy_false-unreach-call.i.smt2 | 0.076s | 22.156MiB| unsat | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/avg20_true-unreach-call.i_7.smt2 | 0.078s | 20.612MiB| sat | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/floppy2_true-unreach-call_true-termination.i.cil.c_2.smt2 | 0.079s | 21.064MiB| sat | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/avg20_true-unreach-call.i_9.smt2 | 0.086s | 20.476MiB| sat | 0 | | | |non-incremental/QF_ANIA/20240413-AutomizerLoopAcceleration/ddlm2013.i_AllErrorsAtOnce_Iteration5_0.smt2 | 0.087s | 20.896MiB| unsat | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/sum10_true-unreach-call_true-termination.i_5.smt2 | 0.089s | 20.116MiB| sat | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/avg20_true-unreach-call.i_6.smt2 | 0.090s | 20.42MiB| sat | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/avg20_true-unreach-call.i_8.smt2 | 0.093s | 20.64MiB| sat | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/sum10_true-unreach-call_true-termination.i_2.smt2 | 0.098s | 20.352MiB| sat | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/avg20_true-unreach-call.i_2.smt2 | 0.108s | 20.62MiB| sat | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/sum10_true-unreach-call_true-termination.i_12.smt2 | 0.115s | 20.112MiB| sat | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/sum10_true-unreach-call_true-termination.i_14.smt2 | 0.116s | 20.112MiB| sat | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/avg20_true-unreach-call.i_5.smt2 | 0.118s | 20.396MiB| sat | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/sum10_true-unreach-call_true-termination.i_4.smt2 | 0.122s | 20.368MiB| sat | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/sum10_true-unreach-call_true-termination.i_1.smt2 | 0.123s | 20.104MiB| sat | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/sum10_true-unreach-call_true-termination.i_7.smt2 | 0.123s | 20.152MiB| sat | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/avg20_true-unreach-call.i_4.smt2 | 0.126s | 20.644MiB| sat | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/floppy2_true-unreach-call_true-termination.i.cil.c_5.smt2 | 0.127s | 21.648MiB| sat | 0 | | | |non-incremental/QF_ANIA/UltimateAutomizer/cs_lamport_true-unreach-call.i.smt2 | 0.131s | 22.556MiB| unsat | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/floppy2_true-unreach-call_true-termination.i.cil.c_1.smt2 | 0.150s | 21.624MiB| sat | 0 | | | |non-incremental/QF_ANIA/20211213-GrandProduct-Ozdemir/unsound/same/4.smt2 | 0.158s | 22.204MiB| sat | 0 | | | |non-incremental/QF_ANIA/20211213-GrandProduct-Ozdemir/sound/same/3.smt2 | 0.159s | 21.384MiB| unsat | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/floppy2_true-unreach-call_true-termination.i.cil.c_9.smt2 | 0.165s | 21.916MiB| sat | 0 | | | |non-incremental/QF_ANIA/20211213-GrandProduct-Ozdemir/unsound/diff/3.smt2 | 0.170s | 21.656MiB| sat | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/floppy2_true-unreach-call_true-termination.i.cil.c_0.smt2 | 0.197s | 22.896MiB| sat | 0 | | | |non-incremental/QF_ANIA/20230321-UltimateAutomizerSvcomp2023/floppy2.i.cil.c_3.smt2 | 0.209s | 22.672MiB| sat | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/cdaudio_false-unreach-call.i.cil.c_3.smt2 | 0.212s | 23.5MiB| sat | 0 | | | |non-incremental/QF_ANIA/20211213-GrandProduct-Ozdemir/sound/diff/3.smt2 | 0.242s | 23.44MiB| unsat | 0 | | | |non-incremental/QF_ANIA/20211213-GrandProduct-Ozdemir/unsound/diff/4.smt2 | 0.248s | 22.928MiB| sat | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/floppy2_true-unreach-call_true-termination.i.cil.c_3.smt2 | 0.250s | 24.444MiB| sat | 0 | | | |non-incremental/QF_ANIA/20211213-GrandProduct-Ozdemir/unsound/same/5.smt2 | 0.285s | 23.692MiB| sat | 0 | | | |non-incremental/QF_ANIA/20230321-UltimateAutomizerSvcomp2023/floppy2.i.cil.c_4.smt2 | 0.312s | 22.672MiB| sat | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/floppy2_true-unreach-call_true-termination.i.cil.c_4.smt2 | 0.481s | 23.28MiB| sat | 0 | | | |non-incremental/QF_ANIA/20211213-GrandProduct-Ozdemir/unsound/same/6.smt2 | 0.736s | 26.3MiB| sat | 0 | | | |non-incremental/QF_ANIA/UltimateAutomizer2/linux-3.12-rc1.tar.xz-144_2a-drivers--media--usb--stk1160--stk1160.ko-entry_point_false-unreach-call.cil.out.c_TraceCheck_Iteration9_0.smt2 | 0.744s | 67.172MiB| unsat | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/floppy2_true-unreach-call_true-termination.i.cil.c_7.smt2 | 0.750s | 23.432MiB| sat | 0 | | | |non-incremental/QF_ANIA/20211213-GrandProduct-Ozdemir/sound/same/4.smt2 | 0.906s | 26.792MiB| unsat | 0 | | | |non-incremental/QF_ANIA/20211213-GrandProduct-Ozdemir/unsound/diff/6.smt2 | 0.910s | 27.508MiB| sat | 0 | | | |non-incremental/QF_ANIA/20211213-GrandProduct-Ozdemir/unsound/diff/5.smt2 | 0.919s | 26.212MiB| sat | 0 | | | |non-incremental/QF_ANIA/UltimateAutomizer/cs_fib_false-unreach-call.i.smt2 | 1.713s | 22.54MiB| unsat | 0 | | | |non-incremental/QF_ANIA/UltimateAutomizer/cs_fib_true-unreach-call.i.smt2 | 1.811s | 22.664MiB| unsat | 0 | | | |non-incremental/QF_ANIA/20211213-GrandProduct-Ozdemir/unsound/same/7.smt2 | 2.265s | 30.392MiB| sat | 0 | | | |non-incremental/QF_ANIA/20211213-GrandProduct-Ozdemir/sound/diff/4.smt2 | 2.361s | 32.724MiB| unsat | 0 | | | |non-incremental/QF_ANIA/UltimateAutomizer2/linux-stable-1575714-1-150_1a-drivers--net--wireless--b43--b43.ko-entry_point_ldv-val-v0.8_false-unreach-call.cil.out.c_TraceCheck_Iteration4_0.smt2 | 2.803s | 292.0MiB| unsat | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/avg40_true-unreach-call.i_AllErrorsAtOnce_Iteration17_TraceCheck_0.smt2 | 4.085s | 98.496MiB| unsat | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/floppy2_true-unreach-call_true-termination.i.cil.c_8.smt2 | 4.243s | 26.988MiB| sat | 0 | | | |non-incremental/QF_ANIA/20211213-GrandProduct-Ozdemir/unsound/same/8.smt2 | 4.977s | 37.36MiB| sat | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/s3_clnt.blast.04_false-unreach-call.i.cil.c_AllErrorsAtOnce_Iteration6_TraceCheck_0.smt2 | 5.875s | 46.616MiB| sat | 0 | | | |non-incremental/QF_ANIA/20211213-GrandProduct-Ozdemir/unsound/diff/7.smt2 | 6.016s | 38.004MiB| sat | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/rekh_ctm_false-unreach-call.3_true-termination.c_4.smt2 | 6.611s | 42.372MiB| sat | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/rekh_ctm_false-unreach-call.3_true-termination.c_7.smt2 | 6.621s | 42.388MiB| sat | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/rekh_ctm_false-unreach-call.3_true-termination.c_10.smt2 | 6.909s | 42.272MiB| sat | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/rekh_ctm_false-unreach-call.3_true-termination.c_13.smt2 | 7.266s | 42.12MiB| sat | 0 | | | |non-incremental/QF_ANIA/20211213-GrandProduct-Ozdemir/unsound/diff/10.smt2 | 9.444s | 47.304MiB| sat | 0 | | | |non-incremental/QF_ANIA/20211213-GrandProduct-Ozdemir/sound/same/5.smt2 | 12.624s | 50.532MiB| unsat | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/floppy2_true-unreach-call_true-termination.i.cil.c_6.smt2 | 13.090s | 55.228MiB| sat | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/rangesum40_false-unreach-call.i_AllErrorsAtOnce_Iteration19_TraceCheck_0.smt2 | 15.222s | 110.0MiB| sat | 0 | | | |non-incremental/QF_ANIA/20211213-GrandProduct-Ozdemir/unsound/same/9.smt2 | 15.874s | 51.704MiB| sat | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/rekh_ctm_false-unreach-call.3_true-termination.c_12.smt2 | 16.500s | 55.584MiB| sat | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/rekh_ctm_false-unreach-call.3_true-termination.c_6.smt2 | 17.092s | 55.536MiB| sat | 0 | | | |non-incremental/QF_ANIA/20230321-UltimateAutomizerSvcomp2023/Haystacks-07.c_AllErrorsAtOnce_Iteration2_0.smt2 | 18.002s | 34.34MiB| unsat | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/diskperf_false-unreach-call.i.cil.c_1.smt2 | 18.071s | 63.276MiB| sat | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/rekh_ctm_false-unreach-call.3_true-termination.c_9.smt2 | 19.610s | 55.46MiB| sat | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/floppy2_true-unreach-call_true-termination.i.cil.c_10.smt2 | 20.016s | 63.48MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/kbfiltr_false-unreach-call.i.cil.c_5.smt2 | 20.019s | 101.0MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/cdaudio_false-unreach-call.i.cil.c_4.smt2 | 20.019s | 103.0MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/cdaudio_true-unreach-call.i.cil.c_5.smt2 | 20.020s | 107.0MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/cdaudio_true-unreach-call.i.cil.c_10.smt2 | 20.020s | 111.0MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/cdaudio_false-unreach-call.i.cil.c_6.smt2 | 20.022s | 103.0MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20230321-UltimateAutomizerSvcomp2023/floppy2.i.cil.c_1.smt2 | 20.024s | 62.524MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20230321-UltimateAutomizerSvcomp2023/sum_array-2-2.i_AllErrorsAtOnce_Iteration8_0.smt2 | 20.025s | 30.432MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20230321-UltimateAutomizerSvcomp2023/parport.i.cil-1.c_0.smt2 | 20.027s | 54.06MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20230321-UltimateAutomizerSvcomp2023/floppy.i.cil-2.c_4.smt2 | 20.029s | 76.596MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20230321-UltimateAutomizerSvcomp2023/floppy.i.cil-2.c_1.smt2 | 20.029s | 77.124MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20211213-GrandProduct-Ozdemir/sound/same/6.smt2 | 20.031s | 67.012MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20230321-UltimateAutomizerSvcomp2023/floppy.i.cil-1.c_4.smt2 | 20.031s | 70.872MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20230321-UltimateAutomizerSvcomp2023/diskperf.i.cil-1.c_0.smt2 | 20.031s | 106.0MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/cdaudio_false-unreach-call.i.cil.c_5.smt2 | 20.038s | 112.0MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/kbfiltr_false-unreach-call.i.cil.c_3.smt2 | 20.040s | 105.0MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/rekh_ctm_false-unreach-call.3_true-termination.c_11.smt2 | 20.045s | 60.12MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/floppy_true-unreach-call_true-valid-memsafety.i.cil.c_8.smt2 | 20.046s | 68.012MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/cdaudio_true-unreach-call.i.cil.c_6.smt2 | 20.049s | 109.0MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20230321-UltimateAutomizerSvcomp2023/floppy.i.cil-1.c_0.smt2 | 20.051s | 57.176MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/cdaudio_true-unreach-call.i.cil.c_4.smt2 | 20.056s | 110.0MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/cdaudio_false-unreach-call.i.cil.c_7.smt2 | 20.057s | 111.0MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20230321-UltimateAutomizerSvcomp2023/sum_array-2.i_AllErrorsAtOnce_Iteration8_0.smt2 | 20.060s | 29.288MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/cdaudio_false-unreach-call.i.cil.c_11.smt2 | 20.063s | 69.396MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/diskperf_true-unreach-call.i.cil.c_2.smt2 | 20.067s | 122.0MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/floppy_false-unreach-call.i.cil.c_8.smt2 | 20.068s | 72.408MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/cdaudio_false-unreach-call.i.cil.c_2.smt2 | 20.069s | 111.0MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/parport_true-unreach-call.i.cil.c_6.smt2 | 20.070s | 91.336MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/cdaudio_true-unreach-call.i.cil.c_12.smt2 | 20.073s | 110.0MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/cdaudio_true-unreach-call.i.cil.c_11.smt2 | 20.073s | 104.0MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/rekh_ctm_false-unreach-call.3_true-termination.c_14.smt2 | 20.073s | 61.08MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/cdaudio_true-unreach-call.i.cil.c_2.smt2 | 20.074s | 109.0MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/cdaudio_true-unreach-call.i.cil.c_3.smt2 | 20.075s | 104.0MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/rekh_ctm_false-unreach-call.3_true-termination.c_2.smt2 | 20.077s | 113.0MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/cdaudio_true-unreach-call.i.cil.c_1.smt2 | 20.078s | 104.0MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/diskperf_false-unreach-call.i.cil.c_9.smt2 | 20.080s | 95.064MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/rekh_aso_false-unreach-call.2.M4.c_2.smt2 | 20.081s | 270.0MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/usb_urb-drivers-net-can-usb-ems_usb.ko_false-unreach-call.cil.out.i_2.smt2 | 20.083s | 210.0MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/rekh_aso_false-unreach-call.2.M4.c_0.smt2 | 20.083s | 152.0MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/rekh_ctm_false-unreach-call.3_true-termination.c_3.smt2 | 20.084s | 185.0MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20230321-UltimateAutomizerSvcomp2023/sum02-1.c_AllErrorsAtOnce_Iteration3_0.smt2 | 20.085s | 21.22MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20211213-GrandProduct-Ozdemir/sound/same/9.smt2 | 20.088s | 90.244MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/s3_clnt.blast.01_false-unreach-call.i.cil.c_AllErrorsAtOnce_Iteration11_TraceCheck_0.smt2 | 20.088s | 43.94MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20230321-UltimateAutomizerSvcomp2023/floppy.i.cil-1.c_1.smt2 | 20.088s | 79.156MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/cdaudio_false-unreach-call.i.cil.c_1.smt2 | 20.089s | 102.0MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20211213-GrandProduct-Ozdemir/unsound/diff/8.smt2 | 20.091s | 52.028MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/rekh_ctm_false-unreach-call.3_true-termination.c_8.smt2 | 20.095s | 60.576MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/cdaudio_true-unreach-call.i.cil.c_8.smt2 | 20.097s | 66.856MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20211213-GrandProduct-Ozdemir/unsound/same/10.smt2 | 20.098s | 58.164MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20211213-GrandProduct-Ozdemir/unsound/diff/11.smt2 | 20.098s | 58.66MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20230321-UltimateAutomizerSvcomp2023/floppy.i.cil-3.c_5.smt2 | 20.099s | 73.264MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20211213-GrandProduct-Ozdemir/unsound/diff/9.smt2 | 20.102s | 57.376MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/usb_urb-drivers-net-can-usb-ems_usb.ko_false-unreach-call.cil.out.i_1.smt2 | 20.103s | 147.0MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20230321-UltimateAutomizerSvcomp2023/Haystacks-14.c_AllErrorsAtOnce_Iteration2_0.smt2 | 20.103s | 102.0MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20230321-UltimateAutomizerSvcomp2023/Haystacks-12.c_AllErrorsAtOnce_Iteration2_0.smt2 | 20.105s | 73.44MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/parport_false-unreach-call.i.cil.c_6.smt2 | 20.107s | 55.84MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20230321-UltimateAutomizerSvcomp2023/floppy.i.cil-3.c_1.smt2 | 20.107s | 72.752MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20230321-UltimateAutomizerSvcomp2023/lcm2.c_AllErrorsAtOnce_Iteration3_0.smt2 | 20.109s | 24.808MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20211213-GrandProduct-Ozdemir/sound/same/10.smt2 | 20.110s | 107.0MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20230321-UltimateAutomizerSvcomp2023/floppy.i.cil-2.c_2.smt2 | 20.110s | 66.344MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/rekh_ctm_false-unreach-call.3_true-termination.c_5.smt2 | 20.111s | 61.352MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/usb_urb-drivers-hid-usbhid-usbmouse.ko_false-unreach-call.cil.out.i_AllErrorsAtOnce_Iteration21_TraceCheck_0.smt2 | 20.111s | 66.676MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20211213-GrandProduct-Ozdemir/sound/diff/5.smt2 | 20.113s | 51.252MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20211213-GrandProduct-Ozdemir/sound/diff/11.smt2 | 20.113s | 98.62MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20230321-UltimateAutomizerSvcomp2023/parport.i.cil-2.c_0.smt2 | 20.114s | 45.596MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20211213-GrandProduct-Ozdemir/unsound/same/11.smt2 | 20.115s | 56.424MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/cdaudio_false-unreach-call.i.cil.c_13.smt2 | 20.116s | 113.0MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20230321-UltimateAutomizerSvcomp2023/floppy.i.cil-1.c_5.smt2 | 20.116s | 79.164MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20211213-GrandProduct-Ozdemir/sound/diff/9.smt2 | 20.117s | 88.704MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20230321-UltimateAutomizerSvcomp2023/floppy.i.cil-3.c_4.smt2 | 20.117s | 64.904MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20211213-GrandProduct-Ozdemir/sound/diff/8.smt2 | 20.118s | 75.112MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20211213-GrandProduct-Ozdemir/sound/diff/7.smt2 | 20.119s | 80.296MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20211213-GrandProduct-Ozdemir/sound/diff/6.smt2 | 20.119s | 67.328MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20211213-GrandProduct-Ozdemir/sound/same/8.smt2 | 20.120s | 99.868MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20211213-GrandProduct-Ozdemir/sound/diff/10.smt2 | 20.120s | 87.18MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20230321-UltimateAutomizerSvcomp2023/floppy.i.cil-2.c_3.smt2 | 20.120s | 76.532MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20211213-GrandProduct-Ozdemir/sound/same/7.smt2 | 20.121s | 87.908MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20211213-GrandProduct-Ozdemir/sound/same/11.smt2 | 20.123s | 118.0MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/rekh_ctm_false-unreach-call.3_true-termination.c_1.smt2 | 20.129s | 178.0MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/diskperf_true-unreach-call.i.cil.c_1.smt2 | 20.151s | 677.0MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/rekh_aso_false-unreach-call.2.M4.c_3.smt2 | 20.153s | 950.0MiB| timeout | 0 | | |