* profiling-release_4.9_r4391-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --unwind 11;profiling-release_4.9_r4391-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 17;profiling-release_4.9_r4391-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 3;profiling-release_4.9_r4391-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --unwind 10;profiling-release_4.9_r4391-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 21;profiling-release_4.9_r4391-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --unwind 17;profiling-release_4.9_r4391-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 257;profiling-release_4.9_r4391-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 24;profiling-release_4.9_r4391-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function simpleWhile --unwind 1001;profiling-release_4.9_r4391-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 6;profiling-release_4.9_r4391-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 1001;profiling-release_4.9_r4391-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 16;profiling-release_4.9_r4391-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --no-unwinding-assertions;profiling-release_4.9_r4391-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 14;profiling-release_4.9_r4391-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 27;profiling-release_4.9_r4391-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 358;profiling-release_4.9_r4391-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 1001 --no-unwinding-assertions;profiling-release_4.9_r4391-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 13;profiling-release_4.9_r4391-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 100;profiling-release_4.9_r4391-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --unwind 6;profiling-release_4.9_r4391-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 101;profiling-release_4.9_r4391-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 15;profiling-release_4.9_r4391-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 5;profiling-release_4.9_r4391-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 11;profiling-release_4.9_r4391-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 19;profiling-release_4.9_r4391-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 12;profiling-release_4.9_r4391-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 201;profiling-release_4.9_r4391-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --unwind 4;profiling-release_4.9_r4391-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 9;profiling-release_4.9_r4391-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function intSqRoot --unwind 201;profiling-release_4.9_r4391-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 18;profiling-release_4.9_r4391-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 1025;profiling-release_4.9_r4391-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 7;profiling-release_4.9_r4391-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 50;profiling-release_4.9_r4391-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 31;profiling-release_4.9_r4391-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 8;profiling-release_4.9_r4391-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 20;profiling-release_4.9_r4391-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check;profiling-release_4.9_r4391-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --unwind 1001;profiling-release_4.9_r4391-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main;profiling-release_4.9_r4391-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 10;profiling-release_4.9_r4391-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --unwind 101;profiling-release_4.9_r4391-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 1;profiling-release_4.9_r4391-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 51 version 4.9 results *
Timeout: 120s Memory limit: unlimitedkb
Sun Aug 17 18:39:47 2014
Benchmark Result commandline date exitcode expected maxmem mt_max_constr ssa-size user usertime wallclock
anonymous/bubbleSort Property HOLDS profiling-release_4.9_r4391-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 18:17:08 BST 2014 0 valid 83236kb 1470 jenkins-slave 5.52 0:05.64
anonymous/intSqRoot Property HOLDS profiling-release_4.9_r4391-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 18:16:32 BST 2014 0 valid 1406704kb 3862 jenkins-slave 31.84 0:32.87
anonymous/selectSort Property VIOLATED profiling-release_4.9_r4391-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 18:15:59 BST 2014 10 unknown 2442504kb 1054 jenkins-slave 85.32 1:27.82
anonymous/simpleWhile Property HOLDS profiling-release_4.9_r4391-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 18:17:18 BST 2014 0 valid 158180kb 8546 jenkins-slave 89.40 1:29.63
eureka/Prim_4 Property HOLDS profiling-release_4.9_r4391-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 18:09:48 BST 2014 0 valid 12060kb 1722 jenkins-slave 0.68 0:00.69
eureka/Prim_5 Property HOLDS profiling-release_4.9_r4391-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 18:09:48 BST 2014 0 valid 14472kb 2253 jenkins-slave 0.99 0:01.01
eureka/Prim_6 Property HOLDS profiling-release_4.9_r4391-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 18:09:26 BST 2014 0 valid 17432kb 2838 jenkins-slave 1.32 0:01.35
eureka/Prim_7 Property HOLDS profiling-release_4.9_r4391-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 18:09:39 BST 2014 0 valid 21316kb 3477 jenkins-slave 1.70 0:01.74
eureka/Prim_8 Property HOLDS profiling-release_4.9_r4391-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 18:09:31 BST 2014 0 valid 25464kb 4170 jenkins-slave 2.17 0:02.22
eureka/array_init Property HOLDS profiling-release_4.9_r4391-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 18:09:22 BST 2014 0 valid 6800kb 87 jenkins-slave 0.02 0:00.04
eureka/array_init_assign Property HOLDS profiling-release_4.9_r4391-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 18:09:18 BST 2014 0 valid 6724kb 59 jenkins-slave 0.02 0:00.03
eureka/bf10 Property HOLDS profiling-release_4.9_r4391-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 18:09:26 BST 2014 0 valid 9328kb 836 jenkins-slave 0.43 0:00.44
eureka/bf11 Property HOLDS profiling-release_4.9_r4391-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 18:09:40 BST 2014 0 valid 9844kb 906 jenkins-slave 0.51 0:00.52
eureka/bf12 Property HOLDS profiling-release_4.9_r4391-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 18:09:45 BST 2014 0 valid 10048kb 976 jenkins-slave 0.52 0:00.55
eureka/bf13 Property HOLDS profiling-release_4.9_r4391-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 18:09:30 BST 2014 0 valid 10184kb 1046 jenkins-slave 0.57 0:00.59
eureka/bf14 Property HOLDS profiling-release_4.9_r4391-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 18:09:47 BST 2014 0 valid 10844kb 1116 jenkins-slave 0.64 0:00.65
eureka/bf15 Property HOLDS profiling-release_4.9_r4391-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 18:09:34 BST 2014 0 valid 10688kb 1186 jenkins-slave 0.65 0:00.68
eureka/bf16 Property HOLDS profiling-release_4.9_r4391-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 18:09:18 BST 2014 0 valid 11268kb 1256 jenkins-slave 0.72 0:00.73
eureka/bf17 Property HOLDS profiling-release_4.9_r4391-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 18:09:41 BST 2014 0 valid 11500kb 1326 jenkins-slave 0.76 0:00.78
eureka/bf18 Property HOLDS profiling-release_4.9_r4391-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 18:09:43 BST 2014 0 valid 11864kb 1396 jenkins-slave 0.81 0:00.82
eureka/bf19 Property HOLDS profiling-release_4.9_r4391-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 18:09:32 BST 2014 0 valid 12200kb 1466 jenkins-slave 0.86 0:00.87
eureka/bf20 Property HOLDS profiling-release_4.9_r4391-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 18:09:44 BST 2014 0 valid 12640kb 1536 jenkins-slave 0.91 0:00.94
eureka/bf5 Property HOLDS profiling-release_4.9_r4391-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 18:09:46 BST 2014 0 valid 8160kb 486 jenkins-slave 0.22 0:00.25
eureka/bf6 Property HOLDS profiling-release_4.9_r4391-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 18:09:48 BST 2014 0 valid 8608kb 556 jenkins-slave 0.26 0:00.29
eureka/bf7 Property HOLDS profiling-release_4.9_r4391-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 18:09:34 BST 2014 0 valid 8652kb 626 jenkins-slave 0.31 0:00.33
eureka/bf8 Property HOLDS profiling-release_4.9_r4391-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 18:09:18 BST 2014 0 valid 8948kb 696 jenkins-slave 0.36 0:00.38
eureka/bf9 Property HOLDS profiling-release_4.9_r4391-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 18:09:38 BST 2014 0 valid 9280kb 766 jenkins-slave 0.40 0:00.41
eureka/bubblesort Property VIOLATED profiling-release_4.9_r4391-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 18:09:30 BST 2014 10 invalid 6908kb 128 jenkins-slave 0.05 0:00.07
eureka/bubblesort_inner_loop Property VIOLATED profiling-release_4.9_r4391-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 18:09:23 BST 2014 10 invalid 6728kb 70 jenkins-slave 0.02 0:00.04
eureka/complex_guard Property HOLDS profiling-release_4.9_r4391-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 18:09:22 BST 2014 0 valid 6824kb 66 jenkins-slave 0.02 0:00.04
eureka/loop_on_input Property VIOLATED profiling-release_4.9_r4391-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 18:09:23 BST 2014 10 invalid 7548kb 96 jenkins-slave 0.05 0:00.06
eureka/sequential_swap Property HOLDS profiling-release_4.9_r4391-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 18:09:37 BST 2014 0 valid 6300kb 70 jenkins-slave 0.02 0:00.03
eureka/simple_array_inversion Property HOLDS profiling-release_4.9_r4391-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 18:09:18 BST 2014 0 valid 6708kb 56 jenkins-slave 0.02 0:00.03
eureka/simple_control_on_input Property VIOLATED profiling-release_4.9_r4391-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 18:09:36 BST 2014 10 invalid 28088kb 297 jenkins-slave 1.21 0:01.24
eureka/simple_swap_call Property HOLDS profiling-release_4.9_r4391-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 18:09:27 BST 2014 0 valid 6296kb 51 jenkins-slave 0.02 0:00.03
eureka/wrong_loop Property VIOLATED profiling-release_4.9_r4391-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 18:09:26 BST 2014 10 invalid 6684kb 69 jenkins-slave 0.03 0:00.04
necla/ex1 Property HOLDS profiling-release_4.9_r4391-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 18:14:54 BST 2014 0 valid 91960kb 10281 jenkins-slave 19.48 0:19.64
necla/ex10 Property VIOLATED profiling-release_4.9_r4391-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 18:15:36 BST 2014 10 invalid 22972kb 609 jenkins-slave 0.77 0:00.82
necla/ex11 Property HOLDS profiling-release_4.9_r4391-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 18:15:12 BST 2014 0 valid 196316kb 12048 jenkins-slave 16.64 0:16.83
necla/ex12 Property VIOLATED profiling-release_4.9_r4391-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 18:14:38 BST 2014 10 invalid 7224kb 96 jenkins-slave 0.05 0:00.06
necla/ex13 Property VIOLATED profiling-release_4.9_r4391-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 18:13:16 BST 2014 10 invalid 7472kb 36 jenkins-slave 0.01 0:00.02
necla/ex14 Property HOLDS profiling-release_4.9_r4391-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 18:15:05 BST 2014 0 valid 6912kb 96 jenkins-slave 0.03 0:00.05
necla/ex15 Property HOLDS profiling-release_4.9_r4391-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 18:15:17 BST 2014 0 valid 7612kb 136 jenkins-slave 0.07 0:00.09
necla/ex16 Property HOLDS profiling-release_4.9_r4391-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 18:12:45 BST 2014 0 valid 12072kb 3074 jenkins-slave 0.61 0:00.62
necla/ex17 Property HOLDS profiling-release_4.9_r4391-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 18:15:07 BST 2014 0 valid 33184kb 544 jenkins-slave 0.79 0:00.85
necla/ex18 Property HOLDS profiling-release_4.9_r4391-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 18:11:00 BST 2014 0 valid 1434372kb 2925 jenkins-slave 84.62 1:27.35
necla/ex19 Property VIOLATED profiling-release_4.9_r4391-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 18:15:20 BST 2014 10 invalid 264240kb 9053 jenkins-slave 69.00 1:09.32
necla/ex2 TIMEOUT profiling-release_4.9_r4391-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 18:10:39 BST 2014 124 unknown 4577188kb 7273 jenkins-slave 114.38 2:01.35
necla/ex20 TIMEOUT profiling-release_4.9_r4391-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 18:13:25 BST 2014 124 invalid 228792kb 9284 jenkins-slave 119.65 2:00.06
necla/ex21 Property HOLDS profiling-release_4.9_r4391-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 18:13:54 BST 2014 0 valid 26508kb 4538 jenkins-slave 1.79 0:01.81
necla/ex22 Property HOLDS profiling-release_4.9_r4391-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 18:12:59 BST 2014 0 valid 13616kb 1429 jenkins-slave 0.76 0:00.80
necla/ex23 Property HOLDS profiling-release_4.9_r4391-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 18:14:42 BST 2014 0 valid 365996kb 333 jenkins-slave 15.60 0:16.13
necla/ex26 Property VIOLATED profiling-release_4.9_r4391-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 18:12:49 BST 2014 10 invalid 65888kb 5138 jenkins-slave 5.80 0:05.91
necla/ex27 Property VIOLATED profiling-release_4.9_r4391-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 18:14:01 BST 2014 10 invalid 49588kb 5176 jenkins-slave 4.10 0:04.18
necla/ex29 Property HOLDS profiling-release_4.9_r4391-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 18:13:21 BST 2014 0 valid 24884kb 1423 jenkins-slave 1.70 0:01.75
necla/ex3 Property VIOLATED profiling-release_4.9_r4391-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 18:15:02 BST 2014 10 invalid 7316kb 95 jenkins-slave 0.04 0:00.05
necla/ex30 ERROR profiling-release_4.9_r4391-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 18:14:16 BST 2014 10 unknown 37484kb 6558 jenkins-slave 18.54 0:18.61
necla/ex31 Property HOLDS profiling-release_4.9_r4391-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 18:14:07 BST 2014 0 valid 6784kb 65 jenkins-slave 0.04 0:00.04
necla/ex32 Property HOLDS profiling-release_4.9_r4391-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 18:10:39 BST 2014 0 valid 1536136kb 14054 jenkins-slave 16.26 0:18.19
necla/ex33 ERROR profiling-release_4.9_r4391-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 18:10:41 BST 2014 unknown po (0) jenkins-slave
necla/ex34 Property HOLDS profiling-release_4.9_r4391-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 18:12:43 BST 2014 0 valid 9468kb 140 jenkins-slave 0.14 0:00.15
necla/ex36_free ERROR profiling-release_4.9_r4391-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 18:13:03 BST 2014 unknown po (0) jenkins-slave
necla/ex36_read ERROR profiling-release_4.9_r4391-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 18:12:47 BST 2014 unknown po (0) jenkins-slave
necla/ex37 Property HOLDS profiling-release_4.9_r4391-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 18:15:19 BST 2014 0 valid 23496kb 76 jenkins-slave 0.30 0:00.33
necla/ex4 Property VIOLATED profiling-release_4.9_r4391-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 18:13:19 BST 2014 10 invalid 7628kb 369 jenkins-slave 0.12 0:00.13
necla/ex40 Property VIOLATED profiling-release_4.9_r4391-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 18:15:31 BST 2014 10 invalid 33572kb 1057 jenkins-slave 1.42 0:01.49
necla/ex43 Property VIOLATED profiling-release_4.9_r4391-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 18:10:40 BST 2014 10 invalid 575344kb 8647 jenkins-slave 25.27 0:25.90
necla/ex46 Property VIOLATED profiling-release_4.9_r4391-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 18:15:41 BST 2014 10 invalid 186160kb 341 jenkins-slave 8.38 0:08.76
necla/ex47 Property VIOLATED profiling-release_4.9_r4391-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 18:15:40 BST 2014 10 invalid 105872kb 330 jenkins-slave 4.99 0:05.14
necla/ex49 Property HOLDS profiling-release_4.9_r4391-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 18:12:31 BST 2014 0 valid 174604kb 9048 jenkins-slave 79.72 1:19.98
necla/ex5 Property HOLDS profiling-release_4.9_r4391-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 18:15:09 BST 2014 0 valid 6792kb 39 jenkins-slave 0.01 0:00.03
necla/ex6 Property HOLDS profiling-release_4.9_r4391-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 18:13:58 BST 2014 0 valid 6732kb 54 jenkins-slave 0.01 0:00.03
necla/ex7 TIMEOUT profiling-release_4.9_r4391-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 18:11:13 BST 2014 124 unknown 3657036kb 13106 jenkins-slave 115.77 2:01.06
necla/ex8 ERROR profiling-release_4.9_r4391-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 18:15:28 BST 2014 unknown po (0) jenkins-slave
necla/ex9 Property HOLDS profiling-release_4.9_r4391-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 18:14:11 BST 2014 0 valid 40000kb 357 jenkins-slave 0.94 0:01.01
necla/inf1 Property VIOLATED profiling-release_4.9_r4391-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 18:11:10 BST 2014 10 invalid 6888kb 61 jenkins-slave 0.03 0:00.05
necla/inf3 Property VIOLATED profiling-release_4.9_r4391-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 18:15:22 BST 2014 10 valid 574844kb 750 jenkins-slave 14.21 0:14.81
necla/inf4 Property VIOLATED profiling-release_4.9_r4391-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 18:15:16 BST 2014 10 invalid 7588kb 124 jenkins-slave 0.08 0:00.09
necla/inf5 Property VIOLATED profiling-release_4.9_r4391-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 18:14:51 BST 2014 10 invalid 7076kb 118 jenkins-slave 0.05 0:00.06
necla/inf6 Property HOLDS profiling-release_4.9_r4391-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 18:10:37 BST 2014 0 valid 6772kb 73 jenkins-slave 0.02 0:00.03
necla/inf8 Property HOLDS profiling-release_4.9_r4391-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 18:15:13 BST 2014 0 valid 6840kb 106 jenkins-slave 0.04 0:00.04
queue/queue_1 Property HOLDS profiling-release_4.9_r4391-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 18:15:53 BST 2014 0 valid 6832kb 78 jenkins-slave 0.02 0:00.04
queue/queue_10 Property HOLDS profiling-release_4.9_r4391-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 18:15:56 BST 2014 0 valid 7424kb 393 jenkins-slave 0.15 0:00.16
queue/queue_100 Property HOLDS profiling-release_4.9_r4391-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 18:15:49 BST 2014 0 valid 31224kb 3543 jenkins-slave 3.62 0:03.68
queue/queue_1000 ERROR profiling-release_4.9_r4391-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 18:15:57 BST 2014 unknown po (0) jenkins-slave
slayer/ex1 Property VIOLATED profiling-release_4.9_r4391-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 18:10:33 BST 2014 10 invalid 22944kb 43 jenkins-slave 0.28 0:00.30
slayer/ex2 Property HOLDS profiling-release_4.9_r4391-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 18:10:29 BST 2014 0 valid 6296kb 34 jenkins-slave 0.00 0:00.02
slayer/ex3 Property VIOLATED profiling-release_4.9_r4391-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 18:10:34 BST 2014 10 invalid 23112kb 120 jenkins-slave 0.30 0:00.33
slayer/ex5 Property HOLDS profiling-release_4.9_r4391-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 18:10:35 BST 2014 0 valid 23216kb 84 jenkins-slave 0.56 0:00.61
slayer/ex6 Property VIOLATED profiling-release_4.9_r4391-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 18:10:31 BST 2014 10 invalid 23168kb 87 jenkins-slave 0.56 0:00.61
slayer/ex7 Property HOLDS profiling-release_4.9_r4391-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 18:10:30 BST 2014 0 valid 23668kb 413 jenkins-slave 0.65 0:00.71
slayer/ex8 Property HOLDS profiling-release_4.9_r4391-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 18:10:35 BST 2014 0 valid 38492kb 897 jenkins-slave 2.36 0:02.43
slayer/ex9 Property HOLDS profiling-release_4.9_r4391-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 18:10:32 BST 2014 0 valid 42944kb 1545 jenkins-slave 1.72 0:01.77
smack/array Property HOLDS profiling-release_4.9_r4391-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 18:09:50 BST 2014 0 valid 23164kb 75 jenkins-slave 0.36 0:00.38
smack/array1 Property HOLDS profiling-release_4.9_r4391-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 18:10:09 BST 2014 0 valid 23492kb 86 jenkins-slave 0.56 0:00.62
smack/array2 Property HOLDS profiling-release_4.9_r4391-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 18:09:55 BST 2014 0 valid 24404kb 534 jenkins-slave 0.84 0:00.90
smack/array3 Property HOLDS profiling-release_4.9_r4391-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 18:10:15 BST 2014 0 valid 24308kb 936 jenkins-slave 0.57 0:00.60
smack/array4 Property HOLDS profiling-release_4.9_r4391-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 18:09:53 BST 2014 0 valid 27816kb 936 jenkins-slave 1.30 0:01.35
smack/array_free Property HOLDS profiling-release_4.9_r4391-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 18:10:05 BST 2014 0 valid 23084kb 247 jenkins-slave 0.66 0:00.70
smack/array_free1 Property HOLDS profiling-release_4.9_r4391-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 18:10:10 BST 2014 0 valid 23128kb 247 jenkins-slave 0.66 0:00.70
smack/array_free2 Property HOLDS profiling-release_4.9_r4391-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 18:10:20 BST 2014 0 valid 23164kb 247 jenkins-slave 0.34 0:00.38
smack/ase_example Property HOLDS profiling-release_4.9_r4391-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 18:10:23 BST 2014 0 valid 23356kb 425 jenkins-slave 0.43 0:00.46
smack/dsa_test Property HOLDS profiling-release_4.9_r4391-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 18:09:57 BST 2014 0 valid 23228kb 85 jenkins-slave 0.56 0:00.61
smack/dsa_test1 Property HOLDS profiling-release_4.9_r4391-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 18:09:55 BST 2014 0 valid 23304kb 156 jenkins-slave 0.58 0:00.65
smack/dsa_test10 Property HOLDS profiling-release_4.9_r4391-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 18:10:26 BST 2014 0 valid 25284kb 409 jenkins-slave 0.46 0:00.49
smack/dsa_test11 Property HOLDS profiling-release_4.9_r4391-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 18:10:22 BST 2014 0 valid 23460kb 149 jenkins-slave 0.28 0:00.34
smack/dsa_test12 Property HOLDS profiling-release_4.9_r4391-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 18:10:18 BST 2014 0 valid 6740kb 49 jenkins-slave 0.02 0:00.03
smack/dsa_test13 Property HOLDS profiling-release_4.9_r4391-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 18:09:52 BST 2014 0 valid 6036kb 38 jenkins-slave 0.01 0:00.02
smack/dsa_test14 Property HOLDS profiling-release_4.9_r4391-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 18:10:01 BST 2014 0 valid 6648kb 42 jenkins-slave 0.00 0:00.01
smack/dsa_test15 Property HOLDS profiling-release_4.9_r4391-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 18:10:16 BST 2014 0 valid 23880kb 389 jenkins-slave 0.45 0:00.48
smack/dsa_test2 Property HOLDS profiling-release_4.9_r4391-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 18:10:12 BST 2014 0 valid 6732kb 46 jenkins-slave 0.02 0:00.03
smack/dsa_test3 Property HOLDS profiling-release_4.9_r4391-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 18:10:26 BST 2014 0 valid 23344kb 156 jenkins-slave 0.63 0:00.66
smack/dsa_test4 Property HOLDS profiling-release_4.9_r4391-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 18:10:24 BST 2014 0 valid 23856kb 115 jenkins-slave 0.32 0:00.34
smack/dsa_test5 Property HOLDS profiling-release_4.9_r4391-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 18:10:02 BST 2014 0 valid 24272kb 132 jenkins-slave 0.63 0:00.67
smack/dsa_test6 Property HOLDS profiling-release_4.9_r4391-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 18:09:59 BST 2014 0 valid 24480kb 230 jenkins-slave 0.75 0:00.79
smack/dsa_test7 Property HOLDS profiling-release_4.9_r4391-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 18:10:08 BST 2014 0 valid 6836kb 55 jenkins-slave 0.02 0:00.04
smack/dsa_test8 Property HOLDS profiling-release_4.9_r4391-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 18:10:28 BST 2014 0 valid 23028kb 115 jenkins-slave 0.59 0:00.63
smack/dsa_test9 Property HOLDS profiling-release_4.9_r4391-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 18:10:05 BST 2014 0 valid 23304kb 119 jenkins-slave 0.55 0:00.63
smack/simple Property HOLDS profiling-release_4.9_r4391-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 18:10:07 BST 2014 0 valid 6296kb 35 jenkins-slave 0.00 0:00.02
smack/simple_double_free Property VIOLATED profiling-release_4.9_r4391-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 18:09:58 BST 2014 10 invalid 23152kb 93 jenkins-slave 0.56 0:00.61
smack/simple_fail Property VIOLATED profiling-release_4.9_r4391-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 18:09:58 BST 2014 10 invalid 6492kb 33 jenkins-slave 0.00 0:00.01
smack/simple_pre Property HOLDS profiling-release_4.9_r4391-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 18:10:22 BST 2014 0 valid 6300kb 36 jenkins-slave 0.02 0:00.02
smack/simple_pre1 Property HOLDS profiling-release_4.9_r4391-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 18:10:14 BST 2014 0 valid 6300kb 37 jenkins-slave 0.00 0:00.01
smack/simple_pre2 Property HOLDS profiling-release_4.9_r4391-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 18:09:53 BST 2014 0 valid 6604kb 38 jenkins-slave 0.01 0:00.02
smack/simple_pre3 Property HOLDS profiling-release_4.9_r4391-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 18:10:20 BST 2014 0 valid 6300kb 36 jenkins-slave 0.00 0:00.01
smack/two_arrays Property HOLDS profiling-release_4.9_r4391-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 18:10:18 BST 2014 0 valid 28380kb 3255 jenkins-slave 1.29 0:01.32
smack/two_arrays1 Property HOLDS profiling-release_4.9_r4391-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 18:10:24 BST 2014 0 valid 47620kb 4269 jenkins-slave 4.23 0:04.31
smack/two_arrays2 Property HOLDS profiling-release_4.9_r4391-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 18:10:14 BST 2014 0 valid 47636kb 4271 jenkins-slave 4.22 0:04.30
smack/two_arrays6 Property HOLDS profiling-release_4.9_r4391-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 18:10:04 BST 2014 0 valid 47656kb 4274 jenkins-slave 4.25 0:04.33
smack/vmcai_bytes Property HOLDS profiling-release_4.9_r4391-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 18:10:12 BST 2014 0 valid 6700kb 37 jenkins-slave 0.02 0:00.03
smack/vmcai_struct Property HOLDS profiling-release_4.9_r4391-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 18:10:00 BST 2014 0 valid 23044kb 80 jenkins-slave 0.56 0:00.61
snu/bs Property HOLDS profiling-release_4.9_r4391-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 18:20:08 BST 2014 0 valid 6900kb 78 jenkins-slave 0.03 0:00.04
snu/crc Property HOLDS profiling-release_4.9_r4391-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 18:19:54 BST 2014 0 valid 48588kb 16983 jenkins-slave 21.99 0:22.08
snu/fibcall Property HOLDS profiling-release_4.9_r4391-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 18:19:50 BST 2014 0 valid 7096kb 257 jenkins-slave 0.06 0:00.07
snu/insertsort Property HOLDS profiling-release_4.9_r4391-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 18:20:03 BST 2014 0 valid 14172kb 1148 jenkins-slave 1.12 0:01.15
snu/jfdctint Property VIOLATED profiling-release_4.9_r4391-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 18:19:57 BST 2014 10 invalid 25348kb 2497 jenkins-slave 2.63 0:02.66
snu/matmul Property VIOLATED profiling-release_4.9_r4391-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 18:19:49 BST 2014 10 invalid 17476kb 3222 jenkins-slave 4.07 0:04.10
urbiva/bitcount16 Property VIOLATED profiling-release_4.9_r4391-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 18:19:41 BST 2014 10 invalid 7856kb 180 jenkins-slave 0.10 0:00.12
urbiva/bitcount32 Property VIOLATED profiling-release_4.9_r4391-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 18:19:41 BST 2014 10 invalid 8404kb 291 jenkins-slave 0.16 0:00.18
urbiva/fermat Property VIOLATED profiling-release_4.9_r4391-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 18:19:28 BST 2014 10 invalid 33784kb 127 jenkins-slave 0.96 0:01.03
urbiva/graycode Property VIOLATED profiling-release_4.9_r4391-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 18:19:37 BST 2014 10 invalid 23448kb 175 jenkins-slave 0.34 0:00.38
urbiva/magic Property VIOLATED profiling-release_4.9_r4391-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 18:19:33 BST 2014 10 invalid 23636kb 228 jenkins-slave 0.75 0:00.79
urbiva/matrixsqrt Property VIOLATED profiling-release_4.9_r4391-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 18:19:23 BST 2014 10 invalid 60144kb 466 jenkins-slave 2.16 0:02.30
urbiva/queens Property VIOLATED profiling-release_4.9_r4391-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 18:19:29 BST 2014 10 invalid 29476kb 4010 jenkins-slave 3.56 0:03.63
urbiva/send-more-money Property VIOLATED profiling-release_4.9_r4391-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 18:19:45 BST 2014 10 invalid 14016kb 71 jenkins-slave 0.35 0:00.36
urbiva/sort Property VIOLATED profiling-release_4.9_r4391-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 18:19:37 BST 2014 10 invalid 24484kb 2478 jenkins-slave 2.21 0:02.27
urbiva/sudoku Property VIOLATED profiling-release_4.9_r4391-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 18:19:45 BST 2014 10 invalid 24496kb 208 jenkins-slave 0.72 0:00.78
wcet/adpcm Property VIOLATED profiling-release_4.9_r4391-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 18:18:25 BST 2014 10 invalid 14284kb 1196 jenkins-slave 0.66 0:00.69
wcet/bs Property HOLDS profiling-release_4.9_r4391-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 18:19:19 BST 2014 0 valid 6912kb 89 jenkins-slave 0.03 0:00.05
wcet/bsort100 Property HOLDS profiling-release_4.9_r4391-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 18:17:32 BST 2014 0 valid 509284kb 115797 jenkins-slave 100.78 1:41.56
wcet/cnt Property VIOLATED profiling-release_4.9_r4391-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 18:17:56 BST 2014 10 invalid 32764kb 4936 jenkins-slave 3.82 0:03.87
wcet/compress Property VIOLATED profiling-release_4.9_r4391-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 18:19:17 BST 2014 10 invalid 11856kb 574 jenkins-slave 0.47 0:00.49
wcet/cover Property HOLDS profiling-release_4.9_r4391-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 18:18:29 BST 2014 0 valid 9688kb 1321 jenkins-slave 2.22 0:02.23
wcet/crc Property HOLDS profiling-release_4.9_r4391-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 18:18:00 BST 2014 0 valid 48596kb 16983 jenkins-slave 17.73 0:17.78
wcet/duff Property HOLDS profiling-release_4.9_r4391-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 18:18:35 BST 2014 0 valid 12848kb 1752 jenkins-slave 1.56 0:01.57
wcet/edn Property VIOLATED profiling-release_4.9_r4391-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 18:18:57 BST 2014 10 invalid 28564kb 1446 jenkins-slave 3.04 0:03.11
wcet/expint Property HOLDS profiling-release_4.9_r4391-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 18:18:46 BST 2014 0 valid 9608kb 1474 jenkins-slave 0.57 0:00.59
wcet/fac Property HOLDS profiling-release_4.9_r4391-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 18:17:45 BST 2014 0 valid 7072kb 279 jenkins-slave 0.05 0:00.07
wcet/fdct Property HOLDS profiling-release_4.9_r4391-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 18:17:35 BST 2014 0 valid 15968kb 2717 jenkins-slave 2.36 0:02.39
wcet/fibcall Property HOLDS profiling-release_4.9_r4391-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 18:17:53 BST 2014 0 valid 7084kb 254 jenkins-slave 0.06 0:00.07
wcet/fir ERROR profiling-release_4.9_r4391-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 18:18:54 BST 2014 unknown po (0) jenkins-slave
wcet/insertsort Property HOLDS profiling-release_4.9_r4391-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 18:18:22 BST 2014 0 valid 7780kb 474 jenkins-slave 0.26 0:00.28
wcet/janne_complex Property HOLDS profiling-release_4.9_r4391-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 18:18:21 BST 2014 0 valid 6908kb 183 jenkins-slave 0.04 0:00.06
wcet/jfdctint Property VIOLATED profiling-release_4.9_r4391-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 18:18:04 BST 2014 10 invalid 25028kb 2491 jenkins-slave 2.26 0:02.28
wcet/loop3 Property HOLDS profiling-release_4.9_r4391-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 18:18:26 BST 2014 0 valid 13308kb 3400 jenkins-slave 0.92 0:00.96
wcet/matmult ERROR profiling-release_4.9_r4391-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 18:19:03 BST 2014 unknown po (0) jenkins-slave
wcet/minmax Property HOLDS profiling-release_4.9_r4391-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 18:18:51 BST 2014 0 valid 6968kb 89 jenkins-slave 0.04 0:00.05
wcet/ndes Property HOLDS profiling-release_4.9_r4391-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 18:18:31 BST 2014 0 valid 161816kb 36111 jenkins-slave 44.34 0:44.59
wcet/ns Property HOLDS profiling-release_4.9_r4391-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 18:19:21 BST 2014 0 valid 10592kb 3322 jenkins-slave 3.29 0:03.31
wcet/nsichneu Property HOLDS profiling-release_4.9_r4391-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 18:18:51 BST 2014 0 valid 30820kb 2193 jenkins-slave 2.07 0:02.11
wcet/prime Property HOLDS profiling-release_4.9_r4391-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 18:18:40 BST 2014 0 valid 14348kb 5709 jenkins-slave 3.04 0:03.07
wcet/recursion Property HOLDS profiling-release_4.9_r4391-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 18:17:31 BST 2014 0 valid 10460kb 2116 jenkins-slave 0.72 0:00.73
wcet/select Property VIOLATED profiling-release_4.9_r4391-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 18:17:49 BST 2014 10 invalid 7852kb 117 jenkins-slave 0.10 0:00.12
wcet/statemate Property HOLDS profiling-release_4.9_r4391-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 18:17:41 BST 2014 0 valid 9552kb 860 jenkins-slave 0.39 0:00.41
wcet/ud Property HOLDS profiling-release_4.9_r4391-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 18:18:08 BST 2014 0 valid 610516kb 1510 jenkins-slave 9.37 0:09.97
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.