./goblint --conf conf/svcomp-validate.json --witness.yaml.unassume /mnt/goblint-svcomp/sv-comp/svcomp24-witnesses/results-verified/cpv.2023-12-02_00-12-47.files/SV-COMP24_unreach-call/hardness_operatoramount_amount250_file-33.yml/witness.yml --witness.yaml.validate /mnt/goblint-svcomp/sv-comp/svcomp24-witnesses/results-verified/cpv.2023-12-02_00-12-47.files/SV-COMP24_unreach-call/hardness_operatoramount_amount250_file-33.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/hardness-nfm22/hardness_operatoramount_amount250_file-33.i


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


[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/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:378:2-384:2 with factor 3
[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 step uses mod, enable congruence domain recursively for:
[Info]   "down":
[Info]   "up":
[Info]     main
[Info] function property uses mod, enable congruence domain recursively for:
[Info]   "down":
[Info]   "up":
[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] cannot unassume entry of type violation_sequence
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:290:2-290:156)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:290:2-290:156)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:290:2-290:156)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:290:2-290:156)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:290:2-290:156)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:290:2-290:156)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:290:2-290:156)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:290:2-290:156)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:292:2-292:134)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:292:2-292:134)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:292:2-292:134)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:292:2-292:134)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:292:2-292:134)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:292:2-292:134)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:292:2-292:134)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:292:2-292:134)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:294:2-294:134)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:294:2-294:134)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:294:2-294:134)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:294:2-294:134)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:294:2-294:134)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:294:2-294:134)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:294:2-294:134)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:294:2-294:134)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:300:2-300:156)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:300:2-300:156)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:300:2-300:156)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:300:2-300:156)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:300:2-300:156)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:300:2-300:156)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:300:2-300:156)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:300:2-300:156)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:302:2-302:156)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:302:2-302:156)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:302:2-302:156)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:302:2-302:156)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:302:2-302:156)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:302:2-302:156)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:302:2-302:156)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:302:2-302:156)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:304:2-304:156)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:304:2-304:156)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:304:2-304:156)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:304:2-304:156)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:304:2-304:156)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:304:2-304:156)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:304:2-304:156)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:304:2-304:156)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:312:2-312:156)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:312:2-312:156)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:312:2-312:156)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:312:2-312:156)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:312:2-312:156)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:312:2-312:156)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:312:2-312:156)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:312:2-312:156)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:313:2-313:39)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:313:2-313:39)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:315:2-315:156)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:315:2-315:156)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:315:2-315:156)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:315:2-315:156)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:315:2-315:156)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:315:2-315:156)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:315:2-315:156)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:315:2-315:156)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:316:2-316:39)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:316:2-316:39)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:318:2-318:155)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:318:2-318:155)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:318:2-318:155)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:318:2-318:155)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:318:2-318:155)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:318:2-318:155)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:318:2-318:155)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:318:2-318:155)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:320:2-320:134)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:320:2-320:134)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:320:2-320:134)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:320:2-320:134)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:320:2-320:134)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:320:2-320:134)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:320:2-320:134)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:320:2-320:134)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:102:4-102:133)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:102:4-102:133)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:102:4-102:133)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:109:6-109:72)
[Warning][Float][CWE-189][CWE-739] Second operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:109:6-109:72)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:109:6-109:72)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:109:6-109:72)
[Warning][Float][CWE-189][CWE-739] Second operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:109:6-109:72)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:109:6-109:72)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:129:9-129:51)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:129:9-129:51)
[Warning][Float][CWE-189][CWE-739] First operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:130:5-130:110)
[Warning][Float][CWE-189][CWE-739] Second operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:130:5-130:110)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:130:5-130:110)
[Warning][Float][CWE-189][CWE-739] Second operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:130:5-130:110)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:130:5-130:110)
[Warning][Float][CWE-189][CWE-739] First operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:130:5-130:110)
[Warning][Float][CWE-189][CWE-739] Second operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:130:5-130:110)
[Warning][Float][CWE-189][CWE-739] First operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:130:5-130:110)
[Warning][Float][CWE-189][CWE-739] Second operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:130:5-130:110)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:138:7-138:36)
[Warning][Float][CWE-189][CWE-739] Operand of unary expression could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:144:6-144:37)
[Warning][Float][CWE-189][CWE-739] Second operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:144:6-144:37)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:144:6-144:37)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:145:12-145:146)
[Warning][Float][CWE-189][CWE-739] First operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:169:6-169:39)
[Warning][Float][CWE-189][CWE-739] Second operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:169:6-169:39)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:169:6-169:39)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:169:6-169:39)
[Warning][Float][CWE-189][CWE-739] Second operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:169:6-169:39)
[Warning][Float][CWE-189][CWE-739] First operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:178:3-178:35)
[Warning][Float][CWE-189][CWE-739] Second operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:178:3-178:35)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:201:8-201:43)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:208:3-208:133)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:208:3-208:133)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:208:3-208:133)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:208:3-208:133)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:208:3-208:133)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:212:3-212:135)
[Warning][Float][CWE-189][CWE-739] Second operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:212:3-212:135)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:212:3-212:135)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:212:3-212:135)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:212:3-212:135)
[Warning][Float][CWE-189][CWE-739] Operand of unary expression could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:212:3-212:135)
[Warning][Float][CWE-189][CWE-739] First operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:212:3-212:135)
[Warning][Float][CWE-189][CWE-739] Second operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:212:3-212:135)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:216:6-216:25)
[Warning][Float][CWE-189][CWE-739] Second operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:216:6-216:25)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:216:6-216:25)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:217:3-217:93)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:222:8-222:27)
[Warning][Float][CWE-189][CWE-739] Second operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:222:8-222:27)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:222:8-222:27)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:225:5-225:53)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:231:7-231:42)
[Warning][Float][CWE-189][CWE-739] Second operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:231:7-231:42)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:231:7-231:42)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:233:4-233:376)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:233:4-233:376)
[Warning][Float][CWE-189][CWE-739] Operand of unary expression could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:233:4-233:376)
[Warning][Float][CWE-189][CWE-739] First operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:233:4-233:376)
[Warning][Float][CWE-189][CWE-739] Second operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:233:4-233:376)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:233:4-233:376)
[Warning][Float][CWE-189][CWE-739] Second operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:233:4-233:376)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:233:4-233:376)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:233:4-233:376)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:233:4-233:376)
[Warning][Float][CWE-189][CWE-739] Operand of unary expression could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:233:4-233:376)
[Warning][Float][CWE-189][CWE-739] First operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:233:4-233:376)
[Warning][Float][CWE-189][CWE-739] Second operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:233:4-233:376)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:233:4-233:376)
[Warning][Float][CWE-189][CWE-739] Second operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:233:4-233:376)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:233:4-233:376)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:233:4-233:376)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:233:4-233:376)
[Warning][Float][CWE-189][CWE-739] Operand of unary expression could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:233:4-233:376)
[Warning][Float][CWE-189][CWE-739] First operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:233:4-233:376)
[Warning][Float][CWE-189][CWE-739] Second operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:233:4-233:376)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:233:4-233:376)
[Warning][Float][CWE-189][CWE-739] Second operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:233:4-233:376)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:233:4-233:376)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:233:4-233:376)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:233:4-233:376)
[Warning][Float][CWE-189][CWE-739] Operand of unary expression could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:233:4-233:376)
[Warning][Float][CWE-189][CWE-739] First operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:233:4-233:376)
[Warning][Float][CWE-189][CWE-739] Second operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:233:4-233:376)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:239:3-239:35)
[Warning][Float][CWE-189][CWE-739] First operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:242:3-242:134)
[Warning][Float][CWE-189][CWE-739] Second operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:242:3-242:134)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:242:3-242:134)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:242:3-242:134)
[Warning][Float][CWE-189][CWE-739] First operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:242:3-242:134)
[Warning][Float][CWE-189][CWE-739] Second operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:242:3-242:134)
[Warning][Float][CWE-189][CWE-739] Operand of unary expression could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:242:3-242:134)
[Warning][Float][CWE-189][CWE-739] First operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:242:3-242:134)
[Warning][Float][CWE-189][CWE-739] Second operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:242:3-242:134)
[Warning][Float][CWE-189][CWE-739] First operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:244:6-244:39)
[Warning][Float][CWE-189][CWE-739] Second operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:244:6-244:39)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:244:6-244:39)
[Warning][Float][CWE-189][CWE-739] Second operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:244:6-244:39)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:244:6-244:39)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:246:12-246:146)
[Warning][Float][CWE-189][CWE-739] Second operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:246:12-246:146)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:246:12-246:146)
[Warning][Float][CWE-189][CWE-739] Second operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:246:12-246:146)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:246:12-246:146)
[Warning][Float][CWE-189][CWE-739] First operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:246:12-246:146)
[Warning][Float][CWE-189][CWE-739] Second operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:246:12-246:146)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:246:12-246:146)
[Warning][Float][CWE-189][CWE-739] Second operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:246:12-246:146)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:246:12-246:146)
[Warning][Float][CWE-189][CWE-739] First operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:264:4-264:36)
[Warning][Float][CWE-189][CWE-739] Second operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:264:4-264:36)
[Warning][Float][CWE-189][CWE-739] First operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] Second operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] First operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] Second operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] Operand of unary expression could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] First operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] Second operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] Second operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] First operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] Second operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] Second operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] First operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] Second operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] First operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] Second operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] Second operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] Second operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] First operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] Second operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] Second operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] Second operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] Second operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] First operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] Second operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] Second operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] Second operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] Second operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] First operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] Second operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] Second operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] Second operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] Operand of unary expression could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] First operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] Second operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] Second operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] Operand of unary expression could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] First operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] Second operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] Second operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] Operand of unary expression could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] First operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] Second operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] Second operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] Operand of unary expression could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] First operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] Second operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] Second operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] First operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] Second operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] Second operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] Second operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] Second operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] Second operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] Second operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] Operand of unary expression could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] First operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] Second operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] Second operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] First operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] Second operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] Second operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] Second operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] Second operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] Operand of unary expression could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] Second operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] Second operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:108:16-108:65)
[Warning][Float][CWE-189][CWE-739] Second operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:108:16-108:65)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:108:16-108:65)
[Warning][Float][CWE-189][CWE-739] Second operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:129:9-129:51)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:133:8-133:58)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:144:6-144:37)
[Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:145:12-145:146)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:145:12-145:146)
[Warning][Float][CWE-189][CWE-739] Second operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] Second operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Integer > Overflow][CWE-191] Signed integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Deadcode] Function 'main' does not return
[Warning][Deadcode] Function 'main' has dead code:
  on line 385 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:385-385)
[Warning][Deadcode] Function 'step' has dead code:
  on line 100 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:100-100)
  on line 105 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:105-105)
  on line 113 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:113-113)
  on lines 154..155 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:154-155)
  on line 157 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:157-157)
  on line 162 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:162-162)
  on line 176 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:176-176)
  on lines 183..184 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:183-184)
  on lines 192..193 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:192-193)
  on line 195 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:195-195)
  on line 204 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:204-204)
  on line 235 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:235-235)
  on line 248 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:248-248)
  on line 254 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:254-254)
  on line 262 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:262-262)
[Warning][Deadcode] Logical lines of code (LLoC) summary:
  live: 216
  dead: 19
  total lines: 235
[Warning][Deadcode][CWE-570] condition 'stepLocal_4' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:129:9-129:51)
[Warning][Deadcode][CWE-571] condition '! var_1_66' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:245:7-245:17)
[Warning][Deadcode][CWE-570] condition 'var_1_66' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Deadcode][CWE-571] condition 'var_1_60' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:198:6-198:14)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:378:9-378:10)
[Warning][Deadcode][CWE-570] condition 'var_1_66' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Deadcode][CWE-571] condition 'last_1_var_1_60' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Deadcode][CWE-571] condition '(unsigned long )(- ((int )var_1_9)) >= var_1_45' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:201:8-201:43)
[Warning][Deadcode][CWE-570] condition '9.375f < (float )0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:134:5-134:58)
[Warning][Deadcode][CWE-570] condition '(long )tmp___67 > var_1_2' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:247:13-247:72)
[Warning][Deadcode][CWE-571] condition 'tmp___121' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Deadcode][CWE-570] condition 'var_1_66' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Deadcode][CWE-571] condition 'var_1_60' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:207:6-207:30)
[Warning][Deadcode][CWE-571] condition 'var_1_60' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Deadcode][CWE-570] condition 'var_1_66' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:261:7-261:15)
[Warning][Deadcode][CWE-571] condition 'var_1_60' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Deadcode][CWE-570] condition '(int )var_1_57 < 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:151:3-151:75)
[Warning][Deadcode][CWE-571] condition 'last_1_var_1_60' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:110:7-110:38)
[Warning][Deadcode][CWE-571] condition '! var_1_66' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Deadcode][CWE-570] condition 'last_1_var_1_66' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Deadcode][CWE-570] condition 'last_1_var_1_66' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:153:6-153:21)
[Warning][Deadcode][CWE-570] condition 'var_1_66' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Deadcode][CWE-570] condition '-50 > (int )last_1_var_1_9' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Deadcode][CWE-570] condition 'last_1_var_1_66' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Deadcode][CWE-570] condition 'var_1_66' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:161:6-161:30)
[Warning][Deadcode][CWE-570] condition 'last_1_var_1_66' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:97:16-97:77)
[Warning][Deadcode][CWE-571] condition 'tmp___130' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Deadcode][CWE-571] condition '! var_1_66' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Deadcode][CWE-570] condition 'stepLocal_16' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:161:6-161:30)
[Warning][Deadcode][CWE-570] condition 'stepLocal_9' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:231:7-231:42)
[Warning][Deadcode][CWE-571] condition '(unsigned long )((unsigned int )var_1_9 / 10000000u) <= stepLocal_8' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:232:8-232:43)
[Warning][Deadcode][CWE-571] condition 'stepLocal_7' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:98:6-98:36)
[Warning][Deadcode][CWE-570] condition '9.375f < (float )0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Deadcode][CWE-570] condition 'stepLocal_6' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:99:7-99:37)
[Warning][Deadcode][CWE-571] condition '(unsigned long )(- ((int )var_1_9)) >= var_1_45' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Deadcode][CWE-570] condition '(long )tmp___43 > var_1_2' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Deadcode][CWE-571] condition 'var_1_45 > (unsigned long )var_1_65' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Deadcode][CWE-570] condition 'var_1_66' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:175:6-175:14)
[Warning][Deadcode][CWE-571] condition '! last_1_var_1_66' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Deadcode][CWE-570] condition 'last_1_var_1_66' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:378:9-378:10)
[Warning][Deadcode][CWE-570] condition 'var_1_66' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Deadcode][CWE-571] condition '(unsigned long )((unsigned int )var_1_9 / 10000000u) <= (unsigned long )var_1_2 + (unsigned long )var_1_65 % var_1_28' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Deadcode][CWE-570] condition 'var_1_66' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:182:6-182:14)
[Warning][Deadcode][CWE-571] condition '1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:119:4-119:45)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:378:9-378:10)
[Warning][Deadcode][CWE-570] condition 'var_1_66' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Deadcode][CWE-571] condition 'var_1_45 > (unsigned long )var_1_65' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:238:6-238:25)
[Warning][Deadcode][CWE-571] condition '! var_1_66' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:189:6-189:16)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:378:9-378:10)
[Warning][Deadcode][CWE-570] condition '(int )var_1_57 < 0' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:372:33-373:1)
[Warning][Deadcode][CWE-570] condition '-50 > (int )last_1_var_1_9' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/hardness-nfm22/hardness_operatoramount_amount250_file-33.i:127:6-127:43)
[Info][Witness] witness validation summary:
  confirmed: 0
  unconfirmed: 0
  refuted: 0
  error: 0
  unchecked: 0
  unsupported: 0
  disabled: 0
  total validation entries: 0
SV-COMP result: unknown
