* profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 7;profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --unwind 11;profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 6;profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 16;profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 10;profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 14;profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --unwind 17;profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main;profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --no-unwinding-assertions;profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 27;profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 1001;profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 50;profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 5;profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check;profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 19;profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 11;profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 201;profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 17;profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 1001 --no-unwinding-assertions;profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --unwind 4;profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 13;profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function intSqRoot --unwind 201;profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 9;profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 18;profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 31;profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 20;profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 257;profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 21;profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 1;profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --unwind 6;profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 8;profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 1025;profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 51;profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 24;profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 3;profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --unwind 1001;profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 101;profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --unwind 10;profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 12;profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 100;profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 358;profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --unwind 101;profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 15;profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function simpleWhile --unwind 1001 version 5.1 results *
Timeout: 120s Memory limit: unlimitedkb
Tue Aug 11 18:35:31 2015
Benchmark Result commandline date exitcode expected maxmem mt_max_constr ssa-size user usertime wallclock
anonymous/bubbleSort Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --unwind 6 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/anonymous/bubbleSort.bin Tue 11 Aug 18:32:17 BST 2015 0 valid 516760kb 1468 jenkins-slave 55.54 0:56.05
anonymous/intSqRoot Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function intSqRoot --unwind 201 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/anonymous/intSqRoot.bin Tue 11 Aug 18:32:00 BST 2015 0 valid 1225472kb 3863 jenkins-slave 15.03 0:16.08
anonymous/selectSort TIMEOUT profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --unwind 6 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/anonymous/selectSort.bin Tue 11 Aug 18:31:30 BST 2015 124 unknown 6315888kb 1052 jenkins-slave 116.00 2:00.87
anonymous/simpleWhile Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function simpleWhile --unwind 1001 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/anonymous/simpleWhile.bin Tue 11 Aug 18:32:31 BST 2015 0 valid 112144kb 8546 jenkins-slave 59.43 0:59.52
eureka/Prim_4 Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 5 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/eureka/Prim_4.bin Tue 11 Aug 18:26:09 BST 2015 0 valid 14576kb 1687 jenkins-slave 0.16 0:00.17
eureka/Prim_5 Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 6 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/eureka/Prim_5.bin Tue 11 Aug 18:26:09 BST 2015 0 valid 17068kb 2209 jenkins-slave 0.22 0:00.24
eureka/Prim_6 Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 7 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/eureka/Prim_6.bin Tue 11 Aug 18:26:00 BST 2015 0 valid 19820kb 2785 jenkins-slave 0.30 0:00.31
eureka/Prim_7 Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 8 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/eureka/Prim_7.bin Tue 11 Aug 18:26:05 BST 2015 0 valid 23952kb 3415 jenkins-slave 0.38 0:00.41
eureka/Prim_8 Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 9 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/eureka/Prim_8.bin Tue 11 Aug 18:26:02 BST 2015 0 valid 28744kb 4099 jenkins-slave 0.49 0:00.52
eureka/array_init Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/eureka/array_init.bin Tue 11 Aug 18:25:58 BST 2015 0 valid 9932kb 88 jenkins-slave 0.00 0:00.01
eureka/array_init_assign Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/eureka/array_init_assign.bin Tue 11 Aug 18:25:57 BST 2015 0 valid 10016kb 60 jenkins-slave 0.00 0:00.01
eureka/bf10 Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 11 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/eureka/bf10.bin Tue 11 Aug 18:26:00 BST 2015 0 valid 12320kb 867 jenkins-slave 0.10 0:00.11
eureka/bf11 Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 12 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/eureka/bf11.bin Tue 11 Aug 18:26:06 BST 2015 0 valid 13192kb 940 jenkins-slave 0.12 0:00.13
eureka/bf12 Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 13 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/eureka/bf12.bin Tue 11 Aug 18:26:07 BST 2015 0 valid 13340kb 1013 jenkins-slave 0.13 0:00.13
eureka/bf13 Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 14 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/eureka/bf13.bin Tue 11 Aug 18:26:02 BST 2015 0 valid 13560kb 1086 jenkins-slave 0.13 0:00.14
eureka/bf14 Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 15 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/eureka/bf14.bin Tue 11 Aug 18:26:09 BST 2015 0 valid 14108kb 1159 jenkins-slave 0.15 0:00.16
eureka/bf15 Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 16 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/eureka/bf15.bin Tue 11 Aug 18:26:03 BST 2015 0 valid 13744kb 1232 jenkins-slave 0.15 0:00.16
eureka/bf16 Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 17 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/eureka/bf16.bin Tue 11 Aug 18:25:57 BST 2015 0 valid 14264kb 1305 jenkins-slave 0.16 0:00.17
eureka/bf17 Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 18 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/eureka/bf17.bin Tue 11 Aug 18:26:06 BST 2015 0 valid 14916kb 1378 jenkins-slave 0.19 0:00.19
eureka/bf18 Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 19 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/eureka/bf18.bin Tue 11 Aug 18:26:07 BST 2015 0 valid 15144kb 1451 jenkins-slave 0.20 0:00.20
eureka/bf19 Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 20 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/eureka/bf19.bin Tue 11 Aug 18:26:02 BST 2015 0 valid 15408kb 1524 jenkins-slave 0.20 0:00.21
eureka/bf20 Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 21 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/eureka/bf20.bin Tue 11 Aug 18:26:07 BST 2015 0 valid 16576kb 1597 jenkins-slave 0.22 0:00.23
eureka/bf5 Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 6 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/eureka/bf5.bin Tue 11 Aug 18:26:08 BST 2015 0 valid 11268kb 502 jenkins-slave 0.06 0:00.06
eureka/bf6 Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 7 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/eureka/bf6.bin Tue 11 Aug 18:26:09 BST 2015 0 valid 11576kb 575 jenkins-slave 0.06 0:00.07
eureka/bf7 Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 8 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/eureka/bf7.bin Tue 11 Aug 18:26:03 BST 2015 0 valid 11468kb 648 jenkins-slave 0.08 0:00.08
eureka/bf8 Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 9 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/eureka/bf8.bin Tue 11 Aug 18:25:57 BST 2015 0 valid 11840kb 721 jenkins-slave 0.08 0:00.09
eureka/bf9 Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 10 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/eureka/bf9.bin Tue 11 Aug 18:26:05 BST 2015 0 valid 12552kb 794 jenkins-slave 0.10 0:00.10
eureka/bubblesort Property VIOLATED profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 6 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/eureka/bubblesort.bin Tue 11 Aug 18:26:02 BST 2015 10 invalid 10216kb 129 jenkins-slave 0.02 0:00.02
eureka/bubblesort_inner_loop Property VIOLATED profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 6 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/eureka/bubblesort_inner_loop.bin Tue 11 Aug 18:25:59 BST 2015 10 invalid 10056kb 71 jenkins-slave 0.00 0:00.01
eureka/complex_guard Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 3 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/eureka/complex_guard.bin Tue 11 Aug 18:25:58 BST 2015 0 valid 10072kb 66 jenkins-slave 0.00 0:00.01
eureka/loop_on_input Property VIOLATED profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 5 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/eureka/loop_on_input.bin Tue 11 Aug 18:25:58 BST 2015 10 invalid 10640kb 97 jenkins-slave 0.02 0:00.02
eureka/sequential_swap Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/eureka/sequential_swap.bin Tue 11 Aug 18:26:04 BST 2015 0 valid 9500kb 71 jenkins-slave 0.01 0:00.01
eureka/simple_array_inversion Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 3 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/eureka/simple_array_inversion.bin Tue 11 Aug 18:25:57 BST 2015 0 valid 9840kb 57 jenkins-slave 0.01 0:00.01
eureka/simple_control_on_input Property VIOLATED profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 21 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/eureka/simple_control_on_input.bin Tue 11 Aug 18:26:04 BST 2015 10 invalid 37848kb 298 jenkins-slave 0.41 0:00.43
eureka/simple_swap_call Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/eureka/simple_swap_call.bin Tue 11 Aug 18:26:00 BST 2015 0 valid 9648kb 52 jenkins-slave 0.00 0:00.01
eureka/wrong_loop Property VIOLATED profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 7 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/eureka/wrong_loop.bin Tue 11 Aug 18:26:00 BST 2015 10 invalid 9800kb 69 jenkins-slave 0.00 0:00.01
necla/ex1 Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/necla/ex1.bin Tue 11 Aug 18:29:57 BST 2015 0 valid 93252kb 10794 jenkins-slave 22.84 0:22.90
necla/ex10 Property VIOLATED profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --unwind 17 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/necla/ex10.bin Tue 11 Aug 18:30:55 BST 2015 10 invalid 24324kb 689 jenkins-slave 0.24 0:00.25
necla/ex11 Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 1001 --no-unwinding-assertions /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/necla/ex11.bin Tue 11 Aug 18:30:28 BST 2015 0 valid 90764kb 12049 jenkins-slave 7.18 0:07.24
necla/ex12 Property VIOLATED profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/necla/ex12.bin Tue 11 Aug 18:29:47 BST 2015 10 invalid 10332kb 97 jenkins-slave 0.01 0:00.02
necla/ex13 Property VIOLATED profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/necla/ex13.bin Tue 11 Aug 18:29:00 BST 2015 10 invalid 10548kb 37 jenkins-slave 0.01 0:00.02
necla/ex14 Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/necla/ex14.bin Tue 11 Aug 18:30:23 BST 2015 0 valid 10044kb 97 jenkins-slave 0.01 0:00.01
necla/ex15 Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/necla/ex15.bin Tue 11 Aug 18:30:40 BST 2015 0 valid 10804kb 139 jenkins-slave 0.02 0:00.02
necla/ex16 Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 1001 --no-unwinding-assertions /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/necla/ex16.bin Tue 11 Aug 18:28:39 BST 2015 0 valid 14432kb 3078 jenkins-slave 0.20 0:00.21
necla/ex17 Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/necla/ex17.bin Tue 11 Aug 18:30:25 BST 2015 0 valid 41776kb 545 jenkins-slave 0.30 0:00.35
necla/ex18 TIMEOUT profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 101 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/necla/ex18.bin Tue 11 Aug 18:26:43 BST 2015 124 valid 3578196kb 2926 jenkins-slave 117.92 2:00.53
necla/ex19 Property VIOLATED profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --unwind 1001 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/necla/ex19.bin Tue 11 Aug 18:30:43 BST 2015 10 invalid 313604kb 9054 jenkins-slave 45.03 0:45.26
necla/ex2 TIMEOUT profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 101 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/necla/ex2.bin Tue 11 Aug 18:26:35 BST 2015 124 unknown 7032704kb 7271 jenkins-slave 115.66 2:01.06
necla/ex20 Property VIOLATED profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 1025 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/necla/ex20.bin Tue 11 Aug 18:29:05 BST 2015 10 invalid 241256kb 9285 jenkins-slave 39.81 0:39.96
necla/ex21 Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/necla/ex21.bin Tue 11 Aug 18:29:08 BST 2015 0 valid 28528kb 4539 jenkins-slave 0.84 0:00.87
necla/ex22 Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 201 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/necla/ex22.bin Tue 11 Aug 18:28:48 BST 2015 0 valid 17564kb 1513 jenkins-slave 0.19 0:00.20
necla/ex23 Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/necla/ex23.bin Tue 11 Aug 18:29:48 BST 2015 0 valid 356252kb 337 jenkins-slave 5.10 0:05.34
necla/ex26 Property VIOLATED profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/necla/ex26.bin Tue 11 Aug 18:28:45 BST 2015 10 invalid 66684kb 5139 jenkins-slave 1.54 0:01.57
necla/ex27 Property VIOLATED profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 201 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/necla/ex27.bin Tue 11 Aug 18:29:12 BST 2015 10 invalid 51952kb 5464 jenkins-slave 1.12 0:01.16
necla/ex29 Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/necla/ex29.bin Tue 11 Aug 18:29:03 BST 2015 0 valid 33396kb 1426 jenkins-slave 0.52 0:00.54
necla/ex3 Property VIOLATED profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 11 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/necla/ex3.bin Tue 11 Aug 18:30:21 BST 2015 10 invalid 10888kb 96 jenkins-slave 0.01 0:00.02
necla/ex30 TIMEOUT profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 201 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/necla/ex30.bin Tue 11 Aug 18:29:19 BST 2015 124 unknown 5037652kb 6559 jenkins-slave 116.88 2:00.74
necla/ex31 Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 8 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/necla/ex31.bin Tue 11 Aug 18:29:15 BST 2015 0 valid 9924kb 66 jenkins-slave 0.00 0:00.01
necla/ex32 Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 1001 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/necla/ex32.bin Tue 11 Aug 18:26:35 BST 2015 0 valid 1537908kb 14058 jenkins-slave 5.32 0:06.31
necla/ex33 ERROR profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/necla/ex33.bin Tue 11 Aug 18:26:36 BST 2015 unknown po (0) jenkins-slave
necla/ex34 Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/necla/ex34.bin Tue 11 Aug 18:28:38 BST 2015 0 valid 12520kb 149 jenkins-slave 0.04 0:00.05
necla/ex36_free ERROR profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --no-unwinding-assertions /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/necla/ex36_free.bin Tue 11 Aug 18:28:50 BST 2015 unknown po (0) jenkins-slave
necla/ex36_read ERROR profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --no-unwinding-assertions /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/necla/ex36_read.bin Tue 11 Aug 18:28:41 BST 2015 unknown po (0) jenkins-slave
necla/ex37 Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/necla/ex37.bin Tue 11 Aug 18:30:42 BST 2015 0 valid 32144kb 76 jenkins-slave 0.24 0:00.28
necla/ex4 Property VIOLATED profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 11 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/necla/ex4.bin Tue 11 Aug 18:29:01 BST 2015 10 invalid 10896kb 400 jenkins-slave 0.02 0:00.04
necla/ex40 Property VIOLATED profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --unwind 101 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/necla/ex40.bin Tue 11 Aug 18:30:53 BST 2015 10 invalid 41412kb 1060 jenkins-slave 0.50 0:00.54
necla/ex43 Property VIOLATED profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/necla/ex43.bin Tue 11 Aug 18:26:36 BST 2015 10 invalid 687160kb 8848 jenkins-slave 17.58 0:18.17
necla/ex46 Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --unwind 11 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/necla/ex46.bin Tue 11 Aug 18:31:18 BST 2015 0 invalid 655064kb 338 jenkins-slave 38.90 0:39.47
necla/ex47 Property VIOLATED profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --unwind 10 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/necla/ex47.bin Tue 11 Aug 18:30:57 BST 2015 10 invalid 335512kb 327 jenkins-slave 19.32 0:19.60
necla/ex49 Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --unwind 1001 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/necla/ex49.bin Tue 11 Aug 18:28:37 BST 2015 0 valid 117912kb 9049 jenkins-slave 29.15 0:29.27
necla/ex5 Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/necla/ex5.bin Tue 11 Aug 18:30:27 BST 2015 0 valid 10128kb 40 jenkins-slave 0.00 0:00.01
necla/ex6 Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/necla/ex6.bin Tue 11 Aug 18:29:11 BST 2015 0 valid 9868kb 57 jenkins-slave 0.00 0:00.01
necla/ex7 TIMEOUT profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --unwind 1001 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/necla/ex7.bin Tue 11 Aug 18:26:57 BST 2015 124 unknown 4574624kb 13102 jenkins-slave 117.34 2:00.65
necla/ex8 ERROR profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 1001 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/necla/ex8.bin Tue 11 Aug 18:30:52 BST 2015 unknown po (0) jenkins-slave
necla/ex9 Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 7 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/necla/ex9.bin Tue 11 Aug 18:29:17 BST 2015 0 valid 46496kb 354 jenkins-slave 0.55 0:00.61
necla/inf1 Property VIOLATED profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/necla/inf1.bin Tue 11 Aug 18:26:56 BST 2015 10 invalid 10208kb 62 jenkins-slave 0.01 0:00.01
necla/inf3 Property VIOLATED profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --unwind 11 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/necla/inf3.bin Tue 11 Aug 18:30:44 BST 2015 10 valid 349456kb 755 jenkins-slave 7.25 0:07.59
necla/inf4 Property VIOLATED profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/necla/inf4.bin Tue 11 Aug 18:30:39 BST 2015 10 invalid 10864kb 113 jenkins-slave 0.02 0:00.03
necla/inf5 Property VIOLATED profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/necla/inf5.bin Tue 11 Aug 18:29:55 BST 2015 10 invalid 10196kb 117 jenkins-slave 0.01 0:00.02
necla/inf6 Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/necla/inf6.bin Tue 11 Aug 18:26:34 BST 2015 0 valid 10048kb 74 jenkins-slave 0.00 0:00.01
necla/inf8 Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/necla/inf8.bin Tue 11 Aug 18:30:37 BST 2015 0 valid 9916kb 94 jenkins-slave 0.00 0:00.01
queue/queue_1 Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/queue/queue_1.bin Tue 11 Aug 18:31:24 BST 2015 0 valid 10112kb 79 jenkins-slave 0.01 0:00.01
queue/queue_10 Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/queue/queue_10.bin Tue 11 Aug 18:31:25 BST 2015 0 valid 10480kb 394 jenkins-slave 0.03 0:00.04
queue/queue_100 Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/queue/queue_100.bin Tue 11 Aug 18:31:21 BST 2015 0 valid 33720kb 3544 jenkins-slave 0.80 0:00.83
queue/queue_1000 Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/queue/queue_1000.bin Tue 11 Aug 18:31:27 BST 2015 0 unknown 2060804kb 35044 jenkins-slave 61.19 1:02.44
slayer/ex1 Property VIOLATED profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/slayer/ex1.bin Tue 11 Aug 18:26:31 BST 2015 10 invalid 31796kb 43 jenkins-slave 0.22 0:00.27
slayer/ex2 Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/slayer/ex2.bin Tue 11 Aug 18:26:30 BST 2015 0 valid 8492kb 35 jenkins-slave 0.00 0:00.01
slayer/ex3 Property VIOLATED profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/slayer/ex3.bin Tue 11 Aug 18:26:33 BST 2015 10 invalid 31892kb 117 jenkins-slave 0.24 0:00.27
slayer/ex5 Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/slayer/ex5.bin Tue 11 Aug 18:26:33 BST 2015 0 valid 31908kb 83 jenkins-slave 0.25 0:00.28
slayer/ex6 Property VIOLATED profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/slayer/ex6.bin Tue 11 Aug 18:26:30 BST 2015 10 invalid 31984kb 87 jenkins-slave 0.48 0:00.53
slayer/ex7 Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 11 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/slayer/ex7.bin Tue 11 Aug 18:26:30 BST 2015 0 valid 32808kb 405 jenkins-slave 0.26 0:00.30
slayer/ex8 Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 6 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/slayer/ex8.bin Tue 11 Aug 18:26:33 BST 2015 0 valid 52664kb 887 jenkins-slave 0.91 0:00.95
slayer/ex9 Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 6 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/slayer/ex9.bin Tue 11 Aug 18:26:31 BST 2015 0 valid 59876kb 1516 jenkins-slave 1.29 0:01.36
smack/array Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/smack/array.bin Tue 11 Aug 18:26:10 BST 2015 0 valid 31848kb 74 jenkins-slave 0.25 0:00.27
smack/array1 Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/smack/array1.bin Tue 11 Aug 18:26:19 BST 2015 0 valid 32328kb 85 jenkins-slave 0.26 0:00.28
smack/array2 Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/smack/array2.bin Tue 11 Aug 18:26:13 BST 2015 0 valid 32952kb 533 jenkins-slave 0.32 0:00.36
smack/array3 Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/smack/array3.bin Tue 11 Aug 18:26:22 BST 2015 0 valid 32976kb 935 jenkins-slave 0.38 0:00.40
smack/array4 Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/smack/array4.bin Tue 11 Aug 18:26:11 BST 2015 0 valid 36816kb 935 jenkins-slave 0.42 0:00.46
smack/array_free Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/smack/array_free.bin Tue 11 Aug 18:26:17 BST 2015 0 valid 31836kb 248 jenkins-slave 0.26 0:00.29
smack/array_free1 Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/smack/array_free1.bin Tue 11 Aug 18:26:20 BST 2015 0 valid 31860kb 248 jenkins-slave 0.28 0:00.29
smack/array_free2 Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/smack/array_free2.bin Tue 11 Aug 18:26:24 BST 2015 0 valid 31916kb 248 jenkins-slave 0.26 0:00.29
smack/ase_example Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 11 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/smack/ase_example.bin Tue 11 Aug 18:26:26 BST 2015 0 valid 32244kb 426 jenkins-slave 0.31 0:00.34
smack/dsa_test Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/smack/dsa_test.bin Tue 11 Aug 18:26:13 BST 2015 0 valid 31888kb 84 jenkins-slave 0.26 0:00.28
smack/dsa_test1 Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/smack/dsa_test1.bin Tue 11 Aug 18:26:12 BST 2015 0 valid 32068kb 153 jenkins-slave 0.26 0:00.29
smack/dsa_test10 Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/smack/dsa_test10.bin Tue 11 Aug 18:26:28 BST 2015 0 valid 33960kb 408 jenkins-slave 0.64 0:00.70
smack/dsa_test11 Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/smack/dsa_test11.bin Tue 11 Aug 18:26:25 BST 2015 0 valid 32276kb 146 jenkins-slave 0.24 0:00.28
smack/dsa_test12 Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/smack/dsa_test12.bin Tue 11 Aug 18:26:24 BST 2015 0 valid 10060kb 50 jenkins-slave 0.00 0:00.01
smack/dsa_test13 Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/smack/dsa_test13.bin Tue 11 Aug 18:26:11 BST 2015 0 valid 8488kb 39 jenkins-slave 0.00 0:00.01
smack/dsa_test14 Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/smack/dsa_test14.bin Tue 11 Aug 18:26:15 BST 2015 0 valid 9808kb 43 jenkins-slave 0.01 0:00.02
smack/dsa_test15 Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/smack/dsa_test15.bin Tue 11 Aug 18:26:22 BST 2015 0 valid 32416kb 388 jenkins-slave 0.31 0:00.35
smack/dsa_test2 Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/smack/dsa_test2.bin Tue 11 Aug 18:26:20 BST 2015 0 valid 10016kb 47 jenkins-slave 0.00 0:00.01
smack/dsa_test3 Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/smack/dsa_test3.bin Tue 11 Aug 18:26:28 BST 2015 0 valid 32012kb 153 jenkins-slave 0.25 0:00.29
smack/dsa_test4 Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/smack/dsa_test4.bin Tue 11 Aug 18:26:27 BST 2015 0 valid 32716kb 114 jenkins-slave 0.26 0:00.29
smack/dsa_test5 Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/smack/dsa_test5.bin Tue 11 Aug 18:26:16 BST 2015 0 valid 33548kb 130 jenkins-slave 0.44 0:00.49
smack/dsa_test6 Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/smack/dsa_test6.bin Tue 11 Aug 18:26:15 BST 2015 0 valid 33144kb 229 jenkins-slave 0.29 0:00.32
smack/dsa_test7 Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/smack/dsa_test7.bin Tue 11 Aug 18:26:19 BST 2015 0 valid 9968kb 56 jenkins-slave 0.00 0:00.01
smack/dsa_test8 Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/smack/dsa_test8.bin Tue 11 Aug 18:26:29 BST 2015 0 valid 31788kb 114 jenkins-slave 0.24 0:00.28
smack/dsa_test9 Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/smack/dsa_test9.bin Tue 11 Aug 18:26:17 BST 2015 0 valid 31972kb 118 jenkins-slave 0.25 0:00.27
smack/simple Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/smack/simple.bin Tue 11 Aug 18:26:18 BST 2015 0 valid 9728kb 36 jenkins-slave 0.00 0:00.01
smack/simple_double_free Property VIOLATED profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/smack/simple_double_free.bin Tue 11 Aug 18:26:14 BST 2015 10 invalid 31928kb 91 jenkins-slave 0.24 0:00.28
smack/simple_fail Property VIOLATED profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/smack/simple_fail.bin Tue 11 Aug 18:26:14 BST 2015 10 invalid 9788kb 34 jenkins-slave 0.00 0:00.01
smack/simple_pre Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/smack/simple_pre.bin Tue 11 Aug 18:26:26 BST 2015 0 valid 9760kb 38 jenkins-slave 0.01 0:00.02
smack/simple_pre1 Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/smack/simple_pre1.bin Tue 11 Aug 18:26:22 BST 2015 0 valid 9728kb 39 jenkins-slave 0.00 0:00.01
smack/simple_pre2 Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/smack/simple_pre2.bin Tue 11 Aug 18:26:11 BST 2015 0 valid 9880kb 40 jenkins-slave 0.00 0:00.01
smack/simple_pre3 Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/smack/simple_pre3.bin Tue 11 Aug 18:26:24 BST 2015 0 valid 9728kb 38 jenkins-slave 0.00 0:00.01
smack/two_arrays Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/smack/two_arrays.bin Tue 11 Aug 18:26:23 BST 2015 0 valid 35592kb 3252 jenkins-slave 0.74 0:00.76
smack/two_arrays1 Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/smack/two_arrays1.bin Tue 11 Aug 18:26:27 BST 2015 0 valid 57132kb 4266 jenkins-slave 1.16 0:01.20
smack/two_arrays2 Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 51 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/smack/two_arrays2.bin Tue 11 Aug 18:26:21 BST 2015 0 valid 57140kb 4268 jenkins-slave 1.14 0:01.20
smack/two_arrays6 Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 51 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/smack/two_arrays6.bin Tue 11 Aug 18:26:17 BST 2015 0 valid 56980kb 4271 jenkins-slave 1.16 0:01.20
smack/vmcai_bytes Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/smack/vmcai_bytes.bin Tue 11 Aug 18:26:21 BST 2015 0 valid 10120kb 38 jenkins-slave 0.00 0:00.01
smack/vmcai_struct Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/smack/vmcai_struct.bin Tue 11 Aug 18:26:15 BST 2015 0 valid 31908kb 80 jenkins-slave 0.26 0:00.29
snu/bs Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 5 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/snu/bs.bin Tue 11 Aug 18:34:19 BST 2015 0 valid 10196kb 80 jenkins-slave 0.01 0:00.01
snu/crc Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 257 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/snu/crc.bin Tue 11 Aug 18:34:14 BST 2015 0 valid 51012kb 17242 jenkins-slave 3.75 0:03.79
snu/fibcall Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 31 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/snu/fibcall.bin Tue 11 Aug 18:34:12 BST 2015 0 valid 10168kb 259 jenkins-slave 0.02 0:00.02
snu/insertsort Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 10 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/snu/insertsort.bin Tue 11 Aug 18:34:16 BST 2015 0 valid 17804kb 1149 jenkins-slave 0.49 0:00.51
snu/jfdctint Property VIOLATED profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/snu/jfdctint.bin Tue 11 Aug 18:34:14 BST 2015 10 invalid 27264kb 2498 jenkins-slave 0.84 0:00.86
snu/matmul Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/snu/matmul.bin Tue 11 Aug 18:34:11 BST 2015 0 invalid 16292kb 2823 jenkins-slave 0.84 0:00.84
urbiva/bitcount16 Property VIOLATED profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/urbiva/bitcount16.bin Tue 11 Aug 18:34:08 BST 2015 10 invalid 10636kb 182 jenkins-slave 0.02 0:00.03
urbiva/bitcount32 Property VIOLATED profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/urbiva/bitcount32.bin Tue 11 Aug 18:34:08 BST 2015 10 invalid 11508kb 293 jenkins-slave 0.04 0:00.05
urbiva/fermat Property VIOLATED profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --unwind 4 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/urbiva/fermat.bin Tue 11 Aug 18:34:00 BST 2015 10 invalid 31140kb 130 jenkins-slave 0.54 0:00.56
urbiva/graycode Property VIOLATED profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 12 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/urbiva/graycode.bin Tue 11 Aug 18:34:06 BST 2015 10 invalid 32220kb 174 jenkins-slave 0.52 0:00.57
urbiva/magic Property VIOLATED profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 16 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/urbiva/magic.bin Tue 11 Aug 18:34:03 BST 2015 10 invalid 32436kb 227 jenkins-slave 0.57 0:00.61
urbiva/matrixsqrt Property VIOLATED profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/urbiva/matrixsqrt.bin Tue 11 Aug 18:33:57 BST 2015 10 invalid 64852kb 463 jenkins-slave 1.78 0:01.90
urbiva/queens Property VIOLATED profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/urbiva/queens.bin Tue 11 Aug 18:34:01 BST 2015 10 invalid 41000kb 4009 jenkins-slave 2.00 0:02.07
urbiva/send-more-money Property VIOLATED profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/urbiva/send-more-money.bin Tue 11 Aug 18:34:09 BST 2015 10 invalid 16588kb 71 jenkins-slave 0.13 0:00.14
urbiva/sort Property VIOLATED profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/urbiva/sort.bin Tue 11 Aug 18:34:05 BST 2015 10 invalid 34220kb 2475 jenkins-slave 1.33 0:01.38
urbiva/sudoku Property VIOLATED profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 9 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/urbiva/sudoku.bin Tue 11 Aug 18:34:10 BST 2015 10 invalid 33372kb 207 jenkins-slave 0.29 0:00.32
wcet/adpcm Property VIOLATED profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 24 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/wcet/adpcm.bin Tue 11 Aug 18:33:35 BST 2015 10 invalid 17396kb 1220 jenkins-slave 0.17 0:00.19
wcet/bs Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 5 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/wcet/bs.bin Tue 11 Aug 18:33:54 BST 2015 0 valid 10200kb 91 jenkins-slave 0.01 0:00.01
wcet/bsort100 Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 101 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/wcet/bsort100.bin Tue 11 Aug 18:32:56 BST 2015 0 valid 500500kb 115798 jenkins-slave 57.86 0:58.35
wcet/cnt Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/wcet/cnt.bin Tue 11 Aug 18:33:25 BST 2015 0 invalid 31496kb 4770 jenkins-slave 1.63 0:01.66
wcet/compress Property VIOLATED profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 50 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/wcet/compress.bin Tue 11 Aug 18:33:52 BST 2015 10 invalid 14952kb 574 jenkins-slave 0.25 0:00.26
wcet/cover Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/wcet/cover.bin Tue 11 Aug 18:33:37 BST 2015 0 valid 12940kb 1325 jenkins-slave 0.57 0:00.57
wcet/crc Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 257 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/wcet/crc.bin Tue 11 Aug 18:33:28 BST 2015 0 valid 51004kb 17242 jenkins-slave 3.73 0:03.77
wcet/duff Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/wcet/duff.bin Tue 11 Aug 18:33:39 BST 2015 0 valid 16024kb 1753 jenkins-slave 0.80 0:00.80
wcet/edn Property VIOLATED profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 100 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/wcet/edn.bin Tue 11 Aug 18:33:48 BST 2015 10 invalid 32372kb 1446 jenkins-slave 1.49 0:01.53
wcet/expint Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/wcet/expint.bin Tue 11 Aug 18:33:44 BST 2015 0 valid 12600kb 1477 jenkins-slave 0.28 0:00.30
wcet/fac Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/wcet/fac.bin Tue 11 Aug 18:33:19 BST 2015 0 valid 10420kb 301 jenkins-slave 0.03 0:00.04
wcet/fdct Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/wcet/fdct.bin Tue 11 Aug 18:33:15 BST 2015 0 valid 17952kb 2718 jenkins-slave 0.76 0:00.77
wcet/fibcall Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/wcet/fibcall.bin Tue 11 Aug 18:33:23 BST 2015 0 valid 10140kb 256 jenkins-slave 0.01 0:00.02
wcet/fir Property VIOLATED profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 27 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/wcet/fir.bin Tue 11 Aug 18:33:48 BST 2015 10 unknown 2474120kb 8701 jenkins-slave 82.19 1:23.98
wcet/insertsort Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 10 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/wcet/insertsort.bin Tue 11 Aug 18:33:35 BST 2015 0 valid 10808kb 475 jenkins-slave 0.06 0:00.07
wcet/janne_complex Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/wcet/janne_complex.bin Tue 11 Aug 18:33:33 BST 2015 0 valid 9984kb 185 jenkins-slave 0.01 0:00.02
wcet/jfdctint Property VIOLATED profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/wcet/jfdctint.bin Tue 11 Aug 18:33:32 BST 2015 10 invalid 26840kb 2492 jenkins-slave 0.84 0:00.87
wcet/loop3 Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/wcet/loop3.bin Tue 11 Aug 18:33:36 BST 2015 0 valid 16020kb 3401 jenkins-slave 0.22 0:00.23
wcet/matmult Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/wcet/matmult.bin Tue 11 Aug 18:33:49 BST 2015 0 unknown 2075932kb 169915 jenkins-slave 61.30 1:02.63
wcet/minmax Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/wcet/minmax.bin Tue 11 Aug 18:33:46 BST 2015 0 valid 10256kb 91 jenkins-slave 0.01 0:00.01
wcet/ndes Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/wcet/ndes.bin Tue 11 Aug 18:33:38 BST 2015 0 valid 159160kb 37060 jenkins-slave 9.10 0:09.21
wcet/ns Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 6 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/wcet/ns.bin Tue 11 Aug 18:33:56 BST 2015 0 valid 14664kb 3324 jenkins-slave 1.69 0:01.71
wcet/nsichneu Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/wcet/nsichneu.bin Tue 11 Aug 18:33:45 BST 2015 0 valid 35784kb 2194 jenkins-slave 1.02 0:01.06
wcet/prime Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 358 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/wcet/prime.bin Tue 11 Aug 18:33:42 BST 2015 0 valid 17700kb 6146 jenkins-slave 0.52 0:00.54
wcet/recursion Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/wcet/recursion.bin Tue 11 Aug 18:32:54 BST 2015 0 valid 14744kb 2294 jenkins-slave 0.29 0:00.31
wcet/select Property VIOLATED profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 1 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/wcet/select.bin Tue 11 Aug 18:33:21 BST 2015 10 invalid 11148kb 117 jenkins-slave 0.04 0:00.04
wcet/statemate Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 3 /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/wcet/statemate.bin Tue 11 Aug 18:33:17 BST 2015 0 valid 12720kb 861 jenkins-slave 0.10 0:00.10
wcet/ud Property HOLDS profiling-glucose-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/wcet/ud.bin Tue 11 Aug 18:33:33 BST 2015 0 valid 564320kb 1512 jenkins-slave 9.72 0:10.48
The benchmarks were run on a Linux 3.16.0-4-amd64 64x @@2499.782MHz system equipped with 264654128kb RAM.