* profiling-release_4.7_r3562-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 21;profiling-release_4.7_r3562-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --unwind 11;profiling-release_4.7_r3562-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function intSqRoot --unwind 201;profiling-release_4.7_r3562-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 50;profiling-release_4.7_r3562-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 6;profiling-release_4.7_r3562-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function simpleWhile --unwind 1001;profiling-release_4.7_r3562-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 9;profiling-release_4.7_r3562-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 51;profiling-release_4.7_r3562-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 257;profiling-release_4.7_r3562-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 101;profiling-release_4.7_r3562-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 27;profiling-release_4.7_r3562-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 1025;profiling-release_4.7_r3562-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 13;profiling-release_4.7_r3562-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --unwind 101;profiling-release_4.7_r3562-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --unwind 1001;profiling-release_4.7_r3562-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --unwind 4;profiling-release_4.7_r3562-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 17;profiling-release_4.7_r3562-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 5;profiling-release_4.7_r3562-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 1001 --no-unwinding-assertions;profiling-release_4.7_r3562-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 358;profiling-release_4.7_r3562-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 1;profiling-release_4.7_r3562-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 20;profiling-release_4.7_r3562-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 15;profiling-release_4.7_r3562-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 201;profiling-release_4.7_r3562-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 14;profiling-release_4.7_r3562-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 24;profiling-release_4.7_r3562-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 3;profiling-release_4.7_r3562-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 11;profiling-release_4.7_r3562-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main;profiling-release_4.7_r3562-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 19;profiling-release_4.7_r3562-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --unwind 6;profiling-release_4.7_r3562-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 7;profiling-release_4.7_r3562-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 16;profiling-release_4.7_r3562-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --unwind 10;profiling-release_4.7_r3562-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 12;profiling-release_4.7_r3562-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --no-unwinding-assertions;profiling-release_4.7_r3562-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check;profiling-release_4.7_r3562-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 18;profiling-release_4.7_r3562-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 100;profiling-release_4.7_r3562-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 31;profiling-release_4.7_r3562-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --unwind 17;profiling-release_4.7_r3562-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 1001;profiling-release_4.7_r3562-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 8;profiling-release_4.7_r3562-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 10 version 4.7 results *
Timeout: 120s Memory limit: unlimitedkb
Sun Aug 17 18:09:08 2014
Benchmark Result commandline date exitcode expected maxmem mt_max_constr ssa-size user usertime wallclock
anonymous/bubbleSort Property HOLDS profiling-release_4.7_r3562-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 17:48:24 BST 2014 0 valid 81884kb 1446 jenkins-slave 7.90 0:08.06
anonymous/intSqRoot Property HOLDS profiling-release_4.7_r3562-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 17:47:44 BST 2014 0 valid 1406620kb 3861 jenkins-slave 34.28 0:35.43
anonymous/selectSort TIMEOUT profiling-release_4.7_r3562-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 17:47:08 BST 2014 124 unknown 2442688kb 1030 jenkins-slave 117.25 2:00.56
anonymous/simpleWhile Property HOLDS profiling-release_4.7_r3562-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 17:48:25 BST 2014 0 valid 158196kb 8545 jenkins-slave 91.25 1:31.51
eureka/Prim_4 Property HOLDS profiling-release_4.7_r3562-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 17:40:47 BST 2014 0 valid 11972kb 1721 jenkins-slave 0.72 0:00.73
eureka/Prim_5 Property HOLDS profiling-release_4.7_r3562-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 17:40:46 BST 2014 0 valid 14380kb 2252 jenkins-slave 0.49 0:00.51
eureka/Prim_6 Property HOLDS profiling-release_4.7_r3562-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 17:40:28 BST 2014 0 valid 17340kb 2837 jenkins-slave 0.66 0:00.68
eureka/Prim_7 Property HOLDS profiling-release_4.7_r3562-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 17:40:39 BST 2014 0 valid 21220kb 3476 jenkins-slave 1.72 0:01.76
eureka/Prim_8 Property HOLDS profiling-release_4.7_r3562-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 17:40:32 BST 2014 0 valid 25616kb 4169 jenkins-slave 2.20 0:02.24
eureka/array_init Property HOLDS profiling-release_4.7_r3562-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 17:40:25 BST 2014 0 valid 6716kb 86 jenkins-slave 0.01 0:00.02
eureka/array_init_assign Property HOLDS profiling-release_4.7_r3562-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 17:40:22 BST 2014 0 valid 6624kb 58 jenkins-slave 0.02 0:00.03
eureka/bf10 Property HOLDS profiling-release_4.7_r3562-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 17:40:27 BST 2014 0 valid 9240kb 835 jenkins-slave 0.22 0:00.22
eureka/bf11 Property HOLDS profiling-release_4.7_r3562-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 17:40:40 BST 2014 0 valid 9720kb 905 jenkins-slave 0.24 0:00.26
eureka/bf12 Property HOLDS profiling-release_4.7_r3562-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 17:40:43 BST 2014 0 valid 10104kb 975 jenkins-slave 0.53 0:00.55
eureka/bf13 Property HOLDS profiling-release_4.7_r3562-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 17:40:31 BST 2014 0 valid 10300kb 1045 jenkins-slave 0.28 0:00.30
eureka/bf14 Property HOLDS profiling-release_4.7_r3562-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 17:40:46 BST 2014 0 valid 10768kb 1115 jenkins-slave 0.32 0:00.32
eureka/bf15 Property HOLDS profiling-release_4.7_r3562-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 17:40:34 BST 2014 0 valid 10600kb 1185 jenkins-slave 0.33 0:00.34
eureka/bf16 Property HOLDS profiling-release_4.7_r3562-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 17:40:22 BST 2014 0 valid 11008kb 1255 jenkins-slave 0.36 0:00.37
eureka/bf17 Property HOLDS profiling-release_4.7_r3562-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 17:40:41 BST 2014 0 valid 11384kb 1325 jenkins-slave 0.37 0:00.39
eureka/bf18 Property HOLDS profiling-release_4.7_r3562-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 17:40:41 BST 2014 0 valid 11896kb 1395 jenkins-slave 0.40 0:00.42
eureka/bf19 Property HOLDS profiling-release_4.7_r3562-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 17:40:33 BST 2014 0 valid 12084kb 1465 jenkins-slave 0.86 0:00.88
eureka/bf20 Property HOLDS profiling-release_4.7_r3562-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 17:40:43 BST 2014 0 valid 12428kb 1535 jenkins-slave 0.94 0:00.96
eureka/bf5 Property HOLDS profiling-release_4.7_r3562-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 17:40:43 BST 2014 0 valid 8076kb 485 jenkins-slave 0.12 0:00.12
eureka/bf6 Property HOLDS profiling-release_4.7_r3562-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 17:40:48 BST 2014 0 valid 8520kb 555 jenkins-slave 0.28 0:00.29
eureka/bf7 Property HOLDS profiling-release_4.7_r3562-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 17:40:35 BST 2014 0 valid 8576kb 625 jenkins-slave 0.16 0:00.16
eureka/bf8 Property HOLDS profiling-release_4.7_r3562-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 17:40:22 BST 2014 0 valid 8868kb 695 jenkins-slave 0.17 0:00.19
eureka/bf9 Property HOLDS profiling-release_4.7_r3562-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 17:40:37 BST 2014 0 valid 9188kb 765 jenkins-slave 0.40 0:00.42
eureka/bubblesort Property VIOLATED profiling-release_4.7_r3562-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 17:40:31 BST 2014 10 invalid 6828kb 127 jenkins-slave 0.06 0:00.07
eureka/bubblesort_inner_loop Property VIOLATED profiling-release_4.7_r3562-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 17:40:25 BST 2014 10 invalid 6644kb 69 jenkins-slave 0.03 0:00.04
eureka/complex_guard Property HOLDS profiling-release_4.7_r3562-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 17:40:25 BST 2014 0 valid 6728kb 65 jenkins-slave 0.02 0:00.04
eureka/loop_on_input Property VIOLATED profiling-release_4.7_r3562-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 17:40:25 BST 2014 10 invalid 7456kb 95 jenkins-slave 0.04 0:00.06
eureka/sequential_swap Property HOLDS profiling-release_4.7_r3562-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 17:40:37 BST 2014 0 valid 6392kb 69 jenkins-slave 0.02 0:00.03
eureka/simple_array_inversion Property HOLDS profiling-release_4.7_r3562-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 17:40:22 BST 2014 0 valid 6620kb 55 jenkins-slave 0.00 0:00.01
eureka/simple_control_on_input Property VIOLATED profiling-release_4.7_r3562-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 17:40:36 BST 2014 10 invalid 28000kb 296 jenkins-slave 0.60 0:00.64
eureka/simple_swap_call Property HOLDS profiling-release_4.7_r3562-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 17:40:28 BST 2014 0 valid 6308kb 50 jenkins-slave 0.02 0:00.03
eureka/wrong_loop Property VIOLATED profiling-release_4.7_r3562-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 17:40:28 BST 2014 10 invalid 6592kb 68 jenkins-slave 0.01 0:00.02
necla/ex1 Property HOLDS profiling-release_4.7_r3562-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 17:46:03 BST 2014 0 valid 91912kb 10280 jenkins-slave 9.76 0:09.85
necla/ex10 Property VIOLATED profiling-release_4.7_r3562-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 17:46:48 BST 2014 10 invalid 22012kb 608 jenkins-slave 0.48 0:00.50
necla/ex11 Property HOLDS profiling-release_4.7_r3562-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 17:46:14 BST 2014 0 valid 195984kb 12047 jenkins-slave 31.04 0:31.30
necla/ex12 Property VIOLATED profiling-release_4.7_r3562-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 17:45:56 BST 2014 10 invalid 7144kb 95 jenkins-slave 0.04 0:00.05
necla/ex13 Property VIOLATED profiling-release_4.7_r3562-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 17:44:06 BST 2014 10 invalid 7144kb 35 jenkins-slave 0.04 0:00.05
necla/ex14 Property HOLDS profiling-release_4.7_r3562-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 17:46:08 BST 2014 0 valid 6824kb 95 jenkins-slave 0.01 0:00.02
necla/ex15 Property HOLDS profiling-release_4.7_r3562-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 17:46:17 BST 2014 0 valid 7516kb 135 jenkins-slave 0.08 0:00.09
necla/ex16 Property HOLDS profiling-release_4.7_r3562-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 17:43:34 BST 2014 0 valid 11992kb 3073 jenkins-slave 0.80 0:00.83
necla/ex17 Property HOLDS profiling-release_4.7_r3562-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 17:46:10 BST 2014 0 valid 32192kb 543 jenkins-slave 0.74 0:00.80
necla/ex18 Property HOLDS profiling-release_4.7_r3562-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 17:41:42 BST 2014 0 valid 1440292kb 2924 jenkins-slave 50.99 0:52.51
necla/ex19 Property VIOLATED profiling-release_4.7_r3562-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 17:46:19 BST 2014 10 invalid 263972kb 9052 jenkins-slave 81.57 1:21.94
necla/ex2 TIMEOUT profiling-release_4.7_r3562-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 17:41:27 BST 2014 124 unknown 5842028kb 7272 jenkins-slave 114.27 2:01.58
necla/ex20 Property VIOLATED profiling-release_4.7_r3562-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 17:44:18 BST 2014 10 invalid 247220kb 9283 jenkins-slave 95.90 1:36.17
necla/ex21 Property HOLDS profiling-release_4.7_r3562-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 17:45:40 BST 2014 0 valid 26416kb 4537 jenkins-slave 3.61 0:03.64
necla/ex22 Property HOLDS profiling-release_4.7_r3562-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 17:44:00 BST 2014 0 valid 13416kb 1428 jenkins-slave 0.53 0:00.54
necla/ex23 Property HOLDS profiling-release_4.7_r3562-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 17:45:57 BST 2014 0 valid 394936kb 332 jenkins-slave 15.81 0:16.48
necla/ex26 TIMEOUT profiling-release_4.7_r3562-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 17:43:39 BST 2014 124 invalid 2782716kb 8585 jenkins-slave 117.33 2:00.82
necla/ex27 Property VIOLATED profiling-release_4.7_r3562-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 17:45:46 BST 2014 10 invalid 49324kb 5175 jenkins-slave 2.17 0:02.21
necla/ex29 Property HOLDS profiling-release_4.7_r3562-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 17:44:13 BST 2014 0 valid 23620kb 622 jenkins-slave 0.46 0:00.51
necla/ex3 Property VIOLATED profiling-release_4.7_r3562-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 17:46:07 BST 2014 10 invalid 7220kb 94 jenkins-slave 0.04 0:00.05
necla/ex30 ERROR profiling-release_4.7_r3562-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 17:45:52 BST 2014 10 unknown 36972kb 6557 jenkins-slave 11.27 0:11.33
necla/ex31 Property HOLDS profiling-release_4.7_r3562-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 17:45:47 BST 2014 0 valid 6680kb 64 jenkins-slave 0.03 0:00.04
necla/ex32 Property HOLDS profiling-release_4.7_r3562-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 17:41:29 BST 2014 0 valid 1536160kb 14053 jenkins-slave 8.21 0:09.33
necla/ex33 ERROR profiling-release_4.7_r3562-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 17:41:30 BST 2014 unknown po (0) jenkins-slave
necla/ex34 Property HOLDS profiling-release_4.7_r3562-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 17:43:33 BST 2014 0 valid 9392kb 139 jenkins-slave 0.09 0:00.10
necla/ex36_free ERROR profiling-release_4.7_r3562-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 17:44:05 BST 2014 unknown po (0) jenkins-slave
necla/ex36_read ERROR profiling-release_4.7_r3562-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 17:43:36 BST 2014 unknown po (0) jenkins-slave
necla/ex37 Property HOLDS profiling-release_4.7_r3562-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 17:46:18 BST 2014 0 valid 22988kb 75 jenkins-slave 0.55 0:00.58
necla/ex4 Property VIOLATED profiling-release_4.7_r3562-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 17:44:10 BST 2014 10 invalid 7540kb 366 jenkins-slave 0.06 0:00.07
necla/ex40 Property VIOLATED profiling-release_4.7_r3562-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 17:46:44 BST 2014 10 invalid 33476kb 1056 jenkins-slave 1.47 0:01.52
necla/ex43 Property VIOLATED profiling-release_4.7_r3562-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 17:41:30 BST 2014 10 invalid 574660kb 8439 jenkins-slave 25.68 0:26.21
necla/ex46 Property VIOLATED profiling-release_4.7_r3562-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 17:46:53 BST 2014 10 invalid 148452kb 340 jenkins-slave 6.87 0:07.12
necla/ex47 Property VIOLATED profiling-release_4.7_r3562-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 17:46:49 BST 2014 10 invalid 105808kb 329 jenkins-slave 4.51 0:04.69
necla/ex49 Property HOLDS profiling-release_4.7_r3562-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 17:42:37 BST 2014 0 valid 174272kb 9047 jenkins-slave 79.63 1:19.87
necla/ex5 Property HOLDS profiling-release_4.7_r3562-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 17:46:12 BST 2014 0 valid 6704kb 38 jenkins-slave 0.01 0:00.02
necla/ex6 Property HOLDS profiling-release_4.7_r3562-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 17:45:43 BST 2014 0 valid 6644kb 53 jenkins-slave 0.02 0:00.03
necla/ex7 TIMEOUT profiling-release_4.7_r3562-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 17:42:01 BST 2014 124 unknown 4969912kb 13105 jenkins-slave 115.09 2:01.44
necla/ex8 ERROR profiling-release_4.7_r3562-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 17:46:22 BST 2014 unknown po (0) jenkins-slave
necla/ex9 Property HOLDS profiling-release_4.7_r3562-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 17:45:50 BST 2014 0 valid 39472kb 356 jenkins-slave 1.78 0:01.87
necla/inf1 Property VIOLATED profiling-release_4.7_r3562-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 17:41:58 BST 2014 10 invalid 6824kb 60 jenkins-slave 0.01 0:00.02
necla/inf3 Property VIOLATED profiling-release_4.7_r3562-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 17:46:20 BST 2014 10 valid 574324kb 749 jenkins-slave 19.66 0:20.44
necla/inf4 Property VIOLATED profiling-release_4.7_r3562-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 17:46:16 BST 2014 10 invalid 7596kb 123 jenkins-slave 0.03 0:00.04
necla/inf5 Property VIOLATED profiling-release_4.7_r3562-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 17:45:59 BST 2014 10 invalid 6968kb 117 jenkins-slave 0.04 0:00.06
necla/inf6 Property HOLDS profiling-release_4.7_r3562-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 17:41:27 BST 2014 0 valid 6676kb 72 jenkins-slave 0.02 0:00.03
necla/inf8 Property HOLDS profiling-release_4.7_r3562-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 17:46:14 BST 2014 0 valid 6732kb 105 jenkins-slave 0.02 0:00.02
queue/queue_1 Property HOLDS profiling-release_4.7_r3562-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 17:47:02 BST 2014 0 valid 6752kb 77 jenkins-slave 0.01 0:00.02
queue/queue_10 Property HOLDS profiling-release_4.7_r3562-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 17:47:04 BST 2014 0 valid 7340kb 392 jenkins-slave 0.14 0:00.16
queue/queue_100 Property HOLDS profiling-release_4.7_r3562-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 17:46:57 BST 2014 0 valid 31144kb 3542 jenkins-slave 3.50 0:03.53
queue/queue_1000 ERROR profiling-release_4.7_r3562-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 17:47:06 BST 2014 unknown po (0) jenkins-slave
slayer/ex1 Property VIOLATED profiling-release_4.7_r3562-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 17:41:22 BST 2014 10 invalid 22232kb 42 jenkins-slave 0.48 0:00.54
slayer/ex2 Property HOLDS profiling-release_4.7_r3562-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 17:41:18 BST 2014 0 valid 6044kb 33 jenkins-slave 0.01 0:00.01
slayer/ex3 Property VIOLATED profiling-release_4.7_r3562-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 17:41:23 BST 2014 10 invalid 22348kb 119 jenkins-slave 0.27 0:00.31
slayer/ex5 Property HOLDS profiling-release_4.7_r3562-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 17:41:25 BST 2014 0 valid 22452kb 83 jenkins-slave 0.26 0:00.29
slayer/ex6 Property VIOLATED profiling-release_4.7_r3562-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 17:41:21 BST 2014 10 invalid 22368kb 86 jenkins-slave 0.27 0:00.30
slayer/ex7 Property HOLDS profiling-release_4.7_r3562-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 17:41:20 BST 2014 0 valid 22732kb 382 jenkins-slave 0.30 0:00.33
slayer/ex8 Property HOLDS profiling-release_4.7_r3562-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 17:41:25 BST 2014 0 valid 37572kb 878 jenkins-slave 1.15 0:01.21
slayer/ex9 Property HOLDS profiling-release_4.7_r3562-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 17:41:22 BST 2014 0 valid 42388kb 1526 jenkins-slave 3.29 0:03.41
smack/array Property HOLDS profiling-release_4.7_r3562-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 17:40:48 BST 2014 0 valid 22420kb 74 jenkins-slave 0.25 0:00.29
smack/array1 Property HOLDS profiling-release_4.7_r3562-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 17:41:02 BST 2014 0 valid 22548kb 85 jenkins-slave 0.28 0:00.30
smack/array2 Property HOLDS profiling-release_4.7_r3562-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 17:40:52 BST 2014 0 valid 23236kb 330 jenkins-slave 0.33 0:00.35
smack/array3 Property HOLDS profiling-release_4.7_r3562-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 17:41:07 BST 2014 0 valid 23404kb 736 jenkins-slave 0.46 0:00.49
smack/array4 Property HOLDS profiling-release_4.7_r3562-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 17:40:50 BST 2014 0 valid 26992kb 736 jenkins-slave 0.55 0:00.58
smack/array_free Property HOLDS profiling-release_4.7_r3562-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 17:40:58 BST 2014 0 valid 22356kb 246 jenkins-slave 0.31 0:00.33
smack/array_free1 Property HOLDS profiling-release_4.7_r3562-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 17:41:02 BST 2014 0 valid 22368kb 246 jenkins-slave 0.63 0:00.66
smack/array_free2 Property HOLDS profiling-release_4.7_r3562-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 17:41:11 BST 2014 0 valid 22364kb 246 jenkins-slave 0.62 0:00.67
smack/ase_example Property HOLDS profiling-release_4.7_r3562-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 17:41:13 BST 2014 0 valid 22544kb 268 jenkins-slave 0.32 0:00.34
smack/dsa_test Property HOLDS profiling-release_4.7_r3562-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 17:40:53 BST 2014 0 valid 22476kb 84 jenkins-slave 0.27 0:00.30
smack/dsa_test1 Property HOLDS profiling-release_4.7_r3562-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 17:40:51 BST 2014 0 valid 22484kb 155 jenkins-slave 0.28 0:00.31
smack/dsa_test10 Property HOLDS profiling-release_4.7_r3562-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 17:41:17 BST 2014 0 valid 24408kb 408 jenkins-slave 0.87 0:00.91
smack/dsa_test11 Property HOLDS profiling-release_4.7_r3562-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 17:41:12 BST 2014 0 valid 22572kb 148 jenkins-slave 0.28 0:00.31
smack/dsa_test12 Property HOLDS profiling-release_4.7_r3562-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 17:41:10 BST 2014 0 valid 6644kb 48 jenkins-slave 0.01 0:00.01
smack/dsa_test13 Property HOLDS profiling-release_4.7_r3562-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 17:40:50 BST 2014 0 valid 6044kb 37 jenkins-slave 0.00 0:00.01
smack/dsa_test14 Property HOLDS profiling-release_4.7_r3562-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 17:40:56 BST 2014 0 valid 6580kb 41 jenkins-slave 0.00 0:00.01
smack/dsa_test15 Property HOLDS profiling-release_4.7_r3562-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 17:41:07 BST 2014 0 valid 23036kb 388 jenkins-slave 0.84 0:00.88
smack/dsa_test2 Property HOLDS profiling-release_4.7_r3562-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 17:41:03 BST 2014 0 valid 6640kb 45 jenkins-slave 0.00 0:00.01
smack/dsa_test3 Property HOLDS profiling-release_4.7_r3562-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 17:41:15 BST 2014 0 valid 22520kb 155 jenkins-slave 0.56 0:00.61
smack/dsa_test4 Property HOLDS profiling-release_4.7_r3562-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 17:41:15 BST 2014 0 valid 22976kb 114 jenkins-slave 0.54 0:00.56
smack/dsa_test5 Property HOLDS profiling-release_4.7_r3562-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 17:40:56 BST 2014 0 valid 23392kb 131 jenkins-slave 0.30 0:00.33
smack/dsa_test6 Property HOLDS profiling-release_4.7_r3562-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 17:40:55 BST 2014 0 valid 23596kb 229 jenkins-slave 0.36 0:00.38
smack/dsa_test7 Property HOLDS profiling-release_4.7_r3562-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 17:41:01 BST 2014 0 valid 6772kb 54 jenkins-slave 0.01 0:00.02
smack/dsa_test8 Property HOLDS profiling-release_4.7_r3562-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 17:41:18 BST 2014 0 valid 22308kb 114 jenkins-slave 0.27 0:00.30
smack/dsa_test9 Property HOLDS profiling-release_4.7_r3562-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 17:40:58 BST 2014 0 valid 22512kb 118 jenkins-slave 0.27 0:00.30
smack/simple Property HOLDS profiling-release_4.7_r3562-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 17:40:59 BST 2014 0 valid 6044kb 34 jenkins-slave 0.00 0:00.01
smack/simple_double_free Property VIOLATED profiling-release_4.7_r3562-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 17:40:54 BST 2014 10 invalid 22396kb 92 jenkins-slave 0.28 0:00.30
smack/simple_fail Property VIOLATED profiling-release_4.7_r3562-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 17:40:53 BST 2014 10 invalid 6412kb 32 jenkins-slave 0.00 0:00.01
smack/simple_pre Property HOLDS profiling-release_4.7_r3562-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 17:41:13 BST 2014 0 valid 6044kb 35 jenkins-slave 0.01 0:00.02
smack/simple_pre1 Property HOLDS profiling-release_4.7_r3562-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 17:41:05 BST 2014 0 valid 6044kb 36 jenkins-slave 0.02 0:00.02
smack/simple_pre2 Property HOLDS profiling-release_4.7_r3562-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 17:40:50 BST 2014 0 valid 6496kb 37 jenkins-slave 0.00 0:00.01
smack/simple_pre3 Property HOLDS profiling-release_4.7_r3562-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 17:41:10 BST 2014 0 valid 6044kb 35 jenkins-slave 0.01 0:00.02
smack/two_arrays Property HOLDS profiling-release_4.7_r3562-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 17:41:09 BST 2014 0 valid 27352kb 2458 jenkins-slave 1.66 0:01.71
smack/two_arrays1 Property HOLDS profiling-release_4.7_r3562-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 17:41:15 BST 2014 0 valid 46732kb 3472 jenkins-slave 2.04 0:02.07
smack/two_arrays2 Property HOLDS profiling-release_4.7_r3562-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 17:41:05 BST 2014 0 valid 46692kb 3474 jenkins-slave 1.77 0:01.82
smack/two_arrays6 Property HOLDS profiling-release_4.7_r3562-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 17:40:57 BST 2014 0 valid 46736kb 3477 jenkins-slave 1.78 0:01.81
smack/vmcai_bytes Property HOLDS profiling-release_4.7_r3562-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 17:41:04 BST 2014 0 valid 6520kb 35 jenkins-slave 0.00 0:00.01
smack/vmcai_struct Property HOLDS profiling-release_4.7_r3562-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 17:40:55 BST 2014 0 valid 22336kb 79 jenkins-slave 0.26 0:00.29
snu/bs Property HOLDS profiling-release_4.7_r3562-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 17:52:00 BST 2014 0 valid 6816kb 77 jenkins-slave 0.02 0:00.04
snu/crc Property HOLDS profiling-release_4.7_r3562-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 17:51:47 BST 2014 0 valid 48516kb 16982 jenkins-slave 23.99 0:24.08
snu/fibcall Property HOLDS profiling-release_4.7_r3562-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 17:51:44 BST 2014 0 valid 7000kb 256 jenkins-slave 0.06 0:00.07
snu/insertsort Property HOLDS profiling-release_4.7_r3562-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 17:51:55 BST 2014 0 valid 14092kb 1147 jenkins-slave 1.14 0:01.16
snu/jfdctint Property VIOLATED profiling-release_4.7_r3562-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 17:51:49 BST 2014 10 invalid 24904kb 2496 jenkins-slave 2.38 0:02.40
snu/matmul Property VIOLATED profiling-release_4.7_r3562-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 17:51:41 BST 2014 10 invalid 17388kb 3221 jenkins-slave 3.98 0:04.01
urbiva/bitcount16 Property VIOLATED profiling-release_4.7_r3562-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 17:51:34 BST 2014 10 invalid 7540kb 179 jenkins-slave 0.11 0:00.12
urbiva/bitcount32 Property VIOLATED profiling-release_4.7_r3562-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 17:51:37 BST 2014 10 invalid 8180kb 290 jenkins-slave 0.16 0:00.18
urbiva/fermat Property VIOLATED profiling-release_4.7_r3562-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 17:51:23 BST 2014 10 invalid 33712kb 126 jenkins-slave 0.98 0:01.02
urbiva/graycode Property VIOLATED profiling-release_4.7_r3562-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 17:51:32 BST 2014 10 invalid 22520kb 127 jenkins-slave 0.55 0:00.61
urbiva/magic Property VIOLATED profiling-release_4.7_r3562-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 17:51:28 BST 2014 10 invalid 22788kb 164 jenkins-slave 0.60 0:00.65
urbiva/matrixsqrt Property VIOLATED profiling-release_4.7_r3562-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 17:51:17 BST 2014 10 invalid 59272kb 348 jenkins-slave 2.51 0:02.63
urbiva/queens Property VIOLATED profiling-release_4.7_r3562-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 17:51:23 BST 2014 10 invalid 28544kb 2656 jenkins-slave 2.14 0:02.20
urbiva/send-more-money Property VIOLATED profiling-release_4.7_r3562-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 17:51:37 BST 2014 10 invalid 13704kb 70 jenkins-slave 0.16 0:00.18
urbiva/sort Property VIOLATED profiling-release_4.7_r3562-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 17:51:29 BST 2014 10 invalid 23452kb 1566 jenkins-slave 1.34 0:01.38
urbiva/sudoku Property VIOLATED profiling-release_4.7_r3562-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 17:51:39 BST 2014 10 invalid 23552kb 172 jenkins-slave 0.63 0:00.68
wcet/adpcm Property VIOLATED profiling-release_4.7_r3562-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 17:50:13 BST 2014 10 invalid 13892kb 1195 jenkins-slave 0.65 0:00.67
wcet/bs Property HOLDS profiling-release_4.7_r3562-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 17:51:13 BST 2014 0 valid 6836kb 88 jenkins-slave 0.02 0:00.05
wcet/bsort100 ERROR profiling-release_4.7_r3562-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 17:48:40 BST 2014 valid po (0) jenkins-slave
wcet/cnt Property VIOLATED profiling-release_4.7_r3562-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 17:49:27 BST 2014 10 invalid 32440kb 4935 jenkins-slave 3.88 0:03.91
wcet/compress Property VIOLATED profiling-release_4.7_r3562-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 17:51:11 BST 2014 10 invalid 11700kb 573 jenkins-slave 0.46 0:00.49
wcet/cover Property HOLDS profiling-release_4.7_r3562-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 17:50:22 BST 2014 0 valid 9600kb 1320 jenkins-slave 2.17 0:02.21
wcet/crc Property HOLDS profiling-release_4.7_r3562-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 17:49:35 BST 2014 0 valid 48512kb 16982 jenkins-slave 20.28 0:20.38
wcet/duff Property HOLDS profiling-release_4.7_r3562-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 17:50:28 BST 2014 0 valid 12776kb 1751 jenkins-slave 1.54 0:01.58
wcet/edn Property VIOLATED profiling-release_4.7_r3562-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 17:50:49 BST 2014 10 invalid 28536kb 1445 jenkins-slave 3.08 0:03.12
wcet/expint Property HOLDS profiling-release_4.7_r3562-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 17:50:40 BST 2014 0 valid 9504kb 1473 jenkins-slave 0.60 0:00.61
wcet/fac Property HOLDS profiling-release_4.7_r3562-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 17:49:16 BST 2014 0 valid 6980kb 277 jenkins-slave 0.05 0:00.07
wcet/fdct TIMEOUT profiling-release_4.7_r3562-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 17:49:09 BST 2014 124 valid 488152kb 2780 jenkins-slave 119.40 2:00.14
wcet/fibcall Property HOLDS profiling-release_4.7_r3562-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 17:49:23 BST 2014 0 valid 6988kb 253 jenkins-slave 0.06 0:00.07
wcet/fir ERROR profiling-release_4.7_r3562-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 17:50:48 BST 2014 unknown po (0) jenkins-slave
wcet/insertsort Property HOLDS profiling-release_4.7_r3562-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 17:50:09 BST 2014 0 valid 7700kb 473 jenkins-slave 0.27 0:00.28
wcet/janne_complex Property HOLDS profiling-release_4.7_r3562-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 17:50:05 BST 2014 0 valid 6816kb 182 jenkins-slave 0.06 0:00.06
wcet/jfdctint Property VIOLATED profiling-release_4.7_r3562-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 17:49:59 BST 2014 10 invalid 24576kb 2490 jenkins-slave 2.36 0:02.40
wcet/loop3 Property HOLDS profiling-release_4.7_r3562-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 17:50:17 BST 2014 0 valid 13220kb 3399 jenkins-slave 0.96 0:00.96
wcet/matmult ERROR profiling-release_4.7_r3562-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 17:50:56 BST 2014 unknown po (0) jenkins-slave
wcet/minmax Property HOLDS profiling-release_4.7_r3562-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 17:50:44 BST 2014 0 valid 6892kb 88 jenkins-slave 0.03 0:00.05
wcet/ndes Property HOLDS profiling-release_4.7_r3562-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 17:50:23 BST 2014 0 valid 161720kb 36110 jenkins-slave 44.14 0:44.36
wcet/ns Property HOLDS profiling-release_4.7_r3562-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 17:51:15 BST 2014 0 valid 10556kb 3321 jenkins-slave 4.04 0:04.08
wcet/nsichneu Property HOLDS profiling-release_4.7_r3562-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 17:50:43 BST 2014 0 valid 30776kb 2192 jenkins-slave 2.03 0:02.09
wcet/prime Property HOLDS profiling-release_4.7_r3562-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 17:50:33 BST 2014 0 valid 14196kb 5708 jenkins-slave 3.05 0:03.09
wcet/recursion Property HOLDS profiling-release_4.7_r3562-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 17:48:35 BST 2014 0 valid 10380kb 2115 jenkins-slave 0.72 0:00.74
wcet/select Property VIOLATED profiling-release_4.7_r3562-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 17:49:19 BST 2014 10 invalid 7860kb 116 jenkins-slave 0.10 0:00.12
wcet/statemate Property HOLDS profiling-release_4.7_r3562-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 17:49:12 BST 2014 0 valid 9468kb 859 jenkins-slave 0.40 0:00.42
wcet/ud Property HOLDS profiling-release_4.7_r3562-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 17:50:01 BST 2014 0 valid 611156kb 1509 jenkins-slave 17.90 0:18.78
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.