./goblint --conf conf/svcomp-validate.json --witness.yaml.unassume /mnt/goblint-svcomp/sv-comp/svcomp24-witnesses/results-verified/cpachecker.2023-11-29_00-03-15.files/SV-COMP24_unreach-call/Problem10.yml/witness.yml --witness.yaml.validate /mnt/goblint-svcomp/sv-comp/svcomp24-witnesses/results-verified/cpachecker.2023-11-29_00-03-15.files/SV-COMP24_unreach-call/Problem10.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/Problem10.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/Problem10.c:1354:5-1363: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] no thread creation -> disabling thread analyses "race, deadlock, maylocks, symb_locks, thread, threadid, threadJoins, threadreturn, mhp, region"
[Info] Enabled congruence domain.
[Info] SV-COMP specification: CHECK( init(main()), LTL(G ! call(reach_error())) )
[Info][Witness] cannot unassume entry of type violation_sequence
[Warning][Deadcode] Function 'reach_error_0' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:15:1-15:40)
[Warning][Deadcode] Function 'reach_error_1' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:16:1-16:40)
[Warning][Deadcode] Function 'reach_error_2' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:17:1-17:40)
[Warning][Deadcode] Function 'reach_error_3' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:18:1-18:40)
[Warning][Deadcode] Function 'reach_error_5' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:20:1-20:40)
[Warning][Deadcode] Function 'reach_error_7' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:22:1-22:40)
[Warning][Deadcode] Function 'reach_error_8' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:23:1-23:40)
[Warning][Deadcode] Function 'reach_error_9' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:24:1-24:40)
[Warning][Deadcode] Function 'reach_error_10' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:25:1-25:41)
[Warning][Deadcode] Function 'reach_error_11' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:26:1-26:41)
[Warning][Deadcode] Function 'reach_error_12' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:27:1-27:41)
[Warning][Deadcode] Function 'reach_error_13' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:28:1-28:41)
[Warning][Deadcode] Function 'reach_error_14' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:29:1-29:41)
[Warning][Deadcode] Function 'reach_error_17' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:32:1-32:41)
[Warning][Deadcode] Function 'reach_error_19' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:34:1-34:41)
[Warning][Deadcode] Function 'reach_error_20' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:35:1-35:41)
[Warning][Deadcode] Function 'reach_error_22' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:37:1-37:41)
[Warning][Deadcode] Function 'reach_error_25' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:40:1-40:41)
[Warning][Deadcode] Function 'reach_error_26' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:41:1-41:41)
[Warning][Deadcode] Function 'reach_error_28' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:43:1-43:41)
[Warning][Deadcode] Function 'reach_error_29' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:44:1-44:41)
[Warning][Deadcode] Function 'reach_error_30' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:45:1-45:41)
[Warning][Deadcode] Function 'reach_error_33' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:48:1-48:41)
[Warning][Deadcode] Function 'reach_error_34' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:49:1-49:41)
[Warning][Deadcode] Function 'reach_error_35' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:50:1-50:41)
[Warning][Deadcode] Function 'reach_error_36' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:51:1-51:41)
[Warning][Deadcode] Function 'reach_error_37' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:52:1-52:41)
[Warning][Deadcode] Function 'reach_error_39' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:54:1-54:41)
[Warning][Deadcode] Function 'reach_error_41' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:56:1-56:41)
[Warning][Deadcode] Function 'reach_error_42' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:57:1-57:41)
[Warning][Deadcode] Function 'reach_error_43' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:58:1-58:41)
[Warning][Deadcode] Function 'reach_error_44' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:59:1-59:41)
[Warning][Deadcode] Function 'reach_error_45' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:60:1-60:41)
[Warning][Deadcode] Function 'reach_error_46' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:61:1-61:41)
[Warning][Deadcode] Function 'reach_error_48' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:63:1-63:41)
[Warning][Deadcode] Function 'reach_error_50' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:65:1-65:41)
[Warning][Deadcode] Function 'reach_error_51' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:66:1-66:41)
[Warning][Deadcode] Function 'reach_error_52' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:67:1-67:41)
[Warning][Deadcode] Function 'reach_error_53' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:68:1-68:41)
[Warning][Deadcode] Function 'reach_error_54' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:69:1-69:41)
[Warning][Deadcode] Function 'reach_error_55' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:70:1-70:41)
[Warning][Deadcode] Function 'reach_error_56' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:71:1-71:41)
[Warning][Deadcode] Function 'reach_error_57' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:72:1-72:41)
[Warning][Deadcode] Function 'reach_error_59' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:74:1-74:41)
[Warning][Deadcode] Function 'reach_error_60' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:75:1-75:41)
[Warning][Deadcode] Function 'reach_error_61' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:76:1-76:41)
[Warning][Deadcode] Function 'reach_error_62' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:77:1-77:41)
[Warning][Deadcode] Function 'reach_error_63' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:78:1-78:41)
[Warning][Deadcode] Function 'reach_error_66' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:81:1-81:41)
[Warning][Deadcode] Function 'reach_error_67' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:82:1-82:41)
[Warning][Deadcode] Function 'reach_error_68' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:83:1-83:41)
[Warning][Deadcode] Function 'reach_error_70' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:85:1-85:41)
[Warning][Deadcode] Function 'reach_error_71' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:86:1-86:41)
[Warning][Deadcode] Function 'reach_error_72' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:87:1-87:41)
[Warning][Deadcode] Function 'reach_error_74' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:89:1-89:41)
[Warning][Deadcode] Function 'reach_error_75' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:90:1-90:41)
[Warning][Deadcode] Function 'reach_error_76' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:91:1-91:41)
[Warning][Deadcode] Function 'reach_error_77' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:92:1-92:41)
[Warning][Deadcode] Function 'reach_error_78' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:93:1-93:41)
[Warning][Deadcode] Function 'reach_error_79' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:94:1-94:41)
[Warning][Deadcode] Function 'reach_error_80' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:95:1-95:41)
[Warning][Deadcode] Function 'reach_error_81' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:96:1-96:41)
[Warning][Deadcode] Function 'reach_error_82' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:97:1-97:41)
[Warning][Deadcode] Function 'reach_error_83' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:98:1-98:41)
[Warning][Deadcode] Function 'reach_error_84' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:99:1-99:41)
[Warning][Deadcode] Function 'reach_error_85' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:100:1-100:41)
[Warning][Deadcode] Function 'reach_error_87' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:102:1-102:41)
[Warning][Deadcode] Function 'reach_error_90' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:105:1-105:41)
[Warning][Deadcode] Function 'reach_error_91' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:106:1-106:41)
[Warning][Deadcode] Function 'reach_error_93' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:108:1-108:41)
[Warning][Deadcode] Function 'reach_error_94' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:109:1-109:41)
[Warning][Deadcode] Function 'reach_error_95' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:110:1-110:41)
[Warning][Deadcode] Function 'reach_error_96' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:111:1-111:41)
[Warning][Deadcode] Function 'reach_error_97' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:112:1-112:41)
[Warning][Deadcode] Function 'reach_error_98' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:113:1-113:41)
[Warning][Deadcode] Function 'reach_error_99' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:114:1-114:41)
[Warning][Deadcode] Function 'errorCheck' has dead code:
  on lines 314..315 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:314-315)
  on lines 318..319 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:318-319)
  on lines 322..323 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:322-323)
  on lines 326..327 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:326-327)
  on lines 334..335 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:334-335)
  on lines 342..343 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:342-343)
  on lines 346..347 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:346-347)
  on lines 350..351 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:350-351)
  on lines 354..355 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:354-355)
  on lines 358..359 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:358-359)
  on lines 362..363 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:362-363)
  on lines 366..367 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:366-367)
  on lines 370..371 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:370-371)
  on lines 382..383 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:382-383)
  on lines 390..391 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:390-391)
  on lines 394..395 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:394-395)
  on lines 402..403 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:402-403)
  on lines 414..415 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:414-415)
  on lines 418..419 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:418-419)
  on lines 426..427 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:426-427)
  on lines 430..431 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:430-431)
  on lines 434..435 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:434-435)
  on lines 446..447 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:446-447)
  on lines 450..451 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:450-451)
  on lines 454..455 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:454-455)
  on lines 458..459 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:458-459)
  on lines 462..463 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:462-463)
  on lines 470..471 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:470-471)
  on lines 478..479 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:478-479)
  on lines 482..483 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:482-483)
  on lines 486..487 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:486-487)
  on lines 490..491 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:490-491)
  on lines 494..495 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:494-495)
  on lines 498..499 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:498-499)
  on lines 506..507 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:506-507)
  on lines 514..515 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:514-515)
  on lines 518..519 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:518-519)
  on lines 522..523 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:522-523)
  on lines 526..527 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:526-527)
  on lines 530..531 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:530-531)
  on lines 534..535 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:534-535)
  on lines 538..539 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:538-539)
  on lines 542..543 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:542-543)
  on lines 550..551 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:550-551)
  on lines 554..555 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:554-555)
  on lines 558..559 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:558-559)
  on lines 562..563 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:562-563)
  on lines 566..567 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:566-567)
  on lines 578..579 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:578-579)
  on lines 582..583 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:582-583)
  on lines 586..587 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:586-587)
  on lines 594..595 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:594-595)
  on lines 598..599 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:598-599)
  on lines 602..603 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:602-603)
  on lines 610..611 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:610-611)
  on lines 614..615 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:614-615)
  on lines 618..619 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:618-619)
  on lines 622..623 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:622-623)
  on lines 626..627 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:626-627)
  on lines 630..631 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:630-631)
  on lines 634..635 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:634-635)
  on lines 638..639 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:638-639)
  on lines 642..643 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:642-643)
  on lines 646..647 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:646-647)
  on lines 650..651 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:650-651)
  on lines 654..655 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:654-655)
  on lines 662..663 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:662-663)
  on lines 674..675 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:674-675)
  on lines 678..679 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:678-679)
  on lines 686..687 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:686-687)
  on lines 690..691 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:690-691)
  on lines 694..695 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:694-695)
  on lines 698..699 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:698-699)
  on lines 702..703 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:702-703)
  on lines 706..707 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:706-707)
  on lines 710..711 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:710-711)
[Warning][Deadcode] Function 'main' has dead code:
  on line 1364 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:1364-1364)
[Warning][Deadcode] Logical lines of code (LLoC) summary:
  live: 634
  dead: 229 (76 in uncalled functions)
  total lines: 863
[Warning][Deadcode][CWE-571] condition 'a927814483 == 14' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:1244:9-1244:101)
[Warning][Deadcode][CWE-570] condition 'a1944816302 == 33' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:493:11-493:72)
[Warning][Deadcode][CWE-571] condition 'a1669722568 == 33' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:722:10-722:102)
[Warning][Deadcode][CWE-571] condition 'a1554992028 == 15' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:722:10-722:102)
[Warning][Deadcode][CWE-570] condition 'a938827910 == 35' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:497:11-497:71)
[Warning][Deadcode][CWE-571] condition 'a1649592707 == 36' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:989:11-989:101)
[Warning][Deadcode][CWE-571] condition 'cf == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:1252:9-1252:37)
[Warning][Deadcode][CWE-571] condition 'a1933271548 == 5' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:989:11-989:101)
[Warning][Deadcode][CWE-571] condition 'a1554992028 == 15' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:728:10-728:102)
[Warning][Deadcode][CWE-571] condition 'a1868984816 == 13' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:1257:9-1257:102)
[Warning][Deadcode][CWE-571] condition 'a1796618233 == 34' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:1257:9-1257:102)
[Warning][Deadcode][CWE-571] condition 'cf == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:1257:9-1257:102)
[Warning][Deadcode][CWE-571] condition 'a1933271548 == 5' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:996:13-996:101)
[Warning][Deadcode][CWE-570] condition 'a1591641889 == 9' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:505:11-505:70)
[Warning][Deadcode][CWE-571] condition 'cf == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:736:10-736:38)
[Warning][Deadcode][CWE-571] condition 'a1796618233 == 34' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:1264:9-1264:102)
[Warning][Deadcode][CWE-571] condition 'a1669722568 == 32' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:741:9-741:102)
[Warning][Deadcode][CWE-571] condition 'a1868984816 == 13' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:1264:9-1264:102)
[Warning][Deadcode][CWE-571] condition 'a1583922005 == 10' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:741:9-741:102)
[Warning][Deadcode][CWE-571] condition 'cf == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:741:9-741:102)
[Warning][Deadcode][CWE-571] condition 'cf == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:1005:10-1005:38)
[Warning][Deadcode][CWE-570] condition 'a1554992028 == 11' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:513:11-513:71)
[Warning][Deadcode][CWE-571] condition 'a510889416 == 33' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:1010:12-1010:100)
[Warning][Deadcode][CWE-571] condition 'cf == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:1010:12-1010:100)
[Warning][Deadcode][CWE-571] condition 'a1796618233 == 34' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:1271:10-1271:102)
[Warning][Deadcode][CWE-571] condition 'a1669722568 == 32' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:748:9-748:102)
[Warning][Deadcode][CWE-571] condition 'a1868984816 == 13' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:1271:10-1271:102)
[Warning][Deadcode][CWE-571] condition 'a1933271548 == 6' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:1010:12-1010:100)
[Warning][Deadcode][CWE-571] condition 'a1583922005 == 10' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:748:9-748:102)
[Warning][Deadcode][CWE-570] condition 'a1136264456 == 36' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:517:11-517:71)
[Warning][Deadcode][CWE-571] condition 'cf == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:1279:10-1279:38)
[Warning][Deadcode][CWE-570] condition 'a1554992028 == 13' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:521:11-521:72)
[Warning][Deadcode][CWE-571] condition 'a1933271548 == 6' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:1017:9-1017:100)
[Warning][Deadcode][CWE-571] condition 'a510889416 == 33' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:1017:9-1017:100)
[Warning][Deadcode][CWE-571] condition 'a1583922005 == 10' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:754:9-754:102)
[Warning][Deadcode][CWE-571] condition 'cf == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:1287:10-1287:38)
[Warning][Deadcode][CWE-570] condition 'a1041640432 == 7' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:525:11-525:69)
[Warning][Deadcode][CWE-571] condition 'cf == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:1288:10-1288:39)
[Warning][Deadcode][CWE-571] condition 'a510889416 == 33' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:1022:11-1022:100)
[Warning][Deadcode][CWE-571] condition 'a1933271548 == 6' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:1022:11-1022:100)
[Warning][Deadcode][CWE-571] condition 'cf == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:761:9-761:38)
[Warning][Deadcode][CWE-570] condition 'a1649592707 == 35' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:529:11-529:72)
[Warning][Deadcode][CWE-571] condition 'a1669722568 == 36' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:766:10-766:102)
[Warning][Deadcode][CWE-571] condition 'a1450658394 == 12' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:766:10-766:102)
[Warning][Deadcode][CWE-571] condition 'cf == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:766:10-766:102)
[Warning][Deadcode][CWE-570] condition 'a1491567675 == 12' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:533:11-533:70)
[Warning][Deadcode][CWE-571] condition 'a1933271548 == 6' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:1031:9-1031:100)
[Warning][Deadcode][CWE-571] condition 'cf == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:1031:9-1031:100)
[Warning][Deadcode][CWE-571] condition 'a510889416 == 32' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:1031:9-1031:100)
[Warning][Deadcode][CWE-571] condition 'cf == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:1299:10-1299:38)
[Warning][Deadcode][CWE-570] condition 'a1591641889 == 10' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:537:11-537:71)
[Warning][Deadcode][CWE-571] condition 'a1450658394 == 12' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:773:10-773:102)
[Warning][Deadcode][CWE-571] condition 'a1669722568 == 36' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:773:10-773:102)
[Warning][Deadcode][CWE-570] condition 'a1554992028 == 9' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:313:11-313:70)
[Warning][Deadcode][CWE-571] condition 'a510889416 == 32' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:1037:12-1037:100)
[Warning][Deadcode][CWE-570] condition 'a927814483 == 11' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:541:11-541:70)
[Warning][Deadcode][CWE-571] condition 'a1450658394 == 14' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:780:10-780:102)
[Warning][Deadcode][CWE-571] condition 'cf == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:780:10-780:102)
[Warning][Deadcode][CWE-571] condition 'a1669722568 == 36' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:780:10-780:102)
[Warning][Deadcode][CWE-570] condition 'a1649592707 == 35' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:317:11-317:71)
[Warning][Deadcode][CWE-571] condition 'a510889416 == 32' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:1044:9-1044:100)
[Warning][Deadcode][CWE-570] condition 'a469914660 == 8' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:321:11-321:69)
[Warning][Deadcode][CWE-570] condition 'a927814483 == 10' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:549:11-549:70)
[Warning][Deadcode][CWE-571] condition 'a1669722568 == 36' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:787:11-787:102)
[Warning][Deadcode][CWE-571] condition 'a1450658394 == 14' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:787:11-787:102)
[Warning][Deadcode][CWE-571] condition 'cf == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:1316:11-1316:38)
[Warning][Deadcode][CWE-570] condition 'a1554992028 == 12' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:325:11-325:71)
[Warning][Deadcode][CWE-570] condition 'a1944816302 == 34' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:553:11-553:72)
[Warning][Deadcode][CWE-571] condition 'cf == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:1053:9-1053:37)
[Warning][Deadcode][CWE-571] condition 'cf == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:796:9-796:38)
[Warning][Deadcode][CWE-570] condition 'a1379546326 == 11' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:557:11-557:71)
[Warning][Deadcode][CWE-571] condition 'cf == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:1324:11-1324:37)
[Warning][Deadcode][CWE-571] condition 'a43901077 == 33' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:1061:9-1061:100)
[Warning][Deadcode][CWE-571] condition 'a1551570219 == 35' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:1061:9-1061:100)
[Warning][Deadcode][CWE-571] condition 'a1944816302 == 32' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:1061:9-1061:100)
[Warning][Deadcode][CWE-570] condition 'a1591641889 == 9' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:333:11-333:70)
[Warning][Deadcode][CWE-571] condition 'cf == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:1061:9-1061:100)
[Warning][Deadcode][CWE-570] condition 'a2077863541 == 8' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:561:11-561:71)
[Warning][Deadcode][CWE-571] condition 'a1136264456 == 33' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:804:10-804:101)
[Warning][Deadcode][CWE-571] condition 'cf == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:804:10-804:101)
[Warning][Deadcode][CWE-571] condition 'a1041640432 == 5' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:804:10-804:101)
[Warning][Deadcode][CWE-571] condition 'a1551570219 == 32' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:804:10-804:101)
[Warning][Deadcode][CWE-571] condition 'a1551570219 == 35' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:1066:10-1066:100)
[Warning][Deadcode][CWE-571] condition 'cf == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:1332:10-1332:38)
[Warning][Deadcode][CWE-570] condition 'a938827910 == 34' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:565:11-565:71)
[Warning][Deadcode][CWE-571] condition 'a1944816302 == 32' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:1066:10-1066:100)
[Warning][Deadcode][CWE-571] condition 'a43901077 == 33' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:1066:10-1066:100)
[Warning][Deadcode][CWE-571] condition 'a1136264456 == 33' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:811:9-811:101)
[Warning][Deadcode][CWE-570] condition 'a1933271548 == 3' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:341:11-341:71)
[Warning][Deadcode][CWE-571] condition 'a1041640432 == 5' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:811:9-811:101)
[Warning][Deadcode][CWE-571] condition 'a43901077 == 33' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:1073:10-1073:100)
[Warning][Deadcode][CWE-570] condition 'a1554992028 == 11' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:345:11-345:72)
[Warning][Deadcode][CWE-571] condition 'a1944816302 == 32' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:1073:10-1073:100)
[Warning][Deadcode][CWE-571] condition 'cf == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:820:9-820:38)
[Warning][Deadcode][CWE-570] condition 'a1944816302 == 35' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:349:11-349:70)
[Warning][Deadcode][CWE-570] condition 'a843079661 == 33' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:577:11-577:69)
[Warning][Deadcode][CWE-571] condition 'cf == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:1082:10-1082:38)
[Warning][Deadcode][CWE-571] condition 'a1944816302 == 32' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:1082:10-1082:38)
[Warning][Deadcode][CWE-571] condition 'a1041640432 == 6' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:825:9-825:101)
[Warning][Deadcode][CWE-571] condition 'a1379546326 == 10' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:825:9-825:101)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:1354:11-1354:12)
[Warning][Deadcode][CWE-571] condition 'cf == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:825:9-825:101)
[Warning][Deadcode][CWE-570] condition 'a1136264456 == 36' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:353:11-353:71)
[Warning][Deadcode][CWE-570] condition 'a1379546326 == 9' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:581:11-581:70)
[Warning][Deadcode][CWE-571] condition 'cf == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:1087:13-1087:100)
[Warning][Deadcode][CWE-571] condition 'a43901077 == 32' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:1087:13-1087:100)
[Warning][Deadcode][CWE-571] condition 'a1294378386 == 10' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:1087:13-1087:100)
[Warning][Deadcode][CWE-570] condition 'a1384943560 == 35' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:357:11-357:72)
[Warning][Deadcode][CWE-570] condition 'a927814483 == 12' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:585:11-585:71)
[Warning][Deadcode][CWE-571] condition 'a1379546326 == 10' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:832:9-832:101)
[Warning][Deadcode][CWE-571] condition 'a1041640432 == 6' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:832:9-832:101)
[Warning][Deadcode][CWE-571] condition 'a1294378386 == 10' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:1094:11-1094:100)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:1354:11-1354:12)
[Warning][Deadcode][CWE-570] condition 'a1583922005 == 7' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:361:11-361:71)
[Warning][Deadcode][CWE-571] condition 'a43901077 == 32' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:1094:11-1094:100)
[Warning][Deadcode][CWE-570] condition 'a1583922005 == 9' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:365:11-365:71)
[Warning][Deadcode][CWE-570] condition 'a1796618233 == 36' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:593:11-593:72)
[Warning][Deadcode][CWE-571] condition 'a1379546326 == 10' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:838:10-838:101)
[Warning][Deadcode][CWE-571] condition 'a1294378386 == 10' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:1101:11-1101:100)
[Warning][Deadcode][CWE-571] condition 'a43901077 == 32' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:1101:11-1101:100)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:1354:11-1354:12)
[Warning][Deadcode][CWE-570] condition 'a469914660 == 7' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:369:11-369:69)
[Warning][Deadcode][CWE-570] condition 'a1384943560 == 36' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:597:11-597:72)
[Warning][Deadcode][CWE-571] condition 'cf == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:845:12-845:101)
[Warning][Deadcode][CWE-571] condition 'a1379546326 == 12' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:845:12-845:101)
[Warning][Deadcode][CWE-570] condition 'a1041640432 == 4' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:601:11-601:71)
[Warning][Deadcode][CWE-571] condition 'a1294378386 == 11' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:1110:11-1110:100)
[Warning][Deadcode][CWE-571] condition 'cf == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:1110:11-1110:100)
[Warning][Deadcode][CWE-571] condition 'a43901077 == 32' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:1110:11-1110:100)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:1354:11-1354:12)
[Warning][Deadcode][CWE-571] condition 'a1379546326 == 12' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:852:9-852:101)
[Warning][Deadcode][CWE-570] condition 'a1583922005 == 12' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:381:11-381:72)
[Warning][Deadcode][CWE-571] condition 'a1294378386 == 11' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:1117:9-1117:100)
[Warning][Deadcode][CWE-570] condition 'a1933271548 == 7' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:609:11-609:71)
[Warning][Deadcode][CWE-571] condition 'a43901077 == 32' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:1117:9-1117:100)
[Warning][Deadcode][CWE-571] condition 'a1379546326 == 12' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:859:13-859:101)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:1354:11-1354:12)
[Warning][Deadcode][CWE-571] condition 'a231305105 == 13' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:613:11-613:71)
[Warning][Deadcode][CWE-570] condition 'a1868984816 == 15' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:613:11-613:71)
[Warning][Deadcode][CWE-571] condition 'a1294378386 == 11' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:1124:9-1124:100)
[Warning][Deadcode][CWE-571] condition 'a43901077 == 32' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:1124:9-1124:100)
[Warning][Deadcode][CWE-570] condition 'a1583922005 == 11' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:389:11-389:72)
[Warning][Deadcode][CWE-571] condition 'cf == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:866:10-866:38)
[Warning][Deadcode][CWE-570] condition 'a1933271548 == 8' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:617:11-617:71)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:1354:11-1354:12)
[Warning][Deadcode][CWE-570] condition 'a1591641889 == 6' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:393:11-393:70)
[Warning][Deadcode][CWE-570] condition 'a1384943560 == 32' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:621:11-621:72)
[Warning][Deadcode][CWE-571] condition 'cf == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:1133:10-1133:38)
[Warning][Deadcode][CWE-571] condition 'cf == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:874:11-874:101)
[Warning][Deadcode][CWE-571] condition 'a1431178715 == 33' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:874:11-874:101)
[Warning][Deadcode][CWE-571] condition 'a1041640432 == 9' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:874:11-874:101)
[Warning][Deadcode][CWE-570] condition 'a1933271548 == 3' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:625:11-625:70)
[Warning][Deadcode][CWE-571] condition 'a1868984816 == 8' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:1141:10-1141:100)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:1354:11-1354:12)
[Warning][Deadcode][CWE-571] condition 'cf == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:1141:10-1141:100)
[Warning][Deadcode][CWE-570] condition 'a1933271548 == 3' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:401:11-401:71)
[Warning][Deadcode][CWE-571] condition 'a469914660 == 12' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:1141:10-1141:100)
[Warning][Deadcode][CWE-570] condition 'a1554992028 == 9' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:629:11-629:70)
[Warning][Deadcode][CWE-571] condition 'a1551570219 == 36' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:1141:10-1141:100)
[Warning][Deadcode][CWE-571] condition 'a1041640432 == 9' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:881:13-881:101)
[Warning][Deadcode][CWE-570] condition '0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:12:73-12:74)
[Warning][Deadcode][CWE-571] condition 'a1431178715 == 33' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:881:13-881:101)
[Warning][Deadcode][CWE-570] condition 'a1591641889 == 7' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:633:11-633:70)
[Warning][Deadcode][CWE-571] condition 'a469914660 == 12' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:1147:13-1147:100)
[Warning][Deadcode][CWE-571] condition 'a1551570219 == 36' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:1147:13-1147:100)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:1354:11-1354:12)
[Warning][Deadcode][CWE-570] condition 'a1554992028 == 11' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:637:11-637:72)
[Warning][Deadcode][CWE-571] condition 'cf == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:890:10-890:101)
[Warning][Deadcode][CWE-571] condition 'a1041640432 == 9' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:890:10-890:101)
[Warning][Deadcode][CWE-571] condition 'a1431178715 == 34' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:890:10-890:101)
[Warning][Deadcode][CWE-570] condition 'a1583922005 == 5' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:413:11-413:71)
[Warning][Deadcode][CWE-571] condition 'a1551570219 == 36' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:1152:10-1152:100)
[Warning][Deadcode][CWE-570] condition 'a1591641889 == 6' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:641:11-641:70)
[Warning][Deadcode][CWE-571] condition 'a1431178715 == 34' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:897:9-897:101)
[Warning][Deadcode][CWE-570] condition 'a1554992028 == 13' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:417:11-417:72)
[Warning][Deadcode][CWE-570] condition 'a938827910 == 36' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:645:11-645:71)
[Warning][Deadcode][CWE-571] condition 'a1041640432 == 9' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:897:9-897:101)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:1354:11-1354:12)
[Warning][Deadcode][CWE-570] condition 'a1580663338 == 32' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:649:11-649:72)
[Warning][Deadcode][CWE-571] condition 'a1431178715 == 34' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:903:9-903:101)
[Warning][Deadcode][CWE-570] condition 'a1944816302 == 35' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:425:11-425:72)
[Warning][Deadcode][CWE-570] condition 'a1450658394 == 10' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:653:11-653:72)
[Warning][Deadcode][CWE-571] condition 'cf == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:1168:9-1168:37)
[Warning][Deadcode][CWE-571] condition 'a1431178715 == 34' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:908:13-908:101)
[Warning][Deadcode][CWE-570] condition 'a1591641889 == 8' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:429:11-429:70)
[Warning][Deadcode][CWE-571] condition 'a938827910 == 33' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:657:11-657:71)
[Warning][Deadcode][CWE-571] condition 'a1868984816 == 9' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:1173:10-1173:100)
[Warning][Deadcode][CWE-571] condition 'cf == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:1173:10-1173:100)
[Warning][Deadcode][CWE-571] condition 'a1591641889 == 4' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:1173:10-1173:100)
[Warning][Deadcode][CWE-570] condition 'a1554992028 == 10' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:433:11-433:71)
[Warning][Deadcode][CWE-570] condition 'a1554992028 == 10' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:661:11-661:72)
[Warning][Deadcode][CWE-571] condition 'cf == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:915:9-915:38)
[Warning][Deadcode][CWE-571] condition 'a1868984816 == 9' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:1180:9-1180:100)
[Warning][Deadcode][CWE-571] condition 'a1591641889 == 4' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:1180:9-1180:100)
[Warning][Deadcode][CWE-571] condition 'cf == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:923:13-923:102)
[Warning][Deadcode][CWE-571] condition 'a1944816302 == 32' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:923:13-923:102)
[Warning][Deadcode][CWE-571] condition 'a1041640432 == 10' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:923:13-923:102)
[Warning][Deadcode][CWE-571] condition 'a1591641889 == 4' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:1186:13-1186:100)
[Warning][Deadcode][CWE-570] condition 'a1933271548 == 8' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:445:11-445:71)
[Warning][Deadcode][CWE-570] condition 'a1450658394 == 8' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:673:11-673:71)
[Warning][Deadcode][CWE-571] condition 'a1944816302 == 32' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:929:11-929:102)
[Warning][Deadcode][CWE-570] condition 'a231305105 == 12' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:449:11-449:71)
[Warning][Deadcode][CWE-570] condition 'a231305105 == 9' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:677:11-677:70)
[Warning][Deadcode][CWE-571] condition 'cf == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:1195:10-1195:101)
[Warning][Deadcode][CWE-571] condition 'a1591641889 == 11' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:1195:10-1195:101)
[Warning][Deadcode][CWE-571] condition 'a1944816302 == 32' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:936:10-936:102)
[Warning][Deadcode][CWE-571] condition 'a1491567675 == 16' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:453:11-453:70)
[Warning][Deadcode][CWE-570] condition 'a43901077 == 34' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:453:11-453:70)
[Warning][Deadcode][CWE-571] condition 'a1591641889 == 11' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:1202:9-1202:101)
[Warning][Deadcode][CWE-570] condition 'a2077863541 == 13' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:457:11-457:72)
[Warning][Deadcode][CWE-570] condition 'a1944816302 == 34' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:685:11-685:70)
[Warning][Deadcode][CWE-571] condition 'a1944816302 == 32' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:945:9-945:38)
[Warning][Deadcode][CWE-571] condition 'cf == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:945:9-945:38)
[Warning][Deadcode][CWE-570] condition 'a43901077 == 34' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:461:11-461:69)
[Warning][Deadcode][CWE-570] condition 'a1294378386 == 4' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:689:11-689:69)
[Warning][Deadcode][CWE-571] condition 'a1591641889 == 11' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:1207:9-1207:101)
[Warning][Deadcode][CWE-571] condition 'a1041640432 == 11' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:950:9-950:102)
[Warning][Deadcode][CWE-571] condition 'a1649592707 == 34' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:950:9-950:102)
[Warning][Deadcode][CWE-571] condition 'cf == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:950:9-950:102)
[Warning][Deadcode][CWE-570] condition 'a2108703896 == 34' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:693:11-693:71)
[Warning][Deadcode][CWE-571] condition 'cf == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:1215:9-1215:37)
[Warning][Deadcode][CWE-571] condition 'a1649592707 == 34' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:956:11-956:102)
[Warning][Deadcode][CWE-570] condition 'a1491567675 == 11' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:469:11-469:70)
[Warning][Deadcode][CWE-570] condition 'a1796618233 == 32' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:697:11-697:72)
[Warning][Deadcode][CWE-570] condition 'a927814483 == 13' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:701:11-701:70)
[Warning][Deadcode][CWE-571] condition 'cf == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:1223:13-1223:102)
[Warning][Deadcode][CWE-571] condition 'a1868984816 == 10' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:1223:13-1223:102)
[Warning][Deadcode][CWE-571] condition 'a2077863541 == 10' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:1223:13-1223:102)
[Warning][Deadcode][CWE-571] condition 'a1649592707 == 34' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:963:10-963:102)
[Warning][Deadcode][CWE-570] condition 'a1554992028 == 10' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:477:11-477:71)
[Warning][Deadcode][CWE-570] condition 'a1294378386 == 9' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:705:11-705:69)
[Warning][Deadcode][CWE-571] condition 'a2077863541 == 10' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:1230:11-1230:102)
[Warning][Deadcode][CWE-571] condition 'cf == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:970:10-970:38)
[Warning][Deadcode][CWE-570] condition 'a927814483 == 13' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:481:11-481:71)
[Warning][Deadcode][CWE-570] condition 'a181636438 == 35' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:709:11-709:70)
[Warning][Deadcode][CWE-571] condition 'a1868984816 == 10' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:1230:11-1230:102)
[Warning][Deadcode][CWE-571] condition 'a1649592707 == 36' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:975:10-975:101)
[Warning][Deadcode][CWE-571] condition 'cf == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:975:10-975:101)
[Warning][Deadcode][CWE-570] condition 'a1554992028 == 12' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:485:11-485:72)
[Warning][Deadcode][CWE-571] condition 'a1551570219 == 34' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:975:10-975:101)
[Warning][Deadcode][CWE-571] condition 'a1933271548 == 5' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:975:10-975:101)
[Warning][Deadcode][CWE-571] condition 'a1551570219 == 33' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:715:12-715:102)
[Warning][Deadcode][CWE-571] condition 'cf == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:715:12-715:102)
[Warning][Deadcode][CWE-571] condition 'a1554992028 == 15' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:715:12-715:102)
[Warning][Deadcode][CWE-571] condition 'a1669722568 == 33' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:715:12-715:102)
[Warning][Deadcode][CWE-571] condition 'cf == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:1239:9-1239:38)
[Warning][Deadcode][CWE-570] condition 'a927814483 == 13' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:489:11-489:69)
[Warning][Deadcode][CWE-571] condition 'a1868984816 == 11' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:1244:9-1244:101)
[Warning][Deadcode][CWE-571] condition 'a1933271548 == 5' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:982:9-982:101)
[Warning][Deadcode][CWE-571] condition 'a1649592707 == 36' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:982:9-982:101)
[Warning][Deadcode][CWE-571] condition 'cf == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/eca-rers2018/Problem10.c:1244:9-1244:101)
[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
