* profiling-merged-irep-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 11;profiling-merged-irep-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 31;profiling-merged-irep-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 10;profiling-merged-irep-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --unwind 1001;profiling-merged-irep-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 8;profiling-merged-irep-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --unwind 17;profiling-merged-irep-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 18;profiling-merged-irep-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 201;profiling-merged-irep-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 3;profiling-merged-irep-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --unwind 6;profiling-merged-irep-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 14;profiling-merged-irep-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function intSqRoot --unwind 201;profiling-merged-irep-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 50;profiling-merged-irep-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --unwind 4;profiling-merged-irep-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 1001;profiling-merged-irep-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --no-unwinding-assertions;profiling-merged-irep-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 15;profiling-merged-irep-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 51;profiling-merged-irep-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 19;profiling-merged-irep-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 16;profiling-merged-irep-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 6;profiling-merged-irep-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 17;profiling-merged-irep-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 21;profiling-merged-irep-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 1;profiling-merged-irep-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --unwind 101;profiling-merged-irep-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 27;profiling-merged-irep-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 20;profiling-merged-irep-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main;profiling-merged-irep-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check;profiling-merged-irep-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 358;profiling-merged-irep-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 101;profiling-merged-irep-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --unwind 11;profiling-merged-irep-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 9;profiling-merged-irep-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 12;profiling-merged-irep-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 100;profiling-merged-irep-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 24;profiling-merged-irep-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 7;profiling-merged-irep-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 1001 --no-unwinding-assertions;profiling-merged-irep-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 5;profiling-merged-irep-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function __llbmc_main --unwind 10;profiling-merged-irep-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --function simpleWhile --unwind 1001;profiling-merged-irep-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 257;profiling-merged-irep-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 13;profiling-merged-irep-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check --unwind 1025 version 5.0 results *
Timeout: 120s Memory limit: unlimitedkb
Sat Apr 4 12:28:12 2015
Benchmark Result commandline date exitcode expected maxmem mt_max_constr ssa-size user usertime wallclock
anonymous/bubbleSort Property HOLDS profiling-merged-irep-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 Apr 4 12:07:38 BST 2015 0 valid 400524kb 1469 jenkins-slave 86.78 1:27.55
anonymous/intSqRoot Property HOLDS profiling-merged-irep-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 Apr 4 12:07:08 BST 2015 0 valid 1141064kb 3863 jenkins-slave 42.99 0:44.81
anonymous/selectSort TIMEOUT profiling-merged-irep-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 Apr 4 12:06:32 BST 2015 124 unknown 2060708kb 1053 jenkins-slave 117.10 2:00.59
anonymous/simpleWhile Property HOLDS profiling-merged-irep-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 Apr 4 12:07:56 BST 2015 0 valid 140900kb 8546 jenkins-slave 68.34 1:08.56
eureka/Prim_4 Property HOLDS profiling-merged-irep-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 Apr 4 11:58:35 BST 2015 0 valid 14400kb 1723 jenkins-slave 0.59 0:00.60
eureka/Prim_5 Property HOLDS profiling-merged-irep-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 Apr 4 11:58:35 BST 2015 0 valid 17376kb 2254 jenkins-slave 0.78 0:00.83
eureka/Prim_6 Property HOLDS profiling-merged-irep-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 Apr 4 11:58:15 BST 2015 0 valid 20524kb 2839 jenkins-slave 1.06 0:01.08
eureka/Prim_7 Property HOLDS profiling-merged-irep-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 Apr 4 11:58:26 BST 2015 0 valid 24516kb 3478 jenkins-slave 1.36 0:01.40
eureka/Prim_8 Property HOLDS profiling-merged-irep-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 Apr 4 11:58:19 BST 2015 0 valid 28576kb 4171 jenkins-slave 1.73 0:01.76
eureka/array_init Property HOLDS profiling-merged-irep-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 Apr 4 11:58:12 BST 2015 0 valid 6868kb 88 jenkins-slave 0.02 0:00.04
eureka/array_init_assign Property HOLDS profiling-merged-irep-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 Apr 4 11:58:08 BST 2015 0 valid 6728kb 60 jenkins-slave 0.01 0:00.03
eureka/bf10 Property HOLDS profiling-merged-irep-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 Apr 4 11:58:15 BST 2015 0 valid 11324kb 867 jenkins-slave 0.34 0:00.38
eureka/bf11 Property HOLDS profiling-merged-irep-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 Apr 4 11:58:27 BST 2015 0 valid 12256kb 940 jenkins-slave 0.42 0:00.43
eureka/bf12 Property HOLDS profiling-merged-irep-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 Apr 4 11:58:31 BST 2015 0 valid 12564kb 1013 jenkins-slave 0.43 0:00.46
eureka/bf13 Property HOLDS profiling-merged-irep-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 Apr 4 11:58:19 BST 2015 0 valid 12972kb 1086 jenkins-slave 0.47 0:00.49
eureka/bf14 Property HOLDS profiling-merged-irep-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 Apr 4 11:58:34 BST 2015 0 valid 13676kb 1159 jenkins-slave 0.52 0:00.54
eureka/bf15 Property HOLDS profiling-merged-irep-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 Apr 4 11:58:22 BST 2015 0 valid 13468kb 1232 jenkins-slave 0.53 0:00.56
eureka/bf16 Property HOLDS profiling-merged-irep-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 Apr 4 11:58:08 BST 2015 0 valid 14232kb 1305 jenkins-slave 0.57 0:00.61
eureka/bf17 Property HOLDS profiling-merged-irep-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 Apr 4 11:58:28 BST 2015 0 valid 14988kb 1378 jenkins-slave 0.64 0:00.65
eureka/bf18 Property HOLDS profiling-merged-irep-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 Apr 4 11:58:30 BST 2015 0 valid 15472kb 1451 jenkins-slave 0.68 0:00.69
eureka/bf19 Property HOLDS profiling-merged-irep-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 Apr 4 11:58:20 BST 2015 0 valid 15904kb 1524 jenkins-slave 0.71 0:00.74
eureka/bf20 Property HOLDS profiling-merged-irep-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 Apr 4 11:58:31 BST 2015 0 valid 16824kb 1597 jenkins-slave 0.78 0:00.81
eureka/bf5 Property HOLDS profiling-merged-irep-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 Apr 4 11:58:32 BST 2015 0 valid 9224kb 502 jenkins-slave 0.20 0:00.22
eureka/bf6 Property HOLDS profiling-merged-irep-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 Apr 4 11:58:36 BST 2015 0 valid 9780kb 575 jenkins-slave 0.23 0:00.25
eureka/bf7 Property HOLDS profiling-merged-irep-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 Apr 4 11:58:22 BST 2015 0 valid 10124kb 648 jenkins-slave 0.26 0:00.28
eureka/bf8 Property HOLDS profiling-merged-irep-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 Apr 4 11:58:08 BST 2015 0 valid 10500kb 721 jenkins-slave 0.30 0:00.31
eureka/bf9 Property HOLDS profiling-merged-irep-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 Apr 4 11:58:26 BST 2015 0 valid 11144kb 794 jenkins-slave 0.34 0:00.36
eureka/bubblesort Property VIOLATED profiling-merged-irep-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 Apr 4 11:58:19 BST 2015 10 invalid 7024kb 129 jenkins-slave 0.06 0:00.07
eureka/bubblesort_inner_loop Property VIOLATED profiling-merged-irep-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 Apr 4 11:58:12 BST 2015 10 invalid 6756kb 71 jenkins-slave 0.02 0:00.04
eureka/complex_guard Property HOLDS profiling-merged-irep-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 Apr 4 11:58:12 BST 2015 0 valid 6804kb 66 jenkins-slave 0.02 0:00.03
eureka/loop_on_input Property VIOLATED profiling-merged-irep-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 Apr 4 11:58:12 BST 2015 10 invalid 7440kb 97 jenkins-slave 0.05 0:00.06
eureka/sequential_swap Property HOLDS profiling-merged-irep-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 Apr 4 11:58:24 BST 2015 0 valid 6560kb 71 jenkins-slave 0.02 0:00.03
eureka/simple_array_inversion Property HOLDS profiling-merged-irep-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 Apr 4 11:58:08 BST 2015 0 valid 6708kb 57 jenkins-slave 0.01 0:00.03
eureka/simple_control_on_input Property VIOLATED profiling-merged-irep-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 Apr 4 11:58:24 BST 2015 10 invalid 29124kb 298 jenkins-slave 0.83 0:00.89
eureka/simple_swap_call Property HOLDS profiling-merged-irep-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 Apr 4 11:58:16 BST 2015 0 valid 6296kb 52 jenkins-slave 0.01 0:00.03
eureka/wrong_loop Property VIOLATED profiling-merged-irep-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 Apr 4 11:58:15 BST 2015 10 invalid 6680kb 69 jenkins-slave 0.01 0:00.03
necla/ex1 Property HOLDS profiling-merged-irep-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 Apr 4 12:04:11 BST 2015 0 valid 111728kb 10794 jenkins-slave 69.72 1:09.90
necla/ex10 Property VIOLATED profiling-merged-irep-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 Apr 4 12:05:29 BST 2015 10 invalid 20932kb 689 jenkins-slave 0.62 0:00.67
necla/ex11 Property HOLDS profiling-merged-irep-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 Apr 4 12:04:20 BST 2015 0 valid 138664kb 12049 jenkins-slave 17.58 0:17.80
necla/ex12 Property VIOLATED profiling-merged-irep-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 Apr 4 12:03:55 BST 2015 10 invalid 7072kb 97 jenkins-slave 0.04 0:00.06
necla/ex13 Property VIOLATED profiling-merged-irep-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 Apr 4 12:02:38 BST 2015 10 invalid 7120kb 37 jenkins-slave 0.04 0:00.05
necla/ex14 Property HOLDS profiling-merged-irep-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 Apr 4 12:04:16 BST 2015 0 valid 6984kb 97 jenkins-slave 0.02 0:00.04
necla/ex15 Property HOLDS profiling-merged-irep-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 Apr 4 12:04:29 BST 2015 0 valid 7620kb 139 jenkins-slave 0.06 0:00.08
necla/ex16 Property HOLDS profiling-merged-irep-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 Apr 4 12:01:38 BST 2015 0 valid 14948kb 3078 jenkins-slave 0.71 0:00.74
necla/ex17 Property HOLDS profiling-merged-irep-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 Apr 4 12:04:16 BST 2015 0 valid 38660kb 545 jenkins-slave 0.92 0:00.99
necla/ex18 TIMEOUT profiling-merged-irep-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 Apr 4 11:59:48 BST 2015 124 valid 930468kb 2930 jenkins-slave 118.86 2:00.22
necla/ex19 Property VIOLATED profiling-merged-irep-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 Apr 4 12:04:37 BST 2015 10 invalid 256548kb 9054 jenkins-slave 68.97 1:09.36
necla/ex2 TIMEOUT profiling-merged-irep-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 Apr 4 11:59:27 BST 2015 124 unknown 1770128kb 7275 jenkins-slave 117.71 2:00.59
necla/ex20 Property VIOLATED profiling-merged-irep-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 Apr 4 12:02:50 BST 2015 10 invalid 218368kb 9285 jenkins-slave 78.90 1:19.22
necla/ex21 Property HOLDS profiling-merged-irep-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 Apr 4 12:03:37 BST 2015 0 valid 34976kb 4539 jenkins-slave 2.85 0:02.90
necla/ex22 Property HOLDS profiling-merged-irep-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 Apr 4 12:02:00 BST 2015 0 valid 16708kb 1513 jenkins-slave 0.63 0:00.65
necla/ex23 Property HOLDS profiling-merged-irep-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 Apr 4 12:03:58 BST 2015 0 valid 334024kb 337 jenkins-slave 13.41 0:13.94
necla/ex26 Property VIOLATED profiling-merged-irep-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 Apr 4 12:01:52 BST 2015 10 invalid 64112kb 5139 jenkins-slave 4.95 0:05.04
necla/ex27 Property VIOLATED profiling-merged-irep-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 Apr 4 12:03:45 BST 2015 10 invalid 48720kb 5464 jenkins-slave 3.72 0:03.81
necla/ex29 Property HOLDS profiling-merged-irep-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 Apr 4 12:02:45 BST 2015 0 valid 30376kb 1428 jenkins-slave 1.59 0:01.61
necla/ex3 Property VIOLATED profiling-merged-irep-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 Apr 4 12:04:13 BST 2015 10 invalid 7360kb 96 jenkins-slave 0.04 0:00.05
necla/ex30 TIMEOUT profiling-merged-irep-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 Apr 4 12:03:53 BST 2015 124 unknown 1616728kb 6561 jenkins-slave 118.12 2:00.42
necla/ex31 Property HOLDS profiling-merged-irep-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 Apr 4 12:03:47 BST 2015 0 valid 6800kb 66 jenkins-slave 0.03 0:00.04
necla/ex32 Property HOLDS profiling-merged-irep-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 Apr 4 11:59:29 BST 2015 0 valid 1566720kb 14058 jenkins-slave 14.29 0:16.17
necla/ex33 ERROR profiling-merged-irep-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 Apr 4 11:59:31 BST 2015 unknown po (0) jenkins-slave
necla/ex34 Property HOLDS profiling-merged-irep-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 Apr 4 12:01:34 BST 2015 0 valid 8816kb 149 jenkins-slave 0.11 0:00.12
necla/ex36_free ERROR profiling-merged-irep-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 Apr 4 12:02:04 BST 2015 unknown po (0) jenkins-slave
necla/ex36_read ERROR profiling-merged-irep-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 Apr 4 12:01:42 BST 2015 unknown po (0) jenkins-slave
necla/ex37 Property HOLDS profiling-merged-irep-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 Apr 4 12:04:33 BST 2015 0 valid 28900kb 77 jenkins-slave 0.76 0:00.81
necla/ex4 Property VIOLATED profiling-merged-irep-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 Apr 4 12:02:42 BST 2015 10 invalid 8008kb 400 jenkins-slave 0.12 0:00.13
necla/ex40 Property VIOLATED profiling-merged-irep-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 Apr 4 12:05:24 BST 2015 10 invalid 33108kb 1063 jenkins-slave 1.31 0:01.35
necla/ex43 TIMEOUT profiling-merged-irep-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 Apr 4 11:59:30 BST 2015 124 invalid 2845752kb 8783 jenkins-slave 116.70 2:00.73
necla/ex46 Property HOLDS profiling-merged-irep-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 Apr 4 12:05:49 BST 2015 0 invalid 537880kb 340 jenkins-slave 103.69 1:44.65
necla/ex47 Property VIOLATED profiling-merged-irep-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 Apr 4 12:05:33 BST 2015 10 invalid 279192kb 329 jenkins-slave 54.98 0:55.58
necla/ex49 Property HOLDS profiling-merged-irep-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 Apr 4 12:01:34 BST 2015 0 valid 151680kb 9049 jenkins-slave 60.35 1:00.64
necla/ex5 Property HOLDS profiling-merged-irep-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 Apr 4 12:04:19 BST 2015 0 valid 6748kb 40 jenkins-slave 0.01 0:00.03
necla/ex6 Property HOLDS profiling-merged-irep-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 Apr 4 12:03:43 BST 2015 0 valid 6696kb 57 jenkins-slave 0.02 0:00.03
necla/ex7 TIMEOUT profiling-merged-irep-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 Apr 4 12:01:34 BST 2015 124 unknown 1303812kb 13110 jenkins-slave 118.50 2:00.35
necla/ex8 ERROR profiling-merged-irep-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 Apr 4 12:05:04 BST 2015 unknown po (0) jenkins-slave
necla/ex9 Property HOLDS profiling-merged-irep-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 Apr 4 12:03:50 BST 2015 0 valid 38428kb 359 jenkins-slave 1.58 0:01.63
necla/inf1 Property VIOLATED profiling-merged-irep-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 Apr 4 12:01:31 BST 2015 10 invalid 6820kb 62 jenkins-slave 0.04 0:00.04
necla/inf3 Property VIOLATED profiling-merged-irep-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 Apr 4 12:04:42 BST 2015 10 valid 286956kb 756 jenkins-slave 19.08 0:19.48
necla/inf4 Property VIOLATED profiling-merged-irep-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 Apr 4 12:04:26 BST 2015 10 invalid 7580kb 125 jenkins-slave 0.08 0:00.08
necla/inf5 Property VIOLATED profiling-merged-irep-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 Apr 4 12:04:07 BST 2015 10 invalid 7076kb 119 jenkins-slave 0.04 0:00.06
necla/inf6 Property HOLDS profiling-merged-irep-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 Apr 4 11:59:26 BST 2015 0 valid 6772kb 74 jenkins-slave 0.02 0:00.03
necla/inf8 Property HOLDS profiling-merged-irep-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 Apr 4 12:04:22 BST 2015 0 valid 6900kb 107 jenkins-slave 0.03 0:00.04
queue/queue_1 Property HOLDS profiling-merged-irep-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 Apr 4 12:06:02 BST 2015 0 valid 6872kb 79 jenkins-slave 0.02 0:00.04
queue/queue_10 Property HOLDS profiling-merged-irep-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 Apr 4 12:06:05 BST 2015 0 valid 7820kb 394 jenkins-slave 0.12 0:00.13
queue/queue_100 Property HOLDS profiling-merged-irep-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 Apr 4 12:05:56 BST 2015 0 valid 36648kb 3544 jenkins-slave 2.51 0:02.58
queue/queue_1000 ERROR profiling-merged-irep-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 Apr 4 12:06:09 BST 2015 unknown po (0) jenkins-slave
slayer/ex1 Property VIOLATED profiling-merged-irep-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 Apr 4 11:59:21 BST 2015 10 invalid 28496kb 43 jenkins-slave 0.71 0:00.76
slayer/ex2 Property HOLDS profiling-merged-irep-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 Apr 4 11:59:18 BST 2015 0 valid 6292kb 35 jenkins-slave 0.02 0:00.02
slayer/ex3 Property VIOLATED profiling-merged-irep-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 Apr 4 11:59:22 BST 2015 10 invalid 28608kb 119 jenkins-slave 0.74 0:00.79
slayer/ex5 Property HOLDS profiling-merged-irep-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 Apr 4 11:59:23 BST 2015 0 valid 28696kb 84 jenkins-slave 0.75 0:00.80
slayer/ex6 Property VIOLATED profiling-merged-irep-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 Apr 4 11:59:19 BST 2015 10 invalid 28652kb 88 jenkins-slave 0.75 0:00.80
slayer/ex7 Property HOLDS profiling-merged-irep-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 Apr 4 11:59:18 BST 2015 0 valid 29180kb 415 jenkins-slave 0.82 0:00.88
slayer/ex8 Property HOLDS profiling-merged-irep-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 Apr 4 11:59:25 BST 2015 0 valid 43984kb 893 jenkins-slave 2.19 0:02.28
slayer/ex9 Property HOLDS profiling-merged-irep-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 Apr 4 11:59:21 BST 2015 0 valid 65236kb 1595 jenkins-slave 4.28 0:04.39
smack/array Property HOLDS profiling-merged-irep-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 Apr 4 11:58:38 BST 2015 0 valid 28688kb 75 jenkins-slave 0.74 0:00.79
smack/array1 Property HOLDS profiling-merged-irep-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 Apr 4 11:58:55 BST 2015 0 valid 28964kb 86 jenkins-slave 0.70 0:00.79
smack/array2 Property HOLDS profiling-merged-irep-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 Apr 4 11:58:42 BST 2015 0 valid 29768kb 534 jenkins-slave 0.96 0:01.01
smack/array3 Property HOLDS profiling-merged-irep-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 Apr 4 11:59:01 BST 2015 0 valid 29852kb 936 jenkins-slave 1.13 0:01.19
smack/array4 Property HOLDS profiling-merged-irep-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 Apr 4 11:58:39 BST 2015 0 valid 33596kb 936 jenkins-slave 1.28 0:01.34
smack/array_free Property HOLDS profiling-merged-irep-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 Apr 4 11:58:51 BST 2015 0 valid 28616kb 248 jenkins-slave 0.79 0:00.86
smack/array_free1 Property HOLDS profiling-merged-irep-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 Apr 4 11:58:57 BST 2015 0 valid 28664kb 248 jenkins-slave 0.78 0:00.85
smack/array_free2 Property HOLDS profiling-merged-irep-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 Apr 4 11:59:06 BST 2015 0 valid 28692kb 248 jenkins-slave 0.79 0:00.86
smack/ase_example Property HOLDS profiling-merged-irep-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 Apr 4 11:59:10 BST 2015 0 valid 28888kb 428 jenkins-slave 0.96 0:01.00
smack/dsa_test Property HOLDS profiling-merged-irep-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 Apr 4 11:58:43 BST 2015 0 valid 28744kb 85 jenkins-slave 0.71 0:00.78
smack/dsa_test1 Property HOLDS profiling-merged-irep-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 Apr 4 11:58:42 BST 2015 0 valid 28764kb 155 jenkins-slave 0.75 0:00.82
smack/dsa_test10 Property HOLDS profiling-merged-irep-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 Apr 4 11:59:14 BST 2015 0 valid 30420kb 409 jenkins-slave 0.98 0:01.04
smack/dsa_test11 Property HOLDS profiling-merged-irep-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 Apr 4 11:59:09 BST 2015 0 valid 28916kb 148 jenkins-slave 0.76 0:00.80
smack/dsa_test12 Property HOLDS profiling-merged-irep-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 Apr 4 11:59:06 BST 2015 0 valid 6676kb 50 jenkins-slave 0.02 0:00.03
smack/dsa_test13 Property HOLDS profiling-merged-irep-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 Apr 4 11:58:39 BST 2015 0 valid 6032kb 39 jenkins-slave 0.01 0:00.02
smack/dsa_test14 Property HOLDS profiling-merged-irep-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 Apr 4 11:58:47 BST 2015 0 valid 6604kb 43 jenkins-slave 0.01 0:00.02
smack/dsa_test15 Property HOLDS profiling-merged-irep-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 Apr 4 11:59:02 BST 2015 0 valid 29136kb 389 jenkins-slave 0.97 0:01.02
smack/dsa_test2 Property HOLDS profiling-merged-irep-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 Apr 4 11:58:58 BST 2015 0 valid 6684kb 47 jenkins-slave 0.01 0:00.03
smack/dsa_test3 Property HOLDS profiling-merged-irep-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 Apr 4 11:59:14 BST 2015 0 valid 28760kb 155 jenkins-slave 0.78 0:00.82
smack/dsa_test4 Property HOLDS profiling-merged-irep-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 Apr 4 11:59:13 BST 2015 0 valid 29224kb 115 jenkins-slave 0.78 0:00.83
smack/dsa_test5 Property HOLDS profiling-merged-irep-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 Apr 4 11:58:50 BST 2015 0 valid 29732kb 132 jenkins-slave 0.79 0:00.85
smack/dsa_test6 Property HOLDS profiling-merged-irep-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 Apr 4 11:58:47 BST 2015 0 valid 29644kb 230 jenkins-slave 0.86 0:00.92
smack/dsa_test7 Property HOLDS profiling-merged-irep-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 Apr 4 11:58:55 BST 2015 0 valid 6800kb 56 jenkins-slave 0.02 0:00.04
smack/dsa_test8 Property HOLDS profiling-merged-irep-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 Apr 4 11:59:17 BST 2015 0 valid 28552kb 116 jenkins-slave 0.76 0:00.80
smack/dsa_test9 Property HOLDS profiling-merged-irep-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 Apr 4 11:58:51 BST 2015 0 valid 28772kb 119 jenkins-slave 0.74 0:00.79
smack/simple Property HOLDS profiling-merged-irep-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 Apr 4 11:58:54 BST 2015 0 valid 6296kb 36 jenkins-slave 0.01 0:00.02
smack/simple_double_free Property VIOLATED profiling-merged-irep-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 Apr 4 11:58:46 BST 2015 10 invalid 28672kb 92 jenkins-slave 0.75 0:00.80
smack/simple_fail Property VIOLATED profiling-merged-irep-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 Apr 4 11:58:44 BST 2015 10 invalid 6452kb 34 jenkins-slave 0.01 0:00.02
smack/simple_pre Property HOLDS profiling-merged-irep-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 Apr 4 11:59:09 BST 2015 0 valid 6296kb 38 jenkins-slave 0.01 0:00.02
smack/simple_pre1 Property HOLDS profiling-merged-irep-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 Apr 4 11:59:01 BST 2015 0 valid 6296kb 39 jenkins-slave 0.01 0:00.02
smack/simple_pre2 Property HOLDS profiling-merged-irep-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 Apr 4 11:58:39 BST 2015 0 valid 6552kb 40 jenkins-slave 0.01 0:00.02
smack/simple_pre3 Property HOLDS profiling-merged-irep-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 Apr 4 11:59:06 BST 2015 0 valid 6296kb 38 jenkins-slave 0.02 0:00.02
smack/two_arrays Property HOLDS profiling-merged-irep-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 Apr 4 11:59:04 BST 2015 0 valid 32300kb 3254 jenkins-slave 2.25 0:02.30
smack/two_arrays1 Property HOLDS profiling-merged-irep-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 Apr 4 11:59:11 BST 2015 0 valid 53464kb 4268 jenkins-slave 3.40 0:03.50
smack/two_arrays2 Property HOLDS profiling-merged-irep-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 Apr 4 11:59:00 BST 2015 0 valid 53464kb 4270 jenkins-slave 3.46 0:03.53
smack/two_arrays6 Property HOLDS profiling-merged-irep-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 Apr 4 11:58:50 BST 2015 0 valid 53464kb 4273 jenkins-slave 3.43 0:03.52
smack/vmcai_bytes Property HOLDS profiling-merged-irep-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 Apr 4 11:58:58 BST 2015 0 valid 6676kb 38 jenkins-slave 0.02 0:00.02
smack/vmcai_struct Property HOLDS profiling-merged-irep-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 Apr 4 11:58:47 BST 2015 0 valid 28576kb 81 jenkins-slave 0.74 0:00.79
snu/bs Property HOLDS profiling-merged-irep-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 Apr 4 12:10:42 BST 2015 0 valid 6928kb 80 jenkins-slave 0.02 0:00.04
snu/crc Property HOLDS profiling-merged-irep-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 Apr 4 12:10:31 BST 2015 0 valid 81172kb 17242 jenkins-slave 14.50 0:14.67
snu/fibcall Property HOLDS profiling-merged-irep-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 Apr 4 12:10:27 BST 2015 0 valid 7368kb 259 jenkins-slave 0.05 0:00.07
snu/insertsort Property HOLDS profiling-merged-irep-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 Apr 4 12:10:38 BST 2015 0 valid 16480kb 1149 jenkins-slave 0.70 0:00.72
snu/jfdctint Property VIOLATED profiling-merged-irep-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 Apr 4 12:10:32 BST 2015 10 invalid 24488kb 2498 jenkins-slave 2.73 0:02.78
snu/matmul Property VIOLATED profiling-merged-irep-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 Apr 4 12:10:26 BST 2015 10 invalid 20688kb 3223 jenkins-slave 3.02 0:03.07
urbiva/bitcount16 Property VIOLATED profiling-merged-irep-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 Apr 4 12:10:19 BST 2015 10 invalid 7752kb 182 jenkins-slave 0.10 0:00.11
urbiva/bitcount32 Property VIOLATED profiling-merged-irep-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 Apr 4 12:10:19 BST 2015 10 invalid 8472kb 293 jenkins-slave 0.14 0:00.16
urbiva/fermat Property VIOLATED profiling-merged-irep-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 Apr 4 12:10:06 BST 2015 10 invalid 24224kb 130 jenkins-slave 0.55 0:00.61
urbiva/graycode Property VIOLATED profiling-merged-irep-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 Apr 4 12:10:14 BST 2015 10 invalid 28868kb 175 jenkins-slave 0.80 0:00.86
urbiva/magic Property VIOLATED profiling-merged-irep-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 Apr 4 12:10:10 BST 2015 10 invalid 29120kb 228 jenkins-slave 0.88 0:00.93
urbiva/matrixsqrt Property VIOLATED profiling-merged-irep-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 Apr 4 12:10:02 BST 2015 10 invalid 52096kb 465 jenkins-slave 2.14 0:02.26
urbiva/queens Property VIOLATED profiling-merged-irep-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 Apr 4 12:10:08 BST 2015 10 invalid 35996kb 4010 jenkins-slave 3.04 0:03.11
urbiva/send-more-money Property VIOLATED profiling-merged-irep-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 Apr 4 12:10:22 BST 2015 10 invalid 11704kb 71 jenkins-slave 0.24 0:00.27
urbiva/sort Property VIOLATED profiling-merged-irep-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 Apr 4 12:10:14 BST 2015 10 invalid 30172kb 2477 jenkins-slave 1.95 0:02.01
urbiva/sudoku Property VIOLATED profiling-merged-irep-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 Apr 4 12:10:23 BST 2015 10 invalid 29756kb 208 jenkins-slave 0.89 0:00.95
wcet/adpcm Property VIOLATED profiling-merged-irep-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 Apr 4 12:09:20 BST 2015 10 invalid 14868kb 1220 jenkins-slave 0.59 0:00.61
wcet/bs Property HOLDS profiling-merged-irep-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 Apr 4 12:09:59 BST 2015 0 valid 6960kb 91 jenkins-slave 0.04 0:00.05
wcet/bsort100 Property HOLDS profiling-merged-irep-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 Apr 4 12:08:16 BST 2015 0 valid 770104kb 115798 jenkins-slave 94.78 1:35.78
wcet/cnt Property VIOLATED profiling-merged-irep-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 Apr 4 12:08:55 BST 2015 10 invalid 36680kb 5040 jenkins-slave 3.21 0:03.27
wcet/compress Property VIOLATED profiling-merged-irep-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 Apr 4 12:09:55 BST 2015 10 invalid 11800kb 574 jenkins-slave 0.42 0:00.43
wcet/cover Property HOLDS profiling-merged-irep-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 Apr 4 12:09:24 BST 2015 0 valid 11304kb 1325 jenkins-slave 1.75 0:01.76
wcet/crc Property HOLDS profiling-merged-irep-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 Apr 4 12:09:02 BST 2015 0 valid 81168kb 17242 jenkins-slave 14.28 0:14.41
wcet/duff Property HOLDS profiling-merged-irep-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 Apr 4 12:09:25 BST 2015 0 valid 15972kb 1753 jenkins-slave 2.55 0:02.59
wcet/edn Property VIOLATED profiling-merged-irep-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 Apr 4 12:09:40 BST 2015 10 invalid 27852kb 1446 jenkins-slave 2.41 0:02.46
wcet/expint Property HOLDS profiling-merged-irep-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 Apr 4 12:09:31 BST 2015 0 valid 11236kb 1477 jenkins-slave 0.48 0:00.50
wcet/fac Property HOLDS profiling-merged-irep-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 Apr 4 12:08:45 BST 2015 0 valid 7380kb 301 jenkins-slave 0.06 0:00.07
wcet/fdct Property HOLDS profiling-merged-irep-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 Apr 4 12:08:36 BST 2015 0 valid 20092kb 2718 jenkins-slave 2.42 0:02.46
wcet/fibcall Property HOLDS profiling-merged-irep-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 Apr 4 12:08:52 BST 2015 0 valid 7356kb 256 jenkins-slave 0.06 0:00.07
wcet/fir TIMEOUT profiling-merged-irep-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 Apr 4 12:09:38 BST 2015 124 unknown 237892kb 8701 jenkins-slave 119.65 2:00.05
wcet/insertsort Property HOLDS profiling-merged-irep-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 Apr 4 12:09:17 BST 2015 0 valid 8812kb 475 jenkins-slave 0.23 0:00.24
wcet/janne_complex Property HOLDS profiling-merged-irep-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 Apr 4 12:09:14 BST 2015 0 valid 7048kb 185 jenkins-slave 0.05 0:00.06
wcet/jfdctint Property VIOLATED profiling-merged-irep-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 Apr 4 12:09:08 BST 2015 10 invalid 24416kb 2492 jenkins-slave 2.75 0:02.79
wcet/loop3 Property HOLDS profiling-merged-irep-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 Apr 4 12:09:21 BST 2015 0 valid 18140kb 3401 jenkins-slave 0.79 0:00.84
wcet/matmult ERROR profiling-merged-irep-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 Apr 4 12:09:45 BST 2015 unknown po (0) jenkins-slave
wcet/minmax Property HOLDS profiling-merged-irep-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 Apr 4 12:09:35 BST 2015 0 valid 7024kb 91 jenkins-slave 0.03 0:00.05
wcet/ndes Property HOLDS profiling-merged-irep-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 Apr 4 12:09:25 BST 2015 0 valid 204580kb 37064 jenkins-slave 30.98 0:31.35
wcet/ns Property HOLDS profiling-merged-irep-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 Apr 4 12:10:00 BST 2015 0 valid 15996kb 3324 jenkins-slave 2.75 0:02.78
wcet/nsichneu Property HOLDS profiling-merged-irep-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 Apr 4 12:09:35 BST 2015 0 valid 32600kb 2194 jenkins-slave 1.66 0:01.70
wcet/prime Property HOLDS profiling-merged-irep-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 Apr 4 12:09:29 BST 2015 0 valid 22388kb 6146 jenkins-slave 2.42 0:02.47
wcet/recursion Property HOLDS profiling-merged-irep-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 Apr 4 12:08:12 BST 2015 0 valid 13784kb 2294 jenkins-slave 0.60 0:00.63
wcet/select Property VIOLATED profiling-merged-irep-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 Apr 4 12:08:48 BST 2015 10 invalid 7692kb 117 jenkins-slave 0.08 0:00.09
wcet/statemate Property HOLDS profiling-merged-irep-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 Apr 4 12:08:41 BST 2015 0 valid 11288kb 861 jenkins-slave 0.34 0:00.36
wcet/ud Property HOLDS profiling-merged-irep-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 Apr 4 12:09:08 BST 2015 0 valid 424904kb 1512 jenkins-slave 12.47 0:13.14
The benchmarks were run on a Linux 3.2.0-4-amd64 64x AMD Opteron(tm) Processor 6380 @@2500.162MHz system equipped with 264656428kb RAM.