# . * SAT 47 * UNSAT 0 * TIMEOUT 87 * UNKNOWN 19 * ERRORS 4 (segfault:4) # 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: 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/QF_ANIA.tar.zst?download=1
Z3 commit message: bugfixes to ho_matcher

Signed-off-by: Nikolaj Bjorner
# Statistics |FILE |TIME |MEM | STATUS | EXIT | STDOUT | STDERR | |------------|----------:|---------:|-------------:| ----------:|--------|--------| |non-incremental/QF_ANIA/20211213-GrandProduct-Ozdemir/sound/same/9.smt2 | 0.025s | 20.284MiB| unknown | 0 | | | |non-incremental/QF_ANIA/20211213-GrandProduct-Ozdemir/sound/diff/6.smt2 | 0.032s | 19.852MiB| unknown | 0 | | | |non-incremental/QF_ANIA/20211213-GrandProduct-Ozdemir/sound/same/5.smt2 | 0.035s | 20.084MiB| unknown | 0 | | | |non-incremental/QF_ANIA/20211213-GrandProduct-Ozdemir/sound/diff/9.smt2 | 0.042s | 20.108MiB| unknown | 0 | | | |non-incremental/QF_ANIA/20211213-GrandProduct-Ozdemir/sound/diff/3.smt2 | 0.051s | 19.712MiB| unknown | 0 | | | |non-incremental/QF_ANIA/20211213-GrandProduct-Ozdemir/sound/diff/5.smt2 | 0.061s | 20.1MiB| unknown | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/floppy2_true-unreach-call_true-termination.i.cil.c_1.smt2 | 0.064s | 20.556MiB| sat | 0 | | | |non-incremental/QF_ANIA/20211213-GrandProduct-Ozdemir/sound/diff/4.smt2 | 0.081s | 20.344MiB| unknown | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/sum10_true-unreach-call_true-termination.i_6.smt2 | 0.082s | 19.844MiB| sat | 0 | | | |non-incremental/QF_ANIA/20211213-GrandProduct-Ozdemir/sound/diff/11.smt2 | 0.084s | 20.116MiB| unknown | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/avg20_true-unreach-call.i_8.smt2 | 0.088s | 20.612MiB| sat | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/avg20_true-unreach-call.i_4.smt2 | 0.089s | 20.152MiB| sat | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/sum10_true-unreach-call_true-termination.i_9.smt2 | 0.092s | 19.856MiB| sat | 0 | | | |non-incremental/QF_ANIA/20211213-GrandProduct-Ozdemir/sound/same/11.smt2 | 0.093s | 20.112MiB| unknown | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/cdaudio_false-unreach-call.i.cil.c_3.smt2 | 0.093s | 21.288MiB| sat | 0 | | | |non-incremental/QF_ANIA/20211213-GrandProduct-Ozdemir/sound/same/3.smt2 | 0.094s | 19.6MiB| unknown | 0 | | | |non-incremental/QF_ANIA/20211213-GrandProduct-Ozdemir/sound/diff/8.smt2 | 0.094s | 19.852MiB| unknown | 0 | | | |non-incremental/QF_ANIA/20211213-GrandProduct-Ozdemir/sound/diff/7.smt2 | 0.094s | 19.932MiB| unknown | 0 | | | |non-incremental/QF_ANIA/20211213-GrandProduct-Ozdemir/sound/same/8.smt2 | 0.095s | 19.876MiB| unknown | 0 | | | |non-incremental/QF_ANIA/20211213-GrandProduct-Ozdemir/sound/same/7.smt2 | 0.095s | 19.856MiB| unknown | 0 | | | |non-incremental/QF_ANIA/20211213-GrandProduct-Ozdemir/sound/same/4.smt2 | 0.095s | 19.856MiB| unknown | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/sum10_true-unreach-call_true-termination.i_10.smt2 | 0.095s | 19.736MiB| sat | 0 | | | |non-incremental/QF_ANIA/20211213-GrandProduct-Ozdemir/sound/same/6.smt2 | 0.098s | 19.876MiB| unknown | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/floppy2_true-unreach-call_true-termination.i.cil.c_5.smt2 | 0.098s | 20.368MiB| sat | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/avg20_true-unreach-call.i_6.smt2 | 0.102s | 20.364MiB| sat | 0 | | | |non-incremental/QF_ANIA/20211213-GrandProduct-Ozdemir/sound/same/10.smt2 | 0.104s | 20.152MiB| unknown | 0 | | | |non-incremental/QF_ANIA/20211213-GrandProduct-Ozdemir/sound/diff/10.smt2 | 0.104s | 20.08MiB| unknown | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/floppy2_true-unreach-call_true-termination.i.cil.c_8.smt2 | 0.104s | 21.304MiB| sat | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/avg20_true-unreach-call.i_7.smt2 | 0.105s | 20.152MiB| sat | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/avg20_true-unreach-call.i_5.smt2 | 0.107s | 20.104MiB| sat | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/avg20_true-unreach-call.i_9.smt2 | 0.108s | 20.256MiB| sat | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/floppy2_true-unreach-call_true-termination.i.cil.c_3.smt2 | 0.113s | 21.632MiB| sat | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/floppy2_true-unreach-call_true-termination.i.cil.c_4.smt2 | 0.115s | 21.128MiB| sat | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/diskperf_false-unreach-call.i.cil.c_1.smt2 | 0.169s | 28.816MiB| sat | 0 | | | |non-incremental/QF_ANIA/20230321-UltimateAutomizerSvcomp2023/floppy.i.cil-2.c_1.smt2 | 0.182s | 40.692MiB| sat | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/avg20_true-unreach-call.i_0.smt2 | 0.184s | 20.112MiB| segfault | 139 | | | |non-incremental/QF_ANIA/20230321-UltimateAutomizerSvcomp2023/floppy.i.cil-2.c_4.smt2 | 0.188s | 40.748MiB| sat | 0 | | | |non-incremental/QF_ANIA/20230321-UltimateAutomizerSvcomp2023/floppy.i.cil-1.c_0.smt2 | 0.196s | 41.084MiB| sat | 0 | | | |non-incremental/QF_ANIA/20230321-UltimateAutomizerSvcomp2023/floppy.i.cil-2.c_3.smt2 | 0.223s | 40.684MiB| sat | 0 | | | |non-incremental/QF_ANIA/20230321-UltimateAutomizerSvcomp2023/floppy.i.cil-3.c_1.smt2 | 0.239s | 40.984MiB| sat | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/avg20_true-unreach-call.i_2.smt2 | 0.241s | 20.212MiB| segfault | 139 | | | |non-incremental/QF_ANIA/20230321-UltimateAutomizerSvcomp2023/floppy.i.cil-3.c_5.smt2 | 0.241s | 40.944MiB| sat | 0 | | | |non-incremental/QF_ANIA/20230321-UltimateAutomizerSvcomp2023/floppy.i.cil-1.c_5.smt2 | 0.255s | 40.696MiB| sat | 0 | | | |non-incremental/QF_ANIA/20230321-UltimateAutomizerSvcomp2023/floppy.i.cil-3.c_4.smt2 | 0.255s | 41.032MiB| sat | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/floppy2_true-unreach-call_true-termination.i.cil.c_6.smt2 | 0.260s | 28.376MiB| sat | 0 | | | |non-incremental/QF_ANIA/20230321-UltimateAutomizerSvcomp2023/floppy.i.cil-2.c_2.smt2 | 0.260s | 40.656MiB| sat | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/avg20_true-unreach-call.i_3.smt2 | 0.261s | 20.428MiB| segfault | 139 | | | |non-incremental/QF_ANIA/20230321-UltimateAutomizerSvcomp2023/floppy.i.cil-1.c_1.smt2 | 0.265s | 40.676MiB| sat | 0 | | | |non-incremental/QF_ANIA/20230321-UltimateAutomizerSvcomp2023/floppy2.i.cil.c_1.smt2 | 0.274s | 43.216MiB| sat | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/avg20_true-unreach-call.i_1.smt2 | 0.286s | 20.096MiB| segfault | 139 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/floppy2_true-unreach-call_true-termination.i.cil.c_10.smt2 | 0.342s | 43.28MiB| sat | 0 | | | |non-incremental/QF_ANIA/20230321-UltimateAutomizerSvcomp2023/floppy.i.cil-1.c_4.smt2 | 0.392s | 51.712MiB| sat | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/floppy_true-unreach-call_true-valid-memsafety.i.cil.c_8.smt2 | 0.440s | 59.684MiB| sat | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/cdaudio_true-unreach-call.i.cil.c_8.smt2 | 0.442s | 58.376MiB| sat | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/cdaudio_false-unreach-call.i.cil.c_11.smt2 | 0.460s | 58.42MiB| sat | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/floppy_false-unreach-call.i.cil.c_8.smt2 | 0.475s | 59.74MiB| sat | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/diskperf_false-unreach-call.i.cil.c_9.smt2 | 0.635s | 89.408MiB| sat | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/cdaudio_true-unreach-call.i.cil.c_5.smt2 | 0.741s | 87.388MiB| sat | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/cdaudio_false-unreach-call.i.cil.c_1.smt2 | 0.755s | 87.652MiB| sat | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/cdaudio_true-unreach-call.i.cil.c_1.smt2 | 0.775s | 87.272MiB| sat | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/cdaudio_false-unreach-call.i.cil.c_4.smt2 | 0.779s | 87.02MiB| sat | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/kbfiltr_false-unreach-call.i.cil.c_5.smt2 | 0.803s | 88.704MiB| sat | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/cdaudio_true-unreach-call.i.cil.c_11.smt2 | 0.826s | 87.428MiB| sat | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/kbfiltr_false-unreach-call.i.cil.c_3.smt2 | 0.834s | 89.94MiB| sat | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/cdaudio_true-unreach-call.i.cil.c_3.smt2 | 0.834s | 87.336MiB| sat | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/cdaudio_true-unreach-call.i.cil.c_12.smt2 | 1.011s | 103.0MiB| sat | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/cdaudio_false-unreach-call.i.cil.c_6.smt2 | 1.052s | 87.328MiB| sat | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/diskperf_true-unreach-call.i.cil.c_2.smt2 | 1.186s | 107.0MiB| unknown | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/usb_urb-drivers-net-can-usb-ems_usb.ko_false-unreach-call.cil.out.i_1.smt2 | 3.595s | 144.0MiB| sat | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/usb_urb-drivers-net-can-usb-ems_usb.ko_false-unreach-call.cil.out.i_2.smt2 | 4.301s | 195.0MiB| sat | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/rekh_ctm_false-unreach-call.3_true-termination.c_13.smt2 | 20.011s | 22.304MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/rekh_ctm_false-unreach-call.3_true-termination.c_2.smt2 | 20.011s | 22.436MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/rekh_ctm_false-unreach-call.3_true-termination.c_12.smt2 | 20.012s | 20.156MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20230321-UltimateAutomizerSvcomp2023/diskperf.i.cil-1.c_0.smt2 | 20.012s | 22.316MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20230321-UltimateAutomizerSvcomp2023/sum_array-2-2.i_AllErrorsAtOnce_Iteration8_0.smt2 | 20.012s | 20.876MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20211213-GrandProduct-Ozdemir/unsound/same/11.smt2 | 20.014s | 20.676MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/sum10_true-unreach-call_true-termination.i_3.smt2 | 20.014s | 19.856MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20230321-UltimateAutomizerSvcomp2023/floppy2.i.cil.c_3.smt2 | 20.017s | 21.34MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20230321-UltimateAutomizerSvcomp2023/parport.i.cil-1.c_0.smt2 | 20.020s | 29.284MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20240413-AutomizerLoopAcceleration/in-de42.c_AllErrorsAtOnce_Iteration7_0.smt2 | 20.030s | 20.176MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20240413-AutomizerLoopAcceleration/ddlm2013.i_AllErrorsAtOnce_Iteration5_0.smt2 | 20.031s | 20.056MiB| timeout | 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 | 20.035s | 57.836MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/cdaudio_false-unreach-call.i.cil.c_7.smt2 | 20.036s | 22.232MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/floppy2_true-unreach-call_true-termination.i.cil.c_2.smt2 | 20.037s | 20.856MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20230321-UltimateAutomizerSvcomp2023/Haystacks-12.c_AllErrorsAtOnce_Iteration2_0.smt2 | 20.042s | 51.076MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20211213-GrandProduct-Ozdemir/unsound/same/5.smt2 | 20.045s | 20.36MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/avg40_true-unreach-call.i_AllErrorsAtOnce_Iteration17_TraceCheck_0.smt2 | 20.047s | 24.772MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20211213-GrandProduct-Ozdemir/unsound/same/8.smt2 | 20.048s | 20.62MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20211213-GrandProduct-Ozdemir/unsound/same/7.smt2 | 20.048s | 20.36MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20211213-GrandProduct-Ozdemir/unsound/diff/9.smt2 | 20.049s | 20.604MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20211213-GrandProduct-Ozdemir/unsound/diff/11.smt2 | 20.050s | 20.832MiB| 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.050s | 25.164MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20211213-GrandProduct-Ozdemir/unsound/same/10.smt2 | 20.054s | 20.688MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/sum10_true-unreach-call_true-termination.i_12.smt2 | 20.056s | 20.072MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20230321-UltimateAutomizerSvcomp2023/parport.i.cil-2.c_0.smt2 | 20.058s | 29.92MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20211213-GrandProduct-Ozdemir/unsound/diff/4.smt2 | 20.059s | 20.368MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/rekh_ctm_false-unreach-call.3_true-termination.c_9.smt2 | 20.060s | 20.36MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20230321-UltimateAutomizerSvcomp2023/sum_array-2.i_AllErrorsAtOnce_Iteration8_0.smt2 | 20.062s | 20.796MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20211213-GrandProduct-Ozdemir/unsound/diff/10.smt2 | 20.066s | 20.936MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20230321-UltimateAutomizerSvcomp2023/Haystacks-14.c_AllErrorsAtOnce_Iteration2_0.smt2 | 20.066s | 65.028MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20211213-GrandProduct-Ozdemir/unsound/diff/8.smt2 | 20.067s | 20.876MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/rekh_ctm_false-unreach-call.3_true-termination.c_11.smt2 | 20.067s | 20.132MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/rekh_ctm_false-unreach-call.3_true-termination.c_6.smt2 | 20.067s | 20.364MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20230321-UltimateAutomizerSvcomp2023/floppy2.i.cil.c_4.smt2 | 20.067s | 21.404MiB| timeout | 0 | | | |non-incremental/QF_ANIA/UltimateAutomizer/cs_fib_true-unreach-call.i.smt2 | 20.067s | 22.928MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/rekh_ctm_false-unreach-call.3_true-termination.c_4.smt2 | 20.068s | 22.14MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20230321-UltimateAutomizerSvcomp2023/Haystacks-07.c_AllErrorsAtOnce_Iteration2_0.smt2 | 20.068s | 28.172MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/floppy2_true-unreach-call_true-termination.i.cil.c_9.smt2 | 20.069s | 20.46MiB| timeout | 0 | | | |non-incremental/QF_ANIA/UltimateAutomizer/cs_lazy_false-unreach-call.i.smt2 | 20.069s | 22.06MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/sum10_true-unreach-call_true-termination.i_2.smt2 | 20.070s | 19.828MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20211213-GrandProduct-Ozdemir/unsound/same/3.smt2 | 20.071s | 20.296MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20211213-GrandProduct-Ozdemir/unsound/diff/3.smt2 | 20.073s | 20.388MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20211213-GrandProduct-Ozdemir/unsound/diff/6.smt2 | 20.073s | 20.66MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/rekh_ctm_false-unreach-call.3_true-termination.c_3.smt2 | 20.073s | 22.508MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/parport_true-unreach-call.i.cil.c_6.smt2 | 20.073s | 30.912MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/cdaudio_false-unreach-call.i.cil.c_5.smt2 | 20.073s | 22.18MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20230321-UltimateAutomizerSvcomp2023/sum02-1.c_AllErrorsAtOnce_Iteration3_0.smt2 | 20.073s | 20.22MiB| timeout | 0 | | | |non-incremental/QF_ANIA/UltimateAutomizer/cs_fib_false-unreach-call.i.smt2 | 20.073s | 21.896MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20211213-GrandProduct-Ozdemir/unsound/same/4.smt2 | 20.074s | 20.356MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20211213-GrandProduct-Ozdemir/unsound/same/6.smt2 | 20.074s | 20.412MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20211213-GrandProduct-Ozdemir/unsound/same/9.smt2 | 20.074s | 20.58MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20211213-GrandProduct-Ozdemir/unsound/diff/7.smt2 | 20.074s | 20.368MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/rekh_aso_false-unreach-call.2.M4.c_3.smt2 | 20.074s | 21.852MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/s3_clnt.blast.04_false-unreach-call.i.cil.c_AllErrorsAtOnce_Iteration6_TraceCheck_0.smt2 | 20.074s | 36.052MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20230321-UltimateAutomizerSvcomp2023/lcm2.c_AllErrorsAtOnce_Iteration3_0.smt2 | 20.075s | 20.64MiB| timeout | 0 | | | |non-incremental/QF_ANIA/UltimateAutomizer/cs_peterson_true-unreach-call.i.smt2 | 20.075s | 23.004MiB| timeout | 0 | | | |non-incremental/QF_ANIA/UltimateAutomizer/cs_dekker_true-unreach-call.i.smt2 | 20.075s | 24.068MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20211213-GrandProduct-Ozdemir/unsound/diff/5.smt2 | 20.076s | 20.64MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/floppy2_true-unreach-call_true-termination.i.cil.c_7.smt2 | 20.076s | 21.224MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/cdaudio_true-unreach-call.i.cil.c_6.smt2 | 20.076s | 21.936MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/cdaudio_false-unreach-call.i.cil.c_13.smt2 | 20.077s | 21.916MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/cdaudio_true-unreach-call.i.cil.c_4.smt2 | 20.078s | 22.068MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/rekh_ctm_false-unreach-call.3_true-termination.c_14.smt2 | 20.078s | 20.128MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/rekh_ctm_false-unreach-call.3_true-termination.c_7.smt2 | 20.079s | 22.12MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/rangesum40_false-unreach-call.i_AllErrorsAtOnce_Iteration19_TraceCheck_0.smt2 | 20.079s | 25.004MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/sum10_true-unreach-call_true-termination.i_14.smt2 | 20.079s | 19.824MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/cdaudio_false-unreach-call.i.cil.c_2.smt2 | 20.079s | 21.98MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/sum10_true-unreach-call_true-termination.i_7.smt2 | 20.079s | 20.116MiB| timeout | 0 | | | |non-incremental/QF_ANIA/UltimateAutomizer/cs_lamport_true-unreach-call.i.smt2 | 20.079s | 22.936MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/sum10_true-unreach-call_true-termination.i_0.smt2 | 20.080s | 19.852MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/rekh_ctm_false-unreach-call.3_true-termination.c_5.smt2 | 20.080s | 20.632MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/sum10_true-unreach-call_true-termination.i_13.smt2 | 20.080s | 19.848MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/floppy2_true-unreach-call_true-termination.i.cil.c_0.smt2 | 20.080s | 21.576MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/rekh_ctm_false-unreach-call.3_true-termination.c_8.smt2 | 20.080s | 20.368MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/rekh_aso_false-unreach-call.2.M4.c_2.smt2 | 20.080s | 21.372MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/sum10_true-unreach-call_true-termination.i_1.smt2 | 20.081s | 19.8MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/sum10_true-unreach-call_true-termination.i_5.smt2 | 20.081s | 20.1MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/cdaudio_true-unreach-call.i.cil.c_2.smt2 | 20.081s | 21.924MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/sum10_true-unreach-call_true-termination.i_4.smt2 | 20.081s | 19.784MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/rekh_aso_false-unreach-call.2.M4.c_0.smt2 | 20.081s | 21.556MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/cdaudio_true-unreach-call.i.cil.c_10.smt2 | 20.081s | 22.148MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/rekh_ctm_false-unreach-call.3_true-termination.c_10.smt2 | 20.082s | 22.024MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/parport_false-unreach-call.i.cil.c_6.smt2 | 20.082s | 30.76MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/s3_clnt.blast.01_false-unreach-call.i.cil.c_AllErrorsAtOnce_Iteration11_TraceCheck_0.smt2 | 20.083s | 39.732MiB| timeout | 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 | 20.086s | 548.0MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/rekh_ctm_false-unreach-call.3_true-termination.c_1.smt2 | 20.098s | 272.0MiB| timeout | 0 | | | |non-incremental/QF_ANIA/20190429-UltimateAutomizerSvcomp2019/diskperf_true-unreach-call.i.cil.c_1.smt2 | 20.124s | 459.0MiB| timeout | 0 | | |