Tool Predator-HP
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8
Host [zeus01; zeus05; zeus06; zeus08; zeus09; zeus10; zeus11; zeus13; zeus14; zeus16; zeus17; zeus18; zeus19; zeus21; zeus22; zeus23]
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-07 06:55:25 CET [[ 2016-01-15 09:23:45 CET ]] [[ 2016-01-15 22:28:52 CET ]]
Run set sv-comp16.HeapMemSafety
Options --witness error-witness.graphml [[ -witness-check -disable-java-assertions -heap 10000m -setprop cpa.arg.errorPath.graphml=error-witness.graphml -spec ../../results-verified/predatorhp.2016-01-07_0655.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]][[ ../../results-verified/predatorhp.2016-01-07_0655.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 false(valid-deref) 10     5.1 160 wit timeout 91   87   680 true 12 6.9 320
memsafety/test-0137_false-valid-deref.i false(valid-deref) 1.2   1.0 38 wit timeout 91   86   870 true 13 7.6 340
memsafety/test-0235_false-valid-deref.i false(valid-deref) 6.4   3.1 120 wit timeout 91   86   870 true 15 8.7 350
memsafety/960521-1_false-valid-free.i false(valid-free) 10     5.1 170 wit timeout 91   87   760 true 12 6.9 330
memsafety/test-0158_false-valid-free.i false(valid-free) .14  1.0 20 wit false(valid-free) 6.6 3.8 230 true 12 7.2 310
memsafety/test-0232_false-valid-free.i false(valid-free) .14  1.0 21 wit timeout 91   87   830 true 12 7.1 340
memsafety/20020406-1_false-valid-memtrack.i false(valid-memtrack) .21  1.1 23 wit timeout 91   87   670 true 14 9.4 320
memsafety/20051113-1.c_false-valid-memtrack.i false(valid-memtrack) .15  1.0 21 wit timeout 91   87   740 true 61 40   1100
memsafety/lockfree-3.1_false-valid-memtrack.i false(valid-memtrack) .24  1.0 22 wit timeout 91   86   870 true 13 8.8 330
memsafety/lockfree-3.2_false-valid-memtrack.i false(valid-memtrack) .16  1.0 22 wit timeout 91   87   770 true 13 7.0 330
memsafety/lockfree-3.3_false-valid-memtrack.i false(valid-memtrack) .20  1.0 22 wit timeout 91   86   690 true 13 7.4 350
memsafety/test-0019_false-valid-memtrack.i false(valid-memtrack) .12  1.0 21 wit timeout 91   87   660 true 12 9.3 310
memsafety/test-0102_false-valid-memtrack.i false(valid-memtrack) 49     22   750 wit timeout 91   87   860 true 13 8.3 330
memsafety/test-0158_false-valid-memtrack.i false(valid-memtrack) .13  1.0 21 wit false(valid-memtrack) 6.1 3.5 220 true 11 7.5 330
memsafety/test-0220_false-valid-memtrack.i false(valid-memtrack) 1.1   1.0 43 wit timeout 91   85   870 true 24 14   470
memsafety/test-0232_false-valid-memtrack.i false(valid-memtrack) .13  1.0 21 wit timeout 91   87   760 true 12 7.4 330
memsafety/test-0234_false-valid-memtrack.i false(valid-memtrack) 4.5   2.0 100 wit timeout 91   86   860 true 13 8.6 320
memsafety/test-0235_false-valid-memtrack.i false(valid-memtrack) 4.6   2.0 100 wit timeout 90   85   1300 true 14 8.6 350
memsafety/960521-1_true-valid-memsafety.i timeout 900     450   5900 wit - -
memsafety/lockfree-3.0_true-valid-memsafety.i true 51     25   240 wit - -
memsafety/test-0019_true-valid-memsafety.i true .13  1.0 20 wit - -
memsafety/test-0102_true-valid-memsafety.i true 2.2   1.0 100 wit - -
memsafety/test-0134_true-valid-memsafety.i true 2.7   1.0 89 wit - -
memsafety/test-0158_true-valid-memsafety.i true .12  1.0 20 wit - -
memsafety/test-0214_true-valid-memsafety.i true 1.3   1.0 28 wit - -
memsafety/test-0217_true-valid-memsafety.i true 1.3   1.0 29 wit - -
memsafety/test-0218_true-valid-memsafety.i true 1.3   1.0 29 wit - -
memsafety/test-0219_true-valid-memsafety.i true 2.7   1.1 80 wit - -
memsafety/test-0232_true-valid-memsafety.i true 1.2   1.0 21 wit - -
memsafety/test-0234_true-valid-memsafety.i true 2.6   1.0 89 wit - -
memsafety/test-0235_true-valid-memsafety.i true 6.2   2.0 140 wit - -
memsafety/test-0236_true-valid-memsafety.i true 2.7   1.0 81 wit - -
memsafety/test-0237_true-valid-memsafety.i true 2.7   1.0 81 wit - -
memsafety/test-0504_true-valid-memsafety.i true 2.3   1.1 35 wit - -
memsafety/test-0513_true-valid-memsafety.i true 2.3   1.0 25 wit - -
memsafety/test-0521_true-valid-memsafety.i true 2.4   1.0 32 wit - -
memsafety-ext/dll_extends_pointer_true-valid-memsafety.i timeout 900     300   810 wit - -
memsafety-ext/skiplist_2lvl_true-valid-memsafety.i timeout 900     450   1500 wit - -
memsafety-ext/skiplist_3lvl_true-valid-memsafety.i timeout 900     420   1100 wit - -
memsafety-ext/tree_cnstr_true-valid-memsafety.i timeout 900     450   420 wit - -
memsafety-ext/tree_dsw_true-valid-memsafety.i timeout 900     450   270 wit - -
memsafety-ext/tree_of_cslls_true-valid-memsafety.i timeout 900     450   490 wit - -
memsafety-ext/tree_parent_ptr_true-valid-memsafety.i timeout 900     450   440 wit - -
memsafety-ext/tree_stack_true-valid-memsafety.i timeout 900     450   430 wit - -
list-ext-properties/960521-1_1_false-valid-deref.i false(valid-deref) .15  1.0 21 wit timeout 91   87   710 true 13 8.1 340
list-ext-properties/960521-1_1_false-valid-free.i false(valid-free) .14  1.0 21 wit timeout 91   87   750 true 11 7.7 320
list-ext-properties/test-0158_1_false-valid-free.i false(valid-free) .14  1.0 20 wit timeout 90   86   660 true 12 7.2 330
list-ext-properties/test-0019_1_false-valid-memtrack.i false(valid-memtrack) .14  1.0 20 wit timeout 91   88   630 true 12 7.6 330
list-ext-properties/test-0158_1_false-valid-memtrack.i false(valid-memtrack) .13  1.0 20 wit timeout 90   80   2500 true 11 6.5 330
list-ext-properties/test-0232_1_false-valid-memtrack.i false(valid-memtrack) .15  1.0 21 wit timeout 91   87   750 true 13 7.2 330
list-ext-properties/960521-1_1_true-valid-memsafety.i true 1.6   1.0 34 wit - -
list-ext-properties/list-ext_1_true-valid-memsafety.i true 5.8   3.0 57 wit - -
list-ext-properties/list-ext_flag_1_true-valid-memsafety.i timeout 900     450   460 wit - -
list-ext-properties/simple-ext_1_true-valid-memsafety.i true 340     130   1600 wit - -
list-ext-properties/test-0019_1_true-valid-memsafety.i true .13  1.0 21 wit - -
list-ext-properties/test-0158_1_true-valid-memsafety.i true .13  1.0 20 wit - -
list-ext-properties/test-0214_1_true-valid-memsafety.i true 17     17   530 wit - -
list-ext-properties/test-0217_1_true-valid-memsafety.i true 5.9   3.1 140 wit - -
list-ext-properties/test-0232_1_true-valid-memsafety.i true 2.1   2.1 23 wit - -
list-ext-properties/test-0504_1_true-valid-memsafety.i timeout 900     300   4700 wit - -
list-ext-properties/test-0513_1_true-valid-memsafety.i true .31  1.0 23 wit - -
memory-alloca/c.03-alloca_true-valid-memsafety.i true 1.2   1.0 31 wit - -
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c false(valid-deref) .14  1.0 20 wit false(valid-deref) 21   11   660 true 12 6.5 330
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c false(valid-deref) .15  1.0 20 wit false(valid-deref) 9.9 5.4 330 true 13 7.1 330
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c false(valid-deref) .15  1.1 20 wit false(valid-deref) 8.6 4.7 280 true 11 6.6 320
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c false(valid-deref) .12  1.0 20 wit false(valid-deref) 7.0 3.9 270 true 13 7.0 350
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c false(valid-deref) 2.1   1.0 38 wit false(valid-deref) 42   24   1400 true 13 7.8 340
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c false(valid-deref) 5.6   3.1 56 wit false(valid-deref) 81   47   1400 true 12 8.3 330
ldv-memsafety/memset2_false-valid-deref-write.c false(valid-deref) .10  1.0 19 wit false(valid-deref) 4.3 2.6 200 false(valid-deref) 12 8.1 320
ldv-memsafety/memset3_false-valid-deref-write.c false(valid-deref) .11  1.0 20 wit false(valid-deref) 4.2 2.5 190 false(valid-deref) 12 7.9 330
ldv-memsafety/memsetNonZero2_false-valid-deref-write.c false(valid-deref) .14  1.1 18 wit false(valid-deref) 4.0 2.4 190 false(valid-deref) 12 8.9 330
ldv-memsafety/memsetNonZero3_false-valid-deref-write.c false(valid-deref) .12  1.0 19 wit false(valid-deref) 4.1 2.4 190 false(valid-deref) 13 8.9 350
ldv-memsafety/memsetNonZero_false-valid-deref-write.c false(valid-deref) .10  1.0 20 wit false(valid-deref) 4.1 2.5 190 false(valid-deref) 12 6.5 330
ldv-memsafety/memset_false-valid-deref-write.c false(valid-deref) .11  1.0 19 wit false(valid-deref) 4.1 2.5 190 false(valid-deref) 13 7.0 340
ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c timeout 900     900   1600 wit - -
ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety.c true 3.4   2.1 72 wit - -
ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c true 4.6   3.1 48 wit - -
ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety.c true 3.4   2.0 69 wit - -
ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c true 310     310   690 wit - -
ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety.c true 5.0   3.1 52 wit - -
ldv-memsafety/StructInitialization1_true-valid-memsafety.c true .12  1.0 20 wit - -
ldv-memsafety/StructInitialization2_true-valid-memsafety.c true .15  1.1 19 wit - -
ldv-memsafety/StructInitialization_true-valid-memsafety.c true .11  1.0 19 wit - -
ldv-memsafety/memset2_true-valid-memsafety.c true .11  1.0 19 wit - -
ldv-memsafety/memset3_true-valid-memsafety.c true .12  1.0 19 wit - -
ldv-memsafety/memsetNonZero2_true-valid-memsafety.c true .16  1.1 18 wit - -
ldv-memsafety/memsetNonZero3_true-valid-memsafety.c true .094 1.0 18 wit - -
ldv-memsafety/memsetNonZero_true-valid-memsafety.c true .11  1.0 18 wit - -
ldv-memsafety/memset_true-valid-memsafety.c true .10  1.0 19 wit - -
ldv-memsafety/memleaks_test14_3_false-valid-deref.i false(valid-deref) .21  1.0 27 wit timeout 91   85   850 true 13 7.8 340
ldv-memsafety/memleaks_test22_3_false-valid-deref.i false(valid-deref) .21  1.0 25 wit timeout 91   85   860 true 12 7.5 340
ldv-memsafety/memleaks_test22_5_false-valid-deref.i false(valid-deref) .18  1.0 25 wit timeout 90   85   1100 true 13 8.1 320
ldv-memsafety/memleaks_test23_2_false-valid-deref.i false(valid-deref) .26  1.1 27 wit timeout 91   84   880 true 14 8.2 340
ldv-memsafety/memleaks_test23_4_false-valid-deref.i false(valid-deref) .27  1.0 27 wit timeout 91   86   860 true 14 9.4 330
ldv-memsafety/memleaks_test11_1_false-valid-free.i false(valid-free) .25  1.0 25 wit timeout 91   86   860 true 14 8.7 340
ldv-memsafety/memleaks_test12_false-valid-free.i false(valid-free) .38  1.0 31 wit timeout 90   84   1100 true 15 9.4 330
ldv-memsafety/memleaks_test17_2_false-valid-free.i false(valid-free) .60  1.0 29 wit timeout 91   86   690 true 12 8.2 330
ldv-memsafety/memleaks_test19_false-valid-free.i false(valid-free) .25  1.0 25 wit timeout 91   85   860 true 12 7.7 330
ldv-memsafety/memleaks_test2_false-valid-free.i false(valid-free) .23  1.0 24 wit timeout 91   85   710 true 11 7.5 330
ldv-memsafety/memleaks_test3_false-valid-free.i false(valid-free) .25  1.1 24 wit timeout 91   87   700 true 12 6.5 330
ldv-memsafety/memleaks_test6_2_false-valid-free.i false(valid-free) .24  1.0 25 wit timeout 91   86   1100 true 12 7.3 340
ldv-memsafety/memleaks_test8_2_false-valid-free.i false(valid-free) .23  1.0 25 wit timeout 91   86   820 true 12 6.7 330
ldv-memsafety/memleaks_test10_false-valid-memtrack.i false(valid-memtrack) .23  1.0 26 wit timeout 91   85   860 true 13 7.1 330
ldv-memsafety/memleaks_test11_2_false-valid-memtrack.i false(valid-memtrack) .26  1.0 26 wit timeout 91   85   860 true 12 7.1 330
ldv-memsafety/memleaks_test13_1_false-valid-memtrack.i false(valid-memtrack) .22  1.1 25 wit timeout 91   86   950 true 13 8.8 330
ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i false(valid-memtrack) .24  1.0 25 wit timeout 91   86   850 true 12 7.9 320
ldv-memsafety/memleaks_test14_1_false-valid-memtrack.i false(valid-memtrack) .24  1.0 24 wit timeout 91   86   810 true 12 7.9 340
ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i false(valid-memtrack) .23  1.0 25 wit timeout 91   85   670 true 12 7.9 330
ldv-memsafety/memleaks_test15_false-valid-memtrack.i false(valid-memtrack) .28  1.1 26 wit timeout 91   85   860 timeout 91 59   2500
ldv-memsafety/memleaks_test16_1_false-valid-memtrack.i false(valid-memtrack) .24  1.0 24 wit timeout 91   86   780 true 12 6.8 330
ldv-memsafety/memleaks_test16_2_false-valid-memtrack.i false(valid-memtrack) .23  1.0 24 wit timeout 91   86   650 true 12 8.0 320
ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i false(valid-memtrack) .32  1.0 28 wit timeout 91   85   870 true 13 7.4 340
ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i false(valid-memtrack) .31  1.0 28 wit timeout 91   86   850 true 12 7.6 330
ldv-memsafety/memleaks_test18_1_false-valid-memtrack.i false(valid-memtrack) .26  1.0 25 wit timeout 91   86   840 true 12 6.9 330
ldv-memsafety/memleaks_test18_2_false-valid-memtrack.i false(valid-memtrack) .30  1.0 25 wit timeout 92   86   1300 true 12 7.0 320
ldv-memsafety/memleaks_test18_3_false-valid-memtrack.i false(valid-memtrack) 170     57   700 wit timeout 91   86   860 true 12 7.9 330
ldv-memsafety/memleaks_test1_false-valid-memtrack.i false(valid-memtrack) .19  1.0 24 wit timeout 91   86   670 true 12 7.9 330
ldv-memsafety/memleaks_test20_false-valid-memtrack.i false(valid-memtrack) .23  1.0 24 wit timeout 91   86   790 true 12 7.4 320
ldv-memsafety/memleaks_test21_false-valid-memtrack.i false(valid-memtrack) .23  1.0 25 wit timeout 91   86   750 true 12 6.9 330
ldv-memsafety/memleaks_test22_1_false-valid-memtrack.i false(valid-memtrack) .27  1.1 25 wit timeout 92   86   1400 true 12 8.2 330
ldv-memsafety/memleaks_test22_2_false-valid-memtrack.i false(valid-memtrack) .25  1.1 25 wit timeout 91   86   1600 true 12 6.7 330
ldv-memsafety/memleaks_test22_4_false-valid-memtrack.i false(valid-memtrack) .26  1.0 25 wit timeout 91   85   850 true 13 9.6 330
ldv-memsafety/memleaks_test4_false-valid-memtrack.i false(valid-memtrack) .18  1.0 24 wit timeout 91   86   640 true 12 6.7 330
ldv-memsafety/memleaks_test5_1_false-valid-memtrack.i false(valid-memtrack) .21  1.0 25 wit timeout 91   85   730 true 12 6.8 330
ldv-memsafety/memleaks_test5_2_false-valid-memtrack.i false(valid-memtrack) .20  1.0 27 wit timeout 91   86   720 true 12 6.6 330
ldv-memsafety/memleaks_test6_1_false-valid-memtrack.i false(valid-memtrack) .21  1.0 26 wit timeout 91   86   840 true 13 7.7 330
ldv-memsafety/memleaks_test6_3_false-valid-memtrack.i false(valid-memtrack) .24  1.0 25 wit timeout 91   85   1300 true 14 7.4 340
ldv-memsafety/memleaks_test7_false-valid-memtrack.i false(valid-memtrack) .24  1.0 25 wit timeout 91   86   850 true 12 7.4 320
ldv-memsafety/memleaks_test8_1_false-valid-memtrack.i false(valid-memtrack) .22  1.0 25 wit timeout 91   86   750 true 12 7.5 330
ldv-memsafety/memleaks_test9_1_false-valid-memtrack.i false(valid-memtrack) .22  1.0 25 wit timeout 91   86   890 true 12 6.7 330
ldv-memsafety/memleaks_test9_2_false-valid-memtrack.i false(valid-memtrack) .24  1.1 24 wit timeout 91   86   750 true 12 6.6 340
ldv-memsafety/memleaks_test10_true-valid-memsafety.i true .24  1.0 25 wit - -
ldv-memsafety/memleaks_test11_true-valid-memsafety.i true .26  1.1 26 wit - -
ldv-memsafety/memleaks_test12_true-valid-memsafety.i true .41  1.0 27 wit - -
ldv-memsafety/memleaks_test13_true-valid-memsafety.i true .18  1.0 25 wit - -
ldv-memsafety/memleaks_test14_true-valid-memsafety.i true .21  1.0 25 wit - -
ldv-memsafety/memleaks_test15_true-valid-memsafety.i true .29  1.0 27 wit - -
ldv-memsafety/memleaks_test16_true-valid-memsafety.i true .23  1.0 25 wit - -
ldv-memsafety/memleaks_test17_1_true-valid-memsafety.i true .36  1.0 25 wit - -
ldv-memsafety/memleaks_test17_2_true-valid-memsafety.i unknown .23  1.0 26 wit - -
ldv-memsafety/memleaks_test18_true-valid-memsafety.i true .52  1.0 28 wit - -
ldv-memsafety/memleaks_test19_true-valid-memsafety.i true .25  1.0 25 wit - -
ldv-memsafety/memleaks_test1_true-valid-memsafety.i true .22  1.0 24 wit - -
ldv-memsafety/memleaks_test20_true-valid-memsafety.i true .20  1.0 26 wit - -
ldv-memsafety/memleaks_test21_true-valid-memsafety.i true .19  1.0 25 wit - -
ldv-memsafety/memleaks_test22_1_true-valid-memsafety.i true .21  1.0 25 wit - -
ldv-memsafety/memleaks_test22_2_true-valid-memsafety.i true .22  1.0 25 wit - -
ldv-memsafety/memleaks_test22_3_true-valid-memsafety.i true .24  1.0 25 wit - -
ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i false(valid-deref) .22  1.0 28 wit - -
ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i false(valid-deref) .24  1.0 28 wit - -
ldv-memsafety/memleaks_test2_true-valid-memsafety.i true .22  1.0 24 wit - -
ldv-memsafety/memleaks_test3_true-valid-memsafety.i true .22  1.0 24 wit - -
ldv-memsafety/memleaks_test4_true-valid-memsafety.i true .20  1.1 25 wit - -
ldv-memsafety/memleaks_test5_true-valid-memsafety.i true .19  1.0 25 wit - -
ldv-memsafety/memleaks_test6_true-valid-memsafety.i true .21  1.0 26 wit - -
ldv-memsafety/memleaks_test7_true-valid-memsafety.i true .21  1.0 25 wit - -
ldv-memsafety/memleaks_test8_true-valid-memsafety.i true .19  1.0 25 wit - -
ldv-memsafety/memleaks_test9_true-valid-memsafety.i true .17  1.0 25 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 12000    6200   27000 158 6000   5600   62000   158 1100   690   29000  
    correct results 143 1100    730   9100 14 6000   5600   62000   77 1100   690   29000  
        correct true 65 790    560   5300 0 0   0   0   71 0   0   0  
        correct false 78 280    170   3900 14 6000   5600   62000   6 1100   690   29000  
    incorrect results 2 .47 2.1 56 0 0   0   0   0 0   0   0  
        incorrect true 0
        incorrect false 2 .47 2.1 56 0 0   0   0   0 0   0   0  
score (158 tasks, max score: 238) 176
Run set sv-comp16.HeapMemSafety