* profiling-release_4.4_r2764-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 51;profiling-release_4.4_r2764-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 5;profiling-release_4.4_r2764-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 1025;profiling-release_4.4_r2764-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 18;profiling-release_4.4_r2764-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function simpleWhile --unwind 1001;profiling-release_4.4_r2764-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 20;profiling-release_4.4_r2764-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --unwind 6;profiling-release_4.4_r2764-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --unwind 11;profiling-release_4.4_r2764-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 17;profiling-release_4.4_r2764-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --unwind 4;profiling-release_4.4_r2764-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 3;profiling-release_4.4_r2764-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 15;profiling-release_4.4_r2764-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --unwind 10;profiling-release_4.4_r2764-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --unwind 101;profiling-release_4.4_r2764-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main;profiling-release_4.4_r2764-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 12;profiling-release_4.4_r2764-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check;profiling-release_4.4_r2764-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 6;profiling-release_4.4_r2764-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 9;profiling-release_4.4_r2764-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 101;profiling-release_4.4_r2764-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 1001;profiling-release_4.4_r2764-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 10;profiling-release_4.4_r2764-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 19;profiling-release_4.4_r2764-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 27;profiling-release_4.4_r2764-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 24;profiling-release_4.4_r2764-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 1;profiling-release_4.4_r2764-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 358;profiling-release_4.4_r2764-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 7;profiling-release_4.4_r2764-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 257;profiling-release_4.4_r2764-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 14;profiling-release_4.4_r2764-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 13;profiling-release_4.4_r2764-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --no-unwinding-assertions;profiling-release_4.4_r2764-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --unwind 1001;profiling-release_4.4_r2764-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function intSqRoot --unwind 201;profiling-release_4.4_r2764-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --unwind 17;profiling-release_4.4_r2764-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 201;profiling-release_4.4_r2764-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 50;profiling-release_4.4_r2764-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 100;profiling-release_4.4_r2764-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 31;profiling-release_4.4_r2764-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 11;profiling-release_4.4_r2764-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 16;profiling-release_4.4_r2764-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 21;profiling-release_4.4_r2764-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 8;profiling-release_4.4_r2764-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 1001 --no-unwinding-assertions version 4.4 results *
Timeout: 120s Memory limit: unlimitedkb
Sun Aug 17 16:42:09 2014
Benchmark Result commandline date exitcode expected maxmem ssa-size user usertime wallclock
anonymous/bubbleSort Property HOLDS profiling-release_4.4_r2764-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:23:14 BST 2014 0 valid 93980kb 1256 jenkins-slave 4.74 0:04.84
anonymous/intSqRoot Property HOLDS profiling-release_4.4_r2764-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:23:06 BST 2014 0 valid 1906580kb 3857 jenkins-slave 83.22 1:25.76
anonymous/selectSort TIMEOUT profiling-release_4.4_r2764-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:21:41 BST 2014 124 unknown 2399560kb 830 jenkins-slave 116.54 2:00.53
anonymous/simpleWhile Property HOLDS profiling-release_4.4_r2764-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:23:23 BST 2014 0 valid 202436kb 9042 jenkins-slave 47.60 0:47.81
eureka/Prim_4 Property HOLDS profiling-release_4.4_r2764-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:15:34 BST 2014 0 valid 15252kb 2025 jenkins-slave 0.56 0:00.58
eureka/Prim_5 Property HOLDS profiling-release_4.4_r2764-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:15:34 BST 2014 0 valid 19200kb 2631 jenkins-slave 0.79 0:00.81
eureka/Prim_6 Property HOLDS profiling-release_4.4_r2764-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:15:15 BST 2014 0 valid 23436kb 3297 jenkins-slave 2.10 0:02.13
eureka/Prim_7 Property HOLDS profiling-release_4.4_r2764-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:15:26 BST 2014 0 valid 28756kb 4023 jenkins-slave 2.65 0:02.70
eureka/Prim_8 Property HOLDS profiling-release_4.4_r2764-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:15:19 BST 2014 0 valid 34296kb 4809 jenkins-slave 1.65 0:01.68
eureka/array_init Property HOLDS profiling-release_4.4_r2764-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:15:11 BST 2014 0 valid 6632kb 94 jenkins-slave 0.05 0:00.07
eureka/array_init_assign Property HOLDS profiling-release_4.4_r2764-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:15:08 BST 2014 0 valid 6500kb 61 jenkins-slave 0.03 0:00.04
eureka/bf10 Property HOLDS profiling-release_4.4_r2764-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:15:14 BST 2014 0 valid 11296kb 931 jenkins-slave 0.66 0:00.68
eureka/bf11 Property HOLDS profiling-release_4.4_r2764-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:15:26 BST 2014 0 valid 12536kb 1007 jenkins-slave 0.47 0:00.49
eureka/bf12 Property HOLDS profiling-release_4.4_r2764-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:15:31 BST 2014 0 valid 12560kb 1083 jenkins-slave 1.02 0:01.04
eureka/bf13 Property HOLDS profiling-release_4.4_r2764-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:15:17 BST 2014 0 valid 13368kb 1159 jenkins-slave 1.13 0:01.15
eureka/bf14 Property HOLDS profiling-release_4.4_r2764-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:15:33 BST 2014 0 valid 14032kb 1235 jenkins-slave 0.60 0:00.62
eureka/bf15 Property HOLDS profiling-release_4.4_r2764-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:15:21 BST 2014 0 valid 13968kb 1311 jenkins-slave 0.64 0:00.65
eureka/bf16 Property HOLDS profiling-release_4.4_r2764-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:15:08 BST 2014 0 valid 14656kb 1387 jenkins-slave 1.35 0:01.38
eureka/bf17 Property HOLDS profiling-release_4.4_r2764-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:15:28 BST 2014 0 valid 15752kb 1463 jenkins-slave 0.72 0:00.75
eureka/bf18 Property HOLDS profiling-release_4.4_r2764-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:15:29 BST 2014 0 valid 16112kb 1539 jenkins-slave 1.53 0:01.57
eureka/bf19 Property HOLDS profiling-release_4.4_r2764-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:15:20 BST 2014 0 valid 16584kb 1615 jenkins-slave 0.81 0:00.83
eureka/bf20 Property HOLDS profiling-release_4.4_r2764-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:15:31 BST 2014 0 valid 18256kb 1691 jenkins-slave 0.90 0:00.90
eureka/bf5 Property HOLDS profiling-release_4.4_r2764-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:15:32 BST 2014 0 valid 9068kb 551 jenkins-slave 0.43 0:00.44
eureka/bf6 Property HOLDS profiling-release_4.4_r2764-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:15:35 BST 2014 0 valid 9600kb 627 jenkins-slave 0.27 0:00.28
eureka/bf7 Property HOLDS profiling-release_4.4_r2764-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:15:22 BST 2014 0 valid 10028kb 703 jenkins-slave 0.55 0:00.57
eureka/bf8 Property HOLDS profiling-release_4.4_r2764-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:15:08 BST 2014 0 valid 10400kb 779 jenkins-slave 0.68 0:00.70
eureka/bf9 Property HOLDS profiling-release_4.4_r2764-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:15:25 BST 2014 0 valid 11212kb 855 jenkins-slave 0.78 0:00.80
eureka/bubblesort Property VIOLATED profiling-release_4.4_r2764-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:15:18 BST 2014 10 invalid 6804kb 151 jenkins-slave 0.06 0:00.07
eureka/bubblesort_inner_loop Property VIOLATED profiling-release_4.4_r2764-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:15:13 BST 2014 10 invalid 6532kb 72 jenkins-slave 0.07 0:00.08
eureka/complex_guard Property HOLDS profiling-release_4.4_r2764-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:15:11 BST 2014 0 valid 6600kb 64 jenkins-slave 0.03 0:00.05
eureka/loop_on_input Property VIOLATED profiling-release_4.4_r2764-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:15:12 BST 2014 10 invalid 7648kb 91 jenkins-slave 0.03 0:00.04
eureka/sequential_swap Property HOLDS profiling-release_4.4_r2764-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:15:24 BST 2014 0 valid 6032kb 65 jenkins-slave 0.01 0:00.02
eureka/simple_array_inversion Property HOLDS profiling-release_4.4_r2764-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:15:08 BST 2014 0 valid 6488kb 54 jenkins-slave 0.04 0:00.05
eureka/simple_control_on_input Property VIOLATED profiling-release_4.4_r2764-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:15:24 BST 2014 10 invalid 44216kb 338 jenkins-slave 0.76 0:00.78
eureka/simple_swap_call Property HOLDS profiling-release_4.4_r2764-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:15:16 BST 2014 0 valid 6032kb 47 jenkins-slave 0.02 0:00.03
eureka/wrong_loop Property VIOLATED profiling-release_4.4_r2764-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:15:14 BST 2014 10 invalid 6460kb 78 jenkins-slave 0.04 0:00.05
necla/ex1 Property HOLDS profiling-release_4.4_r2764-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:20:33 BST 2014 0 valid 100348kb 7718 jenkins-slave 39.01 0:39.12
necla/ex10 Property VIOLATED profiling-release_4.4_r2764-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:21:22 BST 2014 10 invalid 16480kb 583 jenkins-slave 0.59 0:00.63
necla/ex11 Property HOLDS profiling-release_4.4_r2764-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:20:46 BST 2014 0 valid 254364kb 12293 jenkins-slave 21.47 0:21.80
necla/ex12 Property VIOLATED profiling-release_4.4_r2764-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:20:15 BST 2014 10 invalid 6828kb 92 jenkins-slave 0.07 0:00.10
necla/ex13 Property VIOLATED profiling-release_4.4_r2764-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:18:53 BST 2014 10 invalid 6924kb 31 jenkins-slave 0.03 0:00.05
necla/ex14 Property HOLDS profiling-release_4.4_r2764-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:20:41 BST 2014 0 valid 6764kb 102 jenkins-slave 0.07 0:00.07
necla/ex15 Property HOLDS profiling-release_4.4_r2764-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:20:56 BST 2014 0 valid 7544kb 113 jenkins-slave 0.15 0:00.17
necla/ex16 Property HOLDS profiling-release_4.4_r2764-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:18:24 BST 2014 0 valid 15484kb 5070 jenkins-slave 1.08 0:01.09
necla/ex17 Property HOLDS profiling-release_4.4_r2764-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:20:42 BST 2014 0 valid 31960kb 644 jenkins-slave 0.95 0:01.00
necla/ex18 Property HOLDS profiling-release_4.4_r2764-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:16:41 BST 2014 0 valid 1437672kb 2317 jenkins-slave 63.60 1:06.08
necla/ex19 TIMEOUT profiling-release_4.4_r2764-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:21:04 BST 2014 124 invalid 398156kb 9048 jenkins-slave 119.53 2:00.07
necla/ex2 TIMEOUT profiling-release_4.4_r2764-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:16:19 BST 2014 124 unknown 5545344kb 12117 jenkins-slave 114.57 2:00.78
necla/ex20 TIMEOUT profiling-release_4.4_r2764-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:19:09 BST 2014 124 invalid 323748kb 9281 jenkins-slave 119.53 2:00.07
necla/ex21 Property HOLDS profiling-release_4.4_r2764-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:19:09 BST 2014 0 valid 29696kb 3537 jenkins-slave 8.33 0:08.40
necla/ex22 Property HOLDS profiling-release_4.4_r2764-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:18:31 BST 2014 0 valid 14392kb 933 jenkins-slave 3.38 0:03.40
necla/ex23 Property HOLDS profiling-release_4.4_r2764-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:20:18 BST 2014 0 valid 369108kb 366 jenkins-slave 14.93 0:15.43
necla/ex26 Property VIOLATED profiling-release_4.4_r2764-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:18:28 BST 2014 10 invalid 133476kb 6687 jenkins-slave 21.86 0:22.07
necla/ex27 Property VIOLATED profiling-release_4.4_r2764-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:19:25 BST 2014 10 invalid 53616kb 3275 jenkins-slave 15.18 0:15.29
necla/ex29 Property HOLDS profiling-release_4.4_r2764-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:19:01 BST 2014 0 valid 25004kb 902 jenkins-slave 4.44 0:04.50
necla/ex3 Property VIOLATED profiling-release_4.4_r2764-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:20:37 BST 2014 10 invalid 7116kb 102 jenkins-slave 0.06 0:00.07
necla/ex30 ERROR profiling-release_4.4_r2764-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:19:53 BST 2014 10 unknown 53428kb 5141 jenkins-slave 17.40 0:17.50
necla/ex31 Property HOLDS profiling-release_4.4_r2764-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:19:44 BST 2014 0 valid 6544kb 77 jenkins-slave 0.06 0:00.07
necla/ex32 Property HOLDS profiling-release_4.4_r2764-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:16:19 BST 2014 0 valid 1556708kb 10051 jenkins-slave 17.65 0:18.60
necla/ex33 TIMEOUT profiling-release_4.4_r2764-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:16:23 BST 2014 124 unknown 2108876kb jenkins-slave 118.55 2:00.39
necla/ex34 Property HOLDS profiling-release_4.4_r2764-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:18:22 BST 2014 0 valid 10812kb 135 jenkins-slave 0.10 0:00.11
necla/ex36_free TIMEOUT profiling-release_4.4_r2764-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:18:38 BST 2014 124 unknown 901692kb jenkins-slave 118.97 2:00.23
necla/ex36_read TIMEOUT profiling-release_4.4_r2764-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:18:26 BST 2014 124 unknown 814044kb jenkins-slave 118.95 2:00.15
necla/ex37 Property HOLDS profiling-release_4.4_r2764-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:21:00 BST 2014 0 valid 22728kb 64 jenkins-slave 0.57 0:00.63
necla/ex4 Property VIOLATED profiling-release_4.4_r2764-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:18:57 BST 2014 10 invalid 7832kb 394 jenkins-slave 0.19 0:00.20
necla/ex40 Property VIOLATED profiling-release_4.4_r2764-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:21:16 BST 2014 10 invalid 63908kb 1254 jenkins-slave 2.58 0:02.70
necla/ex43 Property VIOLATED profiling-release_4.4_r2764-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:16:21 BST 2014 10 invalid 830208kb 8095 jenkins-slave 35.47 0:36.32
necla/ex46 Property VIOLATED profiling-release_4.4_r2764-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:21:28 BST 2014 10 invalid 154532kb 293 jenkins-slave 4.24 0:04.43
necla/ex47 Property VIOLATED profiling-release_4.4_r2764-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:21:26 BST 2014 10 invalid 124476kb 284 jenkins-slave 4.57 0:04.76
necla/ex49 Property HOLDS profiling-release_4.4_r2764-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:17:51 BST 2014 0 valid 226356kb 9043 jenkins-slave 36.04 0:36.30
necla/ex5 Property HOLDS profiling-release_4.4_r2764-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:20:45 BST 2014 0 valid 6544kb 34 jenkins-slave 0.02 0:00.03
necla/ex6 Property HOLDS profiling-release_4.4_r2764-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:19:21 BST 2014 0 valid 6032kb 45 jenkins-slave 0.02 0:00.04
necla/ex7 TIMEOUT profiling-release_4.4_r2764-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:17:05 BST 2014 124 unknown 5663008kb 11103 jenkins-slave 114.89 2:01.48
necla/ex8 TIMEOUT profiling-release_4.4_r2764-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:21:12 BST 2014 124 unknown 369196kb jenkins-slave 119.72 2:00.12
necla/ex9 Property HOLDS profiling-release_4.4_r2764-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:19:48 BST 2014 0 valid 42180kb 369 jenkins-slave 2.10 0:02.20
necla/inf1 Property VIOLATED profiling-release_4.4_r2764-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:17:01 BST 2014 10 invalid 6824kb 56 jenkins-slave 0.03 0:00.03
necla/inf3 Property HOLDS profiling-release_4.4_r2764-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:21:12 BST 2014 0 valid 594328kb 803 jenkins-slave 12.64 0:13.18
necla/inf4 Property VIOLATED profiling-release_4.4_r2764-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:20:52 BST 2014 10 invalid 8076kb 134 jenkins-slave 0.10 0:00.11
necla/inf5 Property VIOLATED profiling-release_4.4_r2764-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:20:29 BST 2014 10 invalid 7072kb 113 jenkins-slave 0.06 0:00.07
necla/inf6 Property HOLDS profiling-release_4.4_r2764-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:16:18 BST 2014 0 valid 6580kb 68 jenkins-slave 0.01 0:00.02
necla/inf8 Property HOLDS profiling-release_4.4_r2764-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:20:48 BST 2014 0 valid 6704kb 101 jenkins-slave 0.04 0:00.04
queue/queue_1 Property HOLDS profiling-release_4.4_r2764-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:21:36 BST 2014 0 valid 6628kb 81 jenkins-slave 0.02 0:00.02
queue/queue_10 Property HOLDS profiling-release_4.4_r2764-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:21:39 BST 2014 0 valid 7680kb 450 jenkins-slave 0.19 0:00.21
queue/queue_100 Property HOLDS profiling-release_4.4_r2764-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:21:33 BST 2014 0 valid 36104kb 4140 jenkins-slave 1.84 0:01.88
queue/queue_1000 TIMEOUT profiling-release_4.4_r2764-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:21:39 BST 2014 124 unknown 70692kb jenkins-slave 119.87 2:00.01
slayer/ex1 Property VIOLATED profiling-release_4.4_r2764-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:16:14 BST 2014 10 invalid 21880kb 39 jenkins-slave 0.25 0:00.29
slayer/ex2 Property VIOLATED profiling-release_4.4_r2764-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:16:10 BST 2014 10 valid 6332kb 30 jenkins-slave 0.01 0:00.01
slayer/ex3 Property VIOLATED profiling-release_4.4_r2764-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:16:15 BST 2014 10 invalid 21980kb 101 jenkins-slave 0.53 0:00.57
slayer/ex5 Property HOLDS profiling-release_4.4_r2764-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:16:16 BST 2014 0 valid 22072kb 68 jenkins-slave 0.27 0:00.30
slayer/ex6 Property VIOLATED profiling-release_4.4_r2764-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:16:11 BST 2014 10 invalid 22568kb 90 jenkins-slave 0.29 0:00.33
slayer/ex7 Property HOLDS profiling-release_4.4_r2764-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:16:11 BST 2014 0 valid 22548kb 361 jenkins-slave 0.34 0:00.36
slayer/ex8 Property HOLDS profiling-release_4.4_r2764-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:16:18 BST 2014 0 valid 59160kb 883 jenkins-slave 1.71 0:01.79
slayer/ex9 Property HOLDS profiling-release_4.4_r2764-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:16:12 BST 2014 0 valid 60008kb 1500 jenkins-slave 3.23 0:03.33
smack/array Property HOLDS profiling-release_4.4_r2764-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:15:36 BST 2014 0 valid 22044kb 63 jenkins-slave 0.28 0:00.30
smack/array1 Property HOLDS profiling-release_4.4_r2764-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:15:51 BST 2014 0 valid 22304kb 68 jenkins-slave 0.57 0:00.61
smack/array2 Property HOLDS profiling-release_4.4_r2764-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:15:39 BST 2014 0 valid 23700kb 421 jenkins-slave 1.69 0:01.73
smack/array3 Property HOLDS profiling-release_4.4_r2764-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:15:56 BST 2014 0 valid 23744kb 728 jenkins-slave 1.36 0:01.39
smack/array4 Property HOLDS profiling-release_4.4_r2764-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:15:37 BST 2014 0 valid 27292kb 728 jenkins-slave 1.69 0:01.73
smack/array_free Property HOLDS profiling-release_4.4_r2764-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:15:47 BST 2014 0 valid 21976kb 501 jenkins-slave 0.42 0:00.45
smack/array_free1 Property HOLDS profiling-release_4.4_r2764-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:15:53 BST 2014 0 valid 22020kb 501 jenkins-slave 0.35 0:00.38
smack/array_free2 Property HOLDS profiling-release_4.4_r2764-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:16:02 BST 2014 0 valid 22044kb 501 jenkins-slave 0.35 0:00.38
smack/ase_example Property HOLDS profiling-release_4.4_r2764-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:16:05 BST 2014 0 valid 22344kb 329 jenkins-slave 0.81 0:00.82
smack/dsa_test Property HOLDS profiling-release_4.4_r2764-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:15:41 BST 2014 0 valid 22104kb 70 jenkins-slave 0.53 0:00.58
smack/dsa_test1 Property HOLDS profiling-release_4.4_r2764-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:15:39 BST 2014 0 valid 22156kb 127 jenkins-slave 0.32 0:00.35
smack/dsa_test10 Property HOLDS profiling-release_4.4_r2764-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:16:08 BST 2014 0 valid 24276kb 297 jenkins-slave 0.94 0:00.97
smack/dsa_test11 Property HOLDS profiling-release_4.4_r2764-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:16:02 BST 2014 0 valid 22276kb 124 jenkins-slave 0.29 0:00.32
smack/dsa_test12 Property HOLDS profiling-release_4.4_r2764-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:16:00 BST 2014 0 valid 6032kb 38 jenkins-slave 0.02 0:00.02
smack/dsa_test13 Property HOLDS profiling-release_4.4_r2764-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:15:37 BST 2014 0 valid 6032kb 33 jenkins-slave 0.01 0:00.01
smack/dsa_test14 Property HOLDS profiling-release_4.4_r2764-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:15:45 BST 2014 0 valid 6032kb 34 jenkins-slave 0.02 0:00.03
smack/dsa_test15 Property HOLDS profiling-release_4.4_r2764-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:15:57 BST 2014 0 valid 22868kb 283 jenkins-slave 0.86 0:00.88
smack/dsa_test2 Property HOLDS profiling-release_4.4_r2764-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:15:53 BST 2014 0 valid 6140kb 35 jenkins-slave 0.02 0:00.03
smack/dsa_test3 Property HOLDS profiling-release_4.4_r2764-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:16:07 BST 2014 0 valid 22196kb 127 jenkins-slave 0.30 0:00.34
smack/dsa_test4 Property HOLDS profiling-release_4.4_r2764-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:16:05 BST 2014 0 valid 22696kb 85 jenkins-slave 0.40 0:00.43
smack/dsa_test5 Property HOLDS profiling-release_4.4_r2764-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:15:46 BST 2014 0 valid 23004kb 106 jenkins-slave 0.36 0:00.39
smack/dsa_test6 Property HOLDS profiling-release_4.4_r2764-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:15:43 BST 2014 0 valid 23360kb 171 jenkins-slave 0.58 0:00.61
smack/dsa_test7 Property HOLDS profiling-release_4.4_r2764-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:15:49 BST 2014 0 valid 6236kb 38 jenkins-slave 0.02 0:00.03
smack/dsa_test8 Property HOLDS profiling-release_4.4_r2764-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:16:08 BST 2014 0 valid 21956kb 83 jenkins-slave 0.28 0:00.32
smack/dsa_test9 Property HOLDS profiling-release_4.4_r2764-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:15:46 BST 2014 0 valid 22132kb 95 jenkins-slave 0.31 0:00.34
smack/simple Property HOLDS profiling-release_4.4_r2764-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:15:49 BST 2014 0 valid 6032kb 30 jenkins-slave 0.00 0:00.01
smack/simple_double_free Property VIOLATED profiling-release_4.4_r2764-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:15:43 BST 2014 10 invalid 22028kb 78 jenkins-slave 0.28 0:00.32
smack/simple_fail Property VIOLATED profiling-release_4.4_r2764-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:15:41 BST 2014 10 invalid 6276kb 28 jenkins-slave 0.00 0:00.01
smack/simple_pre Property HOLDS profiling-release_4.4_r2764-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:16:05 BST 2014 0 valid 6032kb 31 jenkins-slave 0.00 0:00.01
smack/simple_pre1 Property HOLDS profiling-release_4.4_r2764-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:15:55 BST 2014 0 valid 6032kb 32 jenkins-slave 0.00 0:00.01
smack/simple_pre2 Property HOLDS profiling-release_4.4_r2764-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:15:38 BST 2014 0 valid 6332kb 33 jenkins-slave 0.01 0:00.01
smack/simple_pre3 Property HOLDS profiling-release_4.4_r2764-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:16:00 BST 2014 0 valid 6032kb 31 jenkins-slave 0.00 0:00.01
smack/two_arrays Property HOLDS profiling-release_4.4_r2764-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:15:58 BST 2014 0 valid 27696kb 2350 jenkins-slave 4.52 0:04.56
smack/two_arrays1 Property HOLDS profiling-release_4.4_r2764-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:16:05 BST 2014 0 valid 47888kb 3168 jenkins-slave 7.63 0:07.67
smack/two_arrays2 Property HOLDS profiling-release_4.4_r2764-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:15:55 BST 2014 0 valid 47932kb 3170 jenkins-slave 7.62 0:07.67
smack/two_arrays6 Property HOLDS profiling-release_4.4_r2764-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:15:46 BST 2014 0 valid 47984kb 3173 jenkins-slave 7.61 0:07.66
smack/vmcai_bytes Property HOLDS profiling-release_4.4_r2764-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:15:54 BST 2014 0 valid 6432kb 31 jenkins-slave 0.01 0:00.02
smack/vmcai_struct Property HOLDS profiling-release_4.4_r2764-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:15:44 BST 2014 0 valid 21968kb 63 jenkins-slave 0.28 0:00.31
snu/bs Property HOLDS profiling-release_4.4_r2764-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:27:13 BST 2014 0 valid 6680kb 91 jenkins-slave 0.02 0:00.03
snu/crc Property HOLDS profiling-release_4.4_r2764-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:26:45 BST 2014 0 valid 75648kb 22278 jenkins-slave 33.56 0:33.73
snu/fibcall Property HOLDS profiling-release_4.4_r2764-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:26:42 BST 2014 0 valid 7068kb 282 jenkins-slave 0.08 0:00.09
snu/insertsort Property HOLDS profiling-release_4.4_r2764-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:27:07 BST 2014 0 valid 23612kb 1155 jenkins-slave 1.57 0:01.60
snu/jfdctint Property VIOLATED profiling-release_4.4_r2764-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:26:57 BST 2014 10 invalid 28816kb 2575 jenkins-slave 7.72 0:07.76
snu/matmul Property HOLDS profiling-release_4.4_r2764-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:26:39 BST 2014 0 invalid 17412kb 1455 jenkins-slave 14.08 0:14.10
urbiva/bitcount16 Property VIOLATED profiling-release_4.4_r2764-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:26:31 BST 2014 10 invalid 8212kb 192 jenkins-slave 0.22 0:00.23
urbiva/bitcount32 Property VIOLATED profiling-release_4.4_r2764-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:26:33 BST 2014 10 invalid 9284kb 319 jenkins-slave 0.36 0:00.38
urbiva/fermat Property VIOLATED profiling-release_4.4_r2764-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:26:13 BST 2014 10 invalid 46228kb 134 jenkins-slave 1.60 0:01.71
urbiva/graycode Property VIOLATED profiling-release_4.4_r2764-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:26:26 BST 2014 10 invalid 22356kb 162 jenkins-slave 0.94 0:00.98
urbiva/magic Property VIOLATED profiling-release_4.4_r2764-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:26:18 BST 2014 10 invalid 22620kb 223 jenkins-slave 1.18 0:01.22
urbiva/matrixsqrt Property VIOLATED profiling-release_4.4_r2764-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:26:05 BST 2014 10 invalid 78300kb 406 jenkins-slave 3.78 0:03.93
urbiva/queens Property VIOLATED profiling-release_4.4_r2764-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:26:13 BST 2014 10 invalid 31692kb 3418 jenkins-slave 9.52 0:09.57
urbiva/send-more-money Property VIOLATED profiling-release_4.4_r2764-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:26:35 BST 2014 10 invalid 17552kb 66 jenkins-slave 0.54 0:00.59
urbiva/sort Property VIOLATED profiling-release_4.4_r2764-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:26:23 BST 2014 10 invalid 23752kb 1965 jenkins-slave 5.97 0:06.03
urbiva/sudoku Property VIOLATED profiling-release_4.4_r2764-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:26:37 BST 2014 10 invalid 23396kb 228 jenkins-slave 0.98 0:01.05
wcet/adpcm Property VIOLATED profiling-release_4.4_r2764-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:24:42 BST 2014 10 invalid 15644kb 1297 jenkins-slave 0.71 0:00.72
wcet/bs Property HOLDS profiling-release_4.4_r2764-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:25:52 BST 2014 0 valid 6704kb 102 jenkins-slave 0.05 0:00.06
wcet/bsort100 TIMEOUT profiling-release_4.4_r2764-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:23:44 BST 2014 124 valid 135000kb jenkins-slave 119.77 2:00.04
wcet/cnt Property HOLDS profiling-release_4.4_r2764-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:24:10 BST 2014 0 invalid 36504kb 3759 jenkins-slave 9.44 0:09.48
wcet/compress Property VIOLATED profiling-release_4.4_r2764-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:25:47 BST 2014 10 invalid 12428kb 619 jenkins-slave 0.89 0:00.92
wcet/cover Property HOLDS profiling-release_4.4_r2764-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:24:47 BST 2014 0 valid 22840kb 36702 jenkins-slave 3.03 0:03.05
wcet/crc Property HOLDS profiling-release_4.4_r2764-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:24:14 BST 2014 0 valid 75612kb 22278 jenkins-slave 35.50 0:35.66
wcet/duff Property HOLDS profiling-release_4.4_r2764-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:24:54 BST 2014 0 valid 13320kb 1116 jenkins-slave 4.67 0:04.69
wcet/edn Property VIOLATED profiling-release_4.4_r2764-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:25:11 BST 2014 10 invalid 28848kb 743 jenkins-slave 8.07 0:08.13
wcet/expint Property HOLDS profiling-release_4.4_r2764-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:25:02 BST 2014 0 valid 11120kb 1926 jenkins-slave 1.59 0:01.62
wcet/fac Property HOLDS profiling-release_4.4_r2764-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:24:03 BST 2014 0 valid 7064kb 307 jenkins-slave 0.03 0:00.04
wcet/fdct Property HOLDS profiling-release_4.4_r2764-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:23:46 BST 2014 0 valid 17448kb 1996 jenkins-slave 10.22 0:10.26
wcet/fibcall Property HOLDS profiling-release_4.4_r2764-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:24:08 BST 2014 0 valid 7056kb 279 jenkins-slave 0.04 0:00.05
wcet/fir TIMEOUT profiling-release_4.4_r2764-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:25:10 BST 2014 124 unknown 1225080kb 8044 jenkins-slave 119.03 2:00.28
wcet/insertsort Property HOLDS profiling-release_4.4_r2764-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:24:38 BST 2014 0 valid 8644kb 535 jenkins-slave 0.32 0:00.33
wcet/janne_complex Property HOLDS profiling-release_4.4_r2764-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:24:36 BST 2014 0 valid 6828kb 297 jenkins-slave 0.04 0:00.05
wcet/jfdctint Property VIOLATED profiling-release_4.4_r2764-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:24:22 BST 2014 10 invalid 28468kb 2569 jenkins-slave 4.67 0:04.70
wcet/loop3 Property HOLDS profiling-release_4.4_r2764-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:24:45 BST 2014 0 valid 17404kb 4169 jenkins-slave 0.84 0:00.85
wcet/matmult TIMEOUT profiling-release_4.4_r2764-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:25:22 BST 2014 124 unknown 141148kb jenkins-slave 119.85 2:00.02
wcet/minmax Property HOLDS profiling-release_4.4_r2764-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:25:07 BST 2014 0 valid 6732kb 70 jenkins-slave 0.02 0:00.03
wcet/ndes Property HOLDS profiling-release_4.4_r2764-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:24:48 BST 2014 0 valid 219284kb 30716 jenkins-slave 80.86 1:21.30
wcet/ns Property HOLDS profiling-release_4.4_r2764-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:25:56 BST 2014 0 valid 15656kb 4485 jenkins-slave 7.16 0:07.20
wcet/nsichneu Property HOLDS profiling-release_4.4_r2764-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:25:02 BST 2014 0 valid 32612kb 3811 jenkins-slave 4.44 0:04.51
wcet/prime Property HOLDS profiling-release_4.4_r2764-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:24:54 BST 2014 0 valid 18848kb 6130 jenkins-slave 3.86 0:03.93
wcet/recursion Property HOLDS profiling-release_4.4_r2764-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:23:42 BST 2014 0 valid 12240kb 2234 jenkins-slave 0.42 0:00.44
wcet/select Property VIOLATED profiling-release_4.4_r2764-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:24:05 BST 2014 10 invalid 7624kb 125 jenkins-slave 0.09 0:00.10
wcet/statemate Property HOLDS profiling-release_4.4_r2764-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:24:00 BST 2014 0 valid 10772kb 1456 jenkins-slave 0.33 0:00.34
wcet/ud Property HOLDS profiling-release_4.4_r2764-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:24:29 BST 2014 0 valid 807188kb 1805 jenkins-slave 15.15 0:15.88
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.