./goblint --conf conf/svcomp-validate.json --witness.yaml.unassume /mnt/goblint-svcomp/sv-comp/svcomp24-witnesses/results-verified/symbiotic.2023-11-28_20-34-48.files/SV-COMP24_unreach-call/Problem12.yml/witness.yml --witness.yaml.validate /mnt/goblint-svcomp/sv-comp/svcomp24-witnesses/results-verified/symbiotic.2023-11-28_20-34-48.files/SV-COMP24_unreach-call/Problem12.yml/witness.yml --sets ana.specification /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/properties/unreach-call.prp --sets exp.architecture 32bit /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem12.c


--------------------------------------------------------------------------------


[0;33m[Warning] --sets is deprecated, use --set instead.[0;0;00m
[0;33m[Warning] --sets is deprecated, use --set instead.[0;0;00m
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem12.c:12078:5-12087:5 with factor 8
[Info] unrolling loop at lib/libc/stub/src/stdlib.c:10:5-12:5 with factor 12
[Info] unrolling loop at lib/libc/stub/src/stdlib.c:21:9-27:9 with factor 4
[Info] unrolling loop at lib/libc/stub/src/stdlib.c:40:3-45:3 with factor 6
[Info] function calculate_outputm40 uses mod, enable congruence domain recursively for:
[Info]   "down":
[Info]   "up":
[Info]     calculate_outputm1
[Info]     calculate_output
[Info]     main
[Info] function calculate_outputm41 uses mod, enable congruence domain recursively for:
[Info]   "down":
[Info]   "up":
[Info]     calculate_outputm1
[Info]     calculate_output
[Info]     main
[Info] function calculate_outputm43 uses mod, enable congruence domain recursively for:
[Info]   "down":
[Info]   "up":
[Info]     calculate_outputm1
[Info]     calculate_output
[Info]     main
[Info] function calculate_outputm47 uses mod, enable congruence domain recursively for:
[Info]   "down":
[Info]   "up":
[Info]     calculate_outputm2
[Info]     calculate_output
[Info]     main
[Info] function calculate_outputm49 uses mod, enable congruence domain recursively for:
[Info]   "down":
[Info]   "up":
[Info]     calculate_outputm2
[Info]     calculate_output
[Info]     main
[Info] function calculate_outputm53 uses mod, enable congruence domain recursively for:
[Info]   "down":
[Info]   "up":
[Info]     calculate_outputm3
[Info]     calculate_output
[Info]     main
[Info] function calculate_outputm54 uses mod, enable congruence domain recursively for:
[Info]   "down":
[Info]   "up":
[Info]     calculate_outputm3
[Info]     calculate_output
[Info]     main
[Info] function calculate_outputm57 uses mod, enable congruence domain recursively for:
[Info]   "down":
[Info]   "up":
[Info]     calculate_outputm4
[Info]     calculate_output
[Info]     main
[Info] function calculate_outputm58 uses mod, enable congruence domain recursively for:
[Info]   "down":
[Info]   "up":
[Info]     calculate_outputm4
[Info]     calculate_output
[Info]     main
[Info] function calculate_outputm60 uses mod, enable congruence domain recursively for:
[Info]   "down":
[Info]   "up":
[Info]     calculate_outputm4
[Info]     calculate_output
[Info]     main
[Info] function calculate_outputm63 uses mod, enable congruence domain recursively for:
[Info]   "down":
[Info]   "up":
[Info]     calculate_outputm5
[Info]     calculate_output
[Info]     main
[Info] function calculate_outputm65 uses mod, enable congruence domain recursively for:
[Info]   "down":
[Info]   "up":
[Info]     calculate_outputm5
[Info]     calculate_output
[Info]     main
[Info] function calculate_outputm67 uses mod, enable congruence domain recursively for:
[Info]   "down":
[Info]   "up":
[Info]     calculate_outputm5
[Info]     calculate_output
[Info]     main
[Info] function calculate_outputm69 uses mod, enable congruence domain recursively for:
[Info]   "down":
[Info]   "up":
[Info]     calculate_outputm5
[Info]     calculate_output
[Info]     main
[Info] function calculate_outputm70 uses mod, enable congruence domain recursively for:
[Info]   "down":
[Info]   "up":
[Info]     calculate_outputm6
[Info]     calculate_output
[Info]     main
[Info] function calculate_outputm72 uses mod, enable congruence domain recursively for:
[Info]   "down":
[Info]   "up":
[Info]     calculate_outputm6
[Info]     calculate_output
[Info]     main
[Info] function calculate_outputm75 uses mod, enable congruence domain recursively for:
[Info]   "down":
[Info]   "up":
[Info]     calculate_outputm7
[Info]     calculate_output
[Info]     main
[Info] function calculate_outputm77 uses mod, enable congruence domain recursively for:
[Info]   "down":
[Info]   "up":
[Info]     calculate_outputm7
[Info]     calculate_output
[Info]     main
[Info] function calculate_outputm78 uses mod, enable congruence domain recursively for:
[Info]   "down":
[Info]   "up":
[Info]     calculate_outputm7
[Info]     calculate_output
[Info]     main
[Info] function calculate_outputm79 uses mod, enable congruence domain recursively for:
[Info]   "down":
[Info]   "up":
[Info]     calculate_outputm8
[Info]     calculate_output
[Info]     main
[Info] function calculate_outputm80 uses mod, enable congruence domain recursively for:
[Info]   "down":
[Info]   "up":
[Info]     calculate_outputm8
[Info]     calculate_output
[Info]     main
[Info] function calculate_outputm84 uses mod, enable congruence domain recursively for:
[Info]   "down":
[Info]   "up":
[Info]     calculate_outputm8
[Info]     calculate_output
[Info]     main
[Info] function calculate_outputm86 uses mod, enable congruence domain recursively for:
[Info]   "down":
[Info]   "up":
[Info]     calculate_outputm8
[Info]     calculate_output
[Info]     main
[Info] function calculate_outputm88 uses mod, enable congruence domain recursively for:
[Info]   "down":
[Info]   "up":
[Info]     calculate_outputm9
[Info]     calculate_output
[Info]     main
[Info] function calculate_outputm90 uses mod, enable congruence domain recursively for:
[Info]   "down":
[Info]   "up":
[Info]     calculate_outputm10
[Info]     calculate_output
[Info]     main
[Info] function calculate_outputm91 uses mod, enable congruence domain recursively for:
[Info]   "down":
[Info]   "up":
[Info]     calculate_outputm10
[Info]     calculate_output
[Info]     main
[Info] function calculate_outputm92 uses mod, enable congruence domain recursively for:
[Info]   "down":
[Info]   "up":
[Info]     calculate_outputm10
[Info]     calculate_output
[Info]     main
[Info] function calculate_outputm95 uses mod, enable congruence domain recursively for:
[Info]   "down":
[Info]   "up":
[Info]     calculate_outputm10
[Info]     calculate_output
[Info]     main
[Info] function calculate_outputm99 uses mod, enable congruence domain recursively for:
[Info]   "down":
[Info]   "up":
[Info]     calculate_outputm11
[Info]     calculate_output
[Info]     main
[Info] function calculate_outputm100 uses mod, enable congruence domain recursively for:
[Info]   "down":
[Info]   "up":
[Info]     calculate_outputm11
[Info]     calculate_output
[Info]     main
[Info] function calculate_outputm106 uses mod, enable congruence domain recursively for:
[Info]   "down":
[Info]   "up":
[Info]     calculate_outputm12
[Info]     calculate_output
[Info]     main
[Info] function calculate_outputm107 uses mod, enable congruence domain recursively for:
[Info]   "down":
[Info]   "up":
[Info]     calculate_outputm13
[Info]     calculate_output
[Info]     main
[Info] function calculate_outputm109 uses mod, enable congruence domain recursively for:
[Info]   "down":
[Info]   "up":
[Info]     calculate_outputm13
[Info]     calculate_output
[Info]     main
[Info] function calculate_outputm110 uses mod, enable congruence domain recursively for:
[Info]   "down":
[Info]   "up":
[Info]     calculate_outputm13
[Info]     calculate_output
[Info]     main
[Info] function calculate_outputm111 uses mod, enable congruence domain recursively for:
[Info]   "down":
[Info]   "up":
[Info]     calculate_outputm13
[Info]     calculate_output
[Info]     main
[Info] function calculate_outputm113 uses mod, enable congruence domain recursively for:
[Info]   "down":
[Info]   "up":
[Info]     calculate_outputm13
[Info]     calculate_output
[Info]     main
[Info] function calculate_outputm114 uses mod, enable congruence domain recursively for:
[Info]   "down":
[Info]   "up":
[Info]     calculate_outputm14
[Info]     calculate_output
[Info]     main
[Info] function calculate_outputm115 uses mod, enable congruence domain recursively for:
[Info]   "down":
[Info]   "up":
[Info]     calculate_outputm14
[Info]     calculate_output
[Info]     main
[Info] function calculate_outputm117 uses mod, enable congruence domain recursively for:
[Info]   "down":
[Info]   "up":
[Info]     calculate_outputm14
[Info]     calculate_output
[Info]     main
[Info] function calculate_outputm120 uses mod, enable congruence domain recursively for:
[Info]   "down":
[Info]   "up":
[Info]     calculate_outputm14
[Info]     calculate_output
[Info]     main
[Info] function calculate_outputm121 uses mod, enable congruence domain recursively for:
[Info]   "down":
[Info]   "up":
[Info]     calculate_outputm15
[Info]     calculate_output
[Info]     main
[Info] function calculate_outputm122 uses mod, enable congruence domain recursively for:
[Info]   "down":
[Info]   "up":
[Info]     calculate_outputm15
[Info]     calculate_output
[Info]     main
[Info] function calculate_outputm123 uses mod, enable congruence domain recursively for:
[Info]   "down":
[Info]   "up":
[Info]     calculate_outputm15
[Info]     calculate_output
[Info]     main
[Info] function calculate_outputm126 uses mod, enable congruence domain recursively for:
[Info]   "down":
[Info]   "up":
[Info]     calculate_outputm15
[Info]     calculate_output
[Info]     main
[Info] function calculate_outputm131 uses mod, enable congruence domain recursively for:
[Info]   "down":
[Info]   "up":
[Info]     calculate_outputm16
[Info]     calculate_output
[Info]     main
[Info] function calculate_outputm132 uses mod, enable congruence domain recursively for:
[Info]   "down":
[Info]   "up":
[Info]     calculate_outputm16
[Info]     calculate_output
[Info]     main
[Info] function calculate_outputm134 uses mod, enable congruence domain recursively for:
[Info]   "down":
[Info]   "up":
[Info]     calculate_outputm16
[Info]     calculate_output
[Info]     main
[Info] function calculate_outputm135 uses mod, enable congruence domain recursively for:
[Info]   "down":
[Info]   "up":
[Info]     calculate_outputm16
[Info]     calculate_output
[Info]     main
[Info] function calculate_outputm136 uses mod, enable congruence domain recursively for:
[Info]   "down":
[Info]   "up":
[Info]     calculate_outputm17
[Info]     calculate_output
[Info]     main
[Info] function calculate_outputm138 uses mod, enable congruence domain recursively for:
[Info]   "down":
[Info]   "up":
[Info]     calculate_outputm17
[Info]     calculate_output
[Info]     main
[Info] function calculate_outputm140 uses mod, enable congruence domain recursively for:
[Info]   "down":
[Info]   "up":
[Info]     calculate_outputm17
[Info]     calculate_output
[Info]     main
[Info] function calculate_outputm143 uses mod, enable congruence domain recursively for:
[Info]   "down":
[Info]   "up":
[Info]     calculate_outputm18
[Info]     calculate_output
[Info]     main
[Info] function calculate_outputm149 uses mod, enable congruence domain recursively for:
[Info]   "down":
[Info]   "up":
[Info]     calculate_outputm20
[Info]     calculate_output
[Info]     main
[Info] function calculate_outputm154 uses mod, enable congruence domain recursively for:
[Info]   "down":
[Info]   "up":
[Info]     calculate_outputm21
[Info]     calculate_output
[Info]     main
[Info] function calculate_outputm156 uses mod, enable congruence domain recursively for:
[Info]   "down":
[Info]   "up":
[Info]     calculate_outputm21
[Info]     calculate_output
[Info]     main
[Info] function calculate_outputm157 uses mod, enable congruence domain recursively for:
[Info]   "down":
[Info]   "up":
[Info]     calculate_outputm21
[Info]     calculate_output
[Info]     main
[Info] function calculate_outputm158 uses mod, enable congruence domain recursively for:
[Info]   "down":
[Info]   "up":
[Info]     calculate_outputm21
[Info]     calculate_output
[Info]     main
[Info] function calculate_outputm159 uses mod, enable congruence domain recursively for:
[Info]   "down":
[Info]   "up":
[Info]     calculate_outputm21
[Info]     calculate_output
[Info]     main
[Info] function calculate_outputm160 uses mod, enable congruence domain recursively for:
[Info]   "down":
[Info]   "up":
[Info]     calculate_outputm22
[Info]     calculate_output
[Info]     main
[Info] function calculate_outputm163 uses mod, enable congruence domain recursively for:
[Info]   "down":
[Info]   "up":
[Info]     calculate_outputm23
[Info]     calculate_output
[Info]     main
[Info] function calculate_outputm164 uses mod, enable congruence domain recursively for:
[Info]   "down":
[Info]   "up":
[Info]     calculate_outputm23
[Info]     calculate_output
[Info]     main
[Info] function calculate_outputm166 uses mod, enable congruence domain recursively for:
[Info]   "down":
[Info]   "up":
[Info]     calculate_outputm23
[Info]     calculate_output
[Info]     main
[Info] function calculate_outputm168 uses mod, enable congruence domain recursively for:
[Info]   "down":
[Info]   "up":
[Info]     calculate_outputm24
[Info]     calculate_output
[Info]     main
[Info] function calculate_outputm169 uses mod, enable congruence domain recursively for:
[Info]   "down":
[Info]   "up":
[Info]     calculate_outputm25
[Info]     calculate_output
[Info]     main
[Info] function calculate_outputm170 uses mod, enable congruence domain recursively for:
[Info]   "down":
[Info]   "up":
[Info]     calculate_outputm25
[Info]     calculate_output
[Info]     main
[Info] function calculate_outputm175 uses mod, enable congruence domain recursively for:
[Info]   "down":
[Info]   "up":
[Info]     calculate_outputm26
[Info]     calculate_output
[Info]     main
[Info] function calculate_outputm177 uses mod, enable congruence domain recursively for:
[Info]   "down":
[Info]   "up":
[Info]     calculate_outputm27
[Info]     calculate_output
[Info]     main
[Info] function calculate_outputm178 uses mod, enable congruence domain recursively for:
[Info]   "down":
[Info]   "up":
[Info]     calculate_outputm27
[Info]     calculate_output
[Info]     main
[Info] function calculate_outputm179 uses mod, enable congruence domain recursively for:
[Info]   "down":
[Info]   "up":
[Info]     calculate_outputm27
[Info]     calculate_output
[Info]     main
[Info] function calculate_outputm180 uses mod, enable congruence domain recursively for:
[Info]   "down":
[Info]   "up":
[Info]     calculate_outputm27
[Info]     calculate_output
[Info]     main
[Info] function calculate_outputm181 uses mod, enable congruence domain recursively for:
[Info]   "down":
[Info]   "up":
[Info]     calculate_outputm27
[Info]     calculate_output
[Info]     main
[Info] function calculate_outputm187 uses mod, enable congruence domain recursively for:
[Info]   "down":
[Info]   "up":
[Info]     calculate_outputm29
[Info]     calculate_output
[Info]     main
[Info] function calculate_outputm192 uses mod, enable congruence domain recursively for:
[Info]   "down":
[Info]   "up":
[Info]     calculate_outputm30
[Info]     calculate_output
[Info]     main
[Info] function calculate_outputm194 uses mod, enable congruence domain recursively for:
[Info]   "down":
[Info]   "up":
[Info]     calculate_outputm30
[Info]     calculate_output
[Info]     main
[Info] function calculate_outputm195 uses mod, enable congruence domain recursively for:
[Info]   "down":
[Info]   "up":
[Info]     calculate_outputm30
[Info]     calculate_output
[Info]     main
[Info] function calculate_outputm197 uses mod, enable congruence domain recursively for:
[Info]   "down":
[Info]   "up":
[Info]     calculate_outputm31
[Info]     calculate_output
[Info]     main
[Info] function calculate_outputm199 uses mod, enable congruence domain recursively for:
[Info]   "down":
[Info]   "up":
[Info]     calculate_outputm31
[Info]     calculate_output
[Info]     main
[Info] function calculate_outputm200 uses mod, enable congruence domain recursively for:
[Info]   "down":
[Info]   "up":
[Info]     calculate_outputm31
[Info]     calculate_output
[Info]     main
[Info] function calculate_outputm201 uses mod, enable congruence domain recursively for:
[Info]   "down":
[Info]   "up":
[Info]     calculate_outputm32
[Info]     calculate_output
[Info]     main
[Info] function calculate_outputm203 uses mod, enable congruence domain recursively for:
[Info]   "down":
[Info]   "up":
[Info]     calculate_outputm32
[Info]     calculate_output
[Info]     main
[Info] function calculate_outputm204 uses mod, enable congruence domain recursively for:
[Info]   "down":
[Info]   "up":
[Info]     calculate_outputm32
[Info]     calculate_output
[Info]     main
[Info] function calculate_outputm205 uses mod, enable congruence domain recursively for:
[Info]   "down":
[Info]   "up":
[Info]     calculate_outputm33
[Info]     calculate_output
[Info]     main
[Info] function calculate_outputm207 uses mod, enable congruence domain recursively for:
[Info]   "down":
[Info]   "up":
[Info]     calculate_outputm33
[Info]     calculate_output
[Info]     main
[Info] function calculate_outputm209 uses mod, enable congruence domain recursively for:
[Info]   "down":
[Info]   "up":
[Info]     calculate_outputm33
[Info]     calculate_output
[Info]     main
[Info] function calculate_outputm211 uses mod, enable congruence domain recursively for:
[Info]   "down":
[Info]   "up":
[Info]     calculate_outputm34
[Info]     calculate_output
[Info]     main
[Info] function calculate_outputm213 uses mod, enable congruence domain recursively for:
[Info]   "down":
[Info]   "up":
[Info]     calculate_outputm35
[Info]     calculate_output
[Info]     main
[Info] function calculate_outputm216 uses mod, enable congruence domain recursively for:
[Info]   "down":
[Info]   "up":
[Info]     calculate_outputm36
[Info]     calculate_output
[Info]     main
[Info] function calculate_outputm217 uses mod, enable congruence domain recursively for:
[Info]   "down":
[Info]   "up":
[Info]     calculate_outputm36
[Info]     calculate_output
[Info]     main
[Info] function calculate_outputm218 uses mod, enable congruence domain recursively for:
[Info]   "down":
[Info]   "up":
[Info]     calculate_outputm36
[Info]     calculate_output
[Info]     main
[Info] function calculate_outputm220 uses mod, enable congruence domain recursively for:
[Info]   "down":
[Info]   "up":
[Info]     calculate_outputm36
[Info]     calculate_output
[Info]     main
[Info] function calculate_outputm225 uses mod, enable congruence domain recursively for:
[Info]   "down":
[Info]   "up":
[Info]     calculate_outputm37
[Info]     calculate_output
[Info]     main
[Info] function calculate_outputm226 uses mod, enable congruence domain recursively for:
[Info]   "down":
[Info]   "up":
[Info]     calculate_outputm37
[Info]     calculate_output
[Info]     main
[Info] function calculate_outputm227 uses mod, enable congruence domain recursively for:
[Info]   "down":
[Info]   "up":
[Info]     calculate_outputm37
[Info]     calculate_output
[Info]     main
[Info] function calculate_outputm229 uses mod, enable congruence domain recursively for:
[Info]   "down":
[Info]   "up":
[Info]     calculate_outputm37
[Info]     calculate_output
[Info]     main
[Info] no thread creation -> disabling thread analyses "race, deadlock, maylocks, symb_locks, thread, threadid, threadJoins, threadreturn, mhp, region"
[Info] SV-COMP specification: CHECK( init(main()), LTL(G ! call(reach_error())) )
[Info][Witness] couldn't parse entry: find uuid

[Info] runtime: 00:00:10.760
[Info] vars: 25904, evals: 17138

[Info] |called|=33

Memory statistics: total=19798.25MB, max=265.50MB, minor=19788.59MB, major=610.45MB, promoted=600.79MB
    minor collections=9446  major collections=20 compactions=0


[Info] runtime: 00:00:20.838
[Info] vars: 42303, evals: 31659

[Info] |called|=40

Memory statistics: total=38320.99MB, max=403.80MB, minor=38309.48MB, major=1103.31MB, promoted=1091.79MB
    minor collections=18279  major collections=24 compactions=0


[Info] runtime: 00:00:30.916
[Info] vars: 53895, evals: 43093

[Info] |called|=35

Memory statistics: total=56470.17MB, max=534.03MB, minor=56457.86MB, major=1551.56MB, promoted=1539.25MB
    minor collections=26935  major collections=27 compactions=0


[Info] runtime: 00:00:40.978
[Info] vars: 65186, evals: 53717

[Info] |called|=30

Memory statistics: total=73951.59MB, max=706.25MB, minor=73939.00MB, major=1945.34MB, promoted=1932.75MB
    minor collections=35272  major collections=29 compactions=0


[Info] runtime: 00:00:51.037
[Info] vars: 74347, evals: 62755

[Info] |called|=26

Memory statistics: total=91313.80MB, max=706.25MB, minor=91297.78MB, major=2327.62MB, promoted=2311.60MB
    minor collections=43550  major collections=31 compactions=0

