Tool CPAchecker 1.4-svcomp16c
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-22-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-04 13:17:38 CET [[ 2016-01-15 08:48:20 CET ]] [[ 2016-01-15 22:10:37 CET ]]
Run set sv-comp16.HeapMemSafety
Options -sv-comp16 -disable-java-assertions -heap 10000m -setprop cpa.arg.errorPath.graphml=error-witness.graphml [[ -witness-check -disable-java-assertions -heap 10000m -setprop cpa.arg.errorPath.graphml=error-witness.graphml -spec ../../results-verified/cpa-seq.2016-01-04_1317.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]][[ ../../results-verified/cpa-seq.2016-01-04_1317.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) 12   4.6 660 wit false(valid-deref) 23   12   710 true 70 41   1200
memsafety/test-0137_false-valid-deref.i false(valid-deref) 5.4 1.9 220 wit false(valid-deref) 7.3 4.1 240 true 15 8.5 340
memsafety/test-0235_false-valid-deref.i false(valid-deref) 7.9 2.4 270 wit false(valid-deref) 12   6.6 390 timeout 90 73   750
memsafety/960521-1_false-valid-free.i false(valid-free) 12   4.6 660 wit false(valid-free) 23   12   720 timeout 90 73   1000
memsafety/test-0158_false-valid-free.i false(valid-free) 5.2 1.9 210 wit false(valid-free) 6.3 3.5 260 false(valid-free) 15 8.8 340
memsafety/test-0232_false-valid-free.i false(valid-free) 5.4 2.0 220 wit false(valid-free) 6.4 3.6 230 error 41 31   490
memsafety/20020406-1_false-valid-memtrack.i error (recursion) 4.8 1.8 200 wit - -
memsafety/20051113-1.c_false-valid-memtrack.i false(valid-memtrack) 4.6 1.7 220 wit false(valid-memtrack) 8.2 4.6 290 true 19 12   380
memsafety/lockfree-3.1_false-valid-memtrack.i timeout 910   270   11000 wit - -
memsafety/lockfree-3.2_false-valid-memtrack.i timeout 900   270   11000 wit - -
memsafety/lockfree-3.3_false-valid-memtrack.i timeout 910   310   11000 wit - -
memsafety/test-0019_false-valid-memtrack.i false(valid-memtrack) 4.7 1.9 210 wit false(valid-memtrack) 5.7 3.3 220 false(valid-memtrack) 12 6.8 330
memsafety/test-0102_false-valid-memtrack.i false(valid-memtrack) 6.1 2.1 230 wit false(valid-memtrack) 7.2 4.0 240 error 25 17   460
memsafety/test-0158_false-valid-memtrack.i false(valid-memtrack) 3.8 1.5 200 wit false(valid-memtrack) 6.0 3.4 240 false(valid-memtrack) 12 6.8 330
memsafety/test-0220_false-valid-memtrack.i timeout 910   210   11000 wit - -
memsafety/test-0232_false-valid-memtrack.i false(valid-memtrack) 4.9 1.9 210 wit false(valid-memtrack) 6.0 3.4 230 false(valid-memtrack) 14 7.5 340
memsafety/test-0234_false-valid-memtrack.i false(valid-memtrack) 5.6 1.9 240 wit false(valid-memtrack) 8.7 4.8 320 true 52 39   510
memsafety/test-0235_false-valid-memtrack.i false(valid-memtrack) 6.7 2.2 240 wit false(valid-memtrack) 9.2 5.0 330 error 49 36   510
memsafety/960521-1_true-valid-memsafety.i timeout 900   870   800 wit - -
memsafety/lockfree-3.0_true-valid-memsafety.i timeout 910   290   11000 wit - -
memsafety/test-0019_true-valid-memsafety.i true 3.2 1.3 180 wit - -
memsafety/test-0102_true-valid-memsafety.i timeout 910   170   11000 wit - -
memsafety/test-0134_true-valid-memsafety.i timeout 900   670   7100 wit - -
memsafety/test-0158_true-valid-memsafety.i true 3.8 1.6 180 wit - -
memsafety/test-0214_true-valid-memsafety.i timeout 910   230   11000 wit - -
memsafety/test-0217_true-valid-memsafety.i timeout 900   230   11000 wit - -
memsafety/test-0218_true-valid-memsafety.i timeout 910   230   11000 wit - -
memsafety/test-0219_true-valid-memsafety.i timeout 900   210   11000 wit - -
memsafety/test-0232_true-valid-memsafety.i timeout 900   810   5800 wit - -
memsafety/test-0234_true-valid-memsafety.i timeout 910   140   10000 wit - -
memsafety/test-0235_true-valid-memsafety.i timeout 910   180   11000 wit - -
memsafety/test-0236_true-valid-memsafety.i timeout 910   160   11000 wit - -
memsafety/test-0237_true-valid-memsafety.i timeout 900   150   11000 wit - -
memsafety/test-0504_true-valid-memsafety.i timeout 900   740   7500 wit - -
memsafety/test-0513_true-valid-memsafety.i timeout 900   850   3700 wit - -
memsafety/test-0521_true-valid-memsafety.i timeout 900   850   3700 wit - -
memsafety-ext/dll_extends_pointer_true-valid-memsafety.i timeout 910   730   8400 wit - -
memsafety-ext/skiplist_2lvl_true-valid-memsafety.i timeout 900   470   9700 wit - -
memsafety-ext/skiplist_3lvl_true-valid-memsafety.i timeout 900   530   10000 wit - -
memsafety-ext/tree_cnstr_true-valid-memsafety.i timeout 910   210   11000 wit - -
memsafety-ext/tree_dsw_true-valid-memsafety.i timeout 910   210   10000 wit - -
memsafety-ext/tree_of_cslls_true-valid-memsafety.i timeout 910   270   10000 wit - -
memsafety-ext/tree_parent_ptr_true-valid-memsafety.i timeout 910   220   11000 wit - -
memsafety-ext/tree_stack_true-valid-memsafety.i timeout 910   210   11000 wit - -
list-ext-properties/960521-1_1_false-valid-deref.i false(valid-deref) 5.4 1.9 220 wit false(valid-deref) 8.1 4.4 270 true 31 25   350
list-ext-properties/960521-1_1_false-valid-free.i false(valid-free) 5.2 1.9 230 wit false(valid-free) 8.0 4.4 270 false(valid-free) 14 8.0 340
list-ext-properties/test-0158_1_false-valid-free.i false(valid-free) 4.5 1.8 190 wit false(valid-free) 6.2 3.5 240 true 14 7.9 350
list-ext-properties/test-0019_1_false-valid-memtrack.i false(valid-memtrack) 3.9 1.5 190 wit false(valid-memtrack) 5.7 3.2 220 false(valid-memtrack) 12 6.6 340
list-ext-properties/test-0158_1_false-valid-memtrack.i false(valid-memtrack) 4.0 1.6 200 wit false(valid-memtrack) 6.5 3.7 240 false(valid-memtrack) 10 7.9 330
list-ext-properties/test-0232_1_false-valid-memtrack.i false(valid-memtrack) 4.6 1.7 230 wit false(valid-memtrack) 6.1 3.5 230 false(valid-memtrack) 16 9.2 350
list-ext-properties/960521-1_1_true-valid-memsafety.i true 9.5 3.2 670 wit - -
list-ext-properties/list-ext_1_true-valid-memsafety.i true 21   8.8 1400 wit - -
list-ext-properties/list-ext_flag_1_true-valid-memsafety.i timeout 900   850   3800 wit - -
list-ext-properties/simple-ext_1_true-valid-memsafety.i true 12   3.9 690 wit - -
list-ext-properties/test-0019_1_true-valid-memsafety.i true 3.9 1.6 180 wit - -
list-ext-properties/test-0158_1_true-valid-memsafety.i true 3.3 1.3 180 wit - -
list-ext-properties/test-0214_1_true-valid-memsafety.i timeout 900   780   5300 wit - -
list-ext-properties/test-0217_1_true-valid-memsafety.i timeout 910   830   3900 wit - -
list-ext-properties/test-0232_1_true-valid-memsafety.i true 7.3 2.2 440 wit - -
list-ext-properties/test-0504_1_true-valid-memsafety.i true 740   690   4000 wit - -
list-ext-properties/test-0513_1_true-valid-memsafety.i true 5.4 1.9 230 wit - -
memory-alloca/c.03-alloca_true-valid-memsafety.i timeout 900   520   8800 wit - -
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c false(valid-deref) 3.4 1.5 170 wit false(valid-deref) 4.7 2.8 210 true 15 8.5 350
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c false(valid-deref) 3.2 1.5 170 wit false(valid-deref) 4.8 2.9 200 false(valid-deref) 14 8.3 330
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c false(valid-deref) 3.1 1.4 170 wit false(valid-deref) 4.5 2.6 200 false(valid-deref) 11 6.6 330
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c false(valid-deref) 3.0 1.5 160 wit false(valid-deref) 4.5 2.6 200 false(valid-deref) 13 10   340
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c false(valid-deref) 15   4.9 720 wit false(valid-deref) 35   18   920 timeout 91 48   1900
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c false(valid-deref) 14   4.6 730 wit false(valid-deref) 35   18   920 timeout 92 49   2000
ldv-memsafety/memset2_false-valid-deref-write.c false(valid-deref) 3.0 1.4 160 wit false(valid-deref) 4.0 2.4 190 true 15 8.5 330
ldv-memsafety/memset3_false-valid-deref-write.c false(valid-deref) 2.6 1.2 170 wit false(valid-deref) 4.1 2.4 190 true 15 8.8 370
ldv-memsafety/memsetNonZero2_false-valid-deref-write.c false(valid-deref) 3.2 1.4 170 wit false(valid-deref) 4.1 2.4 190 true 15 8.6 350
ldv-memsafety/memsetNonZero3_false-valid-deref-write.c false(valid-deref) 3.2 1.4 170 wit false(valid-deref) 4.3 2.5 190 true 15 8.8 330
ldv-memsafety/memsetNonZero_false-valid-deref-write.c false(valid-deref) 3.0 1.4 170 wit false(valid-deref) 4.2 2.5 180 true 15 8.9 330
ldv-memsafety/memset_false-valid-deref-write.c false(valid-deref) 3.3 1.5 170 wit false(valid-deref) 4.0 2.5 190 true 14 8.4 330
ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c true 540   220   9500 wit - -
ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety.c true 13   5.4 1300 wit - -
ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c true 8.3 3.1 640 wit - -
ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety.c true 13   5.1 830 wit - -
ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c true 81   64   4700 wit - -
ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety.c true 8.9 3.4 640 wit - -
ldv-memsafety/StructInitialization1_true-valid-memsafety.c true 3.2 1.4 160 wit - -
ldv-memsafety/StructInitialization2_true-valid-memsafety.c true 2.7 1.2 160 wit - -
ldv-memsafety/StructInitialization_true-valid-memsafety.c true 2.9 1.3 160 wit - -
ldv-memsafety/memset2_true-valid-memsafety.c true 3.0 1.3 160 wit - -
ldv-memsafety/memset3_true-valid-memsafety.c true 3.0 1.3 160 wit - -
ldv-memsafety/memsetNonZero2_true-valid-memsafety.c true 2.5 1.1 160 wit - -
ldv-memsafety/memsetNonZero3_true-valid-memsafety.c true 2.4 1.1 160 wit - -
ldv-memsafety/memsetNonZero_true-valid-memsafety.c true 2.6 1.2 160 wit - -
ldv-memsafety/memset_true-valid-memsafety.c true 2.9 1.3 160 wit - -
ldv-memsafety/memleaks_test14_3_false-valid-deref.i false(valid-deref) 5.0 1.7 220 wit false(valid-deref) 8.6 4.7 310 true 19 14   390
ldv-memsafety/memleaks_test22_3_false-valid-deref.i false(valid-deref) 6.5 2.2 240 wit false(valid-deref) 9.0 4.9 340 true 19 9.9 360
ldv-memsafety/memleaks_test22_5_false-valid-deref.i false(valid-deref) 6.4 2.1 230 wit false(valid-deref) 8.9 4.9 330 true 17 9.2 350
ldv-memsafety/memleaks_test23_2_false-valid-deref.i false(valid-deref) 6.9 2.3 250 wit false(valid-deref) 9.1 5.0 310 true 22 12   490
ldv-memsafety/memleaks_test23_4_false-valid-deref.i false(valid-deref) 5.8 1.9 250 wit false(valid-deref) 9.2 5.0 320 true 21 12   490
ldv-memsafety/memleaks_test11_1_false-valid-free.i false(valid-free) 5.6 1.9 240 wit false(valid-free) 8.6 4.7 310 true 44 36   480
ldv-memsafety/memleaks_test12_false-valid-free.i error 5.9 2.0 240 wit - -
ldv-memsafety/memleaks_test17_2_false-valid-free.i false(valid-free) 5.7 1.9 250 wit false(valid-free) 9.5 5.2 330 true 19 10   410
ldv-memsafety/memleaks_test19_false-valid-free.i false(valid-free) 6.3 2.2 220 wit false(valid-free) 8.5 4.7 310 false(valid-free) 19 11   360
ldv-memsafety/memleaks_test2_false-valid-free.i false(valid-free) 4.4 1.5 210 wit false(valid-free) 6.9 3.9 240 true 13 11   330
ldv-memsafety/memleaks_test3_false-valid-free.i false(valid-free) 4.8 1.7 210 wit false(valid-free) 6.7 3.7 240 false(valid-free) 13 7.1 340
ldv-memsafety/memleaks_test6_2_false-valid-free.i false(valid-free) 4.9 1.7 220 wit false(valid-free) 7.8 4.2 310 false(valid-free) 17 13   340
ldv-memsafety/memleaks_test8_2_false-valid-free.i false(valid-free) 5.4 2.0 210 wit false(valid-free) 7.4 4.1 250 false(valid-free) 14 7.8 340
ldv-memsafety/memleaks_test10_false-valid-memtrack.i false(valid-memtrack) 6.0 2.1 220 wit false(valid-memtrack) 8.2 4.5 310 false(valid-memtrack) 16 9.4 350
ldv-memsafety/memleaks_test11_2_false-valid-memtrack.i false(valid-memtrack) 6.3 2.1 230 wit false(valid-memtrack) 8.9 4.8 310 false(valid-memtrack) 17 9.1 350
ldv-memsafety/memleaks_test13_1_false-valid-memtrack.i false(valid-memtrack) 6.1 2.1 220 wit false(valid-memtrack) 9.0 4.9 320 false(valid-memtrack) 13 9.1 340
ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i false(valid-memtrack) 6.0 2.1 220 wit false(valid-memtrack) 11   6.1 400 unknown 17 9.5 380
ldv-memsafety/memleaks_test14_1_false-valid-memtrack.i false(valid-memtrack) 4.8 1.7 220 wit false(valid-memtrack) 8.2 4.4 300 true 12 6.7 340
ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i false(valid-memtrack) 6.1 2.0 220 wit false(valid-memtrack) 11   5.8 380 unknown 19 11   370
ldv-memsafety/memleaks_test15_false-valid-memtrack.i false(valid-memtrack) 6.1 2.1 230 wit false(valid-memtrack) 9.2 5.0 320 true 18 9.8 360
ldv-memsafety/memleaks_test16_1_false-valid-memtrack.i false(valid-memtrack) 4.8 1.7 220 wit false(valid-memtrack) 7.2 3.9 240 false(valid-memtrack) 15 9.6 350
ldv-memsafety/memleaks_test16_2_false-valid-memtrack.i false(valid-memtrack) 5.7 2.0 210 wit false(valid-memtrack) 7.1 3.9 250 false(valid-memtrack) 13 7.0 330
ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i false(valid-memtrack) 5.8 1.9 250 wit false(valid-memtrack) 10   5.5 330 true 25 15   490
ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i false(valid-memtrack) 7.6 2.4 290 wit false(valid-memtrack) 11   6.0 360 true 22 12   520
ldv-memsafety/memleaks_test18_1_false-valid-memtrack.i false(valid-memtrack) 5.6 2.0 220 wit false(valid-memtrack) 8.1 4.4 310 true 17 9.4 350
ldv-memsafety/memleaks_test18_2_false-valid-memtrack.i false(valid-memtrack) 7.3 2.4 260 wit false(valid-memtrack) 9.6 5.2 340 true 21 11   440
ldv-memsafety/memleaks_test18_3_false-valid-memtrack.i false(valid-memtrack) 5.7 1.9 240 wit false(valid-memtrack) 9.9 5.3 330 true 22 12   430
ldv-memsafety/memleaks_test1_false-valid-memtrack.i false(valid-memtrack) 4.6 1.6 210 wit false(valid-memtrack) 6.8 3.8 240 false(valid-memtrack) 13 8.7 340
ldv-memsafety/memleaks_test20_false-valid-memtrack.i false(valid-memtrack) 5.5 1.9 220 wit false(valid-memtrack) 8.0 4.4 280 false(valid-memtrack) 13 8.6 330
ldv-memsafety/memleaks_test21_false-valid-memtrack.i false(valid-memtrack) 4.8 1.7 210 wit false(valid-memtrack) 7.2 4.0 250 false(valid-memtrack) 14 7.5 340
ldv-memsafety/memleaks_test22_1_false-valid-memtrack.i false(valid-memtrack) 5.2 1.9 230 wit false(valid-memtrack) 8.7 4.8 340 true 16 9.4 350
ldv-memsafety/memleaks_test22_2_false-valid-memtrack.i false(valid-memtrack) 5.6 2.0 220 wit false(valid-memtrack) 8.2 4.5 320 true 15 9.2 350
ldv-memsafety/memleaks_test22_4_false-valid-memtrack.i false(valid-memtrack) 5.0 1.8 230 wit false(valid-memtrack) 9.2 5.0 340 true 17 9.5 340
ldv-memsafety/memleaks_test4_false-valid-memtrack.i false(valid-memtrack) 5.7 2.0 220 wit false(valid-memtrack) 7.5 4.1 300 false(valid-memtrack) 11 6.5 330
ldv-memsafety/memleaks_test5_1_false-valid-memtrack.i false(valid-memtrack) 5.4 2.0 210 wit false(valid-memtrack) 7.2 4.0 250 false(valid-memtrack) 12 6.7 340
ldv-memsafety/memleaks_test5_2_false-valid-memtrack.i false(valid-memtrack) 5.5 2.0 210 wit false(valid-memtrack) 6.9 3.7 240 true 14 9.3 330
ldv-memsafety/memleaks_test6_1_false-valid-memtrack.i false(valid-memtrack) 5.7 2.0 230 wit false(valid-memtrack) 8.3 4.5 310 false(valid-memtrack) 19 12   370
ldv-memsafety/memleaks_test6_3_false-valid-memtrack.i false(valid-memtrack) 5.7 2.0 220 wit false(valid-memtrack) 8.1 4.4 310 false(valid-memtrack) 13 8.4 330
ldv-memsafety/memleaks_test7_false-valid-memtrack.i false(valid-memtrack) 5.9 2.0 220 wit false(valid-memtrack) 7.7 4.2 310 false(valid-memtrack) 14 9.8 330
ldv-memsafety/memleaks_test8_1_false-valid-memtrack.i false(valid-memtrack) 5.4 1.9 210 wit false(valid-memtrack) 6.8 3.8 240 false(valid-memtrack) 13 7.3 350
ldv-memsafety/memleaks_test9_1_false-valid-memtrack.i false(valid-memtrack) 5.6 2.0 220 wit false(valid-memtrack) 7.1 3.9 240 false(valid-memtrack) 13 6.9 340
ldv-memsafety/memleaks_test9_2_false-valid-memtrack.i false(valid-memtrack) 4.5 1.6 220 wit false(valid-memtrack) 6.9 3.8 240 false(valid-memtrack) 11 6.2 350
ldv-memsafety/memleaks_test10_true-valid-memsafety.i true 5.0 1.8 200 wit - -
ldv-memsafety/memleaks_test11_true-valid-memsafety.i true 5.2 1.9 210 wit - -
ldv-memsafety/memleaks_test12_true-valid-memsafety.i error 5.0 1.7 230 wit - -
ldv-memsafety/memleaks_test13_true-valid-memsafety.i true 5.1 1.8 210 wit - -
ldv-memsafety/memleaks_test14_true-valid-memsafety.i true 4.3 1.6 210 wit - -
ldv-memsafety/memleaks_test15_true-valid-memsafety.i false(valid-memtrack) 6.8 2.2 250 wit - -
ldv-memsafety/memleaks_test16_true-valid-memsafety.i true 4.6 1.8 200 wit - -
ldv-memsafety/memleaks_test17_1_true-valid-memsafety.i true 6.2 2.1 260 wit - -
ldv-memsafety/memleaks_test17_2_true-valid-memsafety.i error 5.0 1.9 210 wit - -
ldv-memsafety/memleaks_test18_true-valid-memsafety.i true 6.1 2.0 240 wit - -
ldv-memsafety/memleaks_test19_true-valid-memsafety.i true 4.7 1.8 210 wit - -
ldv-memsafety/memleaks_test1_true-valid-memsafety.i true 3.8 1.5 200 wit - -
ldv-memsafety/memleaks_test20_true-valid-memsafety.i true 4.1 1.5 210 wit - -
ldv-memsafety/memleaks_test21_true-valid-memsafety.i true 4.6 1.8 210 wit - -
ldv-memsafety/memleaks_test22_1_true-valid-memsafety.i true 4.2 1.6 210 wit - -
ldv-memsafety/memleaks_test22_2_true-valid-memsafety.i true 5.0 1.9 210 wit - -
ldv-memsafety/memleaks_test22_3_true-valid-memsafety.i true 4.5 1.6 210 wit - -
ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i false(valid-deref) 6.9 2.3 250 wit - -
ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i false(valid-deref) 6.9 2.3 250 wit - -
ldv-memsafety/memleaks_test2_true-valid-memsafety.i true 4.7 1.8 200 wit - -
ldv-memsafety/memleaks_test3_true-valid-memsafety.i true 4.5 1.8 200 wit - -
ldv-memsafety/memleaks_test4_true-valid-memsafety.i true 4.7 1.8 200 wit - -
ldv-memsafety/memleaks_test5_true-valid-memsafety.i true 4.0 1.6 200 wit - -
ldv-memsafety/memleaks_test6_true-valid-memsafety.i true 4.9 1.8 210 wit - -
ldv-memsafety/memleaks_test7_true-valid-memsafety.i true 4.1 1.5 200 wit - -
ldv-memsafety/memleaks_test8_true-valid-memsafety.i true 4.0 1.5 200 wit - -
ldv-memsafety/memleaks_test9_true-valid-memsafety.i true 4.5 1.8 200 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 31000 15000   330000 158 630   340   22000   158 1600   1000   32000  
    correct results 119 2000 1200   49000 72 630   340   22000   63 1600   1000   32000  
        correct true 47 1600 1100   32000 0 0   0   0   32 0   0   0  
        correct false 72 400 140   17000 72 630   340   22000   31 1600   1000   32000  
    incorrect results 3 21 6.8 750 0 0   0   0   0 0   0   0  
        incorrect true 0
        incorrect false 3 21 6.8 750 0 0   0   0   0 0   0   0  
score (158 tasks, max score: 238) 118
Run set sv-comp16.HeapMemSafety