* profiling-release_4.6_r3116-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 14;profiling-release_4.6_r3116-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 9;profiling-release_4.6_r3116-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 1001;profiling-release_4.6_r3116-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main;profiling-release_4.6_r3116-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function simpleWhile --unwind 1001;profiling-release_4.6_r3116-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --no-unwinding-assertions;profiling-release_4.6_r3116-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 10;profiling-release_4.6_r3116-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 16;profiling-release_4.6_r3116-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 15;profiling-release_4.6_r3116-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check;profiling-release_4.6_r3116-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --unwind 4;profiling-release_4.6_r3116-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --unwind 101;profiling-release_4.6_r3116-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 18;profiling-release_4.6_r3116-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 100;profiling-release_4.6_r3116-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 51;profiling-release_4.6_r3116-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --unwind 1001;profiling-release_4.6_r3116-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 12;profiling-release_4.6_r3116-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 13;profiling-release_4.6_r3116-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 101;profiling-release_4.6_r3116-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 11;profiling-release_4.6_r3116-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --unwind 11;profiling-release_4.6_r3116-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 50;profiling-release_4.6_r3116-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 6;profiling-release_4.6_r3116-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 358;profiling-release_4.6_r3116-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 27;profiling-release_4.6_r3116-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 24;profiling-release_4.6_r3116-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 8;profiling-release_4.6_r3116-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 17;profiling-release_4.6_r3116-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 7;profiling-release_4.6_r3116-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 20;profiling-release_4.6_r3116-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 19;profiling-release_4.6_r3116-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 21;profiling-release_4.6_r3116-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --unwind 10;profiling-release_4.6_r3116-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 1001 --no-unwinding-assertions;profiling-release_4.6_r3116-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 1;profiling-release_4.6_r3116-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 5;profiling-release_4.6_r3116-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 201;profiling-release_4.6_r3116-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --unwind 6;profiling-release_4.6_r3116-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function intSqRoot --unwind 201;profiling-release_4.6_r3116-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 257;profiling-release_4.6_r3116-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 1025;profiling-release_4.6_r3116-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 3;profiling-release_4.6_r3116-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 31;profiling-release_4.6_r3116-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --unwind 17 version 4.6 results *
Timeout: 120s Memory limit: unlimitedkb
Sun Aug 17 17:40:13 2014
Benchmark Result commandline date exitcode expected maxmem mt_max_constr ssa-size user usertime wallclock
anonymous/bubbleSort Property HOLDS profiling-release_4.6_r3116-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:19:15 BST 2014 0 valid 79756kb 1388 jenkins-slave 7.20 0:07.42
anonymous/intSqRoot Property HOLDS profiling-release_4.6_r3116-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:18:16 BST 2014 0 valid 1405680kb 3861 jenkins-slave 57.55 0:59.61
anonymous/selectSort TIMEOUT profiling-release_4.6_r3116-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:17:56 BST 2014 124 unknown 2443040kb 948 jenkins-slave 117.12 2:00.56
anonymous/simpleWhile Property HOLDS profiling-release_4.6_r3116-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:19:19 BST 2014 0 valid 157924kb 9046 jenkins-slave 49.76 0:49.90
eureka/Prim_4 Property HOLDS profiling-release_4.6_r3116-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:11:13 BST 2014 0 valid 11516kb 2027 jenkins-slave 0.68 0:00.70
eureka/Prim_5 Property HOLDS profiling-release_4.6_r3116-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:11:13 BST 2014 0 valid 13692kb 2633 jenkins-slave 0.81 0:00.82
eureka/Prim_6 Property HOLDS profiling-release_4.6_r3116-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:10:55 BST 2014 0 valid 16364kb 3299 jenkins-slave 1.26 0:01.30
eureka/Prim_7 Property HOLDS profiling-release_4.6_r3116-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:11:06 BST 2014 0 valid 20028kb 4025 jenkins-slave 0.82 0:00.85
eureka/Prim_8 Property HOLDS profiling-release_4.6_r3116-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:10:59 BST 2014 0 valid 23808kb 4811 jenkins-slave 2.07 0:02.12
eureka/array_init Property HOLDS profiling-release_4.6_r3116-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:10:51 BST 2014 0 valid 6680kb 98 jenkins-slave 0.03 0:00.04
eureka/array_init_assign Property HOLDS profiling-release_4.6_r3116-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:10:48 BST 2014 0 valid 6596kb 65 jenkins-slave 0.01 0:00.01
eureka/bf10 Property HOLDS profiling-release_4.6_r3116-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:10:53 BST 2014 0 valid 9120kb 935 jenkins-slave 0.42 0:00.44
eureka/bf11 Property HOLDS profiling-release_4.6_r3116-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:11:07 BST 2014 0 valid 9676kb 1011 jenkins-slave 0.24 0:00.25
eureka/bf12 Property HOLDS profiling-release_4.6_r3116-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:11:09 BST 2014 0 valid 9928kb 1087 jenkins-slave 0.26 0:00.27
eureka/bf13 Property HOLDS profiling-release_4.6_r3116-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:10:58 BST 2014 0 valid 10116kb 1163 jenkins-slave 0.57 0:00.58
eureka/bf14 Property HOLDS profiling-release_4.6_r3116-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:11:13 BST 2014 0 valid 10688kb 1239 jenkins-slave 0.62 0:00.63
eureka/bf15 Property HOLDS profiling-release_4.6_r3116-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:11:02 BST 2014 0 valid 10260kb 1315 jenkins-slave 0.64 0:00.66
eureka/bf16 Property HOLDS profiling-release_4.6_r3116-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:10:48 BST 2014 0 valid 10900kb 1391 jenkins-slave 0.34 0:00.35
eureka/bf17 Property HOLDS profiling-release_4.6_r3116-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:11:08 BST 2014 0 valid 11264kb 1467 jenkins-slave 0.65 0:00.67
eureka/bf18 Property HOLDS profiling-release_4.6_r3116-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:11:09 BST 2014 0 valid 11720kb 1543 jenkins-slave 0.51 0:00.52
eureka/bf19 Property HOLDS profiling-release_4.6_r3116-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:10:59 BST 2014 0 valid 11876kb 1619 jenkins-slave 0.42 0:00.43
eureka/bf20 Property HOLDS profiling-release_4.6_r3116-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:11:09 BST 2014 0 valid 12420kb 1695 jenkins-slave 0.46 0:00.47
eureka/bf5 Property HOLDS profiling-release_4.6_r3116-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:11:11 BST 2014 0 valid 8016kb 555 jenkins-slave 0.23 0:00.24
eureka/bf6 Property HOLDS profiling-release_4.6_r3116-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:11:15 BST 2014 0 valid 8332kb 631 jenkins-slave 0.19 0:00.20
eureka/bf7 Property HOLDS profiling-release_4.6_r3116-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:11:02 BST 2014 0 valid 8488kb 707 jenkins-slave 0.30 0:00.32
eureka/bf8 Property HOLDS profiling-release_4.6_r3116-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:10:48 BST 2014 0 valid 8716kb 783 jenkins-slave 0.34 0:00.36
eureka/bf9 Property HOLDS profiling-release_4.6_r3116-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:11:05 BST 2014 0 valid 9104kb 859 jenkins-slave 0.39 0:00.41
eureka/bubblesort Property VIOLATED profiling-release_4.6_r3116-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:10:58 BST 2014 10 invalid 6796kb 155 jenkins-slave 0.06 0:00.07
eureka/bubblesort_inner_loop Property VIOLATED profiling-release_4.6_r3116-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:10:52 BST 2014 10 invalid 6612kb 76 jenkins-slave 0.02 0:00.04
eureka/complex_guard Property HOLDS profiling-release_4.6_r3116-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:10:51 BST 2014 0 valid 6692kb 68 jenkins-slave 0.01 0:00.02
eureka/loop_on_input Property VIOLATED profiling-release_4.6_r3116-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:10:51 BST 2014 10 invalid 7440kb 95 jenkins-slave 0.02 0:00.04
eureka/sequential_swap Property HOLDS profiling-release_4.6_r3116-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:11:03 BST 2014 0 valid 6304kb 69 jenkins-slave 0.01 0:00.01
eureka/simple_array_inversion Property HOLDS profiling-release_4.6_r3116-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:10:48 BST 2014 0 valid 6596kb 58 jenkins-slave 0.00 0:00.01
eureka/simple_control_on_input Property VIOLATED profiling-release_4.6_r3116-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:11:03 BST 2014 10 invalid 24104kb 342 jenkins-slave 0.92 0:00.96
eureka/simple_swap_call Property HOLDS profiling-release_4.6_r3116-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:10:56 BST 2014 0 valid 6300kb 51 jenkins-slave 0.02 0:00.02
eureka/wrong_loop Property VIOLATED profiling-release_4.6_r3116-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:10:55 BST 2014 10 invalid 6560kb 82 jenkins-slave 0.03 0:00.03
necla/ex1 Property HOLDS profiling-release_4.6_r3116-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:16:47 BST 2014 0 valid 88328kb 8745 jenkins-slave 15.86 0:15.93
necla/ex10 Property VIOLATED profiling-release_4.6_r3116-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:17:41 BST 2014 10 invalid 15272kb 566 jenkins-slave 0.33 0:00.34
necla/ex11 Property HOLDS profiling-release_4.6_r3116-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:16:58 BST 2014 0 valid 201712kb 12297 jenkins-slave 40.04 0:40.33
necla/ex12 Property VIOLATED profiling-release_4.6_r3116-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:16:30 BST 2014 10 invalid 7100kb 96 jenkins-slave 0.04 0:00.05
necla/ex13 Property VIOLATED profiling-release_4.6_r3116-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:15:06 BST 2014 10 invalid 6920kb 35 jenkins-slave 0.01 0:00.02
necla/ex14 Property HOLDS profiling-release_4.6_r3116-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:16:51 BST 2014 0 valid 6784kb 106 jenkins-slave 0.04 0:00.04
necla/ex15 Property HOLDS profiling-release_4.6_r3116-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:17:05 BST 2014 0 valid 7040kb 111 jenkins-slave 0.02 0:00.03
necla/ex16 Property HOLDS profiling-release_4.6_r3116-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:14:11 BST 2014 0 valid 11180kb 5074 jenkins-slave 0.83 0:00.84
necla/ex17 Property HOLDS profiling-release_4.6_r3116-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:16:53 BST 2014 0 valid 32212kb 649 jenkins-slave 0.73 0:00.80
necla/ex18 Property HOLDS profiling-release_4.6_r3116-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:12:21 BST 2014 0 valid 1434716kb 2629 jenkins-slave 50.33 0:52.21
necla/ex19 Property VIOLATED profiling-release_4.6_r3116-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:17:09 BST 2014 10 invalid 264036kb 9052 jenkins-slave 62.91 1:03.27
necla/ex2 TIMEOUT profiling-release_4.6_r3116-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:12:05 BST 2014 124 unknown 6548524kb 12229 jenkins-slave 114.38 2:02.16
necla/ex20 Property VIOLATED profiling-release_4.6_r3116-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:15:17 BST 2014 10 invalid 246876kb 9285 jenkins-slave 109.61 1:49.96
necla/ex21 Property HOLDS profiling-release_4.6_r3116-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:16:17 BST 2014 0 valid 25852kb 3839 jenkins-slave 3.46 0:03.51
necla/ex22 Property HOLDS profiling-release_4.6_r3116-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:14:38 BST 2014 0 valid 13212kb 1077 jenkins-slave 0.46 0:00.49
necla/ex23 Property HOLDS profiling-release_4.6_r3116-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:16:33 BST 2014 0 valid 396044kb 370 jenkins-slave 14.83 0:15.37
necla/ex26 TIMEOUT profiling-release_4.6_r3116-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:14:16 BST 2014 124 invalid 2426492kb 7887 jenkins-slave 117.35 2:00.69
necla/ex27 Property HOLDS profiling-release_4.6_r3116-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:16:21 BST 2014 0 invalid 28036kb 3717 jenkins-slave 1.02 0:01.04
necla/ex29 Property HOLDS profiling-release_4.6_r3116-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:15:12 BST 2014 0 valid 23980kb 1112 jenkins-slave 1.29 0:01.31
necla/ex3 Property VIOLATED profiling-release_4.6_r3116-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:16:50 BST 2014 10 invalid 7188kb 106 jenkins-slave 0.02 0:00.03
necla/ex30 ERROR profiling-release_4.6_r3116-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:16:26 BST 2014 10 unknown 37920kb 5753 jenkins-slave 17.09 0:17.18
necla/ex31 Property HOLDS profiling-release_4.6_r3116-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:16:23 BST 2014 0 valid 6648kb 81 jenkins-slave 0.01 0:00.02
necla/ex32 Property HOLDS profiling-release_4.6_r3116-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:12:05 BST 2014 0 valid 1530708kb 10055 jenkins-slave 10.76 0:12.60
necla/ex33 ERROR profiling-release_4.6_r3116-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:12:08 BST 2014 unknown po (0) jenkins-slave
necla/ex34 Property HOLDS profiling-release_4.6_r3116-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:14:11 BST 2014 0 valid 9392kb 139 jenkins-slave 0.06 0:00.07
necla/ex36_free ERROR profiling-release_4.6_r3116-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:14:42 BST 2014 unknown po (0) jenkins-slave
necla/ex36_read ERROR profiling-release_4.6_r3116-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:14:13 BST 2014 unknown po (0) jenkins-slave
necla/ex37 Property HOLDS profiling-release_4.6_r3116-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:17:07 BST 2014 0 valid 22964kb 73 jenkins-slave 0.28 0:00.31
necla/ex4 Property VIOLATED profiling-release_4.6_r3116-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:15:08 BST 2014 10 invalid 7512kb 398 jenkins-slave 0.11 0:00.13
necla/ex40 Property VIOLATED profiling-release_4.6_r3116-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:17:36 BST 2014 10 invalid 33884kb 1258 jenkins-slave 1.78 0:01.82
necla/ex43 Property VIOLATED profiling-release_4.6_r3116-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:12:07 BST 2014 10 invalid 548604kb 8094 jenkins-slave 47.39 0:48.31
necla/ex46 Property VIOLATED profiling-release_4.6_r3116-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:17:43 BST 2014 10 invalid 150068kb 332 jenkins-slave 6.92 0:07.16
necla/ex47 Property VIOLATED profiling-release_4.6_r3116-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:17:41 BST 2014 10 invalid 105788kb 322 jenkins-slave 3.00 0:03.13
necla/ex49 Property HOLDS profiling-release_4.6_r3116-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:13:17 BST 2014 0 valid 172248kb 9047 jenkins-slave 77.42 1:17.68
necla/ex5 Property HOLDS profiling-release_4.6_r3116-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:16:55 BST 2014 0 valid 6684kb 38 jenkins-slave 0.01 0:00.02
necla/ex6 Property HOLDS profiling-release_4.6_r3116-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:16:19 BST 2014 0 valid 6304kb 49 jenkins-slave 0.00 0:00.01
necla/ex7 TIMEOUT profiling-release_4.6_r3116-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:13:02 BST 2014 124 unknown 2780460kb 12114 jenkins-slave 116.89 2:00.64
necla/ex8 ERROR profiling-release_4.6_r3116-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:17:11 BST 2014 unknown po (0) jenkins-slave
necla/ex9 Property HOLDS profiling-release_4.6_r3116-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:16:25 BST 2014 0 valid 39256kb 401 jenkins-slave 0.97 0:01.01
necla/inf1 Property VIOLATED profiling-release_4.6_r3116-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:12:59 BST 2014 10 invalid 6776kb 60 jenkins-slave 0.03 0:00.05
necla/inf3 Property HOLDS profiling-release_4.6_r3116-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:17:09 BST 2014 0 valid 574196kb 846 jenkins-slave 21.99 0:22.93
necla/inf4 Property VIOLATED profiling-release_4.6_r3116-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:17:03 BST 2014 10 invalid 7568kb 138 jenkins-slave 0.07 0:00.09
necla/inf5 Property VIOLATED profiling-release_4.6_r3116-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:16:46 BST 2014 10 invalid 6940kb 117 jenkins-slave 0.05 0:00.06
necla/inf6 Property HOLDS profiling-release_4.6_r3116-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:12:03 BST 2014 0 valid 6660kb 72 jenkins-slave 0.02 0:00.03
necla/inf8 Property HOLDS profiling-release_4.6_r3116-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:16:59 BST 2014 0 valid 6724kb 105 jenkins-slave 0.04 0:00.05
queue/queue_1 Property HOLDS profiling-release_4.6_r3116-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:17:53 BST 2014 0 valid 6724kb 85 jenkins-slave 0.03 0:00.04
queue/queue_10 Property HOLDS profiling-release_4.6_r3116-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:17:54 BST 2014 0 valid 7280kb 454 jenkins-slave 0.14 0:00.16
queue/queue_100 Property HOLDS profiling-release_4.6_r3116-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:17:47 BST 2014 0 valid 30684kb 4144 jenkins-slave 3.63 0:03.66
queue/queue_1000 ERROR profiling-release_4.6_r3116-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:17:56 BST 2014 unknown po (0) jenkins-slave
slayer/ex1 Property VIOLATED profiling-release_4.6_r3116-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:11:59 BST 2014 10 invalid 22224kb 44 jenkins-slave 0.26 0:00.28
slayer/ex2 Property VIOLATED profiling-release_4.6_r3116-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:11:55 BST 2014 10 valid 6452kb 34 jenkins-slave 0.00 0:00.02
slayer/ex3 Property VIOLATED profiling-release_4.6_r3116-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:12:01 BST 2014 10 invalid 22328kb 125 jenkins-slave 0.53 0:00.57
slayer/ex5 Property HOLDS profiling-release_4.6_r3116-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:12:01 BST 2014 0 valid 22096kb 80 jenkins-slave 0.27 0:00.30
slayer/ex6 Property VIOLATED profiling-release_4.6_r3116-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:11:57 BST 2014 10 invalid 22304kb 98 jenkins-slave 0.52 0:00.57
slayer/ex7 Property HOLDS profiling-release_4.6_r3116-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:11:56 BST 2014 0 valid 22796kb 396 jenkins-slave 0.59 0:00.64
slayer/ex8 Property HOLDS profiling-release_4.6_r3116-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:12:03 BST 2014 0 valid 35216kb 965 jenkins-slave 0.92 0:01.00
slayer/ex9 Property HOLDS profiling-release_4.6_r3116-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:11:58 BST 2014 0 valid 37128kb 1659 jenkins-slave 1.39 0:01.43
smack/array Property HOLDS profiling-release_4.6_r3116-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:11:17 BST 2014 0 valid 22416kb 77 jenkins-slave 0.53 0:00.56
smack/array1 Property HOLDS profiling-release_4.6_r3116-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:11:35 BST 2014 0 valid 22552kb 84 jenkins-slave 0.26 0:00.30
smack/array2 Property HOLDS profiling-release_4.6_r3116-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:11:21 BST 2014 0 valid 23376kb 485 jenkins-slave 0.82 0:00.87
smack/array3 Property HOLDS profiling-release_4.6_r3116-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:11:39 BST 2014 0 valid 23432kb 840 jenkins-slave 1.06 0:01.09
smack/array4 Property HOLDS profiling-release_4.6_r3116-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:11:18 BST 2014 0 valid 26952kb 840 jenkins-slave 1.07 0:01.12
smack/array_free Property HOLDS profiling-release_4.6_r3116-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:11:31 BST 2014 0 valid 22332kb 548 jenkins-slave 0.59 0:00.65
smack/array_free1 Property HOLDS profiling-release_4.6_r3116-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:11:36 BST 2014 0 valid 22336kb 548 jenkins-slave 0.32 0:00.35
smack/array_free2 Property HOLDS profiling-release_4.6_r3116-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:11:46 BST 2014 0 valid 22336kb 548 jenkins-slave 0.60 0:00.66
smack/ase_example Property HOLDS profiling-release_4.6_r3116-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:11:48 BST 2014 0 valid 22512kb 377 jenkins-slave 0.77 0:00.81
smack/dsa_test Property HOLDS profiling-release_4.6_r3116-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:11:23 BST 2014 0 valid 22480kb 85 jenkins-slave 0.42 0:00.44
smack/dsa_test1 Property HOLDS profiling-release_4.6_r3116-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:11:21 BST 2014 0 valid 22448kb 148 jenkins-slave 0.53 0:00.58
smack/dsa_test10 Property HOLDS profiling-release_4.6_r3116-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:11:51 BST 2014 0 valid 24404kb 349 jenkins-slave 0.87 0:00.91
smack/dsa_test11 Property HOLDS profiling-release_4.6_r3116-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:11:47 BST 2014 0 valid 22560kb 150 jenkins-slave 0.27 0:00.30
smack/dsa_test12 Property HOLDS profiling-release_4.6_r3116-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:11:44 BST 2014 0 valid 6304kb 42 jenkins-slave 0.02 0:00.03
smack/dsa_test13 Property HOLDS profiling-release_4.6_r3116-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:11:18 BST 2014 0 valid 6036kb 37 jenkins-slave 0.00 0:00.02
smack/dsa_test14 Property HOLDS profiling-release_4.6_r3116-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:11:27 BST 2014 0 valid 6040kb 38 jenkins-slave 0.01 0:00.02
smack/dsa_test15 Property HOLDS profiling-release_4.6_r3116-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:11:41 BST 2014 0 valid 22984kb 333 jenkins-slave 0.42 0:00.46
smack/dsa_test2 Property HOLDS profiling-release_4.6_r3116-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:11:37 BST 2014 0 valid 6040kb 39 jenkins-slave 0.00 0:00.01
smack/dsa_test3 Property HOLDS profiling-release_4.6_r3116-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:11:51 BST 2014 0 valid 22444kb 148 jenkins-slave 0.54 0:00.59
smack/dsa_test4 Property HOLDS profiling-release_4.6_r3116-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:11:50 BST 2014 0 valid 22976kb 105 jenkins-slave 0.55 0:00.60
smack/dsa_test5 Property HOLDS profiling-release_4.6_r3116-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:11:29 BST 2014 0 valid 23192kb 126 jenkins-slave 0.57 0:00.62
smack/dsa_test6 Property HOLDS profiling-release_4.6_r3116-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:11:26 BST 2014 0 valid 23564kb 203 jenkins-slave 0.70 0:00.76
smack/dsa_test7 Property HOLDS profiling-release_4.6_r3116-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:11:34 BST 2014 0 valid 6304kb 42 jenkins-slave 0.01 0:00.01
smack/dsa_test8 Property HOLDS profiling-release_4.6_r3116-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:11:55 BST 2014 0 valid 21916kb 90 jenkins-slave 0.52 0:00.56
smack/dsa_test9 Property HOLDS profiling-release_4.6_r3116-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:11:30 BST 2014 0 valid 22508kb 113 jenkins-slave 0.52 0:00.59
smack/simple Property HOLDS profiling-release_4.6_r3116-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:11:34 BST 2014 0 valid 6040kb 34 jenkins-slave 0.00 0:00.02
smack/simple_double_free Property VIOLATED profiling-release_4.6_r3116-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:11:25 BST 2014 10 invalid 22392kb 98 jenkins-slave 0.43 0:00.47
smack/simple_fail Property VIOLATED profiling-release_4.6_r3116-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:11:23 BST 2014 10 invalid 6424kb 32 jenkins-slave 0.01 0:00.02
smack/simple_pre Property HOLDS profiling-release_4.6_r3116-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:11:48 BST 2014 0 valid 6036kb 35 jenkins-slave 0.00 0:00.01
smack/simple_pre1 Property HOLDS profiling-release_4.6_r3116-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:11:39 BST 2014 0 valid 6044kb 36 jenkins-slave 0.00 0:00.01
smack/simple_pre2 Property HOLDS profiling-release_4.6_r3116-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:11:19 BST 2014 0 valid 6476kb 37 jenkins-slave 0.01 0:00.02
smack/simple_pre3 Property HOLDS profiling-release_4.6_r3116-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:11:44 BST 2014 0 valid 6040kb 35 jenkins-slave 0.01 0:00.02
smack/two_arrays Property HOLDS profiling-release_4.6_r3116-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:11:43 BST 2014 0 valid 27148kb 2766 jenkins-slave 2.46 0:02.51
smack/two_arrays1 Property HOLDS profiling-release_4.6_r3116-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:11:50 BST 2014 0 valid 46688kb 3682 jenkins-slave 3.02 0:03.08
smack/two_arrays2 Property HOLDS profiling-release_4.6_r3116-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:11:39 BST 2014 0 valid 46692kb 3684 jenkins-slave 4.19 0:04.27
smack/two_arrays6 Property HOLDS profiling-release_4.6_r3116-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:11:30 BST 2014 0 valid 46724kb 3687 jenkins-slave 4.14 0:04.22
smack/vmcai_bytes Property HOLDS profiling-release_4.6_r3116-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:11:38 BST 2014 0 valid 6588kb 35 jenkins-slave 0.00 0:00.01
smack/vmcai_struct Property HOLDS profiling-release_4.6_r3116-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:11:26 BST 2014 0 valid 22344kb 67 jenkins-slave 0.52 0:00.55
snu/bs Property HOLDS profiling-release_4.6_r3116-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:22:21 BST 2014 0 valid 6784kb 95 jenkins-slave 0.02 0:00.02
snu/crc Property HOLDS profiling-release_4.6_r3116-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:22:08 BST 2014 0 valid 48192kb 22282 jenkins-slave 23.58 0:23.65
snu/fibcall Property HOLDS profiling-release_4.6_r3116-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:22:05 BST 2014 0 valid 6920kb 286 jenkins-slave 0.02 0:00.03
snu/insertsort Property HOLDS profiling-release_4.6_r3116-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:22:16 BST 2014 0 valid 15684kb 1159 jenkins-slave 1.12 0:01.16
snu/jfdctint Property VIOLATED profiling-release_4.6_r3116-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:22:09 BST 2014 10 invalid 24736kb 2579 jenkins-slave 2.61 0:02.64
snu/matmul Property HOLDS profiling-release_4.6_r3116-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:22:04 BST 2014 0 invalid 11804kb 1859 jenkins-slave 1.35 0:01.36
urbiva/bitcount16 Property VIOLATED profiling-release_4.6_r3116-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:21:56 BST 2014 10 invalid 7476kb 196 jenkins-slave 0.05 0:00.06
urbiva/bitcount32 Property VIOLATED profiling-release_4.6_r3116-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:21:58 BST 2014 10 invalid 8100kb 323 jenkins-slave 0.08 0:00.09
urbiva/fermat Property VIOLATED profiling-release_4.6_r3116-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:21:35 BST 2014 10 invalid 33656kb 138 jenkins-slave 0.97 0:01.03
urbiva/graycode Property VIOLATED profiling-release_4.6_r3116-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:21:53 BST 2014 10 invalid 22548kb 182 jenkins-slave 0.61 0:00.66
urbiva/magic Property VIOLATED profiling-release_4.6_r3116-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:21:45 BST 2014 10 invalid 22708kb 247 jenkins-slave 0.36 0:00.40
urbiva/matrixsqrt Property VIOLATED profiling-release_4.6_r3116-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:21:28 BST 2014 10 invalid 59940kb 457 jenkins-slave 2.71 0:02.80
urbiva/queens Property VIOLATED profiling-release_4.6_r3116-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:21:39 BST 2014 10 invalid 28720kb 3840 jenkins-slave 3.63 0:03.70
urbiva/send-more-money Property VIOLATED profiling-release_4.6_r3116-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:22:02 BST 2014 10 invalid 13864kb 70 jenkins-slave 0.17 0:00.18
urbiva/sort Property VIOLATED profiling-release_4.6_r3116-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:21:48 BST 2014 10 invalid 23428kb 2204 jenkins-slave 2.06 0:02.10
urbiva/sudoku Property VIOLATED profiling-release_4.6_r3116-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:22:02 BST 2014 10 invalid 23572kb 245 jenkins-slave 0.38 0:00.41
wcet/adpcm Property VIOLATED profiling-release_4.6_r3116-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:20:40 BST 2014 10 invalid 14056kb 1301 jenkins-slave 0.65 0:00.69
wcet/bs Property HOLDS profiling-release_4.6_r3116-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:21:18 BST 2014 0 valid 6792kb 106 jenkins-slave 0.03 0:00.04
wcet/bsort100 Property HOLDS profiling-release_4.6_r3116-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:19:29 BST 2014 0 valid 462356kb 96298 jenkins-slave 68.18 1:08.55
wcet/cnt Property HOLDS profiling-release_4.6_r3116-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:20:13 BST 2014 0 invalid 24084kb 4033 jenkins-slave 2.77 0:02.82
wcet/compress Property VIOLATED profiling-release_4.6_r3116-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:21:13 BST 2014 10 invalid 11588kb 623 jenkins-slave 0.38 0:00.40
wcet/cover Property HOLDS profiling-release_4.6_r3116-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:20:41 BST 2014 0 valid 16496kb 36706 jenkins-slave 2.73 0:02.76
wcet/crc Property HOLDS profiling-release_4.6_r3116-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:20:14 BST 2014 0 valid 48196kb 22282 jenkins-slave 21.44 0:21.53
wcet/duff Property HOLDS profiling-release_4.6_r3116-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:20:45 BST 2014 0 valid 11880kb 1303 jenkins-slave 1.54 0:01.55
wcet/edn Property VIOLATED profiling-release_4.6_r3116-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:20:55 BST 2014 10 invalid 27820kb 945 jenkins-slave 1.77 0:01.79
wcet/expint Property HOLDS profiling-release_4.6_r3116-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:20:49 BST 2014 0 valid 9076kb 1930 jenkins-slave 0.30 0:00.30
wcet/fac Property HOLDS profiling-release_4.6_r3116-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:20:04 BST 2014 0 valid 6964kb 311 jenkins-slave 0.05 0:00.07
wcet/fdct TIMEOUT profiling-release_4.6_r3116-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:19:59 BST 2014 124 valid 537704kb 2302 jenkins-slave 119.41 2:00.08
wcet/fibcall Property HOLDS profiling-release_4.6_r3116-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:20:11 BST 2014 0 valid 6908kb 283 jenkins-slave 0.06 0:00.07
wcet/fir ERROR profiling-release_4.6_r3116-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:20:55 BST 2014 unknown po (0) jenkins-slave
wcet/insertsort Property HOLDS profiling-release_4.6_r3116-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:20:38 BST 2014 0 valid 7640kb 539 jenkins-slave 0.13 0:00.14
wcet/janne_complex Property HOLDS profiling-release_4.6_r3116-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:20:37 BST 2014 0 valid 6776kb 301 jenkins-slave 0.06 0:00.06
wcet/jfdctint Property VIOLATED profiling-release_4.6_r3116-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:20:18 BST 2014 10 invalid 24392kb 2573 jenkins-slave 2.60 0:02.62
wcet/loop3 Property HOLDS profiling-release_4.6_r3116-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:20:40 BST 2014 0 valid 12228kb 4173 jenkins-slave 0.87 0:00.90
wcet/matmult ERROR profiling-release_4.6_r3116-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:21:01 BST 2014 unknown po (0) jenkins-slave
wcet/minmax Property HOLDS profiling-release_4.6_r3116-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:20:53 BST 2014 0 valid 6772kb 74 jenkins-slave 0.03 0:00.04
wcet/ndes Property HOLDS profiling-release_4.6_r3116-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:20:44 BST 2014 0 valid 145168kb 30724 jenkins-slave 25.81 0:25.94
wcet/ns Property HOLDS profiling-release_4.6_r3116-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:21:21 BST 2014 0 valid 10248kb 4489 jenkins-slave 3.31 0:03.33
wcet/nsichneu Property HOLDS profiling-release_4.6_r3116-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:20:52 BST 2014 0 valid 30696kb 3815 jenkins-slave 0.96 0:00.99
wcet/prime Property HOLDS profiling-release_4.6_r3116-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:20:47 BST 2014 0 valid 13696kb 6134 jenkins-slave 2.77 0:02.78
wcet/recursion Property HOLDS profiling-release_4.6_r3116-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:19:26 BST 2014 0 valid 10452kb 2238 jenkins-slave 0.72 0:00.74
wcet/select Property VIOLATED profiling-release_4.6_r3116-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:20:07 BST 2014 10 invalid 7724kb 129 jenkins-slave 0.10 0:00.12
wcet/statemate Property HOLDS profiling-release_4.6_r3116-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:20:00 BST 2014 0 valid 9584kb 1460 jenkins-slave 0.39 0:00.41
wcet/ud Property HOLDS profiling-release_4.6_r3116-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:20:23 BST 2014 0 valid 610040kb 1809 jenkins-slave 9.17 0:09.65
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.