Tool ULTIMATE Automizer cfb9fd9e
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-14 23:51:13 CET [[ 2016-01-15 09:43:48 CET ]] [[ 2016-01-15 22:41:15 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/uautomizer.2016-01-14_2351.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]][[ ../../results-verified/uautomizer.2016-01-14_2351.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 900   830   890 wit - -
memsafety/test-0137_false-valid-deref.i unknown 37   19   630 wit - -
memsafety/test-0235_false-valid-deref.i error 93   72   740 wit - -
memsafety/960521-1_false-valid-free.i timeout 900   830   810 wit - -
memsafety/test-0158_false-valid-free.i false(valid-free) 11   3.9 360 wit true 5.7 3.2 210 true 15 8.7 340
memsafety/test-0232_false-valid-free.i error 24   13   460 wit - -
memsafety/20020406-1_false-valid-memtrack.i error 81   66   600 wit - -
memsafety/20051113-1.c_false-valid-memtrack.i error 560   460   1100 wit - -
memsafety/lockfree-3.1_false-valid-memtrack.i false(valid-memtrack) 54   18   890 wit timeout 92   70   5000 false(valid-memtrack) 30 16   600
memsafety/lockfree-3.2_false-valid-memtrack.i false(valid-memtrack) 19   5.1 420 wit false(valid-memtrack) 7.1 3.9 270 false(valid-memtrack) 18 10   380
memsafety/lockfree-3.3_false-valid-memtrack.i false(valid-memtrack) 71   26   1400 wit timeout 92   70   4900 false(valid-memtrack) 39 20   600
memsafety/test-0019_false-valid-memtrack.i false(valid-memtrack) 16   6.1 490 wit true 5.0 2.9 200 false(valid-memtrack) 14 8.4 340
memsafety/test-0102_false-valid-memtrack.i error 77   64   730 wit - -
memsafety/test-0158_false-valid-memtrack.i false(valid-memtrack) 9.5 2.9 320 wit true 5.3 3.0 210 false(valid-memtrack) 12 7.5 330
memsafety/test-0220_false-valid-memtrack.i error 95   80   630 wit - -
memsafety/test-0232_false-valid-memtrack.i error 19   10   420 wit - -
memsafety/test-0234_false-valid-memtrack.i error 160   140   930 wit - -
memsafety/test-0235_false-valid-memtrack.i error 110   91   850 wit - -
memsafety/960521-1_true-valid-memsafety.i timeout 900   830   1000 wit - -
memsafety/lockfree-3.0_true-valid-memsafety.i timeout 900   800   4200 wit - -
memsafety/test-0019_true-valid-memsafety.i error 23   14   380 wit - -
memsafety/test-0102_true-valid-memsafety.i error 86   69   810 wit - -
memsafety/test-0134_true-valid-memsafety.i unknown 40   20   1000 wit - -
memsafety/test-0158_true-valid-memsafety.i true 24   16   350 wit - -
memsafety/test-0214_true-valid-memsafety.i error 110   85   840 wit - -
memsafety/test-0217_true-valid-memsafety.i error 80   48   850 wit - -
memsafety/test-0218_true-valid-memsafety.i error 110   79   840 wit - -
memsafety/test-0219_true-valid-memsafety.i error 81   66   660 wit - -
memsafety/test-0232_true-valid-memsafety.i error 26   15   450 wit - -
memsafety/test-0234_true-valid-memsafety.i error 170   150   1000 wit - -
memsafety/test-0235_true-valid-memsafety.i error 170   150   950 wit - -
memsafety/test-0236_true-valid-memsafety.i error 200   170   1100 wit - -
memsafety/test-0237_true-valid-memsafety.i error 270   240   1400 wit - -
memsafety/test-0504_true-valid-memsafety.i error 58   40   1200 wit - -
memsafety/test-0513_true-valid-memsafety.i error 18   8.3 420 wit - -
memsafety/test-0521_true-valid-memsafety.i error 75   57   860 wit - -
memsafety-ext/dll_extends_pointer_true-valid-memsafety.i error 32   21   470 wit - -
memsafety-ext/skiplist_2lvl_true-valid-memsafety.i error 46   31   710 wit - -
memsafety-ext/skiplist_3lvl_true-valid-memsafety.i error 32   18   600 wit - -
memsafety-ext/tree_cnstr_true-valid-memsafety.i error 37   21   730 wit - -
memsafety-ext/tree_dsw_true-valid-memsafety.i error 96   76   840 wit - -
memsafety-ext/tree_of_cslls_true-valid-memsafety.i error 60   40   680 wit - -
memsafety-ext/tree_parent_ptr_true-valid-memsafety.i error 21   8.7 490 wit - -
memsafety-ext/tree_stack_true-valid-memsafety.i error 22   10   430 wit - -
list-ext-properties/960521-1_1_false-valid-deref.i true 380   310   870 wit - -
list-ext-properties/960521-1_1_false-valid-free.i false(valid-free) 21   9.7 360 wit false(valid-free) 7.5 4.3 250 false(valid-free) 14 9.2 330
list-ext-properties/test-0158_1_false-valid-free.i false(valid-free) 11   3.5 350 wit false(valid-free) 6.5 3.6 240 true 14 8.1 340
list-ext-properties/test-0019_1_false-valid-memtrack.i error 64   52   610 wit - -
list-ext-properties/test-0158_1_false-valid-memtrack.i false(valid-memtrack) 11   3.4 330 wit true 4.7 2.7 210 false(valid-memtrack) 13 7.1 330
list-ext-properties/test-0232_1_false-valid-memtrack.i error 18   8.0 390 wit - -
list-ext-properties/960521-1_1_true-valid-memsafety.i error 42   28   450 wit - -
list-ext-properties/list-ext_1_true-valid-memsafety.i error 83   58   1100 wit - -
list-ext-properties/list-ext_flag_1_true-valid-memsafety.i error 38   24   670 wit - -
list-ext-properties/simple-ext_1_true-valid-memsafety.i error 44   29   710 wit - -
list-ext-properties/test-0019_1_true-valid-memsafety.i error 84   71   750 wit - -
list-ext-properties/test-0158_1_true-valid-memsafety.i true 29   22   330 wit - -
list-ext-properties/test-0214_1_true-valid-memsafety.i error 90   65   960 wit - -
list-ext-properties/test-0217_1_true-valid-memsafety.i error 110   81   880 wit - -
list-ext-properties/test-0232_1_true-valid-memsafety.i error 29   17   630 wit - -
list-ext-properties/test-0504_1_true-valid-memsafety.i error 62   42   1200 wit - -
list-ext-properties/test-0513_1_true-valid-memsafety.i error 28   16   390 wit - -
memory-alloca/c.03-alloca_true-valid-memsafety.i error 32   23   500 wit - -
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c false(valid-deref) 10   3.4 320 wit false(valid-deref) 4.8 2.8 220 true 14 8.9 330
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c false(valid-deref) 13   4.4 350 wit false(valid-deref) 4.8 2.8 220 false(valid-deref) 12 6.9 340
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c false(valid-deref) 9.8 2.8 360 wit false(valid-deref) 4.9 2.8 210 false(valid-deref) 12 7.0 340
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c false(valid-deref) 10   3.2 330 wit false(valid-deref) 4.0 2.3 210 false(valid-deref) 12 6.6 330
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c false(valid-deref) 330   240   2600 wit false(valid-deref) 38   21   1400 timeout 92 49   2000
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c false(valid-deref) 320   230   2800 wit false(valid-deref) 39   23   1300 false(valid-deref) 70 37   1500
ldv-memsafety/memset2_false-valid-deref-write.c false(valid-deref) 8.2 2.6 330 wit false(valid-deref) 3.9 2.4 190 true 15 8.6 330
ldv-memsafety/memset3_false-valid-deref-write.c false(valid-deref) 10   2.9 350 wit false(valid-deref) 3.6 2.1 190 true 15 8.6 340
ldv-memsafety/memsetNonZero2_false-valid-deref-write.c false(valid-deref) 8.1 2.6 320 wit false(valid-deref) 3.9 2.3 190 true 14 8.2 340
ldv-memsafety/memsetNonZero3_false-valid-deref-write.c false(valid-deref) 9.3 2.9 320 wit false(valid-deref) 4.2 2.5 190 true 15 9.0 340
ldv-memsafety/memsetNonZero_false-valid-deref-write.c false(valid-deref) 7.9 2.6 330 wit false(valid-deref) 3.5 2.0 190 true 13 8.4 340
ldv-memsafety/memset_false-valid-deref-write.c false(valid-deref) 9.9 3.3 340 wit false(valid-deref) 3.9 2.4 190 true 14 8.3 340
ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c error 15   7.4 330 wit - -
ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety.c true 630   500   3100 wit - -
ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c true 650   510   3200 wit - -
ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety.c true 660   520   2800 wit - -
ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c timeout 900   730   4200 wit - -
ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety.c true 330   240   2800 wit - -
ldv-memsafety/StructInitialization1_true-valid-memsafety.c true 12   4.1 320 wit - -
ldv-memsafety/StructInitialization2_true-valid-memsafety.c true 9.8 3.4 320 wit - -
ldv-memsafety/StructInitialization_true-valid-memsafety.c true 9.0 3.5 330 wit - -
ldv-memsafety/memset2_true-valid-memsafety.c true 45   29   690 wit - -
ldv-memsafety/memset3_true-valid-memsafety.c true 180   140   1200 wit - -
ldv-memsafety/memsetNonZero2_true-valid-memsafety.c true 46   30   900 wit - -
ldv-memsafety/memsetNonZero3_true-valid-memsafety.c true 180   140   2000 wit - -
ldv-memsafety/memsetNonZero_true-valid-memsafety.c true 180   140   970 wit - -
ldv-memsafety/memset_true-valid-memsafety.c true 180   130   1400 wit - -
ldv-memsafety/memleaks_test14_3_false-valid-deref.i unknown 29   18   390 wit - -
ldv-memsafety/memleaks_test22_3_false-valid-deref.i unknown 210   190   880 wit - -
ldv-memsafety/memleaks_test22_5_false-valid-deref.i unknown 180   160   800 wit - -
ldv-memsafety/memleaks_test23_2_false-valid-deref.i false(valid-deref) 83   60   600 wit true 25   13   750 true 17 9.9 350
ldv-memsafety/memleaks_test23_4_false-valid-deref.i error 70   46   900 wit - -
ldv-memsafety/memleaks_test11_1_false-valid-free.i error 34   24   440 wit - -
ldv-memsafety/memleaks_test12_false-valid-free.i unknown 15   4.9 470 wit - -
ldv-memsafety/memleaks_test17_2_false-valid-free.i error 60   43   620 wit - -
ldv-memsafety/memleaks_test19_false-valid-free.i error 59   43   670 wit - -
ldv-memsafety/memleaks_test2_false-valid-free.i false(valid-free) 12   3.4 360 wit false(valid-free) 7.3 4.0 250 true 13 8.0 340
ldv-memsafety/memleaks_test3_false-valid-free.i false(valid-free) 8.5 2.6 330 wit false(valid-free) 6.8 3.8 240 false(valid-free) 12 7.2 340
ldv-memsafety/memleaks_test6_2_false-valid-free.i error 24   14   370 wit - -
ldv-memsafety/memleaks_test8_2_false-valid-free.i false(valid-free) 11   3.5 330 wit false(valid-free) 7.1 4.0 250 false(valid-free) 13 7.2 340
ldv-memsafety/memleaks_test10_false-valid-memtrack.i error 48   34   540 wit - -
ldv-memsafety/memleaks_test11_2_false-valid-memtrack.i error 58   47   520 wit - -
ldv-memsafety/memleaks_test13_1_false-valid-memtrack.i false(valid-memtrack) 19   8.3 480 wit true 7.7 4.1 260 false(valid-memtrack) 13 7.2 340
ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i unknown 16   5.7 500 wit - -
ldv-memsafety/memleaks_test14_1_false-valid-memtrack.i false(valid-memtrack) 38   28   440 wit true 6.6 3.6 250 false(valid-memtrack) 13 7.6 350
ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i unknown 30   19   490 wit - -
ldv-memsafety/memleaks_test15_false-valid-memtrack.i timeout 900   860   1500 wit - -
ldv-memsafety/memleaks_test16_1_false-valid-memtrack.i false(valid-memtrack) 13   3.7 350 wit false(valid-memtrack) 8.0 4.3 320 false(valid-memtrack) 12 7.2 320
ldv-memsafety/memleaks_test16_2_false-valid-memtrack.i false(valid-memtrack) 9.5 3.0 320 wit false(valid-memtrack) 8.1 4.4 320 false(valid-memtrack) 13 7.5 350
ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i error 33   19   620 wit - -
ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i error 120   98   700 wit - -
ldv-memsafety/memleaks_test18_1_false-valid-memtrack.i error 14   5.7 350 wit - -
ldv-memsafety/memleaks_test18_2_false-valid-memtrack.i error 14   6.2 350 wit - -
ldv-memsafety/memleaks_test18_3_false-valid-memtrack.i false(valid-memtrack) 660   560   1200 wit false(valid-memtrack) 10   5.5 350 true 20 11   400
ldv-memsafety/memleaks_test1_false-valid-memtrack.i false(valid-memtrack) 11   4.2 340 wit false(valid-memtrack) 6.1 3.3 240 false(valid-memtrack) 13 7.7 340
ldv-memsafety/memleaks_test20_false-valid-memtrack.i false(valid-memtrack) 12   4.1 340 wit false(valid-memtrack) 6.5 3.6 250 false(valid-memtrack) 12 6.9 330
ldv-memsafety/memleaks_test21_false-valid-memtrack.i false(valid-memtrack) 10   3.2 340 wit false(valid-memtrack) 5.8 3.3 240 false(valid-memtrack) 11 5.9 330
ldv-memsafety/memleaks_test22_1_false-valid-memtrack.i false(valid-memtrack) 270   250   1000 wit false(valid-memtrack) 7.2 3.9 330 true 18 10   350
ldv-memsafety/memleaks_test22_2_false-valid-memtrack.i false(valid-memtrack) 160   140   690 wit false(valid-memtrack) 7.3 4.0 310 true 14 7.6 350
ldv-memsafety/memleaks_test22_4_false-valid-memtrack.i false(valid-memtrack) 500   480   960 wit false(valid-memtrack) 8.7 4.7 340 true 17 9.9 340
ldv-memsafety/memleaks_test4_false-valid-memtrack.i false(valid-memtrack) 11   3.7 330 wit false(valid-memtrack) 7.0 3.9 240 false(valid-memtrack) 12 7.2 340
ldv-memsafety/memleaks_test5_1_false-valid-memtrack.i false(valid-memtrack) 9.5 3.3 320 wit true 6.7 3.7 240 false(valid-memtrack) 13 7.2 340
ldv-memsafety/memleaks_test5_2_false-valid-memtrack.i false(valid-memtrack) 11   3.4 330 wit true 7.7 4.2 260 false(valid-memtrack) 12 7.4 320
ldv-memsafety/memleaks_test6_1_false-valid-memtrack.i error 22   12   370 wit - -
ldv-memsafety/memleaks_test6_3_false-valid-memtrack.i error 22   12   480 wit - -
ldv-memsafety/memleaks_test7_false-valid-memtrack.i error 65   56   520 wit - -
ldv-memsafety/memleaks_test8_1_false-valid-memtrack.i false(valid-memtrack) 9.8 3.1 330 wit false(valid-memtrack) 6.1 3.4 250 false(valid-memtrack) 12 7.2 330
ldv-memsafety/memleaks_test9_1_false-valid-memtrack.i false(valid-memtrack) 11   3.3 370 wit false(valid-memtrack) 7.3 4.0 250 false(valid-memtrack) 13 7.4 340
ldv-memsafety/memleaks_test9_2_false-valid-memtrack.i false(valid-memtrack) 10   3.3 340 wit false(valid-memtrack) 7.0 3.8 250 false(valid-memtrack) 12 7.0 340
ldv-memsafety/memleaks_test10_true-valid-memsafety.i error 420   390   1900 wit - -
ldv-memsafety/memleaks_test11_true-valid-memsafety.i error 74   62   690 wit - -
ldv-memsafety/memleaks_test12_true-valid-memsafety.i unknown 18   7.2 390 wit - -
ldv-memsafety/memleaks_test13_true-valid-memsafety.i unknown 26   8.9 370 wit - -
ldv-memsafety/memleaks_test14_true-valid-memsafety.i unknown 30   18   510 wit - -
ldv-memsafety/memleaks_test15_true-valid-memsafety.i error 27   15   380 wit - -
ldv-memsafety/memleaks_test16_true-valid-memsafety.i true 30   21   360 wit - -
ldv-memsafety/memleaks_test17_1_true-valid-memsafety.i error 44   30   710 wit - -
ldv-memsafety/memleaks_test17_2_true-valid-memsafety.i error 65   45   710 wit - -
ldv-memsafety/memleaks_test18_true-valid-memsafety.i error 38   24   520 wit - -
ldv-memsafety/memleaks_test19_true-valid-memsafety.i error 83   69   590 wit - -
ldv-memsafety/memleaks_test1_true-valid-memsafety.i error 14   6.5 360 wit - -
ldv-memsafety/memleaks_test20_true-valid-memsafety.i unknown 12   3.3 350 wit - -
ldv-memsafety/memleaks_test21_true-valid-memsafety.i unknown 12   4.5 340 wit - -
ldv-memsafety/memleaks_test22_1_true-valid-memsafety.i unknown 210   190   660 wit - -
ldv-memsafety/memleaks_test22_2_true-valid-memsafety.i unknown 780   760   1200 wit - -
ldv-memsafety/memleaks_test22_3_true-valid-memsafety.i unknown 530   500   1200 wit - -
ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i false(valid-deref) 83   61   900 wit - -
ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i error 130   110   820 wit - -
ldv-memsafety/memleaks_test2_true-valid-memsafety.i true 24   16   370 wit - -
ldv-memsafety/memleaks_test3_true-valid-memsafety.i true 24   16   350 wit - -
ldv-memsafety/memleaks_test4_true-valid-memsafety.i true 50   41   510 wit - -
ldv-memsafety/memleaks_test5_true-valid-memsafety.i error 15   6.0 350 wit - -
ldv-memsafety/memleaks_test6_true-valid-memsafety.i error 23   14   370 wit - -
ldv-memsafety/memleaks_test7_true-valid-memsafety.i error 61   52   500 wit - -
ldv-memsafety/memleaks_test8_true-valid-memsafety.i error 24   16   350 wit - -
ldv-memsafety/memleaks_test9_true-valid-memsafety.i true 30   20   370 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 20000 16000 120000 158 510   320   22000   158 750   430   18000  
    correct results 62 6200 4700 46000 40 510   320   22000   41 750   430   18000  
        correct true 20 3300 2500 23000 9 0   0   0   15 0   0   0  
        correct false 42 2900 2200 24000 31 510   320   22000   26 750   430   18000  
    incorrect results 2 460 370 1800 0 0   0   0   0 0   0   0  
        incorrect true 1 380 310 870 0 0   0   0   0 0   0   0  
        incorrect false 1 83 61 900 0 0   0   0   0 0   0   0  
score (158 tasks, max score: 238) 34
Run set sv-comp16.HeapMemSafety