Tool ULTIMATE Automizer 0.1.24-c6af20d0 ULTIMATE Automizer 0.1.24-0883e752
Limits timelimit: 900 s, memlimit: 8000 MB, CPU core limit: 2
Host struebli
OS Linux-5.1.5-gentoo-x86_64-AMD_EPYC_7351P_16-Core_Processor-with-gentoo-2.6
System CPU: AMD EPYC 7351P 16-Core Processor, cores: 32, frequency: 2400 MHz, Turbo Boost: enabled; RAM: 135154 MB
Date of execution 2019-09-03 16:09:44 CEST 2019-09-05 11:14:04 CEST
Run set Sifa INT.Loops AbsInt INT.Loops Automizer.Loops Sifa INT.Loops Taipan INT.Loops
Options --force-no-wrapper -tc ../../../trunk/examples/toolchains/SifaC.xml -s ../../../trunk/examples/settings/default/automizer/svcomp-Reach-32bit-Automizer_Default.epf --sifa.abstract.domain IntervalDomain --force-no-wrapper -tc ../../../trunk/examples/toolchains/AbstractInterpretationC.xml -s ../../../trunk/examples/settings/ai/svcomp-Reach-32bit-Automizer_Default+AIv2_INT.epf --force-no-wrapper -tc ../../../trunk/examples/toolchains/AutomizerC.xml -s ../../../trunk/examples/settings/default/automizer/svcomp-Reach-32bit-Automizer_Default.epf --force-no-wrapper -tc ../../../trunk/examples/toolchains/SifaC.xml -s ../../../trunk/examples/settings/default/automizer/svcomp-Reach-32bit-Automizer_Default.epf --sifa.abstract.domain IntervalDomain --force-no-wrapper -tc ../../../trunk/examples/toolchains/AutomizerC.xml -s ../../../trunk/examples/settings/ai/svcomp-Reach-32bit-Automizer_Default+AIv2_INT.epf
../../../../trunk/examples/svcomp/ status cputime (s) walltime (s) memory (MB) status cputime (s) walltime (s) memory (MB) status cputime (s) walltime (s) memory (MB) status cputime (s) walltime (s) memory (MB) status cputime (s) walltime (s) memory (MB)
loops/array-1.yml timeout 901    832    1490 true 7.05 4.31 187 true 11.7  6.51 267 unknown 8.24 4.89 199 true 9.26 5.53 239
loops/array-2.yml timeout 901    831    1540 true 7.05 4.29 188 false 8.69 5.15 203 unknown 8.02 5.03 197 false 8.62 5.08 205
loops/bubble_sort-2.yml error: exception 64.0  42.9  826 true 9.12 5.24 228 false 12.5  6.95 272 error: exception 55.1  37.0  760 false 12.8  7.17 274
loops/compact.yml timeout 901    824    1400 timeout 900    885    2180 timeout 900    882    514 unknown 7.23 4.46 187 timeout 900    884    2350
loops/count_up_down-1.yml timeout 901    796    3270 unknown 7.02 4.33 175 timeout 900    879    447 unknown 6.89 4.43 177 timeout 901    867    504
loops/count_up_down-2.yml timeout 901    795    3280 unknown 7.03 4.27 179 false 6.80 4.31 176 unknown 6.62 4.25 172 false 7.19 4.26 182
loops/eureka_01-1.yml timeout 900    814    1230 true 7.10 4.34 188 false 270    241    649 timeout 900    893    783 true 9.86 5.73 244
loops/eureka_01-2.yml timeout 900    808    1230 true 7.64 4.56 188 timeout 901    863    1010 timeout 900    894    793 true 10.5  5.99 257
loops/eureka_05.yml timeout 901    779    2400 true 7.19 4.27 191 timeout 901    866    1520 unknown 8.01 4.88 202 true 8.52 5.17 215
loops/for_bounded_loop1.yml timeout 901    800    4010 unknown 6.89 4.45 186 false 8.36 4.93 219 unknown 7.01 4.53 184 false 8.40 5.20 219
loops/for_infinite_loop_1.yml timeout 901    803    3590 unknown 6.72 4.16 188 true 7.27 4.45 195 true 6.30 4.04 183 true 6.76 4.44 189
loops/for_infinite_loop_2.yml timeout 900    805    3570 unknown 7.03 4.43 177 true 7.39 4.51 197 true 7.00 4.38 191 true 7.49 4.53 190
loops/heavy-1.yml timeout 901    816    3020 timeout 901    795    7470 timeout 901    870    1330 unknown 12.5  6.97 301 timeout 901    790    7530
loops/heavy-2.yml timeout 900    815    3020 timeout 901    781    7230 true 10.7  6.25 254 unknown 11.3  6.53 277 timeout 901    788    7370
loops/insertion_sort-1.yml timeout 900    817    3060 true 7.24 4.54 191 false 461    417    806 unknown 7.93 4.76 209 true 9.78 5.88 252
loops/insertion_sort-2.yml timeout 900    813    3010 true 6.63 4.18 185 timeout 901    836    1260 unknown 8.19 4.97 197 true 9.37 5.49 257
loops/invert_string-1.yml timeout 901    773    1240 true 7.17 4.35 185 false 27.0  17.2  425 unknown 12.2  7.71 272 true 10.1  5.90 254
loops/invert_string-3.yml timeout 901    775    1020 true 7.27 4.48 191 true 251    226    530 unknown 8.08 4.76 196 true 9.55 5.67 232
loops/linear_sea.ch.yml timeout 900    828    3110 true 7.64 4.65 190 error: exception 166    153    489 unknown 7.48 4.56 188 true 9.97 5.78 253
loops/linear_search.yml timeout 900    812    3050 true 7.17 4.33 186 error: exception 75.4  61.3  507 unknown 7.12 4.31 191 true 9.44 5.58 269
loops/lu.cmp.yml unknown 7.98 4.79 196 true 11.4  6.47 328 true 8.51 5.11 221 unknown 7.95 4.75 198 true 15.8  8.73 366
loops/ludcmp.yml unknown 8.53 5.01 199 true 13.2  7.25 336 unknown: overapproxcex 15.6  8.84 316 unknown 8.37 5.15 199 true 16.6  8.99 433
loops/matrix-1.yml timeout 901    851    1090 true 6.87 4.24 185 true 14.4  8.68 317 unknown 9.24 5.52 245 true 8.50 5.13 215
loops/matrix-2.yml timeout 900    819    2990 true 7.06 4.33 187 false 8.63 5.19 230 unknown 9.83 5.78 243 true 8.87 5.18 227
loops/n.c11.yml timeout 900    809    2270 unknown 7.38 4.35 187 true 11.1  6.46 269 unknown 6.89 4.29 189 true 10.6  6.42 290
loops/n.c24.yml timeout 901    799    4820 true 7.13 4.30 193 timeout 901    789    2810 unknown 11.4  6.38 277 true 9.13 5.30 224
loops/n.c40.yml timeout 901    774    832 true 7.60 4.62 195 error: exception 8.09 4.90 198 unknown 7.69 4.63 186 true 9.41 5.57 230
loops/nec11.yml timeout 900    800    3040 unknown 6.67 4.12 185 false 7.48 4.49 189 unknown 7.21 4.40 190 false 7.59 4.45 193
loops/nec20.yml timeout 901    808    3250 unknown 7.33 4.47 189 false 7.82 4.66 194 unknown 7.29 4.46 190 false 7.34 4.51 197
loops/nec40.yml timeout 901    780    984 true 7.75 4.68 194 error: exception 7.52 4.58 196 unknown 7.39 4.45 187 true 9.32 5.42 230
loops/s3.yml error: exception 7.73 4.23 179 true 11.5  6.22 261 error: exception 7.19 4.01 183 error: exception 7.57 4.02 182 unknown: overapproxcex 41.7  22.4  562
loops/string-1.yml timeout 900    813    3040 true 7.53 4.48 188 true 10.9  6.38 272 true 9.77 5.73 246 true 8.15 4.90 211
loops/string-2.yml timeout 900    810    3050 true 7.08 4.26 184 unknown: overapproxcex 10.4  6.16 255 unknown 7.85 4.75 214 true 9.09 5.24 217
loops/sum01-1.yml unknown 7.28 4.32 190 unknown 7.41 4.53 194 false 13.6  7.81 308 unknown 6.97 4.32 190 false 15.3  8.88 319
loops/sum01-2.yml timeout 901    824    3200 unknown 7.08 3.90 188 true 10.6  6.24 275 unknown 6.95 4.25 178 true 11.9  6.85 298
loops/sum01_bug02.yml unknown 6.71 4.18 179 unknown 8.55 4.96 199 false 14.0  8.08 313 unknown 6.93 4.14 187 false 14.7  8.32 328
loops/sum01_bug02_sum01_bug02_base.case.yml unknown 6.72 4.13 179 unknown 6.88 4.28 187 false 11.0  6.29 268 unknown 6.95 4.21 184 false 12.5  7.31 286
loops/sum03-1.yml timeout 901    807    3190 unknown 7.91 4.75 230 false 246    238    328 unknown 7.08 4.33 184 false 172    163    388
loops/sum03-2.yml timeout 901    806    3330 unknown 7.28 4.37 182 true 7.58 4.69 198 unknown 6.95 4.24 182 true 7.55 4.55 190
loops/sum04-1.yml timeout 901    808    3030 unknown 6.65 4.11 173 false 9.37 5.49 252 unknown 6.84 4.23 184 false 9.30 5.64 264
loops/sum04-2.yml timeout 900    819    3190 unknown 6.66 4.19 175 true 11.3  6.49 289 unknown 6.90 4.30 178 true 12.4  7.27 305
loops/sum_array-1.yml timeout 901    833    1190 true 6.94 4.24 186 false 9.31 5.31 219 unknown 8.58 5.06 232 false 10.1  5.80 216
loops/sum_array-2.yml timeout 901    829    1180 true 7.19 4.39 186 timeout 901    856    1600 unknown 9.30 5.44 240 true 11.9  6.85 265
loops/terminator_01.yml unknown 7.47 4.46 192 true 6.61 4.14 183 false 7.42 4.43 195 unknown 6.91 4.25 185 false 7.19 4.39 190
loops/terminator_02-1.yml unknown 6.80 4.16 185 unknown 6.78 4.18 183 false 7.16 4.26 178 unknown 6.70 4.23 175 false 6.83 4.18 181
loops/terminator_02-2.yml unknown 7.07 4.21 180 unknown 7.67 4.55 189 true 7.77 4.82 211 unknown 6.73 4.17 175 true 7.52 4.61 206
loops/terminator_03-1.yml timeout 901    810    3010 unknown 7.54 4.57 184 false 7.10 4.43 189 unknown 6.96 4.17 190 false 7.33 4.51 191
loops/terminator_03-2.yml true 6.51 4.08 186 unknown 6.96 4.17 186 true 7.96 4.85 213 true 6.64 4.17 185 true 7.32 4.45 194
loops/trex01-1.yml timeout 900    823    3000 timeout 901    711    7730 false 6.92 4.35 188 unknown 6.86 4.23 187 false 7.58 4.61 195
loops/trex01-2.yml timeout 900    823    3000 unknown 7.58 4.64 189 true 8.13 4.86 198 unknown 7.06 4.39 187 true 7.85 4.88 192
loops/trex02-1.yml true 7.38 4.50 189 unknown 7.29 4.45 191 true 7.45 4.57 195 true 7.14 4.39 191 true 7.06 4.36 201
loops/trex02-2.yml unknown 7.28 4.51 186 unknown 7.25 4.39 188 false 7.63 4.23 189 unknown 7.60 4.52 192 false 7.21 4.40 194
loops/trex03-1.yml unknown 7.22 4.37 194 unknown 7.68 4.53 189 false 7.19 4.44 190 unknown 6.70 4.15 190 false 7.28 4.43 193
loops/trex03-2.yml unknown 6.89 4.24 184 unknown 7.54 4.35 190 true 7.43 4.56 195 unknown 7.19 4.42 189 true 8.04 4.85 192
loops/trex04.yml timeout 901    802    3030 out of memory 644    475    8000 true 7.55 4.49 196 true 7.13 4.40 189 true 7.34 4.57 191
loops/veris.c_NetBSD-libc_loop.yml timeout 901    824    3100 true 6.62 4.11 189 true 8.11 4.87 215 unknown 7.07 4.36 188 true 7.95 4.76 207
loops/veris.c_OpenSER_cases1_stripFullBoth_arr.yml timeout 901    836    3210 true 7.42 4.50 186 true 8.52 5.01 231 true 9.22 5.30 232 true 8.60 5.13 226
loops/veris.c_sendmail_tTflag_arr_one_loop.yml timeout 901    809    3590 true 7.39 4.57 185 true 7.57 4.56 194 true 6.91 4.20 189 true 8.17 4.92 197
loops/verisec_NetBSD-libc_loop.yml timeout 900    823    3090 true 6.80 4.04 188 false 9.72 5.70 254 unknown 7.17 4.44 188 true 8.52 5.15 220
loops/verisec_OpenSER_cases1_stripFullBoth_arr.yml timeout 900    831    3320 true 7.74 4.64 186 false 15.6  8.91 321 unknown 8.89 5.21 246 true 11.9  6.81 300
loops/vogal-1.yml timeout 901    801    3300 true 6.91 4.27 186 error: exception 644    604    1230 unknown 8.65 5.13 231 true 8.84 5.28 218
loops/vogal-2.yml timeout 900    820    3270 true 7.15 4.34 187 timeout 901    842    1800 unknown 8.03 4.50 207 true 8.55 5.12 216
loops/while_infinite_loop_1.yml true 6.43 3.91 178 unknown 6.70 4.11 172 true 6.98 4.26 188 true 6.85 4.21 177 true 7.36 4.35 184
loops/while_infinite_loop_2.yml true 6.45 4.00 175 unknown 6.71 4.14 174 true 7.05 4.39 191 true 6.42 4.01 173 true 6.70 3.88 192
loops/while_infinite_loop_3.yml true 6.37 4.05 182 unknown 6.45 4.02 180 true 7.31 4.45 197 true 7.15 4.33 187 true 7.44 4.56 195
loops/while_infinite_loop_4.yml unknown 7.35 4.48 185 unknown 6.87 4.15 183 false 6.87 4.23 189 unknown 6.96 4.23 179 false 6.78 4.28 188
loop-acceleration/array_1-1.yml timeout 900    795    2000 true 6.34 3.93 181 timeout 901    864    582 unknown 7.03 4.28 185 true 8.59 5.14 203
loop-acceleration/array_1-2.yml timeout 900    800    1830 true 7.46 4.44 184 true 11.7  7.71 262 unknown 6.89 4.18 187 true 7.55 4.62 205
loop-acceleration/array_2-1.yml timeout 901    788    713 true 6.84 4.17 188 timeout 900    872    575 unknown 7.16 4.35 188 true 7.72 4.67 208
loop-acceleration/array_2-2.yml timeout 901    791    704 true 6.94 4.23 184 timeout 900    874    648 unknown 7.27 4.47 186 true 8.18 4.90 205
loop-acceleration/array_3-1.yml timeout 900    801    3060 true 6.77 4.11 188 true 8.38 4.94 213 unknown 7.08 4.34 187 true 8.22 4.88 210
loop-acceleration/array_3-2.yml timeout 900    815    3180 true 6.83 4.20 185 timeout 901    861    894 unknown 7.56 4.43 188 true 8.29 4.97 214
loop-acceleration/array_4.yml timeout 901    809    3230 true 6.82 4.19 187 timeout 901    867    795 unknown 7.13 4.23 186 true 8.07 4.92 213
loop-acceleration/const_1-1.yml timeout 901    805    3010 unknown 6.56 4.16 177 true 8.37 4.93 214 unknown 6.61 4.14 171 true 7.99 4.81 211
loop-acceleration/const_1-2.yml timeout 901    804    3040 unknown 7.20 4.37 177 timeout 900    876    527 unknown 6.83 4.14 174 timeout 900    884    488
loop-acceleration/diamond_1-1.yml timeout 900    818    3020 unknown 9.84 5.59 282 timeout 900    880    451 unknown 7.28 4.46 189 timeout 900    868    495
loop-acceleration/diamond_1-2.yml timeout 900    818    3040 unknown 9.83 5.65 285 timeout 900    871    432 unknown 7.29 4.49 186 timeout 901    856    631
loop-acceleration/diamond_2-2.yml timeout 900    814    3260 unknown 15.8  9.36 751 true 182    170    441 unknown 8.01 4.74 192 true 235    218    565
loop-acceleration/functions_1-1.yml timeout 901    793    3340 unknown 10.1  5.63 287 timeout 900    875    547 unknown 6.97 4.21 185 timeout 900    868    532
loop-acceleration/functions_1-2.yml timeout 901    792    3330 unknown 9.84 5.67 271 timeout 900    875    465 unknown 7.09 4.22 174 timeout 901    873    585
loop-acceleration/multivar_1-1.yml unknown 6.77 4.29 172 unknown 6.60 4.12 178 true 7.79 4.64 197 unknown 6.64 4.14 182 true 6.75 4.26 187
loop-acceleration/multivar_1-2.yml unknown 6.32 3.86 179 unknown 6.58 4.07 173 false 7.00 4.27 179 unknown 6.71 4.10 185 false 6.69 4.08 180
loop-acceleration/nested_1-1.yml timeout 900    821    3110 unknown 9.84 5.64 337 true 134    124    436 unknown 7.03 4.31 189 true 59.9  47.5  468
loop-acceleration/nested_1-2.yml timeout 900    822    3090 unknown 12.7  6.84 360 timeout 900    888    498 unknown 6.89 4.23 183 timeout 901    882    586
loop-acceleration/overflow_1-1.yml timeout 901    797    3060 unknown 10.6  5.96 290 timeout 901    883    420 unknown 6.82 4.14 175 timeout 900    876    550
loop-acceleration/phases_1-1.yml timeout 901    807    3070 unknown 10.7  6.08 273 timeout 900    888    452 unknown 6.16 3.90 177 timeout 900    879    474
loop-acceleration/phases_1-2.yml timeout 901    806    3050 unknown 10.7  6.00 308 timeout 900    889    452 unknown 6.72 4.12 186 timeout 900    885    488
loop-acceleration/phases_2-1.yml timeout 901    831    3000 unknown 8.13 4.68 197 false 7.17 4.32 183 unknown 7.39 4.57 191 false 7.12 4.37 189
loop-acceleration/phases_2-2.yml timeout 901    832    2990 unknown 7.25 4.49 198 true 15.0  11.4  255 unknown 7.03 4.29 186 true 18.9  13.6  302
loop-acceleration/simple_1-1.yml timeout 901    800    3040 unknown 9.20 5.32 274 timeout 900    882    469 unknown 7.20 4.41 179 timeout 900    880    574
loop-acceleration/simple_1-2.yml timeout 901    799    3030 unknown 9.30 5.24 272 timeout 900    884    467 unknown 7.16 4.28 180 timeout 901    878    443
loop-acceleration/simple_2-1.yml unknown 6.52 4.08 173 unknown 7.18 4.40 172 true 7.41 4.52 203 unknown 6.57 4.08 173 true 6.97 4.37 200
loop-acceleration/simple_2-2.yml unknown 6.76 4.13 181 unknown 6.43 4.01 173 false 6.15 3.87 174 unknown 6.95 4.19 183 false 6.66 4.13 186
loop-acceleration/simple_3-1.yml timeout 901    797    3050 unknown 10.3  5.88 262 false 6.39 4.01 175 unknown 6.95 4.51 178 false 6.81 4.16 182
loop-acceleration/simple_3-2.yml timeout 901    799    3030 unknown 9.79 5.57 288 true 7.56 4.52 198 unknown 6.62 4.09 174 true 7.20 4.43 191
loop-acceleration/simple_4-1.yml unknown 6.95 4.21 177 unknown 9.63 5.53 283 timeout 900    886    410 unknown 6.98 4.28 183 timeout 901    864    527
loop-acceleration/simple_4-2.yml unknown 7.18 4.45 177 unknown 10.2  5.84 292 true 7.87 4.83 225 unknown 6.58 4.10 178 true 9.46 5.53 262
loop-acceleration/underapprox_1-1.yml timeout 901    809    3250 unknown 6.77 4.22 183 false 10.8  6.38 294 unknown 6.57 4.02 177 false 12.1  6.92 298
loop-acceleration/underapprox_1-2.yml timeout 900    810    3220 unknown 9.90 5.64 275 true 156    149    1070 unknown 6.99 4.17 181 true 114    107    362
loop-acceleration/underapprox_2-1.yml timeout 901    812    3220 unknown 6.54 4.02 178 false 9.57 5.65 264 unknown 6.52 4.05 176 false 11.1  6.50 287
loop-acceleration/underapprox_2-2.yml timeout 900    813    3230 unknown 6.45 4.01 174 true 8.28 5.05 243 unknown 6.59 4.06 178 true 10.6  6.31 282
loop-crafted/simple_array_index_value_1-1.yml timeout 901    841    948 true 9.48 6.53 200 timeout 901    883    570 unknown 11.7  7.59 263 true 9.88 6.80 231
loop-crafted/simple_array_index_value_1-2.yml timeout 901    829    1280 true 6.92 4.21 187 false 6.99 4.23 195 unknown 7.76 4.69 191 false 7.05 4.33 185
loop-crafted/simple_array_index_value_2.yml timeout 901    837    1150 true 6.85 4.24 189 timeout 901    878    660 unknown 7.39 4.50 191 true 7.76 4.69 209
loop-crafted/simple_array_index_value_3.yml timeout 901    834    1230 true 6.77 4.12 186 timeout 900    879    996 unknown 7.29 4.45 187 true 7.94 4.79 219
loop-crafted/simple_array_index_value_4.i.v+lhb-reducer.yml timeout 900    883    429 true 7.01 4.30 189 true 66.9  59.9  312 unknown 8.98 5.50 235 true 14.1  8.81 275
loop-crafted/simple_array_index_value_4.i.v+nlh-reducer.yml timeout 900    887    545 true 7.27 4.46 188 true 25.9  19.9  307 unknown 11.7  7.83 249 true 14.0  7.80 289
loop-crafted/simple_array_index_value_4.yml timeout 900    823    3340 true 6.98 4.21 190 true 64.0  57.4  315 unknown 7.86 4.96 195 true 11.5  6.65 267
loop-crafted/simple_vardep_1.yml timeout 901    801    3440 unknown 7.00 4.35 176 true 7.36 4.45 193 unknown 6.99 4.31 186 true 7.50 4.55 194
loop-crafted/simple_vardep_2.yml timeout 901    809    3530 unknown 7.44 4.47 189 true 7.95 4.79 217 unknown 6.34 3.98 174 true 7.50 4.55 203
loop-invgen/MADWiFi-encode_ie_ok.yml timeout 901    799    4130 unknown 7.14 4.39 189 true 9.14 5.42 254 unknown 7.58 4.62 183 true 10.2  6.09 255
loop-invgen/NetBSD_loop.yml timeout 901    794    4650 unknown 7.34 4.42 187 true 9.37 5.58 251 unknown 7.19 4.36 186 true 9.51 5.56 262
loop-invgen/SpamAssassin-loop.i.v+cfa-reducer.yml unknown 22.8  12.2  580 unknown 8.08 4.83 245 true 15.1  8.37 310 unknown 36.0  19.8  795 true 11.9  6.81 296
loop-invgen/SpamAssassin-loop.yml timeout 901    800    3960 unknown 8.03 4.74 216 true 11.4  6.63 293 unknown 10.2  5.95 249 true 10.9  6.43 290
loop-invgen/apache-escape-absolute.i.v+cfa-reducer.yml timeout 901    850    3490 unknown 8.55 5.07 250 true 18.3  10.3  353 unknown 12.4  7.01 324 true 16.9  9.49 372
loop-invgen/apache-escape-absolute.yml timeout 901    799    3930 unknown 8.41 5.06 233 true 12.2  7.00 298 unknown 9.56 5.59 243 true 12.0  6.94 305
loop-invgen/apache-get-tag.i.p+lhb-reducer.yml timeout 901    863    3060 unknown 11.4  6.43 291 true 17.3  9.91 343 unknown 19.1  10.2  469 true 17.0  9.78 332
loop-invgen/apache-get-tag.i.p+nlh-reducer.yml timeout 901    873    2970 unknown 19.3  10.5  470 true 38.7  22.5  546 unknown 36.0  21.9  1450 true 34.2  20.6  531
loop-invgen/apache-get-tag.i.p+sep-reducer.yml timeout 901    871    2970 unknown 29.5  17.9  1080 true 62.6  37.7  960 unknown 35.1  19.8  943 true 65.9  39.7  1030
loop-invgen/apache-get-tag.i.v+lhb-reducer.yml timeout 901    850    3240 unknown 9.27 5.39 249 true 14.4  8.07 319 unknown 10.6  6.09 275 true 12.8  7.28 296
loop-invgen/apache-get-tag.i.v+nlh-reducer.yml timeout 901    851    3290 unknown 9.00 5.24 245 true 14.0  7.96 318 unknown 14.0  7.79 374 true 12.8  7.38 294
loop-invgen/apache-get-tag.yml timeout 901    796    3970 unknown 8.20 4.85 222 true 9.66 5.76 266 unknown 8.52 4.99 221 true 10.7  6.19 278
loop-invgen/down.yml timeout 900    815    3170 unknown 6.59 4.05 179 timeout 900    738    2950 unknown 6.99 4.33 188 timeout 900    734    2960
loop-invgen/fragtest_simple.yml timeout 900    818    3170 unknown 7.22 4.37 188 timeout 901    752    2940 unknown 6.94 4.23 184 timeout 900    746    2950
loop-invgen/half_2.yml timeout 901    807    3230 unknown 7.98 4.73 200 timeout 901    763    1960 unknown 7.71 4.66 184 timeout 901    765    1900
loop-invgen/heapsort.yml unknown 29.9  16.1  544 unknown 7.38 4.48 186 true 51.2  31.4  594 unknown 45.1  28.4  555 true 35.3  21.2  551
loop-invgen/id_build.i.p+nlh-reducer.yml timeout 901    870    2930 unknown 13.4  7.33 297 true 15.0  8.36 344 unknown 20.2  10.9  538 true 15.5  8.61 339
loop-invgen/id_build.i.p+sep-reducer.yml unknown 21.6  11.5  644 unknown 12.5  6.82 379 true 15.7  8.62 354 unknown 27.4  14.5  638 true 14.7  8.16 341
loop-invgen/id_build.i.v+lhb-reducer.yml timeout 901    841    3410 unknown 8.08 4.71 188 true 8.19 4.94 221 unknown 7.21 4.37 181 true 8.30 4.90 210
loop-invgen/id_build.yml timeout 901    796    3600 unknown 6.81 4.20 187 true 7.51 4.53 203 unknown 7.61 4.56 187 true 7.00 4.41 197
loop-invgen/id_trans.yml timeout 901    778    1180 unknown 9.68 5.52 268 false 8.08 4.87 209 unknown 10.1  5.84 234 false 7.60 4.63 205
loop-invgen/large_const.yml timeout 901    833    3420 unknown 7.59 4.58 186 true 11.1  6.50 293 unknown 7.82 4.67 191 true 11.9  6.83 285
loop-invgen/nest-if3.yml unknown 7.59 4.56 185 unknown 7.04 4.37 187 true 7.69 4.83 197 unknown 7.90 4.77 197 true 7.13 4.40 191
loop-invgen/nested6.yml timeout 901    802    3490 unknown 7.77 4.65 189 true 10.5  6.08 267 unknown 7.24 4.40 190 true 11.6  6.70 302
loop-invgen/nested9.yml timeout 900    823    2980 unknown 7.12 4.27 192 true 11.4  6.52 275 unknown 7.75 4.63 189 true 11.2  6.70 298
loop-invgen/sendmail-close-angle.yml timeout 901    794    4180 unknown 8.55 4.90 196 true 21.3  12.6  402 unknown 8.27 4.89 202 true 24.6  15.2  458
loop-invgen/seq-3.yml timeout 900    820    3150 unknown 7.86 4.63 190 timeout 900    789    2460 unknown 7.10 4.36 189 timeout 900    746    2250
loop-invgen/string_concat-noarr.yml timeout 901    808    3230 timeout 900    772    6390 timeout 900    797    1920 unknown 6.94 4.27 184 timeout 900    736    7710
loop-invgen/up.yml timeout 901    814    3200 unknown 6.69 4.16 185 timeout 900    745    2530 unknown 6.63 4.03 186 timeout 901    741    2780
loop-lit/afnp2014.yml timeout 900    823    3280 unknown 6.94 4.24 186 true 9.28 5.53 232 unknown 7.09 4.32 189 true 9.09 5.32 238
loop-lit/bhmr2007.yml timeout 901    831    3400 unknown 7.42 4.32 187 true 11.9  6.80 290 unknown 6.84 4.31 179 true 12.3  7.20 294
loop-lit/cggmp2005.yml timeout 901    802    3250 unknown 6.91 4.32 174 true 9.81 5.38 265 unknown 6.88 4.24 178 true 9.91 5.78 265
loop-lit/cggmp2005_variant.yml timeout 901    801    3480 unknown 6.50 4.06 178 true 10.2  6.00 253 unknown 7.49 4.52 183 true 10.7  6.10 269
loop-lit/cggmp2005b.yml timeout 901    808    2990 unknown 6.94 4.25 178 true 8.75 5.12 226 true 6.56 4.00 188 true 8.41 5.11 222
loop-lit/css2003.yml timeout 901    805    3580 unknown 7.62 4.68 192 true 7.62 4.68 205 unknown 6.76 4.17 176 true 7.39 4.46 199
loop-lit/ddlm2013.yml timeout 901    833    3240 timeout 901    863    3740 true 16.2  9.99 308 unknown 6.81 4.22 190 timeout 902    770    6490
loop-lit/gcnr2008.yml timeout 901    830    3280 unknown 7.36 4.48 185 false 7.57 4.49 194 unknown 6.71 4.19 186 false 7.17 4.31 190
loop-lit/gj2007.c.i.p+lhb-reducer.yml timeout 900    826    3100 unknown 7.41 4.37 189 true 163    111    872 unknown 7.67 4.46 189 true 329    256    920
loop-lit/gj2007.c.i.p+nlh-reducer.yml timeout 901    823    3130 unknown 9.67 5.55 232 true 300    231    776 unknown 10.4  5.98 272 true 441    348    792
loop-lit/gj2007.yml timeout 901    807    3200 unknown 6.70 4.17 174 true 104    67.6  819 unknown 6.70 4.13 184 true 356    273    898
loop-lit/gj2007b.yml timeout 900    823    3220 unknown 6.71 4.16 189 true 10.0  5.87 257 unknown 7.28 4.32 187 true 10.1  5.86 258
loop-lit/gr2006.yml timeout 900    816    3120 unknown 7.18 4.39 185 true 177    128    1220 unknown 7.16 4.24 189 true 134    93.9  903
loop-lit/gsv2008.c.i.p+cfa-reducer.yml timeout 900    828    3160 unknown 7.30 4.52 186 true 8.21 4.91 205 unknown 6.52 4.08 182 true 7.58 4.60 216
loop-lit/gsv2008.c.i.v+cfa-reducer.yml timeout 900    826    3170 unknown 6.50 4.05 179 true 8.00 4.93 204 unknown 6.93 4.12 189 true 7.78 4.65 212
loop-lit/gsv2008.c.i.v+lhb-reducer.yml unknown 6.35 4.06 174 unknown 6.85 4.21 179 true 8.84 5.25 215 unknown 7.01 4.38 188 true 8.49 5.07 226
loop-lit/gsv2008.yml timeout 900    819    3190 unknown 7.06 4.30 187 true 8.25 4.91 214 unknown 6.45 4.10 175 true 8.09 4.84 213
loop-lit/hhk2008.yml timeout 900    812    3190 unknown 6.87 4.24 174 true 9.17 5.51 250 unknown 6.78 4.26 184 true 9.48 5.69 253
loop-lit/jm2006.c.i.v+cfa-reducer.yml unknown 7.01 4.18 187 unknown 6.61 4.10 185 true 10.9  6.21 282 unknown 6.75 4.10 176 true 11.2  6.54 296
loop-lit/jm2006.yml unknown 7.24 4.39 186 unknown 7.79 4.53 186 true 11.8  6.82 291 unknown 6.98 4.32 184 true 12.3  7.12 300
loop-lit/jm2006_variant.yml timeout 901    805    3420 unknown 7.16 4.35 185 true 11.4  6.68 294 unknown 6.84 4.27 184 true 12.0  7.10 303
loop-lit/mcmillan2006.yml timeout 900    808    1610 true 6.66 4.16 184 timeout 900    873    653 unknown 7.59 4.47 190 true 8.68 5.23 228
loop-new/count_by_1.yml timeout 901    801    3040 unknown 6.67 4.12 174 true 7.96 4.72 214 unknown 6.46 3.99 172 true 7.55 4.76 210
loop-new/count_by_1_variant.yml timeout 901    801    3580 unknown 7.19 4.24 178 true 8.92 4.95 250 unknown 6.66 4.06 177 true 11.4  6.73 300
loop-new/count_by_2.yml timeout 901    801    3030 unknown 6.85 4.24 173 timeout 900    743    2220 unknown 7.40 4.39 182 timeout 900    737    2190
loop-new/count_by_k.yml timeout 901    810    3010 unknown 6.60 4.15 187 timeout 901    789    1900 unknown 7.00 4.28 184 timeout 901    779    1940
loop-new/count_by_nondet.yml timeout 900    825    3510 unknown 7.14 4.34 187 timeout 900    748    2850 unknown 7.00 4.29 187 timeout 900    738    2620
loop-new/gauss_sum.i.p+cfa-reducer.yml timeout 900    829    3180 unknown 7.01 4.31 184 timeout 901    820    732 unknown 6.45 4.12 173 true 15.0  10.6  277
loop-new/gauss_sum.i.p+lhb-reducer.yml timeout 900    830    3180 unknown 7.25 4.37 189 timeout 900    800    1090 unknown 6.80 4.15 184 true 16.0  11.4  303
loop-new/gauss_sum.i.v+cfa-reducer.yml timeout 900    829    3180 unknown 7.25 4.41 176 timeout 901    822    670 unknown 6.50 4.21 184 true 17.2  12.5  273
loop-new/gauss_sum.yml timeout 900    822    3210 unknown 8.11 4.68 191 timeout 901    781    1080 unknown 7.51 4.46 184 true 18.4  13.0  305
loop-new/half.yml timeout 900    822    3020 unknown 8.19 4.81 244 true 15.1  8.71 298 unknown 7.00 4.31 185 true 16.9  9.47 331
loop-new/nested-1.yml timeout 900    813    3130 unknown 7.04 4.27 189 true 220    173    3070 unknown 6.98 4.36 187 true 33.1  19.7  609
loop-industry-pattern/aiob_4.c.v+cfa-reducer.yml timeout 900    816    3230 true 9.01 5.19 231 true 15.2  8.65 328 unknown 91.8  82.0  406 true 10.7  6.08 263
loop-industry-pattern/aiob_4.c.v+lh-reducer.yml timeout 900    820    3870 true 8.62 5.03 230 true 14.4  8.25 333 unknown 97.4  84.7  428 true 10.4  5.92 262
loop-industry-pattern/aiob_4.c.v+lhb-reducer.yml unknown 50.0  39.4  424 true 9.11 5.20 250 true 55.6  41.1  738 unknown 50.7  40.2  493 true 15.8  8.69 329
loop-industry-pattern/aiob_4.c.v+nlh-reducer.yml unknown 53.0  41.7  522 true 12.6  6.84 310 true 66.5  53.3  611 unknown 58.2  44.5  507 true 70.9  57.9  598
loop-industry-pattern/mod3.c.v+cfa-reducer.yml unknown 7.55 4.58 188 unknown 7.27 4.39 197 true 8.05 4.83 207 unknown 7.51 4.54 190 true 7.94 4.79 207
loop-industry-pattern/mod3.c.v+lhb-reducer.yml timeout 901    855    3290 unknown 10.7  5.89 294 true 8.75 5.13 211 unknown 9.39 5.52 247 true 8.42 4.91 204
loop-industry-pattern/mod3.c.v+sep-reducer.yml timeout 901    848    3440 unknown 10.8  6.04 300 true 8.34 5.03 207 unknown 8.62 5.21 210 true 8.41 4.92 204
loop-industry-pattern/mod3.yml unknown 7.17 4.43 187 unknown 8.42 4.93 228 true 7.98 4.87 214 unknown 6.93 4.24 188 true 8.33 5.05 218
loop-industry-pattern/nested-3.yml timeout 900    827    2960 unknown 7.90 4.68 241 timeout 901    831    3780 unknown 8.18 4.90 190 true 36.1  22.2  552
loop-industry-pattern/ofuf_1.yml error: exception 9.03 5.24 216 true 9.74 5.45 224 true 10.5  5.96 270 error: exception 8.85 5.08 219 true 10.7  6.11 270
loop-industry-pattern/ofuf_2.yml error: exception 8.59 5.07 218 true 8.90 5.16 222 true 10.4  5.91 267 error: exception 8.72 5.12 219 true 10.8  6.09 275
loop-industry-pattern/ofuf_3.yml error: exception 8.59 5.00 215 true 8.75 5.05 218 true 10.4  5.99 272 error: exception 8.33 4.84 209 true 10.5  6.08 272
loop-industry-pattern/ofuf_4.yml error: exception 8.52 5.01 216 true 9.12 5.31 222 true 10.7  6.07 262 error: exception 9.04 5.12 212 true 10.7  6.10 262
loop-industry-pattern/ofuf_5.yml error: exception 9.12 5.22 216 true 9.13 5.17 221 true 10.6  6.16 272 error: exception 8.50 4.81 210 true 10.4  5.85 267
loops-crafted-1/Mono1_1-1.yml timeout 901    809    3020 unknown 7.15 4.29 177 timeout 900    885    458 unknown 6.61 4.14 178 timeout 900    875    498
loops-crafted-1/Mono1_1-2.yml timeout 901    810    3020 unknown 6.68 4.10 176 timeout 900    885    443 unknown 6.60 4.13 179 timeout 900    878    454
loops-crafted-1/Mono3_1.yml timeout 901    814    3090 unknown 7.45 4.63 187 timeout 900    883    483 unknown 6.27 4.04 174 timeout 900    871    475
loops-crafted-1/Mono4_1.yml timeout 901    809    3200 unknown 6.98 4.30 180 timeout 901    811    2940 unknown 6.91 4.30 187 timeout 900    751    2500
loops-crafted-1/Mono5_1.yml timeout 901    813    2990 unknown 7.29 4.40 186 timeout 900    885    483 unknown 6.65 4.17 175 timeout 901    845    525
loops-crafted-1/Mono6_1.yml timeout 900    826    3000 unknown 7.32 4.40 183 timeout 900    886    472 unknown 6.45 3.99 187 timeout 901    823    803
loops-crafted-1/nested3-1.yml timeout 901    835    3510 unknown 13.0  7.14 454 timeout 900    885    458 unknown 9.46 5.60 250 timeout 901    862    819
loops-crafted-1/nested3-2.yml timeout 901    803    3140 unknown 12.5  7.16 486 timeout 900    883    430 unknown 8.70 5.11 243 timeout 901    880    521
loops-crafted-1/nested5-1.yml timeout 901    812    3030 unknown 12.6  7.13 364 true 26.8  22.2  288 unknown 9.21 5.24 221 true 24.1  18.1  323
loops-crafted-1/nested5-2.yml timeout 901    810    3010 unknown 13.8  7.68 435 timeout 900    888    495 unknown 9.05 5.37 216 timeout 900    881    500
loop-invariants/bin-suffix-5.yml timeout 901    808    3210 error: exception 6.51 3.94 179 unknown: overapproxcex 6.66 4.21 177 unknown 6.59 4.11 173 unknown: overapproxcex 6.98 4.35 179
loop-invariants/const.yml timeout 901    788    3050 unknown 6.86 4.26 186 true 7.40 4.62 195 unknown 6.83 4.28 178 true 7.59 4.66 195
loop-invariants/eq1.yml unknown 6.93 4.17 190 unknown 6.57 4.09 183 true 7.25 4.46 194 unknown 6.91 4.17 184 true 6.83 4.33 191
loop-invariants/eq2.yml unknown 7.14 4.18 186 unknown 6.47 4.06 188 true 7.24 4.41 196 unknown 6.58 4.01 189 true 7.62 4.67 197
loop-invariants/even.yml timeout 901    808    3230 unknown 11.5  6.47 337 true 7.09 4.44 198 unknown 6.96 4.19 174 true 7.93 4.75 195
loop-invariants/mod4.yml timeout 901    806    3240 unknown 11.6  6.55 353 true 7.68 4.61 201 unknown 6.83 4.12 175 true 7.10 4.39 193
loop-invariants/odd.yml timeout 901    808    3220 unknown 9.12 5.34 273 true 13.8  10.6  225 unknown 6.51 4.05 182 true 11.5  8.46 217
nla-digbench/bresenham.yml timeout 900    820    3240 unknown 7.01 4.36 187 timeout 900    891    491 unknown 7.39 4.35 184 true 102    92.1  404
nla-digbench/cohencu.yml timeout 901    779    3040 unknown 6.62 4.16 189 timeout 900    892    395 unknown 34.1  29.3  259 true 101    91.1  416
nla-digbench/cohendiv.yml timeout 901    800    3590 unknown 7.12 4.42 185 true 15.3  8.39 324 unknown 8.66 5.18 242 true 12.1  7.14 299
nla-digbench/dijkstra.yml timeout 900    825    3020 unknown 7.03 4.34 180 timeout 900    891    888 unknown 29.9  25.5  255 out of memory 407    283    8000
nla-digbench/divbin.yml timeout 900    824    3010 unknown 6.98 4.29 188 error: exception 37.1  33.4  2340 unknown 7.12 4.36 190 error: exception 85.1  77.1  855
nla-digbench/egcd.yml unknown 8.44 5.08 199 unknown 6.96 4.33 189 true 65.3  58.3  335 unknown 8.24 4.91 212 true 14.3  7.91 319
nla-digbench/egcd2.yml timeout 901    803    3790 unknown 6.53 4.12 174 true 641    611    1520 unknown 8.96 5.33 244 true 880    845    3580
nla-digbench/egcd3.yml timeout 901    793    3830 unknown 7.71 4.62 191 timeout 901    843    3050 unknown 8.45 5.03 244 timeout 900    878    1380
nla-digbench/fermat1.yml timeout 901    801    3380 unknown 11.2  6.29 303 true 25.2  21.8  254 unknown 8.72 5.06 221 true 84.9  79.6  346
nla-digbench/fermat2.yml timeout 901    804    3370 unknown 9.88 5.69 277 true 83.2  79.3  515 unknown 7.22 4.37 186 true 27.1  20.2  363
nla-digbench/freire1.yml timeout 901    803    3180 error: exception 6.56 4.02 185 unknown: overapproxcex 7.00 4.29 183 unknown 6.81 4.13 187 error: exception 7.91 4.74 211
nla-digbench/freire2.yml unknown 7.41 4.54 192 error: exception 7.06 4.31 175 unknown: overapproxcex 7.05 4.29 200 unknown 7.59 4.58 189 error: exception 8.17 4.93 214
nla-digbench/geo1.yml timeout 900    884    449 unknown 7.54 4.58 190 true 7.94 4.79 208 unknown 6.71 4.19 183 true 8.97 5.33 242
nla-digbench/geo2.yml timeout 901    800    3530 unknown 7.29 4.30 183 true 15.7  11.7  256 unknown 7.24 4.31 186 true 9.31 5.63 257
nla-digbench/geo3.yml timeout 901    798    3440 unknown 7.58 4.52 193 true 25.0  21.0  262 unknown 7.14 4.36 189 true 9.27 5.63 258
nla-digbench/hard.yml timeout 901    792    3580 unknown 7.54 4.55 194 timeout 900    884    1890 unknown 8.11 4.91 210 timeout 900    888    1250
nla-digbench/lcm1.yml timeout 901    804    3420 unknown 6.99 4.31 185 true 29.8  23.6  344 unknown 8.10 4.91 215 true 14.5  9.15 338
nla-digbench/lcm2.yml timeout 900    879    489 unknown 9.03 5.10 208 true 791    784    346 unknown 8.82 5.91 257 true 8.92 5.27 250
nla-digbench/mannadiv.yml timeout 900    810    3370 unknown 7.13 4.34 186 true 9.52 5.55 256 unknown 6.88 4.25 186 true 10.3  6.05 274
nla-digbench/prod4br.yml timeout 901    845    3100 unknown 12.5  7.05 400 true 115    103    525 unknown 8.79 5.17 241 true 19.5  11.1  446
nla-digbench/prodbin.yml timeout 900    816    3580 unknown 7.83 4.56 191 error: exception 506    493    2400 unknown 7.08 4.46 186 true 123    114    723
nla-digbench/ps2.yml timeout 900    809    3490 unknown 6.59 4.06 174 true 9.42 5.61 251 unknown 6.79 4.22 185 true 8.85 5.33 252
nla-digbench/ps3.yml timeout 901    853    2130 unknown 7.21 4.41 188 true 9.37 5.73 259 unknown 6.84 4.23 189 true 9.24 5.51 260
nla-digbench/ps4.yml timeout 900    811    3350 unknown 7.22 4.37 188 timeout 900    876    573 unknown 7.33 4.34 185 true 94.7  89.0  304
nla-digbench/ps5.yml timeout 901    868    527 unknown 6.93 4.21 187 timeout 900    892    475 unknown 7.61 4.61 201 true 172    165    312
nla-digbench/ps6.yml timeout 901    825    3260 unknown 8.14 4.80 189 timeout 900    878    501 unknown 7.52 4.70 206 true 102    96.5  331
nla-digbench/sqrt1.yml timeout 901    799    3590 unknown 8.01 4.69 218 true 11.8  6.72 296 unknown 7.34 4.53 191 true 10.6  6.14 289
../../../../trunk/examples/svcomp/ status cputime (s) walltime (s) memory (MB) status cputime (s) walltime (s) memory (MB) status cputime (s) walltime (s) memory (MB) status cputime (s) walltime (s) memory (MB) status cputime (s) walltime (s) memory (MB)
total 230 167000 151000 554000 230 7860 6360 91500 230 62600 58400 128000 230 4060 3240 52300 230 39300 35400 134000
Run set Sifa INT.Loops AbsInt INT.Loops Automizer.Loops Sifa INT.Loops Taipan INT.Loops