* profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 1001;profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 11;profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 7;profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 24;profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --no-unwinding-assertions;profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 21;profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --unwind 4;profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function simpleWhile --unwind 1001;profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check;profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 18;profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --unwind 1001;profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 19;profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 31;profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 8;profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 3;profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main;profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --unwind 11;profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 13;profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 257;profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --unwind 101;profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 27;profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --unwind 6;profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 15;profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 51;profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 14;profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 100;profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 10;profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 201;profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 358;profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 50;profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 1001 --no-unwinding-assertions;profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 12;profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 17;profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 1025;profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 9;profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --unwind 17;profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --unwind 10;profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 20;profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 16;profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 1;profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function intSqRoot --unwind 201;profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 6;profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 5;profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 101 version 4.3 results *
Timeout: 120s Memory limit: unlimitedkb
Sun Aug 17 16:14:55 2014
Benchmark Result commandline date exitcode expected maxmem ssa-size user usertime wallclock
anonymous/bubbleSort Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --unwind 6 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/anonymous/bubbleSort.bin Sun Aug 17 16:04:07 BST 2014 0 valid 92144kb 1072 jenkins-slave 10.32 0:10.50
anonymous/intSqRoot Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function intSqRoot --unwind 201 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/anonymous/intSqRoot.bin Sun Aug 17 16:03:07 BST 2014 0 valid 1920336kb 3845 jenkins-slave 56.31 0:58.33
anonymous/selectSort TIMEOUT profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --unwind 6 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/anonymous/selectSort.bin Sun Aug 17 16:02:41 BST 2014 124 unknown 1814360kb 778 jenkins-slave 117.68 2:00.56
anonymous/simpleWhile Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function simpleWhile --unwind 1001 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/anonymous/simpleWhile.bin Sun Aug 17 16:04:14 BST 2014 0 valid 199344kb 9032 jenkins-slave 32.63 0:32.87
eureka/Prim_4 Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 5 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/eureka/Prim_4.bin Sun Aug 17 15:56:31 BST 2014 0 valid 14564kb 1978 jenkins-slave 1.13 0:01.16
eureka/Prim_5 Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 6 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/eureka/Prim_5.bin Sun Aug 17 15:56:30 BST 2014 0 valid 18456kb 2584 jenkins-slave 0.80 0:00.81
eureka/Prim_6 Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 7 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/eureka/Prim_6.bin Sun Aug 17 15:56:16 BST 2014 0 valid 22612kb 3250 jenkins-slave 1.16 0:01.20
eureka/Prim_7 Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 8 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/eureka/Prim_7.bin Sun Aug 17 15:56:23 BST 2014 0 valid 27752kb 3976 jenkins-slave 1.34 0:01.36
eureka/Prim_8 Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 9 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/eureka/Prim_8.bin Sun Aug 17 15:56:19 BST 2014 0 valid 33920kb 4762 jenkins-slave 1.68 0:01.70
eureka/array_init Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/eureka/array_init.bin Sun Aug 17 15:56:13 BST 2014 0 valid 6072kb 71 jenkins-slave 0.02 0:00.03
eureka/array_init_assign Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/eureka/array_init_assign.bin Sun Aug 17 15:56:11 BST 2014 0 valid 5952kb 44 jenkins-slave 0.02 0:00.04
eureka/bf10 Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 11 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/eureka/bf10.bin Sun Aug 17 15:56:15 BST 2014 0 valid 10812kb 827 jenkins-slave 0.41 0:00.43
eureka/bf11 Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 12 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/eureka/bf11.bin Sun Aug 17 15:56:25 BST 2014 0 valid 12100kb 895 jenkins-slave 0.48 0:00.49
eureka/bf12 Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 13 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/eureka/bf12.bin Sun Aug 17 15:56:28 BST 2014 0 valid 12368kb 963 jenkins-slave 0.98 0:00.99
eureka/bf13 Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 14 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/eureka/bf13.bin Sun Aug 17 15:56:17 BST 2014 0 valid 12764kb 1031 jenkins-slave 0.55 0:00.57
eureka/bf14 Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 15 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/eureka/bf14.bin Sun Aug 17 15:56:30 BST 2014 0 valid 13928kb 1099 jenkins-slave 1.22 0:01.24
eureka/bf15 Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 16 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/eureka/bf15.bin Sun Aug 17 15:56:20 BST 2014 0 valid 13540kb 1167 jenkins-slave 0.63 0:00.64
eureka/bf16 Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 17 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/eureka/bf16.bin Sun Aug 17 15:56:11 BST 2014 0 valid 13840kb 1235 jenkins-slave 1.12 0:01.14
eureka/bf17 Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 18 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/eureka/bf17.bin Sun Aug 17 15:56:26 BST 2014 0 valid 15268kb 1303 jenkins-slave 0.71 0:00.73
eureka/bf18 Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 19 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/eureka/bf18.bin Sun Aug 17 15:56:26 BST 2014 0 valid 15620kb 1371 jenkins-slave 0.76 0:00.77
eureka/bf19 Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 20 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/eureka/bf19.bin Sun Aug 17 15:56:20 BST 2014 0 valid 15960kb 1439 jenkins-slave 1.28 0:01.29
eureka/bf20 Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 21 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/eureka/bf20.bin Sun Aug 17 15:56:27 BST 2014 0 valid 17364kb 1507 jenkins-slave 0.86 0:00.88
eureka/bf5 Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 6 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/eureka/bf5.bin Sun Aug 17 15:56:29 BST 2014 0 valid 8588kb 487 jenkins-slave 0.22 0:00.23
eureka/bf6 Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 7 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/eureka/bf6.bin Sun Aug 17 15:56:32 BST 2014 0 valid 9108kb 555 jenkins-slave 0.54 0:00.55
eureka/bf7 Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 8 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/eureka/bf7.bin Sun Aug 17 15:56:21 BST 2014 0 valid 9448kb 623 jenkins-slave 0.30 0:00.31
eureka/bf8 Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 9 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/eureka/bf8.bin Sun Aug 17 15:56:11 BST 2014 0 valid 9980kb 691 jenkins-slave 0.70 0:00.70
eureka/bf9 Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 10 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/eureka/bf9.bin Sun Aug 17 15:56:23 BST 2014 0 valid 10864kb 759 jenkins-slave 0.78 0:00.81
eureka/bubblesort Property VIOLATED profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 6 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/eureka/bubblesort.bin Sun Aug 17 15:56:19 BST 2014 10 invalid 6496kb 125 jenkins-slave 0.13 0:00.14
eureka/bubblesort_inner_loop Property VIOLATED profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 6 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/eureka/bubblesort_inner_loop.bin Sun Aug 17 15:56:14 BST 2014 10 invalid 6100kb 50 jenkins-slave 0.02 0:00.04
eureka/complex_guard Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 3 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/eureka/complex_guard.bin Sun Aug 17 15:56:13 BST 2014 0 valid 6088kb 52 jenkins-slave 0.02 0:00.02
eureka/loop_on_input Property VIOLATED profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 5 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/eureka/loop_on_input.bin Sun Aug 17 15:56:13 BST 2014 10 invalid 7100kb 79 jenkins-slave 0.03 0:00.04
eureka/sequential_swap Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/eureka/sequential_swap.bin Sun Aug 17 15:56:23 BST 2014 0 valid 5512kb 42 jenkins-slave 0.01 0:00.02
eureka/simple_array_inversion Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 3 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/eureka/simple_array_inversion.bin Sun Aug 17 15:56:11 BST 2014 0 valid 5900kb 33 jenkins-slave 0.03 0:00.04
eureka/simple_control_on_input Property VIOLATED profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 21 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/eureka/simple_control_on_input.bin Sun Aug 17 15:56:23 BST 2014 10 invalid 43344kb 236 jenkins-slave 0.70 0:00.74
eureka/simple_swap_call Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/eureka/simple_swap_call.bin Sun Aug 17 15:56:17 BST 2014 0 valid 5512kb 26 jenkins-slave 0.00 0:00.01
eureka/wrong_loop Property VIOLATED profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 7 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/eureka/wrong_loop.bin Sun Aug 17 15:56:16 BST 2014 10 invalid 5912kb 67 jenkins-slave 0.03 0:00.04
necla/ex1 Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/necla/ex1.bin Sun Aug 17 16:01:38 BST 2014 0 valid 97896kb 7191 jenkins-slave 33.75 0:33.86
necla/ex10 Property VIOLATED profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --unwind 17 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/necla/ex10.bin Sun Aug 17 16:02:16 BST 2014 10 invalid 16052kb 569 jenkins-slave 0.30 0:00.31
necla/ex11 Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 1001 --no-unwinding-assertions /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/necla/ex11.bin Sun Aug 17 16:01:47 BST 2014 0 valid 257824kb 12279 jenkins-slave 21.58 0:21.89
necla/ex12 Property VIOLATED profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/necla/ex12.bin Sun Aug 17 16:01:21 BST 2014 10 invalid 6452kb 79 jenkins-slave 0.05 0:00.05
necla/ex13 Property VIOLATED profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/necla/ex13.bin Sun Aug 17 16:00:08 BST 2014 10 invalid 6820kb 19 jenkins-slave 0.06 0:00.06
necla/ex14 Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/necla/ex14.bin Sun Aug 17 16:01:42 BST 2014 0 valid 6324kb 89 jenkins-slave 0.03 0:00.03
necla/ex15 Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/necla/ex15.bin Sun Aug 17 16:01:51 BST 2014 0 valid 7140kb 89 jenkins-slave 0.08 0:00.09
necla/ex16 Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 1001 --no-unwinding-assertions /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/necla/ex16.bin Sun Aug 17 15:59:29 BST 2014 0 valid 14628kb 5057 jenkins-slave 1.54 0:01.57
necla/ex17 Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/necla/ex17.bin Sun Aug 17 16:01:44 BST 2014 0 valid 36944kb 526 jenkins-slave 1.00 0:01.06
necla/ex18 Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 101 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/necla/ex18.bin Sun Aug 17 15:57:38 BST 2014 0 valid 1436724kb 2082 jenkins-slave 111.73 1:54.05
necla/ex19 Property VIOLATED profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --unwind 1001 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/necla/ex19.bin Sun Aug 17 16:01:56 BST 2014 10 invalid 395788kb 9035 jenkins-slave 68.80 1:09.18
necla/ex2 TIMEOUT profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 101 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/necla/ex2.bin Sun Aug 17 15:57:20 BST 2014 124 unknown 557544kb 6632 jenkins-slave 119.36 2:00.16
necla/ex20 Property VIOLATED profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 1025 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/necla/ex20.bin Sun Aug 17 16:00:22 BST 2014 10 invalid 328836kb 9265 jenkins-slave 78.70 1:19.20
necla/ex21 Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/necla/ex21.bin Sun Aug 17 16:00:42 BST 2014 0 valid 28092kb 3223 jenkins-slave 4.80 0:04.83
necla/ex22 Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 201 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/necla/ex22.bin Sun Aug 17 15:59:55 BST 2014 0 valid 17392kb 909 jenkins-slave 3.25 0:03.27
necla/ex23 Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/necla/ex23.bin Sun Aug 17 16:01:25 BST 2014 0 valid 368452kb 316 jenkins-slave 13.36 0:13.70
necla/ex26 Property VIOLATED profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/necla/ex26.bin Sun Aug 17 15:59:35 BST 2014 10 invalid 135316kb 5473 jenkins-slave 16.27 0:16.49
necla/ex27 Property VIOLATED profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 201 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/necla/ex27.bin Sun Aug 17 16:00:51 BST 2014 10 invalid 45048kb 3248 jenkins-slave 7.34 0:07.37
necla/ex29 Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/necla/ex29.bin Sun Aug 17 16:00:15 BST 2014 0 valid 31360kb 773 jenkins-slave 4.52 0:04.56
necla/ex3 Property VIOLATED profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 11 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/necla/ex3.bin Sun Aug 17 16:01:40 BST 2014 10 invalid 7644kb 87 jenkins-slave 0.06 0:00.06
necla/ex30 ERROR profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 201 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/necla/ex30.bin Sun Aug 17 16:01:07 BST 2014 10 unknown 48404kb 4097 jenkins-slave 11.92 0:11.99
necla/ex31 Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 8 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/necla/ex31.bin Sun Aug 17 16:01:01 BST 2014 0 valid 6008kb 64 jenkins-slave 0.03 0:00.03
necla/ex32 Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 1001 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/necla/ex32.bin Sun Aug 17 15:57:20 BST 2014 0 valid 1567204kb 10038 jenkins-slave 15.45 0:16.38
necla/ex33 TIMEOUT profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/necla/ex33.bin Sun Aug 17 15:57:22 BST 2014 124 unknown 1429660kb jenkins-slave 118.45 2:00.38
necla/ex34 Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/necla/ex34.bin Sun Aug 17 15:59:26 BST 2014 0 valid 10432kb 109 jenkins-slave 0.20 0:00.22
necla/ex36_free TIMEOUT profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --no-unwinding-assertions /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/necla/ex36_free.bin Sun Aug 17 16:00:01 BST 2014 124 unknown 880348kb jenkins-slave 118.88 2:00.24
necla/ex36_read TIMEOUT profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --no-unwinding-assertions /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/necla/ex36_read.bin Sun Aug 17 15:59:34 BST 2014 124 unknown 1138956kb jenkins-slave 119.01 2:00.12
necla/ex37 Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/necla/ex37.bin Sun Aug 17 16:01:53 BST 2014 0 valid 27560kb 40 jenkins-slave 0.32 0:00.35
necla/ex4 Property VIOLATED profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 11 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/necla/ex4.bin Sun Aug 17 16:00:11 BST 2014 10 invalid 7400kb 352 jenkins-slave 0.17 0:00.18
necla/ex40 Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --unwind 101 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/necla/ex40.bin Sun Aug 17 16:02:14 BST 2014 0 invalid 6092kb 31 jenkins-slave 0.02 0:00.02
necla/ex43 Property VIOLATED profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/necla/ex43.bin Sun Aug 17 15:57:21 BST 2014 10 invalid 839256kb 7501 jenkins-slave 36.80 0:37.78
necla/ex46 Property VIOLATED profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --unwind 11 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/necla/ex46.bin Sun Aug 17 16:02:26 BST 2014 10 invalid 161108kb 229 jenkins-slave 7.95 0:08.22
necla/ex47 Property VIOLATED profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --unwind 10 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/necla/ex47.bin Sun Aug 17 16:02:18 BST 2014 10 invalid 124328kb 221 jenkins-slave 5.67 0:05.84
necla/ex49 Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --unwind 1001 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/necla/ex49.bin Sun Aug 17 15:59:23 BST 2014 0 valid 224768kb 9031 jenkins-slave 77.11 1:17.45
necla/ex5 Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/necla/ex5.bin Sun Aug 17 16:01:44 BST 2014 0 valid 6192kb 21 jenkins-slave 0.01 0:00.01
necla/ex6 Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/necla/ex6.bin Sun Aug 17 16:00:49 BST 2014 0 valid 5512kb 31 jenkins-slave 0.01 0:00.02
necla/ex7 TIMEOUT profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --unwind 1001 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/necla/ex7.bin Sun Aug 17 15:58:05 BST 2014 124 unknown 1094308kb 9071 jenkins-slave 118.73 2:00.28
necla/ex8 TIMEOUT profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 1001 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/necla/ex8.bin Sun Aug 17 16:02:12 BST 2014 124 unknown 326740kb jenkins-slave 119.52 2:00.09
necla/ex9 Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 7 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/necla/ex9.bin Sun Aug 17 16:01:03 BST 2014 0 valid 47280kb 270 jenkins-slave 2.32 0:02.40
necla/inf1 Property VIOLATED profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/necla/inf1.bin Sun Aug 17 15:58:02 BST 2014 10 invalid 6524kb 44 jenkins-slave 0.04 0:00.06
necla/inf3 Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --unwind 11 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/necla/inf3.bin Sun Aug 17 16:02:04 BST 2014 0 valid 593724kb 655 jenkins-slave 29.16 0:29.79
necla/inf4 Property VIOLATED profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/necla/inf4.bin Sun Aug 17 16:01:49 BST 2014 10 invalid 7344kb 94 jenkins-slave 0.04 0:00.05
necla/inf5 Property VIOLATED profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/necla/inf5.bin Sun Aug 17 16:01:36 BST 2014 10 invalid 6552kb 102 jenkins-slave 0.03 0:00.03
necla/inf6 Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/necla/inf6.bin Sun Aug 17 15:57:19 BST 2014 0 valid 5988kb 52 jenkins-slave 0.01 0:00.01
necla/inf8 Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/necla/inf8.bin Sun Aug 17 16:01:47 BST 2014 0 valid 6176kb 86 jenkins-slave 0.00 0:00.02
queue/queue_1 Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/queue/queue_1.bin Sun Aug 17 16:02:36 BST 2014 0 valid 6064kb 59 jenkins-slave 0.03 0:00.04
queue/queue_10 Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/queue/queue_10.bin Sun Aug 17 16:02:39 BST 2014 0 valid 7008kb 374 jenkins-slave 0.09 0:00.10
queue/queue_100 Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/queue/queue_100.bin Sun Aug 17 16:02:36 BST 2014 0 valid 34284kb 3524 jenkins-slave 1.86 0:01.87
queue/queue_1000 TIMEOUT profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/queue/queue_1000.bin Sun Aug 17 16:02:40 BST 2014 124 unknown 1333332kb 35024 jenkins-slave 119.03 2:00.20
slayer/ex1 Property VIOLATED profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/slayer/ex1.bin Sun Aug 17 15:57:13 BST 2014 10 invalid 26996kb 26 jenkins-slave 0.28 0:00.32
slayer/ex2 Property VIOLATED profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/slayer/ex2.bin Sun Aug 17 15:57:08 BST 2014 10 valid 5920kb 19 jenkins-slave 0.00 0:00.01
slayer/ex3 Property VIOLATED profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/slayer/ex3.bin Sun Aug 17 15:57:14 BST 2014 10 invalid 27128kb 68 jenkins-slave 0.58 0:00.62
slayer/ex5 Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/slayer/ex5.bin Sun Aug 17 15:57:16 BST 2014 0 valid 27244kb 44 jenkins-slave 0.29 0:00.33
slayer/ex6 Property VIOLATED profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/slayer/ex6.bin Sun Aug 17 15:57:10 BST 2014 10 invalid 27564kb 60 jenkins-slave 0.33 0:00.35
slayer/ex7 Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 11 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/slayer/ex7.bin Sun Aug 17 15:57:10 BST 2014 0 valid 27892kb 252 jenkins-slave 0.38 0:00.40
slayer/ex8 Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 6 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/slayer/ex8.bin Sun Aug 17 15:57:17 BST 2014 0 valid 58988kb 675 jenkins-slave 2.77 0:02.86
slayer/ex9 Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 6 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/slayer/ex9.bin Sun Aug 17 15:57:12 BST 2014 0 valid 60984kb 1156 jenkins-slave 4.62 0:04.71
smack/array Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/smack/array.bin Sun Aug 17 15:56:33 BST 2014 0 valid 27188kb 41 jenkins-slave 0.57 0:00.61
smack/array1 Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/smack/array1.bin Sun Aug 17 15:56:47 BST 2014 0 valid 27464kb 45 jenkins-slave 0.59 0:00.66
smack/array2 Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/smack/array2.bin Sun Aug 17 15:56:37 BST 2014 0 valid 29200kb 348 jenkins-slave 1.05 0:01.11
smack/array3 Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/smack/array3.bin Sun Aug 17 15:56:52 BST 2014 0 valid 29568kb 655 jenkins-slave 2.77 0:02.83
smack/array4 Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/smack/array4.bin Sun Aug 17 15:56:34 BST 2014 0 valid 32516kb 655 jenkins-slave 1.76 0:01.80
smack/array_free Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/smack/array_free.bin Sun Aug 17 15:56:44 BST 2014 0 valid 27104kb 447 jenkins-slave 0.38 0:00.40
smack/array_free1 Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/smack/array_free1.bin Sun Aug 17 15:56:47 BST 2014 0 valid 27144kb 447 jenkins-slave 0.37 0:00.40
smack/array_free2 Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/smack/array_free2.bin Sun Aug 17 15:57:00 BST 2014 0 valid 27172kb 447 jenkins-slave 0.37 0:00.40
smack/ase_example Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 11 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/smack/ase_example.bin Sun Aug 17 15:57:03 BST 2014 0 valid 27460kb 271 jenkins-slave 1.63 0:01.69
smack/dsa_test Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/smack/dsa_test.bin Sun Aug 17 15:56:37 BST 2014 0 valid 27260kb 47 jenkins-slave 0.30 0:00.34
smack/dsa_test1 Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/smack/dsa_test1.bin Sun Aug 17 15:56:36 BST 2014 0 valid 27400kb 90 jenkins-slave 0.68 0:00.73
smack/dsa_test10 Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/smack/dsa_test10.bin Sun Aug 17 15:57:07 BST 2014 0 valid 29420kb 235 jenkins-slave 1.90 0:01.93
smack/dsa_test11 Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/smack/dsa_test11.bin Sun Aug 17 15:57:00 BST 2014 0 valid 27440kb 88 jenkins-slave 0.50 0:00.53
smack/dsa_test12 Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/smack/dsa_test12.bin Sun Aug 17 15:56:58 BST 2014 0 valid 5512kb 28 jenkins-slave 0.02 0:00.02
smack/dsa_test13 Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/smack/dsa_test13.bin Sun Aug 17 15:56:34 BST 2014 0 valid 5244kb 21 jenkins-slave 0.00 0:00.02
smack/dsa_test14 Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/smack/dsa_test14.bin Sun Aug 17 15:56:40 BST 2014 0 valid 5508kb 22 jenkins-slave 0.00 0:00.01
smack/dsa_test15 Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/smack/dsa_test15.bin Sun Aug 17 15:56:53 BST 2014 0 valid 27956kb 221 jenkins-slave 1.75 0:01.80
smack/dsa_test2 Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/smack/dsa_test2.bin Sun Aug 17 15:56:49 BST 2014 0 valid 5512kb 22 jenkins-slave 0.00 0:00.01
smack/dsa_test3 Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/smack/dsa_test3.bin Sun Aug 17 15:57:06 BST 2014 0 valid 27408kb 90 jenkins-slave 0.35 0:00.38
smack/dsa_test4 Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/smack/dsa_test4.bin Sun Aug 17 15:57:05 BST 2014 0 valid 27788kb 57 jenkins-slave 0.42 0:00.46
smack/dsa_test5 Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/smack/dsa_test5.bin Sun Aug 17 15:56:41 BST 2014 0 valid 28304kb 71 jenkins-slave 0.76 0:00.82
smack/dsa_test6 Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/smack/dsa_test6.bin Sun Aug 17 15:56:40 BST 2014 0 valid 28548kb 129 jenkins-slave 0.62 0:00.65
smack/dsa_test7 Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/smack/dsa_test7.bin Sun Aug 17 15:56:46 BST 2014 0 valid 5508kb 24 jenkins-slave 0.02 0:00.02
smack/dsa_test8 Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/smack/dsa_test8.bin Sun Aug 17 15:57:07 BST 2014 0 valid 27096kb 54 jenkins-slave 0.33 0:00.37
smack/dsa_test9 Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/smack/dsa_test9.bin Sun Aug 17 15:56:43 BST 2014 0 valid 27288kb 71 jenkins-slave 0.66 0:00.70
smack/simple Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/smack/simple.bin Sun Aug 17 15:56:45 BST 2014 0 valid 5508kb 18 jenkins-slave 0.00 0:00.02
smack/simple_double_free Property VIOLATED profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/smack/simple_double_free.bin Sun Aug 17 15:56:38 BST 2014 10 invalid 27192kb 54 jenkins-slave 0.30 0:00.33
smack/simple_fail Property VIOLATED profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/smack/simple_fail.bin Sun Aug 17 15:56:38 BST 2014 10 invalid 5752kb 17 jenkins-slave 0.00 0:00.01
smack/simple_pre Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/smack/simple_pre.bin Sun Aug 17 15:57:03 BST 2014 0 valid 5508kb 20 jenkins-slave 0.00 0:00.01
smack/simple_pre1 Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/smack/simple_pre1.bin Sun Aug 17 15:56:51 BST 2014 0 valid 5508kb 21 jenkins-slave 0.00 0:00.01
smack/simple_pre2 Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/smack/simple_pre2.bin Sun Aug 17 15:56:35 BST 2014 0 valid 5828kb 22 jenkins-slave 0.00 0:00.01
smack/simple_pre3 Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/smack/simple_pre3.bin Sun Aug 17 15:56:58 BST 2014 0 valid 5512kb 20 jenkins-slave 0.00 0:00.02
smack/two_arrays Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/smack/two_arrays.bin Sun Aug 17 15:56:57 BST 2014 0 valid 33928kb 2114 jenkins-slave 4.78 0:04.83
smack/two_arrays1 Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/smack/two_arrays1.bin Sun Aug 17 15:57:04 BST 2014 0 valid 52360kb 2832 jenkins-slave 13.43 0:13.50
smack/two_arrays2 Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 51 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/smack/two_arrays2.bin Sun Aug 17 15:56:50 BST 2014 0 valid 52276kb 2833 jenkins-slave 13.36 0:13.43
smack/two_arrays6 Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 51 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/smack/two_arrays6.bin Sun Aug 17 15:56:42 BST 2014 0 valid 52248kb 2836 jenkins-slave 12.89 0:12.96
smack/vmcai_bytes Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/smack/vmcai_bytes.bin Sun Aug 17 15:56:49 BST 2014 0 valid 5944kb 19 jenkins-slave 0.01 0:00.02
smack/vmcai_struct Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/smack/vmcai_struct.bin Sun Aug 17 15:56:40 BST 2014 0 valid 27072kb 39 jenkins-slave 0.32 0:00.34
snu/bs Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 5 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/snu/bs.bin Sun Aug 17 16:07:43 BST 2014 0 valid 6168kb 75 jenkins-slave 0.04 0:00.06
snu/crc Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 257 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/snu/crc.bin Sun Aug 17 16:07:26 BST 2014 0 valid 72804kb 21224 jenkins-slave 28.59 0:28.77
snu/fibcall Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 31 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/snu/fibcall.bin Sun Aug 17 16:07:23 BST 2014 0 valid 6512kb 265 jenkins-slave 0.07 0:00.09
snu/insertsort Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 10 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/snu/insertsort.bin Sun Aug 17 16:07:39 BST 2014 0 valid 22796kb 1141 jenkins-slave 1.56 0:01.61
snu/jfdctint Property VIOLATED profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/snu/jfdctint.bin Sun Aug 17 16:07:37 BST 2014 10 invalid 25712kb 2369 jenkins-slave 7.47 0:07.49
snu/matmul Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/snu/matmul.bin Sun Aug 17 16:07:20 BST 2014 0 invalid 16228kb 1292 jenkins-slave 14.01 0:14.04
urbiva/bitcount16 Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/urbiva/bitcount16.bin Sun Aug 17 16:07:13 BST 2014 0 invalid 7036kb 157 jenkins-slave 0.17 0:00.19
urbiva/bitcount32 Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/urbiva/bitcount32.bin Sun Aug 17 16:07:15 BST 2014 0 invalid 8968kb 271 jenkins-slave 0.84 0:00.85
urbiva/fermat Property VIOLATED profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --unwind 4 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/urbiva/fermat.bin Sun Aug 17 16:06:39 BST 2014 10 invalid 45508kb 118 jenkins-slave 0.85 0:00.89
urbiva/graycode Property VIOLATED profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 12 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/urbiva/graycode.bin Sun Aug 17 16:07:09 BST 2014 10 invalid 27616kb 138 jenkins-slave 0.98 0:01.02
urbiva/magic Property VIOLATED profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 16 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/urbiva/magic.bin Sun Aug 17 16:06:58 BST 2014 10 invalid 27924kb 201 jenkins-slave 0.61 0:00.65
urbiva/matrixsqrt Property VIOLATED profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/urbiva/matrixsqrt.bin Sun Aug 17 16:06:35 BST 2014 10 invalid 78344kb 380 jenkins-slave 2.51 0:02.59
urbiva/queens Property VIOLATED profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/urbiva/queens.bin Sun Aug 17 16:06:42 BST 2014 10 invalid 37060kb 5836 jenkins-slave 13.46 0:13.55
urbiva/send-more-money Property VIOLATED profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/urbiva/send-more-money.bin Sun Aug 17 16:07:17 BST 2014 10 invalid 16872kb 56 jenkins-slave 0.54 0:00.57
urbiva/sort Property VIOLATED profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/urbiva/sort.bin Sun Aug 17 16:07:01 BST 2014 10 invalid 29584kb 2907 jenkins-slave 6.56 0:06.64
urbiva/sudoku Property VIOLATED profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 9 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/urbiva/sudoku.bin Sun Aug 17 16:07:18 BST 2014 10 invalid 28496kb 202 jenkins-slave 1.07 0:01.13
wcet/adpcm Property VIOLATED profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 24 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/wcet/adpcm.bin Sun Aug 17 16:05:08 BST 2014 10 invalid 15292kb 1034 jenkins-slave 1.38 0:01.43
wcet/bs Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 5 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/wcet/bs.bin Sun Aug 17 16:06:27 BST 2014 0 valid 6172kb 82 jenkins-slave 0.02 0:00.03
wcet/bsort100 TIMEOUT profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 101 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/wcet/bsort100.bin Sun Aug 17 16:04:22 BST 2014 124 valid 135644kb jenkins-slave 119.82 2:00.02
wcet/cnt Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/wcet/cnt.bin Sun Aug 17 16:04:51 BST 2014 0 invalid 35264kb 3533 jenkins-slave 9.05 0:09.10
wcet/compress Property VIOLATED profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 50 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/wcet/compress.bin Sun Aug 17 16:06:24 BST 2014 10 invalid 10636kb 525 jenkins-slave 0.47 0:00.48
wcet/cover Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/wcet/cover.bin Sun Aug 17 16:05:12 BST 2014 0 valid 22116kb 36688 jenkins-slave 6.44 0:06.47
wcet/crc Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 257 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/wcet/crc.bin Sun Aug 17 16:04:51 BST 2014 0 valid 72728kb 21224 jenkins-slave 14.88 0:14.98
wcet/duff Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/wcet/duff.bin Sun Aug 17 16:05:21 BST 2014 0 valid 14336kb 961 jenkins-slave 2.31 0:02.33
wcet/edn Property VIOLATED profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 100 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/wcet/edn.bin Sun Aug 17 16:05:40 BST 2014 10 invalid 25816kb 733 jenkins-slave 4.53 0:04.56
wcet/expint Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/wcet/expint.bin Sun Aug 17 16:05:30 BST 2014 0 valid 10144kb 1804 jenkins-slave 0.80 0:00.81
wcet/fac Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/wcet/fac.bin Sun Aug 17 16:04:46 BST 2014 0 valid 6628kb 274 jenkins-slave 0.03 0:00.04
wcet/fdct Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/wcet/fdct.bin Sun Aug 17 16:04:43 BST 2014 0 valid 16424kb 1855 jenkins-slave 5.09 0:05.12
wcet/fibcall Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/wcet/fibcall.bin Sun Aug 17 16:04:49 BST 2014 0 valid 6492kb 263 jenkins-slave 0.04 0:00.05
wcet/fir TIMEOUT profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 27 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/wcet/fir.bin Sun Aug 17 16:05:35 BST 2014 124 unknown 2030164kb 8030 jenkins-slave 118.71 2:00.55
wcet/insertsort Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 10 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/wcet/insertsort.bin Sun Aug 17 16:05:06 BST 2014 0 valid 7812kb 420 jenkins-slave 0.31 0:00.32
wcet/janne_complex Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/wcet/janne_complex.bin Sun Aug 17 16:05:03 BST 2014 0 valid 6276kb 284 jenkins-slave 0.09 0:00.10
wcet/jfdctint Property VIOLATED profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/wcet/jfdctint.bin Sun Aug 17 16:04:51 BST 2014 10 invalid 25840kb 2364 jenkins-slave 5.46 0:05.47
wcet/loop3 Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/wcet/loop3.bin Sun Aug 17 16:05:10 BST 2014 0 valid 16368kb 4156 jenkins-slave 1.69 0:01.72
wcet/matmult TIMEOUT profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/wcet/matmult.bin Sun Aug 17 16:05:47 BST 2014 124 unknown 189084kb jenkins-slave 119.78 2:00.04
wcet/minmax Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/wcet/minmax.bin Sun Aug 17 16:05:33 BST 2014 0 valid 6200kb 55 jenkins-slave 0.03 0:00.03
wcet/ndes Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/wcet/ndes.bin Sun Aug 17 16:05:13 BST 2014 0 valid 301480kb 47175 jenkins-slave 117.93 1:58.21
wcet/ns Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 6 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/wcet/ns.bin Sun Aug 17 16:06:29 BST 2014 0 valid 14828kb 4469 jenkins-slave 3.68 0:03.69
wcet/nsichneu Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/wcet/nsichneu.bin Sun Aug 17 16:05:32 BST 2014 0 valid 47088kb 3416 jenkins-slave 5.27 0:05.35
wcet/prime Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 358 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/wcet/prime.bin Sun Aug 17 16:05:25 BST 2014 0 valid 18784kb 6108 jenkins-slave 2.06 0:02.09
wcet/recursion Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/wcet/recursion.bin Sun Aug 17 16:04:20 BST 2014 0 valid 11772kb 1870 jenkins-slave 0.41 0:00.41
wcet/select Property VIOLATED profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 1 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/wcet/select.bin Sun Aug 17 16:04:49 BST 2014 10 invalid 7176kb 101 jenkins-slave 0.18 0:00.19
wcet/statemate Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 3 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/wcet/statemate.bin Sun Aug 17 16:04:44 BST 2014 0 valid 9460kb 1067 jenkins-slave 0.66 0:00.67
wcet/ud Property HOLDS profiling-release_4.3_r2094-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/wcet/ud.bin Sun Aug 17 16:05:00 BST 2014 0 valid 809744kb 1697 jenkins-slave 30.11 0:31.31
The benchmarks were run on a Linux 3.2.0-4-amd64 64x AMD Opteron(tm) Processor 6380 @@2499.764MHz system equipped with 264656432kb RAM.