Tool ULTIMATE Kojak fd30d3d8
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8
Host [zeus01; zeus02; zeus03; zeus04; zeus05; zeus06; zeus07; zeus08; zeus09; zeus10; zeus11; zeus12; zeus13; zeus14; zeus15; zeus16; zeus17; zeus18; zeus19; zeus20; zeus21; zeus22; zeus23; zeus24]
OS Linux 4.2.0-23-generic
System CPU: Intel Xeon E5-2650 v2 @ 2.60 GHz, cores: 32, frequency: 3.4 GHz; RAM: 135149 MB
Date of execution 2016-01-08 15:10:30 CET [[ 2016-01-15 09:49:48 CET ]] [[ 2016-01-15 22:43:29 CET ]]
Run set sv-comp16.HeapMemSafety
Options [[ -witness-check -disable-java-assertions -heap 10000m -setprop cpa.arg.errorPath.graphml=error-witness.graphml -spec ../../results-verified/ukojak.2016-01-08_1510.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]][[ ../../results-verified/ukojak.2016-01-08_1510.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]]
../../sv-benchmarks/c/ status cputime (s) walltime (s) memUsage (MB) witness wit1_status wit1_cputime (s) wit1_walltime (s) wit1_memUsage (MB) wit2_status wit2_cputime (s) wit2_walltime (s) wit2_memUsage (MB)
memsafety/960521-1_false-valid-deref.i timeout 140   930   1400 wit - -
memsafety/test-0137_false-valid-deref.i unknown 80   47   1600 wit - -
memsafety/test-0235_false-valid-deref.i timeout 150   930   1600 wit - -
memsafety/960521-1_false-valid-free.i timeout 140   930   1200 wit - -
memsafety/test-0158_false-valid-free.i timeout 130   930   1300 wit - -
memsafety/test-0232_false-valid-free.i timeout 61   930   990 wit - -
memsafety/20020406-1_false-valid-memtrack.i false(valid-deref) 12   3.5 330 wit - -
memsafety/20051113-1.c_false-valid-memtrack.i timeout 140   930   1400 wit - -
memsafety/lockfree-3.1_false-valid-memtrack.i timeout 120   930   1500 wit - -
memsafety/lockfree-3.2_false-valid-memtrack.i false(valid-memtrack) 14   4.5 460 wit false(valid-memtrack) 7.4 4.0 270 false(valid-memtrack) 19 11   410
memsafety/lockfree-3.3_false-valid-memtrack.i timeout 130   930   1400 wit - -
memsafety/test-0019_false-valid-memtrack.i timeout 130   930   1500 wit - -
memsafety/test-0102_false-valid-memtrack.i error 180   160   1100 wit - -
memsafety/test-0158_false-valid-memtrack.i timeout 130   930   1400 wit - -
memsafety/test-0220_false-valid-memtrack.i timeout 140   930   1500 wit - -
memsafety/test-0232_false-valid-memtrack.i error 46   28   550 wit - -
memsafety/test-0234_false-valid-memtrack.i timeout 140   930   1200 wit - -
memsafety/test-0235_false-valid-memtrack.i timeout 140   930   1400 wit - -
memsafety/960521-1_true-valid-memsafety.i timeout 140   930   1300 wit - -
memsafety/lockfree-3.0_true-valid-memsafety.i timeout 120   930   1300 wit - -
memsafety/test-0019_true-valid-memsafety.i timeout 130   930   1500 wit - -
memsafety/test-0102_true-valid-memsafety.i timeout 120   930   1000 wit - -
memsafety/test-0134_true-valid-memsafety.i unknown 94   62   1100 wit - -
memsafety/test-0158_true-valid-memsafety.i timeout 140   930   1300 wit - -
memsafety/test-0214_true-valid-memsafety.i timeout 63   930   900 wit - -
memsafety/test-0217_true-valid-memsafety.i timeout 65   930   1300 wit - -
memsafety/test-0218_true-valid-memsafety.i timeout 58   930   1100 wit - -
memsafety/test-0219_true-valid-memsafety.i timeout 140   930   1300 wit - -
memsafety/test-0232_true-valid-memsafety.i timeout 58   930   1000 wit - -
memsafety/test-0234_true-valid-memsafety.i timeout 140   930   1500 wit - -
memsafety/test-0235_true-valid-memsafety.i timeout 140   930   1600 wit - -
memsafety/test-0236_true-valid-memsafety.i timeout 140   930   1400 wit - -
memsafety/test-0237_true-valid-memsafety.i timeout 140   930   1400 wit - -
memsafety/test-0504_true-valid-memsafety.i timeout 120   930   1300 wit - -
memsafety/test-0513_true-valid-memsafety.i error 84   62   800 wit - -
memsafety/test-0521_true-valid-memsafety.i timeout 79   930   1200 wit - -
memsafety-ext/dll_extends_pointer_true-valid-memsafety.i error 95   79   540 wit - -
memsafety-ext/skiplist_2lvl_true-valid-memsafety.i timeout 130   930   1500 wit - -
memsafety-ext/skiplist_3lvl_true-valid-memsafety.i timeout 130   930   1500 wit - -
memsafety-ext/tree_cnstr_true-valid-memsafety.i timeout 370   930   1400 wit - -
memsafety-ext/tree_dsw_true-valid-memsafety.i timeout 47   930   960 wit - -
memsafety-ext/tree_of_cslls_true-valid-memsafety.i timeout 48   930   780 wit - -
memsafety-ext/tree_parent_ptr_true-valid-memsafety.i error 240   220   990 wit - -
memsafety-ext/tree_stack_true-valid-memsafety.i timeout 100   930   1000 wit - -
list-ext-properties/960521-1_1_false-valid-deref.i error 39   22   490 wit - -
list-ext-properties/960521-1_1_false-valid-free.i false(valid-free) 20   7.5 390 wit false(valid-free) 7.2 4.0 250 false(valid-free) 12 6.8 340
list-ext-properties/test-0158_1_false-valid-free.i timeout 140   930   1500 wit - -
list-ext-properties/test-0019_1_false-valid-memtrack.i timeout 130   930   1600 wit - -
list-ext-properties/test-0158_1_false-valid-memtrack.i timeout 140   930   1200 wit - -
list-ext-properties/test-0232_1_false-valid-memtrack.i timeout 140   930   1300 wit - -
list-ext-properties/960521-1_1_true-valid-memsafety.i error 51   33   560 wit - -
list-ext-properties/list-ext_1_true-valid-memsafety.i timeout 38   930   620 wit - -
list-ext-properties/list-ext_flag_1_true-valid-memsafety.i timeout 140   930   1200 wit - -
list-ext-properties/simple-ext_1_true-valid-memsafety.i timeout 360   930   1100 wit - -
list-ext-properties/test-0019_1_true-valid-memsafety.i timeout 140   930   1300 wit - -
list-ext-properties/test-0158_1_true-valid-memsafety.i timeout 130   930   1200 wit - -
list-ext-properties/test-0214_1_true-valid-memsafety.i timeout 68   930   1000 wit - -
list-ext-properties/test-0217_1_true-valid-memsafety.i timeout 78   930   1200 wit - -
list-ext-properties/test-0232_1_true-valid-memsafety.i timeout 140   930   1500 wit - -
list-ext-properties/test-0504_1_true-valid-memsafety.i error 200   190   630 wit - -
list-ext-properties/test-0513_1_true-valid-memsafety.i timeout 50   930   960 wit - -
memory-alloca/c.03-alloca_true-valid-memsafety.i timeout 48   930   780 wit - -
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c false(valid-deref) 11   3.2 350 wit false(valid-deref) 5.2 3.0 220 true 12 7.5 330
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c false(valid-deref) 13   4.1 410 wit false(valid-deref) 5.1 2.9 220 false(valid-deref) 12 7.0 340
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c false(valid-deref) 11   3.0 350 wit false(valid-deref) 4.6 2.7 210 false(valid-deref) 11 6.4 340
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c false(valid-deref) 10   3.1 330 wit false(valid-deref) 4.9 2.9 220 false(valid-deref) 12 6.7 340
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c timeout 63   930   1000 wit - -
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c timeout 70   930   1200 wit - -
ldv-memsafety/memset2_false-valid-deref-write.c false(valid-deref) 8.9 2.7 320 wit false(valid-deref) 4.0 2.4 190 true 14 8.0 340
ldv-memsafety/memset3_false-valid-deref-write.c false(valid-deref) 9.3 2.7 340 wit false(valid-deref) 4.1 2.5 190 true 14 8.3 330
ldv-memsafety/memsetNonZero2_false-valid-deref-write.c false(valid-deref) 10   2.8 340 wit false(valid-deref) 3.6 2.1 190 true 14 8.3 340
ldv-memsafety/memsetNonZero3_false-valid-deref-write.c false(valid-deref) 8.5 2.8 320 wit false(valid-deref) 4.0 2.4 190 true 14 8.8 340
ldv-memsafety/memsetNonZero_false-valid-deref-write.c false(valid-deref) 8.9 2.8 320 wit false(valid-deref) 4.0 2.5 190 true 13 7.5 340
ldv-memsafety/memset_false-valid-deref-write.c false(valid-deref) 9.0 2.6 320 wit false(valid-deref) 4.0 2.3 190 true 15 8.4 340
ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c timeout 170   930   750 wit - -
ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety.c timeout 59   930   860 wit - -
ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c timeout 70   930   910 wit - -
ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety.c timeout 56   930   980 wit - -
ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c timeout 69   930   800 wit - -
ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety.c timeout 61   930   860 wit - -
ldv-memsafety/StructInitialization1_true-valid-memsafety.c timeout 130   930   1700 wit - -
ldv-memsafety/StructInitialization2_true-valid-memsafety.c timeout 140   930   1700 wit - -
ldv-memsafety/StructInitialization_true-valid-memsafety.c timeout 130   930   1300 wit - -
ldv-memsafety/memset2_true-valid-memsafety.c timeout 130   930   1400 wit - -
ldv-memsafety/memset3_true-valid-memsafety.c timeout 130   930   1300 wit - -
ldv-memsafety/memsetNonZero2_true-valid-memsafety.c timeout 130   930   1200 wit - -
ldv-memsafety/memsetNonZero3_true-valid-memsafety.c timeout 130   930   1200 wit - -
ldv-memsafety/memsetNonZero_true-valid-memsafety.c timeout 130   930   1100 wit - -
ldv-memsafety/memset_true-valid-memsafety.c timeout 130   930   1200 wit - -
ldv-memsafety/memleaks_test14_3_false-valid-deref.i unknown 15   5.3 460 wit - -
ldv-memsafety/memleaks_test22_3_false-valid-deref.i timeout 140   930   1500 wit - -
ldv-memsafety/memleaks_test22_5_false-valid-deref.i timeout 150   930   1600 wit - -
ldv-memsafety/memleaks_test23_2_false-valid-deref.i error 18   5.9 430 wit - -
ldv-memsafety/memleaks_test23_4_false-valid-deref.i error 19   6.0 450 wit - -
ldv-memsafety/memleaks_test11_1_false-valid-free.i timeout 43   930   640 wit - -
ldv-memsafety/memleaks_test12_false-valid-free.i unknown 17   5.1 470 wit - -
ldv-memsafety/memleaks_test17_2_false-valid-free.i timeout 46   930   790 wit - -
ldv-memsafety/memleaks_test19_false-valid-free.i timeout 280   930   580 wit - -
ldv-memsafety/memleaks_test2_false-valid-free.i false(valid-free) 9.9 3.1 340 wit false(valid-free) 6.9 3.8 240 true 13 7.3 350
ldv-memsafety/memleaks_test3_false-valid-free.i false(valid-free) 9.5 2.9 330 wit false(valid-free) 6.9 3.8 250 false(valid-free) 11 6.3 330
ldv-memsafety/memleaks_test6_2_false-valid-free.i timeout 140   930   1300 wit - -
ldv-memsafety/memleaks_test8_2_false-valid-free.i false(valid-free) 10   3.1 330 wit false(valid-free) 7.1 3.9 240 false(valid-free) 12 7.5 330
ldv-memsafety/memleaks_test10_false-valid-memtrack.i timeout 130   930   900 wit - -
ldv-memsafety/memleaks_test11_2_false-valid-memtrack.i timeout 51   930   800 wit - -
ldv-memsafety/memleaks_test13_1_false-valid-memtrack.i false(valid-memtrack) 22   9.4 600 wit true 9.0 5.1 280 false(valid-memtrack) 12 7.0 340
ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i unknown 17   6.2 460 wit - -
ldv-memsafety/memleaks_test14_1_false-valid-memtrack.i false(valid-memtrack) 16   5.7 470 wit true 7.3 4.1 250 false(valid-memtrack) 14 8.1 340
ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i unknown 14   4.6 350 wit - -
ldv-memsafety/memleaks_test15_false-valid-memtrack.i false(valid-deref) 12   3.5 340 wit - -
ldv-memsafety/memleaks_test16_1_false-valid-memtrack.i timeout 140   930   1400 wit - -
ldv-memsafety/memleaks_test16_2_false-valid-memtrack.i false(valid-memtrack) 11   3.1 340 wit false(valid-memtrack) 6.8 3.8 240 false(valid-memtrack) 11 6.5 330
ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i timeout 47   930   840 wit - -
ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i timeout 47   930   860 wit - -
ldv-memsafety/memleaks_test18_1_false-valid-memtrack.i timeout 37   930   720 wit - -
ldv-memsafety/memleaks_test18_2_false-valid-memtrack.i timeout 49   930   640 wit - -
ldv-memsafety/memleaks_test18_3_false-valid-memtrack.i timeout 120   930   810 wit - -
ldv-memsafety/memleaks_test1_false-valid-memtrack.i false(valid-memtrack) 8.7 2.7 330 wit false(valid-memtrack) 6.6 3.7 250 false(valid-memtrack) 12 7.1 330
ldv-memsafety/memleaks_test20_false-valid-memtrack.i false(valid-memtrack) 10   3.0 340 wit false(valid-memtrack) 7.1 3.9 240 false(valid-memtrack) 11 6.9 330
ldv-memsafety/memleaks_test21_false-valid-memtrack.i false(valid-memtrack) 9.7 2.9 330 wit false(valid-memtrack) 7.2 4.0 250 false(valid-memtrack) 11 6.4 330
ldv-memsafety/memleaks_test22_1_false-valid-memtrack.i timeout 140   930   1400 wit - -
ldv-memsafety/memleaks_test22_2_false-valid-memtrack.i timeout 140   930   1400 wit - -
ldv-memsafety/memleaks_test22_4_false-valid-memtrack.i timeout 140   930   1300 wit - -
ldv-memsafety/memleaks_test4_false-valid-memtrack.i timeout 39   930   760 wit - -
ldv-memsafety/memleaks_test5_1_false-valid-memtrack.i false(valid-memtrack) 9.3 2.8 320 wit true 7.9 4.3 270 false(valid-memtrack) 11 6.4 330
ldv-memsafety/memleaks_test5_2_false-valid-memtrack.i timeout 140   930   1500 wit - -
ldv-memsafety/memleaks_test6_1_false-valid-memtrack.i timeout 140   930   1300 wit - -
ldv-memsafety/memleaks_test6_3_false-valid-memtrack.i timeout 140   930   1400 wit - -
ldv-memsafety/memleaks_test7_false-valid-memtrack.i timeout 140   930   1600 wit - -
ldv-memsafety/memleaks_test8_1_false-valid-memtrack.i false(valid-memtrack) 9.6 2.9 330 wit false(valid-memtrack) 7.0 3.8 240 false(valid-memtrack) 11 6.3 330
ldv-memsafety/memleaks_test9_1_false-valid-memtrack.i timeout 140   930   1300 wit - -
ldv-memsafety/memleaks_test9_2_false-valid-memtrack.i false(valid-memtrack) 8.7 2.8 330 wit false(valid-memtrack) 7.0 4.0 240 false(valid-memtrack) 12 7.1 330
ldv-memsafety/memleaks_test10_true-valid-memsafety.i timeout 150   930   710 wit - -
ldv-memsafety/memleaks_test11_true-valid-memsafety.i timeout 61   930   950 wit - -
ldv-memsafety/memleaks_test12_true-valid-memsafety.i unknown 18   5.7 340 wit - -
ldv-memsafety/memleaks_test13_true-valid-memsafety.i unknown 17   5.9 430 wit - -
ldv-memsafety/memleaks_test14_true-valid-memsafety.i unknown 13   3.8 330 wit - -
ldv-memsafety/memleaks_test15_true-valid-memsafety.i timeout 170   930   1000 wit - -
ldv-memsafety/memleaks_test16_true-valid-memsafety.i timeout 140   930   1600 wit - -
ldv-memsafety/memleaks_test17_1_true-valid-memsafety.i timeout 49   930   1100 wit - -
ldv-memsafety/memleaks_test17_2_true-valid-memsafety.i timeout 46   930   580 wit - -
ldv-memsafety/memleaks_test18_true-valid-memsafety.i timeout 40   930   600 wit - -
ldv-memsafety/memleaks_test19_true-valid-memsafety.i timeout 330   930   930 wit - -
ldv-memsafety/memleaks_test1_true-valid-memsafety.i timeout 140   930   1600 wit - -
ldv-memsafety/memleaks_test20_true-valid-memsafety.i unknown 11   3.2 340 wit - -
ldv-memsafety/memleaks_test21_true-valid-memsafety.i timeout 140   930   1300 wit - -
ldv-memsafety/memleaks_test22_1_true-valid-memsafety.i timeout 140   930   1500 wit - -
ldv-memsafety/memleaks_test22_2_true-valid-memsafety.i timeout 140   930   1500 wit - -
ldv-memsafety/memleaks_test22_3_true-valid-memsafety.i timeout 150   930   1500 wit - -
ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i error 18   5.8 410 wit - -
ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i error 19   6.2 420 wit - -
ldv-memsafety/memleaks_test2_true-valid-memsafety.i timeout 140   930   1500 wit - -
ldv-memsafety/memleaks_test3_true-valid-memsafety.i timeout 140   930   1200 wit - -
ldv-memsafety/memleaks_test4_true-valid-memsafety.i timeout 32   930   620 wit - -
ldv-memsafety/memleaks_test5_true-valid-memsafety.i timeout 140   930   1300 wit - -
ldv-memsafety/memleaks_test6_true-valid-memsafety.i timeout 140   930   1300 wit - -
ldv-memsafety/memleaks_test7_true-valid-memsafety.i true 17   5.8 410 wit - -
ldv-memsafety/memleaks_test8_true-valid-memsafety.i timeout 140   930   1300 wit - -
ldv-memsafety/memleaks_test9_true-valid-memsafety.i timeout 140   930   1300 wit - -
../../sv-benchmarks/c/ status cputime (s) walltime (s) memUsage (MB) witness wit1_status wit1_cputime (s) wit1_walltime (s) wit1_memUsage (MB) wit2_status wit2_cputime (s) wit2_walltime (s) wit2_memUsage (MB)
total tasks 158 15000 100000   150000 158 140   82   5500   158 300   180   8100  
    correct results 25 290 92   9000 24 140   82   5500   24 300   180   8100  
        correct true 1 17 5.8 410 3 0   0   0   8 0   0   0  
        correct false 24 270 86   8600 21 140   82   5500   16 300   180   8100  
    incorrect results 2 24 7.0 670 0 0   0   0   0 0   0   0  
        incorrect true 0
        incorrect false 2 24 7.0 670 0 0   0   0   0 0   0   0  
score (158 tasks, max score: 238) -6
Run set sv-comp16.HeapMemSafety