Tool ULTIMATE Automizer 0.1.23-71425fa7
Limits timelimit: 300 s, memlimit: 6000 MB, CPU core limit: 2
Host monteverdi
OS Linux-4.12.12-gentoo-x86_64-Intel-R-_Core-TM-_i7-2600_CPU_@_3.40GHz-with-gentoo-2.4.1
System CPU: Intel Core i7-2600 CPU @ 3.40GHz, cores: 8, frequency: 3800 MHz, Turbo Boost: enabled; RAM: 25257 MB
Date of execution 2018-07-20 20:58:17 CEST
Run set Automizer Taipan
Options -tc ../../../trunk/examples/toolchains/AutomizerCInline.xml --generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -s ../../../trunk/examples/settings/default/automizer/svcomp-Reach-64bit-Automizer_Default.epf -tc ../../../trunk/examples/toolchains/AutomizerCInline.xml --generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -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/insertion_sort_false-unreach-call_true-termination.i false 104    72.5  487452672 timeout (error (143)) 302    277    604606464
loops/ludcmp_false-unreach-call.i error: exception 107    88.5  1112657920 out of memory 133    71.8  5999996928
loops/sum03_false-unreach-call_true-termination.i false 160    149    343355392 timeout (error (143)) 303    292    437043200
loops/eureka_01_true-unreach-call.i out of memory 214    126    5999996928 timeout (error (143)) 301    256    703827968
loops/lu.cmp_true-unreach-call.i true 46.5  28.1  1018519552 out of memory 162    86.4  5999996928
loop-acceleration/functions_true-unreach-call1_true-termination.i timeout (error (143)) 306    291    417103872 true 11.5  6.39 281518080
loop-acceleration/overflow_true-unreach-call1.i timeout (error (143)) 306    293    377106432 true 9.46 5.36 243515392
loop-acceleration/simple_true-unreach-call1.i timeout (error (143)) 306    296    352817152 true 10.8  5.99 254541824
loop-acceleration/simple_true-unreach-call3_true-termination.i timeout (error (143)) 305    295    366673920 true 10.9  5.99 269815808
loop-invgen/down_true-unreach-call_true-termination.i timeout (error (143)) 301    230    1109495808 true 14.9  8.16 299302912
loop-invgen/heapsort_true-unreach-call_true-termination.i true 69.9  42.7  461365248 timeout (error (143)) 302    240    853106688
loop-new/gauss_sum_true-unreach-call_true-termination.i timeout (error (143)) 301    241    707964928 true 20.0  13.1  326549504
loop-industry-pattern/nested_true-unreach-call.c timeout (error (143)) 301    262    2250719232 true 51.9  27.8  519847936
loops/heavy_false-unreach-call.c out of memory 149    78.8  5999996928 error (1) 110    59.2  4925800448
eca-rers2012/Problem01_label15_false-unreach-call_false-termination.c false 62.2  35.3  551198720 timeout (error (143)) 301    261    2491584512
eca-rers2012/Problem01_label20_false-unreach-call_false-termination.c false 50.1  28.2  510627840 timeout (error (143)) 301    237    2394546176
eca-rers2012/Problem01_label21_false-unreach-call_false-termination.c false 49.5  28.2  526811136 timeout (error (143)) 300    235    2366304256
eca-rers2012/Problem01_label32_false-unreach-call_false-termination.c false 58.4  33.1  554549248 timeout (error (143)) 302    249    2430771200
eca-rers2012/Problem01_label33_false-unreach-call_false-termination.c false 50.1  28.3  507256832 timeout (error (143)) 301    242    2433806336
eca-rers2012/Problem01_label35_false-unreach-call_false-termination.c false 51.0  28.7  547991552 timeout (error (143)) 301    242    2365427712
eca-rers2012/Problem01_label37_false-unreach-call_false-termination.c false 44.3  25.2  506306560 timeout (error (143)) 302    240    2396401664
eca-rers2012/Problem01_label38_false-unreach-call_false-termination.c false 50.4  28.9  543137792 timeout (error (143)) 301    253    2418810880
eca-rers2012/Problem01_label47_false-unreach-call_false-termination.c false 46.7  25.9  463593472 timeout (error (143)) 302    248    2437058560
eca-rers2012/Problem01_label50_false-unreach-call_false-termination.c false 50.3  28.1  508633088 timeout (error (143)) 301    248    2400960512
eca-rers2012/Problem01_label56_false-unreach-call_false-termination.c false 48.7  28.1  536457216 timeout (error (143)) 301    231    2434523136
eca-rers2012/Problem01_label57_false-unreach-call_false-termination.c false 54.9  31.6  592629760 timeout (error (143)) 301    250    2427461632
eca-rers2012/Problem02_label13_false-unreach-call_false-termination.c false 50.7  27.6  453619712 timeout (error (143)) 301    261    2434469888
eca-rers2012/Problem02_label16_false-unreach-call_false-termination.c false 27.7  15.2  407138304 timeout (error (143)) 301    240    2388176896
eca-rers2012/Problem02_label43_false-unreach-call_false-termination.c false 42.7  23.6  439934976 timeout (error (143)) 302    254    2350747648
eca-rers2012/Problem02_label44_false-unreach-call_false-termination.c false 43.2  24.1  468520960 timeout (error (143)) 301    243    2304835584
eca-rers2012/Problem02_label45_false-unreach-call_false-termination.c false 52.0  29.1  495296512 timeout (error (143)) 301    253    2411028480
eca-rers2012/Problem02_label50_false-unreach-call_false-termination.c false 44.4  25.1  475144192 timeout (error (143)) 301    262    2327121920
eca-rers2012/Problem02_label59_false-unreach-call_false-termination.c false 62.7  34.8  501518336 timeout (error (143)) 306    262    2363252736
eca-rers2012/Problem03_label09_false-unreach-call.c out of memory 273    166    5999996928 timeout (error (143)) 305    280    2254237696
eca-rers2012/Problem03_label13_false-unreach-call.c out of memory 278    169    5999996928 timeout (error (143)) 305    279    2264260608
eca-rers2012/Problem03_label27_false-unreach-call.c timeout 321    210    5999996928 timeout (error (143)) 304    274    2275119104
eca-rers2012/Problem03_label50_false-unreach-call.c false 241    159    3941306368 timeout (error (143)) 303    281    2234413056
eca-rers2012/Problem04_label14_false-unreach-call_false-termination.c timeout (error: exception) 302    219    3268554752 timeout (error (143)) 302    253    2338160640
eca-rers2012/Problem05_label11_false-unreach-call.c timeout (error: exception) 302    201    4007751680 timeout (error (143)) 303    232    2550640640
eca-rers2012/Problem06_label02_false-unreach-call.c timeout 322    209    4659904512 timeout (error (143)) 306    258    2407878656
eca-rers2012/Problem06_label09_false-unreach-call.c timeout 322    211    4255645696 timeout (error (143)) 306    262    2406072320
eca-rers2012/Problem06_label11_false-unreach-call.c timeout 322    212    5297090560 timeout (error (143)) 306    262    2396639232
eca-rers2012/Problem07_label58_false-unreach-call.c timeout (error (143)) 301    231    3697508352 error (1) 185    133    3193692160
eca-rers2012/Problem08_label04_false-unreach-call.c timeout (error (143)) 306    216    5075070976 error (1) 273    201    4545400832
eca-rers2012/Problem08_label06_false-unreach-call.c timeout (error (143)) 306    221    5051187200 killed by signal 9 274    206    4675661824
eca-rers2012/Problem08_label15_false-unreach-call.c timeout (error (143)) 306    205    5115842560 timeout (error: exception) 300    210    4574867456
eca-rers2012/Problem08_label24_false-unreach-call.c timeout (error (143)) 306    213    5068460032 error (1) 123    77.8  3870269440
eca-rers2012/Problem08_label25_false-unreach-call.c timeout (error (143)) 306    214    5035352064 killed by signal 9 273    218    4572864512
eca-rers2012/Problem08_label29_false-unreach-call.c timeout (error (143)) 306    214    5039439872 error (1) 249    183    4670238720
eca-rers2012/Problem08_label37_false-unreach-call.c timeout (error (143)) 307    213    5065076736 error (1) 224    162    4234051584
eca-rers2012/Problem08_label43_false-unreach-call.c timeout (error (143)) 306    214    5047271424 error (1) 129    87.0  4058050560
eca-rers2012/Problem08_label46_false-unreach-call.c timeout (error (143)) 306    214    5050343424 error (1) 236    185    4536995840
eca-rers2012/Problem08_label48_false-unreach-call.c timeout (error (143)) 306    206    5102399488 timeout 322    247    5223395328
eca-rers2012/Problem08_label49_false-unreach-call.c timeout (error (143)) 306    206    4981268480 timeout 322    233    5581856768
eca-rers2012/Problem08_label50_false-unreach-call.c timeout (error (143)) 306    215    5012078592 error (1) 62.7  58.5  2571014144
eca-rers2012/Problem08_label51_false-unreach-call.c timeout (error (143)) 306    206    5027573760 timeout 322    239    5018685440
eca-rers2012/Problem08_label55_false-unreach-call.c timeout (error (143)) 305    208    5062455296 killed by signal 9 241    169    4511547392
eca-rers2012/Problem09_label02_false-unreach-call.c timeout (error (143)) 309    207    5300473856 timeout 237    354    4469846016
eca-rers2012/Problem09_label03_false-unreach-call.c timeout (error (143)) 306    208    5242183680 timeout 250    351    4570148864
eca-rers2012/Problem09_label06_false-unreach-call.c timeout (error (143)) 305    206    5237932032 timeout 242    351    4449775616
eca-rers2012/Problem09_label08_false-unreach-call.c timeout (error (143)) 311    207    5234532352 timeout 321    255    4752527360
eca-rers2012/Problem09_label10_false-unreach-call.c timeout (error (143)) 309    208    5529485312 error (1) 133    85.8  3912437760
eca-rers2012/Problem09_label15_false-unreach-call.c timeout (error (143)) 311    210    5267386368 error (1) 94.5  66.1  2974654464
eca-rers2012/Problem09_label32_false-unreach-call.c timeout (error (143)) 310    206    5255036928 error (1) 127    81.5  3852591104
eca-rers2012/Problem09_label34_false-unreach-call.c timeout (error (143)) 309    206    5369217024 error (1) 92.1  62.6  3207286784
eca-rers2012/Problem09_label35_false-unreach-call.c timeout (error (143)) 306    209    5268942848 timeout (error: exception) 301    218    4908625920
eca-rers2012/Problem09_label36_false-unreach-call.c timeout (error (143)) 319    211    5425852416 error (1) 272    184    4842283008
eca-rers2012/Problem09_label38_false-unreach-call.c timeout (error (143)) 306    216    5218185216 error (1) 130    83.4  3884126208
eca-rers2012/Problem09_label41_false-unreach-call.c timeout (error (143)) 310    207    5493780480 timeout (error: exception) 302    217    4887289856
eca-rers2012/Problem09_label46_false-unreach-call.c timeout (error (143)) 307    210    5222092800 error (1) 121    79.3  3935371264
eca-rers2012/Problem09_label47_false-unreach-call.c timeout (error (143)) 306    210    5213413376 error (1) 271    183    4778889216
eca-rers2012/Problem09_label54_false-unreach-call.c timeout (error (143)) 306    209    5267238912 error (1) 98.8  67.5  3115560960
eca-rers2012/Problem09_label59_false-unreach-call.c timeout (error (143)) 306    208    5245841408 error (1) 126    81.8  3968454656
eca-rers2012/Problem10_label12_false-unreach-call.c false 62.6  37.6  631812096 timeout (error (143)) 301    228    2535481344
eca-rers2012/Problem10_label15_false-unreach-call.c false 52.8  30.7  511098880 timeout (error (143)) 301    219    2473066496
eca-rers2012/Problem10_label24_false-unreach-call.c false 79.5  49.9  631840768 timeout (error (143)) 301    227    2533789696
eca-rers2012/Problem10_label26_false-unreach-call.c false 52.8  30.7  512036864 timeout (error (143)) 303    221    2506493952
eca-rers2012/Problem10_label28_false-unreach-call.c false 65.1  38.5  554835968 timeout (error (143)) 301    212    2517004288
eca-rers2012/Problem10_label29_false-unreach-call.c false 55.8  32.0  543305728 timeout (error (143)) 302    231    2516889600
eca-rers2012/Problem10_label41_false-unreach-call.c false 68.2  40.0  591368192 timeout (error (143)) 301    224    2495614976
eca-rers2012/Problem10_label42_false-unreach-call.c false 36.3  20.7  436379648 timeout (error (143)) 301    228    2518769664
eca-rers2012/Problem10_label47_false-unreach-call.c false 49.3  28.3  511594496 timeout (error (143)) 300    235    2544685056
eca-rers2012/Problem10_label48_false-unreach-call.c false 57.6  34.1  616022016 timeout (error (143)) 302    214    2502111232
eca-rers2012/Problem10_label50_false-unreach-call.c false 73.9  43.5  646193152 timeout (error (143)) 300    236    2487164928
eca-rers2012/Problem10_label55_false-unreach-call.c false 45.5  25.9  467816448 timeout (error (143)) 301    235    2464448512
eca-rers2012/Problem10_label57_false-unreach-call.c false 57.1  32.4  561532928 timeout (error (143)) 301    216    2502078464
eca-rers2012/Problem10_label58_false-unreach-call.c false 89.0  54.2  668147712 timeout (error (143)) 301    227    2514944000
eca-rers2012/Problem11_label08_false-unreach-call.c false 60.2  35.1  718241792 timeout (error (143)) 302    209    2654711808
eca-rers2012/Problem11_label14_false-unreach-call.c false 69.5  41.2  803860480 timeout (error (143)) 302    220    2744348672
eca-rers2012/Problem11_label15_false-unreach-call.c false 49.6  28.0  594300928 timeout (error (143)) 301    223    2664996864
eca-rers2012/Problem11_label20_false-unreach-call.c false 96.9  61.0  1121763328 timeout (error (143)) 301    214    2555523072
eca-rers2012/Problem11_label29_false-unreach-call.c false 100    61.5  1078067200 timeout (error (143)) 301    245    2369855488
eca-rers2012/Problem11_label31_false-unreach-call.c timeout (false) 301    244    1614422016 timeout (error (143)) 302    207    2534260736
eca-rers2012/Problem11_label34_false-unreach-call.c false 255    213    1718956032 timeout (error (143)) 301    224    2421374976
eca-rers2012/Problem11_label39_false-unreach-call.c false 73.4  44.2  999014400 timeout (error (143)) 301    251    2379087872
eca-rers2012/Problem11_label42_false-unreach-call.c false 66.6  39.1  763904000 timeout (error (143)) 301    242    2370359296
eca-rers2012/Problem11_label49_false-unreach-call.c false 117    90.6  830492672 timeout (error (143)) 301    220    2485649408
eca-rers2012/Problem11_label51_false-unreach-call.c false 111    67.0  1169817600 timeout (error (143)) 302    206    2475274240
eca-rers2012/Problem11_label58_false-unreach-call.c false 48.0  27.9  599830528 timeout (error (143)) 301    218    2632740864
eca-rers2012/Problem12_label20_false-unreach-call.c false 230    166    2828943360 timeout (error (143)) 306    226    2559311872
eca-rers2012/Problem12_label30_false-unreach-call.c false 255    180    3002540032 timeout (error (143)) 306    214    2575224832
eca-rers2012/Problem12_label35_false-unreach-call.c false 156    108    2321203200 timeout (error (143)) 309    212    2566795264
eca-rers2012/Problem12_label38_false-unreach-call.c false 300    220    3635904512 timeout (error (143)) 306    202    2542600192
eca-rers2012/Problem12_label40_false-unreach-call.c false 218    156    2905501696 timeout (error (143)) 302    221    2783178752
eca-rers2012/Problem12_label42_false-unreach-call.c false 284    208    3050975232 timeout (error (143)) 301    202    2457255936
eca-rers2012/Problem12_label50_false-unreach-call.c false 286    202    3384033280 timeout (error (143)) 301    209    2550702080
eca-rers2012/Problem12_label55_false-unreach-call.c false 239    171    2881486848 timeout (error (143)) 306    215    2468777984
eca-rers2012/Problem13_label07_false-unreach-call.c timeout (error: exception) 301    216    3540557824 timeout (error (143)) 308    215    2641932288
eca-rers2012/Problem14_label02_false-unreach-call_false-termination.c false 159    102    2191679488 timeout (error (143)) 301    222    2494050304
eca-rers2012/Problem14_label08_false-unreach-call_false-termination.c false 121    74.1  2178383872 timeout (error (143)) 303    218    2665062400
eca-rers2012/Problem14_label10_false-unreach-call_false-termination.c false 103    61.8  1638039552 timeout (error (143)) 302    217    2631053312
eca-rers2012/Problem14_label11_false-unreach-call_false-termination.c false 82.8  52.0  1651380224 timeout (error (143)) 301    221    2621956096
eca-rers2012/Problem14_label12_false-unreach-call_false-termination.c false 125    78.4  2193317888 timeout (error (143)) 301    217    2539245568
eca-rers2012/Problem14_label13_false-unreach-call_false-termination.c false 97.3  58.7  2194325504 timeout (error (143)) 301    224    2636816384
eca-rers2012/Problem14_label18_false-unreach-call_false-termination.c false 111    67.3  2027343872 timeout (error (143)) 301    217    2620719104
eca-rers2012/Problem14_label22_false-unreach-call_false-termination.c false 99.8  61.8  2205474816 timeout (error (143)) 301    220    2685825024
eca-rers2012/Problem14_label27_false-unreach-call_false-termination.c false 103    62.2  1851469824 timeout (error (143)) 301    206    2541084672
eca-rers2012/Problem14_label28_false-unreach-call_false-termination.c false 148    92.6  2191908864 timeout (error (143)) 302    208    2559197184
eca-rers2012/Problem14_label29_false-unreach-call_false-termination.c false 117    70.6  2199998464 timeout (error (143)) 302    200    2509467648
eca-rers2012/Problem14_label31_false-unreach-call_false-termination.c false 89.1  53.3  1580589056 timeout (error (143)) 301    218    2660864000
eca-rers2012/Problem14_label34_false-unreach-call_false-termination.c false 103    62.7  2193960960 timeout (error (143)) 301    222    2576748544
eca-rers2012/Problem14_label37_false-unreach-call_false-termination.c false 102    63.7  2237059072 timeout (error (143)) 306    220    2667065344
eca-rers2012/Problem14_label39_false-unreach-call_false-termination.c false 112    68.7  1948561408 timeout (error (143)) 302    217    2552438784
eca-rers2012/Problem14_label40_false-unreach-call_false-termination.c false 99.3  59.2  1655439360 timeout (error (143)) 303    213    2607218688
eca-rers2012/Problem14_label41_false-unreach-call_false-termination.c false 132    79.9  2194296832 timeout (error (143)) 301    208    2632310784
eca-rers2012/Problem14_label43_false-unreach-call_false-termination.c false 107    64.1  1773350912 timeout (error (143)) 301    223    2636693504
eca-rers2012/Problem14_label44_false-unreach-call_false-termination.c false 127    81.2  2195292160 timeout (error (143)) 301    210    2520223744
eca-rers2012/Problem14_label52_false-unreach-call_false-termination.c false 99.4  62.2  2214129664 timeout (error (143)) 302    211    2633445376
eca-rers2012/Problem14_label54_false-unreach-call_false-termination.c false 116    72.6  2198241280 timeout (error (143)) 301    222    2551853056
eca-rers2012/Problem14_label56_false-unreach-call_false-termination.c false 95.0  57.3  1369235456 timeout (error (143)) 301    199    2531540992
eca-rers2012/Problem14_label57_false-unreach-call_false-termination.c false 84.9  51.6  1442103296 timeout (error (143)) 301    215    2609152000
eca-rers2012/Problem14_label58_false-unreach-call_false-termination.c false 137    89.7  2195329024 timeout (error (143)) 301    218    2627657728
eca-rers2012/Problem15_label03_false-unreach-call.c false 147    102    1608773632 timeout (error (143)) 302    209    2660962304
eca-rers2012/Problem15_label07_false-unreach-call.c false 185    135    1917681664 timeout (error (143)) 301    212    2792591360
eca-rers2012/Problem15_label09_false-unreach-call.c false 204    154    2075766784 timeout (error (143)) 301    209    2848768000
eca-rers2012/Problem15_label22_false-unreach-call.c false 167    115    1795162112 timeout (error (143)) 301    209    2729852928
eca-rers2012/Problem15_label23_false-unreach-call.c false 256    203    1749381120 timeout (error (143)) 301    213    2794061824
eca-rers2012/Problem15_label25_false-unreach-call.c false 223    165    1817620480 timeout (error (143)) 302    208    2725883904
eca-rers2012/Problem15_label29_false-unreach-call.c false 197    140    2307096576 timeout (error (143)) 301    198    2822590464
eca-rers2012/Problem15_label30_false-unreach-call.c false 284    228    1807835136 timeout (error (143)) 301    220    2759028736
eca-rers2012/Problem15_label33_false-unreach-call.c false 290    243    1364295680 timeout (error (143)) 305    217    2738626560
eca-rers2012/Problem15_label37_false-unreach-call.c false 200    146    2172387328 timeout (error (143)) 301    211    2677592064
eca-rers2012/Problem15_label38_false-unreach-call.c false 142    104    1426059264 timeout (error (143)) 302    226    2619109376
eca-rers2012/Problem15_label41_false-unreach-call.c false 144    102    1267412992 timeout (error (143)) 304    215    2836688896
eca-rers2012/Problem15_label45_false-unreach-call.c false 176    129    1594413056 timeout (error (143)) 301    206    2649010176
eca-rers2012/Problem15_label50_false-unreach-call.c false 200    145    1598554112 timeout (error (143)) 301    210    2723954688
eca-rers2012/Problem16_label03_false-unreach-call.c false 252    184    2468569088 timeout (error (143)) 301    214    2495774720
eca-rers2012/Problem16_label04_false-unreach-call.c false 233    172    2472706048 timeout (error (143)) 301    208    2625355776
eca-rers2012/Problem16_label05_false-unreach-call.c false 239    176    2499407872 timeout (error (143)) 301    211    2590277632
eca-rers2012/Problem16_label06_false-unreach-call.c false 196    137    2496856064 timeout (error (143)) 301    204    2500206592
eca-rers2012/Problem16_label08_false-unreach-call.c false 239    172    2424713216 timeout (error (143)) 301    224    2727792640
eca-rers2012/Problem16_label14_false-unreach-call.c false 271    199    2452508672 timeout (error (143)) 301    204    2683166720
eca-rers2012/Problem16_label15_false-unreach-call.c false 226    164    2463813632 timeout (error (143)) 302    222    2576003072
eca-rers2012/Problem16_label18_false-unreach-call.c false 251    181    2502705152 timeout (error (143)) 302    214    2708750336
eca-rers2012/Problem16_label20_false-unreach-call.c false 247    178    2476417024 timeout (error (143)) 302    218    2694934528
eca-rers2012/Problem16_label22_false-unreach-call.c false 268    195    2580307968 timeout (error (143)) 302    218    2775900160
eca-rers2012/Problem16_label27_false-unreach-call.c false 274    199    2495270912 timeout (error (143)) 301    221    2652753920
eca-rers2012/Problem16_label30_false-unreach-call.c false 284    209    2434609152 timeout (error (143)) 302    200    2629500928
eca-rers2012/Problem16_label31_false-unreach-call.c false 235    170    2495823872 timeout (error (143)) 301    223    2543435776
eca-rers2012/Problem16_label33_false-unreach-call.c false 221    157    2512039936 timeout (error (143)) 301    214    2559111168
eca-rers2012/Problem16_label37_false-unreach-call.c false 191    138    2438737920 timeout (error (143)) 302    212    2742415360
eca-rers2012/Problem16_label38_false-unreach-call.c false 262    195    2607570944 timeout (error (143)) 301    205    2676674560
eca-rers2012/Problem16_label41_false-unreach-call.c false 216    152    2445926400 timeout (error (143)) 301    215    2612371456
eca-rers2012/Problem16_label43_false-unreach-call.c false 253    180    2497806336 timeout (error (143)) 301    217    2664284160
eca-rers2012/Problem16_label44_false-unreach-call.c false 196    136    2476789760 timeout (error (143)) 306    197    2639618048
eca-rers2012/Problem16_label46_false-unreach-call.c timeout (false) 304    226    2486022144 timeout (error (143)) 302    220    2775592960
eca-rers2012/Problem16_label51_false-unreach-call.c false 284    212    2490912768 timeout (error (143)) 301    207    2641289216
eca-rers2012/Problem16_label52_false-unreach-call.c false 195    138    2490970112 timeout (error (143)) 301    204    2663305216
eca-rers2012/Problem16_label54_false-unreach-call.c false 204    151    2481606656 timeout (error (143)) 305    218    2697973760
eca-rers2012/Problem17_label23_false-unreach-call.c false 227    179    1859604480 timeout (error (143)) 301    228    2588241920
eca-rers2012/Problem17_label30_false-unreach-call.c false 194    152    1805811712 timeout (error (143)) 301    221    2452054016
eca-rers2012/Problem17_label37_false-unreach-call.c false 276    212    2421346304 timeout (error (143)) 301    220    2549714944
eca-rers2012/Problem17_label55_false-unreach-call.c false 196    148    2361843712 timeout (error (143)) 306    218    2566897664
eca-rers2012/Problem18_label03_false-unreach-call.c false 282    211    3167698944 timeout (error (143)) 301    226    2810322944
eca-rers2012/Problem18_label08_false-unreach-call.c false 295    213    2885435392 timeout (error (143)) 301    217    2671259648
eca-rers2012/Problem18_label10_false-unreach-call.c false 297    214    2991730688 timeout (error (143)) 301    216    2812686336
eca-rers2012/Problem18_label27_false-unreach-call.c false 237    174    2912821248 timeout (error (143)) 300    209    2662596608
eca-rers2012/Problem18_label33_false-unreach-call.c false 267    190    3082104832 timeout (error (143)) 301    222    2692497408
eca-rers2012/Problem18_label38_false-unreach-call.c false 262    196    2748452864 timeout (error (143)) 301    216    2746531840
eca-rers2012/Problem18_label45_false-unreach-call.c false 236    165    2892587008 timeout (error (143)) 301    206    2659545088
eca-rers2012/Problem18_label52_false-unreach-call.c false 257    183    2969632768 timeout (error (143)) 301    197    2621317120
eca-rers2012/Problem18_label55_false-unreach-call.c false 219    151    2985340928 timeout (error (143)) 302    230    2761117696
eca-rers2012/Problem01_label01_true-unreach-call_false-termination.c true 49.2  28.7  532373504 timeout (error (143)) 301    258    2361110528
eca-rers2012/Problem01_label02_true-unreach-call_false-termination.c true 57.1  32.5  568745984 timeout (error (143)) 302    242    2365812736
eca-rers2012/Problem01_label04_true-unreach-call_false-termination.c true 57.4  33.5  566706176 timeout (error (143)) 301    251    2346471424
eca-rers2012/Problem01_label05_true-unreach-call_false-termination.c true 65.5  39.3  676724736 timeout (error (143)) 301    255    2362314752
eca-rers2012/Problem01_label07_true-unreach-call_false-termination.c true 45.8  25.6  480555008 timeout (error (143)) 301    246    2369826816
eca-rers2012/Problem01_label08_true-unreach-call_false-termination.c true 67.7  38.2  576483328 timeout (error (143)) 301    249    2401046528
eca-rers2012/Problem01_label09_true-unreach-call_false-termination.c true 48.4  27.2  470016000 timeout (error (143)) 302    251    2430197760
eca-rers2012/Problem01_label10_true-unreach-call_false-termination.c true 48.0  26.8  489574400 timeout (error (143)) 302    254    2377764864
eca-rers2012/Problem01_label12_true-unreach-call_false-termination.c true 60.2  34.9  705982464 timeout (error (143)) 301    252    2405789696
eca-rers2012/Problem01_label14_true-unreach-call_false-termination.c true 48.1  27.5  525877248 timeout (error (143)) 301    246    2421981184
eca-rers2012/Problem01_label16_true-unreach-call_false-termination.c true 49.9  28.0  498774016 timeout (error (143)) 300    239    2357829632
eca-rers2012/Problem01_label17_true-unreach-call_false-termination.c true 54.4  30.6  497037312 timeout (error (143)) 302    250    2419191808
eca-rers2012/Problem01_label19_true-unreach-call_false-termination.c true 32.7  18.7  463409152 timeout (error (143)) 301    254    2357817344
eca-rers2012/Problem01_label22_true-unreach-call_false-termination.c true 35.5  20.5  448630784 timeout (error (143)) 301    241    2360500224
eca-rers2012/Problem01_label23_true-unreach-call_false-termination.c true 41.6  23.8  487804928 timeout (error (143)) 301    257    2358394880
eca-rers2012/Problem01_label24_true-unreach-call_false-termination.c true 50.9  29.7  524787712 timeout (error (143)) 301    259    2360766464
eca-rers2012/Problem01_label25_true-unreach-call_false-termination.c true 49.2  27.9  522760192 timeout (error (143)) 301    250    2367500288
eca-rers2012/Problem01_label26_true-unreach-call_false-termination.c true 59.4  33.8  555950080 timeout (error (143)) 302    244    2421878784
eca-rers2012/Problem01_label27_true-unreach-call_false-termination.c true 57.2  32.6  494174208 timeout (error (143)) 301    234    2370404352
eca-rers2012/Problem01_label28_true-unreach-call_false-termination.c true 52.2  29.9  518991872 timeout (error (143)) 302    240    2348756992
eca-rers2012/Problem01_label29_true-unreach-call_false-termination.c true 55.6  31.6  529149952 timeout (error (143)) 302    248    2408718336
eca-rers2012/Problem01_label30_true-unreach-call_false-termination.c true 62.6  35.0  525402112 timeout (error (143)) 302    245    2431918080
eca-rers2012/Problem01_label31_true-unreach-call_false-termination.c true 39.1  22.2  436064256 timeout (error (143)) 301    249    2404216832
eca-rers2012/Problem01_label34_true-unreach-call_false-termination.c true 52.0  29.6  534507520 timeout (error (143)) 302    241    2357415936
eca-rers2012/Problem01_label36_true-unreach-call_false-termination.c true 58.1  32.0  500281344 timeout (error (143)) 302    248    2405855232
eca-rers2012/Problem01_label40_true-unreach-call_false-termination.c true 63.7  36.7  545124352 timeout (error (143)) 302    241    2354524160
eca-rers2012/Problem01_label41_true-unreach-call_false-termination.c true 51.1  28.7  474300416 timeout (error (143)) 302    251    2378317824
eca-rers2012/Problem01_label43_true-unreach-call_false-termination.c true 60.6  35.2  564891648 timeout (error (143)) 301    253    2358255616
eca-rers2012/Problem01_label45_true-unreach-call_false-termination.c true 59.3  35.3  668729344 timeout (error (143)) 301    249    2415230976
eca-rers2012/Problem01_label46_true-unreach-call_false-termination.c true 50.3  28.6  491167744 timeout (error (143)) 302    253    2356195328
eca-rers2012/Problem01_label52_true-unreach-call_false-termination.c true 29.3  16.7  420499456 timeout (error (143)) 301    250    2432229376
eca-rers2012/Problem01_label53_true-unreach-call_false-termination.c true 50.3  28.3  479973376 timeout (error (143)) 301    254    2384048128
eca-rers2012/Problem01_label55_true-unreach-call_false-termination.c true 43.9  29.8  480980992 timeout (error (143)) 302    252    2450055168
eca-rers2012/Problem01_label58_true-unreach-call_false-termination.c true 47.7  48.1  555765760 timeout (error (143)) 301    241    2347724800
eca-rers2012/Problem01_label59_true-unreach-call_false-termination.c true 48.2  44.1  599650304 timeout (error (143)) 301    256    2358800384
eca-rers2012/Problem02_label00_true-unreach-call_false-termination.c true 36.2  29.5  445599744 timeout (error (143)) 307    271    2324426752
eca-rers2012/Problem02_label01_true-unreach-call_false-termination.c true 40.6  22.5  444612608 timeout (error (143)) 302    255    2334953472
eca-rers2012/Problem02_label02_true-unreach-call_false-termination.c true 31.4  17.4  402829312 timeout (error (143)) 302    255    2398687232
eca-rers2012/Problem02_label03_true-unreach-call_false-termination.c true 45.0  25.4  487882752 timeout (error (143)) 302    252    2345365504
eca-rers2012/Problem02_label04_true-unreach-call_false-termination.c true 42.3  24.2  501211136 timeout (error (143)) 302    248    2394284032
eca-rers2012/Problem02_label05_true-unreach-call_false-termination.c true 43.2  24.1  447459328 timeout (error (143)) 302    253    2365677568
eca-rers2012/Problem02_label06_true-unreach-call_false-termination.c true 60.4  34.1  606588928 timeout (error (143)) 302    267    2328997888
eca-rers2012/Problem02_label07_true-unreach-call_false-termination.c true 33.5  19.0  426622976 timeout (error (143)) 301    257    2339221504
eca-rers2012/Problem02_label08_true-unreach-call_false-termination.c true 33.1  18.2  423071744 timeout (error (143)) 302    244    2397773824
eca-rers2012/Problem02_label09_true-unreach-call_false-termination.c true 34.7  19.0  408350720 timeout (error (143)) 309    271    2348335104
eca-rers2012/Problem02_label10_true-unreach-call_false-termination.c true 40.1  21.7  419876864 timeout (error (143)) 302    268    2323349504
eca-rers2012/Problem02_label11_true-unreach-call_false-termination.c true 45.9  25.5  457281536 timeout (error (143)) 301    262    2381340672
eca-rers2012/Problem02_label12_true-unreach-call_false-termination.c true 28.8  16.1  392089600 timeout (error (143)) 301    250    2344632320
eca-rers2012/Problem02_label14_true-unreach-call_false-termination.c true 44.7  25.0  474738688 timeout (error (143)) 301    255    2343874560
eca-rers2012/Problem02_label15_true-unreach-call_false-termination.c true 49.4  27.4  490520576 timeout (error (143)) 305    263    2401304576
eca-rers2012/Problem02_label17_true-unreach-call_false-termination.c true 27.5  15.3  401842176 timeout (error (143)) 302    256    2336182272
eca-rers2012/Problem02_label18_true-unreach-call_false-termination.c true 34.7  19.6  429084672 timeout (error (143)) 302    250    2410532864
eca-rers2012/Problem02_label19_true-unreach-call_false-termination.c true 60.1  33.7  517550080 timeout (error (143)) 301    240    2353266688
eca-rers2012/Problem02_label20_true-unreach-call_false-termination.c true 37.7  21.2  450527232 timeout (error (143)) 302    265    2344693760
eca-rers2012/Problem02_label21_true-unreach-call_false-termination.c true 49.9  27.6  451530752 timeout (error (143)) 301    251    2400415744
eca-rers2012/Problem02_label22_true-unreach-call_false-termination.c true 32.7  18.2  406851584 timeout (error (143)) 301    254    2423996416
eca-rers2012/Problem02_label23_true-unreach-call_false-termination.c true 60.8  33.1  496988160 timeout (error (143)) 302    255    2335780864
eca-rers2012/Problem02_label24_true-unreach-call_false-termination.c true 37.7  20.9  406679552 timeout (error (143)) 307    263    2368249856
eca-rers2012/Problem02_label25_true-unreach-call_false-termination.c true 47.2  26.8  494231552 timeout (error (143)) 301    257    2343948288
eca-rers2012/Problem02_label26_true-unreach-call_false-termination.c true 46.4  26.3  504152064 timeout (error (143)) 307    266    2397851648
eca-rers2012/Problem02_label27_true-unreach-call_false-termination.c true 32.1  17.8  415739904 timeout (error (143)) 302    252    2382524416
eca-rers2012/Problem02_label31_true-unreach-call_false-termination.c true 30.1  16.7  400625664 timeout (error (143)) 301    255    2336268288
eca-rers2012/Problem02_label33_true-unreach-call_false-termination.c true 45.1  24.9  469241856 timeout (error (143)) 300    257    2355552256
eca-rers2012/Problem02_label34_true-unreach-call_false-termination.c true 39.6  22.4  441753600 timeout (error (143)) 301    239    2349006848
eca-rers2012/Problem02_label35_true-unreach-call_false-termination.c true 43.7  24.4  454836224 timeout (error (143)) 301    232    2321702912
eca-rers2012/Problem02_label37_true-unreach-call_false-termination.c true 34.3  19.0  404807680 timeout (error (143)) 302    257    2341978112
eca-rers2012/Problem02_label39_true-unreach-call_false-termination.c true 51.6  29.5  531849216 timeout (error (143)) 302    227    2391773184
eca-rers2012/Problem02_label40_true-unreach-call_false-termination.c true 43.4  24.2  466837504 timeout (error (143)) 302    254    2405560320
eca-rers2012/Problem02_label41_true-unreach-call_false-termination.c true 47.8  26.2  468893696 timeout (error (143)) 302    252    2421489664
eca-rers2012/Problem02_label42_true-unreach-call_false-termination.c true 35.9  19.7  413020160 timeout (error (143)) 301    248    2364973056
eca-rers2012/Problem02_label46_true-unreach-call_false-termination.c true 45.3  25.1  463597568 timeout (error (143)) 301    262    2280046592
eca-rers2012/Problem02_label47_true-unreach-call_false-termination.c true 27.0  15.1  387641344 timeout (error (143)) 301    263    2274549760
eca-rers2012/Problem02_label48_true-unreach-call_false-termination.c true 33.3  18.6  430284800 timeout (error (143)) 302    251    2349723648
eca-rers2012/Problem02_label49_true-unreach-call_false-termination.c true 66.5  37.4  570843136 timeout (error (143)) 302    252    2403790848
eca-rers2012/Problem02_label51_true-unreach-call_false-termination.c true 50.2  27.7  486764544 timeout (error (143)) 301    256    2318516224
eca-rers2012/Problem02_label52_true-unreach-call_false-termination.c true 46.4  25.6  459059200 timeout (error (143)) 302    240    2324258816
eca-rers2012/Problem02_label53_true-unreach-call_false-termination.c true 55.0  30.2  477671424 timeout (error (143)) 301    246    2340282368
eca-rers2012/Problem02_label55_true-unreach-call_false-termination.c true 46.9  26.0  448159744 timeout (error (143)) 306    271    2350411776
eca-rers2012/Problem02_label56_true-unreach-call_false-termination.c true 43.4  23.9  455774208 timeout (error (143)) 309    271    2376646656
eca-rers2012/Problem02_label57_true-unreach-call_false-termination.c true 27.8  15.4  398053376 timeout (error (143)) 302    244    2345299968
eca-rers2012/Problem02_label58_true-unreach-call_false-termination.c true 28.7  15.8  396300288 timeout (error (143)) 302    253    2339360768
eca-rers2012/Problem03_label02_true-unreach-call.c true 135    86.5  2439962624 timeout (error (143)) 305    277    2257960960
eca-rers2012/Problem03_label06_true-unreach-call.c true 231    167    2973753344 timeout (error (143)) 302    271    2287247360
eca-rers2012/Problem03_label08_true-unreach-call.c out of memory 269    161    5999996928 timeout (error (143)) 304    274    2265145344
eca-rers2012/Problem03_label10_true-unreach-call.c true 178    128    2943213568 timeout (error (143)) 303    276    2247573504
eca-rers2012/Problem03_label15_true-unreach-call.c timeout 322    198    5198450688 timeout (error (143)) 305    277    2271293440
eca-rers2012/Problem03_label16_true-unreach-call.c true 164    113    2674475008 timeout (error (143)) 305    278    2264231936
eca-rers2012/Problem03_label18_true-unreach-call.c timeout 300    192    5999996928 timeout (error (143)) 304    277    2263130112
eca-rers2012/Problem03_label19_true-unreach-call.c timeout 320    203    4686688256 timeout (error (143)) 306    275    2269171712
eca-rers2012/Problem03_label20_true-unreach-call.c out of memory 275    173    5999996928 timeout (error (143)) 304    278    2277138432
eca-rers2012/Problem03_label21_true-unreach-call.c timeout 322    197    5340123136 timeout (error (143)) 305    278    2255015936
eca-rers2012/Problem03_label22_true-unreach-call.c out of memory 279    168    5999996928 timeout (error (143)) 305    279    2242600960
eca-rers2012/Problem03_label29_true-unreach-call.c timeout 321    195    5665353728 timeout (error (143)) 303    276    2257154048
eca-rers2012/Problem03_label30_true-unreach-call.c true 153    105    2839220224 timeout (error (143)) 305    273    2278027264
eca-rers2012/Problem03_label32_true-unreach-call.c true 126    80.8  2538237952 timeout (error (143)) 304    275    2268626944
eca-rers2012/Problem03_label40_true-unreach-call.c true 71.6  42.4  1126305792 timeout (error (143)) 304    276    2240987136
eca-rers2012/Problem03_label42_true-unreach-call.c true 140    91.4  2891608064 timeout (error (143)) 304    281    2255089664
eca-rers2012/Problem03_label44_true-unreach-call.c timeout 321    204    5620031488 timeout (error (143)) 304    281    2255503360
eca-rers2012/Problem03_label51_true-unreach-call.c timeout 322    200    5694644224 timeout (error (143)) 303    280    2261610496
eca-rers2012/Problem03_label54_true-unreach-call.c timeout 301    178    5999996928 timeout (error (143)) 305    283    2232938496
eca-rers2012/Problem03_label56_true-unreach-call.c out of memory 246    151    5999996928 timeout (error (143)) 304    275    2257702912
eca-rers2012/Problem03_label57_true-unreach-call.c true 195    131    3516739584 timeout (error (143)) 304    273    2280779776
eca-rers2012/Problem03_label58_true-unreach-call.c out of memory 276    169    5999996928 timeout (error (143)) 303    279    2266468352
eca-rers2012/Problem04_label00_true-unreach-call.c true 223    152    2948849664 timeout (error (143)) 302    251    2353139712
eca-rers2012/Problem04_label01_true-unreach-call.c true 280    185    3114602496 timeout (error (143)) 303    254    2333081600
eca-rers2012/Problem04_label03_true-unreach-call.c true 193    127    2788405248 timeout (error (143)) 302    257    2343329792
eca-rers2012/Problem04_label05_true-unreach-call.c true 275    187    3210063872 timeout (error (143)) 303    254    2343436288
eca-rers2012/Problem04_label20_true-unreach-call_false-termination.c true 248    166    3266748416 timeout (error (143)) 303    254    2351849472
eca-rers2012/Problem04_label22_true-unreach-call.c true 262    183    3125538816 timeout (error (143)) 304    254    2351144960
eca-rers2012/Problem04_label23_true-unreach-call_false-termination.c true 269    185    3035975680 timeout (error (143)) 302    241    2353201152
eca-rers2012/Problem04_label29_true-unreach-call_false-termination.c true 184    122    2950443008 timeout (error (143)) 302    255    2353176576
eca-rers2012/Problem04_label33_true-unreach-call.c true 288    197    3277357056 timeout (error (143)) 302    249    2383663104
eca-rers2012/Problem04_label34_true-unreach-call.c timeout (error: exception) 301    213    3313676288 timeout (error (143)) 302    255    2345746432
eca-rers2012/Problem04_label43_true-unreach-call_false-termination.c true 212    138    3034083328 timeout (error (143)) 302    248    2388926464
eca-rers2012/Problem04_label44_true-unreach-call_false-termination.c true 297    206    3057733632 timeout (error (143)) 302    257    2330382336
eca-rers2012/Problem04_label46_true-unreach-call_false-termination.c true 239    163    2894774272 timeout (error (143)) 302    251    2345058304
eca-rers2012/Problem04_label47_true-unreach-call.c true 264    183    3245862912 timeout (error (143)) 302    258    2334568448
eca-rers2012/Problem04_label48_true-unreach-call.c true 141    93.5  2454065152 timeout (error (143)) 302    252    2338488320
eca-rers2012/Problem04_label49_true-unreach-call_false-termination.c true 265    188    3060559872 timeout (error (143)) 302    256    2350022656
eca-rers2012/Problem04_label51_true-unreach-call.c true 286    190    3164712960 timeout (error (143)) 302    250    2332917760
eca-rers2012/Problem04_label53_true-unreach-call.c true 192    126    3070091264 timeout (error (143)) 302    243    2339446784
eca-rers2012/Problem04_label54_true-unreach-call.c true 257    174    3189616640 timeout (error (143)) 302    251    2359291904
eca-rers2012/Problem04_label59_true-unreach-call.c true 183    119    2892685312 timeout (error (143)) 302    257    2333458432
eca-rers2012/Problem05_label10_true-unreach-call.c timeout (error: exception) 301    212    3431432192 timeout (error (143)) 303    232    2605711360
eca-rers2012/Problem06_label19_true-unreach-call.c timeout 322    207    5436694528 timeout (error (143)) 306    256    2436771840
eca-rers2012/Problem06_label40_true-unreach-call.c timeout 322    203    5464072192 timeout (error (143)) 306    267    2402447360
eca-rers2012/Problem06_label50_true-unreach-call.c timeout 322    202    5728514048 timeout (error (143)) 306    259    2436513792
eca-rers2012/Problem06_label53_true-unreach-call.c timeout (error: exception) 302    191    4747849728 timeout (error (143)) 306    259    2412703744
eca-rers2012/Problem06_label55_true-unreach-call.c timeout 322    203    5028179968 timeout (error (143)) 306    255    2436571136
eca-rers2012/Problem07_label38_true-unreach-call.c timeout (error: exception) 302    233    3644186624 timeout (error (143)) 301    230    3707580416
eca-rers2012/Problem07_label54_true-unreach-call.c timeout (error (143)) 301    231    3689447424 timeout (error: exception) 304    237    3487440896
eca-rers2012/Problem08_label00_true-unreach-call.c timeout (error (143)) 306    210    5008719872 timeout (error (1)) 303    213    4809605120
eca-rers2012/Problem08_label03_true-unreach-call.c timeout (error (143)) 306    209    5056475136 timeout (error: exception) 304    237    4819628032
eca-rers2012/Problem08_label08_true-unreach-call.c timeout (error (143)) 305    206    5125058560 error (1) 238    178    4287397888
eca-rers2012/Problem08_label11_true-unreach-call.c timeout (error (143)) 306    212    5068374016 timeout 321    245    4674867200
eca-rers2012/Problem08_label12_true-unreach-call.c timeout (error (143)) 306    216    5002919936 error (1) 225    164    4442714112
eca-rers2012/Problem08_label14_true-unreach-call.c timeout (error (143)) 306    203    5044092928 timeout 322    230    5146460160
eca-rers2012/Problem08_label16_true-unreach-call.c timeout (error (143)) 306    214    5001621504 timeout 322    298    4927074304
eca-rers2012/Problem08_label17_true-unreach-call.c timeout (error (143)) 305    208    5100486656 timeout 322    310    5034786816
eca-rers2012/Problem08_label18_true-unreach-call.c timeout (error (143)) 309    201    5153017856 timeout 321    311    5640347648
eca-rers2012/Problem08_label23_true-unreach-call.c timeout (error (143)) 306    202    5007953920 timeout 321    221    5663174656
eca-rers2012/Problem08_label27_true-unreach-call.c timeout (error (143)) 306    212    5062103040 timeout 322    219    5689110528
eca-rers2012/Problem08_label30_true-unreach-call.c timeout (error (143)) 306    211    5010026496 timeout 322    219    5030805504
eca-rers2012/Problem08_label31_true-unreach-call.c timeout (error (143)) 305    208    5106192384 timeout 321    219    5631488000
eca-rers2012/Problem08_label32_true-unreach-call.c timeout (error (143)) 305    207    5015248896 timeout 322    221    5586554880
eca-rers2012/Problem08_label36_true-unreach-call.c timeout (error (143)) 306    204    5031211008 timeout 321    219    5666824192
eca-rers2012/Problem08_label45_true-unreach-call.c timeout (error (143)) 306    206    5017956352 timeout 322    220    5118775296
eca-rers2012/Problem08_label52_true-unreach-call.c timeout (error (143)) 306    213    5015076864 timeout 322    220    4850356224
eca-rers2012/Problem08_label54_true-unreach-call.c timeout (error (143)) 306    205    5034356736 timeout 322    220    5027729408
eca-rers2012/Problem08_label57_true-unreach-call.c timeout (error (143)) 307    211    5085118464 timeout 321    219    5120307200
eca-rers2012/Problem09_label42_true-unreach-call.c timeout (error (143)) 310    207    5488218112 timeout 322    226    4857765888
eca-rers2012/Problem10_label00_true-unreach-call.c true 65.4  36.9  602165248 timeout (error (143)) 301    224    2547048448
eca-rers2012/Problem10_label01_true-unreach-call.c true 56.1  31.5  488890368 timeout (error (143)) 301    223    2525753344
eca-rers2012/Problem10_label02_true-unreach-call.c true 61.6  35.2  601845760 timeout (error (143)) 302    222    2519625728
eca-rers2012/Problem10_label03_true-unreach-call.c true 70.3  42.0  503209984 timeout (error (143)) 301    223    2510397440
eca-rers2012/Problem10_label07_true-unreach-call.c true 27.5  15.8  391540736 timeout (error (143)) 302    236    2514530304
eca-rers2012/Problem10_label08_true-unreach-call.c true 32.5  18.0  428072960 timeout (error (143)) 302    230    2598879232
eca-rers2012/Problem10_label10_true-unreach-call.c true 30.4  17.1  407920640 timeout (error (143)) 300    226    2491424768
eca-rers2012/Problem10_label11_true-unreach-call.c true 36.3  20.4  428408832 timeout (error (143)) 301    223    2541404160
eca-rers2012/Problem10_label13_true-unreach-call.c true 65.9  40.1  673665024 timeout (error (143)) 301    214    2536738816
eca-rers2012/Problem10_label14_true-unreach-call.c true 69.0  41.5  631001088 timeout (error (143)) 301    229    2506420224
eca-rers2012/Problem10_label16_true-unreach-call.c true 55.2  31.7  555175936 timeout (error (143)) 302    224    2517401600
eca-rers2012/Problem10_label17_true-unreach-call.c true 55.1  31.5  552787968 timeout (error (143)) 301    236    2524180480
eca-rers2012/Problem10_label18_true-unreach-call.c true 46.3  27.1  519122944 timeout (error (143)) 301    209    2507677696
eca-rers2012/Problem10_label19_true-unreach-call.c true 56.8  32.5  524361728 timeout (error (143)) 304    230    2531254272
eca-rers2012/Problem10_label20_true-unreach-call.c true 61.5  36.5  495149056 timeout (error (143)) 301    221    2516770816
eca-rers2012/Problem10_label21_true-unreach-call.c true 49.1  27.6  505982976 timeout (error (143)) 301    224    2515906560
eca-rers2012/Problem10_label22_true-unreach-call.c true 44.0  24.7  493080576 timeout (error (143)) 301    223    2510917632
eca-rers2012/Problem10_label23_true-unreach-call.c true 52.0  29.1  523595776 timeout (error (143)) 301    226    2486509568
eca-rers2012/Problem10_label25_true-unreach-call.c true 74.3  43.2  677675008 timeout (error (143)) 301    219    2489827328
eca-rers2012/Problem10_label27_true-unreach-call.c true 51.3  29.4  546062336 timeout (error (143)) 304    241    2532384768
eca-rers2012/Problem10_label30_true-unreach-call.c true 42.7  23.9  461000704 timeout (error (143)) 301    222    2529153024
eca-rers2012/Problem10_label31_true-unreach-call.c true 27.6  16.0  396341248 timeout (error (143)) 302    228    2587377664
eca-rers2012/Problem10_label32_true-unreach-call.c true 27.1  15.4  406757376 timeout (error (143)) 302    215    2498949120
eca-rers2012/Problem10_label33_true-unreach-call.c true 44.1  24.9  506298368 timeout (error (143)) 301    219    2526285824
eca-rers2012/Problem10_label35_true-unreach-call.c true 63.9  36.6  595075072 timeout (error (143)) 301    221    2518286336
eca-rers2012/Problem10_label36_true-unreach-call.c true 33.3  19.1  411754496 timeout (error (143)) 301    228    2518216704
eca-rers2012/Problem10_label37_true-unreach-call.c true 53.9  30.8  575754240 timeout (error (143)) 301    227    2536726528
eca-rers2012/Problem10_label38_true-unreach-call.c true 35.5  19.9  422039552 timeout (error (143)) 302    221    2520428544
eca-rers2012/Problem10_label39_true-unreach-call.c true 41.0  24.5  437686272 timeout (error (143)) 300    228    2520399872
eca-rers2012/Problem10_label40_true-unreach-call.c true 48.6  28.0  457326592 timeout (error (143)) 301    228    2511372288
eca-rers2012/Problem10_label43_true-unreach-call.c true 41.6  23.5  446119936 timeout (error (143)) 301    235    2458243072
eca-rers2012/Problem10_label45_true-unreach-call.c true 36.5  23.0  427884544 timeout (error (143)) 301    210    2451636224
eca-rers2012/Problem10_label49_true-unreach-call.c true 58.1  36.8  599879680 timeout (error (143)) 301    211    2486280192
eca-rers2012/Problem10_label51_true-unreach-call.c true 31.1  18.9  391450624 timeout (error (143)) 301    236    2622988288
eca-rers2012/Problem10_label52_true-unreach-call.c true 30.0  16.8  384040960 timeout (error (143)) 302    222    2518626304
eca-rers2012/Problem10_label53_true-unreach-call.c true 29.7  16.5  390127616 timeout (error (143)) 306    223    2524114944
eca-rers2012/Problem10_label54_true-unreach-call.c true 41.2  23.3  454615040 timeout (error (143)) 302    223    2536251392
eca-rers2012/Problem10_label56_true-unreach-call.c true 87.1  54.7  848666624 timeout (error (143)) 300    234    2530418688
eca-rers2012/Problem10_label59_true-unreach-call.c true 143    102    933830656 timeout (error (143)) 301    219    2529955840
eca-rers2012/Problem11_label01_true-unreach-call.c true 92.0  55.9  1107283968 timeout (error (143)) 301    217    2581037056
eca-rers2012/Problem11_label03_true-unreach-call.c true 57.7  32.6  642752512 timeout (error (143)) 301    239    2474586112
eca-rers2012/Problem11_label04_true-unreach-call.c true 64.1  36.6  714276864 timeout (error (143)) 301    219    2440962048
eca-rers2012/Problem11_label06_true-unreach-call.c true 115    70.3  1433165824 timeout (error (143)) 301    219    2609135616
eca-rers2012/Problem11_label07_true-unreach-call.c true 50.5  28.7  582520832 timeout (error (143)) 301    246    2372550656
eca-rers2012/Problem11_label09_true-unreach-call.c true 66.3  39.1  922628096 timeout (error (143)) 301    247    2335334400
eca-rers2012/Problem11_label12_true-unreach-call.c true 46.4  27.1  636841984 timeout (error (143)) 301    254    2356465664
eca-rers2012/Problem11_label13_true-unreach-call.c true 47.5  28.1  571809792 timeout (error (143)) 300    223    2566479872
eca-rers2012/Problem11_label16_true-unreach-call.c true 54.9  32.3  599420928 timeout (error (143)) 305    205    2448162816
eca-rers2012/Problem11_label17_true-unreach-call.c true 76.2  46.8  864030720 timeout (error (143)) 301    243    2373877760
eca-rers2012/Problem11_label18_true-unreach-call.c true 88.0  54.2  864010240 timeout (error (143)) 301    257    2366377984
eca-rers2012/Problem11_label21_true-unreach-call.c true 128    79.4  1828712448 timeout (error (143)) 301    220    2641256448
eca-rers2012/Problem11_label23_true-unreach-call.c true 50.9  31.7  666451968 timeout (error (143)) 301    185    2549559296
eca-rers2012/Problem11_label26_true-unreach-call.c true 111    69.6  1485721600 timeout (error (143)) 301    219    2643009536
eca-rers2012/Problem11_label27_true-unreach-call.c true 67.7  39.9  827863040 timeout (error (143)) 301    233    2370113536
eca-rers2012/Problem11_label28_true-unreach-call.c true 202    143    2219110400 timeout (error (143)) 301    224    2594062336
eca-rers2012/Problem11_label32_true-unreach-call.c true 59.9  35.2  675663872 timeout (error (143)) 301    242    2366201856
eca-rers2012/Problem11_label33_true-unreach-call.c true 56.7  34.3  569253888 timeout (error (143)) 301    215    2610958336
eca-rers2012/Problem11_label37_true-unreach-call.c true 55.3  33.9  637698048 timeout (error (143)) 301    217    2623451136
eca-rers2012/Problem11_label38_true-unreach-call.c true 69.0  41.4  847695872 timeout (error (143)) 302    230    2498523136
eca-rers2012/Problem11_label41_true-unreach-call.c true 208    155    1938202624 timeout (error (143)) 302    217    2579165184
eca-rers2012/Problem11_label44_true-unreach-call.c true 97.5  66.5  808923136 timeout (error (143)) 301    217    2411266048
eca-rers2012/Problem11_label47_true-unreach-call.c true 82.7  50.8  905596928 timeout (error (143)) 300    233    2360066048
eca-rers2012/Problem11_label52_true-unreach-call.c true 154    103    1713758208 timeout (error (143)) 301    245    2383036416
eca-rers2012/Problem11_label53_true-unreach-call.c true 60.9  34.8  711217152 timeout (error (143)) 301    215    2516135936
eca-rers2012/Problem11_label54_true-unreach-call.c true 213    167    1658441728 timeout (error (143)) 301    224    2489372672
eca-rers2012/Problem11_label57_true-unreach-call.c true 263    223    1394573312 timeout (error (143)) 301    212    2646016000
eca-rers2012/Problem11_label59_true-unreach-call.c true 86.4  53.3  963047424 timeout (error (143)) 302    241    2427564032
eca-rers2012/Problem12_label09_true-unreach-call.c error: exception 206    150    2655387648 timeout (error (143)) 307    220    2591162368
eca-rers2012/Problem12_label12_true-unreach-call.c true 242    174    2903412736 timeout (error (143)) 303    201    2598506496
eca-rers2012/Problem12_label16_true-unreach-call.c true 228    161    3181252608 timeout (error (143)) 302    212    2575028224
eca-rers2012/Problem12_label22_true-unreach-call.c true 229    159    3055890432 timeout (error (143)) 306    209    2697318400
eca-rers2012/Problem12_label23_true-unreach-call.c true 259    184    3140583424 timeout (error (143)) 306    216    2599202816
eca-rers2012/Problem12_label26_true-unreach-call.c true 243    170    3171110912 timeout (error (143)) 301    204    2449907712
eca-rers2012/Problem12_label29_true-unreach-call.c true 162    113    2486259712 timeout (error (143)) 301    210    2520248320
eca-rers2012/Problem12_label31_true-unreach-call.c true 232    168    2708885504 timeout (error (143)) 306    220    2532147200
eca-rers2012/Problem12_label32_true-unreach-call.c true 260    186    3169202176 timeout (error (143)) 301    208    2479529984
eca-rers2012/Problem12_label41_true-unreach-call.c timeout (error: exception) 301    213    3093794816 timeout (error (143)) 301    215    2520506368
eca-rers2012/Problem12_label43_true-unreach-call.c true 174    124    1745047552 timeout (error (143)) 301    225    2566782976
eca-rers2012/Problem12_label46_true-unreach-call.c true 176    126    1821167616 timeout (error (143)) 303    221    2500558848
eca-rers2012/Problem12_label47_true-unreach-call.c true 177    126    2531213312 timeout (error (143)) 304    207    2606907392
eca-rers2012/Problem12_label49_true-unreach-call.c true 216    149    2924847104 timeout (error (143)) 305    220    2484068352
eca-rers2012/Problem12_label53_true-unreach-call.c true 230    163    2932342784 timeout (error (143)) 306    210    2637672448
eca-rers2012/Problem12_label54_true-unreach-call.c true 229    161    2902708224 timeout (error (143)) 301    217    2667769856
eca-rers2012/Problem12_label56_true-unreach-call.c true 190    135    2551554048 timeout (error (143)) 301    218    2477375488
eca-rers2012/Problem12_label58_true-unreach-call.c true 179    123    2520023040 timeout (error (143)) 302    197    2611634176
eca-rers2012/Problem12_label59_true-unreach-call.c true 257    180    3228823552 timeout (error (143)) 306    222    2564378624
eca-rers2012/Problem13_label14_true-unreach-call.c timeout (error: exception) 302    221    3323703296 timeout (error (143)) 306    214    2754379776
eca-rers2012/Problem13_label31_true-unreach-call.c true 266    190    3158581248 timeout (error (143)) 301    203    2617479168
eca-rers2012/Problem14_label04_true-unreach-call_false-termination.c true 285    228    2283036672 timeout (error (143)) 301    216    2692501504
eca-rers2012/Problem14_label05_true-unreach-call_false-termination.c true 77.6  45.9  1254096896 timeout (error (143)) 301    214    2541010944
eca-rers2012/Problem14_label06_true-unreach-call_false-termination.c true 67.9  39.3  1515315200 timeout (error (143)) 301    222    2516353024
eca-rers2012/Problem14_label07_true-unreach-call_false-termination.c true 103    62.6  2154405888 timeout (error (143)) 302    218    2506584064
eca-rers2012/Problem14_label16_true-unreach-call_false-termination.c true 67.3  39.5  862769152 timeout (error (143)) 304    225    2675613696
eca-rers2012/Problem14_label17_true-unreach-call_false-termination.c true 58.3  33.2  679587840 timeout (error (143)) 303    227    2633428992
eca-rers2012/Problem14_label19_true-unreach-call_false-termination.c true 118    77.3  2222153728 timeout (error (143)) 302    213    2555981824
eca-rers2012/Problem14_label21_true-unreach-call_false-termination.c true 55.6  32.5  912998400 timeout (error (143)) 300    223    2550317056
eca-rers2012/Problem14_label23_true-unreach-call_false-termination.c true 144    90.8  2191015936 timeout (error (143)) 301    213    2518401024
eca-rers2012/Problem14_label24_true-unreach-call_false-termination.c true 129    75.7  2244976640 timeout (error (143)) 301    219    2544173056
eca-rers2012/Problem14_label25_true-unreach-call_false-termination.c true 65.7  37.8  755240960 timeout (error (143)) 301    221    2660331520
eca-rers2012/Problem14_label26_true-unreach-call_false-termination.c true 79.0  47.7  1365336064 timeout (error (143)) 301    223    2570227712
eca-rers2012/Problem14_label32_true-unreach-call_false-termination.c true 121    77.4  2181345280 timeout (error (143)) 301    211    2533056512
eca-rers2012/Problem14_label33_true-unreach-call_false-termination.c true 90.4  51.0  1551810560 timeout (error (143)) 302    213    2525601792
eca-rers2012/Problem14_label36_true-unreach-call_false-termination.c true 62.3  36.9  829456384 timeout (error (143)) 301    216    2607640576
eca-rers2012/Problem14_label38_true-unreach-call_false-termination.c true 65.3  36.4  966934528 timeout (error (143)) 305    207    2578386944
eca-rers2012/Problem14_label42_true-unreach-call_false-termination.c true 88.8  52.0  1852542976 timeout (error (143)) 301    216    2649669632
eca-rers2012/Problem14_label45_true-unreach-call_false-termination.c true 108    65.7  1984450560 timeout (error (143)) 301    225    2643464192
eca-rers2012/Problem14_label47_true-unreach-call_false-termination.c true 87.8  51.3  1926033408 timeout (error (143)) 302    221    2668355584
eca-rers2012/Problem14_label49_true-unreach-call_false-termination.c true 73.1  41.9  1233301504 timeout (error (143)) 301    213    2527195136
eca-rers2012/Problem14_label50_true-unreach-call_false-termination.c true 118    75.0  2195976192 timeout (error (143)) 303    213    2520371200
eca-rers2012/Problem14_label51_true-unreach-call_false-termination.c true 274    219    2214387712 timeout (error (143)) 301    208    2529316864
eca-rers2012/Problem14_label53_true-unreach-call_false-termination.c true 295    236    2255872000 timeout (error (143)) 301    224    2532519936
eca-rers2012/Problem14_label55_true-unreach-call_false-termination.c true 121    77.9  2211852288 timeout (error (143)) 301    210    2519728128
eca-rers2012/Problem14_label59_true-unreach-call_false-termination.c true 70.0  40.6  986189824 timeout (error (143)) 301    208    2533281792
eca-rers2012/Problem15_label04_true-unreach-call.c true 223    163    2380488704 timeout (error (143)) 301    223    2785148928
eca-rers2012/Problem15_label05_true-unreach-call.c true 219    159    2186387456 timeout (error (143)) 301    208    2665480192
eca-rers2012/Problem15_label06_true-unreach-call.c true 191    135    1631649792 timeout (error (143)) 302    205    2811478016
eca-rers2012/Problem15_label11_true-unreach-call.c true 188    131    2182651904 timeout (error (143)) 301    219    2699247616
eca-rers2012/Problem15_label19_true-unreach-call.c true 184    129    2197778432 timeout (error (143)) 302    207    2733391872
eca-rers2012/Problem15_label20_true-unreach-call.c true 160    112    1854595072 timeout (error (143)) 302    202    2732429312
eca-rers2012/Problem15_label21_true-unreach-call.c true 165    114    2066919424 timeout (error (143)) 301    212    2788872192
eca-rers2012/Problem15_label26_true-unreach-call.c true 220    161    1870229504 timeout (error (143)) 301    209    2759888896
eca-rers2012/Problem15_label27_true-unreach-call.c true 290    223    2320015360 timeout (error (143)) 305    216    2717003776
eca-rers2012/Problem15_label31_true-unreach-call.c true 120    78.8  1215987712 timeout (error (143)) 301    212    2633695232
eca-rers2012/Problem15_label35_true-unreach-call.c true 131    89.3  1432629248 timeout (error (143)) 302    207    2619072512
eca-rers2012/Problem15_label36_true-unreach-call.c true 131    88.8  1235070976 timeout (error (143)) 303    212    2739585024
eca-rers2012/Problem15_label42_true-unreach-call.c true 97.6  61.8  813633536 timeout (error (143)) 301    225    2668892160
eca-rers2012/Problem15_label43_true-unreach-call.c true 120    80.8  1315667968 timeout (error (143)) 305    216    2550525952
eca-rers2012/Problem15_label44_true-unreach-call.c true 215    151    2247909376 timeout (error (143)) 301    221    2741055488
eca-rers2012/Problem15_label46_true-unreach-call.c true 151    106    1762734080 timeout (error (143)) 301    218    2680123392
eca-rers2012/Problem15_label49_true-unreach-call.c true 149    104    1226260480 timeout (error (143)) 302    207    2817527808
eca-rers2012/Problem15_label53_true-unreach-call.c true 131    86.1  1236893696 timeout (error (143)) 302    207    2894139392
eca-rers2012/Problem15_label54_true-unreach-call.c true 136    90.9  1172213760 timeout (error (143)) 302    202    2823708672
eca-rers2012/Problem15_label55_true-unreach-call.c true 102    66.0  960581632 timeout (error (143)) 303    226    2708201472
eca-rers2012/Problem15_label56_true-unreach-call.c true 98.9  65.0  954122240 timeout (error (143)) 301    212    2860556288
eca-rers2012/Problem15_label57_true-unreach-call.c true 128    91.3  1218007040 timeout (error (143)) 300    198    2851930112
eca-rers2012/Problem15_label58_true-unreach-call.c true 89.8  58.9  823054336 timeout (error (143)) 301    204    2862600192
eca-rers2012/Problem15_label59_true-unreach-call.c true 181    126    2347081728 timeout (error (143)) 301    220    2665480192
eca-rers2012/Problem16_label02_true-unreach-call.c error: exception 254    233    646369280 timeout (error (143)) 301    212    2589978624
eca-rers2012/Problem16_label07_true-unreach-call.c true 74.8  48.5  1002614784 timeout (error (143)) 301    210    2715496448
eca-rers2012/Problem16_label09_true-unreach-call.c true 84.5  54.5  901595136 timeout (error (143)) 300    211    2659790848
eca-rers2012/Problem16_label10_true-unreach-call.c true 86.5  51.1  1218269184 timeout (error (143)) 306    218    2762002432
eca-rers2012/Problem16_label11_true-unreach-call.c true 108    66.1  1475833856 timeout (error (143)) 301    215    2607550464
eca-rers2012/Problem16_label12_true-unreach-call.c true 161    110    2385108992 timeout (error (143)) 301    213    2579726336
eca-rers2012/Problem16_label13_true-unreach-call.c true 117    72.4  1760182272 timeout (error (143)) 302    211    2628722688
eca-rers2012/Problem16_label16_true-unreach-call.c true 79.0  51.0  1213603840 timeout (error (143)) 301    212    2546413568
eca-rers2012/Problem16_label17_true-unreach-call.c true 76.0  48.7  1188696064 timeout (error (143)) 301    204    2691117056
eca-rers2012/Problem16_label19_true-unreach-call.c true 123    75.5  2211893248 timeout (error (143)) 301    201    2651779072
eca-rers2012/Problem16_label21_true-unreach-call.c true 174    122    2344869888 timeout (error (143)) 301    213    2488328192
eca-rers2012/Problem16_label23_true-unreach-call.c true 97.2  58.8  1273106432 timeout (error (143)) 301    215    2671312896
eca-rers2012/Problem16_label24_true-unreach-call.c true 98.2  60.2  1397002240 timeout (error (143)) 301    208    2639052800
eca-rers2012/Problem16_label25_true-unreach-call.c true 80.4  53.6  1252937728 timeout (error (143)) 301    212    2677280768
eca-rers2012/Problem16_label26_true-unreach-call.c true 116    72.9  1763549184 timeout (error (143)) 304    216    2693283840
eca-rers2012/Problem16_label28_true-unreach-call.c true 154    103    2320183296 timeout (error (143)) 306    213    2684006400
eca-rers2012/Problem16_label29_true-unreach-call.c true 189    131    2508992512 timeout (error (143)) 301    217    2667634688
eca-rers2012/Problem16_label32_true-unreach-call.c true 200    142    2398687232 timeout (error (143)) 301    217    2597117952
eca-rers2012/Problem16_label34_true-unreach-call.c true 178    123    2357669888 timeout (error (143)) 303    209    2696974336
eca-rers2012/Problem16_label35_true-unreach-call.c true 110    67.7  2203885568 timeout (error (143)) 301    212    2695008256
eca-rers2012/Problem16_label36_true-unreach-call.c true 117    73.4  2215866368 timeout (error (143)) 301    210    2633437184
eca-rers2012/Problem16_label39_true-unreach-call.c true 118    73.6  2216873984 timeout (error (143)) 302    207    2686861312
eca-rers2012/Problem16_label40_true-unreach-call.c true 140    90.3  2232127488 timeout (error (143)) 301    199    2633355264
eca-rers2012/Problem16_label42_true-unreach-call.c true 121    76.5  2157178880 timeout (error (143)) 301    211    2640326656
eca-rers2012/Problem16_label45_true-unreach-call.c true 207    144    2358706176 timeout (error (143)) 306    215    2703802368
eca-rers2012/Problem16_label47_true-unreach-call.c true 41.7  24.2  502513664 timeout (error (143)) 301    199    2684526592
eca-rers2012/Problem16_label48_true-unreach-call.c true 60.9  35.7  712892416 timeout (error (143)) 301    204    2644602880
eca-rers2012/Problem16_label49_true-unreach-call.c true 49.3  28.9  501911552 timeout (error (143)) 301    214    2688196608
eca-rers2012/Problem16_label50_true-unreach-call.c true 64.5  37.9  679505920 timeout (error (143)) 306    216    2732740608
eca-rers2012/Problem16_label53_true-unreach-call.c true 192    137    2507497472 timeout (error (143)) 301    202    2683146240
eca-rers2012/Problem16_label56_true-unreach-call.c true 56.4  34.1  617381888 timeout (error (143)) 301    210    2718343168
eca-rers2012/Problem16_label57_true-unreach-call.c true 63.6  39.2  610881536 timeout (error (143)) 301    203    2639138816
eca-rers2012/Problem16_label58_true-unreach-call.c true 106    64.3  1552003072 timeout (error (143)) 303    209    2579759104
eca-rers2012/Problem16_label59_true-unreach-call.c true 118    73.7  2171588608 timeout (error (143)) 302    205    2700599296
eca-rers2012/Problem17_label42_true-unreach-call.c true 220    158    2660642816 timeout (error (143)) 301    221    2535944192
eca-rers2012/Problem18_label02_true-unreach-call.c true 233    162    2885226496 timeout (error (143)) 301    201    2681671680
eca-rers2012/Problem18_label07_true-unreach-call.c true 218    151    2585882624 timeout (error (143)) 307    213    2769883136
eca-rers2012/Problem18_label11_true-unreach-call.c true 129    85.8  1874169856 timeout (error (143)) 301    200    2572681216
eca-rers2012/Problem18_label13_true-unreach-call.c true 173    114    2725322752 timeout (error (143)) 301    206    2782388224
eca-rers2012/Problem18_label16_true-unreach-call.c true 178    117    2858106880 timeout (error (143)) 302    196    2668929024
eca-rers2012/Problem18_label18_true-unreach-call.c true 172    113    2582228992 timeout (error (143)) 308    211    2704510976
eca-rers2012/Problem18_label21_true-unreach-call.c true 176    116    2509950976 timeout (error (143)) 301    193    2646536192
eca-rers2012/Problem18_label22_true-unreach-call.c true 236    163    2695766016 timeout (error (143)) 301    202    2636972032
eca-rers2012/Problem18_label23_true-unreach-call.c true 178    121    2461253632 timeout (error (143)) 301    195    2560724992
eca-rers2012/Problem18_label26_true-unreach-call.c true 139    90.5  2507976704 timeout (error (143)) 302    192    2602020864
eca-rers2012/Problem18_label30_true-unreach-call.c true 133    87.5  2384343040 timeout (error (143)) 302    199    2662932480
eca-rers2012/Problem18_label37_true-unreach-call.c true 231    159    2800033792 timeout (error (143)) 302    202    2696048640
eca-rers2012/Problem18_label40_true-unreach-call.c true 152    101    2280992768 timeout (error (143)) 301    204    2628911104
eca-rers2012/Problem18_label41_true-unreach-call.c true 186    126    2325774336 timeout (error (143)) 301    207    2646601728
eca-rers2012/Problem18_label42_true-unreach-call.c true 209    142    2711916544 timeout (error (143)) 301    192    2591412224
eca-rers2012/Problem18_label43_true-unreach-call.c true 219    145    2917691392 timeout (error (143)) 301    209    2638573568
eca-rers2012/Problem18_label44_true-unreach-call.c true 237    166    2880909312 timeout (error (143)) 302    205    2675306496
eca-rers2012/Problem18_label46_true-unreach-call.c true 121    77.3  1739776000 timeout (error (143)) 301    195    2573398016
eca-rers2012/Problem18_label47_true-unreach-call.c true 222    153    2736009216 timeout (error (143)) 301    194    2561798144
eca-rers2012/Problem18_label48_true-unreach-call.c true 208    139    2858246144 timeout (error (143)) 306    203    2636255232
eca-rers2012/Problem18_label50_true-unreach-call.c true 174    116    2839875584 timeout (error (143)) 300    201    2657308672
eca-rers2012/Problem18_label51_true-unreach-call.c true 139    90.8  2315968512 timeout (error (143)) 301    197    2639872000
eca-rers2012/Problem18_label53_true-unreach-call.c true 172    113    2472685568 timeout (error (143)) 301    197    2675200000
eca-rers2012/Problem18_label54_true-unreach-call.c true 193    131    2763374592 timeout (error (143)) 300    204    2753671168
eca-rers2012/Problem18_label56_true-unreach-call.c true 147    96.2  2359144448 timeout (error (143)) 302    207    2723708928
eca-rers2012/Problem18_label58_true-unreach-call.c true 173    115    2560278528 timeout (error (143)) 301    185    2591301632
eca-rers2012/Problem18_label59_true-unreach-call.c true 164    106    2579714048 timeout (error (143)) 302    195    2639650816
psyco/psyco_abp_1_false-unreach-call_false-termination_true-no-overflow.c false 101    56.6  641413120 timeout (error (143)) 302    214    2312364032
psyco/psyco_cev_3_false-unreach-call.c out of memory 230    168    6000025600 timeout (error (143)) 306    236    5999996928
psyco/psyco_abp_1_true-unreach-call_false-termination_true-no-overflow.c true 56.5  32.4  468180992 timeout (error (143)) 301    252    2388221952
../../../trunk/examples/svcomp/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
total 535 83000 56500 1103708770304 535 157000 119000 1445369610240
    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 Taipan