* 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 24;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 19;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 257;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 17;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 --function intSqRoot --unwind 201;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 101;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 --unwind 8;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 --unwind 1;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 1025;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 --unwind 14;profiling-trunk-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 101;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 3;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 100;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 18;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 16;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 5;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 201;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 12;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 --unwind 11;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 --unwind 358;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 20;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 27 version 4.9 results *
Timeout: 120s Memory limit: unlimitedkb
Tue Aug 5 01:15:31 2014
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 Aug 5 00:53:06 BST 2014 0 unknown 84312kb 1470 jenkins-slave 7.99 0:08.14
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 Aug 5 00:52:09 BST 2014 0 unknown 1404504kb 3862 jenkins-slave 57.38 0:59.34
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 Aug 5 00:51:32 BST 2014 124 unknown 2373656kb 1054 jenkins-slave 116.66 2:00.47
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 Aug 5 00:53:13 BST 2014 0 unknown 153824kb 8546 jenkins-slave 82.81 1:23.09
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 Aug 5 00:45:06 BST 2014 0 unknown 11436kb 1722 jenkins-slave 0.59 0:00.61
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 Aug 5 00:45:06 BST 2014 0 unknown 13668kb 2253 jenkins-slave 0.83 0:00.85
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 Aug 5 00:44:45 BST 2014 0 unknown 16308kb 2838 jenkins-slave 1.12 0:01.14
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 Aug 5 00:44:56 BST 2014 0 unknown 19880kb 3477 jenkins-slave 1.44 0:01.48
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 Aug 5 00:44:48 BST 2014 0 unknown 23976kb 4170 jenkins-slave 1.86 0:01.90
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 Aug 5 00:44:40 BST 2014 0 unknown 6756kb 87 jenkins-slave 0.02 0:00.04
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 Aug 5 00:44:36 BST 2014 0 unknown 6684kb 59 jenkins-slave 0.01 0:00.03
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 Aug 5 00:44:44 BST 2014 0 unknown 8964kb 836 jenkins-slave 0.35 0:00.37
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 Aug 5 00:44:58 BST 2014 0 unknown 9404kb 906 jenkins-slave 0.39 0:00.41
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 Aug 5 00:45:02 BST 2014 0 unknown 9584kb 976 jenkins-slave 0.43 0:00.44
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 Aug 5 00:44:48 BST 2014 0 unknown 9656kb 1046 jenkins-slave 0.46 0:00.48
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 Aug 5 00:45:05 BST 2014 0 unknown 10344kb 1116 jenkins-slave 0.50 0:00.52
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 Aug 5 00:44:52 BST 2014 0 unknown 10092kb 1186 jenkins-slave 0.53 0:00.54
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 Aug 5 00:44:36 BST 2014 0 unknown 10596kb 1256 jenkins-slave 0.56 0:00.59
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 Aug 5 00:44:59 BST 2014 0 unknown 10956kb 1326 jenkins-slave 0.62 0:00.64
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 Aug 5 00:45:00 BST 2014 0 unknown 11460kb 1396 jenkins-slave 0.66 0:00.68
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 Aug 5 00:44:49 BST 2014 0 unknown 11552kb 1466 jenkins-slave 0.68 0:00.71
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 Aug 5 00:45:02 BST 2014 0 unknown 11952kb 1536 jenkins-slave 0.74 0:00.78
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 Aug 5 00:45:03 BST 2014 0 unknown 7940kb 486 jenkins-slave 0.18 0:00.20
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 Aug 5 00:45:07 BST 2014 0 unknown 8344kb 556 jenkins-slave 0.22 0:00.24
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 Aug 5 00:44:52 BST 2014 0 unknown 8340kb 626 jenkins-slave 0.24 0:00.27
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 Aug 5 00:44:36 BST 2014 0 unknown 8644kb 696 jenkins-slave 0.28 0:00.30
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 Aug 5 00:44:56 BST 2014 0 unknown 8900kb 766 jenkins-slave 0.32 0:00.34
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 Aug 5 00:44:48 BST 2014 10 unknown 6832kb 128 jenkins-slave 0.04 0:00.06
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 Aug 5 00:44:41 BST 2014 10 unknown 6688kb 70 jenkins-slave 0.03 0:00.04
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 Aug 5 00:44:40 BST 2014 0 unknown 6756kb 66 jenkins-slave 0.02 0:00.03
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 Aug 5 00:44:41 BST 2014 10 unknown 7488kb 96 jenkins-slave 0.05 0:00.06
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 Aug 5 00:44:54 BST 2014 0 unknown 6296kb 70 jenkins-slave 0.02 0:00.03
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 Aug 5 00:44:36 BST 2014 0 unknown 6672kb 56 jenkins-slave 0.01 0:00.03
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 Aug 5 00:44:54 BST 2014 10 unknown 27816kb 297 jenkins-slave 1.19 0:01.21
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 Aug 5 00:44:45 BST 2014 0 unknown 6300kb 51 jenkins-slave 0.01 0:00.02
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 Aug 5 00:44:44 BST 2014 10 unknown 6644kb 69 jenkins-slave 0.01 0:00.03
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 Aug 5 00:50:19 BST 2014 0 unknown 88932kb 10281 jenkins-slave 15.18 0:15.33
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 Aug 5 00:51:08 BST 2014 10 unknown 22596kb 609 jenkins-slave 0.72 0:00.75
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 Aug 5 00:50:32 BST 2014 0 unknown 191744kb 12048 jenkins-slave 26.26 0:26.52
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 Aug 5 00:49:59 BST 2014 10 unknown 6916kb 96 jenkins-slave 0.04 0:00.05
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 Aug 5 00:49:01 BST 2014 10 unknown 7192kb 36 jenkins-slave 0.03 0:00.05
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 Aug 5 00:50:24 BST 2014 0 unknown 6852kb 96 jenkins-slave 0.02 0:00.04
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 Aug 5 00:50:40 BST 2014 0 unknown 7484kb 136 jenkins-slave 0.06 0:00.08
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 Aug 5 00:48:11 BST 2014 0 unknown 11072kb 3074 jenkins-slave 0.63 0:00.66
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 Aug 5 00:50:28 BST 2014 0 unknown 32340kb 544 jenkins-slave 0.72 0:00.78
necla/ex18 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/necla/ex18.bin Tue Aug 5 00:46:22 BST 2014 0 unknown 1397920kb 2925 jenkins-slave 79.30 1:21.95
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 Aug 5 00:50:44 BST 2014 10 unknown 262788kb 9053 jenkins-slave 81.64 1:22.06
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 Aug 5 00:46:02 BST 2014 124 unknown 4799408kb 7273 jenkins-slave 114.35 2:01.20
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 Aug 5 00:49:06 BST 2014 10 unknown 242344kb 9284 jenkins-slave 113.46 1:53.85
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 Aug 5 00:49:10 BST 2014 0 unknown 25108kb 4538 jenkins-slave 2.95 0:02.98
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 Aug 5 00:48:24 BST 2014 0 unknown 13164kb 1429 jenkins-slave 0.59 0:00.62
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 Aug 5 00:50:03 BST 2014 0 unknown 332700kb 333 jenkins-slave 13.11 0:13.58
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 Aug 5 00:48:15 BST 2014 10 unknown 63556kb 5138 jenkins-slave 5.06 0:05.15
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 Aug 5 00:49:21 BST 2014 10 unknown 47284kb 5176 jenkins-slave 3.57 0:03.64
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 Aug 5 00:49:05 BST 2014 0 unknown 24384kb 1423 jenkins-slave 1.38 0:01.41
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 Aug 5 00:50:20 BST 2014 10 unknown 7256kb 95 jenkins-slave 0.03 0:00.04
necla/ex30 ERROR 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 Aug 5 00:49:38 BST 2014 10 unknown 34368kb 6558 jenkins-slave 17.09 0:17.15
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 Aug 5 00:49:28 BST 2014 0 unknown 6732kb 65 jenkins-slave 0.02 0:00.04
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 Aug 5 00:46:03 BST 2014 0 unknown 1532092kb 14054 jenkins-slave 13.42 0:15.25
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 Aug 5 00:46:07 BST 2014 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 Aug 5 00:48:07 BST 2014 0 unknown 9388kb 140 jenkins-slave 0.13 0:00.14
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 Aug 5 00:48:29 BST 2014 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 Aug 5 00:48:11 BST 2014 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 Aug 5 00:50:42 BST 2014 0 unknown 22608kb 76 jenkins-slave 0.56 0:00.60
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 Aug 5 00:49:02 BST 2014 10 unknown 7516kb 369 jenkins-slave 0.10 0:00.11
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 Aug 5 00:51:03 BST 2014 10 unknown 32980kb 1057 jenkins-slave 1.37 0:01.41
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 Aug 5 00:46:05 BST 2014 10 unknown 566176kb 8647 jenkins-slave 43.38 0:44.26
necla/ex46 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/ex46.bin Tue Aug 5 00:51:13 BST 2014 10 unknown 183396kb 341 jenkins-slave 8.22 0:08.51
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 Aug 5 00:51:12 BST 2014 10 unknown 104444kb 330 jenkins-slave 4.78 0:05.00
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 Aug 5 00:47:48 BST 2014 0 unknown 170052kb 9048 jenkins-slave 69.24 1:09.48
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 Aug 5 00:50:32 BST 2014 0 unknown 6764kb 39 jenkins-slave 0.01 0:00.02
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 Aug 5 00:49:17 BST 2014 0 unknown 6696kb 54 jenkins-slave 0.01 0:00.03
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 Aug 5 00:46:57 BST 2014 124 unknown 3317212kb 13106 jenkins-slave 116.52 2:00.83
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 Aug 5 00:51:02 BST 2014 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 Aug 5 00:49:32 BST 2014 0 unknown 39528kb 357 jenkins-slave 1.72 0:01.80
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 Aug 5 00:46:53 BST 2014 10 unknown 6836kb 61 jenkins-slave 0.03 0:00.04
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 Aug 5 00:50:46 BST 2014 10 unknown 556400kb 750 jenkins-slave 21.42 0:22.34
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 Aug 5 00:50:38 BST 2014 10 unknown 7640kb 124 jenkins-slave 0.06 0:00.08
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 Aug 5 00:50:15 BST 2014 10 unknown 6980kb 118 jenkins-slave 0.04 0:00.06
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 Aug 5 00:46:01 BST 2014 0 unknown 6724kb 73 jenkins-slave 0.02 0:00.03
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 Aug 5 00:50:36 BST 2014 0 unknown 6764kb 106 jenkins-slave 0.02 0:00.04
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 Aug 5 00:51:25 BST 2014 0 unknown 6780kb 78 jenkins-slave 0.02 0:00.03
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 Aug 5 00:51:28 BST 2014 0 unknown 7304kb 393 jenkins-slave 0.11 0:00.13
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 Aug 5 00:51:21 BST 2014 0 unknown 30520kb 3543 jenkins-slave 3.02 0:03.09
queue/queue_1000 ERROR 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 Aug 5 00:51:29 BST 2014 unknown po (0) jenkins-slave
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 Aug 5 00:45:56 BST 2014 10 unknown 22148kb 43 jenkins-slave 0.52 0:00.56
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 Aug 5 00:45:52 BST 2014 0 unknown 6032kb 34 jenkins-slave 0.00 0:00.02
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 Aug 5 00:45:57 BST 2014 10 unknown 22296kb 120 jenkins-slave 0.54 0:00.58
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 Aug 5 00:45:58 BST 2014 0 unknown 22396kb 84 jenkins-slave 0.55 0:00.58
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 Aug 5 00:45:53 BST 2014 10 unknown 22344kb 87 jenkins-slave 0.54 0:00.58
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 Aug 5 00:45:53 BST 2014 0 unknown 22880kb 413 jenkins-slave 0.61 0:00.66
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 Aug 5 00:46:01 BST 2014 0 unknown 37632kb 897 jenkins-slave 2.12 0:02.19
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 Aug 5 00:45:56 BST 2014 0 unknown 41932kb 1545 jenkins-slave 3.02 0:03.14
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 Aug 5 00:45:09 BST 2014 0 unknown 22348kb 75 jenkins-slave 0.52 0:00.57
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 Aug 5 00:45:28 BST 2014 0 unknown 22660kb 86 jenkins-slave 0.53 0:00.58
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 Aug 5 00:45:14 BST 2014 0 unknown 23832kb 534 jenkins-slave 0.76 0:00.81
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 Aug 5 00:45:35 BST 2014 0 unknown 23836kb 936 jenkins-slave 0.92 0:00.98
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 Aug 5 00:45:11 BST 2014 0 unknown 27100kb 936 jenkins-slave 1.12 0:01.16
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 Aug 5 00:45:24 BST 2014 0 unknown 22276kb 247 jenkins-slave 0.60 0:00.65
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 Aug 5 00:45:31 BST 2014 0 unknown 22316kb 247 jenkins-slave 0.62 0:00.65
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 Aug 5 00:45:41 BST 2014 0 unknown 22352kb 247 jenkins-slave 0.62 0:00.66
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 Aug 5 00:45:44 BST 2014 0 unknown 22560kb 425 jenkins-slave 0.73 0:00.78
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 Aug 5 00:45:15 BST 2014 0 unknown 22420kb 85 jenkins-slave 0.54 0:00.58
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 Aug 5 00:45:13 BST 2014 0 unknown 22476kb 156 jenkins-slave 0.56 0:00.61
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 Aug 5 00:45:49 BST 2014 0 unknown 24476kb 409 jenkins-slave 0.80 0:00.85
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 Aug 5 00:45:44 BST 2014 0 unknown 22636kb 149 jenkins-slave 0.57 0:00.60
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 Aug 5 00:45:40 BST 2014 0 unknown 6696kb 49 jenkins-slave 0.02 0:00.03
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 Aug 5 00:45:11 BST 2014 0 unknown 6036kb 38 jenkins-slave 0.00 0:00.02
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 Aug 5 00:45:20 BST 2014 0 unknown 6628kb 42 jenkins-slave 0.00 0:00.02
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 Aug 5 00:45:36 BST 2014 0 unknown 23068kb 389 jenkins-slave 0.75 0:00.81
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 Aug 5 00:45:31 BST 2014 0 unknown 6688kb 46 jenkins-slave 0.00 0:00.03
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 Aug 5 00:45:48 BST 2014 0 unknown 22520kb 156 jenkins-slave 0.58 0:00.61
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 Aug 5 00:45:48 BST 2014 0 unknown 23040kb 115 jenkins-slave 0.58 0:00.62
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 Aug 5 00:45:22 BST 2014 0 unknown 23332kb 132 jenkins-slave 0.58 0:00.64
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 Aug 5 00:45:19 BST 2014 0 unknown 23632kb 230 jenkins-slave 0.67 0:00.72
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 Aug 5 00:45:28 BST 2014 0 unknown 6788kb 55 jenkins-slave 0.02 0:00.03
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 Aug 5 00:45:52 BST 2014 0 unknown 22240kb 115 jenkins-slave 0.58 0:00.60
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 Aug 5 00:45:24 BST 2014 0 unknown 22480kb 119 jenkins-slave 0.55 0:00.60
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 Aug 5 00:45:27 BST 2014 0 unknown 6300kb 35 jenkins-slave 0.01 0:00.02
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 Aug 5 00:45:18 BST 2014 10 unknown 22344kb 93 jenkins-slave 0.53 0:00.58
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 Aug 5 00:45:16 BST 2014 10 unknown 6480kb 33 jenkins-slave 0.00 0:00.02
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 Aug 5 00:45:44 BST 2014 0 unknown 6300kb 36 jenkins-slave 0.00 0:00.02
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 Aug 5 00:45:34 BST 2014 0 unknown 6296kb 37 jenkins-slave 0.00 0:00.02
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 Aug 5 00:45:11 BST 2014 0 unknown 6596kb 38 jenkins-slave 0.01 0:00.02
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 Aug 5 00:45:40 BST 2014 0 unknown 6296kb 36 jenkins-slave 0.01 0:00.02
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 Aug 5 00:45:38 BST 2014 0 unknown 28104kb 3255 jenkins-slave 1.98 0:02.07
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 Aug 5 00:45:45 BST 2014 0 unknown 46736kb 4269 jenkins-slave 3.31 0:03.39
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 Aug 5 00:45:33 BST 2014 0 unknown 46756kb 4271 jenkins-slave 3.32 0:03.39
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 Aug 5 00:45:23 BST 2014 0 unknown 46752kb 4274 jenkins-slave 3.33 0:03.40
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 Aug 5 00:45:32 BST 2014 0 unknown 6668kb 37 jenkins-slave 0.01 0:00.02
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 Aug 5 00:45:20 BST 2014 0 unknown 22264kb 80 jenkins-slave 0.52 0:00.58
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 Aug 5 00:55:54 BST 2014 0 unknown 6856kb 78 jenkins-slave 0.03 0:00.04
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 Aug 5 00:55:41 BST 2014 0 unknown 45644kb 16983 jenkins-slave 20.96 0:21.02
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 Aug 5 00:55:37 BST 2014 0 unknown 6992kb 257 jenkins-slave 0.05 0:00.06
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 Aug 5 00:55:49 BST 2014 0 unknown 13564kb 1148 jenkins-slave 0.86 0:00.89
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 Aug 5 00:55:43 BST 2014 10 unknown 23744kb 2497 jenkins-slave 2.18 0:02.23
snu/matmul 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/matmul.bin Tue Aug 5 00:55:36 BST 2014 10 unknown 16588kb 3222 jenkins-slave 2.98 0:03.02
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 Aug 5 00:55:28 BST 2014 10 unknown 7468kb 180 jenkins-slave 0.09 0:00.10
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 Aug 5 00:55:29 BST 2014 10 unknown 8128kb 291 jenkins-slave 0.14 0:00.15
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 Aug 5 00:55:15 BST 2014 10 unknown 33724kb 127 jenkins-slave 0.95 0:01.01
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 Aug 5 00:55:24 BST 2014 10 unknown 22560kb 175 jenkins-slave 0.60 0:00.66
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 Aug 5 00:55:20 BST 2014 10 unknown 22804kb 228 jenkins-slave 0.66 0:00.72
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 Aug 5 00:55:09 BST 2014 10 unknown 59868kb 466 jenkins-slave 2.47 0:02.62
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 Aug 5 00:55:15 BST 2014 10 unknown 28692kb 4010 jenkins-slave 3.00 0:03.09
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 Aug 5 00:55:32 BST 2014 10 unknown 13884kb 71 jenkins-slave 0.30 0:00.34
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 Aug 5 00:55:22 BST 2014 10 unknown 23612kb 2478 jenkins-slave 1.82 0:01.88
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 Aug 5 00:55:33 BST 2014 10 unknown 23564kb 208 jenkins-slave 0.70 0:00.73
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 Aug 5 00:54:19 BST 2014 10 unknown 13460kb 1196 jenkins-slave 0.56 0:00.58
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 Aug 5 00:55:05 BST 2014 0 unknown 6868kb 89 jenkins-slave 0.03 0:00.04
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 Aug 5 00:53:23 BST 2014 0 unknown 496656kb 115797 jenkins-slave 97.16 1:37.89
wcet/cnt 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/cnt.bin Tue Aug 5 00:53:44 BST 2014 10 unknown 30752kb 4936 jenkins-slave 3.19 0:03.23
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 Aug 5 00:55:04 BST 2014 10 unknown 11420kb 574 jenkins-slave 0.40 0:00.42
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 Aug 5 00:54:23 BST 2014 0 unknown 9252kb 1321 jenkins-slave 1.80 0:01.82
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 Aug 5 00:53:46 BST 2014 0 unknown 45644kb 16983 jenkins-slave 21.03 0:21.09
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 Aug 5 00:54:29 BST 2014 0 unknown 12136kb 1752 jenkins-slave 1.24 0:01.26
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 Aug 5 00:54:48 BST 2014 10 unknown 27328kb 1446 jenkins-slave 2.46 0:02.51
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 Aug 5 00:54:40 BST 2014 0 unknown 9164kb 1474 jenkins-slave 0.47 0:00.48
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 Aug 5 00:53:39 BST 2014 0 unknown 7012kb 279 jenkins-slave 0.05 0:00.06
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 Aug 5 00:53:33 BST 2014 0 unknown 14608kb 2717 jenkins-slave 1.84 0:01.86
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 Aug 5 00:53:42 BST 2014 0 unknown 6980kb 254 jenkins-slave 0.05 0:00.06
wcet/fir ERROR 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 Aug 5 00:54:46 BST 2014 unknown po (0) jenkins-slave
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 Aug 5 00:54:15 BST 2014 0 unknown 7616kb 474 jenkins-slave 0.21 0:00.22
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 Aug 5 00:54:11 BST 2014 0 unknown 6828kb 183 jenkins-slave 0.04 0:00.05
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 Aug 5 00:53:51 BST 2014 10 unknown 23700kb 2491 jenkins-slave 2.16 0:02.21
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 Aug 5 00:54:19 BST 2014 0 unknown 12160kb 3400 jenkins-slave 0.76 0:00.77
wcet/matmult ERROR 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 Aug 5 00:54:54 BST 2014 unknown po (0) jenkins-slave
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 Aug 5 00:54:44 BST 2014 0 unknown 6908kb 89 jenkins-slave 0.03 0:00.04
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 Aug 5 00:54:24 BST 2014 0 unknown 147992kb 36111 jenkins-slave 36.71 0:36.92
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 Aug 5 00:55:08 BST 2014 0 unknown 10320kb 3322 jenkins-slave 2.82 0:02.82
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 Aug 5 00:54:41 BST 2014 0 unknown 28192kb 2193 jenkins-slave 1.70 0:01.74
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 Aug 5 00:54:34 BST 2014 0 unknown 13228kb 5709 jenkins-slave 2.87 0:02.90
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 Aug 5 00:53:18 BST 2014 0 unknown 10184kb 2116 jenkins-slave 0.68 0:00.69
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 Aug 5 00:53:40 BST 2014 10 unknown 7736kb 117 jenkins-slave 0.09 0:00.10
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 Aug 5 00:53:36 BST 2014 0 unknown 9136kb 860 jenkins-slave 0.33 0:00.34
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 Aug 5 00:53:57 BST 2014 0 unknown 609768kb 1510 jenkins-slave 17.78 0:18.57
The benchmarks were run on a Linux 3.2.0-4-amd64 64x AMD Opteron(tm) Processor 6380 @@2499.556MHz system equipped with 264656428kb RAM.