Tool ULTIMATE Automizer 0.1.24-c6af20d0
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
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 timeout 901    832    1490 true 11.1  6.47 259 true 8.96 5.34 246 true 6.93 4.20 186
loops/array-2.yml timeout 901    831    1540 false 8.48 5.06 204 false 8.36 5.02 203 true 6.95 4.43 186
loops/bubble_sort-2.yml error: exception 64.0  42.9  826 false 13.1  7.12 266 false 12.4  6.88 272 true 8.99 5.23 223
loops/count_up_down-1.yml timeout 901    796    3270 timeout 900    880    475 timeout 901    864    489 unknown 7.09 4.30 182
loops/count_up_down-2.yml timeout 901    795    3280 false 6.92 4.42 177 false 7.18 4.61 183 unknown 6.89 4.21 178
loops/eureka_01-1.yml timeout 900    814    1230 false 281    253    728 true 9.77 5.67 240 true 7.58 4.60 192
loops/eureka_01-2.yml timeout 900    808    1230 timeout 901    864    1020 true 9.52 5.69 252 true 7.60 4.56 185
loops/eureka_05.yml timeout 901    779    2400 timeout 900    867    1150 true 8.42 5.06 210 true 6.89 4.39 184
loops/for_bounded_loop1.yml timeout 901    800    4010 false 8.09 4.90 219 false 8.40 5.04 217 unknown 7.03 4.34 187
loops/for_infinite_loop_1.yml timeout 901    803    3590 true 6.98 4.39 191 true 7.27 4.55 195 unknown 7.06 4.24 186
loops/for_infinite_loop_2.yml timeout 900    805    3570 true 7.73 4.63 191 true 7.59 4.56 189 unknown 7.28 4.46 184
loops/heavy-2.yml timeout 900    815    3020 true 10.7  5.90 286 timeout 901    798    7310 timeout 901    795    7480
loops/insertion_sort-1.yml timeout 900    817    3060 false 461    417    794 true 8.94 5.33 250 true 6.94 4.31 189
loops/insertion_sort-2.yml timeout 900    813    3010 timeout 901    833    1300 true 9.55 5.72 253 true 6.88 4.21 185
loops/invert_string-1.yml timeout 901    773    1240 false 27.6  17.3  426 true 9.93 5.91 259 true 6.65 4.15 189
loops/invert_string-3.yml timeout 901    775    1020 true 279    257    565 true 9.66 5.71 230 true 7.26 4.31 178
loops/linear_sea.ch.yml timeout 900    828    3110 error: exception 169    157    459 true 9.86 5.88 254 true 7.02 4.20 190
loops/linear_search.yml timeout 900    812    3050 error: exception 80.5  65.9  549 true 9.42 5.51 263 true 7.15 4.36 190
loops/lu.cmp.yml unknown 7.98 4.79 196 true 8.78 5.22 219 true 14.7  8.05 395 true 12.9  7.21 322
loops/ludcmp.yml unknown 8.53 5.01 199 unknown: overapproxcex 15.2  8.74 334 true 16.1  8.81 437 true 12.2  6.87 324
loops/matrix-1.yml timeout 901    851    1090 true 17.3  10.8  336 true 8.63 5.08 217 true 6.93 4.26 185
loops/matrix-2.yml timeout 900    819    2990 false 8.51 5.12 226 true 8.65 5.20 229 true 7.21 4.38 189
loops/n.c11.yml timeout 900    809    2270 true 10.9  6.28 259 true 11.1  6.41 282 unknown 7.12 4.31 188
loops/n.c24.yml timeout 901    799    4820 timeout 901    788    2860 true 9.32 5.37 227 true 7.38 4.50 193
loops/n.c40.yml timeout 901    774    832 error: exception 7.34 4.55 196 true 9.05 5.42 231 true 8.42 5.04 195
loops/nec11.yml timeout 900    800    3040 false 7.54 4.49 190 false 6.97 4.22 192 unknown 6.76 4.17 185
loops/nec20.yml timeout 901    808    3250 false 7.36 4.59 193 false 7.83 4.67 193 unknown 6.95 4.26 190
loops/nec40.yml timeout 901    780    984 error: exception 8.08 4.85 198 true 9.65 5.55 234 true 7.62 4.55 184
loops/s3.yml error: exception 7.73 4.23 179 error: exception 7.65 4.12 186 unknown: overapproxcex 36.4  20.9  572 true 11.0  6.12 260
loops/string-1.yml timeout 900    813    3040 true 11.0  6.46 270 true 8.67 5.06 216 true 6.84 4.20 190
loops/string-2.yml timeout 900    810    3050 unknown: overapproxcex 10.6  6.19 267 true 8.67 5.12 217 true 7.04 4.26 186
loops/sum01-1.yml unknown 7.28 4.32 190 false 13.4  7.74 306 false 15.4  8.89 318 unknown 7.66 4.64 196
loops/sum01-2.yml timeout 901    824    3200 true 11.1  6.53 275 true 11.8  6.77 295 unknown 7.78 4.63 192
loops/sum01_bug02.yml unknown 6.71 4.18 179 false 13.8  7.87 302 false 15.6  8.81 343 unknown 7.66 4.66 197
loops/sum01_bug02_sum01_bug02_base.case.yml unknown 6.72 4.13 179 false 10.6  6.21 269 false 12.6  7.36 296 unknown 7.29 4.55 189
loops/sum03-1.yml timeout 901    807    3190 false 246    238    351 false 173    164    409 unknown 8.07 4.68 230
loops/sum03-2.yml timeout 901    806    3330 true 7.81 4.68 193 true 8.22 4.92 199 unknown 7.38 4.31 187
loops/sum04-1.yml timeout 901    808    3030 false 9.19 5.54 251 false 9.25 5.73 260 unknown 6.74 4.30 175
loops/sum04-2.yml timeout 900    819    3190 true 11.0  6.55 289 true 12.2  7.11 299 unknown 6.55 4.07 171
loops/sum_array-1.yml timeout 901    833    1190 false 8.99 5.26 219 false 9.78 5.61 217 true 6.91 4.27 186
loops/sum_array-2.yml timeout 901    829    1180 timeout 901    860    1570 true 12.5  7.14 263 true 7.03 4.24 187
loops/terminator_01.yml unknown 7.47 4.46 192 false 7.16 4.39 192 false 7.31 4.37 192 true 6.61 4.08 184
loops/terminator_02-1.yml unknown 6.80 4.16 185 false 7.14 4.43 194 false 6.83 4.21 179 unknown 7.17 4.24 183
loops/terminator_02-2.yml unknown 7.07 4.21 180 true 8.03 4.80 208 true 8.32 4.94 204 unknown 7.70 4.64 191
loops/terminator_03-1.yml timeout 901    810    3010 false 7.42 4.56 195 false 7.17 4.42 191 unknown 7.43 4.52 188
loops/terminator_03-2.yml true 6.51 4.08 186 true 7.30 4.49 199 true 8.05 4.84 197 unknown 6.83 4.21 185
loops/trex01-1.yml timeout 900    823    3000 false 7.72 4.58 181 false 7.49 4.49 195 out of memory 885    733    8000
loops/trex01-2.yml timeout 900    823    3000 true 7.60 4.64 199 true 7.67 4.60 198 unknown 7.69 4.69 190
loops/trex02-1.yml true 7.38 4.50 189 true 7.35 4.47 194 true 7.36 4.46 195 unknown 7.02 4.32 189
loops/trex02-2.yml unknown 7.28 4.51 186 false 6.90 4.32 188 false 6.51 4.16 177 unknown 7.12 4.50 178
loops/trex03-1.yml unknown 7.22 4.37 194 false 7.16 4.31 194 false 7.55 4.49 194 unknown 7.25 4.27 196
loops/trex03-2.yml unknown 6.89 4.24 184 true 7.58 4.59 194 true 7.77 4.66 186 unknown 7.28 4.43 189
loops/trex04.yml timeout 901    802    3030 true 7.27 4.48 195 true 7.47 4.67 189 out of memory 621    455    8000
loops/veris.c_NetBSD-libc_loop.yml timeout 901    824    3100 true 8.49 5.00 213 true 7.86 4.76 209 true 6.74 4.22 188
loops/veris.c_OpenSER_cases1_stripFullBoth_arr.yml timeout 901    836    3210 true 8.92 5.30 235 true 8.58 5.05 224 true 7.81 4.66 187
loops/veris.c_sendmail_tTflag_arr_one_loop.yml timeout 901    809    3590 true 7.72 4.55 196 true 7.96 4.86 198 true 7.50 4.42 186
loops/verisec_NetBSD-libc_loop.yml timeout 900    823    3090 false 9.42 5.64 251 true 8.43 5.08 223 true 6.94 4.24 187
loops/verisec_OpenSER_cases1_stripFullBoth_arr.yml timeout 900    831    3320 false 16.6  9.12 336 true 11.9  6.74 297 true 7.35 4.52 196
loops/vogal-1.yml timeout 901    801    3300 error: exception 637    597    1170 true 8.66 5.12 217 true 6.85 4.18 186
loops/vogal-2.yml timeout 900    820    3270 timeout 901    844    2010 true 8.65 5.16 214 true 7.65 4.56 190
loops/while_infinite_loop_1.yml true 6.43 3.91 178 true 6.80 4.24 193 true 7.31 4.48 188 unknown 6.96 4.40 176
loops/while_infinite_loop_2.yml true 6.45 4.00 175 true 7.25 4.45 192 true 7.56 4.57 204 unknown 6.74 4.29 175
loops/while_infinite_loop_3.yml true 6.37 4.05 182 true 7.29 4.48 196 true 6.82 4.19 191 unknown 6.50 3.98 171
loops/while_infinite_loop_4.yml unknown 7.35 4.48 185 false 6.71 4.12 179 false 7.43 4.55 175 unknown 6.87 4.21 184
loop-acceleration/array_1-1.yml timeout 900    795    2000 timeout 901    866    619 true 7.79 4.72 201 true 7.13 4.34 184
loop-acceleration/array_1-2.yml timeout 900    800    1830 true 11.4  7.52 250 true 7.48 4.66 204 true 6.56 4.08 185
loop-acceleration/array_2-1.yml timeout 901    788    713 timeout 900    872    624 true 7.70 4.72 203 true 6.46 4.01 185
loop-acceleration/array_2-2.yml timeout 901    791    704 timeout 900    874    601 true 8.25 4.91 205 true 6.63 4.13 184
loop-acceleration/array_3-1.yml timeout 900    801    3060 true 7.72 4.72 214 true 7.74 4.72 223 true 7.09 4.28 185
loop-acceleration/array_3-2.yml timeout 900    815    3180 timeout 901    862    789 true 8.14 4.91 213 true 7.26 4.51 190
loop-acceleration/array_4.yml timeout 901    809    3230 timeout 901    865    759 true 8.17 4.99 217 true 6.94 4.25 184
loop-acceleration/const_1-1.yml timeout 901    805    3010 true 8.74 5.28 221 true 8.44 5.22 214 unknown 6.77 4.24 178
loop-acceleration/const_1-2.yml timeout 901    804    3040 timeout 900    876    495 timeout 900    883    417 unknown 7.02 4.37 177
loop-acceleration/diamond_1-1.yml timeout 900    818    3020 timeout 900    879    476 timeout 901    863    531 unknown 10.5  5.95 302
loop-acceleration/diamond_1-2.yml timeout 900    818    3040 timeout 900    877    458 timeout 901    856    560 unknown 9.05 5.07 274
loop-acceleration/diamond_2-2.yml timeout 900    814    3260 true 200    187    462 true 263    243    568 unknown 15.7  9.24 741
loop-acceleration/functions_1-1.yml timeout 901    793    3340 timeout 900    873    490 timeout 900    865    517 unknown 10.6  5.98 298
loop-acceleration/functions_1-2.yml timeout 901    792    3330 timeout 900    875    538 timeout 901    869    571 unknown 9.77 5.56 272
loop-acceleration/multivar_1-1.yml unknown 6.77 4.29 172 true 7.87 4.66 194 true 7.47 4.62 200 unknown 6.85 4.18 179
loop-acceleration/multivar_1-2.yml unknown 6.32 3.86 179 false 6.65 4.09 180 false 7.02 4.26 180 unknown 6.37 4.09 175
loop-acceleration/nested_1-1.yml timeout 900    821    3110 true 158    148    462 true 76.0  63.3  480 unknown 10.5  5.96 343
loop-acceleration/nested_1-2.yml timeout 900    822    3090 timeout 900    888    482 timeout 900    885    675 unknown 11.7  6.49 329
loop-acceleration/overflow_1-1.yml timeout 901    797    3060 timeout 900    886    429 timeout 901    876    533 unknown 10.2  5.83 282
loop-acceleration/phases_1-1.yml timeout 901    807    3070 timeout 900    888    461 timeout 900    880    578 unknown 9.78 5.55 277
loop-acceleration/phases_1-2.yml timeout 901    806    3050 timeout 900    888    398 timeout 900    885    473 unknown 10.4  5.96 282
loop-acceleration/phases_2-1.yml timeout 901    831    3000 false 7.07 4.30 190 false 7.49 4.59 180 unknown 7.86 4.69 198
loop-acceleration/phases_2-2.yml timeout 901    832    2990 true 15.1  11.4  252 true 20.1  14.4  299 unknown 7.13 4.36 183
loop-acceleration/simple_1-1.yml timeout 901    800    3040 timeout 900    885    479 timeout 901    877    517 unknown 10.0  5.72 273
loop-acceleration/simple_1-2.yml timeout 901    799    3030 timeout 900    884    450 timeout 900    876    437 unknown 10.9  6.14 272
loop-acceleration/simple_2-1.yml unknown 6.52 4.08 173 true 6.75 4.19 189 true 7.05 4.21 194 unknown 6.40 3.98 176
loop-acceleration/simple_2-2.yml unknown 6.76 4.13 181 false 6.58 4.13 176 false 6.17 3.92 175 unknown 7.43 4.44 179
loop-acceleration/simple_3-1.yml timeout 901    797    3050 false 6.42 3.99 176 false 6.68 4.07 180 unknown 9.57 5.46 270
loop-acceleration/simple_3-2.yml timeout 901    799    3030 true 7.16 4.40 199 true 7.14 4.38 194 unknown 10.0  5.81 269
loop-acceleration/simple_4-1.yml unknown 6.95 4.21 177 timeout 900    885    479 timeout 900    869    515 unknown 10.1  5.69 274
loop-acceleration/simple_4-2.yml unknown 7.18 4.45 177 true 8.03 4.83 219 true 9.52 5.56 265 unknown 9.52 5.43 292
loop-acceleration/underapprox_1-1.yml timeout 901    809    3250 false 10.9  6.43 295 false 11.7  6.75 297 unknown 7.12 4.45 180
loop-acceleration/underapprox_1-2.yml timeout 900    810    3220 true 165    157    925 true 85.5  77.3  361 unknown 8.67 5.15 274
loop-acceleration/underapprox_2-1.yml timeout 901    812    3220 false 9.71 5.84 256 false 10.6  6.37 293 unknown 6.66 4.18 172
loop-acceleration/underapprox_2-2.yml timeout 900    813    3230 true 8.63 5.20 241 true 11.0  6.49 276 unknown 6.74 4.19 175
loop-crafted/simple_array_index_value_1-1.yml timeout 901    841    948 timeout 901    876    491 true 9.77 6.70 227 true 8.92 6.25 204
loop-crafted/simple_array_index_value_1-2.yml timeout 901    829    1280 false 7.26 4.42 194 false 7.53 4.57 190 true 7.23 4.40 188
loop-crafted/simple_array_index_value_2.yml timeout 901    837    1150 timeout 900    878    560 true 7.41 4.61 211 true 7.30 4.44 189
loop-crafted/simple_array_index_value_3.yml timeout 901    834    1230 timeout 901    877    996 true 8.30 4.99 216 true 6.81 4.23 185
loop-crafted/simple_array_index_value_4.i.v+lhb-reducer.yml timeout 900    883    429 true 61.6  55.2  310 true 14.0  8.78 270 true 6.99 4.27 187
loop-crafted/simple_array_index_value_4.i.v+nlh-reducer.yml timeout 900    887    545 true 33.3  26.9  304 true 12.8  7.28 293 true 7.22 4.41 185
loop-crafted/simple_array_index_value_4.yml timeout 900    823    3340 true 83.7  77.7  308 true 11.2  6.39 257 true 6.84 4.24 184
loop-crafted/simple_vardep_1.yml timeout 901    801    3440 true 7.64 4.62 192 true 7.06 4.25 192 unknown 6.66 4.19 180
loop-crafted/simple_vardep_2.yml timeout 901    809    3530 true 7.74 4.67 207 true 7.74 4.65 211 unknown 7.88 4.60 193
loop-invgen/MADWiFi-encode_ie_ok.yml timeout 901    799    4130 true 9.33 5.57 255 true 9.49 5.61 263 unknown 7.98 4.66 187
loop-invgen/NetBSD_loop.yml timeout 901    794    4650 true 8.66 5.19 246 true 9.39 5.58 265 unknown 7.63 4.48 190
loop-invgen/SpamAssassin-loop.i.v+cfa-reducer.yml unknown 22.8  12.2  580 true 15.2  8.53 331 true 12.3  7.09 295 unknown 8.46 4.99 248
loop-invgen/SpamAssassin-loop.yml timeout 901    800    3960 true 11.5  6.72 291 true 10.7  6.22 288 unknown 7.50 4.58 212
loop-invgen/apache-escape-absolute.i.v+cfa-reducer.yml timeout 901    850    3490 true 18.7  10.5  363 true 17.8  9.93 355 unknown 8.95 5.26 246
loop-invgen/apache-escape-absolute.yml timeout 901    799    3930 true 12.4  7.07 297 true 12.0  6.84 294 unknown 8.96 5.23 231
loop-invgen/apache-get-tag.i.p+lhb-reducer.yml timeout 901    863    3060 true 16.8  9.74 343 true 16.0  9.29 325 unknown 12.0  6.58 293
loop-invgen/apache-get-tag.i.p+nlh-reducer.yml timeout 901    873    2970 true 34.5  20.0  560 true 36.0  21.4  543 unknown 17.8  9.62 474
loop-invgen/apache-get-tag.i.p+sep-reducer.yml timeout 901    871    2970 true 68.4  43.4  890 true 63.7  38.4  935 unknown 31.8  19.2  1120
loop-invgen/apache-get-tag.i.v+lhb-reducer.yml timeout 901    850    3240 true 13.9  7.83 309 true 13.8  7.76 291 unknown 9.18 5.36 248
loop-invgen/apache-get-tag.i.v+nlh-reducer.yml timeout 901    851    3290 true 13.3  7.68 316 true 13.5  7.71 294 unknown 9.80 5.65 248
loop-invgen/apache-get-tag.yml timeout 901    796    3970 true 9.78 5.85 265 true 10.3  6.04 269 unknown 8.61 5.11 223
loop-invgen/down.yml timeout 900    815    3170 timeout 901    741    2950 timeout 900    736    2960 unknown 6.96 4.33 186
loop-invgen/fragtest_simple.yml timeout 900    818    3170 timeout 901    749    2950 timeout 900    744    2950 unknown 7.25 4.45 187
loop-invgen/half_2.yml timeout 901    807    3230 timeout 901    765    1850 timeout 901    761    1780 unknown 7.82 4.68 198
loop-invgen/heapsort.yml unknown 29.9  16.1  544 true 54.8  32.9  636 true 32.1  20.4  570 unknown 7.95 4.69 192
loop-invgen/id_build.i.p+nlh-reducer.yml timeout 901    870    2930 true 15.0  8.26 329 true 14.9  8.21 363 unknown 13.2  7.30 295
loop-invgen/id_build.i.p+sep-reducer.yml unknown 21.6  11.5  644 true 14.9  8.23 340 true 14.1  7.92 334 unknown 14.3  7.77 363
loop-invgen/id_build.i.v+lhb-reducer.yml timeout 901    841    3410 true 8.42 5.00 218 true 7.92 4.81 209 unknown 7.09 4.31 189
loop-invgen/id_build.yml timeout 901    796    3600 true 7.19 4.45 201 true 7.29 4.48 196 unknown 7.55 4.59 177
loop-invgen/id_trans.yml timeout 901    778    1180 false 8.36 5.07 208 false 8.02 4.78 208 unknown 9.42 5.45 269
loop-invgen/large_const.yml timeout 901    833    3420 true 11.7  6.80 293 true 11.3  6.58 289 unknown 7.45 4.53 186
loop-invgen/nest-if3.yml unknown 7.59 4.56 185 true 7.12 4.44 195 true 6.98 4.43 191 unknown 7.05 4.22 188
loop-invgen/nested6.yml timeout 901    802    3490 true 10.8  6.28 264 true 12.6  7.22 301 unknown 7.91 4.69 190
loop-invgen/nested9.yml timeout 900    823    2980 true 11.0  6.43 279 true 11.9  6.82 298 unknown 7.05 4.25 186
loop-invgen/sendmail-close-angle.yml timeout 901    794    4180 true 21.6  12.9  426 true 24.2  15.0  403 unknown 8.28 4.98 200
loop-invgen/seq-3.yml timeout 900    820    3150 timeout 900    793    2800 timeout 900    745    1420 unknown 7.04 4.28 187
loop-invgen/up.yml timeout 901    814    3200 timeout 900    742    2800 timeout 900    742    2980 unknown 7.10 4.34 186
loop-lit/afnp2014.yml timeout 900    823    3280 true 8.98 5.24 230 true 9.47 5.54 244 unknown 6.75 4.14 183
loop-lit/bhmr2007.yml timeout 901    831    3400 true 11.5  6.63 292 true 12.3  7.15 299 unknown 6.89 4.29 193
loop-lit/cggmp2005.yml timeout 901    802    3250 true 9.74 5.66 259 true 9.65 5.67 261 unknown 6.66 4.18 171
loop-lit/cggmp2005_variant.yml timeout 901    801    3480 true 10.1  5.86 265 true 10.7  6.20 266 unknown 6.78 4.23 190
loop-lit/cggmp2005b.yml timeout 901    808    2990 true 8.34 5.04 228 true 8.19 5.01 224 unknown 6.95 4.19 187
loop-lit/css2003.yml timeout 901    805    3580 true 8.02 4.80 204 true 7.22 4.48 192 unknown 7.72 4.73 193
loop-lit/ddlm2013.yml timeout 901    833    3240 true 18.4  12.0  317 timeout 901    779    6560 timeout 901    861    3730
loop-lit/gcnr2008.yml timeout 901    830    3280 false 7.26 4.41 192 false 6.87 4.22 188 unknown 7.63 4.62 191
loop-lit/gj2007.c.i.p+lhb-reducer.yml timeout 900    826    3100 true 162    111    916 true 333    256    901 unknown 7.21 4.39 190
loop-lit/gj2007.c.i.p+nlh-reducer.yml timeout 901    823    3130 true 299    232    762 true 453    353    791 unknown 9.51 5.45 229
loop-lit/gj2007.yml timeout 901    807    3200 true 104    68.4  779 true 348    269    878 unknown 6.74 4.18 174
loop-lit/gj2007b.yml timeout 900    823    3220 true 9.39 5.54 259 true 9.49 5.67 257 unknown 7.15 4.37 184
loop-lit/gr2006.yml timeout 900    816    3120 true 180    128    1240 true 136    94.3  901 unknown 6.52 4.04 185
loop-lit/gsv2008.c.i.p+cfa-reducer.yml timeout 900    828    3160 true 7.73 4.73 204 true 7.81 4.68 211 unknown 7.00 4.30 186
loop-lit/gsv2008.c.i.v+cfa-reducer.yml timeout 900    826    3170 true 7.96 4.83 208 true 7.41 4.56 213 unknown 7.16 4.34 189
loop-lit/gsv2008.c.i.v+lhb-reducer.yml unknown 6.35 4.06 174 true 8.81 5.25 214 true 8.44 5.02 230 unknown 7.29 4.31 191
loop-lit/gsv2008.yml timeout 900    819    3190 true 8.12 4.86 209 true 7.75 4.75 217 unknown 7.38 4.38 187
loop-lit/hhk2008.yml timeout 900    812    3190 true 9.03 5.40 248 true 8.62 5.15 251 unknown 7.09 4.23 183
loop-lit/jm2006.c.i.v+cfa-reducer.yml unknown 7.01 4.18 187 true 11.3  6.50 289 true 11.4  6.53 295 unknown 6.79 4.14 190
loop-lit/jm2006.yml unknown 7.24 4.39 186 true 11.5  6.69 295 true 12.3  7.28 301 unknown 6.54 4.14 180
loop-lit/jm2006_variant.yml timeout 901    805    3420 true 12.2  7.02 296 true 12.2  7.10 299 unknown 7.21 4.36 184
loop-lit/mcmillan2006.yml timeout 900    808    1610 timeout 900    871    660 true 8.26 4.91 226 true 7.08 4.29 189
loop-new/count_by_1.yml timeout 901    801    3040 true 7.57 4.66 211 true 7.85 4.74 226 unknown 6.55 4.18 172
loop-new/count_by_1_variant.yml timeout 901    801    3580 true 9.36 5.59 262 true 11.1  6.50 298 unknown 7.12 4.32 178
loop-new/count_by_2.yml timeout 901    801    3030 timeout 900    742    2270 timeout 900    737    1990 unknown 6.80 4.15 179
loop-new/count_by_k.yml timeout 901    810    3010 timeout 901    785    1890 timeout 901    780    2000 unknown 6.73 4.26 186
loop-new/count_by_nondet.yml timeout 900    825    3510 timeout 900    743    2920 timeout 900    741    2770 unknown 6.72 4.15 188
loop-new/gauss_sum.i.p+cfa-reducer.yml timeout 900    829    3180 timeout 901    817    667 true 17.5  12.8  276 unknown 7.18 4.39 185
loop-new/gauss_sum.i.p+lhb-reducer.yml timeout 900    830    3180 timeout 900    799    1050 true 40.8  35.6  306 unknown 7.08 4.29 177
loop-new/gauss_sum.i.v+cfa-reducer.yml timeout 900    829    3180 timeout 901    821    629 true 23.3  18.9  277 unknown 7.37 4.41 180
loop-new/gauss_sum.yml timeout 900    822    3210 timeout 901    781    1200 true 18.5  13.0  303 unknown 7.51 4.45 188
loop-new/half.yml timeout 900    822    3020 true 15.3  8.89 314 true 16.4  9.53 313 unknown 7.76 4.57 234
loop-new/nested-1.yml timeout 900    813    3130 true 214    172    3010 true 33.8  19.9  599 unknown 6.75 4.22 187
loop-industry-pattern/aiob_4.c.v+cfa-reducer.yml timeout 900    816    3230 true 15.3  8.41 341 true 10.3  5.89 259 true 8.74 5.05 230
loop-industry-pattern/aiob_4.c.v+lh-reducer.yml timeout 900    820    3870 true 14.5  8.16 335 true 10.5  5.97 264 true 8.74 5.02 231
loop-industry-pattern/aiob_4.c.v+lhb-reducer.yml unknown 50.0  39.4  424 true 57.1  42.2  597 true 16.1  8.80 339 true 8.98 5.22 251
loop-industry-pattern/aiob_4.c.v+nlh-reducer.yml unknown 53.0  41.7  522 true 66.8  53.6  596 true 73.5  58.8  594 true 12.3  6.77 302
loop-industry-pattern/mod3.c.v+cfa-reducer.yml unknown 7.55 4.58 188 true 8.01 4.80 207 true 7.80 4.67 205 unknown 8.23 4.91 209
loop-industry-pattern/mod3.c.v+lhb-reducer.yml timeout 901    855    3290 true 8.40 5.00 207 true 8.32 4.91 205 unknown 10.3  5.86 289
loop-industry-pattern/mod3.c.v+sep-reducer.yml timeout 901    848    3440 true 8.76 5.10 209 true 8.52 4.98 203 unknown 9.96 5.65 292
loop-industry-pattern/mod3.yml unknown 7.17 4.43 187 true 7.92 4.79 215 true 8.72 5.23 221 unknown 8.43 4.90 229
loop-industry-pattern/nested-3.yml timeout 900    827    2960 timeout 901    838    3780 true 37.5  22.3  558 unknown 7.85 4.61 231
loop-industry-pattern/ofuf_1.yml error: exception 9.03 5.24 216 true 10.5  6.02 267 true 11.2  6.39 271 true 8.11 4.84 220
loop-industry-pattern/ofuf_2.yml error: exception 8.59 5.07 218 true 10.9  6.26 262 true 10.9  6.11 264 true 9.36 5.30 222
loop-industry-pattern/ofuf_3.yml error: exception 8.59 5.00 215 true 10.8  6.10 274 true 10.2  5.90 269 true 9.58 5.39 223
loop-industry-pattern/ofuf_4.yml error: exception 8.52 5.01 216 true 10.5  5.92 266 true 10.7  6.10 271 true 9.24 5.40 224
loop-industry-pattern/ofuf_5.yml error: exception 9.12 5.22 216 true 10.8  6.11 257 true 10.1  5.84 263 true 9.13 5.38 222
loops-crafted-1/Mono1_1-1.yml timeout 901    809    3020 timeout 900    889    467 timeout 901    873    516 unknown 6.74 4.19 175
loops-crafted-1/Mono1_1-2.yml timeout 901    810    3020 timeout 900    884    572 timeout 900    878    413 unknown 6.94 4.30 183
loops-crafted-1/Mono3_1.yml timeout 901    814    3090 timeout 900    884    425 timeout 900    871    465 unknown 6.71 4.16 186
loops-crafted-1/Mono4_1.yml timeout 901    809    3200 timeout 901    811    2930 timeout 900    750    2660 unknown 6.92 4.25 180
loops-crafted-1/Mono5_1.yml timeout 901    813    2990 timeout 900    886    477 timeout 901    847    589 unknown 6.98 4.30 189
loops-crafted-1/Mono6_1.yml timeout 900    826    3000 timeout 900    886    423 timeout 901    826    649 unknown 7.40 4.49 188
loops-crafted-1/nested3-1.yml timeout 901    835    3510 timeout 900    883    452 timeout 901    859    826 unknown 14.7  8.15 446
loops-crafted-1/nested3-2.yml timeout 901    803    3140 timeout 900    884    417 timeout 900    877    510 unknown 13.1  7.44 480
loops-crafted-1/nested5-1.yml timeout 901    812    3030 true 21.6  16.4  285 true 24.2  18.0  324 unknown 10.2  5.93 341
loops-crafted-1/nested5-2.yml timeout 901    810    3010 timeout 900    888    411 timeout 900    882    482 unknown 12.3  6.90 432
loop-invariants/bin-suffix-5.yml timeout 901    808    3210 unknown: overapproxcex 7.24 4.29 184 unknown: overapproxcex 7.01 4.28 177 error: exception 6.78 4.23 177
loop-invariants/const.yml timeout 901    788    3050 true 7.78 4.64 201 true 7.14 4.42 192 unknown 7.13 4.38 188
loop-invariants/eq1.yml unknown 6.93 4.17 190 true 7.30 4.47 192 true 7.30 4.52 195 unknown 7.29 4.33 178
loop-invariants/eq2.yml unknown 7.14 4.18 186 true 7.84 4.63 196 true 7.58 4.59 202 unknown 6.95 4.26 187
loop-invariants/even.yml timeout 901    808    3230 true 7.84 4.70 205 true 7.58 4.59 193 unknown 11.7  6.60 357
loop-invariants/mod4.yml timeout 901    806    3240 true 7.33 4.62 199 true 7.24 4.43 190 unknown 10.5  6.02 320
loop-invariants/odd.yml timeout 901    808    3220 true 16.5  13.0  227 true 11.7  8.60 217 unknown 10.8  6.14 308
nla-digbench/bresenham.yml timeout 900    820    3240 timeout 900    889    490 true 146    135    422 unknown 6.51 4.13 173
nla-digbench/cohencu.yml timeout 901    779    3040 timeout 900    891    413 true 105    95.8  433 unknown 6.91 4.34 178
nla-digbench/cohendiv.yml timeout 901    800    3590 true 16.2  9.21 320 true 11.6  7.05 300 unknown 7.13 4.39 187
nla-digbench/dijkstra.yml timeout 900    825    3020 timeout 900    888    1110 out of memory 412    298    8000 unknown 7.68 4.62 187
nla-digbench/divbin.yml timeout 900    824    3010 error: exception 40.1  36.2  2340 timeout 900    885    1040 unknown 6.95 4.26 186
nla-digbench/egcd.yml unknown 8.44 5.08 199 true 59.5  51.8  325 true 14.1  8.15 313 unknown 7.30 4.42 187
nla-digbench/egcd2.yml timeout 901    803    3790 true 597    565    1390 timeout 900    890    479 unknown 7.39 4.48 187
nla-digbench/egcd3.yml timeout 901    793    3830 timeout 901    837    3110 timeout 900    875    1290 unknown 7.33 4.46 193
nla-digbench/fermat1.yml timeout 901    801    3380 true 54.5  50.8  295 true 24.0  17.1  381 unknown 10.7  6.08 297
nla-digbench/fermat2.yml timeout 901    804    3370 true 17.8  14.2  237 true 23.6  18.4  310 unknown 11.2  6.30 307
nla-digbench/freire1.yml timeout 901    803    3180 unknown: overapproxcex 6.52 4.11 183 error: exception 7.94 4.75 211 error: exception 6.77 4.06 186
nla-digbench/freire2.yml unknown 7.41 4.54 192 unknown: overapproxcex 7.04 4.29 189 error: exception 8.08 4.92 215 error: exception 6.71 4.11 179
nla-digbench/geo1.yml timeout 900    884    449 true 7.56 4.64 211 true 8.21 5.02 238 unknown 7.23 4.43 190
nla-digbench/geo2.yml timeout 901    800    3530 true 15.6  11.5  260 true 9.08 5.41 256 unknown 7.51 4.60 189
nla-digbench/geo3.yml timeout 901    798    3440 true 24.8  20.9  267 true 9.86 5.84 257 unknown 7.71 4.62 194
nla-digbench/hard.yml timeout 901    792    3580 error: exception 470    456    2540 timeout 900    887    1590 unknown 7.26 4.42 193
nla-digbench/lcm1.yml timeout 901    804    3420 true 29.4  23.5  358 true 14.4  9.09 327 unknown 7.97 4.80 189
nla-digbench/lcm2.yml timeout 900    879    489 true 405    396    398 true 9.76 5.68 261 unknown 7.74 4.54 202
nla-digbench/mannadiv.yml timeout 900    810    3370 true 9.29 5.58 249 true 9.95 5.97 261 unknown 6.80 4.24 191
nla-digbench/prod4br.yml timeout 901    845    3100 true 107    89.4  515 true 20.4  11.5  410 unknown 13.4  7.38 388
nla-digbench/prodbin.yml timeout 900    816    3580 error: exception 410    396    2350 true 125    116    751 unknown 7.49 4.51 197
nla-digbench/ps2.yml timeout 900    809    3490 true 9.01 5.43 253 true 8.29 5.15 255 unknown 7.09 4.30 191
nla-digbench/ps3.yml timeout 901    853    2130 true 10.1  5.88 266 true 8.96 5.37 252 unknown 6.49 4.07 188
nla-digbench/ps4.yml timeout 900    811    3350 timeout 900    875    631 true 97.0  91.3  305 unknown 8.02 4.73 185
nla-digbench/ps5.yml timeout 901    868    527 timeout 900    892    456 true 161    155    322 unknown 6.99 4.20 175
nla-digbench/ps6.yml timeout 901    825    3260 timeout 900    877    502 true 121    116    328 unknown 6.53 4.08 176
nla-digbench/sqrt1.yml timeout 901    799    3590 true 11.9  6.83 296 true 10.9  6.35 280 unknown 9.23 5.28 225
../../../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 227 164000 149000 546000 227 59000 55000 124000 227 37500 33900 113000 227 5120 3930 76000
    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 (227 tasks, max score: 397) 0 0 0 0
Run set Sifa INT.Loops Automizer.Loops Taipan INT.Loops AbsInt INT.Loops