Tool Forester
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8
Host apollon*
OS Linux 4.4.0-101-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33553 MB
Date of execution 2017-12-01 19:12:21 CET
Run set [sv-comp18.MemSafety-Heap; sv-comp18.MemSafety-LinkedLists]
Options --trace error-witness.graphml
../sv-benchmarks/c/ status cpu (s) mem (MB) energy (J)
memsafety/960521-1_false-valid-deref.i unknown .052 10   .46
memsafety/test-0137_false-valid-deref.i unknown .076 11   .48
memsafety/test-0235_false-valid-deref.i unknown .055 11   .64
memsafety/960521-1_false-valid-free.i unknown .069 10   .52
memsafety/test-0158_false-valid-free.i unknown .074 10   .44
memsafety/test-0232_false-valid-free.i unknown .059 11   .65
memsafety/20020406-1_false-valid-memtrack.i unknown .082 11   .55
memsafety/20051113-1.c_false-valid-memtrack.i unknown .078 10   .47
memsafety/lockfree-3.1_false-valid-memtrack.i unknown .16  23   2.4 
memsafety/lockfree-3.2_false-valid-memtrack.i unknown .096 14   .76
memsafety/lockfree-3.3_false-valid-memtrack.i unknown .10  13   .73
memsafety/test-0019_false-valid-memtrack_true-termination.i false(valid-memtrack) .077 10   .52
memsafety/test-0102_false-valid-memtrack.i timeout 66     73   1500   
memsafety/test-0158_false-valid-memtrack_true-termination.i unknown .077 10   .47
memsafety/test-0220_false-valid-memtrack.i unknown .049 10   .38
memsafety/test-0232_false-valid-memtrack.i unknown .086 11   .53
memsafety/test-0234_false-valid-memtrack.i unknown .054 11   .51
memsafety/test-0235_false-valid-memtrack.i unknown .082 11   .54
memsafety/960521-1_true-valid-memsafety.i unknown .055 10   .58
memsafety/lockfree-3.0_true-valid-memsafety.i unknown .091 13   .85
memsafety/test-0019_true-valid-memsafety_true-termination.i true .080 12   .77
memsafety/test-0102_true-valid-memsafety.i timeout 140     93   2400   
memsafety/test-0134_true-valid-memsafety.i unknown .054 11   .62
memsafety/test-0158_true-valid-memsafety_true-termination.i unknown .045 10   .65
memsafety/test-0214_true-valid-memsafety_false-termination.i unknown .052 11   .69
memsafety/test-0217_true-valid-memsafety_false-termination.i unknown .077 12   .63
memsafety/test-0218_true-valid-memsafety_false-termination.i unknown .077 11   .52
memsafety/test-0219_true-valid-memsafety.i unknown .070 10   .44
memsafety/test-0232_true-valid-memsafety.i unknown .080 11   .59
memsafety/test-0234_true-valid-memsafety.i unknown .056 11   .49
memsafety/test-0235_true-valid-memsafety.i unknown .080 11   .52
memsafety/test-0236_true-valid-memsafety.i unknown .081 11   .49
memsafety/test-0237_true-valid-memsafety.i unknown .079 11   .60
memsafety/test-0504_true-valid-memsafety.i true 2.1   72   31   
memsafety/test-0513_true-valid-memsafety.i unknown .071 10   .59
memsafety/test-0521_true-valid-memsafety.i unknown .072 11   .61
memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i unknown .050 10   .60
memsafety-ext/dll_extends_pointer_true-valid-memsafety.i true .25  16   2.5 
memsafety-ext/skiplist_2lvl_true-valid-memsafety.i true .58  31   8.4 
memsafety-ext/skiplist_3lvl_true-valid-memsafety.i true 21     360   260   
memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i true .17  21   1.9 
memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i true .82  77   10   
memsafety-ext/tree_of_cslls_true-valid-memsafety.i true .44  30   5.9 
memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i true .53  42   6.1 
memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i true .16  22   1.4 
memsafety-ext2/split_list_test05_false-valid-deref.i unknown .079 11   .57
memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i unknown .060 11   .60
memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i unknown .084 11   .59
memsafety-ext2/length_test03_false-valid-memtrack.i unknown .23  16   2.2 
memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i unknown .088 11   .53
memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i unknown .060 11   .72
memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i unknown .060 11   .75
memsafety-ext2/length_test03_true-valid-memsafety.i unknown .13  14   .92
memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i unknown .059 11   .69
memsafety-ext2/split_list_test05_true-valid-memsafety.i unknown .053 11   .55
list-ext-properties/960521-1_1_false-valid-deref.i unknown .070 10   .64
list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i unknown .10  12   .87
list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i false(valid-deref) .085 11   .57
list-ext-properties/960521-1_1_false-valid-free.i unknown .077 10   .59
list-ext-properties/test-0158_1_false-valid-free.i unknown .067 10   .44
list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i false(valid-memtrack) .078 11   .58
list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i unknown .050 10   .49
list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i unknown .077 10   .47
list-ext-properties/960521-1_1_true-valid-memsafety.i unknown .051 10   .67
list-ext-properties/list-ext_1_true-valid-memsafety.i unknown .10  12   .85
list-ext-properties/list-ext_flag_1_true-valid-memsafety.i unknown .052 10   .55
list-ext-properties/simple-ext_1_true-valid-memsafety.i unknown .088 11   .75
list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i true .092 12   .67
list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i unknown .048 10   .54
list-ext-properties/test-0214_1_true-valid-memsafety.i unknown .053 11   .60
list-ext-properties/test-0217_1_true-valid-memsafety.i unknown .074 11   .43
list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i unknown .050 10   .47
list-ext-properties/test-0504_1_true-valid-memsafety.i unknown .069 10   .58
list-ext-properties/test-0513_1_true-valid-memsafety.i true 40     960   500   
memory-alloca/c.03-alloca_true-valid-memsafety.i unknown .068 12   .50
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c unknown .052 10   .53
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c unknown .076 10   .46
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c unknown .049 10   .48
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c unknown .072 10   .57
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c unknown .047 10   .48
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c unknown .073 9.9 .56
ldv-memsafety/memset2_false-valid-deref-write.c false(valid-deref) .049 9.9 .49
ldv-memsafety/memset3_false-valid-deref-write.c unknown .075 9.9 .49
ldv-memsafety/memsetNonZero2_false-valid-deref-write.c false(valid-deref) .051 9.9 .52
ldv-memsafety/memsetNonZero3_false-valid-deref-write.c unknown .074 9.9 .44
ldv-memsafety/memsetNonZero_false-valid-deref-write.c false(valid-deref) .048 9.9 .49
ldv-memsafety/memset_false-valid-deref-write.c false(valid-deref) .074 9.9 .46
ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c unknown .074 10   .43
ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c unknown .047 9.9 .54
ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c unknown .067 9.9 .49
ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c unknown .050 10   .49
ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c unknown .065 10   .53
ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c unknown .050 9.9 .49
ldv-memsafety/StructInitialization1_true-valid-memsafety.c unknown .049 9.9 .46
ldv-memsafety/StructInitialization2_true-valid-memsafety.c unknown .050 9.9 .47
ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c true .060 12   .63
ldv-memsafety/memset2_true-valid-memsafety_true-termination.c true .087 12   .61
ldv-memsafety/memset3_true-valid-memsafety_true-termination.c unknown .074 9.8 .45
ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c unknown .048 9.9 .50
ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c unknown .065 9.9 .53
ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c unknown .075 9.9 .43
ldv-memsafety/memset_true-valid-memsafety_true-termination.c true .085 12   .61
ldv-memsafety/memleaks_test14_3_false-valid-deref.i unknown .074 11   .55
ldv-memsafety/memleaks_test22_3_false-valid-deref.i unknown .077 11   .52
ldv-memsafety/memleaks_test22_5_false-valid-deref.i unknown .094 11   .48
ldv-memsafety/memleaks_test23_2_false-valid-deref.i unknown .091 12   .72
ldv-memsafety/memleaks_test23_4_false-valid-deref.i unknown .063 11   .78
ldv-memsafety/memleaks_test11_1_false-valid-free.i unknown .062 11   .53
ldv-memsafety/memleaks_test12_false-valid-free.i unknown .064 12   .87
ldv-memsafety/memleaks_test17_2_false-valid-free.i unknown .063 11   .65
ldv-memsafety/memleaks_test19_false-valid-free.i unknown .079 11   .73
ldv-memsafety/memleaks_test1_false-valid-free.i unknown .059 11   .60
ldv-memsafety/memleaks_test3_false-valid-free.i unknown .059 11   .66
ldv-memsafety/memleaks_test6_2_false-valid-free.i unknown .061 11   .63
ldv-memsafety/memleaks_test8_2_false-valid-free.i unknown .061 11   .62
ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i unknown .088 11   .62
ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i unknown .067 11   .52
ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i unknown .061 11   .64
ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i unknown .060 11   .63
ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i unknown .060 11   .71
ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i unknown .086 11   .69
ldv-memsafety/memleaks_test15_false-valid-memtrack.i unknown .071 11   .75
ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i unknown .064 11   .61
ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i unknown .077 11   .59
ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i unknown .067 11   .62
ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i unknown .077 11   .62
ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i unknown .061 11   .51
ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i unknown .077 11   .63
ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i unknown .061 11   .85
ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i unknown .068 13   .74
ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i unknown .085 11   .54
ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i unknown .088 12   .60
ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i unknown .084 11   .59
ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i unknown .060 11   .61
ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i unknown .076 11   .50
ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i unknown .087 11   .61
ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i unknown .072 11   .65
ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i unknown .060 11   .69
ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i unknown .061 11   .71
ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i unknown .063 11   .60
ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i unknown .083 11   .59
ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i unknown .081 11   .59
ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i unknown .083 11   .65
ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i unknown .077 11   .70
ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i unknown .077 11   .64
ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i unknown .083 11   .61
ldv-memsafety/memleaks_test12_true-valid-memsafety.i unknown .092 12   .61
ldv-memsafety/memleaks_test13_true-valid-memsafety.i unknown .078 11   .60
ldv-memsafety/memleaks_test14_true-valid-memsafety.i unknown .085 11   .64
ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i unknown .062 11   .83
ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i unknown .064 11   .65
ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i unknown .061 11   .64
ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i unknown .090 11   .61
ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i unknown .058 11   .70
ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i unknown .085 11   .65
ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i unknown .063 11   .76
ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i unknown .060 11   .65
ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i unknown .076 11   .69
ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i unknown .084 11   .62
ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i unknown .062 11   .63
ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i unknown .063 11   .62
ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i unknown .066 12   .76
ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i unknown .064 12   .87
ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i unknown .057 11   .72
ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i unknown .061 11   .64
ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i unknown .082 11   .56
ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i unknown .077 11   .69
ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i unknown .062 11   .71
ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i unknown .12  32   .73
ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i unknown .077 11   .65
ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i unknown .074 9.9 .47
ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i unknown .048 10   .47
ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i unknown .048 9.9 .49
ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i unknown .058 9.9 .60
ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i unknown .048 10   .61
ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i unknown .048 9.9 .51
ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i unknown .075 9.9 .46
ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i unknown .046 10   .59
ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i unknown .067 10   .51
ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i unknown .068 9.9 .42
heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i unknown .058 11   .56
heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i unknown .055 11   .66
heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i unknown .072 11   .46
heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i unknown .14  14   2.0 
heap-manipulation/tree_false-unreach-call_false-valid-deref.i unknown .055 11   .51
heap-manipulation/tree_false-valid-deref.i false(valid-deref) .073 11   .63
heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) .10  15   .94
forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i unknown .40  19   5.5 
forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 1.6   38   21   
forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) .71  24   10   
list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i true .19  16   2.0 
list-properties/list_flag_true-unreach-call_false-valid-memtrack.i unknown .051 10   .59
list-properties/list_true-unreach-call_false-valid-memtrack.i timeout 2.6   30   850   
list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i witness invalid (false(valid-memtrack)) .080 11   .52
list-properties/simple_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) .052 11   .61
list-properties/splice_true-unreach-call_false-valid-memtrack.i timeout 5.5   73   930   
ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i unknown .15  18   1.3 
ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i unknown .14  17   1.6 
ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i unknown .12  17   1.3 
ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i unknown .15  17   1.4 
ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i unknown .14  17   1.6 
ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i unknown .15  17   1.4 
ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i unknown .14  17   1.6 
ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i unknown .14  17   1.5 
ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i unknown .12  17   1.7 
ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i unknown .15  17   1.4 
ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i unknown .15  17   1.4 
ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i unknown .14  17   1.5 
ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i unknown .13  17   1.6 
forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i true .54  29   6.4 
forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i true 31     120   410   
forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i true 1.3   42   15   
forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i true 1.5   30   19   
forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i true 1.4   37   18   
forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i true 1.3   37   20   
forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i true 240     710   3300   
forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i true 120     450   1700   
forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i true .12  14   1.4 
forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i true .90  39   14   
forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i true 660     1600   7300   
forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i true 2.1   47   28   
forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i true .94  35   15   
forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i true 17     91   240   
forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i true 6.1   51   73   
forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i true .48  22   6.0 
forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i true 4.3   66   55   
forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i true 190     390   2900   
forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i true .10  14   1.3 
forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i unknown .070 11   .55
forester-heap/sll-01_false-unreach-call_false-valid-deref.i false(valid-deref) .071 12   .76
forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i unknown .071 11   .54
../sv-benchmarks/c/ status cpu (s) mem (MB) energy (J)
total 231 1600    8100 23000  
    correct results 42 1300    5700 17000  
        correct true 35 1300    5600 17000  
        correct false 7 .45 73 3.9
    correct-unconfimed results 6 2.7  110 34  
        correct-unconfirmed true 0
        correct-unconfirmed false 6 2.7  110 34  
    incorrect results 0
        incorrect true 0
        incorrect false 0
Run set [sv-comp18.MemSafety-Heap; sv-comp18.MemSafety-LinkedLists]