Tool Predator-HP CPAchecker 1.6.1-svn 26773 ULTIMATE Automizer 0.1.23-3204b741 CProver witness2test 0.1 ULTIMATE Automizer 0.1.23-3204b741
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8 timelimit: 90 s, memlimit: 7000 MB, CPU core limit: 2 timelimit: 900 s, memlimit: 7000 MB, CPU core limit: 2
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 CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: [8; 4], frequency: 3.8 GHz, Turbo Boost: disabled; RAM: [33553 MB; 33554 MB] CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33553 MB CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: [8; 4], frequency: 3.8 GHz, Turbo Boost: disabled; RAM: [33553 MB; 33554 MB]
Date of execution 2017-12-01 21:45:44 CET 2017-12-01 22:31:23 CET 2017-12-01 22:35:27 CET 2017-12-01 22:38:24 CET 2017-12-01 22:34:17 CET
Run set predatorhp.sv-comp18.MemSafety-Heap cpa-seq-validate-violation-witnesses-predatorhp.sv-comp18-violation-witness.MemSafety-Heap uautomizer-validate-violation-witnesses-predatorhp.sv-comp18-violation-witness.MemSafety-Heap fshell-witness2test-validate-violation-witnesses-predatorhp.sv-comp18-violation-witness.MemSafety-Heap uautomizer-validate-correctness-witnesses-predatorhp.sv-comp18-correctness-witness.MemSafety-Heap
Options --witness error-witness.graphml -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/predatorhp.2017-12-01_2145.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -setprop cpa.smg.memoryAllocationFunctions=malloc,__kmalloc,kmalloc,kzalloc,kzalloc_node,ldv_zalloc,ldv_malloc -setprop cpa.smg.arrayAllocationFunctions=calloc,kmalloc_array,kcalloc -setprop cpa.smg.zeroingMemoryAllocation=calloc,kzalloc,kcalloc,kzalloc_node,ldv_zalloc -setprop cpa.smg.deallocationFunctions=free,kfree,kfree_const --full-output --validate ../../results-verified/predatorhp.2017-12-01_2145.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml --graphml-witness ../../results-verified/predatorhp.2017-12-01_2145.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml --full-output --validate ../../results-verified/predatorhp.2017-12-01_2145.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml
sv-benchmarks/c/ status score witness inspect witness cpu (s) mem (MB) energy (J) status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy
memsafety/960521-1_false-valid-deref.i 1 8.0   170 78   1 8.5  590 -32 8.2   270   0 .71   18    -
memsafety/test-0137_false-valid-deref.i 1 1.2   50 16   1 4.0  270 -32 18     550   1 .88   18    -
memsafety/test-0235_false-valid-deref.i 1 4.2   130 43   1 3.2  250 -32 8.2   280   1 .93   19    -
memsafety/960521-1_false-valid-free.i 1 8.1   170 81   1 7.9  420 -32 12     340   1 .85   18    -
memsafety/test-0158_false-valid-free.i 1 .14  24 1.9 1 4.0  250 1 9.0   270   1 .88   18    -
memsafety/test-0232_false-valid-free.i 1 .16  23 1.9 1 4.0  250 -32 5.0   280   -32 .69   18    -
memsafety/20020406-1_false-valid-memtrack.i 0 .19  27 2.0 0 4.3  250 -32 8.8   300   -32 .94   19    -
memsafety/20051113-1.c_false-valid-memtrack.i 1 .14  23 2.2 1 4.9  250 -32 6.7   240   -32 .82   18    -
memsafety/lockfree-3.1_false-valid-memtrack.i 1 .21  26 2.2 1 4.5  260 0 46     1400   -32 .84   18    -
memsafety/lockfree-3.2_false-valid-memtrack.i 1 .18  24 1.9 1 4.6  270 0 22     360   -32 .85   19    -
memsafety/lockfree-3.3_false-valid-memtrack.i 1 .23  26 2.4 1 5.2  260 0 97     6100   -32 .89   19    -
memsafety/test-0019_false-valid-memtrack_true-termination.i 1 .13  23 1.9 1 4.3  250 0 17     300   -32 .88   18    -
memsafety/test-0102_false-valid-memtrack.i 1 40     780 420   1 4.6  250 0 23     7000   -16 .86   18    -
memsafety/test-0158_false-valid-memtrack_true-termination.i 1 .12  23 2.1 1 3.8  250 0 12     260   -32 .68   18    -
memsafety/test-0220_false-valid-memtrack.i 1 1.2   50 14   1 5.0  260 -32 7.9   260   -16 .86   19    -
memsafety/test-0232_false-valid-memtrack.i 1 .16  22 1.9 1 4.0  250 0 45     530   -32 .84   18    -
memsafety/test-0234_false-valid-memtrack.i 1 3.6   120 33   1 4.7  250 -32 9.0   270   -16 .93   18    -
memsafety/test-0235_false-valid-memtrack.i 1 3.7   120 45   1 3.0  260 -32 8.7   280   -16 .95   18    -
memsafety/960521-1_true-valid-memsafety.i 0 900     8400 9200   - - - 0 .019 4.9
memsafety/lockfree-3.0_true-valid-memsafety.i 2 46     240 400   - - - 0 5.1   200  
memsafety/test-0019_true-valid-memsafety_true-termination.i 2 .13  23 1.7 - - - 0 3.9   190  
memsafety/test-0102_true-valid-memsafety.i 2 2.2   130 22   - - - 0 4.7   200  
memsafety/test-0134_true-valid-memsafety.i 2 2.7   110 26   - - - 0 4.6   200  
memsafety/test-0158_true-valid-memsafety_true-termination.i 2 .11  23 1.7 - - - 0 3.4   200  
memsafety/test-0214_true-valid-memsafety_false-termination.i 2 1.2   33 15   - - - 0 4.6   200  
memsafety/test-0217_true-valid-memsafety_false-termination.i 2 1.2   45 14   - - - 0 4.1   190  
memsafety/test-0218_true-valid-memsafety_false-termination.i 2 1.3   44 15   - - - 0 3.4   200  
memsafety/test-0219_true-valid-memsafety.i 2 2.4   94 24   - - - 0 4.2   200  
memsafety/test-0232_true-valid-memsafety.i 2 1.1   26 14   - - - 0 4.3   200  
memsafety/test-0234_true-valid-memsafety.i 2 2.5   120 22   - - - 0 3.3   200  
memsafety/test-0235_true-valid-memsafety.i 2 5.6   150 62   - - - 0 4.6   200  
memsafety/test-0236_true-valid-memsafety.i 2 2.5   95 22   - - - 0 3.4   200  
memsafety/test-0237_true-valid-memsafety.i 2 2.5   110 23   - - - 0 3.9   200  
memsafety/test-0504_true-valid-memsafety.i 2 2.3   41 21   - - - 0 4.3   200  
memsafety/test-0513_true-valid-memsafety.i 2 2.2   30 27   - - - 0 3.4   200  
memsafety/test-0521_true-valid-memsafety.i 2 2.3   33 23   - - - 0 4.4   200  
memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i 2 .11  22 1.7 - - - 0 3.2   200  
memsafety-ext/dll_extends_pointer_true-valid-memsafety.i 0 900     860 5200   - - - 0 .019 5.0
memsafety-ext/skiplist_2lvl_true-valid-memsafety.i 0 900     1600 8500   - - - 0 .024 4.8
memsafety-ext/skiplist_3lvl_true-valid-memsafety.i 0 900     1200 6500   - - - 0 .026 4.8
memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i 0 900     460 6300   - - - 0 .024 4.9
memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i 0 900     290 9800   - - - 0 .019 4.8
memsafety-ext/tree_of_cslls_true-valid-memsafety.i 0 900     520 6200   - - - 0 .038 4.8
memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i 0 900     440 6700   - - - 0 .027 4.8
memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i 0 900     440 6600   - - - 0 .018 5.0
memsafety-ext2/split_list_test05_false-valid-deref.i 0 900     930 9300   0 .74 44 0 .026 4.9 0 .0012 .29 -
memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i 1 .18  25 2.6 1 5.0  260 -32 9.5   310   -16 .85   18    -
memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i 1 .14  25 2.0 1 4.3  260 -32 8.9   300   -16 .70   18    -
memsafety-ext2/length_test03_false-valid-memtrack.i 1 .94  30 14   1 4.6  250 -32 8.1   260   -16 .72   18    -
memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i 1 1.1   25 13   1 5.4  270 -32 6.6   250   -16 .69   18    -
memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i 0 900     1800 7400   - - - 0 .025 4.8
memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i 0 900     1900 4800   - - - 0 .021 4.8
memsafety-ext2/length_test03_true-valid-memsafety.i 0 900     2500 11000   - - - 0 .023 4.9
memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i 0 900     1900 6800   - - - 0 .019 4.8
memsafety-ext2/split_list_test05_true-valid-memsafety.i 0 900     790 7000   - - - 0 .039 4.8
list-ext-properties/960521-1_1_false-valid-deref.i 1 .16  24 1.9 1 4.6  260 -32 7.9   260   0 .79   18    -
list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i 1 4.1   54 37   1 7.1  260 -32 38     950   1 .86   19    -
list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i 1 .15  24 2.0 1 4.0  250 1 27     340   1 .89   18    -
list-ext-properties/960521-1_1_false-valid-free.i 1 .15  24 1.8 1 4.2  250 1 8.7   270   1 .69   18    -
list-ext-properties/test-0158_1_false-valid-free.i 1 .16  22 1.6 1 2.3  250 1 8.6   270   0 .67   18    -
list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i 1 .13  23 5.1 1 4.0  250 -32 6.8   240   -32 .86   18    -
list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i 0 .15  23 1.9 -32 4.0  250 0 14     290   -32 .76   18    -
list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i 1 .16  23 1.9 1 4.8  250 0 32     470   -32 .77   18    -
list-ext-properties/960521-1_1_true-valid-memsafety.i 2 .95  34 11   - - - 0 4.1   200  
list-ext-properties/list-ext_1_true-valid-memsafety.i 2 3.0   57 31   - - - 0 3.5   200  
list-ext-properties/list-ext_flag_1_true-valid-memsafety.i 0 900     480 6000   - - - 0 .031 5.0
list-ext-properties/simple-ext_1_true-valid-memsafety.i 2 310     2000 2700   - - - 0 3.2   190  
list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i 2 .15  23 1.8 - - - 0 4.2   200  
list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i 2 .11  22 1.8 - - - 0 4.2   200  
list-ext-properties/test-0214_1_true-valid-memsafety.i 2 12     530 150   - - - 0 3.8   200  
list-ext-properties/test-0217_1_true-valid-memsafety.i 2 4.0   120 44   - - - 0 3.4   200  
list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i 2 1.6   24 20   - - - 0 4.4   190  
list-ext-properties/test-0504_1_true-valid-memsafety.i 0 900     6100 5100   - - - 0 .026 4.8
list-ext-properties/test-0513_1_true-valid-memsafety.i 2 .23  25 2.9 - - - 0 3.3   200  
memory-alloca/c.03-alloca_true-valid-memsafety.i 2 1.2   43 16   - - - 0 4.2   200  
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c 1 .13  23 2.0 1 3.5  250 -32 11     310   0 96      18    -
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c 1 .13  23 1.9 1 3.6  280 1 7.7   260   0 96      18    -
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c 1 .13  22 1.8 1 3.2  240 1 6.4   260   -32 .81   18    -
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c 1 .16  22 2.0 1 3.6  250 1 7.5   260   -32 .77   18    -
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c 1 1.6   38 17   1 8.2  390 -32 16     670   1 .64   19    -
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c 1 3.8   53 38   1 8.4  320 -32 19     730   1 .79   19    -
ldv-memsafety/memset2_false-valid-deref-write.c 1 .15  21 1.7 1 3.4  250 -32 5.9   260   1 .79   18    -
ldv-memsafety/memset3_false-valid-deref-write.c 1 .15  22 1.9 1 3.4  250 -32 5.3   260   1 .80   18    -
ldv-memsafety/memsetNonZero2_false-valid-deref-write.c 1 .13  19 1.7 1 3.6  260 -32 6.8   250   1 .79   18    -
ldv-memsafety/memsetNonZero3_false-valid-deref-write.c 1 .14  22 1.7 1 3.4  250 -32 6.8   260   1 .62   18    -
ldv-memsafety/memsetNonZero_false-valid-deref-write.c 1 .15  21 1.8 1 3.4  240 -32 5.8   250   1 .79   18    -
ldv-memsafety/memset_false-valid-deref-write.c 1 .11  23 1.9 1 1.9  240 -32 7.0   260   1 .63   18    -
ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c 2 830     1800 9900   - - - 0 4.4   190  
ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c 2 2.0   74 20   - - - 0 3.3   200  
ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c 2 3.3   47 33   - - - 0 3.7   200  
ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c 2 2.0   73 21   - - - 0 3.1   200  
ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c 2 170     690 2200   - - - 0 4.8   200  
ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c 2 3.6   50 36   - - - 0 4.2   200  
ldv-memsafety/StructInitialization1_true-valid-memsafety.c 2 .13  23 1.7 - - - 0 4.0   200  
ldv-memsafety/StructInitialization2_true-valid-memsafety.c 2 .10  21 1.8 - - - 0 3.3   200  
ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c 2 .094 21 1.8 - - - 0 2.5   200  
ldv-memsafety/memset2_true-valid-memsafety_true-termination.c 2 .11  21 1.6 - - - 0 3.9   200  
ldv-memsafety/memset3_true-valid-memsafety_true-termination.c 2 .11  22 1.7 - - - 0 3.4   200  
ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c 2 .14  21 1.7 - - - 0 3.2   190  
ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c 2 .14  22 1.7 - - - 0 3.2   200  
ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c 2 .10  21 1.7 - - - 0 4.4   200  
ldv-memsafety/memset_true-valid-memsafety_true-termination.c 2 .099 22 1.6 - - - 0 3.2   200  
ldv-memsafety/memleaks_test14_3_false-valid-deref.i 1 .18  27 2.4 1 4.5  250 -32 11     370   0 .74   18    -
ldv-memsafety/memleaks_test22_3_false-valid-deref.i 1 .21  27 2.4 1 2.8  270 -32 7.2   250   0 .81   18    -
ldv-memsafety/memleaks_test22_5_false-valid-deref.i 1 .23  32 2.4 1 5.1  270 -32 7.4   260   0 .72   18    -
ldv-memsafety/memleaks_test23_2_false-valid-deref.i 0 .19  30 2.5 0 .73 43 0 .026 4.9 0 .0016 .27 -
ldv-memsafety/memleaks_test23_4_false-valid-deref.i 0 .20  29 2.3 0 .65 42 0 .021 5.0 0 .0016 .29 -
ldv-memsafety/memleaks_test11_1_false-valid-free.i 0 .23  28 2.2 -32 3.1  270 -32 73     630   0 .81   18    -
ldv-memsafety/memleaks_test12_false-valid-free.i 0 .26  30 3.0 -32 8.2  260 -32 10     320   0 .77   19    -
ldv-memsafety/memleaks_test17_2_false-valid-free.i 1 .55  30 5.5 1 4.9  250 -32 6.7   250   0 .61   18    -
ldv-memsafety/memleaks_test19_false-valid-free.i 1 .18  28 2.2 1 4.6  260 1 15     480   0 .64   18    -
ldv-memsafety/memleaks_test1_false-valid-free.i 1 .21  26 2.4 1 4.3  250 -32 4.7   270   0 .77   18    -
ldv-memsafety/memleaks_test3_false-valid-free.i 1 .23  27 2.1 1 2.6  260 1 5.3   260   0 .81   18    -
ldv-memsafety/memleaks_test6_2_false-valid-free.i 1 .20  27 2.5 1 4.8  250 1 13     410   0 .80   19    -
ldv-memsafety/memleaks_test8_2_false-valid-free.i 1 .22  27 2.1 1 2.6  250 1 6.5   260   0 .79   18    -
ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i 1 .22  27 2.1 1 4.9  250 0 97     530   0 .70   18    -
ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i 0 .20  28 2.3 -32 5.3  260 0 98     790   0 .61   18    -
ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i 1 .18  27 2.6 1 4.6  250 0 13     290   0 .83   18    -
ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i 1 .21  28 2.2 1 4.9  260 -32 18     480   0 .62   18    -
ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i 0 .24  29 2.2 -32 4.9  260 0 17     310   0 .81   18    -
ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i 1 .20  28 2.3 1 5.1  260 -32 16     550   0 .78   18    -
ldv-memsafety/memleaks_test15_false-valid-memtrack.i 0 .20  28 2.3 -32 9.6  370 -32 7.7   260   0 .64   18    -
ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i 0 .21  26 2.0 -32 4.6  260 -32 5.7   230   0 .72   19    -
ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i 1 .22  27 2.1 1 5.2  260 0 15     270   0 .62   18    -
ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i 1 .26  29 2.9 1 5.3  250 -32 6.2   250   0 .78   18    -
ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i 1 .22  28 2.8 1 6.2  250 -32 7.1   240   0 .62   19    -
ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i 1 .22  27 7.4 1 4.8  250 -32 10     280   0 .69   18    -
ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i 1 .24  28 2.8 1 5.5  260 -32 9.5   460   0 .82   19    -
ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i 1 130     690 1100   1 5.3  250 -32 15     510   0 .62   18    -
ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i 1 .22  27 2.2 1 5.0  250 0 14     270   0 .80   18    -
ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i 1 .18  27 2.5 1 5.3  260 0 14     290   0 .83   18    -
ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i 1 .21  27 2.2 1 4.4  250 0 14     280   0 .62   18    -
ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i 1 .22  27 2.2 1 4.5  250 -32 21     490   0 .79   18    -
ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i 0 .18  26 2.2 -32 4.6  250 -32 6.2   240   0 .62   19    -
ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i 1 .21  28 2.4 1 5.3  250 -32 30     600   0 .76   18    -
ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i 0 .21  27 2.2 -32 4.5  250 -32 5.5   230   0 .68   18    -
ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i 1 .18  27 2.3 1 5.0  260 0 15     270   0 .63   18    -
ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i 1 .18  26 2.3 1 3.8  250 -32 8.4   260   0 .79   19    -
ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i 0 .17  28 2.7 -32 5.6  260 0 28     450   0 .63   19    -
ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i 0 .18  27 2.5 -32 5.7  260 0 19     310   0 .61   18    -
ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i 0 .20  28 2.3 -32 3.3  270 0 18     290   0 .62   18    -
ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i 1 .20  30 2.2 1 4.5  250 0 14     270   0 .62   19    -
ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i 1 .18  27 2.3 1 4.6  270 0 14     290   0 .79   18    -
ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i 1 .20  27 2.0 1 4.6  260 0 15     280   0 .78   19    -
ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i 2 .17  27 2.3 - - - 0 3.3   190  
ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i 2 .19  28 2.4 - - - 0 3.4   200  
ldv-memsafety/memleaks_test12_true-valid-memsafety.i 2 .25  31 3.0 - - - 0 3.9   190  
ldv-memsafety/memleaks_test13_true-valid-memsafety.i 2 .20  27 2.0 - - - 0 4.4   190  
ldv-memsafety/memleaks_test14_true-valid-memsafety.i 2 .15  27 2.2 - - - 0 3.3   200  
ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i 2 .22  29 2.4 - - - 0 3.3   200  
ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i 2 .15  27 2.0 - - - 0 4.0   190  
ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i 2 .24  27 2.9 - - - 0 3.6   200  
ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i 0 .23  27 2.6 - - - 0 .017 4.8
ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i 2 .36  29 4.1 - - - 0 4.3   190  
ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i 2 .20  27 2.1 - - - 0 4.4   190  
ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i 2 .15  27 2.1 - - - 0 3.7   210  
ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i 2 .17  27 2.2 - - - 0 5.2   190  
ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i 2 .19  26 2.2 - - - 0 3.5   200  
ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i 2 .20  26 1.8 - - - 0 4.7   200  
ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i 2 .18  27 2.3 - - - 0 4.2   200  
ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i 2 .19  27 2.3 - - - 0 4.4   200  
ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i 0 .22  28 2.2 - - - 0 .025 5.0
ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i 0 .22  29 2.4 - - - 0 .018 4.9
ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i 2 .19  26 2.0 - - - 0 3.4   200  
ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i 2 .15  27 2.1 - - - 0 3.5   200  
ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i 2 .19  27 2.0 - - - 0 2.7   200  
ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i 2 .18  28 2.2 - - - 0 4.3   200  
ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i 2 .18  28 2.2 - - - 0 4.3   200  
ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i 2 .15  27 2.1 - - - 0 4.3   200  
ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i 2 .19  26 1.9 - - - 0 4.3   200  
ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i 0 .10  21 1.9 - - - 0 .024 5.0
ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i 0 .15  21 1.6 - - - 0 .022 5.0
ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i 0 .12  22 1.8 - - - 0 .025 4.8
ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i 0 .14  21 1.6 - - - 0 .019 4.8
ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i 0 .11  22 1.9 - - - 0 .020 4.8
ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i 0 .13  21 1.7 0 .70 44 0 .028 4.8 0 .0015 .30 -
ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i 0 .12  22 1.8 0 .65 40 0 .024 4.8 0 .0014 .30 -
ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i 0 .12  22 2.0 0 .54 43 0 .025 4.9 0 .0018 .27 -
ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i 0 .15  22 1.5 0 .67 43 0 .025 4.8 0 .0016 .28 -
ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i 0 .11  21 1.7 0 .65 42 0 .024 4.9 0 .0017 .33 -
sv-benchmarks/c/ status score witness inspect witness cpu (s) mem (MB) energy (J) status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy
total 180 201 17000   43000 140000 90 -315 390 22000 90 -1493 1400 42000 90 -561 250   1500 90 0 260 13000
    correct results 135 201 1600   12000 18000 69 69 320 18000 11 11 110 3300 15 15 12   280 0
        correct true 66 132 1400   7900 16000 0 0 0 0
        correct false 69 69 220   3900 2100 69 69 320 18000 11 11 110 3300 15 15 12   280 0
    correct-unconfimed results 13 0 2.6 360 30 0 0 0 0
        correct-unconfirmed true 0 0 0 0 0
        correct-unconfirmed false 13 0 2.6 360 30 0 0 0 0
    incorrect results 0 12 -384 63 3200 47 -1504 550 16000 22 -576 18   410 0
        incorrect true 0 12 -384 63 3200 47 -1504 550 16000 14 -448 11   260 0
        incorrect false 0 0 0 8 -128 6.6 150 0
score (180 tasks, max score: 270) 201 -315 -1493 -561 0
Run set predatorhp.sv-comp18.MemSafety-Heap cpa-seq-validate-violation-witnesses-predatorhp.sv-comp18-violation-witness.MemSafety-Heap uautomizer-validate-violation-witnesses-predatorhp.sv-comp18-violation-witness.MemSafety-Heap fshell-witness2test-validate-violation-witnesses-predatorhp.sv-comp18-violation-witness.MemSafety-Heap uautomizer-validate-correctness-witnesses-predatorhp.sv-comp18-correctness-witness.MemSafety-Heap