Tool ULTIMATE Automizer 0.1.23-b6335f6b
Limits timelimit: 300 s, memlimit: 8000 MB, CPU core limit: 2
Host struebli
OS Linux-4.16.18-gentoo-x86_64-AMD_EPYC_7351P_16-Core_Processor-with-gentoo-2.4.1
System CPU: AMD EPYC 7351P 16-Core Processor, cores: 32, frequency: 2400 MHz; RAM: 135158 MB
Date of execution 2018-10-23 09:24:52 CEST
Run set Automizer.Loops Taipan.Loops
Options -tc ../../../trunk/examples/toolchains/AutomizerCInline.xml -s ../../../trunk/examples/settings/default/automizer/svcomp-Reach-64bit-Automizer_Default.epf -tc ../../../trunk/examples/toolchains/AutomizerCInline.xml -s ../../../trunk/examples/settings/default/taipan/svcomp-Reach-64bit-Taipan_Default.epf
../../../trunk/examples/svcomp/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
loops/array_false-unreach-call_true-termination.i false 13.0  7.55 350253056 false 9.00 5.02 273301504
loops/bubble_sort_false-unreach-call.i false 14.5  8.05 390975488 false 16.3  8.78 396587008
loops/count_up_down_false-unreach-call_true-termination.i false 7.56 4.29 253255680 false 7.94 4.58 250060800
loops/eureka_01_false-unreach-call_true-termination.i timeout (error (143)) 301    258    1619169280 timeout (error (143)) 321    269    5665181696
loops/for_bounded_loop1_false-unreach-call_true-termination.i false 11.3  6.33 319205376 false 12.3  6.97 334462976
loops/insertion_sort_false-unreach-call_true-termination.i false 169    131    1380216832 timeout (error (143)) 303    265    1953607680
loops/invert_string_false-unreach-call_true-termination.i false 28.6  18.2  868253696 error: exception 150    120    2825928704
loops/linear_search_false-unreach-call.i timeout (error (143)) 300    278    1135894528 timeout (error (143)) 301    250    2536202240
loops/ludcmp_false-unreach-call.i timeout (error (143)) 311    246    5006249984 timeout (error (143)) 306    255    5407297536
loops/matrix_false-unreach-call_true-termination.i false 10.7  5.98 302145536 false 14.7  8.08 588619776
loops/n.c24_false-unreach-call.i timeout (error (143)) 300    243    2286923776 timeout (error (143)) 301    231    2558767104
loops/nec11_false-unreach-call_false-termination.i false 7.82 4.53 252866560 false 8.02 4.48 256176128
loops/nec20_false-unreach-call_true-termination.i false 8.38 4.81 261419008 false 8.44 4.75 263548928
loops/s3_false-unreach-call.i unknown: overapproxcex 87.3  53.6  1510645760 unknown: overapproxcex 44.7  24.6  1031118848
loops/string_false-unreach-call_true-termination.i unknown: overapproxcex 14.4  7.99 422182912 unknown: overapproxcex 19.3  10.9  819572736
loops/sum01_bug02_false-unreach-call_true-termination.i false 16.8  10.2  579448832 false 22.5  13.5  811126784
loops/sum01_bug02_sum01_bug02_base.case_false-unreach-call_true-termination.i false 13.4  7.77 420724736 false 16.7  9.84 551571456
loops/sum01_false-unreach-call_true-termination.i false 17.2  10.2  583802880 false 21.5  12.9  780812288
loops/sum03_false-unreach-call_true-termination.i false 211    201    767373312 false 27.9  16.2  802054144
loops/sum04_false-unreach-call_true-termination.i false 11.1  6.20 316993536 false 14.4  8.16 425431040
loops/sum_array_false-unreach-call.i false 10.9  6.00 274186240 false 10.9  5.89 275120128
loops/terminator_01_false-unreach-call_true-termination.i false 8.82 4.82 255623168 false 8.45 4.65 273461248
loops/terminator_02_false-unreach-call_true-termination.i false 7.58 4.22 259682304 false 7.72 4.30 256528384
loops/terminator_03_false-unreach-call_true-termination.i false 7.97 4.53 253808640 false 8.48 4.68 267649024
loops/trex01_false-unreach-call_true-termination.i false 8.21 4.54 264364032 false 8.27 4.62 264957952
loops/trex02_false-unreach-call_true-termination.i false 7.60 4.22 258965504 false 7.67 4.39 261214208
loops/trex03_false-unreach-call_true-termination.i false 7.88 4.35 256118784 false 7.57 4.33 261582848
loops/verisec_NetBSD-libc__loop_false-unreach-call_true-termination.i false 10.3  5.72 283410432 false 14.6  8.28 602460160
loops/verisec_OpenSER__cases1_stripFullBoth_arr_false-unreach-call_true-termination.i false 22.5  13.4  773312512 false 82.6  49.3  2857295872
loops/vogal_false-unreach-call.i timeout (error (143)) 301    259    1703813120 timeout (error (143)) 301    256    3144892416
loops/while_infinite_loop_4_false-unreach-call_true-termination.i false 7.68 4.33 245161984 false 7.67 4.30 259424256
loops/array_true-unreach-call_true-termination.i true 21.4  15.0  448315392 true 15.7  8.88 519258112
loops/bubble_sort_true-unreach-call_true-termination.i true 8.35 4.64 259653632 true 8.08 4.54 266989568
loops/count_up_down_true-unreach-call_true-termination.i true 10.7  6.01 290701312 true 13.8  7.76 359084032
loops/eureka_01_true-unreach-call.i timeout (error (143)) 303    267    1746616320 timeout (error (143)) 302    228    2939604992
loops/eureka_05_true-unreach-call_true-termination.i timeout (error (143)) 301    264    1319485440 timeout (error (143)) 303    259    1731096576
loops/for_infinite_loop_1_true-unreach-call_false-termination.i true 7.88 4.50 264105984 true 8.36 4.65 263421952
loops/for_infinite_loop_2_true-unreach-call_false-termination.i true 8.55 4.73 256618496 true 8.52 4.75 271163392
loops/insertion_sort_true-unreach-call_true-termination.i timeout (error (143)) 301    240    1462857728 timeout (error (143)) 302    251    1916035072
loops/invert_string_true-unreach-call_true-termination.i timeout (error (143)) 303    282    1258663936 timeout (error (143)) 302    267    2010468352
loops/linear_sea.ch_true-unreach-call.i timeout (error (143)) 301    280    1113001984 timeout (error (143)) 302    276    1727574016
loops/lu.cmp_true-unreach-call.i timeout (error (143)) 310    245    4969525248 timeout (error (143)) 306    260    5396291584
loops/matrix_true-unreach-call_true-termination.i true 13.2  7.55 419840000 true 22.8  13.2  841531392
loops/n.c11_true-unreach-call_false-termination.i true 12.3  6.99 361123840 true 14.4  8.39 445771776
loops/n.c40_true-unreach-call_true-termination.i timeout (error (143)) 301    240    1909415936 true 56.8  32.2  2867814400
loops/nec40_true-unreach-call_true-termination.i timeout (error (143)) 301    242    1960157184 timeout (error (143)) 305    280    2938343424
loops/string_true-unreach-call_true-termination.i true 11.7  6.54 347226112 true 37.0  19.6  1177608192
loops/sum01_true-unreach-call_true-termination.i true 13.1  7.59 420659200 true 15.9  9.38 524345344
loops/sum03_true-unreach-call_false-termination.i true 7.81 4.39 254504960 true 8.46 4.76 264765440
loops/sum04_true-unreach-call_true-termination.i true 14.5  8.34 453193728 true 16.2  9.58 568877056
loops/sum_array_true-unreach-call.i timeout (error (143)) 301    264    1367916544 timeout (error: exception) 300    265    2955935744
loops/terminator_02_true-unreach-call_true-termination.i true 9.55 5.36 270594048 true 9.39 5.23 270704640
loops/terminator_03_true-unreach-call_true-termination.i true 8.27 4.65 266866688 true 8.58 4.88 263503872
loops/trex01_true-unreach-call_true-termination.i true 8.09 4.55 265019392 true 8.53 4.82 265613312
loops/trex02_true-unreach-call_true-termination.i true 7.84 4.43 258834432 true 8.18 4.61 271003648
loops/trex03_true-unreach-call_true-termination.i true 8.24 4.60 263413760 true 9.01 4.99 265306112
loops/trex04_true-unreach-call_false-termination.i true 8.73 4.81 269561856 true 8.50 4.76 258809856
loops/veris.c_NetBSD-libc__loop_true-unreach-call_true-termination.i true 9.19 5.14 261521408 true 16.7  9.83 568090624
loops/veris.c_OpenSER__cases1_stripFullBoth_arr_true-unreach-call_true-termination.i true 10.3  5.69 291508224 true 10.4  5.81 297803776
loops/veris.c_sendmail__tTflag_arr_one_loop_true-unreach-call_true-termination.i true 8.18 4.57 267649024 true 8.74 4.87 266694656
loops/vogal_true-unreach-call.i error: exception 53.0  33.9  1107587072 timeout (error (143)) 301    249    3238395904
loops/while_infinite_loop_1_true-unreach-call_false-termination.i true 8.17 4.57 268066816 true 7.91 4.49 262012928
loops/while_infinite_loop_2_true-unreach-call_false-termination.i true 8.25 4.61 268828672 true 8.37 4.67 271249408
loops/while_infinite_loop_3_true-unreach-call_false-termination.i true 8.28 4.64 264310784 true 9.18 5.13 262332416
loop-acceleration/array_false-unreach-call1_true-termination.i timeout (error (143)) 306    272    1299419136 timeout (error (143)) 301    236    1759993856
loop-acceleration/array_false-unreach-call2_true-termination.i timeout (error (143)) 306    275    1323548672 timeout (error (143)) 301    233    1717448704
loop-acceleration/array_false-unreach-call3_true-termination.i timeout (error (143)) 306    268    1362161664 timeout (error (143)) 301    247    1613819904
loop-acceleration/const_false-unreach-call1.i timeout (error (143)) 306    289    1096208384 timeout (error (143)) 301    283    1108279296
loop-acceleration/diamond_false-unreach-call1.i timeout (error (143)) 306    279    1113706496 timeout (error (143)) 301    271    1213595648
loop-acceleration/functions_false-unreach-call1_true-termination.i timeout (error (143)) 306    292    1159593984 timeout (error (143)) 300    258    1283342336
loop-acceleration/multivar_false-unreach-call1_true-termination.i false 6.99 3.99 241520640 false 7.68 4.29 256315392
loop-acceleration/nested_false-unreach-call1.i timeout (error (143)) 306    288    1195212800 timeout (error (143)) 301    250    2913304576
loop-acceleration/phases_false-unreach-call1.i timeout (error (143)) 306    290    1036251136 timeout (error (143)) 301    249    1356009472
loop-acceleration/phases_false-unreach-call2_false-termination.i false 7.32 4.07 246562816 false 7.19 3.99 259821568
loop-acceleration/simple_false-unreach-call1.i timeout (error (143)) 306    297    732188672 timeout (error (143)) 300    254    1273405440
loop-acceleration/simple_false-unreach-call2_true-termination.i false 7.60 4.16 252878848 false 7.76 4.32 244916224
loop-acceleration/simple_false-unreach-call3_true-termination.i false 7.27 4.08 243007488 false 7.97 4.39 244826112
loop-acceleration/simple_false-unreach-call4.i timeout (error (143)) 306    296    806285312 timeout (error (143)) 300    251    1376743424
loop-acceleration/underapprox_false-unreach-call1_true-termination.i false 11.1  6.25 342470656 false 13.7  7.77 405942272
loop-acceleration/underapprox_false-unreach-call2_true-termination.i false 12.1  6.73 344707072 false 14.1  8.18 426274816
loop-acceleration/array_true-unreach-call1_true-termination.i true 11.9  6.72 352165888 timeout (error (143)) 301    234    1763557376
loop-acceleration/array_true-unreach-call2_true-termination.i timeout (error (143)) 306    276    1259851776 timeout (error (143)) 301    235    1731932160
loop-acceleration/array_true-unreach-call3_true-termination.i true 13.4  7.59 411017216 true 12.9  7.10 468942848
loop-acceleration/array_true-unreach-call4_true-termination.i timeout (error (143)) 306    267    1358303232 timeout (error (143)) 300    239    2028789760
loop-acceleration/const_true-unreach-call1.i true 10.1  5.66 293871616 timeout (error (143)) 300    283    1115299840
loop-acceleration/diamond_true-unreach-call1_true-termination.i timeout (error (143)) 306    285    1085853696 timeout (error (143)) 301    273    1168322560
loop-acceleration/diamond_true-unreach-call2.i true 158    145    1081233408 true 254    237    1114329088
loop-acceleration/functions_true-unreach-call1_true-termination.i timeout (error (143)) 306    291    1124765696 timeout (error (143)) 301    258    1374961664
loop-acceleration/multivar_true-unreach-call1_true-termination.i true 8.53 4.70 261947392 true 8.37 4.65 258232320
loop-acceleration/nested_true-unreach-call1.i true 20.0  13.9  403582976 timeout (error (143)) 302    249    2870890496
loop-acceleration/overflow_true-unreach-call1.i timeout (error (143)) 306    296    868347904 true 9.15 5.18 278351872
loop-acceleration/phases_true-unreach-call1.i timeout (error (143)) 302    284    998785024 timeout (error (143)) 300    252    1339629568
loop-acceleration/phases_true-unreach-call2_false-termination.i true 10.6  6.01 289206272 true 20.3  14.1  396120064
loop-acceleration/simple_true-unreach-call1.i timeout (error (143)) 306    296    794243072 true 10.1  5.60 284020736
loop-acceleration/simple_true-unreach-call2_true-termination.i true 7.91 4.35 262004736 true 8.01 4.43 264155136
loop-acceleration/simple_true-unreach-call3_true-termination.i timeout (error (143)) 306    297    808984576 true 11.9  6.42 300986368
loop-acceleration/simple_true-unreach-call4.i true 9.16 5.14 275755008 true 9.99 5.56 291229696
loop-acceleration/underapprox_true-unreach-call1_true-termination.i true 56.1  49.3  462557184 true 114    106    596033536
loop-acceleration/underapprox_true-unreach-call2_true-termination.i true 10.2  5.76 292204544 true 15.0  8.70 461987840
loop-crafted/simple_array_index_value_false-unreach-call1_false-termination.i false 8.35 4.57 265424896 false 8.17 4.52 252948480
loop-crafted/simple_array_index_value_true-unreach-call1_true-termination.i timeout (error (143)) 302    291    852701184 timeout (error (143)) 300    276    1190617088
loop-crafted/simple_array_index_value_true-unreach-call2_true-termination.i timeout (error (143)) 301    285    1012453376 timeout (error (143)) 300    282    1184628736
loop-crafted/simple_array_index_value_true-unreach-call3_true-termination.i timeout (error (143)) 306    291    1012772864 timeout (error (143)) 300    246    1586077696
loop-crafted/simple_array_index_value_true-unreach-call4_true-termination.i true 84.1  77.2  574717952 timeout (error: exception) 301    292    2985861120
loop-crafted/simple_vardep_true-unreach-call1_true-termination.i true 7.91 4.36 259608576 true 8.11 4.54 273440768
loop-crafted/simple_vardep_true-unreach-call2_true-termination.i true 14.8  10.1  295706624 true 8.54 4.73 266686464
loop-crafted/simple_array_index_value_true-unreach-call4.i.v+lhb-reducer.c timeout (error (143)) 304    297    645128192 timeout (error (143)) 303    290    1408389120
loop-crafted/simple_array_index_value_true-unreach-call4.i.v+nlh-reducer.c timeout (error (143)) 303    294    817082368 timeout (error (143)) 303    287    1316118528
loop-invgen/id_trans_false-unreach-call_true-termination.i false 9.90 5.53 278773760 false 11.8  6.61 328523776
loop-invgen/MADWiFi-encode_ie_ok_true-unreach-call_true-termination.i true 12.7  7.28 381456384 true 14.3  8.17 481247232
loop-invgen/NetBSD_loop_true-unreach-call_true-termination.i true 10.9  6.13 305860608 true 13.6  7.80 431607808
loop-invgen/SpamAssassin-loop_true-unreach-call_false-termination.i true 18.4  11.2  687689728 true 160    96.6  1698971648
loop-invgen/apache-escape-absolute_true-unreach-call_true-termination.i true 17.5  10.2  587874304 true 80.1  47.0  1246916608
loop-invgen/apache-get-tag_true-unreach-call_true-termination.i true 13.9  8.27 481091584 true 17.5  10.0  578404352
loop-invgen/down_true-unreach-call_true-termination.i timeout (error (143)) 301    237    1525219328 true 13.9  7.66 402706432
loop-invgen/fragtest_simple_true-unreach-call_true-termination.i timeout (error (143)) 301    239    1477840896 timeout (error (143)) 301    233    1707040768
loop-invgen/half_2_true-unreach-call_true-termination.i timeout (error (143)) 301    244    1380286464 timeout (error (143)) 301    241    1508331520
loop-invgen/heapsort_true-unreach-call_true-termination.i timeout (error (143)) 301    271    1292206080 true 242    182    1942204416
loop-invgen/id_build_true-unreach-call_true-termination.i true 8.94 5.06 274001920 true 14.3  7.91 420995072
loop-invgen/large_const_true-unreach-call_true-termination.i true 13.6  7.81 405565440 true 29.9  17.1  855908352
loop-invgen/nest-if3_true-unreach-call_true-termination.i true 8.34 4.61 268316672 true 8.41 4.75 267030528
loop-invgen/nested6_true-unreach-call_true-termination.i true 15.1  8.77 462290944 true 64.5  39.9  1161469952
loop-invgen/nested9_true-unreach-call_true-termination.i true 17.1  9.98 537423872 true 20.7  12.0  840044544
loop-invgen/sendmail-close-angle_true-unreach-call_true-termination.i true 26.6  16.8  839778304 true 57.2  33.9  1170092032
loop-invgen/seq_true-unreach-call_true-termination.i timeout (error (143)) 301    247    1423986688 timeout (error (143)) 301    240    1490186240
loop-invgen/string_concat-noarr_true-unreach-call_true-termination.i timeout (error (143)) 300    256    1848872960 true 14.4  8.08 429162496
loop-invgen/up_true-unreach-call_true-termination.i timeout (error (143)) 301    240    1388896256 timeout (error (143)) 301    231    1653760000
loop-invgen/SpamAssassin-loop_true-unreach-call.i.v+cfa-reducer.c true 25.9  15.2  818597888 true 27.6  15.9  845737984
loop-invgen/apache-escape-absolute_true-unreach-call.i.v+cfa-reducer.c true 29.1  17.3  823660544 true 97.6  60.1  1861582848
loop-invgen/apache-get-tag_true-unreach-call.i.p+lhb-reducer.c true 27.9  16.8  876650496 true 26.8  16.5  860377088
loop-invgen/apache-get-tag_true-unreach-call.i.p+nlh-reducer.c true 48.4  31.1  1153277952 true 47.1  30.5  1187430400
loop-invgen/apache-get-tag_true-unreach-call.i.p+sep-reducer.c true 62.6  38.8  1228636160 true 61.3  37.0  1221046272
loop-invgen/apache-get-tag_true-unreach-call.i.v+lhb-reducer.c true 26.7  15.8  841715712 true 26.5  15.7  856600576
loop-invgen/apache-get-tag_true-unreach-call.i.v+nlh-reducer.c true 24.5  14.5  799080448 true 22.2  13.3  787095552
loop-invgen/id_build_true-unreach-call.i.p+nlh-reducer.c true 20.3  11.4  632885248 true 19.8  11.2  605798400
loop-invgen/id_build_true-unreach-call.i.p+sep-reducer.c true 19.1  11.0  646615040 true 19.7  11.2  623734784
loop-invgen/id_build_true-unreach-call.i.v+lhb-reducer.c true 10.5  5.88 278306816 true 10.2  5.81 279695360
loop-lit/afnp2014_true-unreach-call_true-termination.c.i true 10.2  5.67 284209152 true 11.1  6.42 345374720
loop-lit/bhmr2007_true-unreach-call_true-termination.c.i true 14.4  8.44 452358144 true 17.7  10.3  674693120
loop-lit/cggmp2005_true-unreach-call_true-termination.c.i true 11.3  6.48 348086272 true 12.6  7.26 383574016
loop-lit/cggmp2005_variant_true-unreach-call_true-termination.c.i true 13.0  7.37 365297664 true 14.3  8.21 413114368
loop-lit/cggmp2005b_true-unreach-call_true-termination.c.i true 10.5  5.83 291241984 true 12.1  6.77 360562688
loop-lit/css2003_true-unreach-call_true-termination.c.i true 9.02 5.00 273211392 true 8.79 4.98 270229504
loop-lit/ddlm2013_true-unreach-call.i true 18.1  10.3  519172096 true 26.3  18.4  705875968
loop-lit/gj2007_true-unreach-call_true-termination.c.i true 136    89.2  1450631168 true 241    174    1461071872
loop-lit/gj2007b_true-unreach-call_true-termination.c.i true 12.7  7.15 346062848 true 17.2  9.63 542957568
loop-lit/gr2006_true-unreach-call_true-termination.c.i true 199    150    2235207680 true 179    127    1562988544
loop-lit/gsv2008_true-unreach-call_true-termination.c.i true 9.47 5.31 271953920 true 10.3  5.79 297082880
loop-lit/hhk2008_true-unreach-call_true-termination.c.i true 11.1  6.27 319488000 true 12.7  7.23 357404672
loop-lit/jm2006_true-unreach-call_true-termination.c.i true 11.5  6.43 317222912 true 15.6  9.24 544915456
loop-lit/jm2006_variant_true-unreach-call_true-termination.c.i true 11.8  6.60 321974272 true 17.0  10.1  618299392
loop-lit/mcmillan2006_true-unreach-call_true-termination.c.i timeout (error (143)) 301    252    1464152064 timeout (error (143)) 302    282    1119027200
loop-lit/gcnr2008_false-unreach-call_false-termination.i false 7.82 4.36 262332416 false 7.91 4.42 265789440
loop-lit/gj2007_true-unreach-call.c.i.p+lhb-reducer.c true 140    95.9  1421492224 true 218    164    1501765632
loop-lit/gj2007_true-unreach-call.c.i.p+nlh-reducer.c true 168    122    1523986432 true 165    117    1504501760
loop-lit/gsv2008_true-unreach-call.c.i.p+cfa-reducer.c true 8.89 4.96 269062144 true 10.4  5.72 329601024
loop-lit/gsv2008_true-unreach-call.c.i.v+cfa-reducer.c true 9.31 5.18 270274560 true 10.2  5.73 326242304
loop-lit/gsv2008_true-unreach-call.c.i.v+lhb-reducer.c true 10.3  5.74 276606976 true 11.2  6.26 585039872
loop-lit/jm2006_true-unreach-call.c.i.v+cfa-reducer.c true 11.4  6.35 310771712 true 14.8  8.46 472883200
loop-new/count_by_1_true-unreach-call_true-termination.i true 9.99 5.66 297730048 true 9.68 5.43 283402240
loop-new/count_by_1_variant_true-unreach-call_true-termination.i true 10.2  5.84 289968128 true 10.3  5.69 283205632
loop-new/count_by_2_true-unreach-call_true-termination.i timeout (error (143)) 301    234    1414737920 timeout (error (143)) 301    238    1514602496
loop-new/count_by_k_true-unreach-call_true-termination.i timeout (error (143)) 301    252    1387864064 timeout (error (143)) 301    251    1539108864
loop-new/count_by_nondet_true-unreach-call_true-termination.i timeout (error (143)) 301    235    1641676800 timeout (error (143)) 301    238    1549475840
loop-new/gauss_sum_true-unreach-call_true-termination.i timeout (error (143)) 300    250    1434943488 true 23.3  16.7  601661440
loop-new/half_true-unreach-call_true-termination.i true 18.8  11.5  683339776 true 32.8  23.6  834203648
loop-new/nested_true-unreach-call_true-termination.i true 203    161    2960203776 timeout (error (143)) 301    242    3211993088
loop-new/gauss_sum_true-unreach-call.i.p+cfa-reducer.c timeout (error (143)) 301    258    1379532800 true 17.8  12.1  437284864
loop-new/gauss_sum_true-unreach-call.i.p+lhb-reducer.c timeout (error (143)) 301    257    1316605952 true 33.4  27.2  498155520
loop-new/gauss_sum_true-unreach-call.i.v+cfa-reducer.c timeout (error (143)) 301    258    1399808000 true 17.4  11.9  448057344
loop-industry-pattern/aiob_1_true-unreach-call.c error: exception 6.06 3.24 199778304 error: exception 6.55 3.46 201965568
loop-industry-pattern/aiob_2_true-unreach-call.c error: exception 6.32 3.33 199815168 error: exception 6.39 3.38 206712832
loop-industry-pattern/aiob_3_true-unreach-call.c error: exception 6.12 3.25 199069696 error: exception 6.18 3.31 202461184
loop-industry-pattern/aiob_4_true-unreach-call.c error: exception 5.88 3.19 199995392 error: exception 6.19 3.27 196374528
loop-industry-pattern/aiob_4_true-unreach-call.c.v+cfa-reducer.c true 64.7  52.5  935632896 timeout (error (143)) 301    259    4902608896
loop-industry-pattern/aiob_4_true-unreach-call.c.v+lh-reducer.c true 148    135    1140994048 timeout (error (143)) 301    254    5152841728
loop-industry-pattern/aiob_4_true-unreach-call.c.v+lhb-reducer.c timeout (error (143)) 301    272    1347121152 error: exception 27.8  16.5  1055645696
loop-industry-pattern/aiob_4_true-unreach-call.c.v+nlh-reducer.c true 52.6  35.8  1224036352 true 66.0  48.3  1286664192
loop-industry-pattern/mod3_true-unreach-call.c true 16.1  12.0  267714560 true 33.9  29.1  279748608
loop-industry-pattern/mod3_true-unreach-call.c.v+cfa-reducer.c true 29.5  24.7  279597056 true 18.6  13.9  285122560
loop-industry-pattern/mod3_true-unreach-call.c.v+lhb-reducer.c true 38.1  32.6  305618944 true 18.3  13.0  282292224
loop-industry-pattern/mod3_true-unreach-call.c.v+sep-reducer.c true 22.6  18.3  283983872 true 54.4  48.7  304611328
loop-industry-pattern/nested_true-unreach-call.c timeout (error (143)) 301    262    2878107648 true 38.1  21.3  1051299840
loop-industry-pattern/ofuf_1_true-unreach-call.c error: exception 6.22 3.29 199983104 error: exception 6.34 3.36 205041664
loop-industry-pattern/ofuf_2_true-unreach-call.c error: exception 6.24 3.34 201822208 error: exception 6.32 3.34 202399744
loop-industry-pattern/ofuf_3_true-unreach-call.c error: exception 5.91 3.22 199069696 error: exception 6.64 3.53 201293824
loop-industry-pattern/ofuf_4_true-unreach-call.c error: exception 6.11 3.25 199983104 error: exception 6.24 3.31 201539584
loop-industry-pattern/ofuf_5_true-unreach-call.c error: exception 6.39 3.37 200810496 error: exception 6.67 3.51 204804096
loops/heavy_true-unreach-call.c out of memory 179    108    8000000000 out of memory 163    97.8  8000000000
loops/compact_false-unreach-call.c timeout (error (143)) 309    243    4341727232 timeout (error (143)) 306    261    4961759232
loops/heavy_false-unreach-call.c out of memory 173    102    8000000000 out of memory 169    102    8000000000
loops-crafted-1/Mono1_false-unreach-call1.c timeout (error (143)) 306    294    837509120 timeout (error (143)) 300    248    1302601728
loops-crafted-1/Mono3_false-unreach-call1.c timeout (error (143)) 306    292    1119338496 timeout (error (143)) 300    259    1396723712
loops-crafted-1/Mono4_false-unreach-call1.c timeout (error (143)) 301    237    1439051776 timeout (error (143)) 301    229    1553432576
loops-crafted-1/Mono5_false-unreach-call1.c timeout (error (143)) 306    295    924024832 timeout (error (143)) 301    248    1339379712
loops-crafted-1/Mono6_false-unreach-call1.c timeout (error (143)) 306    294    1043152896 timeout (error (143)) 300    247    1323331584
loops-crafted-1/nested3_false-unreach-call.c timeout (error (143)) 306    295    806739968 timeout (error (143)) 301    247    1366728704
loops-crafted-1/nested5_false-unreach-call.c timeout (error (143)) 306    294    832032768 timeout (error (143)) 301    248    1373057024
loops-crafted-1/Mono1_true-unreach-call1.c timeout (error (143)) 301    288    1004924928 timeout (error (143)) 301    254    1347977216
loops-crafted-1/nested3_true-unreach-call.c true 95.9  80.9  993685504 timeout (error (143)) 301    252    1298669568
loops-crafted-1/nested5_true-unreach-call.c true 45.7  39.9  350826496 true 26.5  15.6  785833984
loop-invariants/bin-suffix-5_true-unreach-call_true-valid-memsafety_true-no-overflow_false-termination.c unknown: overapproxcex 8.01 4.41 257384448 false 7.59 4.27 250896384
loop-invariants/const_true-unreach-call_true-valid-memsafety_true-no-overflow_false-termination.c true 8.07 4.48 263131136 true 8.72 4.88 272601088
loop-invariants/eq1_true-unreach-call_true-valid-memsafety_true-no-overflow_false-termination.c true 8.75 4.89 267395072 true 8.19 4.59 265388032
loop-invariants/eq2_true-unreach-call_true-valid-memsafety_true-no-overflow_false-termination.c true 8.51 4.72 255877120 true 8.23 4.62 268017664
loop-invariants/even_true-unreach-call_true-valid-memsafety_true-no-overflow_false-termination.c timeout (error (143)) 301    234    1431568384 true 10.9  6.02 297426944
loop-invariants/mod4_true-unreach-call_true-valid-memsafety_true-no-overflow_false-termination.c timeout (error (143)) 301    236    1480097792 true 10.9  6.03 294162432
loop-invariants/odd_true-unreach-call_true-valid-memsafety_true-no-overflow_false-termination.c timeout (error (143)) 301    235    1316339712 true 12.6  7.02 322076672
../../../trunk/examples/svcomp/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
total 208 24000 20500 177455800320 208 22600 18300 226061438976
local summary 20200 1570 21300 1400
    correct results 0 0
        correct true 0 0
        correct false 0 0
    incorrect results 0 0
        incorrect true 0 0
        incorrect false 0 0
Run set Automizer.Loops Taipan.Loops