Tool CPAchecker trunk:18107 CPAchecker 1.4-svn 24ecead+ CPAchecker 1.4-svn 18152M
Limits timelimit: 60 s, memlimit: 3000 MB, CPU core limit: 2 timelimit: 60 s, memlimit: 3000 MB, CPU core limit: 1 timelimit: 60 s, memlimit: 3000 MB, CPU core limit: 2
Host [aal; aesche; aitel; babylon5; barbe; barsch; brachse; cayman*; cs-sel-05; cs-sel-06; deathstar; ds9; elysium; empoknor; excelsior; falcon; forelle; hausen; hecht; huchen; mt-farm01; mt-farm02; mt-farm03; mt-farm04; nervling; neunauge; node-*; saibling; saratoga; sovereign; tardis; voyager; zeus*] [mt-farm01; mt-farm02; mt-farm03; mt-farm04] node-*
OS [Linux 4.0.5-gentoo; Linux 3.13.0-66-generic; Linux 3.13.0-65-generic; Linux 3.13.0-55-generic; Linux 3.16.0-4-amd64; Linux 3.0.80-0.7-default] Linux 3.16.0-4-amd64 Linux 3.0.80-0.7-default
System CPU: [Intel Core i7-4790 @ 3.60 GHz; Intel Core i7-4770 @ 3.40 GHz; Intel Core i7-2600K @ 3.40 GHz; AMD Opteron 6380; Intel Xeon E7- 4870 @ 2.40 GHz; Intel Xeon E5-2650 v2 @ 2.60 GHz], cores: [8; 64; 80; 32], frequency: [3.6 GHz; 3.4 GHz; 2.5 GHz; 2.4 GHz; 2.6 GHz]; RAM: [16712 MB; 33644 MB; 16734 MB; 271006 MB; 1084131 MB; 1084266 MB; 1084265 MB; 948571 MB; 135150 MB] CPU: AMD Opteron 6380, cores: 64, frequency: 2.5 GHz; RAM: 271006 MB CPU: Intel Xeon E7- 4870 @ 2.40 GHz, cores: 80, frequency: 2.4 GHz; RAM: [1084265 MB; 1084131 MB; 1084266 MB; 948571 MB]
Date of execution 2015-10-20 13:55:32 CEST 2015-10-22 11:13:44 CEST 2015-10-23 13:48:29 CEST
Run set integration-predicateAnalysis integration-predicateAnalysis integration-predicateAnalysis
Options -noout -heap 2000M -predicateAnalysis -noout -heap 2000M -predicateAnalysis -noout -heap 2000M -predicateAnalysis
benchexec/tablegenerator/test_integration/results/test/programs/ status cputime (s) walltime (s) memory (MB) energy-core energy-cpu energy-external energy-uncore host status cputime (s) walltime (s) memory (MB) status cputime (s) walltime (s) memory (MB) host
benchmarks/ntdrivers/cdaudio_false-unreach-call.i.cil.c unreach-call 60.8  37.3  807 node-15 62.3  62.7  704 62.8  37.7  669 node-06
benchmarks/ntdrivers/diskperf_false-unreach-call.i.cil.c unreach-call 17.1  9.66 514 zeus23 37.6  37.5  490 38.7  27.7  532 node-01
benchmarks/ntdrivers/floppy_false-unreach-call.i.cil.c unreach-call 34.1  18.5  711 node-24 55.6  55.6  688 55.2  46.9  712 node-09
benchmarks/ntdrivers/kbfiltr_false-unreach-call.i.cil.c unreach-call 10.5  6.15 337 zeus13 21.3  21.3  303 14.5  8.26 339 node-13
benchmarks/ntdrivers/parport_false-unreach-call.i.cil.c unreach-call 11.3  7.06 376 node-11 23.1  23.1  347 11.6  7.16 380 node-25
benchmarks/ntdrivers/cdaudio_true-unreach-call.i.cil.c unreach-call 23.5  13.2  646 node-24 41.0  40.9  626 54.6  54.8  648 node-01
benchmarks/ntdrivers/diskperf_true-unreach-call.i.cil.c unreach-call 11.6  6.46 326 -146111904 2981144 1800000 18549 cayman5 37.3  37.2  532 19.5  11.2  556 node-24
benchmarks/ntdrivers/floppy2_true-unreach-call.i.cil.c unreach-call 61.5  36.3  838 node-17 61.7  61.6  728 61.6  34.9  824 node-25
benchmarks/ntdrivers/floppy_true-unreach-call.i.cil.c unreach-call 43.4  26.8  746 zeus03 62.9  62.8  701 62.5  38.1  717 node-11
benchmarks/ntdrivers/parport_true-unreach-call.i.cil.c unreach-call 6.34 3.76 238 aitel 22.6  22.6  351 19.9  23.2  376 node-09
benchmarks/ssh/s3_clnt.blast.01_false-unreach-call.i.cil.c unreach-call 21.5  12.1  626 node-02 40.6  41.6  502 39.4  30.0  625 node-07
benchmarks/ssh/s3_clnt.blast.02_false-unreach-call.i.cil.c unreach-call 21.8  12.3  622 node-13 37.0  37.0  541 37.5  42.1  618 node-09
benchmarks/ssh/s3_clnt.blast.03_false-unreach-call.i.cil.c unreach-call 11.9  6.50 273 huchen 36.1  36.1  522 34.3  28.1  551 node-06
benchmarks/ssh/s3_clnt.blast.04_false-unreach-call.i.cil.c unreach-call 22.1  12.5  634 node-25 36.7  36.7  599 43.9  27.9  637 node-14
benchmarks/ssh/s3_srvr.blast.01_false-unreach-call.i.cil.c unreach-call 13.3  7.87 352 node-25 24.2  24.2  318 23.4  24.2  352 node-01
benchmarks/ssh/s3_srvr.blast.02_false-unreach-call.i.cil.c unreach-call 12.5  7.47 336 node-15 24.7  24.7  318 13.6  7.87 348 node-13
benchmarks/ssh/s3_srvr.blast.03_false-unreach-call.i.cil.c unreach-call 12.8  7.71 335 node-02 23.8  23.8  315 21.8  17.6  347 node-16
benchmarks/ssh/s3_srvr.blast.04_false-unreach-call.i.cil.c unreach-call 9.87 5.88 332 zeus01 25.5  26.8  311 22.5  15.3  345 node-20
benchmarks/ssh/s3_srvr.blast.06_false-unreach-call.i.cil.c unreach-call 15.8  8.97 640 zeus11 39.1  39.5  612 37.3  21.6  647 node-12
benchmarks/ssh/s3_srvr.blast.07_false-unreach-call.i.cil.c unreach-call 21.6  12.3  621 node-13 37.8  37.9  596 29.5  16.1  628 node-25
benchmarks/ssh/s3_srvr.blast.08_false-unreach-call.i.cil.c unreach-call 47.2  30.5  691 node-10 61.9  65.2  669 61.2  41.5  674 node-22
benchmarks/ssh/s3_srvr.blast.09_false-unreach-call.i.cil.c unreach-call 10.9  6.03 256 ds9 35.6  35.6  500 32.6  28.3  531 node-05
benchmarks/ssh/s3_srvr.blast.10_false-unreach-call.i.cil.c unreach-call 22.8  13.1  672 zeus18 53.8  53.8  667 56.0  43.1  693 node-12
benchmarks/ssh/s3_srvr.blast.11_false-unreach-call.i.cil.c unreach-call 19.1  11.0  638 zeus21 40.1  40.1  597 22.8  12.7  634 node-24
benchmarks/ssh/s3_srvr.blast.12_false-unreach-call.i.cil.c unreach-call 33.4  21.2  451 mt-farm01 34.3  34.9  447 15.6  8.88 470 node-24
benchmarks/ssh/s3_srvr.blast.13_false-unreach-call.i.cil.c unreach-call 23.8  13.2  643 node-18 42.4  42.4  628 46.0  32.1  649 node-16
benchmarks/ssh/s3_srvr.blast.14_false-unreach-call.i.cil.c unreach-call 22.3  12.6  649 node-21 62.1  62.1  636 39.8  29.0  651 node-22
benchmarks/ssh/s3_srvr.blast.15_false-unreach-call.i.cil.c unreach-call 22.9  13.6  641 zeus19 58.5  59.7  640 48.2  31.6  681 node-21
benchmarks/ssh/s3_srvr.blast.16_false-unreach-call.i.cil.c unreach-call 18.2  10.2  644 zeus12 40.3  40.3  638 37.1  23.5  653 node-22
benchmarks/ssh/s3_clnt.blast.01_true-unreach-call.i.cil.c unreach-call 47.6  30.6  665 mt-farm04 49.5  49.5  664 53.8  40.8  682 node-01
benchmarks/ssh/s3_clnt.blast.02_true-unreach-call.i.cil.c unreach-call 21.4  12.9  672 zeus01 54.4  54.4  669 57.8  38.4  690 node-10
benchmarks/ssh/s3_clnt.blast.03_true-unreach-call.i.cil.c unreach-call 27.6  17.3  680 node-14 53.1  57.9  664 27.0  16.2  677 node-13
benchmarks/ssh/s3_clnt.blast.04_true-unreach-call.i.cil.c unreach-call 22.4  12.7  640 zeus15 44.2  44.2  630 49.8  31.0  657 node-23
benchmarks/ssh/s3_srvr.blast.06_true-unreach-call.i.cil.c unreach-call 34.1  24.6  679 zeus13 61.9  61.9  668 61.7  56.4  694 node-22
benchmarks/ssh/s3_srvr.blast.07_true-unreach-call.i.cil.c unreach-call 56.9  43.3  707 node-20 61.9  61.8  679 61.6  55.7  700 node-01
benchmarks/ssh/s3_srvr.blast.08_true-unreach-call.i.cil.c unreach-call 52.2  38.1  835 forelle 62.7  63.1  681 61.8  40.1  694 node-15
benchmarks/ssh/s3_srvr.blast.09_true-unreach-call.i.cil.c unreach-call 43.4  30.9  698 zeus11 62.3  62.3  667 59.4  45.6  716 node-17
benchmarks/ssh/s3_srvr.blast.10_true-unreach-call.i.cil.c unreach-call 33.3  21.5  686 zeus12 62.2  62.1  683 61.8  51.9  692 node-02
benchmarks/ssh/s3_srvr.blast.11_true-unreach-call.i.cil.c unreach-call 61.0  51.6  701 node-03 61.9  61.9  667 60.8  44.4  701 node-17
benchmarks/ssh/s3_srvr.blast.12_true-unreach-call.i.cil.c unreach-call 60.4  40.4  774 node-08 62.9  62.9  671 62.7  45.7  683 node-10
benchmarks/ssh/s3_srvr.blast.13_true-unreach-call.i.cil.c unreach-call 60.5  46.0  679 node-06 61.7  61.7  666 61.2  43.6  677 node-12
benchmarks/ssh/s3_srvr.blast.14_true-unreach-call.i.cil.c unreach-call 61.1  44.5  749 node-20 62.2  65.6  669 61.7  51.2  679 node-16
benchmarks/ssh/s3_srvr.blast.15_true-unreach-call.i.cil.c unreach-call 45.9  32.7  744 zeus14 62.8  65.6  689 61.5  48.6  705 node-19
benchmarks/ssh/s3_srvr.blast.16_true-unreach-call.i.cil.c unreach-call 34.0  22.4  680 zeus04 62.7  62.7  670 61.6  61.8  684 node-02
simple/bitvectors/implicitfloatconversion_false-unreach-label.i unreach-label 3.42 7.86 181 node-09 5.90 5.91 166 5.62 4.40 178 node-12
simple/bitvectors/implicitunsignedconversion_false-unreach-label.i unreach-label 3.03 2.17 171 zeus01 6.14 6.70 162 3.38 8.55 174 node-21
simple/bitvectors/integerpromotion_false-unreach-label.i unreach-label 4.35 2.93 191 node-24 7.26 7.27 183 5.15 3.08 190 node-25
simple/bitvectors/pointer_extension2_false-unreach-label.i unreach-label 4.18 2.95 193 node-12 6.98 6.99 175 4.82 3.37 190 node-25
simple/bitvectors/pointer_extension3_false-unreach-label.i unreach-label 4.10 2.82 192 node-17 7.77 9.74 178 6.56 6.14 185 node-02
simple/bitvectors/pointer_extension_false-unreach-label.i unreach-label 4.23 3.08 190 node-24 7.56 7.89 177 7.55 6.27 191 node-11
simple/bitvectors/signextension2_false-unreach-label.i unreach-label 10.9  8.12 167 mt-farm02 6.37 6.37 164 6.46 10.9  173 node-07
simple/bitvectors/signextension_false-unreach-label.i unreach-label 3.79 2.82 179 node-15 6.29 6.30 164 7.85 6.51 178 node-06
simple/bitvectors/struct_false-unreach-label.i unreach-label 2.73 1.74 151 neunauge 8.01 8.02 181 8.45 7.27 195 node-16
simple/bitvectors/struct_pointer_simple_false-unreach-label.i unreach-label 4.48 3.13 196 node-02 9.01 9.87 183 8.24 9.07 188 node-07
simple/bitvectors/struct_simple.2.again_false-unreach-label.i unreach-label 4.69 3.16 194 node-02 7.88 7.89 181 7.49 6.97 192 node-18
simple/bitvectors/struct_simple.2_false-unreach-label.i unreach-label 4.51 3.18 197 node-12 8.59 9.11 184 7.57 6.47 196 node-01
simple/bitvectors/struct_simple_false-unreach-label.i unreach-label 2.93 2.01 157 cs-sel-05 8.37 8.37 181 4.47 2.98 194 node-13
simple/bitvectors/implicitunsignedconversion_true-unreach-label.i unreach-label 3.63 2.61 183 node-10 6.45 6.81 168 3.44 2.45 184 node-17
simple/bitvectors/integerpromotion_true-unreach-label.i unreach-label 4.25 8.04 191 node-03 7.18 7.18 183 8.05 6.65 187 node-06
simple/bitvectors/pointer_extension_true-unreach-label.i unreach-label 4.48 4.02 193 node-14 7.03 7.04 175 7.64 6.57 188 node-19
simple/bitvectors/signextension2_true-unreach-label.i unreach-label 4.17 3.05 191 node-24 7.81 8.37 179 7.17 5.78 192 node-12
simple/bitvectors/signextension_true-unreach-label.i unreach-label 4.06 2.83 192 node-24 7.26 7.26 180 7.69 6.58 187 node-18
simple/bitvectors/struct_pointer_cast.indirect_true-unreach-label.i unreach-label 3.91 2.80 179 node-13 7.02 7.03 167 6.54 5.41 182 node-15
simple/bitvectors/struct_pointer_cast_simplified.indirect_true-unreach-label.i unreach-label 3.75 2.64 178 node-11 7.92 8.46 170 6.76 5.36 183 node-15
simple/bitvectors/struct_pointer_cast_true-unreach-label.i unreach-label 4.23 2.88 181 node-05 6.98 6.99 175 7.14 5.64 181 node-01
simple/bitvectors/struct_pointer_simple_assignbeforeset_simplified_true-unreach-label.i unreach-label 4.15 2.87 178 node-05 6.80 6.82 168 7.15 5.72 177 node-10
simple/bitvectors/struct_pointer_simple_assignbeforeset_true-unreach-label.i unreach-label 4.08 2.80 183 node-15 7.47 9.61 172 6.46 6.33 180 node-09
simple/bitvectors/struct_pointer_simple_change_simplified_true-unreach-label.i unreach-label 3.87 2.78 182 node-06 6.88 6.89 175 6.43 7.21 178 node-02
simple/bitvectors/struct_pointer_simple_change_true-unreach-label.i unreach-label 4.05 2.88 184 node-12 6.79 6.79 167 6.95 7.35 175 node-22
simple/bitvectors/struct_pointer_simple_pointerchange_simplified_true-unreach-label.i unreach-label 3.90 8.03 181 node-03 7.47 7.85 172 7.22 6.07 181 node-02
simple/bitvectors/struct_pointer_simple_pointerchange_true-unreach-label.i unreach-label 3.14 2.15 187 zeus18 7.03 7.04 177 3.89 2.72 178 node-13
simple/bitvectors/struct_pointer_simple_reverse_simplified_true-unreach-label.i unreach-label 3.50 3.26 179 node-09 7.05 7.05 167 4.28 3.00 187 node-21
simple/bitvectors/struct_pointer_simple_reverse_true-unreach-label.i unreach-label 4.03 2.82 181 node-15 7.19 7.20 169 6.61 5.26 182 node-11
simple/bitvectors/struct_pointer_simple_simplified_true-unreach-label.i unreach-label 2.05 1.36 119 saibling 6.98 6.99 174 7.23 11.7  182 node-10
simple/bitvectors/struct_pointer_simple_true-unreach-label.i unreach-label 3.90 3.56 188 node-21 7.32 7.32 167 3.74 8.87 190 node-17
simple/bitvectors/struct_ptrCast_reverse_true-unreach-label.i unreach-label 2.47 1.58 125 neunauge 7.02 7.03 169 3.96 2.61 182 node-13
simple/bitvectors/struct_ptrCast_reverse_typesafe_true-unreach-label.i unreach-label 4.08 2.81 184 node-15 7.34 7.35 176 6.44 5.58 176 node-22
simple/bitvectors/struct_ptrCast_true-unreach-label.i unreach-label 8.89 7.02 172 mt-farm03 7.14 7.15 168 6.46 10.4  180 node-09
simple/bitvectors/struct_simple_true-unreach-label.i unreach-label 4.13 3.19 176 node-18 7.91 9.38 171 7.53 6.35 176 node-07
simple/bitvectors/struct_true-unreach-label.i unreach-label 4.06 2.91 180 node-20 7.34 7.35 170 7.63 5.60 187 node-23
simple/bitvectors/structproblem_casts_true-unreach-label.i unreach-label 3.13 2.19 187 zeus14 7.03 7.05 166 6.74 6.10 180 node-01
simple/bitvectors/structproblem_simple_true-unreach-label.i unreach-label 3.79 3.59 183 node-16 6.80 6.80 168 6.59 5.84 175 node-11
simple/pointer_aliasing/malloc_compare_false-unreach-label.i unreach-label 3.33 2.34 199 zeus10 8.12 8.26 181 6.81 7.71 201 node-16
simple/pointer_aliasing/pointer_reflection_false-unreach-label.i unreach-label 3.54 2.77 184 node-10 5.99 5.99 168 6.57 7.18 180 node-18
simple/pointer_aliasing/aliasing_true-unreach-label.i unreach-label 3.52 2.68 176 node-12 7.03 7.39 169 6.10 5.93 179 node-16
simple/pointer_aliasing/high_degree_of_indirection_true-unreach-label.i unreach-label 3.52 8.00 176 node-16 5.58 5.59 159 5.99 6.33 170 node-02
simple/pointer_aliasing/indirect_assignment_true-unreach-label.i unreach-label 2.76 2.01 178 zeus03 5.80 5.81 160 5.96 4.90 176 node-20
simple/pointer_aliasing/malloc_compare_true-unreach-label.i unreach-label 7.87 6.50 170 mt-farm03 6.46 6.47 165 7.02 5.15 178 node-22
simple/pointer_aliasing/return_pointer_true-unreach-label.i unreach-label 2.90 2.05 185 zeus19 6.52 6.52 165 4.69 3.02 177 node-25
simple/arrays/arrays2_false-unreach-label.i unreach-label 2.33 1.54 205 0 69622 0 0 cayman2 7.55 7.55 174 8.05 6.62 193 node-08
simple/arrays/arrays_false-unreach-label.i unreach-label 4.07 2.95 185 node-12 7.36 7.37 184 7.71 6.12 188 node-07
simple/arrays/array_of_structs_true-unreach-label.i unreach-label 3.78 2.70 178 node-08 6.61 6.62 164 6.68 6.20 179 node-02
simple/arrays/arrays2_true-unreach-label.i unreach-label 4.22 2.90 192 node-10 7.93 8.78 178 7.41 12.2  193 node-14
simple/arrays/arrays_true-unreach-label.i unreach-label 4.24 2.97 190 node-11 7.61 8.97 180 6.49 10.7  190 node-14
simple/arrays/structproblem_advanced_true-unreach-label.i unreach-label 8.33 6.47 185 mt-farm04 8.61 8.62 191 8.12 8.34 198 node-01
simple/SSAMap-bug2_false-unreach-label.c unreach-label 4.00 8.61 191 node-09 6.56 6.57 177 4.41 3.02 190 node-13
simple/SSAMap-bug_false-unreach-label.c unreach-label 3.82 2.77 192 node-17 6.29 6.30 177 6.98 5.47 182 node-18
simple/functionPointer-hiding-function_false-unreach-label.c unreach-label 3.73 2.62 186 node-06 6.27 6.27 177 6.25 5.91 184 node-10
simple/functionPointer-recursion_false-unreach-label.c unreach-label 2.55 1.81 175 zeus18 5.45 5.46 156 5.70 5.95 171 node-01
simple/globalVariableInitialValue_false-unreach-label.c unreach-label 3.60 3.59 183 node-03 6.20 7.08 169 8.42 6.60 185 node-06
simple/struct-initializer-for-composite-field_false-unreach-label.c unreach-label 1.95 1.31 124 aal 5.92 5.92 165 6.48 5.31 181 node-01
simple/struct-selfreference_false-unreach-label.c unreach-label 2.05 1.38 125 nervling 6.22 6.23 176 3.45 2.46 181 node-24
simple/switch_test_default_fallthrough_false-unreach-label.c unreach-label 3.18 2.25 181 zeus01 5.86 5.86 169 5.80 5.60 178 node-18
simple/switch_test_false-unreach-label.c unreach-label 3.94 2.87 189 node-24 6.81 6.82 172 7.12 16.3  190 node-03
simple/variable-binding-scope_false-unreach-label.c unreach-label 3.58 2.78 176 node-18 6.71 7.52 168 6.02 6.79 178 node-18
simple/FunctionPredicatesTest_true-unreach-label.c unreach-label 3.45 2.49 172 node-02 5.67 5.67 160 3.99 2.84 174 node-21
simple/PredicateMergeTest_true-unreach-label.c unreach-label 3.21 2.39 175 node-15 5.42 5.43 158 5.28 8.85 173 node-21
simple/__VERIFIER_assume_true-unreach-label.c unreach-label 3.31 2.45 174 node-16 5.44 5.45 157 5.80 10.2  168 node-07
simple/array_in_global_struct_init_true-unreach-label.c unreach-label 3.36 2.78 173 node-20 5.78 5.79 161 6.40 5.31 176 node-01
simple/bdd_inteq_compression_test_true-unreach-label.c unreach-label 3.45 2.79 173 node-10 5.60 5.61 158 5.47 4.52 175 node-06
simple/builtin_expect_true-unreach-label.c unreach-label 1.88 1.18 122 deathstar 5.66 5.67 165 3.13 2.25 171 node-24
simple/compoundLiteral_true-unreach-label.c unreach-label 2.66 1.90 179 zeus04 5.43 5.43 159 5.67 5.11 168 node-18
simple/designatedRangeInitializer_true-unreach-label.c unreach-label 2.70 1.90 179 zeus04 5.91 6.58 160 6.64 5.80 173 node-20
simple/functionPointer-hiding-function_true-unreach-label.c unreach-label 5.91 4.44 162 mt-farm04 5.58 5.59 156 3.01 2.16 172 node-24
simple/globalVariableInitialValue_true-unreach-label.c unreach-label 3.50 3.61 177 node-16 6.15 6.79 161 5.37 5.27 168 node-22
simple/inner_structure_field_true-unreach-label.c unreach-label 3.69 2.69 175 node-05 5.54 5.55 160 5.82 9.91 173 node-01
simple/merge-bases-union_true-unreach-label.c unreach-label 2.37 1.55 126 barsch 6.86 6.87 174 6.64 5.57 189 node-11
simple/shortcut-operators_true-unreach-label.c unreach-label 4.45 13.3  190 node-03 9.04 9.43 177 6.69 4.86 194 node-21
simple/simple_bitshift_true-unreach-label.c unreach-label 3.63 2.67 180 node-12 5.91 5.91 171 3.53 2.47 180 node-25
simple/simplify-casts_true-unreach-label.c unreach-label 9.70 7.19 158 mt-farm02 5.80 5.81 164 3.37 2.34 173 node-24
simple/struct-char-array-initializer_true-unreach-label.c unreach-label 3.93 3.50 193 node-16 6.97 7.60 175 6.81 5.98 192 node-15
simple/struct-initializer-with-type-id-expression_true-unreach-label.c unreach-label 9.86 7.46 160 mt-farm02 6.08 6.43 162 5.64 5.01 176 node-15
simple/struct_initializers_true-unreach-label.c unreach-label 3.44 2.39 176 node-05 6.09 6.10 162 3.34 2.32 177 node-17
simple/substructure_addressing_true-unreach-label.c unreach-label 2.83 2.05 186 zeus13 6.18 6.19 164 6.47 5.93 176 node-20
simple/ternary-operator-without-positive-exp_true-unreach-label.c unreach-label 2.66 1.85 177 zeus01 5.80 5.81 159 6.20 12.0  172 node-01
benchmarks/ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-termination.cil.c unreach-call 20.6  11.9  582 node-21 34.9  34.8  518 36.9  25.6  561 node-05
benchmarks/ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-termination.cil.c unreach-call 9.05 5.07 263 0 204803 0 2 cayman6 33.6  36.7  364 29.1  17.6  389 node-12
benchmarks/ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-termination.cil.c unreach-call 16.3  9.38 446 node-25 28.6  28.6  416 36.3  23.7  445 node-23
benchmarks/ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-termination.cil.c unreach-call 7.90 4.86 279 zeus22 19.9  20.3  264 17.3  15.7  293 node-06
benchmarks/ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-termination.cil.c unreach-call 17.9  16.0  541 node-09 33.9  33.9  517 34.0  21.6  560 node-12
benchmarks/ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-termination.cil.c unreach-call 17.1  9.77 422 node-12 29.4  29.4  397 32.9  21.4  432 node-01
benchmarks/ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-termination.cil.c unreach-call 13.6  7.98 344 node-06 23.4  23.4  314 21.2  21.6  334 node-08
benchmarks/ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-termination.cil.c unreach-call 10.1  5.95 374 zeus20 25.1  25.1  357 26.0  24.8  392 node-08
benchmarks/ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-termination.cil.c unreach-call 5.01 4.40 204 node-21 9.57 9.59 183 7.91 6.11 196 node-22
benchmarks/ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-termination.cil.c unreach-call 6.23 4.25 216 node-05 13.4  13.9  208 10.2  8.16 220 node-11
benchmarks/ssh-simplified/s3_clnt_1_false-unreach-call.cil.c unreach-call 16.1  9.21 483 node-08 29.6  29.6  436 17.1  9.59 478 node-13
benchmarks/ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c unreach-call 15.3  8.97 521 node-11 29.6  29.6  489 28.6  17.4  536 node-12
benchmarks/ssh-simplified/s3_clnt_3_false-unreach-call.cil.c unreach-call 15.1  8.71 623 zeus08 37.1  37.1  607 39.2  31.8  634 node-01
benchmarks/ssh-simplified/s3_clnt_4_false-unreach-call.cil.c unreach-call 34.0  21.6  473 mt-farm01 32.5  33.1  469 31.0  20.7  500 node-18
benchmarks/ssh-simplified/s3_srvr_10_false-unreach-call.cil.c unreach-call 6.60 4.33 226 node-05 13.2  13.9  213 6.37 9.15 234 node-17
benchmarks/ssh-simplified/s3_srvr_12_false-unreach-call.cil.c unreach-call 60.8  43.1  698 node-15 62.7  62.7  665 61.4  40.1  689 node-04
benchmarks/ssh-simplified/s3_srvr_13_false-unreach-call.cil.c unreach-call 30.3  16.4  666 node-18 49.4  49.4  625 48.7  44.1  659 node-02
benchmarks/ssh-simplified/s3_srvr_14_false-unreach-call.cil.c unreach-call 16.4  14.9  405 node-09 32.2  32.2  375 26.3  27.0  396 node-05
benchmarks/ssh-simplified/s3_srvr_1_false-unreach-call.cil.c unreach-call 6.58 3.79 193 brachse 22.1  22.1  312 22.3  22.0  330 node-18
benchmarks/ssh-simplified/s3_srvr_2_false-unreach-call.cil.c unreach-call 8.99 5.38 326 zeus01 23.5  26.2  298 19.3  12.7  337 node-03
benchmarks/ssh-simplified/s3_srvr_6_false-unreach-call.cil.c unreach-call 5.10 3.59 209 node-13 9.96 9.96 198 4.54 3.18 204 node-24
benchmarks/ssh-simplified/s3_clnt_1_true-unreach-call.cil.c unreach-call 36.3  22.3  685 node-25 59.6  59.6  669 62.5  39.6  716 node-06
benchmarks/ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c unreach-call 14.2  8.27 388 hausen 43.3  43.3  617 42.4  30.3  628 node-23
benchmarks/ssh-simplified/s3_clnt_3_true-unreach-call.cil.c unreach-call 22.7  12.9  650 node-15 39.7  39.7  625 43.7  27.7  642 node-14
benchmarks/ssh-simplified/s3_clnt_4_true-unreach-call.cil.c unreach-call 33.5  20.2  701 node-25 58.9  58.9  671 36.5  21.7  675 node-25
benchmarks/ssh-simplified/s3_srvr_1_true-unreach-call.cil.c unreach-call 61.2  39.7  785 node-21 62.1  62.1  701 61.7  42.0  688 node-12
benchmarks/ssh-simplified/s3_srvr_1a_true-unreach-call.cil.c unreach-call 34.1  20.7  414 mt-farm01 28.9  29.2  406 30.5  24.2  439 node-14
benchmarks/ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c unreach-call 4.99 3.46 211 node-25 12.1  12.6  197 9.32 7.01 211 node-10
benchmarks/ssh-simplified/s3_srvr_2_true-unreach-call.cil.c unreach-call 57.2  37.6  687 mt-farm03 62.1  65.1  677 49.4  28.4  692 node-25
benchmarks/ssh-simplified/s3_srvr_3_true-unreach-call.cil.c unreach-call 40.1  27.3  688 zeus04 62.0  62.0  668 61.7  42.2  681 node-08
benchmarks/ssh-simplified/s3_srvr_4_true-unreach-call.cil.c unreach-call 50.5  37.9  718 zeus18 62.1  62.0  683 61.4  56.1  678 node-01
benchmarks/ssh-simplified/s3_srvr_6_true-unreach-call.cil.c unreach-call 61.0  52.4  844 hecht 62.2  62.2  663 61.8  40.3  678 node-19
benchmarks/ssh-simplified/s3_srvr_7_true-unreach-call.cil.c unreach-call 61.1  41.0  694 node-12 62.3  65.1  669 61.1  38.8  689 node-25
benchmarks/ssh-simplified/s3_srvr_8_true-unreach-call.cil.c unreach-call 61.0  41.2  757 node-10 61.7  61.7  674 61.7  40.9  688 node-12
benchmarks/locks/test_locks_14_false-unreach-call.c unreach-call 4.85 3.43 204 node-08 9.53 9.53 192 8.16 16.6  205 node-23
benchmarks/locks/test_locks_15_false-unreach-call.c unreach-call 5.94 4.95 225 node-16 11.3  11.5  206 10.1  8.20 219 node-07
benchmarks/locks/test_locks_10_true-unreach-call.c unreach-call 3.01 2.09 184 zeus13 6.61 6.61 164 6.34 5.73 175 node-22
benchmarks/locks/test_locks_11_true-unreach-call_false-termination.c unreach-call 3.85 7.87 178 node-20 6.68 6.69 164 3.74 2.63 181 node-25
benchmarks/locks/test_locks_12_true-unreach-call_false-termination.c unreach-call 3.09 2.23 183 zeus20 6.82 6.82 165 3.57 3.65 184 node-17
benchmarks/locks/test_locks_13_true-unreach-call.c unreach-call 3.49 2.49 183 zeus08 7.24 7.25 169 3.59 2.73 181 node-13
benchmarks/locks/test_locks_14_true-unreach-call.c unreach-call 3.08 2.24 179 zeus15 7.31 7.31 172 6.45 5.93 183 node-14
benchmarks/locks/test_locks_15_true-unreach-call_false-termination.c unreach-call 4.16 2.95 188 node-06 7.51 7.51 168 5.92 6.29 178 node-08
benchmarks/locks/test_locks_5_true-unreach-call_false-termination.c unreach-call 2.84 2.04 176 zeus17 6.67 7.06 165 6.07 5.64 177 node-10
benchmarks/locks/test_locks_6_true-unreach-call_false-termination.c unreach-call 3.01 2.16 185 zeus14 6.43 6.43 161 3.46 3.55 177 node-13
benchmarks/locks/test_locks_7_true-unreach-call_false-termination.c unreach-call 3.64 2.58 178 node-08 6.31 6.32 162 3.76 2.61 182 node-17
benchmarks/locks/test_locks_8_true-unreach-call_false-termination.c unreach-call 3.54 2.60 176 node-12 6.51 6.52 163 6.49 5.54 179 node-10
benchmarks/locks/test_locks_9_true-unreach-call.c unreach-call 3.05 2.20 183 zeus20 7.50 7.89 165 3.88 2.58 179 node-25
benchmarks/heap-manipulation/bubble_sort_linux_false-unreach-call.i unreach-call 6.97 15.6  243 node-21 13.8  13.8  222 7.53 4.72 237 node-13
benchmarks/heap-manipulation/dll_of_dll_false-unreach-call.i unreach-call 3.93 2.94 179 node-14 7.29 7.29 170 7.04 6.28 179 node-19
benchmarks/heap-manipulation/merge_sort_false-unreach-call.i unreach-call 2.95 2.04 146 saratoga 11.6  12.6  203 9.33 7.81 212 node-08
benchmarks/heap-manipulation/sll_to_dll_rev_false-unreach-call.i unreach-call 6.91 4.54 236 node-18 13.3  13.3  217 6.61 4.35 236 node-24
benchmarks/heap-manipulation/bubble_sort_linux_true-unreach-call.i unreach-call 60.7  42.7  773 node-12 62.0  61.9  664 61.7  41.5  684 node-08
benchmarks/heap-manipulation/dancing_true-unreach-call.i unreach-call 4.18 3.13 186 node-20 7.02 7.03 169 3.96 2.81 182 node-13
benchmarks/heap-manipulation/dll_of_dll_true-unreach-call.i unreach-call 3.19 2.22 185 zeus20 7.19 7.19 169 6.82 6.96 184 node-08
benchmarks/heap-manipulation/merge_sort_true-unreach-call.i unreach-call 60.6  44.9  657 mt-farm03 61.7  61.7  657 61.3  46.0  774 node-13
benchmarks/heap-manipulation/sll_to_dll_rev_true-unreach-call.i unreach-call 60.7  52.7  872 nervling 61.5  61.5  655 61.3  52.5  675 node-23
benchmarks/list-properties/alternating_list_false-unreach-call.i unreach-call 4.57 3.28 213 zeus12 9.86 9.86 193 8.84 14.5  211 node-09
benchmarks/list-properties/list_false-unreach-call.i unreach-call 60.6  44.3  873 node-12 61.7  61.7  694 61.6  45.7  759 node-21
benchmarks/list-properties/list_flag_false-unreach-call.i unreach-call 5.01 3.58 201 node-18 9.81 9.81 190 8.18 6.44 207 node-11
benchmarks/list-properties/list_search_false-unreach-call.i unreach-call 8.62 20.4  290 node-14 18.3  18.3  271 8.28 5.23 283 node-17
benchmarks/list-properties/simple_false-unreach-call.i unreach-call 3.80 2.75 204 zeus05 9.05 9.05 195 7.91 7.20 209 node-23
benchmarks/list-properties/splice_false-unreach-call.i unreach-call 4.96 3.63 218 zeus01 11.5  12.0  202 11.0  8.95 216 node-19
benchmarks/list-properties/alternating_list_true-unreach-call.i unreach-call 61.0  51.0  954 zeus22 62.0  63.8  705 61.3  62.0  700 node-08
benchmarks/list-properties/list_flag_true-unreach-call.i unreach-call 60.9  50.9  915 zeus11 61.9  61.9  776 61.3  46.6  769 node-11
benchmarks/list-properties/list_search_true-unreach-call.i unreach-call 29.5  19.2  387 mt-farm01 28.1  28.1  385 29.3  19.4  407 node-20
benchmarks/list-properties/list_true-unreach-call.i unreach-call 61.0  45.9  890 node-02 61.5  61.4  683 61.4  44.7  698 node-22
benchmarks/list-properties/simple_built_from_end_true-unreach-call.i unreach-call 60.3  46.5  788 node-13 62.1  62.0  691 62.5  57.6  675 node-03
benchmarks/list-properties/simple_true-unreach-call.i unreach-call 60.8  43.8  849 node-06 62.1  63.2  741 61.3  47.8  804 node-22
benchmarks/list-properties/splice_true-unreach-call.i unreach-call 60.7  49.7  929 zeus20 61.7  61.7  741 61.1  52.2  688 node-18
benchmarks/ldv-regression/1_3.c_false-unreach-call.i unreach-call 3.96 2.81 190 node-24 6.65 6.66 174 6.74 6.83 194 node-03
benchmarks/ldv-regression/alt_test.c_false-unreach-call.i unreach-call 4.77 3.20 202 node-25 9.10 9.49 188 10.4  8.00 198 node-06
benchmarks/ldv-regression/callfpointer.c_false-unreach-call.i unreach-call 1.91 1.30 122 elysium 6.07 6.09 168 6.00 11.7  181 node-09
benchmarks/ldv-regression/fo_test.c_false-unreach-call.i unreach-call 4.76 3.56 195 node-14 8.67 9.17 182 7.85 13.9  193 node-09
benchmarks/ldv-regression/mutex_lock_int.c_false-unreach-call.i unreach-call 3.54 2.51 186 node-11 6.50 6.50 176 6.12 5.79 191 node-23
benchmarks/ldv-regression/mutex_lock_struct.c_false-unreach-call.i unreach-call 3.33 2.41 189 zeus08 6.45 6.46 177 6.14 5.91 186 node-05
benchmarks/ldv-regression/recursive_list.c_false-unreach-call.i unreach-call 2.24 1.54 126 barbe 7.63 8.12 178 6.44 6.51 192 node-01
benchmarks/ldv-regression/rule57_ebda_blast.c_false-unreach-call.i unreach-call 4.13 3.09 192 node-10 8.19 8.43 182 6.85 7.39 194 node-02
benchmarks/ldv-regression/rule60_list2.c_false-unreach-call_1.i unreach-call 5.27 3.56 209 node-08 9.72 9.73 199 8.33 8.82 209 node-09
benchmarks/ldv-regression/stateful_check_false-unreach-call.i unreach-call 6.60 4.32 227 node-18 12.2  12.2  208 12.0  19.2  231 node-07
benchmarks/ldv-regression/test_while_int.c_false-unreach-call.i unreach-call 3.95 2.77 193 node-05 6.73 6.73 176 6.52 5.18 189 node-08
benchmarks/ldv-regression/test_while_int.c_false-unreach-call_1.i unreach-call 3.85 13.3  192 node-16 6.71 6.71 171 3.82 2.81 190 node-13
benchmarks/ldv-regression/alias_of_return.c_true-unreach-call.i unreach-call 1.98 1.33 124 voyager 5.76 5.77 166 6.57 9.81 176 node-10
benchmarks/ldv-regression/alias_of_return.c_true-unreach-call_1.i unreach-call 3.31 2.41 172 node-17 5.75 6.03 166 3.45 2.39 174 node-13
benchmarks/ldv-regression/alias_of_return_2.c_true-unreach-call.i unreach-call 3.42 2.42 175 node-24 5.52 5.53 161 6.52 5.65 174 node-18
benchmarks/ldv-regression/alias_of_return_2.c_true-unreach-call_1.i unreach-call 3.28 7.82 174 node-03 5.65 5.66 166 5.81 5.59 179 node-23
benchmarks/ldv-regression/ex3_forlist.c_true-unreach-call.i unreach-call 5.45 3.38 222 101080 0 0 0 cayman8 22.0  22.0  330 17.9  18.4  347 node-06
benchmarks/ldv-regression/just_assert.c_true-unreach-call.i unreach-call 3.31 8.33 170 node-03 5.50 5.51 155 5.83 5.37 173 node-09
benchmarks/ldv-regression/mutex_lock_int.c_true-unreach-call_1.i unreach-call 3.50 2.61 172 node-11 5.61 5.62 159 6.12 6.77 168 node-07
benchmarks/ldv-regression/mutex_lock_struct.c_true-unreach-call_1.i unreach-call 2.03 1.30 125 hausen 5.70 5.71 160 3.10 2.18 171 node-24
benchmarks/ldv-regression/nested_structure.c_true-unreach-call.i unreach-call 3.13 8.95 173 node-09 6.20 6.50 161 5.40 10.3  175 node-03
benchmarks/ldv-regression/nested_structure_noptr.c_true-unreach-call.i unreach-call 6.51 4.86 161 mt-farm04 5.95 6.51 163 4.13 2.76 173 node-25
benchmarks/ldv-regression/nested_structure_noptr_true-unreach-call.i unreach-call 2.66 1.90 174 zeus03 5.56 5.57 167 6.06 5.63 174 node-01
benchmarks/ldv-regression/nested_structure_ptr.c_true-unreach-call.i unreach-call 3.51 2.41 176 node-13 6.32 7.32 163 6.00 4.62 174 node-12
benchmarks/ldv-regression/nested_structure_ptr_true-unreach-call.i unreach-call 3.15 2.23 179 zeus19 5.74 5.75 167 4.32 3.11 178 node-21
benchmarks/ldv-regression/nested_structure_true-unreach-call.i unreach-call 3.62 8.49 182 node-16 5.91 5.92 167 4.61 3.12 177 node-21
benchmarks/ldv-regression/oomInt.c_true-unreach-call.i unreach-call 3.28 2.42 171 node-02 6.29 6.70 162 5.58 5.32 177 node-01
benchmarks/ldv-regression/oomInt.c_true-unreach-call_1.i unreach-call 3.07 2.23 180 zeus19 6.21 6.38 162 6.05 5.06 174 node-23
benchmarks/ldv-regression/rule57_ebda_blast.c_true-unreach-call_1.i unreach-call 3.61 2.64 180 node-17 6.28 6.28 165 5.89 5.13 176 node-06
benchmarks/ldv-regression/rule60_list.c_true-unreach-call.i unreach-call 3.70 2.75 174 node-05 6.57 6.58 167 7.40 6.29 182 node-06
benchmarks/ldv-regression/rule60_list2.c_true-unreach-call.i unreach-call 4.33 3.11 187 node-12 7.53 7.63 169 3.95 2.76 190 node-17
benchmarks/ldv-regression/sizeofparameters_test.c_true-unreach-call.i unreach-call 3.82 2.67 177 node-13 7.25 8.82 166 5.90 4.84 177 node-12
benchmarks/ldv-regression/structure_assignment.c_true-unreach-call.i unreach-call 3.03 2.21 178 zeus19 5.51 5.51 159 5.01 5.59 169 node-22
benchmarks/ldv-regression/test_address.c_true-unreach-call.i unreach-call 3.60 7.98 177 node-21 6.72 7.11 167 5.80 10.5  180 node-23
benchmarks/ldv-regression/test_cut_trace.c_true-unreach-call.i unreach-call 3.53 2.50 178 node-17 5.58 5.59 159 5.68 4.58 174 node-09
benchmarks/ldv-regression/test_malloc-1_true-unreach-call.i unreach-call 3.67 2.89 181 node-16 6.55 6.56 172 5.69 9.05 180 node-21
benchmarks/ldv-regression/test_malloc-2_true-unreach-call.i unreach-call 6.45 4.81 166 mt-farm04 6.58 6.59 172 6.31 5.29 176 node-22
benchmarks/ldv-regression/test_overflow.c_true-unreach-call.i unreach-call 4.03 2.87 179 node-06 6.84 6.85 168 7.07 7.14 176 node-14
benchmarks/ldv-regression/test_union.c_true-unreach-call.i unreach-call 2.62 1.88 176 zeus12 5.59 5.59 165 5.33 4.15 172 node-08
benchmarks/ldv-regression/test_union.c_true-unreach-call_1.i unreach-call 1.87 1.28 124 aitel 6.30 6.50 167 6.76 5.73 181 node-19
benchmarks/ldv-regression/test_union_cast-1_true-unreach-call.i unreach-call 3.47 2.37 172 node-11 6.24 6.69 163 6.02 5.47 170 node-05
benchmarks/ldv-regression/test_union_cast-2_true-unreach-call.i unreach-call 3.35 2.35 175 node-25 5.76 5.77 167 6.02 4.99 177 node-15
benchmarks/ldv-regression/test_union_cast.c_true-unreach-call.i unreach-call 1.91 1.28 126 saibling 5.76 5.77 159 5.46 4.99 174 node-11
benchmarks/ldv-regression/test_union_cast.c_true-unreach-call_1.i unreach-call 3.41 2.43 170 node-08 5.62 5.63 158 5.41 5.91 173 node-02
benchmarks/ldv-regression/volatile_alias.c_true-unreach-call.i unreach-call 3.36 2.73 174 node-16 5.61 5.62 166 6.24 5.45 171 node-02
benchmarks/ldv-regression/volatile_alias.c_true-unreach-call_1.i unreach-call 3.20 2.25 177 zeus15 5.48 5.49 161 5.52 10.4  172 node-09
benchmarks/ddv-machzwd/ddv_machzwd_all_false-unreach-call.i unreach-call 18.6  10.6  523 node-02 36.1  36.1  502 36.1  28.5  530 node-14
benchmarks/ddv-machzwd/ddv_machzwd_inw_false-unreach-call.i unreach-call 17.6  11.0  527 node-09 36.8  36.8  498 18.9  15.8  528 node-21
benchmarks/ddv-machzwd/ddv_machzwd_outb_false-unreach-call.i unreach-call 10.5  5.85 262 empoknor 37.4  37.9  496 35.5  23.2  523 node-18
benchmarks/ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call.i unreach-call 8.51 5.54 270 node-17 18.5  19.2  254 14.8  12.4  266 node-18
benchmarks/ddv-machzwd/ddv_machzwd_inb_true-unreach-call.i unreach-call 5.67 3.60 150 cs-sel-06 16.9  16.9  259 13.9  16.9  268 node-16
benchmarks/ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call.i unreach-call 8.57 5.52 267 node-11 18.7  19.5  256 8.43 5.34 271 node-13
benchmarks/ddv-machzwd/ddv_machzwd_inl_true-unreach-call.i unreach-call 8.66 5.57 267 node-11 18.5  18.9  253 15.3  17.0  271 node-16
benchmarks/ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call.i unreach-call 8.58 5.47 271 node-06 16.9  16.8  252 7.52 7.61 272 node-17
benchmarks/ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call.i unreach-call 6.65 4.33 270 zeus08 16.7  16.7  252 14.4  11.0  272 node-03
benchmarks/ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call.i unreach-call 8.95 6.06 266 node-18 18.0  18.4  255 14.0  11.9  273 node-23
benchmarks/ddv-machzwd/ddv_machzwd_outl_true-unreach-call.i unreach-call 8.71 5.66 271 node-15 17.9  19.3  257 8.50 5.41 270 node-13
benchmarks/ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call.i unreach-call 21.5  16.6  253 mt-farm02 17.8  19.9  254 13.6  14.4  270 node-02
benchmarks/ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call.i unreach-call 8.26 5.18 270 node-11 16.4  16.4  256 11.0  6.52 275 node-25
benchmarks/loops/array_false-unreach-call.i unreach-call 2.79 1.91 152 cs-sel-05 7.37 7.38 178 7.00 12.7  199 node-23
benchmarks/loops/bubble_sort_false-unreach-call.i unreach-call 3.01 1.95 151 sovereign 10.2  10.2  199 8.25 10.8  213 node-21
benchmarks/loops/count_up_down_false-unreach-call_true-termination.i unreach-call 4.02 2.80 191 node-05 6.62 7.00 174 3.53 2.52 187 node-24
benchmarks/loops/eureka_01_false-unreach-call.i unreach-call 34.5  20.6  720 zeus04 62.0  64.4  666 62.7  49.3  683 node-16
benchmarks/loops/for_bounded_loop1_false-unreach-call_true-termination.i unreach-call 4.33 3.01 195 node-24 7.03 7.04 177 7.77 8.61 192 node-06
benchmarks/loops/insertion_sort_false-unreach-call.i unreach-call 60.9  41.5  810 node-17 62.6  62.5  680 61.3  37.8  706 node-06
benchmarks/loops/invert_string_false-unreach-call.i unreach-call 9.78 6.43 304 node-20 19.3  19.3  288 15.6  10.7  329 node-15
benchmarks/loops/linear_search_false-unreach-call.i unreach-call 4.33 3.27 198 node-14 7.15 7.15 185 4.94 3.35 195 node-25
benchmarks/loops/ludcmp_false-unreach-call.i unreach-call 24.2  13.8  696 zeus15 47.0  46.9  683 33.2  19.2  689 node-17
benchmarks/loops/matrix_false-unreach-call_true-termination.i unreach-call 9.35 5.99 602 node-03 16.3  16.3  582 14.3  14.4  601 node-02
benchmarks/loops/n.c24_false-unreach-call.i unreach-call 61.1  41.6  801 node-15 61.4  61.4  674 61.7  39.5  696 node-02
benchmarks/loops/nec11_false-unreach-call.i unreach-call 3.82 3.87 186 node-14 6.58 7.42 173 6.05 6.50 189 node-10
benchmarks/loops/nec20_false-unreach-call.i unreach-call 3.14 2.26 197 zeus23 6.88 6.89 175 7.14 11.3  187 node-07
benchmarks/loops/s3_false-unreach-call.i unreach-call 30.4  16.7  660 node-25 47.2  47.2  641 51.1  30.9  654 node-19
benchmarks/loops/string_false-unreach-call.i unreach-call 7.55 4.94 256 node-05 14.5  14.5  242 10.0  6.31 258 node-25
benchmarks/loops/sum01_bug02_false-unreach-call_true-termination.i unreach-call 8.70 5.24 287 node-08 16.4  16.4  266 14.6  11.9  287 node-01
benchmarks/loops/sum01_bug02_sum01_bug02_base.case_false-unreach-call_true-termination.i unreach-call 4.22 2.81 217 zeus04 9.40 9.40 192 4.87 3.27 211 node-24
benchmarks/loops/sum01_false-unreach-call_true-termination.i unreach-call 8.97 6.66 309 node-16 20.6  20.6  288 15.7  13.7  314 node-15
benchmarks/loops/sum03_false-unreach-call_true-termination.i unreach-call 12.4  7.28 431 zeus11 29.8  29.8  410 27.6  27.1  431 node-18
benchmarks/loops/sum04_false-unreach-call_true-termination.i unreach-call 6.43 4.76 225 node-14 12.2  12.2  209 10.9  11.2  224 node-18
benchmarks/loops/sum_array_false-unreach-call.i unreach-call 4.87 3.32 246 zeus22 11.8  11.8  231 10.2  7.64 239 node-10
benchmarks/loops/terminator_01_false-unreach-call_false-termination.i unreach-call 3.61 2.60 184 node-24 6.12 6.13 170 6.29 4.88 185 node-22
benchmarks/loops/terminator_02_false-unreach-call_true-termination.i unreach-call 3.82 2.67 187 node-08 6.23 6.24 170 6.22 4.91 187 node-10
benchmarks/loops/terminator_03_false-unreach-call_true-termination.i unreach-call 3.92 2.75 185 node-18 6.09 6.10 171 6.91 5.68 188 node-22
benchmarks/loops/verisec_NetBSD-libc__loop_false-unreach-call.i unreach-call 3.64 7.73 188 node-09 6.53 6.54 181 3.65 2.55 190 node-24
benchmarks/loops/verisec_OpenSER__cases1_stripFullBoth_arr_false-unreach-call.i unreach-call 5.30 3.75 206 node-08 9.79 9.79 195 9.00 8.99 210 node-02
benchmarks/loops/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call.i unreach-call 3.54 8.27 185 node-21 6.95 6.96 170 5.35 3.80 186 node-21
benchmarks/loops/vogal_false-unreach-call.i unreach-call 22.5  18.2  586 node-16 42.3  42.3  553 38.4  38.6  585 node-20
benchmarks/loops/while_infinite_loop_4_false-unreach-call_true-termination.i unreach-call 3.80 2.76 186 node-10 6.06 6.18 169 7.53 5.81 185 node-06
benchmarks/loops/array_true-unreach-call.i unreach-call 4.15 3.05 183 node-25 8.05 8.06 180 7.13 7.60 184 node-08
benchmarks/loops/bubble_sort_true-unreach-call.i unreach-call 3.10 2.23 177 zeus18 6.31 6.42 164 4.07 2.83 179 node-25
benchmarks/loops/count_up_down_true-unreach-call_true-termination.i unreach-call 3.70 2.72 188 node-20 6.43 6.44 177 6.53 5.55 187 node-01
benchmarks/loops/eureka_01_true-unreach-call.i unreach-call 60.6  43.1  790 zeus23 62.0  61.9  672 61.0  37.7  787 node-17
benchmarks/loops/eureka_05_true-unreach-call.i unreach-call 24.0  13.1  633 node-12 42.9  42.8  630 22.4  12.3  641 node-24
benchmarks/loops/for_infinite_loop_1_true-unreach-call_false-termination.i unreach-call 3.53 7.84 177 node-14 5.97 5.98 162 5.97 4.98 175 node-22
benchmarks/loops/for_infinite_loop_2_true-unreach-call_false-termination.i unreach-call 3.64 2.53 178 node-11 5.94 5.95 163 3.98 2.74 177 node-25
benchmarks/loops/insertion_sort_true-unreach-call.i unreach-call 60.2  46.3  802 zeus12 62.0  62.5  671 61.3  48.2  691 node-20
benchmarks/loops/invert_string_true-unreach-call.i unreach-call 56.4  33.3  565 mt-farm02 40.5  40.5  594 36.5  24.9  589 node-18
benchmarks/loops/linear_sea.ch_true-unreach-call.i unreach-call 4.31 3.09 202 node-17 7.34 7.35 178 7.05 7.61 192 node-22
benchmarks/loops/lu.cmp_true-unreach-call.i unreach-call 60.5  48.7  939 excelsior 61.7  61.7  663 61.6  58.7  684 node-07
benchmarks/loops/matrix_true-unreach-call_true-termination.i unreach-call 9.40 6.66 297 node-14 17.9  17.9  275 14.1  16.2  292 node-09
benchmarks/loops/n.c11_true-unreach-call.i unreach-call 4.82 3.50 200 node-15 9.17 9.17 184 8.04 6.31 201 node-15
benchmarks/loops/n.c40_true-unreach-call.i unreach-call 2.26 1.65 205 53805 0 0 0 cayman2 8.32 8.69 176 6.90 6.57 189 node-16
benchmarks/loops/nec40_true-unreach-call.i unreach-call 3.39 2.46 192 zeus20 8.43 8.78 177 4.48 8.30 185 node-21
benchmarks/loops/string_true-unreach-call.i unreach-call 3.10 2.25 178 zeus12 6.34 6.46 164 5.33 9.57 178 node-01
benchmarks/loops/sum01_true-unreach-call_true-termination.i unreach-call 3.49 2.54 181 node-25 7.16 7.42 173 6.48 5.72 180 node-08
benchmarks/loops/sum03_true-unreach-call_false-termination.i unreach-call 1.83 1.28 120 babylon5 6.19 6.20 165 5.82 5.34 177 node-11
benchmarks/loops/sum04_true-unreach-call_true-termination.i unreach-call 7.58 4.92 258 node-11 15.6  15.6  244 12.4  8.58 258 node-12
benchmarks/loops/sum_array_true-unreach-call.i unreach-call 60.7  51.1  833 brachse 62.3  62.3  696 61.6  43.2  700 node-14
benchmarks/loops/terminator_02_true-unreach-call_true-termination.i unreach-call 3.35 2.48 177 node-25 5.98 5.99 161 3.50 2.55 180 node-13
benchmarks/loops/terminator_03_true-unreach-call_true-termination.i unreach-call 1.99 1.30 123 aesche 6.42 7.07 162 4.64 3.13 175 node-25
benchmarks/loops/veris.c_NetBSD-libc__loop_true-unreach-call.i unreach-call 2.12 1.43 128 forelle 6.44 6.45 165 6.80 5.35 182 node-14
benchmarks/loops/veris.c_OpenSER__cases1_stripFullBoth_arr_true-unreach-call.i unreach-call 3.19 2.27 178 zeus08 6.33 6.34 170 6.36 5.82 177 node-04
benchmarks/loops/veris.c_sendmail__tTflag_arr_one_loop_true-unreach-call.i unreach-call 3.60 2.60 181 node-15 6.02 6.03 167 5.95 5.32 175 node-18
benchmarks/loops/vogal_true-unreach-call.i unreach-call 61.0  50.0  980 sovereign 61.9  61.9  691 61.6  50.8  692 node-22
benchmarks/loops/while_infinite_loop_1_true-unreach-call_false-termination.i unreach-call 1.97 1.35 124 excelsior 5.97 5.98 170 6.61 5.60 181 node-07
benchmarks/loops/while_infinite_loop_2_true-unreach-call_false-termination.i unreach-call 2.03 1.28 127 tardis 6.44 6.45 165 6.02 4.63 178 node-15
benchmarks/loops/while_infinite_loop_3_true-unreach-call_false-termination.i unreach-call 3.42 2.44 172 node-02 6.01 6.03 159 5.84 11.0  176 node-16
benchmarks/loop-acceleration/array_false-unreach-call1.i unreach-call 60.8  37.7  665 mt-farm03 61.5  61.5  669 61.6  62.2  678 node-10
benchmarks/loop-acceleration/array_false-unreach-call2.i unreach-call 60.8  51.3  858 3915678 -203475581 1800000 -3591 cayman1 61.8  61.8  660 61.4  58.7  706 node-16
benchmarks/loop-acceleration/array_false-unreach-call3.i unreach-call 60.6  38.7  670 mt-farm01 61.9  61.9  668 60.8  41.4  764 node-25
benchmarks/loop-acceleration/const_false-unreach-call1.i unreach-call 60.5  44.1  794 node-02 61.9  62.8  671 60.9  43.1  791 node-25
benchmarks/loop-acceleration/diamond_false-unreach-call1.i unreach-call 60.8  42.1  796 node-06 61.9  61.8  661 61.8  51.3  686 node-15
benchmarks/loop-acceleration/functions_false-unreach-call1.i unreach-call 60.6  47.7  797 zeus11 61.8  61.7  670 61.3  40.8  684 node-03
benchmarks/loop-acceleration/multivar_false-unreach-call1.i unreach-call 7.83 6.16 175 mt-farm03 6.60 6.61 169 6.38 6.69 185 node-06
benchmarks/loop-acceleration/nested_false-unreach-call1.i unreach-call 61.5  41.9  696 mt-farm04 61.9  61.9  701 61.1  39.3  763 node-25
benchmarks/loop-acceleration/phases_false-unreach-call1.i unreach-call 60.8  48.7  802 zeus15 62.1  65.9  668 61.6  62.4  689 node-04
benchmarks/loop-acceleration/phases_false-unreach-call2.i unreach-call 1.94 1.36 207 0 62732 0 0 cayman8 6.03 6.04 170 6.36 10.4  187 node-01
benchmarks/loop-acceleration/simple_false-unreach-call1.i unreach-call 60.8  48.2  798 zeus10 61.8  61.8  676 61.6  46.1  681 node-05
benchmarks/loop-acceleration/simple_false-unreach-call2.i unreach-call 3.65 2.78 192 node-17 6.62 7.26 171 3.53 3.63 185 node-13
benchmarks/loop-acceleration/simple_false-unreach-call3.i unreach-call 3.66 2.62 184 node-25 6.69 6.70 170 3.46 3.57 191 node-17
benchmarks/loop-acceleration/simple_false-unreach-call4.i unreach-call 61.2  42.0  805 node-05 62.0  62.0  671 61.4  53.0  706 node-22
benchmarks/loop-acceleration/underapprox_false-unreach-call1.i unreach-call 4.58 3.29 200 node-10 8.54 8.54 182 4.50 3.23 202 node-25
benchmarks/loop-acceleration/underapprox_false-unreach-call2.i unreach-call 3.68 2.61 209 zeus10 8.30 8.31 183 4.85 3.35 200 node-25
benchmarks/loop-acceleration/array_true-unreach-call1.i unreach-call 60.8  51.2  851 deathstar 62.1  62.1  677 61.3  44.4  696 node-16
benchmarks/loop-acceleration/array_true-unreach-call2.i unreach-call 61.0  41.6  793 node-20 61.8  62.2  670 61.9  37.0  684 node-18
benchmarks/loop-acceleration/array_true-unreach-call3.i unreach-call 3.94 2.92 184 node-12 7.20 7.54 171 7.13 11.4  179 node-16
benchmarks/loop-acceleration/array_true-unreach-call4.i unreach-call 60.3  45.2  793 zeus13 61.5  61.5  670 61.1  40.0  777 node-25
benchmarks/loop-acceleration/const_true-unreach-call1.i unreach-call 3.03 2.24 184 zeus14 6.15 6.15 170 5.70 5.09 175 node-22
benchmarks/loop-acceleration/diamond_true-unreach-call1.i unreach-call 61.0  48.5  791 zeus13 61.7  61.7  666 60.8  42.0  790 node-13
benchmarks/loop-acceleration/diamond_true-unreach-call2.i unreach-call 5.68 3.28 233 huchen 19.6  19.6  427 19.3  12.0  447 node-12
benchmarks/loop-acceleration/functions_true-unreach-call1.i unreach-call 60.4  49.3  839 barsch 61.9  61.8  672 61.2  36.0  644 node-05
benchmarks/loop-acceleration/multivar_true-unreach-call1.i unreach-call 3.51 7.60 179 node-20 5.85 5.86 165 6.36 12.1  179 node-09
benchmarks/loop-acceleration/nested_true-unreach-call1.i unreach-call 60.9  43.1  793 node-25 62.2  62.1  663 61.1  41.9  787 node-24
benchmarks/loop-acceleration/overflow_true-unreach-call1.i unreach-call 3.75 2.83 183 node-13 6.04 6.05 163 6.32 6.85 173 node-22
benchmarks/loop-acceleration/phases_true-unreach-call1.i unreach-call 61.1  47.9  794 zeus18 62.6  62.6  675 61.4  51.4  676 node-08
benchmarks/loop-acceleration/phases_true-unreach-call2.i unreach-call 3.37 2.42 200 zeus22 7.04 7.05 174 7.24 5.88 187 node-18
benchmarks/loop-acceleration/simple_true-unreach-call1.i unreach-call 60.9  42.2  800 node-13 61.5  61.5  671 62.1  37.3  640 node-06
benchmarks/loop-acceleration/simple_true-unreach-call2.i unreach-call 3.37 2.63 171 node-02 5.55 5.55 161 6.02 4.71 175 node-12
benchmarks/loop-acceleration/simple_true-unreach-call3.i unreach-call 60.5  47.8  1030 aesche 61.6  61.5  780 61.6  40.5  696 node-18
benchmarks/loop-acceleration/simple_true-unreach-call4.i unreach-call 60.8  39.2  667 mt-farm01 61.8  61.8  666 61.7  60.8  705 node-22
benchmarks/loop-acceleration/underapprox_true-unreach-call1.i unreach-call 4.79 3.19 226 zeus03 13.8  14.2  213 5.99 4.04 227 node-21
benchmarks/loop-acceleration/underapprox_true-unreach-call2.i unreach-call 3.79 2.78 193 zeus08 8.24 8.25 178 6.72 7.29 187 node-05
benchmarks/loop-invgen/id_trans_false-unreach-call.i unreach-call 4.07 2.98 191 node-10 7.10 7.11 182 6.60 7.21 189 node-01
benchmarks/loop-invgen/MADWiFi-encode_ie_ok_true-unreach-call.i unreach-call 3.94 2.75 183 node-24 7.33 7.34 171 6.79 4.87 181 node-11
benchmarks/loop-invgen/NetBSD_loop_true-unreach-call.i unreach-call 4.14 2.91 187 node-13 7.82 8.40 172 7.91 7.00 183 node-06
benchmarks/loop-invgen/SpamAssassin-loop_true-unreach-call.i unreach-call 4.65 4.51 194 node-14 8.39 8.39 179 7.50 6.34 196 node-15
benchmarks/loop-invgen/apache-escape-absolute_true-unreach-call.i unreach-call 4.85 3.52 197 node-05 9.94 9.96 191 8.15 7.29 200 node-20
benchmarks/loop-invgen/apache-get-tag_true-unreach-call.i unreach-call 4.11 2.91 188 node-13 7.76 7.76 172 7.69 6.52 180 node-18
benchmarks/loop-invgen/down_true-unreach-call.i unreach-call 61.0  49.1  792 zeus22 62.2  62.2  670 61.3  50.0  685 node-09
benchmarks/loop-invgen/fragtest_simple_true-unreach-call.i unreach-call 60.8  52.1  852 falcon 61.7  61.7  667 61.7  51.4  691 node-09
benchmarks/loop-invgen/half_2_true-unreach-call.i unreach-call 60.9  41.6  799 node-17 62.2  62.2  697 60.9  38.1  784 node-25
benchmarks/loop-invgen/heapsort_true-unreach-call.i unreach-call 8.79 5.50 311 node-06 18.9  18.9  284 15.9  18.7  311 node-03
benchmarks/loop-invgen/id_build_true-unreach-call.i unreach-call 3.65 2.60 182 node-10 6.44 6.45 170 7.13 6.75 174 node-06
benchmarks/loop-invgen/large_const_true-unreach-call.i unreach-call 6.12 3.90 216 node-18 11.5  11.5  209 9.56 7.94 218 node-01
benchmarks/loop-invgen/nest-if3_true-unreach-call.i unreach-call 3.70 2.37 223 83920 0 0 0 cayman6 13.1  13.1  223 10.6  13.4  225 node-04
benchmarks/loop-invgen/nested6_true-unreach-call.i unreach-call 18.2  10.2  577 node-06 30.6  30.6  530 18.1  10.2  572 node-25
benchmarks/loop-invgen/nested9_true-unreach-call.i unreach-call 19.0  10.3  642 zeus06 56.9  56.9  612 50.3  29.8  660 node-18
benchmarks/loop-invgen/sendmail-close-angle_true-unreach-call.i unreach-call 11.7  8.97 197 mt-farm01 10.3  10.8  190 9.39 6.55 205 node-10
benchmarks/loop-invgen/seq_true-unreach-call.i unreach-call 60.5  53.3  811 empoknor 61.8  61.7  670 61.6  46.5  674 node-23
benchmarks/loop-invgen/string_concat-noarr_true-unreach-call.i unreach-call 61.3  43.5  797 node-11 61.6  61.6  669 61.8  40.1  807 node-25
benchmarks/loop-invgen/up_true-unreach-call.i unreach-call 60.9  50.2  783 zeus23 61.9  61.9  661 61.6  39.7  686 node-16
benchmarks/loop-lit/afnp2014_true-unreach-call.c.i unreach-call 60.6  45.9  783 node-08 61.7  61.6  753 61.1  61.5  771 node-02
benchmarks/loop-lit/bhmr2007_true-unreach-call.c.i unreach-call 3.56 2.50 175 node-15 6.16 6.63 162 5.28 9.63 172 node-05
benchmarks/loop-lit/cggmp2005_true-unreach-call.c.i unreach-call 5.08 3.43 199 node-08 10.3  10.4  190 8.43 7.05 199 node-08
benchmarks/loop-lit/cggmp2005_variant_true-unreach-call.c.i unreach-call 2.06 1.46 176 146164188 -2741606 1800000 -18549 cayman5 7.03 7.03 175 6.64 6.21 178 node-18
benchmarks/loop-lit/cggmp2005b_true-unreach-call.c.i unreach-call 3.85 7.86 183 node-09 7.45 7.47 169 4.50 3.06 183 node-25
benchmarks/loop-lit/css2003_true-unreach-call.c.i unreach-call 3.65 2.70 177 node-05 6.84 6.84 164 6.25 5.53 181 node-01
benchmarks/loop-lit/ddlm2013_true-unreach-call.c.i unreach-call 61.2  41.4  746 mt-farm01 61.8  61.8  749 61.5  45.1  702 node-18
benchmarks/loop-lit/gj2007_true-unreach-call.c.i unreach-call 60.6  47.0  1000 falcon 62.0  61.9  664 61.6  43.7  783 node-21
benchmarks/loop-lit/gj2007b_true-unreach-call.c.i unreach-call 4.29 3.66 191 node-03 8.08 8.08 176 4.07 2.96 190 node-17
benchmarks/loop-lit/gr2006_true-unreach-call.c.i unreach-call 60.6  40.9  816 node-13 61.6  61.6  668 61.7  42.5  686 node-07
benchmarks/loop-lit/gsv2008_true-unreach-call.c.i unreach-call 9.46 7.52 198 mt-farm04 10.3  10.8  199 4.53 2.97 204 node-24
benchmarks/loop-lit/hhk2008_true-unreach-call.c.i unreach-call 1.81 1.20 120 elysium 5.79 5.80 166 5.45 16.0  169 node-09
benchmarks/loop-lit/jm2006_true-unreach-call.c.i unreach-call 2.30 1.54 125 saratoga 8.09 8.10 179 6.43 6.64 189 node-01
benchmarks/loop-lit/jm2006_variant_true-unreach-call.c.i unreach-call 4.37 3.05 202 zeus15 9.40 9.41 191 8.84 7.04 195 node-18
benchmarks/loop-lit/mcmillan2006_true-unreach-call.c.i unreach-call 5.37 3.53 239 zeus10 13.8  14.3  223 11.0  8.65 242 node-01
benchmarks/loop-new/count_by_1_true-unreach-call.i unreach-call 60.1  46.1  794 zeus18 62.3  63.0  666 61.1  42.8  795 node-13
benchmarks/loop-new/count_by_1_variant_true-unreach-call.i unreach-call 60.9  50.0  802 zeus22 61.8  61.8  662 60.6  42.5  793 node-24
benchmarks/loop-new/count_by_2_true-unreach-call.i unreach-call 60.7  48.5  791 zeus05 61.6  61.6  669 61.5  37.9  685 node-12
benchmarks/loop-new/count_by_k_true-unreach-call.i unreach-call 61.1  48.9  825 zeus13 62.2  64.8  751 61.3  59.2  722 node-09
benchmarks/loop-new/count_by_nondet_true-unreach-call.i unreach-call 60.9  46.1  794 node-24 62.0  65.3  663 61.3  37.8  680 node-21
benchmarks/loop-new/gauss_sum_true-unreach-call.i unreach-call 3.83 3.02 190 node-10 7.24 7.26 181 3.62 3.75 189 node-25
benchmarks/loop-new/half_true-unreach-call.i unreach-call 7.55 4.76 267 node-10 15.6  15.6  252 12.5  8.14 261 node-15
benchmarks/loop-new/nested_true-unreach-call.i unreach-call 60.6  51.6  798 1097149 0 0 cayman7 61.6  61.6  664 61.4  43.3  694 node-21
benchmarks/systemc/kundu1_false-unreach-call_false-termination.cil.c unreach-call 15.6  8.35 398 251982521 -118137889 -15485 cayman7 47.1  47.0  627 55.0  32.4  651 node-12
benchmarks/systemc/kundu2_false-unreach-call_false-termination.cil.c unreach-call 25.2  19.6  645 node-20 46.3  46.3  627 42.5  26.8  646 node-11
benchmarks/systemc/pc_sfifo_1_false-unreach-call_false-termination.cil.c unreach-call 4.49 3.20 198 node-02 8.68 9.62 181 7.13 5.74 192 node-22
benchmarks/systemc/pc_sfifo_2_false-unreach-call_false-termination.cil.c unreach-call 2.61 1.74 145 hecht 8.69 8.70 184 8.30 12.3  201 node-16
benchmarks/systemc/pipeline_false-unreach-call_false-termination.cil.c unreach-call 60.1  46.3  761 zeus19 61.7  61.7  677 62.2  45.4  710 node-23
benchmarks/systemc/token_ring.01_false-unreach-call_false-termination.cil.c unreach-call 8.07 5.01 283 zeus12 17.2  17.2  267 9.86 5.88 292 node-25
benchmarks/systemc/token_ring.02_false-unreach-call_false-termination.cil.c unreach-call 15.2  8.69 446 node-03 29.4  29.9  392 19.5  11.0  448 node-25
benchmarks/systemc/token_ring.03_false-unreach-call_false-termination.cil.c unreach-call 19.5  10.9  622 node-12 35.5  39.4  607 37.9  25.1  625 node-18
benchmarks/systemc/token_ring.04_false-unreach-call_false-termination.cil.c unreach-call 24.8  14.0  645 node-18 42.7  43.3  637 39.7  25.1  656 node-10
benchmarks/systemc/token_ring.05_false-unreach-call_false-termination.cil.c unreach-call 61.2  42.7  652 mt-farm02 62.6  62.6  651 28.0  17.6  673 node-24
benchmarks/systemc/token_ring.06_false-unreach-call_false-termination.cil.c unreach-call 43.2  29.8  677 node-08 62.4  62.4  661 42.9  30.1  680 node-13
benchmarks/systemc/token_ring.07_false-unreach-call_false-termination.cil.c unreach-call 62.1  46.1  685 node-06 62.1  62.0  659 61.4  50.8  679 node-23
benchmarks/systemc/token_ring.08_false-unreach-call_false-termination.cil.c unreach-call 60.8  52.8  687 zeus22 62.2  62.2  662 61.2  62.1  687 node-22
benchmarks/systemc/token_ring.09_false-unreach-call_false-termination.cil.c unreach-call 60.5  53.5  776 aal 62.4  62.3  660 61.8  50.9  663 node-04
benchmarks/systemc/token_ring.10_false-unreach-call_false-termination.cil.c unreach-call 60.7  53.4  729 zeus14 62.0  62.0  658 61.5  49.2  698 node-12
benchmarks/systemc/token_ring.11_false-unreach-call_false-termination.cil.c unreach-call 60.4  46.1  743 node-24 67.9  67.9  685 71.2  56.3  685 node-20
benchmarks/systemc/token_ring.12_false-unreach-call_false-termination.cil.c unreach-call 61.8  47.4  751 node-17 68.9  68.9  671 71.9  72.3  689 node-01
benchmarks/systemc/token_ring.13_false-unreach-call_false-termination.cil.c unreach-call 65.1  52.1  733 node-20 62.0  63.1  665 65.8  57.6  730 node-17
benchmarks/systemc/token_ring.14_false-unreach-call_false-termination.cil.c unreach-call 63.0  63.0  668 60.9  46.9  740 node-24
benchmarks/systemc/token_ring.15_false-unreach-call_false-termination.cil.c unreach-call 60.8  53.0  799 babylon5 62.2  62.2  667 61.5  49.1  627 node-19
benchmarks/systemc/toy1_false-unreach-call_false-termination.cil.c unreach-call 46.4  29.2  692 node-21 61.9  61.9  663 61.5  41.0  670 node-18
benchmarks/systemc/toy2_false-unreach-call_false-termination.cil.c unreach-call 19.3  12.2  758 -2596607 229057316 0 4172 cayman4 62.2  65.5  650 36.3  23.4  690 node-24
benchmarks/systemc/transmitter.01_false-unreach-call_false-termination.cil.c unreach-call 3.19 2.14 213 76347 0 0 0 cayman3 12.0  12.4  202 9.64 8.21 216 node-10
benchmarks/systemc/transmitter.02_false-unreach-call_false-termination.cil.c unreach-call 8.15 15.7  271 node-21 16.0  16.0  248 15.8  11.2  267 node-08
benchmarks/systemc/transmitter.03_false-unreach-call_false-termination.cil.c unreach-call 12.0  7.18 321 node-10 21.8  22.3  285 18.1  19.1  306 node-20
benchmarks/systemc/transmitter.04_false-unreach-call_false-termination.cil.c unreach-call 10.5  6.40 382 zeus14 25.4  25.4  355 23.9  15.4  381 node-15
benchmarks/systemc/transmitter.05_false-unreach-call_false-termination.cil.c unreach-call 15.7  14.3  526 node-16 29.2  29.2  454 29.5  21.4  517 node-04
benchmarks/systemc/transmitter.06_false-unreach-call_false-termination.cil.c unreach-call 19.6  11.7  656 node-13 34.5  34.5  632 34.1  34.6  642 node-18
benchmarks/systemc/transmitter.07_false-unreach-call_false-termination.cil.c unreach-call 23.4  13.7  654 node-18 41.7  41.7  631 42.4  34.6  655 node-14
benchmarks/systemc/transmitter.08_false-unreach-call_false-termination.cil.c unreach-call 26.5  16.7  686 node-02 49.1  50.7  680 62.5  42.4  686 node-06
benchmarks/systemc/transmitter.09_false-unreach-call_false-termination.cil.c unreach-call 61.9  42.3  662 mt-farm02 55.3  55.2  682 63.3  60.5  695 node-07
benchmarks/systemc/transmitter.10_false-unreach-call_false-termination.cil.c unreach-call 44.8  30.4  697 node-09 62.5  62.4  673 46.8  30.2  685 node-25
benchmarks/systemc/transmitter.11_false-unreach-call_false-termination.cil.c unreach-call 60.9  44.2  685 mt-farm04 62.2  62.1  679 63.3  47.2  749 node-17
benchmarks/systemc/transmitter.12_false-unreach-call_false-termination.cil.c unreach-call 34.0  25.6  804 barbe 62.1  62.0  687 61.1  47.2  731 node-13
benchmarks/systemc/transmitter.13_false-unreach-call_false-termination.cil.c unreach-call 60.5  51.1  733 node-20 62.3  62.3  681 62.4  56.0  656 node-01
benchmarks/systemc/transmitter.15_false-unreach-call_false-termination.cil.c unreach-call 11.2  6.79 318 node-06 21.0  21.0  292 19.8  23.5  315 node-01
benchmarks/systemc/transmitter.16_false-unreach-call_false-termination.cil.c unreach-call 9.04 5.51 322 zeus17 22.9  26.4  306 23.5  17.1  322 node-06
benchmarks/systemc/bist_cell_true-unreach-call_false-termination.cil.c unreach-call 5.44 3.29 247 0 138252 0 2 cayman3 21.5  22.1  318 10.0  6.25 339 node-24
benchmarks/systemc/kundu_true-unreach-call_false-termination.cil.c unreach-call 62.3  62.6  672 61.8  42.1  693 node-02
benchmarks/systemc/mem_slave_tlm.1_true-unreach-call_false-termination.cil.c unreach-call 41.4  27.7  692 node-21 62.5  62.5  675 38.6  21.5  697 node-24
benchmarks/systemc/mem_slave_tlm.2_true-unreach-call_false-termination.cil.c unreach-call 60.5  41.0  800 node-03 62.4  62.3  675 61.3  37.6  802 node-17
benchmarks/systemc/mem_slave_tlm.3_true-unreach-call_false-termination.cil.c unreach-call 60.9  47.8  879 voyager 62.2  62.2  671 61.8  38.4  677 node-03
benchmarks/systemc/mem_slave_tlm.4_true-unreach-call_false-termination.cil.c unreach-call 60.6  45.2  814 zeus11 62.5  63.6  669 61.8  42.9  698 node-09
benchmarks/systemc/mem_slave_tlm.5_true-unreach-call_false-termination.cil.c unreach-call 61.1  38.0  816 node-02 62.6  62.9  670 62.8  38.5  684 node-06
benchmarks/systemc/pc_sfifo_1_true-unreach-call_false-termination.cil.c unreach-call 15.1  8.85 549 node-17 32.8  32.8  509 30.0  20.8  546 node-01
benchmarks/systemc/pc_sfifo_2_true-unreach-call_false-termination.cil.c unreach-call 21.7  22.2  640 node-03 47.5  47.5  628 39.3  31.7  633 node-03
benchmarks/systemc/pc_sfifo_3_true-unreach-call_false-termination.cil.c unreach-call 8.09 11.0  259 node-09 16.2  16.2  248 8.18 8.35 261 node-13
benchmarks/systemc/pipeline_true-unreach-call_false-termination.cil.c unreach-call 61.9  38.9  680 mt-farm03 62.3  62.3  686 61.8  37.6  698 node-15
benchmarks/systemc/token_ring.01_true-unreach-call_false-termination.cil.c unreach-call 8.77 4.94 281 200735 0 1800000 0 cayman1 32.2  32.6  512 30.7  20.2  532 node-02
benchmarks/systemc/token_ring.02_true-unreach-call_false-termination.cil.c unreach-call 47.7  43.9  706 node-21 61.8  61.7  659 45.6  32.6  708 node-24
benchmarks/systemc/token_ring.04_true-unreach-call_false-termination.cil.c unreach-call 60.7  51.1  786 tardis 62.0  62.2  657 62.0  43.9  766 node-17
benchmarks/systemc/token_ring.05_true-unreach-call_false-termination.cil.c unreach-call 60.1  46.4  716 node-08 61.6  61.6  657 61.5  54.7  674 node-18
benchmarks/systemc/token_ring.06_true-unreach-call_false-termination.cil.c unreach-call 60.8  54.0  768 node-16 65.5  65.4  657 61.7  56.2  666 node-09
benchmarks/systemc/token_ring.07_true-unreach-call_false-termination.cil.c unreach-call 66.2  51.2  724 node-11 61.8  64.8  652 61.9  50.1  676 node-01
benchmarks/systemc/token_ring.08_true-unreach-call_false-termination.cil.c unreach-call 61.0  53.0  684 node-09 61.9  61.9  662 61.5  53.1  682 node-23
benchmarks/systemc/token_ring.09_true-unreach-call_false-termination.cil.c unreach-call 60.9  50.3  689 node-14 61.8  61.8  654 61.1  49.4  677 node-25
benchmarks/systemc/token_ring.10_true-unreach-call_false-termination.cil.c unreach-call 60.8  53.3  716 node-09 61.7  61.6  682 67.3  67.0  700 node-04
benchmarks/systemc/token_ring.11_true-unreach-call_false-termination.cil.c unreach-call 61.1  48.0  736 node-15 61.8  61.8  687 61.3  46.6  745 node-13
benchmarks/systemc/token_ring.12_true-unreach-call_false-termination.cil.c unreach-call 65.6  49.9  750 node-11 62.0  62.6  634 61.7  49.5  631 node-14
benchmarks/systemc/token_ring.13_true-unreach-call_false-termination.cil.c unreach-call 60.8  50.4  707 node-18 62.2  62.1  676 61.9  48.7  661 node-11
benchmarks/systemc/toy_true-unreach-call_false-termination.cil.c unreach-call 60.5  47.6  703 node-21 62.1  63.7  658 61.4  41.1  681 node-01
benchmarks/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko_false-unreach-call.cil.out.i.pp.cil.c unreach-call 38.5  22.0  846 node-08 63.5  63.4  836 38.4  21.2  843 node-25
benchmarks/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko_true-unreach-call.cil.out.i.pp.cil.c unreach-call 58.6  31.9  907 node-18 62.7  62.6  831 62.3  40.2  841 node-10
benchmarks/ldv-linux-3.0/module_get_put-drivers-block-loop.ko_false-unreach-call.cil.out.i.pp.cil.c unreach-call 61.8  34.2  849 node-18 61.9  61.9  696 62.0  41.8  713 node-01
benchmarks/ldv-linux-3.0/module_get_put-drivers-block-pktcdvd.ko_false-unreach-call.cil.out.i.pp.cil.c unreach-call 62.0  37.8  804 node-24 62.7  62.7  699 62.1  52.5  713 node-19
benchmarks/ldv-linux-3.0/module_get_put-drivers-isdn-gigaset-gigaset.ko_false-unreach-call.cil.out.i.pp.cil.c unreach-call 62.3  34.7  848 node-14 62.1  62.1  677 61.9  54.5  687 node-20
benchmarks/ldv-linux-3.0/module_get_put-drivers-net-ppp_generic.ko_false-unreach-call.cil.out.i.pp.cil.c unreach-call 32.0  17.4  670 node-10 55.7  55.7  662 58.1  36.4  677 node-16
benchmarks/ldv-linux-3.0/module_get_put-drivers-net-wan-farsync.ko_false-unreach-call.cil.out.i.pp.cil.c unreach-call 60.3  34.2  815 node-06 62.0  62.0  706 62.0  37.9  729 node-22
benchmarks/ldv-linux-3.0/module_get_put-drivers-tty-synclink_gt.ko_false-unreach-call.cil.out.i.pp.cil.c unreach-call 61.9  36.3  971 zeus10 62.5  62.5  800 63.0  50.0  810 node-04
benchmarks/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko_false-unreach-call.cil.out.i.pp.cil.c unreach-call 61.8  39.2  953 node-25 62.1  63.6  785 62.2  50.4  787 node-11
benchmarks/ldv-linux-3.0/usb_urb-drivers-hid-usbhid-usbmouse.ko_false-unreach-call.cil.out.i.pp.cil.c unreach-call 13.3  7.36 408 2905693 -228534100 0 -4172 cayman4 43.1  43.1  626 37.5  40.3  640 node-09
benchmarks/ldv-linux-3.0/usb_urb-drivers-input-misc-keyspan_remote.ko_false-unreach-call.cil.out.i.pp.cil.c unreach-call 60.4  44.1  778 zeus11 62.6  63.9  675 61.6  38.8  690 node-06
benchmarks/ldv-linux-3.0/usb_urb-drivers-media-dvb-ttusb-dec-ttusb_dec.ko_false-unreach-call.cil.out.i.pp.cil.c unreach-call 26.3  14.9  669 node-06 42.0  42.0  633 45.0  28.5  657 node-08
benchmarks/ldv-linux-3.0/usb_urb-drivers-staging-lirc-lirc_imon.ko_false-unreach-call.cil.out.i.pp.cil.c unreach-call 21.5  17.9  651 node-20 45.9  46.4  633 41.3  34.1  654 node-23
benchmarks/ldv-linux-3.0/usb_urb-drivers-usb-misc-iowarrior.ko_false-unreach-call.cil.out.i.pp.cil.c unreach-call 29.8  16.3  662 node-02 54.2  54.2  651 62.0  37.6  660 node-06
benchmarks/ldv-linux-3.0/module_get_put-drivers-atm-eni.ko_true-unreach-call.cil.out.i.pp.cil.c unreach-call 61.3  40.4  1020 node-05 62.8  64.6  797 62.3  42.6  860 node-21
benchmarks/ldv-linux-3.0/module_get_put-drivers-block-paride-pt.ko_true-unreach-call.cil.out.i.pp.cil.c unreach-call 61.1  50.6  1220 zeus21 63.5  63.7  972 62.7  55.2  920 node-09
benchmarks/ldv-linux-3.0/module_get_put-drivers-bluetooth-btmrvl.ko_true-unreach-call.cil.out.i.pp.cil.c unreach-call 62.5  39.2  661 mt-farm02 42.6  42.5  646 47.9  44.2  672 node-23
benchmarks/ldv-linux-3.0/module_get_put-drivers-char-ipmi-ipmi_watchdog.ko_true-unreach-call.cil.out.i.pp.cil.c unreach-call 30.0  17.4  672 node-09 51.3  51.3  660 49.0  49.2  666 node-08
benchmarks/ldv-linux-3.0/module_get_put-drivers-hid-hid-magicmouse.ko_true-unreach-call.cil.out.i.pp.cil.c unreach-call 12.8  12.9  400 node-14 27.8  28.2  365 24.7  24.3  383 node-09
benchmarks/ldv-linux-3.0/module_get_put-drivers-hwmon-it87.ko_true-unreach-call.cil.out.i.pp.cil.c unreach-call 27.5  16.2  708 zeus10 60.8  60.8  705 61.9  48.5  707 node-05
benchmarks/ldv-linux-3.0/module_get_put-drivers-net-atl1c-atl1c.ko_true-unreach-call.cil.out.i.pp.cil.c unreach-call 60.8  45.8  941 zeus15 64.1  64.1  722 62.0  39.7  805 node-13
benchmarks/ldv-linux-3.0/module_get_put-drivers-net-pppox.ko_true-unreach-call.cil.out.i.pp.cil.c unreach-call 6.58 9.94 245 node-16 12.5  12.9  221 11.6  11.1  240 node-03
benchmarks/ldv-linux-3.0/module_get_put-drivers-net-sis900.ko_true-unreach-call.cil.out.i.pp.cil.c unreach-call 38.0  22.0  993 cs-sel-06 65.8  65.8  806 62.3  59.3  791 node-07
benchmarks/ldv-linux-3.0/module_get_put-drivers-scsi-megaraid.ko_true-unreach-call.cil.out.i.pp.cil.c unreach-call 61.7  46.2  1130 zeus21 62.9  62.8  791 63.7  45.1  775 node-10
benchmarks/ldv-linux-3.0/module_get_put-drivers-staging-et131x-et131x.ko_true-unreach-call.cil.out.i.pp.cil.c unreach-call 62.1  41.7  954 node-17 62.5  62.5  669 62.5  52.0  788 node-23
benchmarks/ldv-linux-3.0/usb_urb-drivers-input-tablet-kbtab.ko_true-unreach-call.cil.out.i.pp.cil.c unreach-call 17.9  10.2  642 zeus19 38.6  38.5  641 22.3  12.5  637 node-24
benchmarks/ldv-linux-3.0/usb_urb-drivers-media-video-c-qcam.ko_true-unreach-call.cil.out.i.pp.cil.c unreach-call 61.5  41.4  1220 node-05 63.2  67.7  978 63.2  51.0  1020 node-01
benchmarks/ldv-linux-3.0/usb_urb-drivers-media-video-msp3400.ko_true-unreach-call.cil.out.i.pp.cil.c unreach-call 63.3  43.5  1220 ds9 63.1  63.4  694 62.0  35.0  719 node-12
benchmarks/ldv-linux-3.0/usb_urb-drivers-misc-c2port-core.ko_true-unreach-call.cil.out.i.pp.cil.c unreach-call 21.6  12.2  661 zeus10 50.2  50.2  654 47.3  31.1  671 node-02
benchmarks/ldv-linux-3.0/usb_urb-drivers-scsi-dc395x.ko_true-unreach-call.cil.out.i.pp.cil.c unreach-call 61.0  43.0  1000 node-09 71.9  71.8  506 63.5  39.8  760 node-23
benchmarks/ldv-linux-3.0/usb_urb-drivers-usb-serial-ir-usb.ko_true-unreach-call.cil.out.i.pp.cil.c unreach-call 11.6  7.81 326 node-14 23.5  23.9  286 18.2  19.5  303 node-01
benchmarks/ldv-linux-3.0/usb_urb-drivers-usb-serial-whiteheat.ko_true-unreach-call.cil.out.i.pp.cil.c unreach-call 60.7  43.8  858 zeus23 61.9  61.8  652 61.6  54.3  718 node-08
benchmarks/ldv-linux-3.0/usb_urb-drivers-uwb-i1480-dfu-i1480-dfu-usb.ko_true-unreach-call.cil.out.i.pp.cil.c unreach-call 63.2  43.0  843 mt-farm03 62.9  65.0  872 63.2  50.1  854 node-07
benchmarks/ldv-linux-3.0/usb_urb-drivers-vhost-vhost_net.ko_true-unreach-call.cil.out.i.pp.cil.c unreach-call 61.1  45.5  1070 node-21 63.1  63.0  847 63.7  50.0  777 node-22
benchmarks/ldv-linux-3.0/usb_urb-drivers-video-arkfb.ko_true-unreach-call.cil.out.i.pp.cil.c unreach-call 10.2  6.38 331 node-17 21.0  21.0  304 21.3  19.8  344 node-07
benchexec/tablegenerator/test_integration/results/test/programs/ status cputime (s) walltime (s) memory (MB) energy-core energy-cpu energy-external energy-uncore host status cputime (s) walltime (s) memory (MB) status cputime (s) walltime (s) memory (MB) host
total 482 10700   7820   204000 257872605 -320375307 7200000 -19072 484 14100   14200   189000 484 13200   10400   198000
local summary 500   158  
    correct results 338 3740   2600   106000 252859778 -116969348 5400000 -15481 315 5250   5320   88100 321 4860   3950   97700
        correct true 196 2010   1440   55300 491824 377790 5400000 2 181 2430   2460   43600 184 2220   1870   48200
        correct false 142 1730   1160   50900 252367954 -117347138 0 -15483 134 2830   2860   44500 137 2630   2090   49500
    incorrect results 8 37.4 34.0 1450 0 0 0 0 8 60.4 62.1 1410 8 55.1 56.5 1520
        incorrect true 4 21.2 21.4 703 0 0 0 0 4 25.8 26.3 660 4 23.0 29.7 710
        incorrect false 4 16.1 12.6 751 0 0 0 0 4 34.7 35.8 748 4 32.0 26.8 811
score (484 tasks, max score: 779) 342 304 313
Run set integration-predicateAnalysis integration-predicateAnalysis integration-predicateAnalysis