* profiling-ssa_exprt-struct_fs-array_fs-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 20;profiling-ssa_exprt-struct_fs-array_fs-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 6;profiling-ssa_exprt-struct_fs-array_fs-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 10;profiling-ssa_exprt-struct_fs-array_fs-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 1001;profiling-ssa_exprt-struct_fs-array_fs-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 13;profiling-ssa_exprt-struct_fs-array_fs-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 24;profiling-ssa_exprt-struct_fs-array_fs-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 1025;profiling-ssa_exprt-struct_fs-array_fs-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --unwind 11;profiling-ssa_exprt-struct_fs-array_fs-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 100;profiling-ssa_exprt-struct_fs-array_fs-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 14;profiling-ssa_exprt-struct_fs-array_fs-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --unwind 10;profiling-ssa_exprt-struct_fs-array_fs-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 27;profiling-ssa_exprt-struct_fs-array_fs-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --unwind 17;profiling-ssa_exprt-struct_fs-array_fs-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 1001 --no-unwinding-assertions;profiling-ssa_exprt-struct_fs-array_fs-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --unwind 101;profiling-ssa_exprt-struct_fs-array_fs-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 21;profiling-ssa_exprt-struct_fs-array_fs-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main;profiling-ssa_exprt-struct_fs-array_fs-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 18;profiling-ssa_exprt-struct_fs-array_fs-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 3;profiling-ssa_exprt-struct_fs-array_fs-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 358;profiling-ssa_exprt-struct_fs-array_fs-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --no-unwinding-assertions;profiling-ssa_exprt-struct_fs-array_fs-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 1;profiling-ssa_exprt-struct_fs-array_fs-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 16;profiling-ssa_exprt-struct_fs-array_fs-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --unwind 6;profiling-ssa_exprt-struct_fs-array_fs-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 5;profiling-ssa_exprt-struct_fs-array_fs-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check;profiling-ssa_exprt-struct_fs-array_fs-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 15;profiling-ssa_exprt-struct_fs-array_fs-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 201;profiling-ssa_exprt-struct_fs-array_fs-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 19;profiling-ssa_exprt-struct_fs-array_fs-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --unwind 4;profiling-ssa_exprt-struct_fs-array_fs-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function simpleWhile --unwind 1001;profiling-ssa_exprt-struct_fs-array_fs-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 17;profiling-ssa_exprt-struct_fs-array_fs-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 101;profiling-ssa_exprt-struct_fs-array_fs-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 51;profiling-ssa_exprt-struct_fs-array_fs-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 7;profiling-ssa_exprt-struct_fs-array_fs-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 50;profiling-ssa_exprt-struct_fs-array_fs-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 12;profiling-ssa_exprt-struct_fs-array_fs-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 31;profiling-ssa_exprt-struct_fs-array_fs-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function intSqRoot --unwind 201;profiling-ssa_exprt-struct_fs-array_fs-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 257;profiling-ssa_exprt-struct_fs-array_fs-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 8;profiling-ssa_exprt-struct_fs-array_fs-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --unwind 1001;profiling-ssa_exprt-struct_fs-array_fs-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 11;profiling-ssa_exprt-struct_fs-array_fs-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 9 version 4.9 results *
Timeout: 120s Memory limit: unlimitedkb
Sat Aug 23 02:15:47 2014
Benchmark Result commandline date exitcode expected maxmem mt_max_constr ssa-size user usertime wallclock
anonymous/bubbleSort Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:50:35 BST 2014 0 valid 84908kb 1470 jenkins-slave 9.05 0:09.22
anonymous/intSqRoot Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:49:28 BST 2014 0 valid 1405336kb 3862 jenkins-slave 61.07 1:03.06
anonymous/selectSort TIMEOUT profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:49:15 BST 2014 124 unknown 2382212kb 1054 jenkins-slave 116.62 2:00.57
anonymous/simpleWhile Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:50:37 BST 2014 0 valid 107628kb 8546 jenkins-slave 93.61 1:33.84
eureka/Prim_4 Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:41:17 BST 2014 0 valid 11588kb 1754 jenkins-slave 0.55 0:00.57
eureka/Prim_5 Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:41:17 BST 2014 0 valid 13668kb 2292 jenkins-slave 1.41 0:01.43
eureka/Prim_6 Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:40:54 BST 2014 0 valid 16376kb 2884 jenkins-slave 1.86 0:01.88
eureka/Prim_7 Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:41:06 BST 2014 0 valid 19268kb 3530 jenkins-slave 2.38 0:02.40
eureka/Prim_8 Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:40:58 BST 2014 0 valid 22856kb 4230 jenkins-slave 2.98 0:03.02
eureka/array_init Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:40:49 BST 2014 0 valid 6844kb 108 jenkins-slave 0.04 0:00.05
eureka/array_init_assign Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:40:46 BST 2014 0 valid 6760kb 62 jenkins-slave 0.02 0:00.04
eureka/bf10 Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:40:53 BST 2014 0 valid 7868kb 643 jenkins-slave 0.61 0:00.63
eureka/bf11 Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:41:09 BST 2014 0 valid 7968kb 694 jenkins-slave 0.69 0:00.70
eureka/bf12 Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:41:13 BST 2014 0 valid 7996kb 745 jenkins-slave 0.76 0:00.78
eureka/bf13 Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:40:57 BST 2014 0 valid 8152kb 796 jenkins-slave 0.84 0:00.85
eureka/bf14 Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:41:15 BST 2014 0 valid 8220kb 847 jenkins-slave 0.90 0:00.93
eureka/bf15 Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:41:01 BST 2014 0 valid 8308kb 898 jenkins-slave 0.88 0:00.89
eureka/bf16 Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:40:46 BST 2014 0 valid 8388kb 949 jenkins-slave 1.08 0:01.11
eureka/bf17 Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:41:10 BST 2014 0 valid 8444kb 1000 jenkins-slave 1.17 0:01.19
eureka/bf18 Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:41:10 BST 2014 0 valid 8512kb 1051 jenkins-slave 1.28 0:01.29
eureka/bf19 Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:41:00 BST 2014 0 valid 8648kb 1102 jenkins-slave 1.02 0:01.03
eureka/bf20 Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:41:12 BST 2014 0 valid 8720kb 1153 jenkins-slave 1.20 0:01.23
eureka/bf5 Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:41:14 BST 2014 0 valid 7448kb 388 jenkins-slave 0.17 0:00.19
eureka/bf6 Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:41:18 BST 2014 0 valid 7552kb 439 jenkins-slave 0.36 0:00.37
eureka/bf7 Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:41:02 BST 2014 0 valid 7648kb 490 jenkins-slave 0.42 0:00.43
eureka/bf8 Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:40:46 BST 2014 0 valid 7720kb 541 jenkins-slave 0.48 0:00.49
eureka/bf9 Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:41:06 BST 2014 0 valid 7784kb 592 jenkins-slave 0.56 0:00.56
eureka/bubblesort Property VIOLATED profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:40:58 BST 2014 10 invalid 6924kb 137 jenkins-slave 0.07 0:00.09
eureka/bubblesort_inner_loop Property VIOLATED profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:40:50 BST 2014 10 invalid 6792kb 79 jenkins-slave 0.04 0:00.05
eureka/complex_guard Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:40:49 BST 2014 0 valid 6776kb 52 jenkins-slave 0.02 0:00.03
eureka/loop_on_input Property VIOLATED profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:40:50 BST 2014 10 invalid 7568kb 96 jenkins-slave 0.06 0:00.07
eureka/sequential_swap Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:41:05 BST 2014 0 valid 6456kb 73 jenkins-slave 0.02 0:00.04
eureka/simple_array_inversion Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:40:46 BST 2014 0 valid 6768kb 63 jenkins-slave 0.02 0:00.04
eureka/simple_control_on_input Property VIOLATED profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:41:04 BST 2014 10 invalid 29852kb 1592 jenkins-slave 1.84 0:01.88
eureka/simple_swap_call Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:40:54 BST 2014 0 valid 6420kb 54 jenkins-slave 0.02 0:00.03
eureka/wrong_loop Property VIOLATED profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:40:53 BST 2014 10 invalid 6776kb 88 jenkins-slave 0.03 0:00.05
necla/ex1 ERROR profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:46:54 BST 2014 valid po (0) jenkins-slave
necla/ex10 Property VIOLATED profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:48:57 BST 2014 10 invalid 22804kb 609 jenkins-slave 0.95 0:00.98
necla/ex11 Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:47:19 BST 2014 0 valid 78600kb 15053 jenkins-slave 42.41 0:42.52
necla/ex12 Property VIOLATED profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:46:38 BST 2014 10 invalid 7012kb 134 jenkins-slave 0.03 0:00.04
necla/ex13 Property VIOLATED profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:45:18 BST 2014 10 invalid 7460kb 130 jenkins-slave 0.07 0:00.09
necla/ex14 Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:47:05 BST 2014 0 valid 6912kb 114 jenkins-slave 0.05 0:00.06
necla/ex15 Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:47:45 BST 2014 0 valid 7308kb 160 jenkins-slave 0.08 0:00.09
necla/ex16 Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:44:34 BST 2014 0 valid 11780kb 3083 jenkins-slave 1.11 0:01.13
necla/ex17 Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:47:09 BST 2014 0 valid 29660kb 939 jenkins-slave 2.18 0:02.23
necla/ex18 Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:42:54 BST 2014 0 valid 1402444kb 2925 jenkins-slave 46.84 0:48.35
necla/ex19 Property VIOLATED profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:47:54 BST 2014 10 invalid 253568kb 9053 jenkins-slave 90.39 1:30.80
necla/ex2 TIMEOUT profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:42:26 BST 2014 124 unknown 4263104kb 7276 jenkins-slave 114.70 2:01.09
necla/ex20 ERROR profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:45:33 BST 2014 invalid po (0) jenkins-slave
necla/ex21 Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:45:47 BST 2014 0 valid 14644kb 5136 jenkins-slave 4.90 0:04.91
necla/ex22 Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:44:51 BST 2014 0 valid 12104kb 2696 jenkins-slave 2.78 0:02.80
necla/ex23 TIMEOUT profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:46:42 BST 2014 124 valid 234340kb jenkins-slave 119.61 2:00.06
necla/ex26 Property VIOLATED profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:44:39 BST 2014 10 invalid 20584kb 5736 jenkins-slave 7.83 0:07.86
necla/ex27 Property VIOLATED profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:45:59 BST 2014 10 invalid 21524kb 6644 jenkins-slave 9.83 0:09.87
necla/ex29 Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:45:26 BST 2014 0 valid 31236kb 1429 jenkins-slave 3.52 0:03.59
necla/ex3 Property VIOLATED profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:47:01 BST 2014 10 invalid 7876kb 293 jenkins-slave 0.13 0:00.14
necla/ex30 ERROR profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:46:18 BST 2014 10 unknown 31812kb 6558 jenkins-slave 29.55 0:29.60
necla/ex31 Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:46:11 BST 2014 0 valid 7644kb 264 jenkins-slave 0.10 0:00.10
necla/ex32 Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:42:29 BST 2014 0 valid 34544kb 20052 jenkins-slave 68.78 1:08.83
necla/ex33 ERROR profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:42:30 BST 2014 unknown po (0) jenkins-slave
necla/ex34 Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:44:31 BST 2014 0 valid 9656kb 140 jenkins-slave 0.15 0:00.16
necla/ex36_free ERROR profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:44:57 BST 2014 unknown po (0) jenkins-slave
necla/ex36_read ERROR profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:44:35 BST 2014 unknown po (0) jenkins-slave
necla/ex37 Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:47:49 BST 2014 0 valid 29780kb 76 jenkins-slave 0.82 0:00.86
necla/ex4 Property VIOLATED profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:45:22 BST 2014 10 invalid 7460kb 340 jenkins-slave 0.15 0:00.16
necla/ex40 Property VIOLATED profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:48:46 BST 2014 10 invalid 40324kb 6306 jenkins-slave 7.25 0:07.34
necla/ex43 Property VIOLATED profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:42:29 BST 2014 10 invalid 246396kb 7327 jenkins-slave 20.90 0:21.37
necla/ex46 Property VIOLATED profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:49:00 BST 2014 10 invalid 183352kb 341 jenkins-slave 8.82 0:09.09
necla/ex47 Property VIOLATED profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:48:57 BST 2014 10 invalid 104972kb 330 jenkins-slave 3.10 0:03.20
necla/ex49 Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:43:47 BST 2014 0 valid 113932kb 9048 jenkins-slave 87.23 1:27.47
necla/ex5 Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:47:15 BST 2014 0 valid 6940kb 77 jenkins-slave 0.02 0:00.04
necla/ex6 Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:45:55 BST 2014 0 valid 6776kb 54 jenkins-slave 0.01 0:00.01
necla/ex7 TIMEOUT profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:43:43 BST 2014 124 unknown 1403204kb 13106 jenkins-slave 118.24 2:00.40
necla/ex8 ERROR profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:48:33 BST 2014 unknown po (0) jenkins-slave
necla/ex9 Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:46:14 BST 2014 0 valid 47236kb 448 jenkins-slave 1.17 0:01.22
necla/inf1 Property VIOLATED profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:43:40 BST 2014 10 invalid 6968kb 61 jenkins-slave 0.02 0:00.02
necla/inf3 Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:48:05 BST 2014 0 valid 558432kb 762 jenkins-slave 22.88 0:23.93
necla/inf4 Property VIOLATED profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:47:41 BST 2014 10 invalid 7552kb 124 jenkins-slave 0.09 0:00.10
necla/inf5 Property VIOLATED profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:46:51 BST 2014 10 invalid 7080kb 118 jenkins-slave 0.02 0:00.03
necla/inf6 Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:42:26 BST 2014 0 valid 6872kb 78 jenkins-slave 0.01 0:00.02
necla/inf8 Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:47:37 BST 2014 0 valid 6864kb 106 jenkins-slave 0.04 0:00.05
queue/queue_1 Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:49:11 BST 2014 0 valid 6868kb 85 jenkins-slave 0.01 0:00.02
queue/queue_10 Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:49:12 BST 2014 0 valid 7160kb 418 jenkins-slave 0.11 0:00.12
queue/queue_100 Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:49:03 BST 2014 0 valid 10192kb 3748 jenkins-slave 4.84 0:04.84
queue/queue_1000 ERROR profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:49:14 BST 2014 unknown po (0) jenkins-slave
slayer/ex1 Property VIOLATED profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:42:18 BST 2014 10 invalid 29360kb 45 jenkins-slave 0.73 0:00.81
slayer/ex2 Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:42:12 BST 2014 0 valid 6300kb 34 jenkins-slave 0.00 0:00.01
slayer/ex3 Property VIOLATED profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:42:18 BST 2014 10 invalid 29472kb 120 jenkins-slave 0.79 0:00.86
slayer/ex5 Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:42:22 BST 2014 0 valid 29568kb 84 jenkins-slave 0.77 0:00.84
slayer/ex6 Property VIOLATED profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:42:14 BST 2014 10 invalid 29524kb 89 jenkins-slave 0.80 0:00.85
slayer/ex7 Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:42:13 BST 2014 0 valid 29828kb 413 jenkins-slave 0.52 0:00.56
slayer/ex8 Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:42:23 BST 2014 0 valid 45112kb 1143 jenkins-slave 3.14 0:03.22
slayer/ex9 Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:42:16 BST 2014 0 valid 97648kb 2300 jenkins-slave 10.25 0:10.45
smack/array Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:41:19 BST 2014 0 valid 29568kb 75 jenkins-slave 0.78 0:00.83
smack/array1 Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:41:41 BST 2014 0 valid 29608kb 85 jenkins-slave 0.81 0:00.85
smack/array2 Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:41:25 BST 2014 0 valid 29708kb 533 jenkins-slave 1.27 0:01.32
smack/array3 Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:41:50 BST 2014 0 valid 29800kb 886 jenkins-slave 1.27 0:01.32
smack/array4 Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:41:21 BST 2014 0 valid 29856kb 886 jenkins-slave 4.22 0:04.27
smack/array_free Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:41:36 BST 2014 0 valid 29464kb 287 jenkins-slave 1.19 0:01.25
smack/array_free1 Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:41:42 BST 2014 0 valid 29624kb 455 jenkins-slave 1.26 0:01.30
smack/array_free2 Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:41:59 BST 2014 0 valid 29656kb 623 jenkins-slave 1.08 0:01.11
smack/ase_example Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:42:03 BST 2014 0 valid 29524kb 415 jenkins-slave 0.70 0:00.74
smack/dsa_test Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:41:26 BST 2014 0 valid 29600kb 85 jenkins-slave 0.78 0:00.85
smack/dsa_test1 Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:41:24 BST 2014 0 valid 29580kb 144 jenkins-slave 0.83 0:00.89
smack/dsa_test10 Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:42:09 BST 2014 0 valid 29632kb 409 jenkins-slave 1.44 0:01.51
smack/dsa_test11 Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:42:00 BST 2014 0 valid 29628kb 149 jenkins-slave 0.42 0:00.45
smack/dsa_test12 Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:41:56 BST 2014 0 valid 6788kb 49 jenkins-slave 0.02 0:00.03
smack/dsa_test13 Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:41:21 BST 2014 0 valid 6304kb 38 jenkins-slave 0.01 0:00.01
smack/dsa_test14 Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:41:32 BST 2014 0 valid 6712kb 42 jenkins-slave 0.01 0:00.03
smack/dsa_test15 Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:41:50 BST 2014 0 valid 30072kb 1969 jenkins-slave 2.37 0:02.41
smack/dsa_test2 Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:41:43 BST 2014 0 valid 6776kb 50 jenkins-slave 0.02 0:00.03
smack/dsa_test3 Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:42:08 BST 2014 0 valid 29580kb 144 jenkins-slave 0.84 0:00.89
smack/dsa_test4 Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:42:04 BST 2014 0 valid 29616kb 115 jenkins-slave 0.84 0:00.89
smack/dsa_test5 Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:41:34 BST 2014 0 valid 29612kb 127 jenkins-slave 0.85 0:00.91
smack/dsa_test6 Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:41:30 BST 2014 0 valid 29612kb 230 jenkins-slave 1.14 0:01.18
smack/dsa_test7 Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:41:40 BST 2014 0 valid 6868kb 62 jenkins-slave 0.03 0:00.04
smack/dsa_test8 Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:42:09 BST 2014 0 valid 29416kb 118 jenkins-slave 0.84 0:00.88
smack/dsa_test9 Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:41:35 BST 2014 0 valid 29616kb 119 jenkins-slave 0.80 0:00.86
smack/simple Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:41:39 BST 2014 0 valid 6300kb 35 jenkins-slave 0.01 0:00.02
smack/simple_double_free Property VIOLATED profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:41:29 BST 2014 10 invalid 29548kb 93 jenkins-slave 0.79 0:00.85
smack/simple_fail Property VIOLATED profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:41:29 BST 2014 10 invalid 6560kb 33 jenkins-slave 0.02 0:00.02
smack/simple_pre Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:42:00 BST 2014 0 valid 6304kb 36 jenkins-slave 0.01 0:00.01
smack/simple_pre1 Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:41:47 BST 2014 0 valid 6300kb 37 jenkins-slave 0.02 0:00.02
smack/simple_pre2 Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:41:22 BST 2014 0 valid 6636kb 38 jenkins-slave 0.01 0:00.02
smack/simple_pre3 Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:41:57 BST 2014 0 valid 6300kb 36 jenkins-slave 0.01 0:00.02
smack/two_arrays Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:41:54 BST 2014 0 valid 30064kb 3055 jenkins-slave 3.73 0:03.79
smack/two_arrays1 Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:42:03 BST 2014 0 valid 30076kb 3969 jenkins-slave 20.32 0:20.36
smack/two_arrays2 Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:41:47 BST 2014 0 valid 30064kb 3971 jenkins-slave 18.15 0:18.20
smack/two_arrays6 Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:41:35 BST 2014 0 valid 30084kb 3974 jenkins-slave 18.24 0:18.30
smack/vmcai_bytes Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:41:46 BST 2014 0 valid 6744kb 41 jenkins-slave 0.00 0:00.03
smack/vmcai_struct Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:41:30 BST 2014 0 valid 29428kb 83 jenkins-slave 0.82 0:00.85
snu/bs Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:55:34 BST 2014 0 valid 7172kb 137 jenkins-slave 0.06 0:00.07
snu/crc Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:55:22 BST 2014 0 valid 30720kb 18547 jenkins-slave 68.17 1:08.24
snu/fibcall Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:55:22 BST 2014 0 valid 7104kb 257 jenkins-slave 0.08 0:00.09
snu/insertsort Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:55:30 BST 2014 0 valid 7364kb 393 jenkins-slave 0.41 0:00.43
snu/jfdctint Property VIOLATED profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:55:26 BST 2014 10 invalid 15528kb 2624 jenkins-slave 3.92 0:03.95
snu/matmul Property VIOLATED profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:55:19 BST 2014 10 invalid 12312kb 3435 jenkins-slave 7.14 0:07.16
urbiva/bitcount16 Property VIOLATED profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:55:11 BST 2014 10 invalid 7816kb 180 jenkins-slave 0.12 0:00.13
urbiva/bitcount32 Property VIOLATED profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:55:13 BST 2014 10 invalid 8480kb 291 jenkins-slave 0.18 0:00.19
urbiva/fermat Property VIOLATED profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:54:50 BST 2014 10 invalid 33828kb 127 jenkins-slave 0.51 0:00.54
urbiva/graycode Property VIOLATED profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:55:08 BST 2014 10 invalid 29736kb 175 jenkins-slave 0.90 0:00.96
urbiva/magic Property VIOLATED profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:54:59 BST 2014 10 invalid 29976kb 228 jenkins-slave 0.98 0:01.03
urbiva/matrixsqrt Property VIOLATED profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:54:44 BST 2014 10 invalid 62016kb 466 jenkins-slave 2.99 0:03.09
urbiva/queens Property VIOLATED profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:54:53 BST 2014 10 invalid 35992kb 4010 jenkins-slave 2.57 0:02.63
urbiva/send-more-money Property VIOLATED profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:55:15 BST 2014 10 invalid 13744kb 71 jenkins-slave 0.33 0:00.37
urbiva/sort Property VIOLATED profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:55:04 BST 2014 10 invalid 30560kb 2478 jenkins-slave 2.79 0:02.87
urbiva/sudoku Property VIOLATED profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:55:17 BST 2014 10 invalid 30936kb 1657 jenkins-slave 1.58 0:01.63
wcet/adpcm Property VIOLATED profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:52:23 BST 2014 10 invalid 15112kb 1972 jenkins-slave 1.39 0:01.42
wcet/bs Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:53:56 BST 2014 0 valid 7188kb 148 jenkins-slave 0.05 0:00.05
wcet/bsort100 ERROR profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:50:53 BST 2014 valid po (0) jenkins-slave
wcet/cnt Property VIOLATED profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:51:30 BST 2014 10 invalid 13976kb 3935 jenkins-slave 6.61 0:06.63
wcet/compress Property VIOLATED profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:53:52 BST 2014 10 invalid 13812kb 2072 jenkins-slave 0.93 0:00.96
wcet/cover Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:52:33 BST 2014 0 valid 9432kb 1321 jenkins-slave 3.02 0:03.05
wcet/crc Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:51:32 BST 2014 0 valid 30712kb 18547 jenkins-slave 67.80 1:07.87
wcet/duff Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:52:44 BST 2014 0 valid 11268kb 2150 jenkins-slave 1.81 0:01.83
wcet/edn Property VIOLATED profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:53:04 BST 2014 10 invalid 20748kb 4144 jenkins-slave 10.18 0:10.21
wcet/expint Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:52:56 BST 2014 0 valid 9288kb 1426 jenkins-slave 0.73 0:00.74
wcet/fac Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:51:24 BST 2014 0 valid 7088kb 273 jenkins-slave 0.08 0:00.09
wcet/fdct Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:51:17 BST 2014 0 valid 13400kb 2844 jenkins-slave 4.14 0:04.17
wcet/fibcall Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:51:28 BST 2014 0 valid 7080kb 254 jenkins-slave 0.08 0:00.09
wcet/fir ERROR profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:53:04 BST 2014 unknown po (0) jenkins-slave
wcet/insertsort Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:52:18 BST 2014 0 valid 7332kb 495 jenkins-slave 0.50 0:00.51
wcet/janne_complex Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:52:14 BST 2014 0 valid 6920kb 183 jenkins-slave 0.06 0:00.08
wcet/jfdctint Property VIOLATED profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:51:40 BST 2014 10 invalid 15212kb 2618 jenkins-slave 4.54 0:04.58
wcet/loop3 Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:52:28 BST 2014 0 valid 12836kb 3400 jenkins-slave 1.14 0:01.15
wcet/matmult ERROR profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:53:19 BST 2014 unknown po (0) jenkins-slave
wcet/minmax Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:53:01 BST 2014 0 valid 6996kb 101 jenkins-slave 0.04 0:00.06
wcet/ndes ERROR profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:52:40 BST 2014 valid po (0) jenkins-slave
wcet/ns Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:54:00 BST 2014 0 valid 17856kb 5820 jenkins-slave 91.73 1:31.78
wcet/nsichneu Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:52:57 BST 2014 0 valid 29228kb 2218 jenkins-slave 3.26 0:03.33
wcet/prime Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:52:49 BST 2014 0 valid 14108kb 5717 jenkins-slave 2.96 0:02.98
wcet/recursion Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:50:48 BST 2014 0 valid 9536kb 1938 jenkins-slave 0.81 0:00.82
wcet/select Property VIOLATED profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:51:26 BST 2014 10 invalid 7796kb 159 jenkins-slave 0.19 0:00.20
wcet/statemate Property HOLDS profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:51:20 BST 2014 0 valid 9700kb 987 jenkins-slave 0.57 0:00.59
wcet/ud ERROR profiling-ssa_exprt-struct_fs-array_fs-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 Sat Aug 23 01:51:48 BST 2014 valid po (0) jenkins-slave
The benchmarks were run on a Linux 3.2.0-4-amd64 64x AMD Opteron(tm) Processor 6380 @@2499.556MHz system equipped with 264656428kb RAM.