Tool ULTIMATE Automizer 0.1.23-d3804244
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-24 11:44:57 CEST
Run set Automizer.Loops Taipan.Loops Taipan-EXP.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 -tc ../../../trunk/examples/toolchains/AutomizerCInline.xml -s ../../../trunk/examples/settings/default/taipan/svcomp-Reach-64bit-Taipan_Default-EXP.epf
../../../trunk/examples/svcomp/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
loops/array_false-unreach-call_true-termination.i false 12.7  7.26 359522304 false 8.93 4.96 265285632 false 8.90 4.96 266874880
loops/bubble_sort_false-unreach-call.i false 14.3  7.90 389533696 false 15.4  8.46 404447232 false 15.5  8.57 401719296
loops/count_up_down_false-unreach-call_true-termination.i false 8.02 4.36 250281984 false 7.86 4.33 251379712 false 7.57 4.27 246964224
loops/eureka_01_false-unreach-call_true-termination.i timeout (error (143)) 300    255    1655275520 timeout (error (143)) 311    274    4472209408 timeout (error (143)) 313    265    5647826944
loops/for_bounded_loop1_false-unreach-call_true-termination.i false 11.7  6.77 312414208 false 12.0  6.72 322543616 false 11.0  6.25 300216320
loops/insertion_sort_false-unreach-call_true-termination.i false 174    134    1458323456 timeout (error (143)) 301    248    1901875200 timeout (error (143)) 302    277    1287999488
loops/invert_string_false-unreach-call_true-termination.i false 28.0  17.8  832430080 false 59.7  37.2  2000363520 false 35.0  23.0  1014751232
loops/linear_search_false-unreach-call.i timeout (error (143)) 301    279    1170661376 timeout (error (143)) 301    260    2361962496 timeout (error (143)) 306    271    1310105600
loops/ludcmp_false-unreach-call.i timeout (error (143)) 306    239    4522491904 timeout (error (143)) 306    256    5404852224 timeout (error (143)) 306    256    5393342464
loops/matrix_false-unreach-call_true-termination.i false 10.5  5.87 301445120 false 14.3  8.02 576798720 false 12.4  6.89 366157824
loops/n.c24_false-unreach-call.i timeout (error (143)) 300    246    2766319616 timeout (error (143)) 301    234    2921058304 timeout (error (143)) 301    235    2724081664
loops/nec11_false-unreach-call_false-termination.i false 7.77 4.33 248881152 false 7.67 4.76 254054400 false 7.82 4.32 246378496
loops/nec20_false-unreach-call_true-termination.i false 8.32 4.63 268107776 false 8.45 5.07 273477632 false 8.70 4.88 269295616
loops/s3_false-unreach-call.i unknown: overapproxcex 91.4  55.5  1549717504 unknown: overapproxcex 48.1  26.1  1005817856 unknown: overapproxcex 44.9  24.9  1096081408
loops/string_false-unreach-call_true-termination.i unknown: overapproxcex 14.7  8.21 424910848 unknown: overapproxcex 18.1  10.0  816082944 unknown: overapproxcex 16.3  9.05 507305984
loops/sum01_bug02_false-unreach-call_true-termination.i false 17.4  10.4  574676992 false 22.6  13.4  835317760 false 19.9  12.1  707190784
loops/sum01_bug02_sum01_bug02_base.case_false-unreach-call_true-termination.i false 13.8  7.92 415715328 false 17.1  10.1  557481984 false 16.1  9.44 520241152
loops/sum01_false-unreach-call_true-termination.i false 17.0  10.2  574967808 false 20.9  12.6  769396736 false 19.9  12.0  714747904
loops/sum03_false-unreach-call_true-termination.i false 197    187    776892416 false 35.0  23.8  820301824 false 32.0  22.3  792985600
loops/sum04_false-unreach-call_true-termination.i false 10.8  6.09 316780544 false 13.5  7.55 387354624 false 12.2  6.95 363175936
loops/sum_array_false-unreach-call.i false 10.2  5.67 277856256 false 10.3  5.60 279420928 false 10.2  5.68 279355392
loops/terminator_01_false-unreach-call_true-termination.i false 8.39 4.65 262283264 false 8.31 4.66 254676992 false 8.48 4.63 262381568
loops/terminator_02_false-unreach-call_true-termination.i false 7.34 4.09 262316032 false 7.91 4.35 258146304 false 8.17 4.50 265187328
loops/terminator_03_false-unreach-call_true-termination.i false 8.07 4.46 260009984 false 8.46 4.69 261132288 false 8.75 4.81 266653696
loops/trex01_false-unreach-call_true-termination.i false 7.86 4.41 266711040 false 7.85 4.43 259330048 false 8.32 4.62 265150464
loops/trex02_false-unreach-call_true-termination.i false 8.17 4.50 249524224 false 7.97 4.40 255102976 false 7.80 4.34 254537728
loops/trex03_false-unreach-call_true-termination.i false 7.50 4.21 257462272 false 7.61 4.34 247316480 false 7.44 4.25 256667648
loops/verisec_NetBSD-libc__loop_false-unreach-call_true-termination.i false 9.75 5.45 282415104 false 14.6  8.31 609587200 false 14.0  7.88 404975616
loops/verisec_OpenSER__cases1_stripFullBoth_arr_false-unreach-call_true-termination.i false 22.2  13.1  764657664 false 80.2  48.3  2866192384 false 27.9  16.1  815251456
loops/vogal_false-unreach-call.i timeout (error (143)) 301    257    1689309184 timeout (error (143)) 301    245    3130310656 timeout (error (143)) 301    253    1766146048
loops/while_infinite_loop_4_false-unreach-call_true-termination.i false 7.90 4.37 245424128 false 7.70 4.29 266395648 false 7.58 4.27 261222400
loops/array_true-unreach-call_true-termination.i true 21.8  15.1  446693376 true 15.1  8.50 521166848 true 13.9  7.90 409694208
loops/bubble_sort_true-unreach-call_true-termination.i true 7.93 4.46 262287360 true 8.54 4.71 272568320 true 7.93 4.51 262844416
loops/count_up_down_true-unreach-call_true-termination.i true 11.1  6.24 293789696 true 12.6  7.08 340062208 true 12.1  6.83 337862656
loops/eureka_01_true-unreach-call.i timeout (error (143)) 300    268    1747804160 timeout (error (143)) 301    259    2962264064 timeout (error (143)) 300    258    1435492352
loops/eureka_05_true-unreach-call_true-termination.i timeout (error (143)) 301    268    1327980544 timeout (error (143)) 301    260    1573175296 timeout (error (143)) 301    263    1380884480
loops/for_infinite_loop_1_true-unreach-call_false-termination.i true 8.21 4.58 261390336 true 7.64 4.38 263372800 true 8.46 4.75 264851456
loops/for_infinite_loop_2_true-unreach-call_false-termination.i true 7.78 4.42 266981376 true 8.28 4.66 265490432 true 8.49 4.73 266878976
loops/insertion_sort_true-unreach-call_true-termination.i timeout (error (143)) 301    238    1379889152 timeout (error (143)) 301    264    1886834688 timeout (error (143)) 301    271    1246220288
loops/invert_string_true-unreach-call_true-termination.i timeout (error (143)) 303    281    1228685312 timeout (error (143)) 302    262    1926053888 true 269    226    1348907008
loops/linear_sea.ch_true-unreach-call.i timeout (error (143)) 301    280    1142935552 timeout (error (143)) 301    268    1891790848 timeout (error (143)) 302    277    1138614272
loops/lu.cmp_true-unreach-call.i timeout (error (143)) 310    243    4717821952 timeout (error (143)) 306    249    5557182464 timeout (error (143)) 306    259    5394378752
loops/matrix_true-unreach-call_true-termination.i true 13.0  7.45 420569088 true 21.0  12.2  837480448 true 18.2  10.8  634679296
loops/n.c11_true-unreach-call_false-termination.i true 12.2  6.88 356511744 true 14.6  8.42 444350464 true 14.9  8.68 437805056
loops/n.c40_true-unreach-call_true-termination.i timeout (error (143)) 301    241    1995710464 true 60.8  34.5  2880925696 true 28.5  16.5  858353664
loops/nec40_true-unreach-call_true-termination.i timeout (error (143)) 301    241    1962893312 timeout (error (143)) 306    279    2931404800 timeout (error (143)) 306    291    978698240
loops/string_true-unreach-call_true-termination.i true 11.8  6.58 350584832 true 36.8  19.8  1180508160 true 17.6  9.71 528334848
loops/sum01_true-unreach-call_true-termination.i true 13.1  7.59 414347264 true 17.2  10.0  526000128 true 15.7  9.23 507293696
loops/sum03_true-unreach-call_false-termination.i true 8.25 4.54 259485696 true 9.74 5.29 265314304 true 8.78 4.85 261648384
loops/sum04_true-unreach-call_true-termination.i true 14.7  8.38 445382656 true 17.4  10.2  560590848 true 16.1  9.49 562544640
loops/sum_array_true-unreach-call.i timeout (error (143)) 301    269    1417220096 timeout (error: exception) 301    259    2969677824 timeout (error: exception) 300    270    2921865216
loops/terminator_02_true-unreach-call_true-termination.i true 9.19 5.09 275779584 true 9.33 5.20 268521472 true 10.1  5.64 271294464
loops/terminator_03_true-unreach-call_true-termination.i true 7.57 4.34 256098304 true 8.52 4.76 264568832 true 9.25 5.14 270352384
loops/trex01_true-unreach-call_true-termination.i true 8.31 4.65 261718016 true 8.49 4.63 270675968 true 8.80 4.95 262070272
loops/trex02_true-unreach-call_true-termination.i true 8.04 4.53 258363392 true 8.30 4.70 270782464 true 8.18 4.63 275476480
loops/trex03_true-unreach-call_true-termination.i true 7.95 4.49 266555392 true 8.82 4.87 272543744 true 8.23 4.65 266326016
loops/trex04_true-unreach-call_false-termination.i true 8.27 4.63 265113600 true 9.38 5.21 267771904 true 8.63 4.82 261001216
loops/veris.c_NetBSD-libc__loop_true-unreach-call_true-termination.i true 9.19 5.15 272982016 true 15.3  9.02 574201856 true 15.5  9.16 518340608
loops/veris.c_OpenSER__cases1_stripFullBoth_arr_true-unreach-call_true-termination.i true 9.68 5.43 289579008 true 10.4  5.79 297369600 true 10.7  5.92 295092224
loops/veris.c_sendmail__tTflag_arr_one_loop_true-unreach-call_true-termination.i true 8.23 4.52 268754944 true 9.36 5.19 266276864 true 8.80 4.93 269160448
loops/vogal_true-unreach-call.i timeout (error (143)) 306    261    1499533312 timeout (error (143)) 301    244    3238596608 timeout (error (143)) 300    240    2463285248
loops/while_infinite_loop_1_true-unreach-call_false-termination.i true 8.14 4.55 266657792 true 8.33 4.59 258523136 true 8.35 4.73 272801792
loops/while_infinite_loop_2_true-unreach-call_false-termination.i true 8.08 4.52 273326080 true 8.07 4.47 265404416 true 8.30 4.69 273674240
loops/while_infinite_loop_3_true-unreach-call_false-termination.i true 8.43 4.68 268144640 true 8.84 4.97 277057536 true 8.33 4.69 267833344
loop-acceleration/array_false-unreach-call1_true-termination.i timeout (error (143)) 306    271    1340219392 timeout (error (143)) 301    259    1464025088 timeout (error (143)) 306    263    1416458240
loop-acceleration/array_false-unreach-call2_true-termination.i timeout (error (143)) 306    275    1304027136 timeout (error (143)) 306    274    1456279552 timeout (error (143)) 306    273    1466114048
loop-acceleration/array_false-unreach-call3_true-termination.i timeout (error (143)) 306    268    1433038848 timeout (error (143)) 300    243    1694773248 timeout (error (143)) 306    255    1707216896
loop-acceleration/const_false-unreach-call1.i timeout (error (143)) 306    289    1140822016 timeout (error (143)) 302    285    1167458304 timeout (error (143)) 306    289    1145483264
loop-acceleration/diamond_false-unreach-call1.i timeout (error (143)) 306    277    1149231104 timeout (error (143)) 306    277    1140912128 timeout (error (143)) 306    277    1123610624
loop-acceleration/functions_false-unreach-call1_true-termination.i timeout (error (143)) 306    291    1163587584 timeout (error (143)) 301    282    1158569984 timeout (error (143)) 302    287    1182654464
loop-acceleration/multivar_false-unreach-call1_true-termination.i false 7.28 4.10 240427008 false 7.68 4.26 242937856 false 7.57 4.24 253947904
loop-acceleration/nested_false-unreach-call1.i timeout (error (143)) 306    288    1192153088 timeout (error (143)) 306    290    1189830656 timeout (error (143)) 300    285    1148510208
loop-acceleration/phases_false-unreach-call1.i timeout (error (143)) 306    291    992366592 timeout (error (143)) 306    278    1285869568 timeout (error (143)) 306    277    1264431104
loop-acceleration/phases_false-unreach-call2_false-termination.i false 7.59 4.25 248479744 false 7.74 4.32 257740800 false 7.67 4.29 256868352
loop-acceleration/simple_false-unreach-call1.i timeout (error (143)) 306    297    732860416 timeout (error (143)) 306    288    1101561856 timeout (error (143)) 306    287    1088393216
loop-acceleration/simple_false-unreach-call2_true-termination.i false 7.19 4.02 241254400 false 7.75 4.31 249647104 false 7.40 4.14 248348672
loop-acceleration/simple_false-unreach-call3_true-termination.i false 7.78 4.34 255377408 false 7.50 4.21 240377856 false 7.07 4.04 245510144
loop-acceleration/simple_false-unreach-call4.i timeout (error (143)) 306    296    801148928 timeout (error (143)) 305    282    1226526720 timeout (error (143)) 306    286    1198690304
loop-acceleration/underapprox_false-unreach-call1_true-termination.i false 11.6  6.50 341180416 false 13.6  7.74 395276288 false 12.6  7.20 389791744
loop-acceleration/underapprox_false-unreach-call2_true-termination.i false 12.4  6.94 342781952 false 14.4  8.27 431579136 false 13.1  7.57 415563776
loop-acceleration/array_true-unreach-call1_true-termination.i true 12.8  7.13 350973952 true 13.5  7.51 462888960 true 12.7  7.09 374562816
loop-acceleration/array_true-unreach-call2_true-termination.i timeout (error (143)) 306    276    1269858304 timeout (error (143)) 306    274    1419321344 timeout (error (143)) 306    275    1339437056
loop-acceleration/array_true-unreach-call3_true-termination.i true 13.6  7.63 410587136 true 13.3  7.27 463331328 true 13.8  7.71 425345024
loop-acceleration/array_true-unreach-call4_true-termination.i timeout (error (143)) 306    267    1350156288 timeout (error (143)) 306    260    1936723968 timeout (error (143)) 306    264    1564348416
loop-acceleration/const_true-unreach-call1.i true 10.5  5.91 284393472 true 10.3  5.84 308183040 true 10.1  5.72 301367296
loop-acceleration/diamond_true-unreach-call1_true-termination.i timeout (error (143)) 306    285    1095217152 timeout (error (143)) 300    277    1190682624 timeout (error (143)) 306    285    1178234880
loop-acceleration/diamond_true-unreach-call2.i true 158    145    1095970816 true 271    252    1121185792 true 263    246    1120727040
loop-acceleration/functions_true-unreach-call1_true-termination.i timeout (error (143)) 305    290    1133699072 timeout (error (143)) 306    279    1149595648 timeout (error (143)) 306    279    1127292928
loop-acceleration/multivar_true-unreach-call1_true-termination.i true 8.61 4.76 271712256 true 8.35 4.63 266305536 true 7.93 4.60 268267520
loop-acceleration/nested_true-unreach-call1.i true 19.7  13.6  392294400 true 35.6  28.5  456720384 true 43.2  37.4  396992512
loop-acceleration/overflow_true-unreach-call1.i timeout (error (143)) 306    295    823140352 true 9.32 5.14 278364160 true 9.54 5.24 277114880
loop-acceleration/phases_true-unreach-call1.i timeout (error (143)) 306    295    822124544 timeout (error (143)) 301    273    1232433152 timeout (error (143)) 301    270    1207427072
loop-acceleration/phases_true-unreach-call2_false-termination.i true 10.3  5.88 296210432 true 95.0  75.8  2869702656 true 98.6  77.0  2866978816
loop-acceleration/simple_true-unreach-call1.i timeout (error (143)) 306    296    786350080 true 9.61 5.39 289079296 true 9.01 5.05 272093184
loop-acceleration/simple_true-unreach-call2_true-termination.i true 7.95 4.42 269737984 true 7.59 4.28 268955648 true 7.44 4.33 259870720
loop-acceleration/simple_true-unreach-call3_true-termination.i timeout (error (143)) 306    297    773668864 true 11.0  6.06 310906880 true 10.8  5.88 317128704
loop-acceleration/simple_true-unreach-call4.i true 9.47 5.28 270532608 true 10.3  5.62 281055232 true 8.98 5.07 275226624
loop-acceleration/underapprox_true-unreach-call1_true-termination.i true 84.8  78.2  457682944 true 75.9  68.1  578347008 true 63.8  56.3  574853120
loop-acceleration/underapprox_true-unreach-call2_true-termination.i true 9.63 5.39 291434496 true 11.3  6.34 312684544 true 11.0  6.16 306925568
loop-crafted/simple_array_index_value_false-unreach-call1_false-termination.i false 7.82 4.33 266518528 false 8.40 4.64 270032896 false 8.13 4.48 264663040
loop-crafted/simple_array_index_value_true-unreach-call1_true-termination.i timeout (error (143)) 302    291    840265728 timeout (error (143)) 306    282    1209929728 timeout (error (143)) 300    280    1125150720
loop-crafted/simple_array_index_value_true-unreach-call2_true-termination.i timeout (error (143)) 306    290    1030246400 timeout (error (143)) 306    288    1215967232 timeout (error (143)) 306    291    1095495680
loop-crafted/simple_array_index_value_true-unreach-call3_true-termination.i timeout (error (143)) 306    292    1009102848 timeout (error (143)) 306    289    1192816640 timeout (error (143)) 306    284    1144332288
loop-crafted/simple_array_index_value_true-unreach-call4_true-termination.i true 87.0  79.9  469786624 timeout (error: exception) 301    293    2888978432 timeout (error: exception) 301    292    2890006528
loop-crafted/simple_vardep_true-unreach-call1_true-termination.i true 8.19 4.53 257257472 true 8.19 4.55 264196096 true 7.96 4.49 260784128
loop-crafted/simple_vardep_true-unreach-call2_true-termination.i true 14.6  10.1  291115008 true 8.23 4.53 264642560 true 8.03 4.54 266989568
loop-invgen/id_trans_false-unreach-call_true-termination.i false 9.96 5.54 275095552 false 12.0  6.63 332251136 false 10.1  5.68 286978048
loop-invgen/MADWiFi-encode_ie_ok_true-unreach-call_true-termination.i true 12.3  7.01 377741312 true 14.4  8.29 471379968 true 14.7  8.29 409985024
loop-invgen/NetBSD_loop_true-unreach-call_true-termination.i true 10.7  6.04 314810368 true 14.3  8.02 426700800 true 13.1  7.52 408698880
loop-invgen/SpamAssassin-loop_true-unreach-call_false-termination.i true 18.2  11.1  695275520 true 144    88.9  1520779264 true 18.7  11.2  663134208
loop-invgen/apache-escape-absolute_true-unreach-call_true-termination.i true 15.6  9.22 592039936 true 77.2  45.6  1230741504 true 16.4  9.60 612175872
loop-invgen/apache-get-tag_true-unreach-call_true-termination.i true 14.6  8.64 483385344 true 17.6  10.0  567382016 true 15.0  8.90 515698688
loop-invgen/down_true-unreach-call_true-termination.i timeout (error (143)) 301    235    1391869952 true 13.9  7.71 411467776 timeout (error (143)) 301    234    1657475072
loop-invgen/fragtest_simple_true-unreach-call_true-termination.i timeout (error (143)) 301    241    1522987008 timeout (error (143)) 301    229    1739411456 timeout (error (143)) 301    232    1763684352
loop-invgen/half_2_true-unreach-call_true-termination.i timeout (error (143)) 300    246    1386852352 timeout (error (143)) 301    241    1393332224 timeout (error (143)) 301    243    1471856640
loop-invgen/heapsort_true-unreach-call_true-termination.i timeout (error (143)) 301    272    1287458816 true 206    153    2040963072 true 89.0  62.6  1176436736
loop-invgen/id_build_true-unreach-call_true-termination.i true 9.49 5.23 277979136 true 14.1  7.81 414814208 true 9.70 5.49 277430272
loop-invgen/large_const_true-unreach-call_true-termination.i true 13.3  7.62 397938688 true 27.8  16.1  842166272 true 16.3  9.30 494231552
loop-invgen/nest-if3_true-unreach-call_true-termination.i true 8.49 4.72 267812864 true 8.52 4.81 271912960 true 8.56 4.85 270188544
loop-invgen/nested6_true-unreach-call_true-termination.i true 15.7  9.07 463175680 true 61.4  39.9  1179611136 true 17.1  9.82 533155840
loop-invgen/nested9_true-unreach-call_true-termination.i true 17.1  9.95 535236608 true 19.8  11.3  808718336 true 17.5  10.4  605687808
loop-invgen/sendmail-close-angle_true-unreach-call_true-termination.i true 29.2  18.0  837668864 true 61.7  34.8  1167314944 true 34.1  20.5  871219200
loop-invgen/seq_true-unreach-call_true-termination.i timeout (error (143)) 301    251    1443672064 timeout (error (143)) 301    238    1521688576 timeout (error (143)) 301    240    1499926528
loop-invgen/string_concat-noarr_true-unreach-call_true-termination.i timeout (error (143)) 301    257    2077265920 true 14.4  8.01 432013312 timeout (error (143)) 301    248    1589407744
loop-invgen/up_true-unreach-call_true-termination.i timeout (error (143)) 301    237    1361690624 timeout (error (143)) 301    235    1626030080 timeout (error (143)) 301    234    1609650176
loop-lit/afnp2014_true-unreach-call_true-termination.c.i true 9.62 5.41 281600000 true 14.8  8.55 465334272 true 15.1  8.73 442785792
loop-lit/bhmr2007_true-unreach-call_true-termination.c.i true 14.2  8.29 454127616 true 17.4  10.1  673058816 true 15.8  9.35 522915840
loop-lit/cggmp2005_true-unreach-call_true-termination.c.i true 11.6  6.59 348250112 true 12.0  6.94 383631360 true 12.7  7.25 387166208
loop-lit/cggmp2005_variant_true-unreach-call_true-termination.c.i true 12.4  7.03 359325696 true 13.3  7.69 408178688 true 13.6  7.81 409055232
loop-lit/cggmp2005b_true-unreach-call_true-termination.c.i true 10.1  5.51 285806592 true 10.9  6.06 343912448 true 10.7  6.06 306368512
loop-lit/css2003_true-unreach-call_true-termination.c.i true 8.82 4.93 262991872 true 8.83 4.95 266092544 true 8.88 5.02 271335424
loop-lit/ddlm2013_true-unreach-call.i true 17.2  9.85 519495680 true 24.9  17.7  719572992 true 24.9  17.8  493936640
loop-lit/gj2007_true-unreach-call_true-termination.c.i true 132    87.0  1491652608 true 211    151    1449050112 true 202    146    1460924416
loop-lit/gj2007b_true-unreach-call_true-termination.c.i true 11.6  6.58 344662016 true 16.5  9.32 543248384 true 13.4  7.62 399781888
loop-lit/gr2006_true-unreach-call_true-termination.c.i true 202    152    2200350720 true 209    151    1675366400 true 208    151    1613254656
loop-lit/gsv2008_true-unreach-call_true-termination.c.i true 8.85 4.95 264847360 true 10.1  5.68 296091648 true 9.76 5.53 284319744
loop-lit/hhk2008_true-unreach-call_true-termination.c.i true 11.2  6.32 317501440 true 12.5  7.01 362024960 true 11.8  6.77 349511680
loop-lit/jm2006_true-unreach-call_true-termination.c.i true 11.0  6.15 300814336 true 15.8  9.33 541413376 true 15.0  9.01 516452352
loop-lit/jm2006_variant_true-unreach-call_true-termination.c.i true 10.9  6.10 319102976 true 16.5  9.88 615677952 true 16.6  9.94 563965952
loop-lit/mcmillan2006_true-unreach-call_true-termination.c.i timeout (error (143)) 300    249    1430986752 timeout (error (143)) 300    278    1199067136 timeout (error (143)) 303    283    1142956032
loop-lit/gcnr2008_false-unreach-call_false-termination.i false 8.05 4.44 256733184 false 8.06 4.41 259158016 false 7.88 4.45 257949696
loop-new/count_by_1_true-unreach-call_true-termination.i true 10.2  5.70 294232064 true 9.38 5.30 282071040 true 9.84 5.64 305983488
loop-new/count_by_1_variant_true-unreach-call_true-termination.i true 10.3  5.81 294043648 true 9.49 5.31 275464192 true 11.6  6.61 342724608
loop-new/count_by_2_true-unreach-call_true-termination.i timeout (error (143)) 301    234    1416630272 timeout (error (143)) 301    236    1467039744 timeout (error (143)) 301    226    1396826112
loop-new/count_by_k_true-unreach-call_true-termination.i timeout (error (143)) 302    253    1409490944 timeout (error (143)) 301    249    1410662400 timeout (error (143)) 300    252    1499365376
loop-new/count_by_nondet_true-unreach-call_true-termination.i timeout (error (143)) 301    234    1576538112 timeout (error (143)) 301    237    1638100992 timeout (error (143)) 301    234    1488867328
loop-new/gauss_sum_true-unreach-call_true-termination.i timeout (error (143)) 300    250    1324249088 true 23.2  16.6  604241920 true 22.4  16.2  595562496
loop-new/half_true-unreach-call_true-termination.i true 18.5  11.5  680685568 true 27.6  19.0  822484992 true 26.6  18.4  807227392
loop-new/nested_true-unreach-call_true-termination.i true 203    161    2958233600 true 286    233    3231535104 true 277    222    3228434432
loop-industry-pattern/aiob_1_true-unreach-call.c error: exception 6.19 3.30 196775936 error: exception 5.98 3.20 203907072 error: exception 6.13 3.24 199385088
loop-industry-pattern/aiob_2_true-unreach-call.c error: exception 5.99 3.19 204836864 error: exception 6.10 3.24 201957376 error: exception 6.05 3.21 197210112
loop-industry-pattern/aiob_3_true-unreach-call.c error: exception 6.04 3.28 207732736 error: exception 6.07 3.25 204038144 error: exception 6.33 3.37 201560064
loop-industry-pattern/aiob_4_true-unreach-call.c error: exception 6.32 3.32 199249920 error: exception 6.19 3.31 201003008 error: exception 5.93 3.18 197627904
loop-industry-pattern/mod3_true-unreach-call.c true 16.5  12.4  271638528 true 31.7  26.5  292810752 true 30.8  26.1  294776832
loop-industry-pattern/nested_true-unreach-call.c timeout (error (143)) 301    259    2891776000 true 37.7  21.0  973086720 true 53.5  32.6  1138884608
loop-industry-pattern/ofuf_1_true-unreach-call.c error: exception 6.58 3.46 202690560 error: exception 6.01 3.25 195502080 error: exception 6.29 3.36 198815744
loop-industry-pattern/ofuf_2_true-unreach-call.c error: exception 6.57 3.49 203403264 error: exception 6.19 3.27 200519680 error: exception 6.31 3.39 200683520
loop-industry-pattern/ofuf_3_true-unreach-call.c error: exception 6.36 3.38 208179200 error: exception 6.45 3.46 205201408 error: exception 6.41 3.41 207507456
loop-industry-pattern/ofuf_4_true-unreach-call.c error: exception 6.40 3.40 202948608 error: exception 6.12 3.32 208224256 error: exception 6.35 3.37 201482240
loop-industry-pattern/ofuf_5_true-unreach-call.c error: exception 6.39 3.37 202055680 error: exception 6.09 3.28 204324864 error: exception 6.40 3.40 199720960
loops/heavy_true-unreach-call.c out of memory 162    106    8000000000 out of memory 175    117    8000000000 out of memory 166    98.7  8000000000
loops/compact_false-unreach-call.c timeout (error (143)) 311    245    4246523904 timeout (error (143)) 306    264    4960423936 timeout (error (143)) 305    267    4977487872
loops/heavy_false-unreach-call.c out of memory 169    105    8000000000 out of memory 163    106    8000000000 out of memory 149    101    8000000000
../../../trunk/examples/svcomp/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
total 163 18000 15300 139558002688 163 16600 13800 171726737408 163 16600 13900 152492576768
local summary 15100 1190 13900 1140 13200 1150
    correct results 0 0 0
        correct true 0 0 0
        correct false 0 0 0
    incorrect results 0 0 0
        incorrect true 0 0 0
        incorrect false 0 0 0
Run set Automizer.Loops Taipan.Loops Taipan-EXP.Loops