* 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 5.0 results *
Timeout: 120s Memory limit: unlimitedkb
Fri Apr 3 22:42:13 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 Fri Apr 3 22:21:36 BST 2015 0 valid 400472kb 1469 jenkins-slave 85.11 1:25.93
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 Fri Apr 3 22:21:16 BST 2015 0 valid 1140388kb 3863 jenkins-slave 43.77 0:45.44
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 Fri Apr 3 22:20:27 BST 2015 124 unknown 2090532kb 1053 jenkins-slave 117.30 2:00.52
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 Fri Apr 3 22:22:05 BST 2015 0 valid 104912kb 8546 jenkins-slave 83.20 1:23.38
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 Fri Apr 3 22:12:29 BST 2015 0 valid 11344kb 1723 jenkins-slave 0.52 0:00.55
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 Fri Apr 3 22:12:29 BST 2015 0 valid 13532kb 2254 jenkins-slave 0.75 0:00.77
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 Fri Apr 3 22:12:10 BST 2015 0 valid 16032kb 2839 jenkins-slave 0.97 0:01.00
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 Fri Apr 3 22:12:21 BST 2015 0 valid 19740kb 3478 jenkins-slave 1.25 0:01.29
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 Fri Apr 3 22:12:14 BST 2015 0 valid 23600kb 4171 jenkins-slave 1.59 0:01.63
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 Fri Apr 3 22:12:07 BST 2015 0 valid 6668kb 88 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 Fri Apr 3 22:12:03 BST 2015 0 valid 6588kb 60 jenkins-slave 0.02 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 Fri Apr 3 22:12:10 BST 2015 0 valid 8972kb 867 jenkins-slave 0.34 0:00.36
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 Fri Apr 3 22:12:22 BST 2015 0 valid 9452kb 940 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 Fri Apr 3 22:12:26 BST 2015 0 valid 9568kb 1013 jenkins-slave 0.40 0:00.43
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 Fri Apr 3 22:12:13 BST 2015 0 valid 9908kb 1086 jenkins-slave 0.46 0:00.47
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 Fri Apr 3 22:12:28 BST 2015 0 valid 10480kb 1159 jenkins-slave 0.49 0:00.51
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 Fri Apr 3 22:12:17 BST 2015 0 valid 10132kb 1232 jenkins-slave 0.50 0:00.53
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 Fri Apr 3 22:12:03 BST 2015 0 valid 10712kb 1305 jenkins-slave 0.55 0:00.57
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 Fri Apr 3 22:12:23 BST 2015 0 valid 10980kb 1378 jenkins-slave 0.60 0:00.62
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 Fri Apr 3 22:12:24 BST 2015 0 valid 11432kb 1451 jenkins-slave 0.62 0:00.65
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 Fri Apr 3 22:12:14 BST 2015 0 valid 11500kb 1524 jenkins-slave 0.67 0:00.69
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 Fri Apr 3 22:12:25 BST 2015 0 valid 12076kb 1597 jenkins-slave 0.72 0:00.74
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 Fri Apr 3 22:12:27 BST 2015 0 valid 7908kb 502 jenkins-slave 0.19 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 Fri Apr 3 22:12:30 BST 2015 0 valid 8308kb 575 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 Fri Apr 3 22:12:17 BST 2015 0 valid 8356kb 648 jenkins-slave 0.25 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 Fri Apr 3 22:12:03 BST 2015 0 valid 8636kb 721 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 Fri Apr 3 22:12:21 BST 2015 0 valid 8952kb 794 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 Fri Apr 3 22:12:13 BST 2015 10 invalid 6776kb 129 jenkins-slave 0.05 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 Fri Apr 3 22:12:07 BST 2015 10 invalid 6612kb 71 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 Fri Apr 3 22:12:07 BST 2015 0 valid 6668kb 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 Fri Apr 3 22:12:07 BST 2015 10 invalid 7184kb 97 jenkins-slave 0.04 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 Fri Apr 3 22:12:19 BST 2015 0 valid 6348kb 71 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 Fri Apr 3 22:12:03 BST 2015 0 valid 6580kb 57 jenkins-slave 0.02 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 Fri Apr 3 22:12:18 BST 2015 10 invalid 29064kb 298 jenkins-slave 0.85 0:00.90
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 Fri Apr 3 22:12:10 BST 2015 0 valid 6296kb 52 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 Fri Apr 3 22:12:10 BST 2015 10 invalid 6564kb 69 jenkins-slave 0.02 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 Fri Apr 3 22:18:05 BST 2015 0 valid 89892kb 10794 jenkins-slave 72.83 1:12.98
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 Fri Apr 3 22:19:26 BST 2015 10 invalid 20824kb 689 jenkins-slave 0.64 0:00.67
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 Fri Apr 3 22:18:24 BST 2015 0 valid 73924kb 12049 jenkins-slave 23.18 0:23.31
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 Fri Apr 3 22:17:49 BST 2015 10 invalid 6844kb 97 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 Fri Apr 3 22:16:42 BST 2015 10 invalid 7120kb 37 jenkins-slave 0.03 0:00.04
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 Fri Apr 3 22:18:13 BST 2015 0 valid 6772kb 97 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 Fri Apr 3 22:18:31 BST 2015 0 valid 7428kb 139 jenkins-slave 0.05 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 Fri Apr 3 22:15:32 BST 2015 0 valid 11000kb 3078 jenkins-slave 0.63 0:00.65
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 Fri Apr 3 22:18:17 BST 2015 0 valid 38660kb 545 jenkins-slave 0.91 0:00.98
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 Fri Apr 3 22:13:42 BST 2015 124 valid 954376kb 2930 jenkins-slave 118.78 2:00.24
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 Fri Apr 3 22:18:39 BST 2015 10 invalid 253912kb 9054 jenkins-slave 78.45 1:18.85
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 Fri Apr 3 22:13:21 BST 2015 124 unknown 1824076kb 7275 jenkins-slave 117.94 2:00.53
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 Fri Apr 3 22:16:54 BST 2015 10 invalid 204764kb 9285 jenkins-slave 87.33 1:27.66
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 Fri Apr 3 22:17:31 BST 2015 0 valid 25088kb 4539 jenkins-slave 2.90 0:02.95
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 Fri Apr 3 22:15:54 BST 2015 0 valid 13292kb 1513 jenkins-slave 0.61 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 Fri Apr 3 22:17:53 BST 2015 0 valid 333940kb 337 jenkins-slave 13.17 0:13.70
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 Fri Apr 3 22:15:46 BST 2015 10 invalid 63564kb 5139 jenkins-slave 4.93 0:05.04
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 Fri Apr 3 22:17:39 BST 2015 10 invalid 47948kb 5464 jenkins-slave 3.56 0:03.62
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 Fri Apr 3 22:16:48 BST 2015 0 valid 30264kb 1428 jenkins-slave 1.57 0:01.61
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 Fri Apr 3 22:18:10 BST 2015 10 invalid 7192kb 96 jenkins-slave 0.04 0:00.04
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 Fri Apr 3 22:17:46 BST 2015 124 unknown 1453196kb 6561 jenkins-slave 118.26 2:00.38
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 Fri Apr 3 22:17:41 BST 2015 0 valid 6676kb 66 jenkins-slave 0.04 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 Fri Apr 3 22:13:23 BST 2015 0 valid 1532204kb 14058 jenkins-slave 14.21 0:16.06
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 Fri Apr 3 22:13:25 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 Fri Apr 3 22:15:29 BST 2015 0 valid 8824kb 149 jenkins-slave 0.09 0:00.11
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 Fri Apr 3 22:15:58 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 Fri Apr 3 22:15:36 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 Fri Apr 3 22:18:35 BST 2015 0 valid 28892kb 77 jenkins-slave 0.75 0:00.80
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 Fri Apr 3 22:16:45 BST 2015 10 invalid 7512kb 400 jenkins-slave 0.10 0:00.12
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 Fri Apr 3 22:19:21 BST 2015 10 invalid 32912kb 1063 jenkins-slave 1.32 0:01.38
necla/ex43 TIMEOUT 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 Fri Apr 3 22:13:24 BST 2015 124 invalid 3069272kb 8783 jenkins-slave 116.20 2:00.71
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 Fri Apr 3 22:19:50 BST 2015 0 invalid 537772kb 340 jenkins-slave 102.63 1:43.55
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 Fri Apr 3 22:19:30 BST 2015 10 invalid 279116kb 329 jenkins-slave 53.82 0:54.31
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 Fri Apr 3 22:15:28 BST 2015 0 valid 111076kb 9049 jenkins-slave 70.02 1:10.24
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 Fri Apr 3 22:18:21 BST 2015 0 valid 6672kb 40 jenkins-slave 0.02 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 Fri Apr 3 22:17:38 BST 2015 0 valid 6596kb 57 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 Fri Apr 3 22:15:28 BST 2015 124 unknown 1078636kb 13110 jenkins-slave 118.50 2:00.28
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 Fri Apr 3 22:19:13 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 Fri Apr 3 22:17:44 BST 2015 0 valid 38688kb 359 jenkins-slave 1.56 0:01.62
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 Fri Apr 3 22:15:25 BST 2015 10 invalid 6816kb 62 jenkins-slave 0.02 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 Fri Apr 3 22:18:51 BST 2015 10 valid 286852kb 756 jenkins-slave 18.17 0:18.62
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 Fri Apr 3 22:18:28 BST 2015 10 invalid 7348kb 125 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 Fri Apr 3 22:18:01 BST 2015 10 invalid 6960kb 119 jenkins-slave 0.04 0:00.05
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 Fri Apr 3 22:13:21 BST 2015 0 valid 6668kb 74 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 Fri Apr 3 22:18:24 BST 2015 0 valid 6708kb 107 jenkins-slave 0.03 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 Fri Apr 3 22:20:07 BST 2015 0 valid 6720kb 79 jenkins-slave 0.02 0:00.04
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 Fri Apr 3 22:20:10 BST 2015 0 valid 7248kb 394 jenkins-slave 0.12 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 Fri Apr 3 22:20:01 BST 2015 0 valid 30484kb 3544 jenkins-slave 2.83 0:02.86
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 Fri Apr 3 22:20:14 BST 2015 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 Fri Apr 3 22:13:15 BST 2015 10 invalid 28504kb 43 jenkins-slave 0.73 0:00.78
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 Fri Apr 3 22:13:12 BST 2015 0 valid 6032kb 35 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 Fri Apr 3 22:13:17 BST 2015 10 invalid 28616kb 119 jenkins-slave 0.74 0:00.80
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 Fri Apr 3 22:13:17 BST 2015 0 valid 28688kb 84 jenkins-slave 0.74 0:00.79
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 Fri Apr 3 22:13:13 BST 2015 10 invalid 28640kb 88 jenkins-slave 0.72 0:00.78
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 Fri Apr 3 22:13:12 BST 2015 0 valid 29128kb 415 jenkins-slave 1.10 0:01.13
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 Fri Apr 3 22:13:20 BST 2015 0 valid 44076kb 893 jenkins-slave 2.28 0:02.37
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 Fri Apr 3 22:13:15 BST 2015 0 valid 64924kb 1595 jenkins-slave 4.43 0:04.57
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 Fri Apr 3 22:12:32 BST 2015 0 valid 28680kb 75 jenkins-slave 0.74 0:00.78
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 Fri Apr 3 22:12:49 BST 2015 0 valid 28944kb 86 jenkins-slave 0.73 0:00.78
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 Fri Apr 3 22:12:37 BST 2015 0 valid 29712kb 534 jenkins-slave 0.97 0:01.02
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 Fri Apr 3 22:12:56 BST 2015 0 valid 29756kb 936 jenkins-slave 1.12 0:01.18
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 Fri Apr 3 22:12:33 BST 2015 0 valid 33464kb 936 jenkins-slave 1.31 0:01.37
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 Fri Apr 3 22:12:45 BST 2015 0 valid 28576kb 248 jenkins-slave 0.79 0:00.84
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 Fri Apr 3 22:12:52 BST 2015 0 valid 28620kb 248 jenkins-slave 0.78 0:00.84
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 Fri Apr 3 22:13:01 BST 2015 0 valid 28676kb 248 jenkins-slave 0.81 0:00.87
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 Fri Apr 3 22:13:04 BST 2015 0 valid 28852kb 428 jenkins-slave 0.92 0:00.98
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 Fri Apr 3 22:12:37 BST 2015 0 valid 28728kb 85 jenkins-slave 0.71 0:00.78
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 Fri Apr 3 22:12:36 BST 2015 0 valid 28740kb 155 jenkins-slave 0.77 0:00.83
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 Fri Apr 3 22:13:08 BST 2015 0 valid 30472kb 409 jenkins-slave 1.00 0:01.05
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 Fri Apr 3 22:13:04 BST 2015 0 valid 28908kb 148 jenkins-slave 0.72 0:00.80
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 Fri Apr 3 22:13:00 BST 2015 0 valid 6596kb 50 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 Fri Apr 3 22:12:33 BST 2015 0 valid 6032kb 39 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 Fri Apr 3 22:12:41 BST 2015 0 valid 6532kb 43 jenkins-slave 0.02 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 Fri Apr 3 22:12:56 BST 2015 0 valid 29068kb 389 jenkins-slave 0.96 0:01.03
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 Fri Apr 3 22:12:52 BST 2015 0 valid 6604kb 47 jenkins-slave 0.01 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 Fri Apr 3 22:13:08 BST 2015 0 valid 28752kb 155 jenkins-slave 0.77 0:00.81
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 Fri Apr 3 22:13:07 BST 2015 0 valid 29212kb 115 jenkins-slave 0.78 0:00.82
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 Fri Apr 3 22:12:44 BST 2015 0 valid 29712kb 132 jenkins-slave 0.78 0:00.85
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 Fri Apr 3 22:12:41 BST 2015 0 valid 29572kb 230 jenkins-slave 0.85 0:00.92
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 Fri Apr 3 22:12:49 BST 2015 0 valid 6712kb 56 jenkins-slave 0.01 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 Fri Apr 3 22:13:11 BST 2015 0 valid 28560kb 116 jenkins-slave 0.72 0:00.80
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 Fri Apr 3 22:12:45 BST 2015 0 valid 28760kb 119 jenkins-slave 0.73 0:00.80
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 Fri Apr 3 22:12:49 BST 2015 0 valid 6028kb 36 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 Fri Apr 3 22:12:40 BST 2015 10 invalid 28672kb 92 jenkins-slave 0.75 0:00.80
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 Fri Apr 3 22:12:38 BST 2015 10 invalid 6404kb 34 jenkins-slave 0.01 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 Fri Apr 3 22:13:04 BST 2015 0 valid 6032kb 38 jenkins-slave 0.02 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 Fri Apr 3 22:12:55 BST 2015 0 valid 6032kb 39 jenkins-slave 0.02 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 Fri Apr 3 22:12:34 BST 2015 0 valid 6488kb 40 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 Fri Apr 3 22:13:00 BST 2015 0 valid 6032kb 38 jenkins-slave 0.02 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 Fri Apr 3 22:12:58 BST 2015 0 valid 32100kb 3254 jenkins-slave 2.19 0:02.27
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 Fri Apr 3 22:13:05 BST 2015 0 valid 53204kb 4268 jenkins-slave 3.50 0:03.59
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 Fri Apr 3 22:12:54 BST 2015 0 valid 53192kb 4270 jenkins-slave 3.49 0:03.58
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 Fri Apr 3 22:12:45 BST 2015 0 valid 53200kb 4273 jenkins-slave 3.48 0:03.58
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 Fri Apr 3 22:12:53 BST 2015 0 valid 6600kb 38 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 Fri Apr 3 22:12:41 BST 2015 0 valid 28564kb 81 jenkins-slave 0.74 0:00.78
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 Fri Apr 3 22:24:46 BST 2015 0 valid 6800kb 80 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 Fri Apr 3 22:24:35 BST 2015 0 valid 46628kb 17242 jenkins-slave 14.27 0:14.31
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 Fri Apr 3 22:24:31 BST 2015 0 valid 6916kb 259 jenkins-slave 0.06 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 Fri Apr 3 22:24:42 BST 2015 0 valid 13460kb 1149 jenkins-slave 0.86 0:00.86
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 Fri Apr 3 22:24:36 BST 2015 10 invalid 23764kb 2498 jenkins-slave 2.67 0:02.69
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 Fri Apr 3 22:24:30 BST 2015 10 invalid 16604kb 3223 jenkins-slave 3.00 0:03.03
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 Fri Apr 3 22:24:23 BST 2015 10 invalid 7436kb 182 jenkins-slave 0.08 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 Fri Apr 3 22:24:24 BST 2015 10 invalid 8112kb 293 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 Fri Apr 3 22:24:10 BST 2015 10 invalid 24208kb 130 jenkins-slave 0.54 0:00.59
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 Fri Apr 3 22:24:19 BST 2015 10 invalid 28840kb 175 jenkins-slave 0.76 0:00.86
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 Fri Apr 3 22:24:14 BST 2015 10 invalid 29068kb 228 jenkins-slave 0.88 0:00.92
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 Fri Apr 3 22:24:07 BST 2015 10 invalid 52164kb 465 jenkins-slave 2.16 0:02.25
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 Fri Apr 3 22:24:12 BST 2015 10 invalid 34976kb 4010 jenkins-slave 2.97 0:03.03
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 Fri Apr 3 22:24:26 BST 2015 10 invalid 11688kb 71 jenkins-slave 0.25 0:00.26
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 Fri Apr 3 22:24:18 BST 2015 10 invalid 29920kb 2477 jenkins-slave 1.90 0:01.97
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 Fri Apr 3 22:24:27 BST 2015 10 invalid 29672kb 208 jenkins-slave 0.87 0:00.92
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 Fri Apr 3 22:23:22 BST 2015 10 invalid 14076kb 1220 jenkins-slave 0.57 0:00.59
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 Fri Apr 3 22:24:03 BST 2015 0 valid 6808kb 91 jenkins-slave 0.02 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 Fri Apr 3 22:22:21 BST 2015 0 valid 496540kb 115798 jenkins-slave 95.52 1:36.26
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 Fri Apr 3 22:22:51 BST 2015 10 invalid 30988kb 5040 jenkins-slave 3.05 0:03.10
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 Fri Apr 3 22:24:00 BST 2015 10 invalid 11764kb 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 Fri Apr 3 22:23:28 BST 2015 0 valid 9552kb 1325 jenkins-slave 1.73 0:01.75
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 Fri Apr 3 22:22:57 BST 2015 0 valid 46628kb 17242 jenkins-slave 14.22 0:14.30
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 Fri Apr 3 22:23:31 BST 2015 0 valid 12348kb 1753 jenkins-slave 2.64 0:02.66
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 Fri Apr 3 22:23:45 BST 2015 10 invalid 27652kb 1446 jenkins-slave 2.48 0:02.50
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 Fri Apr 3 22:23:37 BST 2015 0 valid 9112kb 1477 jenkins-slave 0.45 0:00.47
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 Fri Apr 3 22:22:40 BST 2015 0 valid 6972kb 301 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 Fri Apr 3 22:22:31 BST 2015 0 valid 14688kb 2718 jenkins-slave 2.39 0:02.42
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 Fri Apr 3 22:22:47 BST 2015 0 valid 6904kb 256 jenkins-slave 0.04 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 Fri Apr 3 22:23:43 BST 2015 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 Fri Apr 3 22:23:18 BST 2015 0 valid 7556kb 475 jenkins-slave 0.22 0:00.23
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 Fri Apr 3 22:23:15 BST 2015 0 valid 6768kb 185 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 Fri Apr 3 22:23:06 BST 2015 10 invalid 23704kb 2492 jenkins-slave 2.67 0:02.70
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 Fri Apr 3 22:23:25 BST 2015 0 valid 12776kb 3401 jenkins-slave 0.72 0:00.74
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 Fri Apr 3 22:23:50 BST 2015 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 Fri Apr 3 22:23:41 BST 2015 0 valid 6868kb 91 jenkins-slave 0.03 0:00.05
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 Fri Apr 3 22:23:29 BST 2015 0 valid 150596kb 37064 jenkins-slave 30.35 0:30.59
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 Fri Apr 3 22:24:04 BST 2015 0 valid 11304kb 3324 jenkins-slave 2.70 0:02.72
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 Fri Apr 3 22:23:39 BST 2015 0 valid 29064kb 2194 jenkins-slave 1.58 0:01.62
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 Fri Apr 3 22:23:33 BST 2015 0 valid 13764kb 6146 jenkins-slave 2.21 0:02.24
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 Fri Apr 3 22:22:17 BST 2015 0 valid 10488kb 2294 jenkins-slave 0.56 0:00.58
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 Fri Apr 3 22:22:44 BST 2015 10 invalid 7468kb 117 jenkins-slave 0.08 0:00.09
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 Fri Apr 3 22:22:37 BST 2015 0 valid 9392kb 861 jenkins-slave 0.32 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 Fri Apr 3 22:23:12 BST 2015 0 valid 424924kb 1512 jenkins-slave 12.22 0:12.94
The benchmarks were run on a Linux 3.2.0-4-amd64 64x AMD Opteron(tm) Processor 6380 @@2500.162MHz system equipped with 264656428kb RAM.