Overview of 174 results from 163 .log files Categories 72 AllSpecificationsHoldResult 49 Unknown 33 CounterExampleResult 18 ExceptionOrErrorResult 1 overapproximation of bitwiseAnd 1 overapproximation of shiftLeft Actual results 72 AllSpecifications... - AllSpecificationsHoldResult: All specifications hold: 33 CounterExampleResult - CounterExampleResult [Line: 4]: a call of __VERIFIER_error() is reachable: 10 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: AssertionError: must not be computed: de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.base.chandler.TypeSizeAndOffsetComputer.constructSizeTValueAndOffsets_StructAndUnion(TypeSizeAndOffsetComputer.java:254): 4 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: IllegalArgumentException: The value of the constructed RValue has a BoogieType ([int]int) that is incompatible with its CType (*~UINT32~0).: de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.result.RValue.checkType(RValue.java:92): 4 ExceptionOrErrorR... de.uni_freiburg.informatik.ultimate.plugins.generator.cacsl2boogietranslator: IllegalArgumentException: The value of the constructed RValue has a BoogieType ([bv32]bv32) that is incompatible with its CType (*~UINT32~0).: de.uni_freiburg.informatik.ultimate.cdt.translation.implementation.result.RValue.checkType(RValue.java:92): 1 overapproximation... Reason: overapproximation of shiftLeft at line 55. : 1 overapproximation... Reason: overapproximation of bitwiseAnd at line 1330. : 1 Unknown results/svcomp19-reach-loops-taipan.2018-10-21_1224.logfiles/sv-comp19-reach-loops.vogal_true-unreach-call.i.log: 1 Unknown results/svcomp19-reach-loops-taipan.2018-10-21_1224.logfiles/sv-comp19-reach-loops.vogal_false-unreach-call.i.log: 1 Unknown results/svcomp19-reach-loops-taipan.2018-10-21_1224.logfiles/sv-comp19-reach-loops.up_true-unreach-call_true-termination.i.log: 1 Unknown results/svcomp19-reach-loops-taipan.2018-10-21_1224.logfiles/sv-comp19-reach-loops.sum_array_true-unreach-call.i.log: 1 Unknown results/svcomp19-reach-loops-taipan.2018-10-21_1224.logfiles/sv-comp19-reach-loops.sum03_false-unreach-call_true-termination.i.log: 1 Unknown results/svcomp19-reach-loops-taipan.2018-10-21_1224.logfiles/sv-comp19-reach-loops.simple_false-unreach-call4.i.log: 1 Unknown results/svcomp19-reach-loops-taipan.2018-10-21_1224.logfiles/sv-comp19-reach-loops.simple_false-unreach-call1.i.log: 1 Unknown results/svcomp19-reach-loops-taipan.2018-10-21_1224.logfiles/sv-comp19-reach-loops.simple_array_index_value_true-unreach-call3_true-termination.i.log: 1 Unknown results/svcomp19-reach-loops-taipan.2018-10-21_1224.logfiles/sv-comp19-reach-loops.simple_array_index_value_true-unreach-call2_true-termination.i.log: 1 Unknown results/svcomp19-reach-loops-taipan.2018-10-21_1224.logfiles/sv-comp19-reach-loops.simple_array_index_value_true-unreach-call1_true-termination.i.log: 1 Unknown results/svcomp19-reach-loops-taipan.2018-10-21_1224.logfiles/sv-comp19-reach-loops.seq_true-unreach-call_true-termination.i.log: 1 Unknown results/svcomp19-reach-loops-taipan.2018-10-21_1224.logfiles/sv-comp19-reach-loops.phases_true-unreach-call1.i.log: 1 Unknown results/svcomp19-reach-loops-taipan.2018-10-21_1224.logfiles/sv-comp19-reach-loops.phases_false-unreach-call1.i.log: 1 Unknown results/svcomp19-reach-loops-taipan.2018-10-21_1224.logfiles/sv-comp19-reach-loops.nested_false-unreach-call1.i.log: 1 Unknown results/svcomp19-reach-loops-taipan.2018-10-21_1224.logfiles/sv-comp19-reach-loops.nec40_true-unreach-call_true-termination.i.log: 1 Unknown results/svcomp19-reach-loops-taipan.2018-10-21_1224.logfiles/sv-comp19-reach-loops.n.c40_true-unreach-call_true-termination.i.log: 1 Unknown results/svcomp19-reach-loops-taipan.2018-10-21_1224.logfiles/sv-comp19-reach-loops.n.c24_false-unreach-call.i.log: 1 Unknown results/svcomp19-reach-loops-taipan.2018-10-21_1224.logfiles/sv-comp19-reach-loops.mcmillan2006_true-unreach-call_true-termination.c.i.log: 1 Unknown results/svcomp19-reach-loops-taipan.2018-10-21_1224.logfiles/sv-comp19-reach-loops.matrix_true-unreach-call_true-termination.i.log: 1 Unknown results/svcomp19-reach-loops-taipan.2018-10-21_1224.logfiles/sv-comp19-reach-loops.ludcmp_false-unreach-call.i.log: 1 Unknown results/svcomp19-reach-loops-taipan.2018-10-21_1224.logfiles/sv-comp19-reach-loops.lu.cmp_true-unreach-call.i.log: 1 Unknown results/svcomp19-reach-loops-taipan.2018-10-21_1224.logfiles/sv-comp19-reach-loops.linear_search_false-unreach-call.i.log: 1 Unknown results/svcomp19-reach-loops-taipan.2018-10-21_1224.logfiles/sv-comp19-reach-loops.linear_sea.ch_true-unreach-call.i.log: 1 Unknown results/svcomp19-reach-loops-taipan.2018-10-21_1224.logfiles/sv-comp19-reach-loops.invert_string_true-unreach-call_true-termination.i.log: 1 Unknown results/svcomp19-reach-loops-taipan.2018-10-21_1224.logfiles/sv-comp19-reach-loops.insertion_sort_true-unreach-call_true-termination.i.log: 1 Unknown results/svcomp19-reach-loops-taipan.2018-10-21_1224.logfiles/sv-comp19-reach-loops.insertion_sort_false-unreach-call_true-termination.i.log: 1 Unknown results/svcomp19-reach-loops-taipan.2018-10-21_1224.logfiles/sv-comp19-reach-loops.heavy_true-unreach-call.c.log: 1 Unknown results/svcomp19-reach-loops-taipan.2018-10-21_1224.logfiles/sv-comp19-reach-loops.heavy_false-unreach-call.c.log: 1 Unknown results/svcomp19-reach-loops-taipan.2018-10-21_1224.logfiles/sv-comp19-reach-loops.heapsort_true-unreach-call_true-termination.i.log: 1 Unknown results/svcomp19-reach-loops-taipan.2018-10-21_1224.logfiles/sv-comp19-reach-loops.half_2_true-unreach-call_true-termination.i.log: 1 Unknown results/svcomp19-reach-loops-taipan.2018-10-21_1224.logfiles/sv-comp19-reach-loops.gr2006_true-unreach-call_true-termination.c.i.log: 1 Unknown results/svcomp19-reach-loops-taipan.2018-10-21_1224.logfiles/sv-comp19-reach-loops.functions_true-unreach-call1_true-termination.i.log: 1 Unknown results/svcomp19-reach-loops-taipan.2018-10-21_1224.logfiles/sv-comp19-reach-loops.functions_false-unreach-call1_true-termination.i.log: 1 Unknown results/svcomp19-reach-loops-taipan.2018-10-21_1224.logfiles/sv-comp19-reach-loops.fragtest_simple_true-unreach-call_true-termination.i.log: 1 Unknown results/svcomp19-reach-loops-taipan.2018-10-21_1224.logfiles/sv-comp19-reach-loops.eureka_05_true-unreach-call_true-termination.i.log: 1 Unknown results/svcomp19-reach-loops-taipan.2018-10-21_1224.logfiles/sv-comp19-reach-loops.eureka_01_true-unreach-call.i.log: 1 Unknown results/svcomp19-reach-loops-taipan.2018-10-21_1224.logfiles/sv-comp19-reach-loops.eureka_01_false-unreach-call_true-termination.i.log: 1 Unknown results/svcomp19-reach-loops-taipan.2018-10-21_1224.logfiles/sv-comp19-reach-loops.diamond_true-unreach-call1_true-termination.i.log: 1 Unknown results/svcomp19-reach-loops-taipan.2018-10-21_1224.logfiles/sv-comp19-reach-loops.diamond_false-unreach-call1.i.log: 1 Unknown results/svcomp19-reach-loops-taipan.2018-10-21_1224.logfiles/sv-comp19-reach-loops.count_by_nondet_true-unreach-call_true-termination.i.log: 1 Unknown results/svcomp19-reach-loops-taipan.2018-10-21_1224.logfiles/sv-comp19-reach-loops.count_by_k_true-unreach-call_true-termination.i.log: 1 Unknown results/svcomp19-reach-loops-taipan.2018-10-21_1224.logfiles/sv-comp19-reach-loops.count_by_2_true-unreach-call_true-termination.i.log: 1 Unknown results/svcomp19-reach-loops-taipan.2018-10-21_1224.logfiles/sv-comp19-reach-loops.const_false-unreach-call1.i.log: 1 Unknown results/svcomp19-reach-loops-taipan.2018-10-21_1224.logfiles/sv-comp19-reach-loops.compact_false-unreach-call.c.log: 1 Unknown results/svcomp19-reach-loops-taipan.2018-10-21_1224.logfiles/sv-comp19-reach-loops.array_true-unreach-call4_true-termination.i.log: 1 Unknown results/svcomp19-reach-loops-taipan.2018-10-21_1224.logfiles/sv-comp19-reach-loops.array_true-unreach-call2_true-termination.i.log: 1 Unknown results/svcomp19-reach-loops-taipan.2018-10-21_1224.logfiles/sv-comp19-reach-loops.array_false-unreach-call3_true-termination.i.log: 1 Unknown results/svcomp19-reach-loops-taipan.2018-10-21_1224.logfiles/sv-comp19-reach-loops.array_false-unreach-call2_true-termination.i.log: 1 Unknown results/svcomp19-reach-loops-taipan.2018-10-21_1224.logfiles/sv-comp19-reach-loops.array_false-unreach-call1_true-termination.i.log: