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