* profiling-trunk-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 20;profiling-trunk-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 51;profiling-trunk-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --unwind 10;profiling-trunk-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 358;profiling-trunk-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 7;profiling-trunk-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 3;profiling-trunk-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 11;profiling-trunk-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 1001;profiling-trunk-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --no-unwinding-assertions;profiling-trunk-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 1;profiling-trunk-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --unwind 17;profiling-trunk-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function simpleWhile --unwind 1001;profiling-trunk-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 16;profiling-trunk-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --unwind 6;profiling-trunk-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 15;profiling-trunk-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 13;profiling-trunk-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 18;profiling-trunk-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 14;profiling-trunk-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 201;profiling-trunk-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 100;profiling-trunk-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --unwind 1001;profiling-trunk-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 12;profiling-trunk-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main;profiling-trunk-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 257;profiling-trunk-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 50;profiling-trunk-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function intSqRoot --unwind 201;profiling-trunk-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 1025;profiling-trunk-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check;profiling-trunk-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --unwind 11;profiling-trunk-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 1001 --no-unwinding-assertions;profiling-trunk-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 21;profiling-trunk-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 8;profiling-trunk-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 31;profiling-trunk-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 27;profiling-trunk-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 24;profiling-trunk-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 5;profiling-trunk-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 17;profiling-trunk-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --unwind 101;profiling-trunk-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 19;profiling-trunk-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 10;profiling-trunk-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --unwind 4;profiling-trunk-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 6;profiling-trunk-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 9;profiling-trunk-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 101 version 5.1 results *
Timeout: 120s Memory limit: unlimitedkb
Tue Aug 11 18:45:42 2015
Benchmark Result commandline date exitcode expected maxmem mt_max_constr ssa-size user usertime wallclock
anonymous/bubbleSort Property HOLDS profiling-trunk-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 Tue 11 Aug 18:42:16 BST 2015 0 valid 402832kb 1468 jenkins-slave 36.05 0:36.41
anonymous/intSqRoot Property HOLDS profiling-trunk-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 Tue 11 Aug 18:41:54 BST 2015 0 valid 1152992kb 3863 jenkins-slave 19.39 0:20.24
anonymous/selectSort TIMEOUT profiling-trunk-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 Tue 11 Aug 18:41:18 BST 2015 124 unknown 4814152kb 1052 jenkins-slave 116.68 2:00.77
anonymous/simpleWhile Property HOLDS profiling-trunk-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 Tue 11 Aug 18:42:25 BST 2015 0 valid 98260kb 8546 jenkins-slave 36.99 0:37.04
eureka/Prim_4 Property HOLDS profiling-trunk-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 Tue 11 Aug 18:35:52 BST 2015 0 valid 13652kb 1687 jenkins-slave 0.16 0:00.17
eureka/Prim_5 Property HOLDS profiling-trunk-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 Tue 11 Aug 18:35:52 BST 2015 0 valid 15764kb 2209 jenkins-slave 0.22 0:00.23
eureka/Prim_6 Property HOLDS profiling-trunk-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 Tue 11 Aug 18:35:43 BST 2015 0 valid 17700kb 2785 jenkins-slave 0.29 0:00.31
eureka/Prim_7 Property HOLDS profiling-trunk-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 Tue 11 Aug 18:35:48 BST 2015 0 valid 21252kb 3415 jenkins-slave 0.38 0:00.40
eureka/Prim_8 Property HOLDS profiling-trunk-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 Tue 11 Aug 18:35:45 BST 2015 0 valid 24868kb 4099 jenkins-slave 0.48 0:00.51
eureka/array_init Property HOLDS profiling-trunk-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 Tue 11 Aug 18:35:41 BST 2015 0 valid 9704kb 88 jenkins-slave 0.01 0:00.01
eureka/array_init_assign Property HOLDS profiling-trunk-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 Tue 11 Aug 18:35:40 BST 2015 0 valid 9632kb 60 jenkins-slave 0.00 0:00.01
eureka/bf10 Property HOLDS profiling-trunk-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 Tue 11 Aug 18:35:43 BST 2015 0 valid 11844kb 867 jenkins-slave 0.10 0:00.11
eureka/bf11 Property HOLDS profiling-trunk-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 Tue 11 Aug 18:35:49 BST 2015 0 valid 12444kb 940 jenkins-slave 0.12 0:00.12
eureka/bf12 Property HOLDS profiling-trunk-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 Tue 11 Aug 18:35:50 BST 2015 0 valid 12384kb 1013 jenkins-slave 0.12 0:00.13
eureka/bf13 Property HOLDS profiling-trunk-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 Tue 11 Aug 18:35:45 BST 2015 0 valid 12528kb 1086 jenkins-slave 0.14 0:00.14
eureka/bf14 Property HOLDS profiling-trunk-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 Tue 11 Aug 18:35:52 BST 2015 0 valid 13268kb 1159 jenkins-slave 0.15 0:00.15
eureka/bf15 Property HOLDS profiling-trunk-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 Tue 11 Aug 18:35:46 BST 2015 0 valid 12928kb 1232 jenkins-slave 0.16 0:00.16
eureka/bf16 Property HOLDS profiling-trunk-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 Tue 11 Aug 18:35:40 BST 2015 0 valid 13024kb 1305 jenkins-slave 0.16 0:00.17
eureka/bf17 Property HOLDS profiling-trunk-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 Tue 11 Aug 18:35:49 BST 2015 0 valid 13804kb 1378 jenkins-slave 0.18 0:00.19
eureka/bf18 Property HOLDS profiling-trunk-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 Tue 11 Aug 18:35:50 BST 2015 0 valid 13928kb 1451 jenkins-slave 0.18 0:00.20
eureka/bf19 Property HOLDS profiling-trunk-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 Tue 11 Aug 18:35:45 BST 2015 0 valid 13916kb 1524 jenkins-slave 0.20 0:00.21
eureka/bf20 Property HOLDS profiling-trunk-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 Tue 11 Aug 18:35:50 BST 2015 0 valid 14880kb 1597 jenkins-slave 0.21 0:00.22
eureka/bf5 Property HOLDS profiling-trunk-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 Tue 11 Aug 18:35:51 BST 2015 0 valid 10956kb 502 jenkins-slave 0.05 0:00.06
eureka/bf6 Property HOLDS profiling-trunk-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 Tue 11 Aug 18:35:52 BST 2015 0 valid 11236kb 575 jenkins-slave 0.06 0:00.07
eureka/bf7 Property HOLDS profiling-trunk-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 Tue 11 Aug 18:35:46 BST 2015 0 valid 11288kb 648 jenkins-slave 0.07 0:00.08
eureka/bf8 Property HOLDS profiling-trunk-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 Tue 11 Aug 18:35:40 BST 2015 0 valid 11352kb 721 jenkins-slave 0.08 0:00.09
eureka/bf9 Property HOLDS profiling-trunk-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 Tue 11 Aug 18:35:48 BST 2015 0 valid 11828kb 794 jenkins-slave 0.09 0:00.10
eureka/bubblesort Property VIOLATED profiling-trunk-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 Tue 11 Aug 18:35:45 BST 2015 10 invalid 9824kb 129 jenkins-slave 0.01 0:00.02
eureka/bubblesort_inner_loop Property VIOLATED profiling-trunk-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 Tue 11 Aug 18:35:42 BST 2015 10 invalid 9828kb 71 jenkins-slave 0.01 0:00.01
eureka/complex_guard Property HOLDS profiling-trunk-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 Tue 11 Aug 18:35:41 BST 2015 0 valid 9836kb 66 jenkins-slave 0.00 0:00.01
eureka/loop_on_input Property VIOLATED profiling-trunk-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 Tue 11 Aug 18:35:41 BST 2015 10 invalid 10328kb 97 jenkins-slave 0.01 0:00.02
eureka/sequential_swap Property HOLDS profiling-trunk-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 Tue 11 Aug 18:35:47 BST 2015 0 valid 9388kb 71 jenkins-slave 0.00 0:00.01
eureka/simple_array_inversion Property HOLDS profiling-trunk-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 Tue 11 Aug 18:35:40 BST 2015 0 valid 9772kb 57 jenkins-slave 0.00 0:00.01
eureka/simple_control_on_input Property VIOLATED profiling-trunk-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 Tue 11 Aug 18:35:47 BST 2015 10 invalid 31888kb 298 jenkins-slave 0.38 0:00.40
eureka/simple_swap_call Property HOLDS profiling-trunk-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 Tue 11 Aug 18:35:43 BST 2015 0 valid 9388kb 52 jenkins-slave 0.01 0:00.01
eureka/wrong_loop Property VIOLATED profiling-trunk-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 Tue 11 Aug 18:35:43 BST 2015 10 invalid 9788kb 69 jenkins-slave 0.01 0:00.01
necla/ex1 Property HOLDS profiling-trunk-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 Tue 11 Aug 18:39:52 BST 2015 0 valid 92884kb 10794 jenkins-slave 22.42 0:22.47
necla/ex10 Property VIOLATED profiling-trunk-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 Tue 11 Aug 18:40:47 BST 2015 10 invalid 21144kb 689 jenkins-slave 0.43 0:00.47
necla/ex11 Property HOLDS profiling-trunk-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 Tue 11 Aug 18:40:23 BST 2015 0 valid 80000kb 12049 jenkins-slave 7.10 0:07.17
necla/ex12 Property VIOLATED profiling-trunk-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 Tue 11 Aug 18:39:39 BST 2015 10 invalid 9900kb 97 jenkins-slave 0.02 0:00.04
necla/ex13 Property VIOLATED profiling-trunk-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 Tue 11 Aug 18:38:40 BST 2015 10 invalid 10100kb 37 jenkins-slave 0.01 0:00.02
necla/ex14 Property HOLDS profiling-trunk-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 Tue 11 Aug 18:40:18 BST 2015 0 valid 9944kb 97 jenkins-slave 0.01 0:00.01
necla/ex15 Property HOLDS profiling-trunk-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 Tue 11 Aug 18:40:27 BST 2015 0 valid 10576kb 139 jenkins-slave 0.02 0:00.02
necla/ex16 Property HOLDS profiling-trunk-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 Tue 11 Aug 18:38:21 BST 2015 0 valid 14044kb 3078 jenkins-slave 0.19 0:00.20
necla/ex17 Property HOLDS profiling-trunk-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 Tue 11 Aug 18:40:20 BST 2015 0 valid 41424kb 545 jenkins-slave 0.29 0:00.35
necla/ex18 TIMEOUT profiling-trunk-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 Tue 11 Aug 18:36:24 BST 2015 124 valid 1829572kb 2926 jenkins-slave 118.55 2:00.31
necla/ex19 Property VIOLATED profiling-trunk-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 Tue 11 Aug 18:40:32 BST 2015 10 invalid 259140kb 9054 jenkins-slave 42.82 0:43.01
necla/ex2 TIMEOUT profiling-trunk-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 Tue 11 Aug 18:36:16 BST 2015 124 unknown 5476392kb 7271 jenkins-slave 116.66 2:00.82
necla/ex20 Property VIOLATED profiling-trunk-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 Tue 11 Aug 18:38:46 BST 2015 10 invalid 201084kb 9285 jenkins-slave 51.30 0:51.45
necla/ex21 Property HOLDS profiling-trunk-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 Tue 11 Aug 18:38:53 BST 2015 0 valid 28296kb 4539 jenkins-slave 1.67 0:01.71
necla/ex22 Property HOLDS profiling-trunk-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 Tue 11 Aug 18:38:31 BST 2015 0 valid 16500kb 1513 jenkins-slave 0.18 0:00.20
necla/ex23 Property HOLDS profiling-trunk-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 Tue 11 Aug 18:39:41 BST 2015 0 valid 337184kb 337 jenkins-slave 6.90 0:07.25
necla/ex26 Property VIOLATED profiling-trunk-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 Tue 11 Aug 18:38:26 BST 2015 10 invalid 66684kb 5139 jenkins-slave 3.01 0:03.13
necla/ex27 Property VIOLATED profiling-trunk-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 Tue 11 Aug 18:38:59 BST 2015 10 invalid 51252kb 5464 jenkins-slave 1.14 0:01.16
necla/ex29 Property HOLDS profiling-trunk-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 Tue 11 Aug 18:38:44 BST 2015 0 valid 33100kb 1426 jenkins-slave 0.51 0:00.54
necla/ex3 Property VIOLATED profiling-trunk-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 Tue 11 Aug 18:40:16 BST 2015 10 invalid 10388kb 96 jenkins-slave 0.00 0:00.01
necla/ex30 TIMEOUT profiling-trunk-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 Tue 11 Aug 18:39:07 BST 2015 124 unknown 3589340kb 6559 jenkins-slave 117.59 2:00.68
necla/ex31 Property HOLDS profiling-trunk-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 Tue 11 Aug 18:39:02 BST 2015 0 valid 9864kb 66 jenkins-slave 0.00 0:00.01
necla/ex32 Property HOLDS profiling-trunk-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 Tue 11 Aug 18:36:16 BST 2015 0 valid 1535368kb 14058 jenkins-slave 5.49 0:06.38
necla/ex33 ERROR profiling-trunk-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 Tue 11 Aug 18:36:17 BST 2015 unknown po (0) jenkins-slave
necla/ex34 Property HOLDS profiling-trunk-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 Tue 11 Aug 18:38:19 BST 2015 0 valid 11816kb 149 jenkins-slave 0.04 0:00.04
necla/ex36_free ERROR profiling-trunk-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 Tue 11 Aug 18:38:33 BST 2015 unknown po (0) jenkins-slave
necla/ex36_read ERROR profiling-trunk-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 Tue 11 Aug 18:38:23 BST 2015 unknown po (0) jenkins-slave
necla/ex37 Property HOLDS profiling-trunk-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 Tue 11 Aug 18:40:29 BST 2015 0 valid 31888kb 76 jenkins-slave 0.24 0:00.28
necla/ex4 Property VIOLATED profiling-trunk-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 Tue 11 Aug 18:38:42 BST 2015 10 invalid 10952kb 400 jenkins-slave 0.03 0:00.04
necla/ex40 Property VIOLATED profiling-trunk-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 Tue 11 Aug 18:40:44 BST 2015 10 invalid 36056kb 1060 jenkins-slave 0.48 0:00.52
necla/ex43 Property VIOLATED profiling-trunk-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 Tue 11 Aug 18:36:17 BST 2015 10 invalid 532452kb 8848 jenkins-slave 17.42 0:17.93
necla/ex46 Property HOLDS profiling-trunk-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 Tue 11 Aug 18:41:09 BST 2015 0 invalid 539932kb 338 jenkins-slave 43.17 0:43.67
necla/ex47 Property VIOLATED profiling-trunk-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 Tue 11 Aug 18:40:49 BST 2015 10 invalid 274068kb 327 jenkins-slave 19.56 0:19.80
necla/ex49 Property HOLDS profiling-trunk-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 Tue 11 Aug 18:38:18 BST 2015 0 valid 105196kb 9049 jenkins-slave 33.22 0:33.31
necla/ex5 Property HOLDS profiling-trunk-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 Tue 11 Aug 18:40:22 BST 2015 0 valid 9708kb 40 jenkins-slave 0.00 0:00.01
necla/ex6 Property HOLDS profiling-trunk-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 Tue 11 Aug 18:38:57 BST 2015 0 valid 9860kb 57 jenkins-slave 0.00 0:00.01
necla/ex7 TIMEOUT profiling-trunk-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 Tue 11 Aug 18:36:38 BST 2015 124 unknown 3643436kb 13102 jenkins-slave 117.74 2:00.70
necla/ex8 ERROR profiling-trunk-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 Tue 11 Aug 18:40:34 BST 2015 unknown po (0) jenkins-slave
necla/ex9 Property HOLDS profiling-trunk-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 Tue 11 Aug 18:39:03 BST 2015 0 valid 41344kb 354 jenkins-slave 1.10 0:01.14
necla/inf1 Property VIOLATED profiling-trunk-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 Tue 11 Aug 18:36:37 BST 2015 10 invalid 9984kb 62 jenkins-slave 0.01 0:00.02
necla/inf3 Property VIOLATED profiling-trunk-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 Tue 11 Aug 18:40:33 BST 2015 10 valid 286844kb 755 jenkins-slave 9.90 0:10.26
necla/inf4 Property VIOLATED profiling-trunk-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 Tue 11 Aug 18:40:26 BST 2015 10 invalid 10324kb 113 jenkins-slave 0.02 0:00.03
necla/inf5 Property VIOLATED profiling-trunk-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 Tue 11 Aug 18:39:51 BST 2015 10 invalid 9992kb 117 jenkins-slave 0.02 0:00.02
necla/inf6 Property HOLDS profiling-trunk-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 Tue 11 Aug 18:36:15 BST 2015 0 valid 9716kb 74 jenkins-slave 0.00 0:00.01
necla/inf8 Property HOLDS profiling-trunk-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 Tue 11 Aug 18:40:24 BST 2015 0 valid 9728kb 94 jenkins-slave 0.00 0:00.01
queue/queue_1 Property HOLDS profiling-trunk-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 Tue 11 Aug 18:41:15 BST 2015 0 valid 9884kb 79 jenkins-slave 0.01 0:00.02
queue/queue_10 Property HOLDS profiling-trunk-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 Tue 11 Aug 18:41:16 BST 2015 0 valid 10256kb 394 jenkins-slave 0.06 0:00.08
queue/queue_100 Property HOLDS profiling-trunk-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 Tue 11 Aug 18:41:11 BST 2015 0 valid 33500kb 3544 jenkins-slave 1.62 0:01.66
queue/queue_1000 Property HOLDS profiling-trunk-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 Tue 11 Aug 18:41:17 BST 2015 0 unknown 2060816kb 35044 jenkins-slave 64.80 1:06.02
slayer/ex1 Property VIOLATED profiling-trunk-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 Tue 11 Aug 18:36:13 BST 2015 10 invalid 31536kb 43 jenkins-slave 0.24 0:00.27
slayer/ex2 Property HOLDS profiling-trunk-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 Tue 11 Aug 18:36:11 BST 2015 0 valid 8292kb 35 jenkins-slave 0.00 0:00.01
slayer/ex3 Property VIOLATED profiling-trunk-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 Tue 11 Aug 18:36:13 BST 2015 10 invalid 31628kb 117 jenkins-slave 0.25 0:00.28
slayer/ex5 Property HOLDS profiling-trunk-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 Tue 11 Aug 18:36:14 BST 2015 0 valid 31600kb 83 jenkins-slave 0.23 0:00.27
slayer/ex6 Property VIOLATED profiling-trunk-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 Tue 11 Aug 18:36:12 BST 2015 10 invalid 31612kb 87 jenkins-slave 0.24 0:00.28
slayer/ex7 Property HOLDS profiling-trunk-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 Tue 11 Aug 18:36:11 BST 2015 0 valid 32044kb 405 jenkins-slave 0.26 0:00.30
slayer/ex8 Property HOLDS profiling-trunk-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 Tue 11 Aug 18:36:15 BST 2015 0 valid 46636kb 887 jenkins-slave 0.88 0:00.93
slayer/ex9 Property HOLDS profiling-trunk-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 Tue 11 Aug 18:36:13 BST 2015 0 valid 51960kb 1516 jenkins-slave 1.29 0:01.34
smack/array Property HOLDS profiling-trunk-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 Tue 11 Aug 18:35:53 BST 2015 0 valid 31616kb 74 jenkins-slave 0.23 0:00.27
smack/array1 Property HOLDS profiling-trunk-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 Tue 11 Aug 18:36:01 BST 2015 0 valid 31820kb 85 jenkins-slave 0.26 0:00.31
smack/array2 Property HOLDS profiling-trunk-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 Tue 11 Aug 18:35:55 BST 2015 0 valid 32448kb 533 jenkins-slave 0.32 0:00.34
smack/array3 Property HOLDS profiling-trunk-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 Tue 11 Aug 18:36:04 BST 2015 0 valid 32484kb 935 jenkins-slave 0.36 0:00.40
smack/array4 Property HOLDS profiling-trunk-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 Tue 11 Aug 18:35:54 BST 2015 0 valid 36176kb 935 jenkins-slave 0.42 0:00.46
smack/array_free Property HOLDS profiling-trunk-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 Tue 11 Aug 18:35:59 BST 2015 0 valid 31548kb 248 jenkins-slave 0.28 0:00.29
smack/array_free1 Property HOLDS profiling-trunk-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 Tue 11 Aug 18:36:02 BST 2015 0 valid 31568kb 248 jenkins-slave 0.26 0:00.29
smack/array_free2 Property HOLDS profiling-trunk-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 Tue 11 Aug 18:36:06 BST 2015 0 valid 31628kb 248 jenkins-slave 0.25 0:00.29
smack/ase_example Property HOLDS profiling-trunk-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 Tue 11 Aug 18:36:08 BST 2015 0 valid 31660kb 426 jenkins-slave 0.32 0:00.34
smack/dsa_test Property HOLDS profiling-trunk-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 Tue 11 Aug 18:35:56 BST 2015 0 valid 31600kb 84 jenkins-slave 0.24 0:00.27
smack/dsa_test1 Property HOLDS profiling-trunk-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 Tue 11 Aug 18:35:55 BST 2015 0 valid 31692kb 153 jenkins-slave 0.25 0:00.28
smack/dsa_test10 Property HOLDS profiling-trunk-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 Tue 11 Aug 18:36:10 BST 2015 0 valid 33304kb 408 jenkins-slave 0.34 0:00.36
smack/dsa_test11 Property HOLDS profiling-trunk-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 Tue 11 Aug 18:36:08 BST 2015 0 valid 31824kb 146 jenkins-slave 0.26 0:00.28
smack/dsa_test12 Property HOLDS profiling-trunk-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 Tue 11 Aug 18:36:06 BST 2015 0 valid 9680kb 50 jenkins-slave 0.00 0:00.01
smack/dsa_test13 Property HOLDS profiling-trunk-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 Tue 11 Aug 18:35:54 BST 2015 0 valid 8204kb 39 jenkins-slave 0.00 0:00.01
smack/dsa_test14 Property HOLDS profiling-trunk-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 Tue 11 Aug 18:35:58 BST 2015 0 valid 9652kb 43 jenkins-slave 0.00 0:00.01
smack/dsa_test15 Property HOLDS profiling-trunk-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 Tue 11 Aug 18:36:04 BST 2015 0 valid 32052kb 388 jenkins-slave 0.31 0:00.35
smack/dsa_test2 Property HOLDS profiling-trunk-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 Tue 11 Aug 18:36:03 BST 2015 0 valid 9704kb 47 jenkins-slave 0.00 0:00.01
smack/dsa_test3 Property HOLDS profiling-trunk-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 Tue 11 Aug 18:36:10 BST 2015 0 valid 31668kb 153 jenkins-slave 0.26 0:00.28
smack/dsa_test4 Property HOLDS profiling-trunk-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 Tue 11 Aug 18:36:09 BST 2015 0 valid 32100kb 114 jenkins-slave 0.26 0:00.29
smack/dsa_test5 Property HOLDS profiling-trunk-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 Tue 11 Aug 18:35:59 BST 2015 0 valid 32700kb 130 jenkins-slave 0.25 0:00.30
smack/dsa_test6 Property HOLDS profiling-trunk-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 Tue 11 Aug 18:35:57 BST 2015 0 valid 32460kb 229 jenkins-slave 0.30 0:00.31
smack/dsa_test7 Property HOLDS profiling-trunk-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 Tue 11 Aug 18:36:01 BST 2015 0 valid 9956kb 56 jenkins-slave 0.00 0:00.01
smack/dsa_test8 Property HOLDS profiling-trunk-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 Tue 11 Aug 18:36:11 BST 2015 0 valid 31440kb 114 jenkins-slave 0.25 0:00.28
smack/dsa_test9 Property HOLDS profiling-trunk-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 Tue 11 Aug 18:35:59 BST 2015 0 valid 31624kb 118 jenkins-slave 0.27 0:00.28
smack/simple Property HOLDS profiling-trunk-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 Tue 11 Aug 18:36:01 BST 2015 0 valid 9568kb 36 jenkins-slave 0.00 0:00.01
smack/simple_double_free Property VIOLATED profiling-trunk-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 Tue 11 Aug 18:35:57 BST 2015 10 invalid 31624kb 91 jenkins-slave 0.23 0:00.27
smack/simple_fail Property VIOLATED profiling-trunk-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 Tue 11 Aug 18:35:56 BST 2015 10 invalid 9628kb 34 jenkins-slave 0.00 0:00.01
smack/simple_pre Property HOLDS profiling-trunk-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 Tue 11 Aug 18:36:08 BST 2015 0 valid 8204kb 38 jenkins-slave 0.00 0:00.01
smack/simple_pre1 Property HOLDS profiling-trunk-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 Tue 11 Aug 18:36:04 BST 2015 0 valid 9440kb 39 jenkins-slave 0.00 0:00.01
smack/simple_pre2 Property HOLDS profiling-trunk-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 Tue 11 Aug 18:35:54 BST 2015 0 valid 9716kb 40 jenkins-slave 0.00 0:00.01
smack/simple_pre3 Property HOLDS profiling-trunk-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 Tue 11 Aug 18:36:06 BST 2015 0 valid 9436kb 38 jenkins-slave 0.00 0:00.01
smack/two_arrays Property HOLDS profiling-trunk-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 Tue 11 Aug 18:36:05 BST 2015 0 valid 34840kb 3252 jenkins-slave 0.73 0:00.75
smack/two_arrays1 Property HOLDS profiling-trunk-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 Tue 11 Aug 18:36:08 BST 2015 0 valid 55916kb 4266 jenkins-slave 1.13 0:01.19
smack/two_arrays2 Property HOLDS profiling-trunk-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 Tue 11 Aug 18:36:03 BST 2015 0 valid 55924kb 4268 jenkins-slave 1.13 0:01.19
smack/two_arrays6 Property HOLDS profiling-trunk-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 Tue 11 Aug 18:35:59 BST 2015 0 valid 55892kb 4271 jenkins-slave 1.14 0:01.19
smack/vmcai_bytes Property HOLDS profiling-trunk-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 Tue 11 Aug 18:36:03 BST 2015 0 valid 9732kb 38 jenkins-slave 0.00 0:00.01
smack/vmcai_struct Property HOLDS profiling-trunk-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 Tue 11 Aug 18:35:57 BST 2015 0 valid 31600kb 80 jenkins-slave 0.24 0:00.27
snu/bs Property HOLDS profiling-trunk-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 Tue 11 Aug 18:43:53 BST 2015 0 valid 9804kb 80 jenkins-slave 0.01 0:00.01
snu/crc Property HOLDS profiling-trunk-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 Tue 11 Aug 18:43:48 BST 2015 0 valid 49992kb 17242 jenkins-slave 7.40 0:07.46
snu/fibcall Property HOLDS profiling-trunk-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 Tue 11 Aug 18:43:47 BST 2015 0 valid 10140kb 259 jenkins-slave 0.01 0:00.02
snu/insertsort Property HOLDS profiling-trunk-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 Tue 11 Aug 18:43:51 BST 2015 0 valid 16212kb 1149 jenkins-slave 0.23 0:00.25
snu/jfdctint Property VIOLATED profiling-trunk-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 Tue 11 Aug 18:43:49 BST 2015 10 invalid 27200kb 2498 jenkins-slave 0.85 0:00.86
snu/matmul Property HOLDS profiling-trunk-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 Tue 11 Aug 18:43:46 BST 2015 0 invalid 16060kb 2823 jenkins-slave 0.83 0:00.84
urbiva/bitcount16 Property VIOLATED profiling-trunk-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 Tue 11 Aug 18:43:43 BST 2015 10 invalid 10472kb 182 jenkins-slave 0.03 0:00.03
urbiva/bitcount32 Property VIOLATED profiling-trunk-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 Tue 11 Aug 18:43:43 BST 2015 10 invalid 10884kb 293 jenkins-slave 0.04 0:00.05
urbiva/fermat Property VIOLATED profiling-trunk-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 Tue 11 Aug 18:43:36 BST 2015 10 invalid 27416kb 130 jenkins-slave 0.50 0:00.54
urbiva/graycode Property VIOLATED profiling-trunk-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 Tue 11 Aug 18:43:41 BST 2015 10 invalid 31776kb 174 jenkins-slave 0.27 0:00.30
urbiva/magic Property VIOLATED profiling-trunk-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 Tue 11 Aug 18:43:38 BST 2015 10 invalid 31992kb 227 jenkins-slave 0.55 0:00.61
urbiva/matrixsqrt Property VIOLATED profiling-trunk-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 Tue 11 Aug 18:43:34 BST 2015 10 invalid 55120kb 463 jenkins-slave 1.71 0:01.81
urbiva/queens Property VIOLATED profiling-trunk-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 Tue 11 Aug 18:43:38 BST 2015 10 invalid 38172kb 4009 jenkins-slave 1.03 0:01.05
urbiva/send-more-money Property VIOLATED profiling-trunk-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 Tue 11 Aug 18:43:44 BST 2015 10 invalid 14760kb 71 jenkins-slave 0.10 0:00.12
urbiva/sort Property VIOLATED profiling-trunk-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 Tue 11 Aug 18:43:40 BST 2015 10 invalid 32764kb 2475 jenkins-slave 1.18 0:01.26
urbiva/sudoku Property VIOLATED profiling-trunk-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 Tue 11 Aug 18:43:45 BST 2015 10 invalid 32656kb 207 jenkins-slave 0.30 0:00.32
wcet/adpcm Property VIOLATED profiling-trunk-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 Tue 11 Aug 18:43:18 BST 2015 10 invalid 17216kb 1220 jenkins-slave 0.35 0:00.37
wcet/bs Property HOLDS profiling-trunk-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 Tue 11 Aug 18:43:32 BST 2015 0 valid 9780kb 91 jenkins-slave 0.00 0:00.01
wcet/bsort100 Property HOLDS profiling-trunk-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 Tue 11 Aug 18:42:39 BST 2015 0 valid 500312kb 115798 jenkins-slave 36.61 0:36.98
wcet/cnt Property HOLDS profiling-trunk-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 Tue 11 Aug 18:43:05 BST 2015 0 invalid 27632kb 4770 jenkins-slave 1.61 0:01.66
wcet/compress Property VIOLATED profiling-trunk-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 Tue 11 Aug 18:43:30 BST 2015 10 invalid 14868kb 574 jenkins-slave 0.11 0:00.13
wcet/cover Property HOLDS profiling-trunk-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 Tue 11 Aug 18:43:20 BST 2015 0 valid 12772kb 1325 jenkins-slave 1.12 0:01.14
wcet/crc Property HOLDS profiling-trunk-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 Tue 11 Aug 18:43:06 BST 2015 0 valid 49844kb 17242 jenkins-slave 7.36 0:07.43
wcet/duff Property HOLDS profiling-trunk-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 Tue 11 Aug 18:43:21 BST 2015 0 valid 15348kb 1753 jenkins-slave 1.29 0:01.30
wcet/edn Property VIOLATED profiling-trunk-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 Tue 11 Aug 18:43:28 BST 2015 10 invalid 31012kb 1446 jenkins-slave 0.90 0:00.93
wcet/expint Property HOLDS profiling-trunk-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 Tue 11 Aug 18:43:24 BST 2015 0 valid 12276kb 1477 jenkins-slave 0.14 0:00.15
wcet/fac Property HOLDS profiling-trunk-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 Tue 11 Aug 18:43:01 BST 2015 0 valid 10028kb 301 jenkins-slave 0.03 0:00.04
wcet/fdct Property HOLDS profiling-trunk-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 Tue 11 Aug 18:42:55 BST 2015 0 valid 17888kb 2718 jenkins-slave 1.24 0:01.26
wcet/fibcall Property HOLDS profiling-trunk-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 Tue 11 Aug 18:43:04 BST 2015 0 valid 10120kb 256 jenkins-slave 0.02 0:00.02
wcet/fir Property VIOLATED profiling-trunk-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 Tue 11 Aug 18:43:26 BST 2015 10 unknown 1788644kb 8701 jenkins-slave 99.02 1:40.66
wcet/insertsort Property HOLDS profiling-trunk-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 Tue 11 Aug 18:43:17 BST 2015 0 valid 10576kb 475 jenkins-slave 0.12 0:00.14
wcet/janne_complex Property HOLDS profiling-trunk-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 Tue 11 Aug 18:43:15 BST 2015 0 valid 9812kb 185 jenkins-slave 0.01 0:00.02
wcet/jfdctint Property VIOLATED profiling-trunk-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 Tue 11 Aug 18:43:08 BST 2015 10 invalid 27160kb 2492 jenkins-slave 1.67 0:01.72
wcet/loop3 Property HOLDS profiling-trunk-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 Tue 11 Aug 18:43:19 BST 2015 0 valid 15988kb 3401 jenkins-slave 0.45 0:00.46
wcet/matmult Property HOLDS profiling-trunk-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 Tue 11 Aug 18:43:28 BST 2015 0 unknown 2075532kb 169915 jenkins-slave 84.37 1:25.94
wcet/minmax Property HOLDS profiling-trunk-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 Tue 11 Aug 18:43:26 BST 2015 0 valid 10088kb 91 jenkins-slave 0.01 0:00.01
wcet/ndes Property HOLDS profiling-trunk-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 Tue 11 Aug 18:43:21 BST 2015 0 valid 139980kb 37060 jenkins-slave 10.55 0:10.69
wcet/ns Property HOLDS profiling-trunk-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 Tue 11 Aug 18:43:33 BST 2015 0 valid 14496kb 3324 jenkins-slave 0.84 0:00.85
wcet/nsichneu Property HOLDS profiling-trunk-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 Tue 11 Aug 18:43:25 BST 2015 0 valid 32544kb 2194 jenkins-slave 1.03 0:01.06
wcet/prime Property HOLDS profiling-trunk-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 Tue 11 Aug 18:43:23 BST 2015 0 valid 17008kb 6146 jenkins-slave 1.06 0:01.09
wcet/recursion Property HOLDS profiling-trunk-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 Tue 11 Aug 18:42:36 BST 2015 0 valid 13792kb 2294 jenkins-slave 0.28 0:00.30
wcet/select Property VIOLATED profiling-trunk-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 Tue 11 Aug 18:43:03 BST 2015 10 invalid 10932kb 117 jenkins-slave 0.07 0:00.08
wcet/statemate Property HOLDS profiling-trunk-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 Tue 11 Aug 18:42:58 BST 2015 0 valid 12568kb 861 jenkins-slave 0.20 0:00.21
wcet/ud Property HOLDS profiling-trunk-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 Tue 11 Aug 18:43:12 BST 2015 0 valid 427800kb 1512 jenkins-slave 9.36 0:09.95
The benchmarks were run on a Linux 3.16.0-4-amd64 64x @@2499.782MHz system equipped with 264654128kb RAM.