* profiling-release_4.5_r2920-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 7;profiling-release_4.5_r2920-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 21;profiling-release_4.5_r2920-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 19;profiling-release_4.5_r2920-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 1001 --no-unwinding-assertions;profiling-release_4.5_r2920-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 6;profiling-release_4.5_r2920-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 1;profiling-release_4.5_r2920-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 201;profiling-release_4.5_r2920-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 257;profiling-release_4.5_r2920-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --unwind 1001;profiling-release_4.5_r2920-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 3;profiling-release_4.5_r2920-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 18;profiling-release_4.5_r2920-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 24;profiling-release_4.5_r2920-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 1025;profiling-release_4.5_r2920-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 17;profiling-release_4.5_r2920-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 5;profiling-release_4.5_r2920-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --unwind 6;profiling-release_4.5_r2920-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 11;profiling-release_4.5_r2920-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 31;profiling-release_4.5_r2920-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --no-unwinding-assertions;profiling-release_4.5_r2920-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 27;profiling-release_4.5_r2920-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 13;profiling-release_4.5_r2920-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 9;profiling-release_4.5_r2920-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 8;profiling-release_4.5_r2920-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main;profiling-release_4.5_r2920-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 51;profiling-release_4.5_r2920-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 20;profiling-release_4.5_r2920-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 16;profiling-release_4.5_r2920-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --unwind 17;profiling-release_4.5_r2920-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --unwind 101;profiling-release_4.5_r2920-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function simpleWhile --unwind 1001;profiling-release_4.5_r2920-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 12;profiling-release_4.5_r2920-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 358;profiling-release_4.5_r2920-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 10;profiling-release_4.5_r2920-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 101;profiling-release_4.5_r2920-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 50;profiling-release_4.5_r2920-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check;profiling-release_4.5_r2920-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --unwind 10;profiling-release_4.5_r2920-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function intSqRoot --unwind 201;profiling-release_4.5_r2920-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 100;profiling-release_4.5_r2920-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --unwind 11;profiling-release_4.5_r2920-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 1001;profiling-release_4.5_r2920-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 15;profiling-release_4.5_r2920-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 14;profiling-release_4.5_r2920-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --unwind 4 version 4.5 results *
Timeout: 120s Memory limit: unlimitedkb
Sun Aug 17 17:10:38 2014
Benchmark Result commandline date exitcode expected maxmem mt_max_constr ssa-size user usertime wallclock
anonymous/bubbleSort Property HOLDS profiling-release_4.5_r2920-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:49:06 BST 2014 0 valid 84188kb 1374 jenkins-slave 3.54 0:03.61
anonymous/intSqRoot Property HOLDS profiling-release_4.5_r2920-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:48:28 BST 2014 0 valid 1413284kb 3857 jenkins-slave 33.97 0:35.33
anonymous/selectSort ERROR profiling-release_4.5_r2920-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:48:15 BST 2014 unknown po (0) jenkins-slave
anonymous/simpleWhile Property HOLDS profiling-release_4.5_r2920-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:49:13 BST 2014 0 valid 191620kb 9042 jenkins-slave 36.71 0:36.85
eureka/Prim_4 Property HOLDS profiling-release_4.5_r2920-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 16:42:42 BST 2014 0 valid 14660kb 2023 jenkins-slave 0.30 0:00.31
eureka/Prim_5 Property HOLDS profiling-release_4.5_r2920-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 16:42:41 BST 2014 0 valid 17828kb 2629 jenkins-slave 0.54 0:00.55
eureka/Prim_6 Property HOLDS profiling-release_4.5_r2920-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 16:42:24 BST 2014 0 valid 21532kb 3295 jenkins-slave 1.12 0:01.17
eureka/Prim_7 Property HOLDS profiling-release_4.5_r2920-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 16:42:34 BST 2014 0 valid 26372kb 4021 jenkins-slave 0.73 0:00.77
eureka/Prim_8 Property HOLDS profiling-release_4.5_r2920-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 16:42:28 BST 2014 0 valid 31436kb 4807 jenkins-slave 1.92 0:01.96
eureka/array_init Property HOLDS profiling-release_4.5_r2920-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 16:42:21 BST 2014 0 valid 6672kb 94 jenkins-slave 0.01 0:00.02
eureka/array_init_assign Property HOLDS profiling-release_4.5_r2920-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 16:42:18 BST 2014 0 valid 6532kb 61 jenkins-slave 0.00 0:00.01
eureka/bf10 Property HOLDS profiling-release_4.5_r2920-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 16:42:23 BST 2014 0 valid 10976kb 931 jenkins-slave 0.17 0:00.19
eureka/bf11 Property HOLDS profiling-release_4.5_r2920-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 16:42:35 BST 2014 0 valid 11652kb 1007 jenkins-slave 0.20 0:00.21
eureka/bf12 Property HOLDS profiling-release_4.5_r2920-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 16:42:38 BST 2014 0 valid 12056kb 1083 jenkins-slave 0.22 0:00.23
eureka/bf13 Property HOLDS profiling-release_4.5_r2920-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 16:42:26 BST 2014 0 valid 12344kb 1159 jenkins-slave 0.46 0:00.49
eureka/bf14 Property HOLDS profiling-release_4.5_r2920-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 16:42:40 BST 2014 0 valid 13216kb 1235 jenkins-slave 0.52 0:00.54
eureka/bf15 Property HOLDS profiling-release_4.5_r2920-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 16:42:29 BST 2014 0 valid 13276kb 1311 jenkins-slave 0.26 0:00.28
eureka/bf16 Property HOLDS profiling-release_4.5_r2920-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 16:42:18 BST 2014 0 valid 13928kb 1387 jenkins-slave 0.59 0:00.61
eureka/bf17 Property HOLDS profiling-release_4.5_r2920-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 16:42:35 BST 2014 0 valid 14464kb 1463 jenkins-slave 0.64 0:00.66
eureka/bf18 Property HOLDS profiling-release_4.5_r2920-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 16:42:36 BST 2014 0 valid 15192kb 1539 jenkins-slave 0.56 0:00.57
eureka/bf19 Property HOLDS profiling-release_4.5_r2920-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 16:42:29 BST 2014 0 valid 15432kb 1615 jenkins-slave 0.36 0:00.37
eureka/bf20 Property HOLDS profiling-release_4.5_r2920-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 16:42:38 BST 2014 0 valid 16076kb 1691 jenkins-slave 0.76 0:00.80
eureka/bf5 Property HOLDS profiling-release_4.5_r2920-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 16:42:39 BST 2014 0 valid 8964kb 551 jenkins-slave 0.19 0:00.21
eureka/bf6 Property HOLDS profiling-release_4.5_r2920-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 16:42:42 BST 2014 0 valid 9476kb 627 jenkins-slave 0.12 0:00.12
eureka/bf7 Property HOLDS profiling-release_4.5_r2920-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 16:42:30 BST 2014 0 valid 9804kb 703 jenkins-slave 0.12 0:00.14
eureka/bf8 Property HOLDS profiling-release_4.5_r2920-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 16:42:18 BST 2014 0 valid 10272kb 779 jenkins-slave 0.29 0:00.31
eureka/bf9 Property HOLDS profiling-release_4.5_r2920-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 16:42:33 BST 2014 0 valid 10788kb 855 jenkins-slave 0.33 0:00.35
eureka/bubblesort Property VIOLATED profiling-release_4.5_r2920-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 16:42:26 BST 2014 10 invalid 7100kb 151 jenkins-slave 0.02 0:00.03
eureka/bubblesort_inner_loop Property VIOLATED profiling-release_4.5_r2920-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 16:42:21 BST 2014 10 invalid 6568kb 72 jenkins-slave 0.01 0:00.02
eureka/complex_guard Property HOLDS profiling-release_4.5_r2920-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 16:42:21 BST 2014 0 valid 6656kb 64 jenkins-slave 0.01 0:00.01
eureka/loop_on_input Property VIOLATED profiling-release_4.5_r2920-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 16:42:21 BST 2014 10 invalid 7404kb 91 jenkins-slave 0.02 0:00.03
eureka/sequential_swap Property HOLDS profiling-release_4.5_r2920-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 16:42:32 BST 2014 0 valid 6204kb 65 jenkins-slave 0.01 0:00.02
eureka/simple_array_inversion Property HOLDS profiling-release_4.5_r2920-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 16:42:18 BST 2014 0 valid 6512kb 54 jenkins-slave 0.00 0:00.01
eureka/simple_control_on_input Property VIOLATED profiling-release_4.5_r2920-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 16:42:32 BST 2014 10 invalid 24692kb 338 jenkins-slave 0.68 0:00.73
eureka/simple_swap_call Property HOLDS profiling-release_4.5_r2920-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 16:42:25 BST 2014 0 valid 6032kb 47 jenkins-slave 0.01 0:00.01
eureka/wrong_loop Property VIOLATED profiling-release_4.5_r2920-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 16:42:24 BST 2014 10 invalid 6508kb 78 jenkins-slave 0.00 0:00.01
necla/ex1 Property HOLDS profiling-release_4.5_r2920-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:47:01 BST 2014 0 valid 105860kb 8741 jenkins-slave 14.64 0:14.78
necla/ex10 Property VIOLATED profiling-release_4.5_r2920-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:47:55 BST 2014 10 invalid 13984kb 541 jenkins-slave 0.18 0:00.19
necla/ex11 Property HOLDS profiling-release_4.5_r2920-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:47:24 BST 2014 0 valid 254392kb 12293 jenkins-slave 16.86 0:17.21
necla/ex12 Property VIOLATED profiling-release_4.5_r2920-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:46:51 BST 2014 10 invalid 7128kb 92 jenkins-slave 0.04 0:00.05
necla/ex13 Property VIOLATED profiling-release_4.5_r2920-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:45:50 BST 2014 10 invalid 6824kb 31 jenkins-slave 0.02 0:00.04
necla/ex14 Property HOLDS profiling-release_4.5_r2920-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:47:18 BST 2014 0 valid 6796kb 102 jenkins-slave 0.02 0:00.04
necla/ex15 Property HOLDS profiling-release_4.5_r2920-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:47:32 BST 2014 0 valid 6988kb 101 jenkins-slave 0.02 0:00.04
necla/ex16 Property HOLDS profiling-release_4.5_r2920-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 16:45:31 BST 2014 0 valid 15520kb 5070 jenkins-slave 0.36 0:00.37
necla/ex17 Property HOLDS profiling-release_4.5_r2920-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:47:19 BST 2014 0 valid 31952kb 644 jenkins-slave 0.67 0:00.74
necla/ex18 Property HOLDS profiling-release_4.5_r2920-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 16:43:37 BST 2014 0 valid 1442692kb 2618 jenkins-slave 73.00 1:15.84
necla/ex19 Property VIOLATED profiling-release_4.5_r2920-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:47:36 BST 2014 10 invalid 303740kb 9048 jenkins-slave 49.32 0:49.62
necla/ex2 ERROR profiling-release_4.5_r2920-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 16:43:24 BST 2014 unknown po (0) jenkins-slave
necla/ex20 Property VIOLATED profiling-release_4.5_r2920-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:46:01 BST 2014 10 invalid 286196kb 9281 jenkins-slave 52.51 0:52.77
necla/ex21 Property HOLDS profiling-release_4.5_r2920-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:46:18 BST 2014 0 valid 31360kb 3835 jenkins-slave 2.89 0:02.93
necla/ex22 Property HOLDS profiling-release_4.5_r2920-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 16:45:46 BST 2014 0 valid 15056kb 1073 jenkins-slave 0.36 0:00.38
necla/ex23 Property HOLDS profiling-release_4.5_r2920-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:46:55 BST 2014 0 valid 368352kb 366 jenkins-slave 14.77 0:15.34
necla/ex26 Property VIOLATED profiling-release_4.5_r2920-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 16:45:33 BST 2014 10 invalid 136780kb 7283 jenkins-slave 8.77 0:08.94
necla/ex27 Property HOLDS profiling-release_4.5_r2920-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:46:27 BST 2014 0 invalid 35440kb 3713 jenkins-slave 1.72 0:01.75
necla/ex29 Property HOLDS profiling-release_4.5_r2920-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:45:57 BST 2014 0 valid 23632kb 1100 jenkins-slave 1.11 0:01.14
necla/ex3 Property VIOLATED profiling-release_4.5_r2920-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:47:14 BST 2014 10 invalid 7156kb 102 jenkins-slave 0.03 0:00.04
necla/ex30 ERROR profiling-release_4.5_r2920-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:46:42 BST 2014 10 unknown 58504kb 5741 jenkins-slave 6.32 0:06.42
necla/ex31 Property HOLDS profiling-release_4.5_r2920-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:46:33 BST 2014 0 valid 6580kb 77 jenkins-slave 0.02 0:00.04
necla/ex32 Property HOLDS profiling-release_4.5_r2920-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 16:43:25 BST 2014 0 valid 1556688kb 10051 jenkins-slave 7.37 0:08.48
necla/ex33 ERROR profiling-release_4.5_r2920-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 16:43:27 BST 2014 unknown po (0) jenkins-slave
necla/ex34 Property HOLDS profiling-release_4.5_r2920-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 16:45:29 BST 2014 0 valid 9388kb 135 jenkins-slave 0.06 0:00.07
necla/ex36_free ERROR profiling-release_4.5_r2920-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:45:46 BST 2014 unknown po (0) jenkins-slave
necla/ex36_read ERROR profiling-release_4.5_r2920-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 16:45:32 BST 2014 unknown po (0) jenkins-slave
necla/ex37 Property HOLDS profiling-release_4.5_r2920-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:47:36 BST 2014 0 valid 22368kb 65 jenkins-slave 0.54 0:00.57
necla/ex4 Property VIOLATED profiling-release_4.5_r2920-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:45:53 BST 2014 10 invalid 7868kb 394 jenkins-slave 0.09 0:00.11
necla/ex40 Property VIOLATED profiling-release_4.5_r2920-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:47:50 BST 2014 10 invalid 36548kb 1254 jenkins-slave 1.38 0:01.43
necla/ex43 Property VIOLATED profiling-release_4.5_r2920-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 16:43:26 BST 2014 10 invalid 595892kb 7516 jenkins-slave 38.25 0:39.26
necla/ex46 Property VIOLATED profiling-release_4.5_r2920-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:48:03 BST 2014 10 invalid 136484kb 304 jenkins-slave 5.46 0:05.69
necla/ex47 Property VIOLATED profiling-release_4.5_r2920-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:47:59 BST 2014 10 invalid 105528kb 294 jenkins-slave 2.51 0:02.63
necla/ex49 Property HOLDS profiling-release_4.5_r2920-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 16:44:57 BST 2014 0 valid 207748kb 9043 jenkins-slave 45.44 0:45.75
necla/ex5 Property HOLDS profiling-release_4.5_r2920-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:47:21 BST 2014 0 valid 6568kb 34 jenkins-slave 0.00 0:00.02
necla/ex6 Property HOLDS profiling-release_4.5_r2920-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:46:24 BST 2014 0 valid 6036kb 45 jenkins-slave 0.00 0:00.01
necla/ex7 ERROR profiling-release_4.5_r2920-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 16:44:12 BST 2014 unknown po (0) jenkins-slave
necla/ex8 ERROR profiling-release_4.5_r2920-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:47:44 BST 2014 unknown po (0) jenkins-slave
necla/ex9 Property HOLDS profiling-release_4.5_r2920-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:46:37 BST 2014 0 valid 39748kb 369 jenkins-slave 1.70 0:01.79
necla/inf1 Property VIOLATED profiling-release_4.5_r2920-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 16:44:09 BST 2014 10 invalid 6704kb 56 jenkins-slave 0.04 0:00.04
necla/inf3 Property HOLDS profiling-release_4.5_r2920-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:47:39 BST 2014 0 valid 576360kb 803 jenkins-slave 19.83 0:20.73
necla/inf4 Property VIOLATED profiling-release_4.5_r2920-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:47:28 BST 2014 10 invalid 7488kb 134 jenkins-slave 0.06 0:00.08
necla/inf5 Property VIOLATED profiling-release_4.5_r2920-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:46:57 BST 2014 10 invalid 6920kb 113 jenkins-slave 0.04 0:00.05
necla/inf6 Property HOLDS profiling-release_4.5_r2920-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 16:43:23 BST 2014 0 valid 6604kb 68 jenkins-slave 0.02 0:00.03
necla/inf8 Property HOLDS profiling-release_4.5_r2920-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:47:25 BST 2014 0 valid 6728kb 101 jenkins-slave 0.02 0:00.04
queue/queue_1 Property HOLDS profiling-release_4.5_r2920-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:48:09 BST 2014 0 valid 6672kb 81 jenkins-slave 0.01 0:00.02
queue/queue_10 Property HOLDS profiling-release_4.5_r2920-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:48:12 BST 2014 0 valid 7720kb 450 jenkins-slave 0.05 0:00.06
queue/queue_100 Property HOLDS profiling-release_4.5_r2920-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:48:05 BST 2014 0 valid 36156kb 4140 jenkins-slave 1.43 0:01.47
queue/queue_1000 ERROR profiling-release_4.5_r2920-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:48:12 BST 2014 unknown po (0) jenkins-slave
slayer/ex1 Property VIOLATED profiling-release_4.5_r2920-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 16:43:20 BST 2014 10 invalid 21924kb 39 jenkins-slave 0.46 0:00.52
slayer/ex2 Property VIOLATED profiling-release_4.5_r2920-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 16:43:17 BST 2014 10 valid 6360kb 30 jenkins-slave 0.01 0:00.02
slayer/ex3 Property VIOLATED profiling-release_4.5_r2920-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 16:43:20 BST 2014 10 invalid 22020kb 101 jenkins-slave 0.50 0:00.55
slayer/ex5 Property HOLDS profiling-release_4.5_r2920-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 16:43:21 BST 2014 0 valid 21864kb 66 jenkins-slave 0.48 0:00.52
slayer/ex6 Property VIOLATED profiling-release_4.5_r2920-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 16:43:18 BST 2014 10 invalid 22060kb 85 jenkins-slave 0.26 0:00.29
slayer/ex7 Property HOLDS profiling-release_4.5_r2920-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 16:43:17 BST 2014 0 valid 22464kb 351 jenkins-slave 0.28 0:00.32
slayer/ex8 Property HOLDS profiling-release_4.5_r2920-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 16:43:23 BST 2014 0 valid 34716kb 841 jenkins-slave 0.78 0:00.83
slayer/ex9 Property HOLDS profiling-release_4.5_r2920-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 16:43:19 BST 2014 0 valid 35992kb 1409 jenkins-slave 0.94 0:01.00
smack/array Property HOLDS profiling-release_4.5_r2920-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 16:42:43 BST 2014 0 valid 22096kb 63 jenkins-slave 0.26 0:00.28
smack/array1 Property HOLDS profiling-release_4.5_r2920-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 16:42:58 BST 2014 0 valid 22376kb 70 jenkins-slave 0.50 0:00.54
smack/array2 Property HOLDS profiling-release_4.5_r2920-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 16:42:47 BST 2014 0 valid 23104kb 471 jenkins-slave 0.76 0:00.79
smack/array3 Property HOLDS profiling-release_4.5_r2920-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 16:43:03 BST 2014 0 valid 23156kb 826 jenkins-slave 0.94 0:00.99
smack/array4 Property HOLDS profiling-release_4.5_r2920-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 16:42:44 BST 2014 0 valid 26708kb 826 jenkins-slave 0.55 0:00.57
smack/array_free Property HOLDS profiling-release_4.5_r2920-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 16:42:55 BST 2014 0 valid 22036kb 501 jenkins-slave 0.57 0:00.62
smack/array_free1 Property HOLDS profiling-release_4.5_r2920-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 16:42:59 BST 2014 0 valid 22080kb 501 jenkins-slave 0.59 0:00.62
smack/array_free2 Property HOLDS profiling-release_4.5_r2920-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 16:43:08 BST 2014 0 valid 22104kb 501 jenkins-slave 0.58 0:00.63
smack/ase_example Property HOLDS profiling-release_4.5_r2920-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 16:43:11 BST 2014 0 valid 22268kb 365 jenkins-slave 0.40 0:00.44
smack/dsa_test Property HOLDS profiling-release_4.5_r2920-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 16:42:47 BST 2014 0 valid 22144kb 71 jenkins-slave 0.52 0:00.54
smack/dsa_test1 Property HOLDS profiling-release_4.5_r2920-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 16:42:45 BST 2014 0 valid 22136kb 121 jenkins-slave 0.27 0:00.31
smack/dsa_test10 Property HOLDS profiling-release_4.5_r2920-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 16:43:14 BST 2014 0 valid 24160kb 335 jenkins-slave 0.77 0:00.81
smack/dsa_test11 Property HOLDS profiling-release_4.5_r2920-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 16:43:10 BST 2014 0 valid 22348kb 126 jenkins-slave 0.26 0:00.29
smack/dsa_test12 Property HOLDS profiling-release_4.5_r2920-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 16:43:08 BST 2014 0 valid 6032kb 38 jenkins-slave 0.02 0:00.02
smack/dsa_test13 Property HOLDS profiling-release_4.5_r2920-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 16:42:44 BST 2014 0 valid 6036kb 33 jenkins-slave 0.00 0:00.01
smack/dsa_test14 Property HOLDS profiling-release_4.5_r2920-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 16:42:51 BST 2014 0 valid 6040kb 34 jenkins-slave 0.00 0:00.02
smack/dsa_test15 Property HOLDS profiling-release_4.5_r2920-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 16:43:05 BST 2014 0 valid 22764kb 319 jenkins-slave 0.57 0:00.61
smack/dsa_test2 Property HOLDS profiling-release_4.5_r2920-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 16:43:00 BST 2014 0 valid 6032kb 35 jenkins-slave 0.00 0:00.01
smack/dsa_test3 Property HOLDS profiling-release_4.5_r2920-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 16:43:14 BST 2014 0 valid 22168kb 121 jenkins-slave 0.27 0:00.30
smack/dsa_test4 Property HOLDS profiling-release_4.5_r2920-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 16:43:13 BST 2014 0 valid 22736kb 91 jenkins-slave 0.29 0:00.31
smack/dsa_test5 Property HOLDS profiling-release_4.5_r2920-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 16:42:53 BST 2014 0 valid 22928kb 107 jenkins-slave 0.52 0:00.59
smack/dsa_test6 Property HOLDS profiling-release_4.5_r2920-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 16:42:51 BST 2014 0 valid 23300kb 189 jenkins-slave 0.35 0:00.39
smack/dsa_test7 Property HOLDS profiling-release_4.5_r2920-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 16:42:58 BST 2014 0 valid 6032kb 38 jenkins-slave 0.01 0:00.02
smack/dsa_test8 Property HOLDS profiling-release_4.5_r2920-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 16:43:17 BST 2014 0 valid 21640kb 78 jenkins-slave 0.26 0:00.31
smack/dsa_test9 Property HOLDS profiling-release_4.5_r2920-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 16:42:55 BST 2014 0 valid 22184kb 99 jenkins-slave 0.52 0:00.55
smack/simple Property HOLDS profiling-release_4.5_r2920-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 16:42:56 BST 2014 0 valid 6036kb 30 jenkins-slave 0.00 0:00.02
smack/simple_double_free Property VIOLATED profiling-release_4.5_r2920-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 16:42:48 BST 2014 10 invalid 22076kb 78 jenkins-slave 0.50 0:00.55
smack/simple_fail Property VIOLATED profiling-release_4.5_r2920-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 16:42:47 BST 2014 10 invalid 6304kb 28 jenkins-slave 0.00 0:00.01
smack/simple_pre Property HOLDS profiling-release_4.5_r2920-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 16:43:10 BST 2014 0 valid 6036kb 31 jenkins-slave 0.00 0:00.01
smack/simple_pre1 Property HOLDS profiling-release_4.5_r2920-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 16:43:02 BST 2014 0 valid 6036kb 32 jenkins-slave 0.00 0:00.02
smack/simple_pre2 Property HOLDS profiling-release_4.5_r2920-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 16:42:44 BST 2014 0 valid 6372kb 33 jenkins-slave 0.00 0:00.01
smack/simple_pre3 Property HOLDS profiling-release_4.5_r2920-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 16:43:08 BST 2014 0 valid 6032kb 31 jenkins-slave 0.01 0:00.02
smack/two_arrays Property HOLDS profiling-release_4.5_r2920-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 16:43:05 BST 2014 0 valid 27100kb 2742 jenkins-slave 2.21 0:02.27
smack/two_arrays1 Property HOLDS profiling-release_4.5_r2920-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 16:43:11 BST 2014 0 valid 49812kb 3658 jenkins-slave 3.41 0:03.49
smack/two_arrays2 Property HOLDS profiling-release_4.5_r2920-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 16:43:01 BST 2014 0 valid 49796kb 3660 jenkins-slave 3.32 0:03.41
smack/two_arrays6 Property HOLDS profiling-release_4.5_r2920-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 16:42:54 BST 2014 0 valid 49844kb 3663 jenkins-slave 2.38 0:02.45
smack/vmcai_bytes Property HOLDS profiling-release_4.5_r2920-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 16:43:01 BST 2014 0 valid 6480kb 31 jenkins-slave 0.01 0:00.02
smack/vmcai_struct Property HOLDS profiling-release_4.5_r2920-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 16:42:51 BST 2014 0 valid 22024kb 59 jenkins-slave 0.50 0:00.53
snu/bs Property HOLDS profiling-release_4.5_r2920-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:51:50 BST 2014 0 valid 6720kb 91 jenkins-slave 0.02 0:00.04
snu/crc Property HOLDS profiling-release_4.5_r2920-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:51:38 BST 2014 0 valid 75692kb 22278 jenkins-slave 21.58 0:21.70
snu/fibcall Property HOLDS profiling-release_4.5_r2920-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:51:34 BST 2014 0 valid 7112kb 282 jenkins-slave 0.02 0:00.03
snu/insertsort Property HOLDS profiling-release_4.5_r2920-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:51:45 BST 2014 0 valid 19256kb 1155 jenkins-slave 0.66 0:00.70
snu/jfdctint Property VIOLATED profiling-release_4.5_r2920-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:51:39 BST 2014 10 invalid 28856kb 2575 jenkins-slave 2.32 0:02.36
snu/matmul Property HOLDS profiling-release_4.5_r2920-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:51:34 BST 2014 0 invalid 19948kb 1855 jenkins-slave 1.41 0:01.43
urbiva/bitcount16 Property VIOLATED profiling-release_4.5_r2920-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:51:27 BST 2014 10 invalid 7872kb 192 jenkins-slave 0.09 0:00.11
urbiva/bitcount32 Property VIOLATED profiling-release_4.5_r2920-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:51:27 BST 2014 10 invalid 8792kb 319 jenkins-slave 0.14 0:00.16
urbiva/fermat Property VIOLATED profiling-release_4.5_r2920-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:51:14 BST 2014 10 invalid 33704kb 134 jenkins-slave 0.97 0:01.01
urbiva/graycode Property VIOLATED profiling-release_4.5_r2920-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:51:23 BST 2014 10 invalid 22300kb 173 jenkins-slave 0.60 0:00.64
urbiva/magic Property VIOLATED profiling-release_4.5_r2920-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:51:18 BST 2014 10 invalid 22512kb 238 jenkins-slave 0.66 0:00.71
urbiva/matrixsqrt Property VIOLATED profiling-release_4.5_r2920-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:51:09 BST 2014 10 invalid 60752kb 433 jenkins-slave 1.32 0:01.38
urbiva/queens Property VIOLATED profiling-release_4.5_r2920-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:51:15 BST 2014 10 invalid 31644kb 3826 jenkins-slave 3.30 0:03.37
urbiva/send-more-money Property VIOLATED profiling-release_4.5_r2920-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:51:30 BST 2014 10 invalid 13904kb 66 jenkins-slave 0.27 0:00.28
urbiva/sort Property VIOLATED profiling-release_4.5_r2920-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:51:22 BST 2014 10 invalid 23284kb 2180 jenkins-slave 1.85 0:01.92
urbiva/sudoku Property VIOLATED profiling-release_4.5_r2920-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:51:31 BST 2014 10 invalid 23316kb 236 jenkins-slave 0.66 0:00.71
wcet/adpcm Property VIOLATED profiling-release_4.5_r2920-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:50:31 BST 2014 10 invalid 15904kb 1297 jenkins-slave 0.61 0:00.63
wcet/bs Property HOLDS profiling-release_4.5_r2920-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:51:05 BST 2014 0 valid 6752kb 102 jenkins-slave 0.03 0:00.04
wcet/bsort100 Property HOLDS profiling-release_4.5_r2920-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:49:52 BST 2014 0 valid 743492kb 96294 jenkins-slave 61.61 1:02.18
wcet/cnt Property HOLDS profiling-release_4.5_r2920-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:50:12 BST 2014 0 invalid 33772kb 4029 jenkins-slave 1.79 0:01.82
wcet/compress Property VIOLATED profiling-release_4.5_r2920-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:51:01 BST 2014 10 invalid 12448kb 619 jenkins-slave 0.41 0:00.43
wcet/cover Property HOLDS profiling-release_4.5_r2920-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:50:40 BST 2014 0 valid 22888kb 36702 jenkins-slave 1.18 0:01.20
wcet/crc Property HOLDS profiling-release_4.5_r2920-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:50:16 BST 2014 0 valid 75612kb 22278 jenkins-slave 22.92 0:23.05
wcet/duff Property HOLDS profiling-release_4.5_r2920-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:50:43 BST 2014 0 valid 14332kb 1299 jenkins-slave 1.28 0:01.30
wcet/edn Property VIOLATED profiling-release_4.5_r2920-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:50:55 BST 2014 10 invalid 29960kb 941 jenkins-slave 2.52 0:02.56
wcet/expint Property HOLDS profiling-release_4.5_r2920-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:50:48 BST 2014 0 valid 11140kb 1926 jenkins-slave 0.37 0:00.39
wcet/fac Property HOLDS profiling-release_4.5_r2920-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:50:02 BST 2014 0 valid 7092kb 307 jenkins-slave 0.05 0:00.06
wcet/fdct Property HOLDS profiling-release_4.5_r2920-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:49:53 BST 2014 0 valid 18772kb 2234 jenkins-slave 2.08 0:02.12
wcet/fibcall Property HOLDS profiling-release_4.5_r2920-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:50:09 BST 2014 0 valid 7096kb 279 jenkins-slave 0.02 0:00.03
wcet/fir ERROR profiling-release_4.5_r2920-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:50:54 BST 2014 unknown po (0) jenkins-slave
wcet/insertsort Property HOLDS profiling-release_4.5_r2920-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:50:27 BST 2014 0 valid 8676kb 535 jenkins-slave 0.23 0:00.24
wcet/janne_complex Property HOLDS profiling-release_4.5_r2920-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:50:24 BST 2014 0 valid 6860kb 297 jenkins-slave 0.04 0:00.06
wcet/jfdctint Property VIOLATED profiling-release_4.5_r2920-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:50:18 BST 2014 10 invalid 28500kb 2569 jenkins-slave 2.32 0:02.36
wcet/loop3 Property HOLDS profiling-release_4.5_r2920-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:50:36 BST 2014 0 valid 17420kb 4169 jenkins-slave 0.81 0:00.84
wcet/matmult ERROR profiling-release_4.5_r2920-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:50:58 BST 2014 unknown po (0) jenkins-slave
wcet/minmax Property HOLDS profiling-release_4.5_r2920-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:50:51 BST 2014 0 valid 6676kb 70 jenkins-slave 0.00 0:00.02
wcet/ndes Property HOLDS profiling-release_4.5_r2920-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:50:41 BST 2014 0 valid 213548kb 30716 jenkins-slave 22.74 0:22.96
wcet/ns Property HOLDS profiling-release_4.5_r2920-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:51:08 BST 2014 0 valid 15700kb 4485 jenkins-slave 3.21 0:03.26
wcet/nsichneu Property HOLDS profiling-release_4.5_r2920-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:50:50 BST 2014 0 valid 32648kb 3811 jenkins-slave 0.86 0:00.90
wcet/prime Property HOLDS profiling-release_4.5_r2920-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:50:45 BST 2014 0 valid 18800kb 6130 jenkins-slave 2.97 0:03.00
wcet/recursion Property HOLDS profiling-release_4.5_r2920-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:49:48 BST 2014 0 valid 12272kb 2234 jenkins-slave 0.67 0:00.69
wcet/select Property VIOLATED profiling-release_4.5_r2920-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:50:05 BST 2014 10 invalid 8444kb 125 jenkins-slave 0.17 0:00.19
wcet/statemate Property HOLDS profiling-release_4.5_r2920-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:49:59 BST 2014 0 valid 10796kb 1456 jenkins-slave 0.35 0:00.37
wcet/ud Property HOLDS profiling-release_4.5_r2920-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:50:19 BST 2014 0 valid 617008kb 1805 jenkins-slave 17.41 0:18.33
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.