* profiling-release_5.0_r5112-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 8;profiling-release_5.0_r5112-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 6;profiling-release_5.0_r5112-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 1001 --no-unwinding-assertions;profiling-release_5.0_r5112-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 21;profiling-release_5.0_r5112-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 1001;profiling-release_5.0_r5112-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --unwind 17;profiling-release_5.0_r5112-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 10;profiling-release_5.0_r5112-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 5;profiling-release_5.0_r5112-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 201;profiling-release_5.0_r5112-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --unwind 1001;profiling-release_5.0_r5112-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 7;profiling-release_5.0_r5112-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 100;profiling-release_5.0_r5112-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check;profiling-release_5.0_r5112-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 16;profiling-release_5.0_r5112-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 20;profiling-release_5.0_r5112-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function simpleWhile --unwind 1001;profiling-release_5.0_r5112-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 12;profiling-release_5.0_r5112-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 1025;profiling-release_5.0_r5112-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 257;profiling-release_5.0_r5112-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 1;profiling-release_5.0_r5112-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --no-unwinding-assertions;profiling-release_5.0_r5112-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 15;profiling-release_5.0_r5112-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --unwind 101;profiling-release_5.0_r5112-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 13;profiling-release_5.0_r5112-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 3;profiling-release_5.0_r5112-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 27;profiling-release_5.0_r5112-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --unwind 6;profiling-release_5.0_r5112-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 24;profiling-release_5.0_r5112-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 17;profiling-release_5.0_r5112-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 11;profiling-release_5.0_r5112-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 51;profiling-release_5.0_r5112-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 18;profiling-release_5.0_r5112-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 101;profiling-release_5.0_r5112-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function intSqRoot --unwind 201;profiling-release_5.0_r5112-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 31;profiling-release_5.0_r5112-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --unwind 4;profiling-release_5.0_r5112-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --unwind 11;profiling-release_5.0_r5112-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 19;profiling-release_5.0_r5112-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --unwind 10;profiling-release_5.0_r5112-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main;profiling-release_5.0_r5112-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 50;profiling-release_5.0_r5112-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 358;profiling-release_5.0_r5112-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 9;profiling-release_5.0_r5112-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 14 version 5.0 results *
Timeout: 120s Memory limit: unlimitedkb
Thu Jan 29 12:31:12 2015
Benchmark Result commandline date exitcode expected maxmem mt_max_constr ssa-size user usertime wallclock
anonymous/bubbleSort Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:12:17 GMT 2015 0 valid 400464kb 1469 jenkins-slave 79.70 1:20.45
anonymous/intSqRoot Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:11:38 GMT 2015 0 valid 1140360kb 3863 jenkins-slave 41.92 0:43.51
anonymous/selectSort TIMEOUT profiling-release_5.0_r5112-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 Thu Jan 29 12:11:27 GMT 2015 124 unknown 2146248kb 1053 jenkins-slave 117.13 2:00.55
anonymous/simpleWhile Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:12:25 GMT 2015 0 valid 104656kb 8546 jenkins-slave 83.96 1:24.16
eureka/Prim_4 Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:04:22 GMT 2015 0 valid 11244kb 1723 jenkins-slave 0.53 0:00.55
eureka/Prim_5 Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:04:22 GMT 2015 0 valid 13440kb 2254 jenkins-slave 0.74 0:00.76
eureka/Prim_6 Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:04:05 GMT 2015 0 valid 15940kb 2839 jenkins-slave 0.98 0:01.00
eureka/Prim_7 Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:04:14 GMT 2015 0 valid 19644kb 3478 jenkins-slave 1.23 0:01.25
eureka/Prim_8 Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:04:08 GMT 2015 0 valid 23520kb 4171 jenkins-slave 1.60 0:01.63
eureka/array_init Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:04:01 GMT 2015 0 valid 6564kb 88 jenkins-slave 0.02 0:00.04
eureka/array_init_assign Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:03:58 GMT 2015 0 valid 6488kb 60 jenkins-slave 0.02 0:00.03
eureka/bf10 Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:04:03 GMT 2015 0 valid 8868kb 867 jenkins-slave 0.33 0:00.36
eureka/bf11 Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:04:16 GMT 2015 0 valid 9508kb 940 jenkins-slave 0.38 0:00.40
eureka/bf12 Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:04:19 GMT 2015 0 valid 9624kb 1013 jenkins-slave 0.42 0:00.44
eureka/bf13 Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:04:07 GMT 2015 0 valid 9808kb 1086 jenkins-slave 0.45 0:00.47
eureka/bf14 Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:04:21 GMT 2015 0 valid 10384kb 1159 jenkins-slave 0.47 0:00.51
eureka/bf15 Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:04:10 GMT 2015 0 valid 10036kb 1232 jenkins-slave 0.50 0:00.53
eureka/bf16 Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:03:58 GMT 2015 0 valid 10480kb 1305 jenkins-slave 0.54 0:00.56
eureka/bf17 Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:04:16 GMT 2015 0 valid 10868kb 1378 jenkins-slave 0.29 0:00.30
eureka/bf18 Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:04:17 GMT 2015 0 valid 11328kb 1451 jenkins-slave 0.62 0:00.65
eureka/bf19 Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:04:09 GMT 2015 0 valid 11516kb 1524 jenkins-slave 0.66 0:00.69
eureka/bf20 Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:04:18 GMT 2015 0 valid 12032kb 1597 jenkins-slave 0.72 0:00.74
eureka/bf5 Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:04:19 GMT 2015 0 valid 7804kb 502 jenkins-slave 0.19 0:00.20
eureka/bf6 Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:04:23 GMT 2015 0 valid 8208kb 575 jenkins-slave 0.22 0:00.23
eureka/bf7 Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:04:11 GMT 2015 0 valid 8260kb 648 jenkins-slave 0.25 0:00.26
eureka/bf8 Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:03:58 GMT 2015 0 valid 8536kb 721 jenkins-slave 0.27 0:00.29
eureka/bf9 Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:04:14 GMT 2015 0 valid 8856kb 794 jenkins-slave 0.32 0:00.33
eureka/bubblesort Property VIOLATED profiling-release_5.0_r5112-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 Thu Jan 29 12:04:07 GMT 2015 10 invalid 6680kb 129 jenkins-slave 0.04 0:00.06
eureka/bubblesort_inner_loop Property VIOLATED profiling-release_5.0_r5112-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 Thu Jan 29 12:04:02 GMT 2015 10 invalid 6516kb 71 jenkins-slave 0.03 0:00.04
eureka/complex_guard Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:04:00 GMT 2015 0 valid 6568kb 66 jenkins-slave 0.01 0:00.01
eureka/loop_on_input Property VIOLATED profiling-release_5.0_r5112-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 Thu Jan 29 12:04:01 GMT 2015 10 invalid 7320kb 97 jenkins-slave 0.05 0:00.06
eureka/sequential_swap Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:04:13 GMT 2015 0 valid 6268kb 71 jenkins-slave 0.02 0:00.03
eureka/simple_array_inversion Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:03:58 GMT 2015 0 valid 6480kb 57 jenkins-slave 0.02 0:00.03
eureka/simple_control_on_input Property VIOLATED profiling-release_5.0_r5112-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 Thu Jan 29 12:04:13 GMT 2015 10 invalid 28968kb 298 jenkins-slave 0.61 0:00.65
eureka/simple_swap_call Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:04:05 GMT 2015 0 valid 6036kb 52 jenkins-slave 0.01 0:00.03
eureka/wrong_loop Property VIOLATED profiling-release_5.0_r5112-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 Thu Jan 29 12:04:04 GMT 2015 10 invalid 6472kb 69 jenkins-slave 0.02 0:00.03
necla/ex1 Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:09:26 GMT 2015 0 valid 89744kb 10794 jenkins-slave 53.73 0:53.88
necla/ex10 Property VIOLATED profiling-release_5.0_r5112-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 Thu Jan 29 12:10:25 GMT 2015 10 invalid 20664kb 689 jenkins-slave 0.32 0:00.33
necla/ex11 Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:09:39 GMT 2015 0 valid 74360kb 12049 jenkins-slave 17.67 0:17.76
necla/ex12 Property VIOLATED profiling-release_5.0_r5112-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 Thu Jan 29 12:09:10 GMT 2015 10 invalid 6748kb 97 jenkins-slave 0.02 0:00.02
necla/ex13 Property VIOLATED profiling-release_5.0_r5112-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 Thu Jan 29 12:07:53 GMT 2015 10 invalid 7072kb 37 jenkins-slave 0.04 0:00.04
necla/ex14 Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:09:32 GMT 2015 0 valid 6660kb 97 jenkins-slave 0.03 0:00.04
necla/ex15 Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:09:46 GMT 2015 0 valid 7352kb 139 jenkins-slave 0.07 0:00.08
necla/ex16 Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:07:20 GMT 2015 0 valid 10892kb 3078 jenkins-slave 0.64 0:00.66
necla/ex17 Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:09:35 GMT 2015 0 valid 38528kb 545 jenkins-slave 0.91 0:01.00
necla/ex18 TIMEOUT profiling-release_5.0_r5112-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 Thu Jan 29 12:05:25 GMT 2015 124 valid 1605284kb 2930 jenkins-slave 118.23 2:00.32
necla/ex19 Property VIOLATED profiling-release_5.0_r5112-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 Thu Jan 29 12:09:51 GMT 2015 10 invalid 253680kb 9054 jenkins-slave 59.71 1:00.06
necla/ex2 TIMEOUT profiling-release_5.0_r5112-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 Thu Jan 29 12:05:11 GMT 2015 124 unknown 2441524kb 7275 jenkins-slave 117.65 2:00.51
necla/ex20 Property VIOLATED profiling-release_5.0_r5112-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 Thu Jan 29 12:07:59 GMT 2015 10 invalid 204324kb 9285 jenkins-slave 67.56 1:07.81
necla/ex21 Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:08:02 GMT 2015 0 valid 24988kb 4539 jenkins-slave 2.95 0:02.99
necla/ex22 Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:07:32 GMT 2015 0 valid 13232kb 1513 jenkins-slave 0.30 0:00.31
necla/ex23 Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:09:12 GMT 2015 0 valid 334404kb 337 jenkins-slave 10.10 0:10.51
necla/ex26 Property VIOLATED profiling-release_5.0_r5112-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 Thu Jan 29 12:07:27 GMT 2015 10 invalid 63480kb 5139 jenkins-slave 2.70 0:02.76
necla/ex27 Property VIOLATED profiling-release_5.0_r5112-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 Thu Jan 29 12:08:11 GMT 2015 10 invalid 47844kb 5464 jenkins-slave 3.57 0:03.63
necla/ex29 Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:07:57 GMT 2015 0 valid 30180kb 1428 jenkins-slave 1.56 0:01.60
necla/ex3 Property VIOLATED profiling-release_5.0_r5112-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 Thu Jan 29 12:09:29 GMT 2015 10 invalid 7100kb 96 jenkins-slave 0.03 0:00.04
necla/ex30 TIMEOUT profiling-release_5.0_r5112-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 Thu Jan 29 12:08:26 GMT 2015 124 unknown 1853600kb 6561 jenkins-slave 118.09 2:00.34
necla/ex31 Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:08:18 GMT 2015 0 valid 6572kb 66 jenkins-slave 0.03 0:00.04
necla/ex32 Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:05:11 GMT 2015 0 valid 1532140kb 14058 jenkins-slave 10.15 0:11.28
necla/ex33 ERROR profiling-release_5.0_r5112-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 Thu Jan 29 12:05:13 GMT 2015 unknown po (0) jenkins-slave
necla/ex34 Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:07:16 GMT 2015 0 valid 8572kb 149 jenkins-slave 0.10 0:00.11
necla/ex36_free ERROR profiling-release_5.0_r5112-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 Thu Jan 29 12:07:35 GMT 2015 unknown po (0) jenkins-slave
necla/ex36_read ERROR profiling-release_5.0_r5112-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 Thu Jan 29 12:07:22 GMT 2015 unknown po (0) jenkins-slave
necla/ex37 Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:09:49 GMT 2015 0 valid 28924kb 77 jenkins-slave 0.38 0:00.43
necla/ex4 Property VIOLATED profiling-release_5.0_r5112-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 Thu Jan 29 12:07:56 GMT 2015 10 invalid 7424kb 400 jenkins-slave 0.10 0:00.12
necla/ex40 Property VIOLATED profiling-release_5.0_r5112-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 Thu Jan 29 12:10:22 GMT 2015 10 invalid 32828kb 1063 jenkins-slave 0.66 0:00.69
necla/ex43 Property VIOLATED profiling-release_5.0_r5112-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 Thu Jan 29 12:05:12 GMT 2015 10 invalid 542480kb 8855 jenkins-slave 33.17 0:33.84
necla/ex46 Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:10:29 GMT 2015 0 invalid 537644kb 340 jenkins-slave 64.81 1:05.54
necla/ex47 Property VIOLATED profiling-release_5.0_r5112-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 Thu Jan 29 12:10:28 GMT 2015 10 invalid 278860kb 329 jenkins-slave 54.90 0:55.32
necla/ex49 Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:07:13 GMT 2015 0 valid 111076kb 9049 jenkins-slave 37.06 0:37.20
necla/ex5 Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:09:38 GMT 2015 0 valid 6564kb 40 jenkins-slave 0.01 0:00.02
necla/ex6 Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:08:08 GMT 2015 0 valid 6504kb 57 jenkins-slave 0.02 0:00.03
necla/ex7 TIMEOUT profiling-release_5.0_r5112-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 Thu Jan 29 12:05:53 GMT 2015 124 unknown 1477128kb 13110 jenkins-slave 118.41 2:00.22
necla/ex8 ERROR profiling-release_5.0_r5112-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 Thu Jan 29 12:10:14 GMT 2015 unknown po (0) jenkins-slave
necla/ex9 Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:08:21 GMT 2015 0 valid 38212kb 359 jenkins-slave 1.55 0:01.62
necla/inf1 Property VIOLATED profiling-release_5.0_r5112-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 Thu Jan 29 12:05:50 GMT 2015 10 invalid 6676kb 62 jenkins-slave 0.04 0:00.04
necla/inf3 Property VIOLATED profiling-release_5.0_r5112-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 Thu Jan 29 12:09:59 GMT 2015 10 valid 286644kb 756 jenkins-slave 12.03 0:12.37
necla/inf4 Property VIOLATED profiling-release_5.0_r5112-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 Thu Jan 29 12:09:44 GMT 2015 10 invalid 7332kb 125 jenkins-slave 0.06 0:00.08
necla/inf5 Property VIOLATED profiling-release_5.0_r5112-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 Thu Jan 29 12:09:25 GMT 2015 10 invalid 6820kb 119 jenkins-slave 0.05 0:00.05
necla/inf6 Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:05:10 GMT 2015 0 valid 6584kb 74 jenkins-slave 0.01 0:00.03
necla/inf8 Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:09:41 GMT 2015 0 valid 6620kb 107 jenkins-slave 0.02 0:00.04
queue/queue_1 Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:11:00 GMT 2015 0 valid 6620kb 79 jenkins-slave 0.02 0:00.03
queue/queue_10 Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:11:02 GMT 2015 0 valid 7144kb 394 jenkins-slave 0.11 0:00.13
queue/queue_100 Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:10:53 GMT 2015 0 valid 30388kb 3544 jenkins-slave 2.92 0:02.96
queue/queue_1000 ERROR profiling-release_5.0_r5112-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 Thu Jan 29 12:11:04 GMT 2015 unknown po (0) jenkins-slave
slayer/ex1 Property VIOLATED profiling-release_5.0_r5112-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 Thu Jan 29 12:05:06 GMT 2015 10 invalid 28424kb 43 jenkins-slave 0.74 0:00.78
slayer/ex2 Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:05:02 GMT 2015 0 valid 6036kb 35 jenkins-slave 0.01 0:00.02
slayer/ex3 Property VIOLATED profiling-release_5.0_r5112-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 Thu Jan 29 12:05:06 GMT 2015 10 invalid 28540kb 119 jenkins-slave 0.74 0:00.79
slayer/ex5 Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:05:07 GMT 2015 0 valid 28616kb 84 jenkins-slave 0.64 0:00.68
slayer/ex6 Property VIOLATED profiling-release_5.0_r5112-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 Thu Jan 29 12:05:03 GMT 2015 10 invalid 28580kb 88 jenkins-slave 0.74 0:00.82
slayer/ex7 Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:05:03 GMT 2015 0 valid 29096kb 415 jenkins-slave 0.83 0:00.89
slayer/ex8 Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:05:09 GMT 2015 0 valid 44228kb 893 jenkins-slave 1.24 0:01.29
slayer/ex9 Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:05:05 GMT 2015 0 valid 48144kb 1536 jenkins-slave 2.64 0:02.76
smack/array Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:04:24 GMT 2015 0 valid 28592kb 75 jenkins-slave 0.71 0:00.80
smack/array1 Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:04:42 GMT 2015 0 valid 28864kb 86 jenkins-slave 0.74 0:00.79
smack/array2 Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:04:29 GMT 2015 0 valid 29632kb 534 jenkins-slave 0.97 0:01.03
smack/array3 Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:04:47 GMT 2015 0 valid 29672kb 936 jenkins-slave 1.13 0:01.18
smack/array4 Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:04:26 GMT 2015 0 valid 33412kb 936 jenkins-slave 1.27 0:01.35
smack/array_free Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:04:38 GMT 2015 0 valid 28500kb 248 jenkins-slave 0.79 0:00.84
smack/array_free1 Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:04:43 GMT 2015 0 valid 28544kb 248 jenkins-slave 0.79 0:00.86
smack/array_free2 Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:04:52 GMT 2015 0 valid 28604kb 248 jenkins-slave 0.82 0:00.86
smack/ase_example Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:04:55 GMT 2015 0 valid 28760kb 428 jenkins-slave 0.94 0:00.99
smack/dsa_test Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:04:29 GMT 2015 0 valid 28648kb 85 jenkins-slave 0.74 0:00.80
smack/dsa_test1 Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:04:28 GMT 2015 0 valid 28688kb 155 jenkins-slave 0.78 0:00.84
smack/dsa_test10 Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:04:59 GMT 2015 0 valid 30348kb 409 jenkins-slave 0.99 0:01.06
smack/dsa_test11 Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:04:54 GMT 2015 0 valid 28848kb 148 jenkins-slave 0.78 0:00.83
smack/dsa_test12 Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:04:51 GMT 2015 0 valid 6484kb 50 jenkins-slave 0.00 0:00.01
smack/dsa_test13 Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:04:25 GMT 2015 0 valid 6032kb 39 jenkins-slave 0.00 0:00.01
smack/dsa_test14 Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:04:34 GMT 2015 0 valid 6436kb 43 jenkins-slave 0.00 0:00.02
smack/dsa_test15 Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:04:47 GMT 2015 0 valid 29004kb 389 jenkins-slave 0.96 0:01.02
smack/dsa_test2 Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:04:43 GMT 2015 0 valid 6504kb 47 jenkins-slave 0.02 0:00.03
smack/dsa_test3 Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:04:58 GMT 2015 0 valid 28688kb 155 jenkins-slave 0.77 0:00.83
smack/dsa_test4 Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:04:58 GMT 2015 0 valid 29124kb 115 jenkins-slave 0.79 0:00.86
smack/dsa_test5 Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:04:36 GMT 2015 0 valid 29648kb 132 jenkins-slave 0.81 0:00.85
smack/dsa_test6 Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:04:33 GMT 2015 0 valid 29536kb 230 jenkins-slave 0.88 0:00.93
smack/dsa_test7 Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:04:41 GMT 2015 0 valid 6612kb 56 jenkins-slave 0.02 0:00.03
smack/dsa_test8 Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:05:02 GMT 2015 0 valid 28480kb 116 jenkins-slave 0.76 0:00.80
smack/dsa_test9 Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:04:37 GMT 2015 0 valid 28688kb 119 jenkins-slave 0.68 0:00.74
smack/simple Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:04:40 GMT 2015 0 valid 6036kb 36 jenkins-slave 0.00 0:00.02
smack/simple_double_free Property VIOLATED profiling-release_5.0_r5112-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 Thu Jan 29 12:04:32 GMT 2015 10 invalid 28580kb 92 jenkins-slave 0.72 0:00.78
smack/simple_fail Property VIOLATED profiling-release_5.0_r5112-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 Thu Jan 29 12:04:31 GMT 2015 10 invalid 6304kb 34 jenkins-slave 0.01 0:00.02
smack/simple_pre Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:04:55 GMT 2015 0 valid 6032kb 38 jenkins-slave 0.00 0:00.02
smack/simple_pre1 Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:04:47 GMT 2015 0 valid 6032kb 39 jenkins-slave 0.01 0:00.02
smack/simple_pre2 Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:04:26 GMT 2015 0 valid 6380kb 40 jenkins-slave 0.01 0:00.02
smack/simple_pre3 Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:04:51 GMT 2015 0 valid 6036kb 38 jenkins-slave 0.00 0:00.02
smack/two_arrays Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:04:50 GMT 2015 0 valid 32040kb 3254 jenkins-slave 1.95 0:02.02
smack/two_arrays1 Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:04:56 GMT 2015 0 valid 53104kb 4268 jenkins-slave 3.46 0:03.56
smack/two_arrays2 Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:04:46 GMT 2015 0 valid 53072kb 4270 jenkins-slave 3.51 0:03.61
smack/two_arrays6 Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:04:37 GMT 2015 0 valid 53084kb 4273 jenkins-slave 3.42 0:03.49
smack/vmcai_bytes Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:04:44 GMT 2015 0 valid 6492kb 38 jenkins-slave 0.01 0:00.02
smack/vmcai_struct Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:04:33 GMT 2015 0 valid 28500kb 81 jenkins-slave 0.75 0:00.82
snu/bs Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:15:30 GMT 2015 0 valid 6688kb 80 jenkins-slave 0.03 0:00.04
snu/crc Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:15:18 GMT 2015 0 valid 46516kb 17242 jenkins-slave 14.16 0:14.26
snu/fibcall Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:15:15 GMT 2015 0 valid 6824kb 259 jenkins-slave 0.05 0:00.06
snu/insertsort Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:15:26 GMT 2015 0 valid 13356kb 1149 jenkins-slave 0.84 0:00.86
snu/jfdctint Property VIOLATED profiling-release_5.0_r5112-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 Thu Jan 29 12:15:20 GMT 2015 10 invalid 23672kb 2498 jenkins-slave 2.69 0:02.73
snu/matmul Property VIOLATED profiling-release_5.0_r5112-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 Thu Jan 29 12:15:14 GMT 2015 10 invalid 16520kb 3223 jenkins-slave 2.94 0:02.98
urbiva/bitcount16 Property VIOLATED profiling-release_5.0_r5112-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 Thu Jan 29 12:15:07 GMT 2015 10 invalid 7344kb 182 jenkins-slave 0.09 0:00.10
urbiva/bitcount32 Property VIOLATED profiling-release_5.0_r5112-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 Thu Jan 29 12:15:07 GMT 2015 10 invalid 8084kb 293 jenkins-slave 0.13 0:00.15
urbiva/fermat Property VIOLATED profiling-release_5.0_r5112-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 Thu Jan 29 12:14:55 GMT 2015 10 invalid 24116kb 130 jenkins-slave 0.55 0:00.59
urbiva/graycode Property VIOLATED profiling-release_5.0_r5112-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 Thu Jan 29 12:15:03 GMT 2015 10 invalid 28780kb 175 jenkins-slave 0.82 0:00.87
urbiva/magic Property VIOLATED profiling-release_5.0_r5112-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 Thu Jan 29 12:14:59 GMT 2015 10 invalid 29004kb 228 jenkins-slave 0.88 0:00.93
urbiva/matrixsqrt Property VIOLATED profiling-release_5.0_r5112-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 Thu Jan 29 12:14:50 GMT 2015 10 invalid 52488kb 465 jenkins-slave 2.19 0:02.28
urbiva/queens Property VIOLATED profiling-release_5.0_r5112-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 Thu Jan 29 12:14:56 GMT 2015 10 invalid 35180kb 4010 jenkins-slave 2.95 0:03.01
urbiva/send-more-money Property VIOLATED profiling-release_5.0_r5112-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 Thu Jan 29 12:15:10 GMT 2015 10 invalid 11996kb 71 jenkins-slave 0.25 0:00.27
urbiva/sort Property VIOLATED profiling-release_5.0_r5112-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 Thu Jan 29 12:15:02 GMT 2015 10 invalid 29892kb 2477 jenkins-slave 1.92 0:01.98
urbiva/sudoku Property VIOLATED profiling-release_5.0_r5112-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 Thu Jan 29 12:15:11 GMT 2015 10 invalid 29624kb 208 jenkins-slave 0.90 0:00.94
wcet/adpcm Property VIOLATED profiling-release_5.0_r5112-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 Thu Jan 29 12:14:02 GMT 2015 10 invalid 13928kb 1220 jenkins-slave 0.57 0:00.59
wcet/bs Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:14:46 GMT 2015 0 valid 6696kb 91 jenkins-slave 0.04 0:00.04
wcet/bsort100 Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:13:11 GMT 2015 0 valid 496448kb 115798 jenkins-slave 95.48 1:36.10
wcet/cnt Property VIOLATED profiling-release_5.0_r5112-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 Thu Jan 29 12:13:44 GMT 2015 10 invalid 31084kb 5040 jenkins-slave 3.06 0:03.10
wcet/compress Property VIOLATED profiling-release_5.0_r5112-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 Thu Jan 29 12:14:43 GMT 2015 10 invalid 11676kb 574 jenkins-slave 0.39 0:00.42
wcet/cover Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:14:06 GMT 2015 0 valid 9460kb 1325 jenkins-slave 1.79 0:01.82
wcet/crc Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:13:46 GMT 2015 0 valid 46520kb 17242 jenkins-slave 14.25 0:14.33
wcet/duff Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:14:08 GMT 2015 0 valid 12252kb 1753 jenkins-slave 2.62 0:02.65
wcet/edn Property VIOLATED profiling-release_5.0_r5112-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 Thu Jan 29 12:14:21 GMT 2015 10 invalid 27736kb 1446 jenkins-slave 2.48 0:02.52
wcet/expint Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:14:14 GMT 2015 0 valid 9000kb 1477 jenkins-slave 0.44 0:00.46
wcet/fac Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:13:40 GMT 2015 0 valid 6876kb 301 jenkins-slave 0.05 0:00.06
wcet/fdct Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:13:30 GMT 2015 0 valid 14592kb 2718 jenkins-slave 2.39 0:02.40
wcet/fibcall Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:13:43 GMT 2015 0 valid 6808kb 256 jenkins-slave 0.04 0:00.06
wcet/fir ERROR profiling-release_5.0_r5112-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 Thu Jan 29 12:14:21 GMT 2015 unknown po (0) jenkins-slave
wcet/insertsort Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:13:59 GMT 2015 0 valid 7444kb 475 jenkins-slave 0.21 0:00.23
wcet/janne_complex Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:13:56 GMT 2015 0 valid 6668kb 185 jenkins-slave 0.04 0:00.06
wcet/jfdctint Property VIOLATED profiling-release_5.0_r5112-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 Thu Jan 29 12:13:50 GMT 2015 10 invalid 23608kb 2492 jenkins-slave 2.67 0:02.71
wcet/loop3 Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:14:03 GMT 2015 0 valid 12676kb 3401 jenkins-slave 0.72 0:00.74
wcet/matmult ERROR profiling-release_5.0_r5112-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 Thu Jan 29 12:14:27 GMT 2015 unknown po (0) jenkins-slave
wcet/minmax Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:14:17 GMT 2015 0 valid 6760kb 91 jenkins-slave 0.03 0:00.04
wcet/ndes Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:14:07 GMT 2015 0 valid 150776kb 37064 jenkins-slave 31.75 0:31.99
wcet/ns Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:14:49 GMT 2015 0 valid 11200kb 3324 jenkins-slave 2.62 0:02.64
wcet/nsichneu Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:14:17 GMT 2015 0 valid 28964kb 2194 jenkins-slave 1.59 0:01.63
wcet/prime Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:14:11 GMT 2015 0 valid 13644kb 6146 jenkins-slave 2.22 0:02.25
wcet/recursion Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:13:07 GMT 2015 0 valid 10304kb 2294 jenkins-slave 0.56 0:00.58
wcet/select Property VIOLATED profiling-release_5.0_r5112-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 Thu Jan 29 12:13:40 GMT 2015 10 invalid 7372kb 117 jenkins-slave 0.08 0:00.09
wcet/statemate Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:13:36 GMT 2015 0 valid 9284kb 861 jenkins-slave 0.33 0:00.35
wcet/ud Property HOLDS profiling-release_5.0_r5112-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 Thu Jan 29 12:13:52 GMT 2015 0 valid 424824kb 1512 jenkins-slave 12.32 0:12.85
The benchmarks were run on a Linux 3.2.0-4-amd64 64x AMD Opteron(tm) Processor 6380 @@2500.162MHz system equipped with 264656428kb RAM.