Tool ULTIMATE Automizer 0.1.23-1dbac8bc
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-26 18:21:01 CEST
Run set Automizer Taipan Taipan-EXP
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
eca-rers2012/Problem01_label15_false-unreach-call_false-termination.c false 60.3  36.2  1191469056 timeout (error (143)) 302    262    2913624064 false 144    93.9  2091507712
eca-rers2012/Problem01_label20_false-unreach-call_false-termination.c false 55.4  32.8  1185505280 timeout (error (143)) 301    260    2930040832 false 163    106    2780188672
eca-rers2012/Problem01_label21_false-unreach-call_false-termination.c false 49.6  30.4  1193398272 timeout (error (143)) 301    265    2903969792 false 158    104    2886381568
eca-rers2012/Problem01_label32_false-unreach-call_false-termination.c false 56.3  32.9  1093091328 timeout (error (143)) 301    267    2913169408 false 150    96.7  2624651264
eca-rers2012/Problem01_label33_false-unreach-call_false-termination.c false 51.2  30.8  1130147840 timeout (error (143)) 301    265    2915307520 false 139    87.4  2320056320
eca-rers2012/Problem01_label35_false-unreach-call_false-termination.c false 50.6  29.3  1034084352 timeout (error (143)) 301    261    2937405440 false 119    73.9  1865818112
eca-rers2012/Problem01_label37_false-unreach-call_false-termination.c false 60.9  37.0  1247805440 timeout (error (143)) 301    264    2913267712 false 97.6  61.2  1825517568
eca-rers2012/Problem01_label38_false-unreach-call_false-termination.c false 49.9  29.4  1021169664 timeout (error (143)) 302    265    2904514560 false 129    81.9  2282065920
eca-rers2012/Problem01_label44_false-unreach-call_false-termination.c false 42.7  24.9  1007693824 timeout (error (143)) 302    264    2912256000 false 89.5  54.6  1542193152
eca-rers2012/Problem01_label47_false-unreach-call_false-termination.c false 57.6  33.5  1177456640 timeout (error (143)) 302    260    2921443328 false 125    79.2  1891241984
eca-rers2012/Problem01_label50_false-unreach-call_false-termination.c false 51.2  29.9  1047916544 timeout (error (143)) 301    258    2914881536 false 134    84.4  2311991296
eca-rers2012/Problem01_label56_false-unreach-call_false-termination.c false 51.4  30.2  1065107456 timeout (error (143)) 301    265    2905706496 false 144    93.3  2260717568
eca-rers2012/Problem01_label57_false-unreach-call_false-termination.c false 63.8  38.0  1180282880 timeout (error (143)) 301    267    2895036416 false 135    88.0  2340765696
eca-rers2012/Problem02_label13_false-unreach-call_false-termination.c false 32.1  18.4  858370048 timeout (error (143)) 301    253    2939858944 false 88.8  53.8  1412673536
eca-rers2012/Problem02_label16_false-unreach-call_false-termination.c false 27.9  15.8  835829760 false 32.5  18.9  853893120 false 32.8  19.1  890269696
eca-rers2012/Problem02_label43_false-unreach-call_false-termination.c false 47.2  26.8  950689792 timeout (error (143)) 301    258    2916823040 false 70.3  39.9  1227587584
eca-rers2012/Problem02_label44_false-unreach-call_false-termination.c false 56.8  32.2  1032572928 timeout (error (143)) 301    260    2954862592 false 67.6  38.9  1224622080
eca-rers2012/Problem02_label45_false-unreach-call_false-termination.c false 55.9  32.8  1046986752 timeout (error (143)) 301    269    2909167616 false 78.2  47.1  1237549056
eca-rers2012/Problem02_label50_false-unreach-call_false-termination.c false 54.8  31.6  997986304 timeout (error (143)) 302    270    2912288768 false 102    62.0  1503072256
eca-rers2012/Problem02_label59_false-unreach-call_false-termination.c false 56.9  32.8  1073037312 timeout (error (143)) 301    269    2891083776 false 80.3  46.2  1273188352
eca-rers2012/Problem03_label09_false-unreach-call.c timeout (error (143)) 304    206    5967728640 timeout (error (143)) 302    272    2931019776 timeout (error (143)) 301    222    4355715072
eca-rers2012/Problem03_label13_false-unreach-call.c timeout (error (143)) 310    200    7756476416 timeout (error (143)) 303    276    2914250752 timeout (error (143)) 301    221    4005257216
eca-rers2012/Problem03_label26_false-unreach-call.c timeout 322    214    7779856384 timeout (error (143)) 304    281    2899320832 timeout (error (143)) 301    229    3748405248
eca-rers2012/Problem03_label27_false-unreach-call.c false 159    97.3  4538068992 timeout (error (143)) 302    272    2916446208 false 277    194    3944349696
eca-rers2012/Problem03_label28_false-unreach-call.c timeout (error (143)) 315    210    6398296064 timeout (error (143)) 301    275    2905964544 timeout (error (143)) 317    219    5336375296
eca-rers2012/Problem03_label31_false-unreach-call.c false 159    107    3908460544 timeout (error (143)) 302    281    2881347584 timeout (error (143)) 301    225    4403773440
eca-rers2012/Problem03_label35_false-unreach-call.c timeout (error (143)) 301    204    6102384640 timeout (error (143)) 303    279    2899415040 timeout (error (143)) 308    233    4351324160
eca-rers2012/Problem03_label37_false-unreach-call.c false 219    139    5819764736 timeout (error (143)) 306    282    2900197376 false 252    180    3637682176
eca-rers2012/Problem03_label39_false-unreach-call.c timeout (error (143)) 317    214    7476920320 timeout (error (143)) 308    282    2884239360 timeout (error (143)) 302    222    4096167936
eca-rers2012/Problem03_label43_false-unreach-call.c timeout (error (143)) 302    203    6325010432 timeout (error (143)) 302    276    2912374784 false 254    178    4231147520
eca-rers2012/Problem03_label45_false-unreach-call.c timeout (error (143)) 301    204    6029414400 timeout (error (143)) 302    282    2877632512 timeout (error (143)) 302    231    3761680384
eca-rers2012/Problem03_label50_false-unreach-call.c false 184    125    4593373184 timeout (error (143)) 303    279    2897457152 timeout (error (143)) 302    230    4155887616
eca-rers2012/Problem03_label52_false-unreach-call.c timeout (error (143)) 307    209    6307500032 timeout (error (143)) 302    282    2882068480 timeout (error (143)) 301    209    6079135744
eca-rers2012/Problem04_label04_false-unreach-call.c timeout (error (143)) 306    219    4786864128 timeout (error (143)) 303    262    2969325568 timeout (error (143)) 302    232    4309565440
eca-rers2012/Problem04_label06_false-unreach-call.c timeout (error (143)) 301    216    4176838656 timeout (error (143)) 302    257    2976665600 timeout (error (143)) 302    217    4125265920
eca-rers2012/Problem04_label09_false-unreach-call.c timeout (error (143)) 305    223    4940619776 timeout (error (143)) 302    257    2984185856 timeout (error (143)) 301    231    4235378688
eca-rers2012/Problem04_label11_false-unreach-call_false-termination.c timeout (error (143)) 301    218    4606267392 timeout (error (143)) 302    268    2965659648 timeout (error (143)) 304    226    3840786432
eca-rers2012/Problem04_label12_false-unreach-call_false-termination.c timeout (error (143)) 301    226    4226355200 timeout (error (143)) 302    264    2960302080 timeout (error (143)) 300    225    3690233856
eca-rers2012/Problem04_label13_false-unreach-call.c timeout (error (143)) 307    220    4262633472 timeout (error (143)) 301    264    2967187456 timeout (error (143)) 301    234    4036775936
eca-rers2012/Problem04_label14_false-unreach-call_false-termination.c timeout (error: exception) 302    218    4370067456 timeout (error (143)) 301    263    2969268224 timeout (error (143)) 300    234    4241813504
eca-rers2012/Problem04_label15_false-unreach-call.c timeout (error (143)) 301    217    4290641920 timeout (error (143)) 302    257    2978021376 timeout (error (143)) 302    233    4222099456
eca-rers2012/Problem04_label17_false-unreach-call_false-termination.c timeout (error (143)) 301    228    4409106432 timeout (error (143)) 300    251    3001020416 timeout (error (143)) 301    232    4353040384
eca-rers2012/Problem04_label18_false-unreach-call.c timeout (error (143)) 307    228    4298117120 timeout (error (143)) 301    247    3002597376 timeout (error (143)) 305    234    4388106240
eca-rers2012/Problem04_label19_false-unreach-call.c timeout (error (143)) 306    224    4237758464 timeout (error (143)) 301    249    2979770368 timeout (error (143)) 301    232    4284674048
eca-rers2012/Problem04_label26_false-unreach-call.c timeout (error (143)) 306    222    4188925952 timeout (error (143)) 301    251    2989547520 timeout (error (143)) 300    233    4278517760
eca-rers2012/Problem04_label27_false-unreach-call_false-termination.c timeout (error (143)) 306    223    4206301184 timeout (error (143)) 301    247    2981130240 timeout (error (143)) 304    234    4352663552
eca-rers2012/Problem04_label31_false-unreach-call.c timeout (error (143)) 301    232    3977240576 timeout (error (143)) 302    266    2961043456 timeout (error (143)) 300    235    4431515648
eca-rers2012/Problem04_label32_false-unreach-call.c timeout (error (143)) 301    226    4298620928 timeout (error (143)) 301    241    2993823744 timeout (error (143)) 301    230    4190031872
eca-rers2012/Problem04_label35_false-unreach-call.c timeout (error (143)) 304    225    4230975488 timeout (error (143)) 301    248    2978836480 timeout (error (143)) 301    236    4299325440
eca-rers2012/Problem04_label36_false-unreach-call_false-termination.c timeout (error (143)) 303    229    4343328768 timeout (error (143)) 302    262    2977992704 timeout (error (143)) 300    237    4293898240
eca-rers2012/Problem04_label38_false-unreach-call.c timeout (error: exception) 301    210    4349177856 timeout (error (143)) 301    251    2980573184 timeout (error (143)) 301    233    4283731968
eca-rers2012/Problem04_label39_false-unreach-call.c timeout (error (143)) 306    225    4511584256 timeout (error (143)) 301    249    2986078208 timeout (error (143)) 302    234    4356898816
eca-rers2012/Problem04_label40_false-unreach-call_false-termination.c timeout (error (143)) 301    226    4198105088 timeout (error (143)) 302    259    2974953472 timeout (error (143)) 301    232    4271407104
eca-rers2012/Problem04_label45_false-unreach-call.c timeout (error (143)) 302    217    4246454272 timeout (error (143)) 302    245    2973839360 timeout (error (143)) 301    230    4256215040
eca-rers2012/Problem04_label52_false-unreach-call.c timeout (error (143)) 306    234    4350357504 timeout (error (143)) 302    256    2971242496 timeout (error (143)) 301    233    4273528832
eca-rers2012/Problem04_label55_false-unreach-call.c timeout (error (143)) 302    227    4170924032 timeout (error (143)) 302    259    2968788992 timeout (error (143)) 301    210    4450418688
eca-rers2012/Problem04_label58_false-unreach-call_false-termination.c timeout (error (143)) 301    218    4311543808 timeout (error (143)) 302    259    2965983232 timeout (error (143)) 301    225    4202733568
eca-rers2012/Problem05_label00_false-unreach-call.c timeout (error (143)) 300    214    4823392256 timeout (error (143)) 302    229    3162812416 timeout (error (143)) 301    218    3933048832
eca-rers2012/Problem05_label01_false-unreach-call.c timeout (error (143)) 301    221    4761632768 timeout (error (143)) 301    231    3147878400 timeout (error (143)) 315    235    3902119936
eca-rers2012/Problem05_label11_false-unreach-call.c timeout (error (143)) 300    220    4976304128 timeout (error (143)) 301    229    3114336256 timeout (error (143)) 301    224    3917934592
eca-rers2012/Problem05_label13_false-unreach-call.c timeout (error (143)) 301    219    4958236672 timeout (error (143)) 308    240    3282726912 timeout (error (143)) 301    224    3704500224
eca-rers2012/Problem05_label15_false-unreach-call.c timeout (error (143)) 316    220    4501966848 timeout (error (143)) 302    235    3256233984 timeout (error (143)) 301    224    3805974528
eca-rers2012/Problem05_label18_false-unreach-call.c timeout (error (143)) 302    223    4679704576 timeout (error (143)) 303    237    3168174080 timeout (error (143)) 301    224    3746500608
eca-rers2012/Problem05_label24_false-unreach-call.c timeout (error (143)) 302    211    4486189056 timeout (error (143)) 302    238    3161968640 timeout (error (143)) 301    225    3909423104
eca-rers2012/Problem05_label26_false-unreach-call.c timeout (error (143)) 301    216    5442375680 timeout (error (143)) 305    239    3143548928 timeout (error (143)) 301    225    3919839232
eca-rers2012/Problem05_label30_false-unreach-call.c timeout (error (143)) 304    215    5279141888 timeout (error (143)) 301    238    3109343232 timeout (error (143)) 303    234    4016291840
eca-rers2012/Problem05_label32_false-unreach-call.c timeout (error (143)) 309    221    4305989632 timeout (error (143)) 301    240    3069526016 timeout (error (143)) 301    227    4140322816
eca-rers2012/Problem05_label33_false-unreach-call.c timeout (error (143)) 301    211    4454633472 timeout (error (143)) 302    226    3059085312 timeout (error (143)) 301    233    4182196224
eca-rers2012/Problem05_label36_false-unreach-call.c timeout (error (143)) 301    217    5527973888 timeout (error (143)) 304    234    3098128384 timeout (error (143)) 302    231    3998453760
eca-rers2012/Problem05_label37_false-unreach-call.c timeout (error (143)) 309    218    5327069184 timeout (error (143)) 304    242    3124981760 timeout (error (143)) 301    223    3887247360
eca-rers2012/Problem05_label38_false-unreach-call.c timeout (error (143)) 318    227    5989638144 timeout (error (143)) 301    238    3103035392 timeout (error (143)) 300    235    4001595392
eca-rers2012/Problem05_label39_false-unreach-call.c timeout (error (143)) 300    212    4735582208 timeout (error (143)) 301    237    3081797632 timeout (error (143)) 301    235    3912744960
eca-rers2012/Problem05_label40_false-unreach-call.c timeout (error (143)) 302    220    4948766720 timeout (error (143)) 303    232    3098669056 timeout (error (143)) 301    230    4004851712
eca-rers2012/Problem05_label41_false-unreach-call.c timeout (error (143)) 301    220    5275713536 timeout (error (143)) 301    230    3084054528 timeout (error (143)) 301    228    3940253696
eca-rers2012/Problem05_label44_false-unreach-call.c timeout (error (143)) 304    225    5037465600 timeout (error (143)) 301    236    3101368320 timeout (error (143)) 301    225    3918635008
eca-rers2012/Problem05_label47_false-unreach-call.c timeout (error (143)) 309    218    5681262592 timeout (error (143)) 307    237    3117092864 timeout (error (143)) 301    228    3779371008
eca-rers2012/Problem05_label48_false-unreach-call.c timeout (error (143)) 304    222    5260124160 timeout (error (143)) 301    231    3074863104 timeout (error (143)) 301    225    3915481088
eca-rers2012/Problem05_label51_false-unreach-call.c timeout (error (143)) 300    222    4456173568 timeout (error (143)) 303    230    3135987712 timeout (error (143)) 304    222    3924430848
eca-rers2012/Problem05_label55_false-unreach-call.c timeout (error (143)) 304    228    3280584704 timeout (error (143)) 303    241    3043356672 timeout (error (143)) 302    218    4099227648
eca-rers2012/Problem05_label57_false-unreach-call.c timeout (error (143)) 300    217    4792979456 timeout (error (143)) 301    230    3058036736 timeout (error (143)) 301    216    4079538176
eca-rers2012/Problem05_label58_false-unreach-call.c timeout (error (143)) 308    222    5472919552 timeout (error (143)) 302    233    3103510528 timeout (error (143)) 301    231    3904401408
eca-rers2012/Problem06_label00_false-unreach-call.c timeout (error (143)) 301    206    5543014400 timeout (error (143)) 303    266    2989858816 timeout (error (143)) 301    235    3912425472
eca-rers2012/Problem06_label01_false-unreach-call.c timeout (error (143)) 302    203    5724168192 timeout (error (143)) 302    261    2991652864 timeout (error (143)) 300    237    3839774720
eca-rers2012/Problem06_label02_false-unreach-call.c timeout (error (143)) 300    209    5598048256 timeout (error (143)) 303    263    2985746432 timeout (error (143)) 301    232    3874410496
eca-rers2012/Problem06_label04_false-unreach-call.c timeout (error (143)) 302    205    6028255232 timeout (error (143)) 303    261    3017535488 timeout (error (143)) 300    239    3752787968
eca-rers2012/Problem06_label05_false-unreach-call.c timeout (error (143)) 301    203    5950119936 timeout (error (143)) 303    263    3010035712 timeout (error (143)) 301    234    3913101312
eca-rers2012/Problem06_label09_false-unreach-call.c timeout (error (143)) 306    210    5729849344 timeout (error (143)) 302    266    2992287744 timeout (error (143)) 300    239    3788046336
eca-rers2012/Problem06_label10_false-unreach-call.c timeout (error (143)) 301    203    5967679488 timeout (error (143)) 304    261    3005665280 timeout (error (143)) 301    234    3854213120
eca-rers2012/Problem06_label11_false-unreach-call.c timeout (error (143)) 302    210    6531031040 timeout (error (143)) 304    265    2992287744 timeout (error (143)) 301    234    3981877248
eca-rers2012/Problem06_label12_false-unreach-call.c timeout (error (143)) 301    209    6351331328 timeout (error (143)) 302    268    2997084160 timeout (error (143)) 300    234    3925409792
eca-rers2012/Problem06_label15_false-unreach-call.c timeout 322    216    6189019136 timeout (error (143)) 303    262    2994417664 timeout (error (143)) 301    242    3902910464
eca-rers2012/Problem06_label20_false-unreach-call.c timeout (error (143)) 301    208    6092996608 timeout (error (143)) 304    263    2996269056 timeout (error (143)) 301    241    3920814080
eca-rers2012/Problem06_label21_false-unreach-call.c timeout (error (143)) 310    214    6131441664 timeout (error (143)) 302    261    3004358656 timeout (error (143)) 300    238    3960696832
eca-rers2012/Problem06_label24_false-unreach-call.c timeout (error (143)) 304    209    5739610112 timeout (error (143)) 302    255    3045130240 timeout (error (143)) 300    232    3833741312
eca-rers2012/Problem06_label27_false-unreach-call.c timeout (error (143)) 301    209    5574201344 timeout (error (143)) 303    271    2983682048 timeout (error (143)) 300    239    3940151296
eca-rers2012/Problem06_label29_false-unreach-call.c timeout (error (143)) 301    208    5962784768 timeout (error (143)) 303    265    3000451072 timeout (error (143)) 300    237    4023422976
eca-rers2012/Problem06_label33_false-unreach-call.c timeout (error (143)) 301    210    6076907520 timeout (error (143)) 303    264    3001171968 timeout (error (143)) 304    240    3874586624
eca-rers2012/Problem06_label36_false-unreach-call.c timeout (error (143)) 303    205    5772865536 timeout (error (143)) 304    260    2995503104 timeout (error (143)) 300    237    3970125824
eca-rers2012/Problem06_label37_false-unreach-call.c timeout (error (143)) 301    208    5725196288 timeout (error (143)) 303    267    2988916736 timeout (error (143)) 301    236    3897937920
eca-rers2012/Problem06_label38_false-unreach-call.c timeout (error (143)) 303    209    6004645888 timeout (error (143)) 302    264    3005538304 timeout (error (143)) 300    230    3752226816
eca-rers2012/Problem06_label44_false-unreach-call.c timeout (error (143)) 300    209    6189006848 timeout (error (143)) 304    264    2996187136 timeout (error (143)) 301    240    3973566464
eca-rers2012/Problem06_label47_false-unreach-call.c timeout (error (143)) 301    209    5508243456 timeout (error (143)) 303    267    3006337024 timeout (error (143)) 301    234    3889864704
eca-rers2012/Problem06_label48_false-unreach-call.c timeout (error (143)) 302    206    5432582144 timeout (error (143)) 302    263    2997350400 timeout (error (143)) 301    236    3950436352
eca-rers2012/Problem06_label56_false-unreach-call.c timeout (error (143)) 300    203    5412294656 timeout (error (143)) 303    266    2987470848 timeout (error (143)) 301    240    3995897856
eca-rers2012/Problem06_label58_false-unreach-call.c timeout (error (143)) 301    205    6350626816 timeout (error (143)) 303    268    3002454016 timeout (error (143)) 301    240    3858046976
eca-rers2012/Problem06_label59_false-unreach-call.c timeout (error (143)) 301    209    6237106176 timeout (error (143)) 302    270    2988929024 timeout (error (143)) 301    242    4061036544
eca-rers2012/Problem07_label03_false-unreach-call.c timeout (error (143)) 301    239    3878346752 timeout (error (143)) 301    245    3663446016 timeout (error (143)) 300    247    3662475264
eca-rers2012/Problem07_label05_false-unreach-call.c timeout (error (143)) 300    243    3914043392 timeout (error (143)) 309    249    3709468672 timeout (error (143)) 300    247    3653693440
eca-rers2012/Problem07_label06_false-unreach-call.c timeout (error (143)) 301    243    3897638912 timeout (error (143)) 300    246    3619192832 timeout (error (143)) 300    246    3642949632
eca-rers2012/Problem07_label07_false-unreach-call.c timeout (error (143)) 300    245    3889405952 timeout (error (143)) 300    244    3641110528 timeout (error (143)) 300    247    3699093504
eca-rers2012/Problem07_label09_false-unreach-call.c timeout (error (143)) 300    245    3872686080 timeout (error (143)) 301    244    3626446848 timeout (error (143)) 300    246    3605680128
eca-rers2012/Problem07_label11_false-unreach-call.c timeout (error (143)) 300    244    3876155392 timeout (error (143)) 300    243    3599421440 timeout (error (143)) 300    247    3638370304
eca-rers2012/Problem07_label15_false-unreach-call.c timeout (error (143)) 300    242    3874238464 timeout (error (143)) 300    246    3605397504 timeout (error (143)) 300    245    3703701504
eca-rers2012/Problem07_label18_false-unreach-call.c timeout (error (143)) 300    246    3869491200 timeout (error (143)) 306    246    3717877760 timeout (error (143)) 300    247    3620642816
eca-rers2012/Problem07_label19_false-unreach-call.c timeout (error (143)) 300    244    3895504896 timeout (error (143)) 300    247    3622043648 timeout (error (143)) 300    246    3635425280
eca-rers2012/Problem07_label20_false-unreach-call.c timeout (error (143)) 301    243    3880624128 timeout (error (143)) 300    249    3623251968 timeout (error (143)) 300    248    3624177664
eca-rers2012/Problem07_label23_false-unreach-call.c timeout (error (143)) 301    243    3875844096 timeout (error (143)) 300    246    3620184064 timeout (error (143)) 300    246    3697950720
eca-rers2012/Problem07_label30_false-unreach-call.c timeout (error (143)) 300    248    3871756288 timeout (error (143)) 300    247    3610669056 timeout (error (143)) 300    249    3605389312
eca-rers2012/Problem07_label31_false-unreach-call.c timeout (error (143)) 300    239    3876499456 timeout (error (143)) 300    245    3604680704 timeout (error (143)) 300    248    3603873792
eca-rers2012/Problem07_label35_false-unreach-call.c timeout (error (143)) 308    246    4018835456 timeout (error (143)) 300    245    3643129856 timeout (error (143)) 300    247    3622047744
eca-rers2012/Problem07_label36_false-unreach-call.c timeout (error (143)) 300    242    3899658240 timeout (error (143)) 300    247    3678318592 timeout (error (143)) 300    245    3679408128
eca-rers2012/Problem07_label37_false-unreach-call.c timeout (error (143)) 300    242    3913891840 timeout (error (143)) 300    246    3646693376 timeout (error (143)) 306    248    3740168192
eca-rers2012/Problem07_label39_false-unreach-call.c timeout (error (143)) 300    243    3873517568 timeout (error (143)) 300    244    3640606720 timeout (error (143)) 300    248    3653451776
eca-rers2012/Problem07_label40_false-unreach-call.c timeout (error (143)) 307    248    3970207744 timeout (error (143)) 300    244    3628285952 timeout (error (143)) 300    245    3645440000
eca-rers2012/Problem07_label42_false-unreach-call.c timeout (error (143)) 301    243    3871866880 timeout (error (143)) 300    248    3662483456 timeout (error (143)) 300    249    3657953280
eca-rers2012/Problem07_label44_false-unreach-call.c timeout (error (143)) 300    244    3884216320 timeout (error (143)) 300    242    3653595136 timeout (error (143)) 301    244    3659853824
eca-rers2012/Problem07_label46_false-unreach-call.c timeout (error (143)) 300    244    3885887488 timeout (error (143)) 300    247    3659804672 timeout (error (143)) 300    243    3636371456
eca-rers2012/Problem07_label47_false-unreach-call.c timeout (error (143)) 300    243    3888709632 timeout (error (143)) 300    247    3662950400 timeout (error (143)) 306    249    3650916352
eca-rers2012/Problem07_label48_false-unreach-call.c timeout (error (143)) 301    240    3880337408 timeout (error (143)) 300    245    3655794688 timeout (error (143)) 300    246    3646095360
eca-rers2012/Problem07_label58_false-unreach-call.c timeout (error (143)) 301    240    3901542400 timeout (error (143)) 300    247    3660234752 timeout (error (143)) 300    247    3664195584
eca-rers2012/Problem08_label01_false-unreach-call.c timeout (error (143)) 306    235    4830445568 timeout (error (143)) 306    234    5357748224 timeout (error (143)) 306    230    4889784320
eca-rers2012/Problem08_label02_false-unreach-call.c timeout (error (143)) 306    240    4857716736 timeout (error (143)) 306    232    4860596224 timeout (error (143)) 306    234    4851343360
eca-rers2012/Problem08_label04_false-unreach-call.c timeout (error (143)) 305    231    4821409792 timeout (error (143)) 306    240    4995522560 timeout (error (143)) 306    242    4989333504
eca-rers2012/Problem08_label05_false-unreach-call.c timeout (error (143)) 306    235    4837728256 timeout (error (143)) 308    243    4903538688 timeout (error (143)) 306    234    4814479360
eca-rers2012/Problem08_label06_false-unreach-call.c timeout (error (143)) 306    239    4811300864 timeout (error (143)) 307    237    5126496256 timeout (error (143)) 306    235    4898557952
eca-rers2012/Problem08_label07_false-unreach-call.c timeout (error (143)) 308    235    4847501312 timeout (error (143)) 306    242    4745109504 timeout (error (143)) 306    247    4931325952
eca-rers2012/Problem08_label10_false-unreach-call.c timeout (error (143)) 306    237    4836560896 timeout (error (143)) 306    233    5359456256 timeout (error (143)) 305    236    4841738240
eca-rers2012/Problem08_label13_false-unreach-call.c timeout (error (143)) 306    234    4825071616 timeout (error (143)) 306    233    4826480640 timeout (error (143)) 306    239    4899844096
eca-rers2012/Problem08_label15_false-unreach-call.c timeout (error (143)) 306    240    4835524608 timeout (error (143)) 308    237    5419597824 timeout (error (143)) 306    235    4853186560
eca-rers2012/Problem08_label24_false-unreach-call.c timeout (error (143)) 306    233    4951089152 timeout (error (143)) 306    242    4997169152 timeout (error (143)) 306    241    4743208960
eca-rers2012/Problem08_label25_false-unreach-call.c timeout (error (143)) 305    228    5271310336 timeout (error (143)) 306    243    4750618624 timeout (error (143)) 309    224    5553037312
eca-rers2012/Problem08_label26_false-unreach-call.c timeout (error (143)) 306    227    4958179328 timeout (error (143)) 306    240    4785303552 timeout (error (143)) 306    235    4858687488
eca-rers2012/Problem08_label28_false-unreach-call.c timeout (error (143)) 305    225    5279608832 timeout 322    239    5809250304 timeout (error (143)) 306    240    4753588224
eca-rers2012/Problem08_label29_false-unreach-call.c timeout (error (143)) 305    227    5263687680 timeout (error (143)) 303    220    5756096512 timeout (error (143)) 306    234    4860059648
eca-rers2012/Problem08_label34_false-unreach-call.c timeout (error (143)) 306    237    4840144896 timeout (error (143)) 306    234    4884815872 timeout (error (143)) 306    241    4755111936
eca-rers2012/Problem08_label37_false-unreach-call.c timeout (error (143)) 305    227    5264965632 timeout (error (143)) 306    234    4831232000 timeout (error (143)) 306    243    4759711744
eca-rers2012/Problem08_label43_false-unreach-call.c timeout (error (143)) 306    237    4820475904 timeout (error (143)) 310    225    5801160704 timeout (error (143)) 306    239    4748021760
eca-rers2012/Problem08_label46_false-unreach-call.c timeout (error (143)) 306    236    4834566144 timeout (error (143)) 306    242    4749905920 timeout (error (143)) 306    232    5279633408
eca-rers2012/Problem08_label48_false-unreach-call.c timeout (error (143)) 305    231    4920623104 timeout (error (143)) 306    243    4747272192 timeout (error: exception) 302    241    4788187136
eca-rers2012/Problem08_label49_false-unreach-call.c timeout (error (143)) 306    234    4858044416 timeout (error (143)) 310    224    5816520704 timeout (error (143)) 306    244    4983144448
eca-rers2012/Problem08_label50_false-unreach-call.c timeout (error (143)) 306    235    4851228672 timeout (error (143)) 306    243    4781928448 timeout (error (143)) 311    228    5809467392
eca-rers2012/Problem08_label51_false-unreach-call.c timeout (error (143)) 306    238    4813811712 timeout (error (143)) 306    235    4829786112 timeout (error: exception) 301    238    4981469184
eca-rers2012/Problem08_label55_false-unreach-call.c timeout (error (143)) 306    238    4838699008 timeout (error (143)) 306    245    4822069248 timeout (error (143)) 306    243    4754423808
eca-rers2012/Problem08_label59_false-unreach-call.c timeout (error (143)) 305    230    5256785920 timeout (error (143)) 306    244    4751572992 timeout (error (143)) 306    244    4751908864
eca-rers2012/Problem09_label02_false-unreach-call.c timeout (error (143)) 306    235    4853825536 timeout (error (143)) 315    234    6275780608 timeout 322    235    6109016064
eca-rers2012/Problem09_label03_false-unreach-call.c timeout (error (143)) 306    231    5131522048 timeout (error (143)) 306    241    4791017472 timeout (error (143)) 306    236    5055229952
eca-rers2012/Problem09_label06_false-unreach-call.c timeout (error (143)) 306    227    5567840256 timeout 322    236    6123597824 timeout 322    235    6136500224
eca-rers2012/Problem09_label08_false-unreach-call.c timeout (error (143)) 306    224    5548396544 timeout (error (143)) 306    241    4844322816 timeout (error (143)) 306    248    4885770240
eca-rers2012/Problem09_label10_false-unreach-call.c timeout (error (143)) 306    237    4863459328 timeout (error: exception) 309    232    5476659200 timeout (error: exception) 303    250    4794638336
eca-rers2012/Problem09_label11_false-unreach-call.c timeout (error (143)) 310    232    4891574272 timeout (error (143)) 306    242    4826636288 timeout (error (143)) 315    234    6293848064
eca-rers2012/Problem09_label15_false-unreach-call.c timeout (error (143)) 306    234    5135273984 timeout (error (143)) 310    230    6077202432 timeout (error (143)) 306    241    5046996992
eca-rers2012/Problem09_label19_false-unreach-call.c timeout (error: exception) 306    229    5473685504 timeout (error (143)) 306    249    4877787136 timeout (error (143)) 308    228    6192631808
eca-rers2012/Problem09_label20_false-unreach-call.c timeout (error (143)) 306    238    4870651904 timeout (error (143)) 306    244    5115195392 timeout (error (143)) 311    230    5946400768
eca-rers2012/Problem09_label32_false-unreach-call.c timeout (error (143)) 306    226    5503143936 timeout 322    236    6248980480 timeout (error: exception) 306    240    4854792192
eca-rers2012/Problem09_label34_false-unreach-call.c timeout (error (143)) 305    228    5554323456 timeout 322    234    6292742144 timeout 321    235    6712725504
eca-rers2012/Problem09_label35_false-unreach-call.c timeout (error (143)) 306    234    5178683392 timeout (error (143)) 305    239    4802449408 timeout (error (143)) 313    240    5348917248
eca-rers2012/Problem09_label36_false-unreach-call.c timeout (error (143)) 310    233    4841668608 timeout (error (143)) 310    229    6098112512 timeout (error (143)) 311    238    6265143296
eca-rers2012/Problem09_label38_false-unreach-call.c timeout (error (143)) 306    238    4861476864 timeout (error: exception) 305    228    5794213888 timeout (error (143)) 306    244    5187485696
eca-rers2012/Problem09_label41_false-unreach-call.c timeout (error (143)) 305    225    5463535616 timeout 322    236    6859583488 timeout (error (143)) 316    232    6279217152
eca-rers2012/Problem09_label44_false-unreach-call.c timeout (error (143)) 306    227    5486919680 timeout (error (143)) 306    246    5087752192 timeout (error (143)) 315    233    6279512064
eca-rers2012/Problem09_label46_false-unreach-call.c timeout (error (143)) 305    228    5503365120 timeout (error: exception) 306    235    5410959360 timeout (error (143)) 306    244    5164974080
eca-rers2012/Problem09_label47_false-unreach-call.c timeout (error (143)) 306    236    4865556480 timeout 322    237    6078959616 timeout (error (143)) 306    240    5121576960
eca-rers2012/Problem09_label51_false-unreach-call.c timeout (error (143)) 306    233    5168488448 timeout 322    241    6859354112 timeout (error (143)) 311    229    5951229952
eca-rers2012/Problem09_label53_false-unreach-call.c timeout (error (143)) 305    228    5510225920 timeout (error: exception) 308    240    5367574528 timeout (error (143)) 307    227    6004166656
eca-rers2012/Problem09_label54_false-unreach-call.c timeout (error (143)) 305    229    5143105536 timeout (error (143)) 306    248    4938567680 timeout (error (143)) 306    242    5163802624
eca-rers2012/Problem09_label56_false-unreach-call.c timeout (error (143)) 305    229    5564456960 timeout (error: exception) 302    236    4845604864 timeout (error (143)) 306    240    5233061888
eca-rers2012/Problem09_label57_false-unreach-call.c timeout (error (143)) 305    230    5511159808 timeout (error: exception) 302    236    5148987392 timeout (error (143)) 306    244    5129502720
eca-rers2012/Problem09_label59_false-unreach-call.c timeout (error (143)) 306    234    4855754752 timeout 321    235    6077853696 timeout 322    235    6864121856
eca-rers2012/Problem10_label12_false-unreach-call.c false 72.3  45.2  1299025920 timeout (error (143)) 301    252    3037540352 timeout (error (143)) 301    216    6127685632
eca-rers2012/Problem10_label15_false-unreach-call.c false 57.9  34.2  1177690112 timeout (error (143)) 301    243    3004276736 false 163    116    2978148352
eca-rers2012/Problem10_label24_false-unreach-call.c false 89.5  55.8  1316261888 timeout (error (143)) 301    236    3002777600 timeout (error (143)) 301    245    2948947968
eca-rers2012/Problem10_label26_false-unreach-call.c false 56.6  33.6  1184153600 timeout (error (143)) 302    239    2968260608 false 89.1  54.1  1667895296
eca-rers2012/Problem10_label28_false-unreach-call.c false 62.9  37.8  1164546048 timeout (error (143)) 301    241    2983940096 timeout (error (143)) 303    224    6079610880
eca-rers2012/Problem10_label29_false-unreach-call.c false 48.8  30.3  1196277760 timeout (error (143)) 301    247    2963603456 timeout (error (143)) 302    200    6982778880
eca-rers2012/Problem10_label41_false-unreach-call.c false 70.1  42.4  1137156096 timeout (error (143)) 301    249    2976780288 false 168    122    3026907136
eca-rers2012/Problem10_label42_false-unreach-call.c false 37.1  22.1  865001472 timeout (error (143)) 300    236    2979291136 false 129    85.0  2908581888
eca-rers2012/Problem10_label46_false-unreach-call.c false 19.7  11.1  558362624 false 22.3  12.9  725405696 false 23.0  13.3  730550272
eca-rers2012/Problem10_label47_false-unreach-call.c false 56.5  33.3  1062244352 timeout (error (143)) 305    250    2980143104 false 105    67.2  1762328576
eca-rers2012/Problem10_label48_false-unreach-call.c false 78.1  49.5  1326370816 timeout (error (143)) 301    237    2972549120 false 143    96.9  2879422464
eca-rers2012/Problem10_label50_false-unreach-call.c false 83.0  50.1  1341202432 timeout (error (143)) 301    244    2969038848 timeout 322    218    7641894912
eca-rers2012/Problem10_label55_false-unreach-call.c false 46.0  26.9  1048932352 timeout (error (143)) 305    248    3016679424 false 133    93.8  3013906432
eca-rers2012/Problem10_label57_false-unreach-call.c false 49.1  29.6  1159696384 timeout (error (143)) 301    242    3013677056 false 85.8  58.2  1286164480
eca-rers2012/Problem10_label58_false-unreach-call.c false 88.9  55.8  1338195968 timeout (error (143)) 306    242    2995961856 out of memory 300    226    8000000000
eca-rers2012/Problem11_label00_false-unreach-call.c timeout (error (143)) 301    250    2262360064 timeout (error (143)) 301    250    2944167936 timeout (error (143)) 302    254    2240884736
eca-rers2012/Problem11_label08_false-unreach-call.c false 81.3  51.9  1286565888 timeout (error (143)) 301    233    3040366592 timeout (error (143)) 304    250    2968031232
eca-rers2012/Problem11_label14_false-unreach-call.c false 63.4  37.8  1217134592 timeout (error (143)) 301    248    2982445056 false 237    193    3057967104
eca-rers2012/Problem11_label15_false-unreach-call.c false 56.0  34.0  1058471936 timeout (error (143)) 301    243    3078070272 timeout 304    204    8000000000
eca-rers2012/Problem11_label20_false-unreach-call.c false 106    70.2  1694412800 timeout (error (143)) 301    243    3004387328 timeout (error (143)) 301    237    3027394560
eca-rers2012/Problem11_label29_false-unreach-call.c false 161    117    1742766080 timeout (error (143)) 301    254    2907811840 timeout (error (143)) 301    256    2977366016
eca-rers2012/Problem11_label31_false-unreach-call.c timeout (error (143)) 301    254    1908932608 timeout (error (143)) 302    244    2975289344 timeout (error (143)) 302    266    3318939648
eca-rers2012/Problem11_label34_false-unreach-call.c timeout (error (143)) 301    253    2116362240 timeout (error (143)) 301    248    3043209216 timeout (error (143)) 301    258    3368394752
eca-rers2012/Problem11_label36_false-unreach-call.c false 36.9  22.2  889339904 false 200    131    2977075200 false 123    85.0  2945462272
eca-rers2012/Problem11_label39_false-unreach-call.c false 125    94.9  1408872448 timeout (error (143)) 301    258    2896887808 timeout (error (143)) 301    250    3356086272
eca-rers2012/Problem11_label42_false-unreach-call.c false 87.7  56.5  1394413568 timeout (error (143)) 302    256    2892165120 false 183    129    2954817536
eca-rers2012/Problem11_label43_false-unreach-call.c false 57.1  34.1  1213034496 false 208    151    2975444992 false 125    86.4  2901348352
eca-rers2012/Problem11_label49_false-unreach-call.c false 56.8  34.7  1203941376 timeout (error (143)) 301    259    2897801216 false 279    231    3264221184
eca-rers2012/Problem11_label51_false-unreach-call.c false 67.2  42.2  1283489792 timeout (error (143)) 301    243    3091660800 timeout (error (143)) 302    247    3032186880
eca-rers2012/Problem11_label58_false-unreach-call.c false 52.4  31.5  1052721152 false 140    88.6  2922196992 false 113    78.0  2933145600
eca-rers2012/Problem12_label00_false-unreach-call.c timeout (error (143)) 304    245    4131098624 timeout (error (143)) 301    237    3019436032 timeout (error (143)) 302    239    3374891008
eca-rers2012/Problem12_label03_false-unreach-call.c timeout (error (143)) 301    238    3953373184 timeout (error (143)) 301    239    3050799104 timeout (error (143)) 303    249    3170488320
eca-rers2012/Problem12_label06_false-unreach-call.c timeout (error (143)) 306    236    4329312256 timeout (error (143)) 303    240    2968412160 timeout (error (143)) 306    254    3106787328
eca-rers2012/Problem12_label07_false-unreach-call.c timeout (error (143)) 301    236    3063762944 timeout (error (143)) 301    244    2959945728 timeout (error (143)) 306    262    3123208192
eca-rers2012/Problem12_label08_false-unreach-call.c timeout (error (143)) 301    228    4398518272 timeout (error (143)) 301    241    2966142976 timeout (error (143)) 306    255    3127488512
eca-rers2012/Problem12_label10_false-unreach-call.c timeout (error (143)) 300    225    4767125504 timeout (error (143)) 301    223    3271315456 timeout (error (143)) 302    242    3349471232
eca-rers2012/Problem12_label13_false-unreach-call.c timeout (error (143)) 301    230    4384374784 timeout (error (143)) 306    236    3376099328 timeout (error (143)) 306    251    3293954048
eca-rers2012/Problem12_label19_false-unreach-call.c timeout (error (143)) 301    236    3197726720 timeout (error (143)) 300    238    3130621952 timeout (error (143)) 306    245    3375099904
eca-rers2012/Problem12_label20_false-unreach-call.c timeout (error (143)) 300    233    4169834496 timeout (error (143)) 301    243    2954289152 timeout (error (143)) 306    259    3145236480
eca-rers2012/Problem12_label21_false-unreach-call.c timeout (error (143)) 301    232    4834672640 timeout (error (143)) 301    240    2973016064 timeout (error (143)) 306    255    3138179072
eca-rers2012/Problem12_label25_false-unreach-call.c timeout (error (143)) 301    229    4243984384 timeout (error (143)) 300    238    3126345728 timeout (error (143)) 306    249    3275005952
eca-rers2012/Problem12_label28_false-unreach-call.c timeout (error (143)) 301    231    3629883392 timeout (error (143)) 301    239    3026026496 timeout (error (143)) 301    248    3178389504
eca-rers2012/Problem12_label30_false-unreach-call.c false 293    224    4103352320 timeout (error (143)) 301    225    3279364096 timeout (error (143)) 301    238    3248160768
eca-rers2012/Problem12_label34_false-unreach-call.c timeout (error (143)) 300    240    3648839680 timeout (error (143)) 301    219    3625639936 timeout (error (143)) 306    238    3692064768
eca-rers2012/Problem12_label35_false-unreach-call.c false 197    147    2960015360 timeout (error (143)) 301    232    2977738752 timeout (error (143)) 300    221    4610351104
eca-rers2012/Problem12_label37_false-unreach-call.c timeout (error (143)) 301    235    3191173120 timeout (error (143)) 306    229    3291037696 timeout (error (143)) 306    253    3307638784
eca-rers2012/Problem12_label38_false-unreach-call.c timeout (error (143)) 301    228    4410699776 timeout (error (143)) 302    243    2957754368 timeout (error (143)) 306    259    3131555840
eca-rers2012/Problem12_label39_false-unreach-call.c timeout (error (143)) 301    237    3706552320 timeout (error (143)) 302    240    3125846016 timeout (error (143)) 306    248    3208654848
eca-rers2012/Problem12_label40_false-unreach-call.c false 250    195    3076825088 timeout (error (143)) 301    236    3021524992 timeout (error (143)) 302    244    3196055552
eca-rers2012/Problem12_label42_false-unreach-call.c timeout (error (143)) 301    226    4200316928 timeout (error (143)) 306    233    3285184512 timeout (error (143)) 306    249    3302371328
eca-rers2012/Problem12_label48_false-unreach-call.c timeout (error (143)) 301    230    4236832768 timeout (error (143)) 302    217    3166126080 timeout (error (143)) 303    238    3164422144
eca-rers2012/Problem12_label50_false-unreach-call.c timeout (false) 300    234    4231213056 timeout (error (143)) 301    243    2971537408 timeout (error (143)) 300    246    3142860800
eca-rers2012/Problem12_label51_false-unreach-call.c timeout (error (143)) 302    235    3252785152 timeout (error (143)) 302    220    3385720832 timeout (error (143)) 301    240    3380948992
eca-rers2012/Problem12_label52_false-unreach-call.c timeout (error (143)) 301    231    4235272192 timeout (error (143)) 300    225    3337990144 timeout (error (143)) 306    248    3332468736
eca-rers2012/Problem12_label55_false-unreach-call.c false 265    203    3315408896 timeout (error (143)) 301    236    3048099840 timeout (error (143)) 304    247    3229278208
eca-rers2012/Problem13_label04_false-unreach-call.c timeout (error (143)) 313    245    4451454976 timeout (error (143)) 301    227    3147554816 timeout (error (143)) 306    244    3249164288
eca-rers2012/Problem13_label06_false-unreach-call.c timeout (error (143)) 301    228    4701028352 timeout (error (143)) 301    210    3012980736 timeout (error (143)) 301    244    3175100416
eca-rers2012/Problem13_label07_false-unreach-call.c timeout (error (143)) 301    238    4037005312 timeout (error (143)) 305    236    3025608704 timeout (error (143)) 306    254    3191758848
eca-rers2012/Problem13_label11_false-unreach-call.c timeout (error (143)) 305    233    4824444928 timeout (error (143)) 301    222    3071524864 timeout (error (143)) 306    245    3229753344
eca-rers2012/Problem13_label12_false-unreach-call.c timeout (error (143)) 301    229    4597370880 timeout (error (143)) 301    224    3065991168 timeout (error (143)) 306    247    3196289024
eca-rers2012/Problem13_label16_false-unreach-call.c timeout (error (143)) 301    232    4235808768 timeout (error (143)) 301    232    3083624448 timeout (error (143)) 306    250    3223072768
eca-rers2012/Problem13_label19_false-unreach-call.c timeout (error (143)) 302    235    4416348160 timeout (error (143)) 306    237    3077410816 timeout (error (143)) 306    250    3183489024
eca-rers2012/Problem13_label21_false-unreach-call.c timeout (error (143)) 302    238    4282515456 timeout (error (143)) 303    238    3044986880 timeout (error (143)) 301    248    3203592192
eca-rers2012/Problem13_label23_false-unreach-call.c timeout (error (143)) 302    233    4359774208 timeout (error (143)) 306    236    3077820416 timeout (error (143)) 306    245    3158958080
eca-rers2012/Problem13_label24_false-unreach-call.c timeout (error (143)) 301    227    5470015488 timeout (error (143)) 301    234    3038277632 timeout (error (143)) 303    244    3162218496
eca-rers2012/Problem13_label25_false-unreach-call.c timeout (error (143)) 301    232    4712718336 timeout (error (143)) 301    231    3043348480 timeout (error (143)) 301    246    3183341568
eca-rers2012/Problem13_label28_false-unreach-call.c timeout (error (143)) 301    232    4399104000 timeout (error (143)) 301    226    3033890816 timeout (error (143)) 305    246    3143688192
eca-rers2012/Problem13_label29_false-unreach-call.c timeout (error (143)) 302    237    4424269824 timeout (error (143)) 301    222    3083751424 timeout (error (143)) 306    248    3212902400
eca-rers2012/Problem13_label30_false-unreach-call.c timeout (error (143)) 300    227    4955246592 timeout (error (143)) 302    225    3037540352 timeout (error (143)) 306    248    3180437504
eca-rers2012/Problem13_label32_false-unreach-call.c timeout (error (143)) 301    231    4759433216 timeout (error (143)) 302    224    3090063360 timeout (error (143)) 306    248    3235151872
eca-rers2012/Problem13_label35_false-unreach-call.c timeout (error (143)) 302    230    4458192896 timeout (error (143)) 301    233    3087773696 timeout (error (143)) 306    251    3286847488
eca-rers2012/Problem13_label36_false-unreach-call.c timeout (error (143)) 301    232    4284928000 timeout (error (143)) 301    225    3044552704 timeout (error (143)) 306    252    3162046464
eca-rers2012/Problem13_label40_false-unreach-call.c timeout (error (143)) 305    232    4488413184 timeout (error (143)) 302    226    3061338112 timeout (error (143)) 306    249    3205144576
eca-rers2012/Problem13_label43_false-unreach-call.c timeout (error (143)) 304    229    5204201472 timeout (error (143)) 306    233    3059408896 timeout (error (143)) 306    253    3186712576
eca-rers2012/Problem13_label44_false-unreach-call.c timeout (error (143)) 301    230    4781944832 timeout (error (143)) 303    231    3143065600 timeout (error (143)) 300    239    3192201216
eca-rers2012/Problem13_label45_false-unreach-call.c timeout (error (143)) 301    233    4279324672 timeout (error (143)) 301    219    3902017536 timeout (error (143)) 306    230    3980181504
eca-rers2012/Problem13_label48_false-unreach-call.c timeout (error (143)) 302    233    5391720448 timeout (error (143)) 301    225    3064758272 timeout (error (143)) 306    247    3169456128
eca-rers2012/Problem13_label51_false-unreach-call.c timeout (error (143)) 301    229    4482232320 timeout (error (143)) 302    222    3284631552 timeout (error (143)) 301    235    3379687424
eca-rers2012/Problem13_label54_false-unreach-call.c timeout (error (143)) 301    228    4803457024 timeout (error (143)) 303    228    3235311616 timeout (error (143)) 301    238    3283357696
eca-rers2012/Problem13_label58_false-unreach-call.c timeout (error (143)) 301    224    4935184384 timeout (error (143)) 301    218    3334758400 timeout (error (143)) 301    232    3317465088
eca-rers2012/Problem14_label02_false-unreach-call_false-termination.c false 130    87.1  2864775168 timeout (error (143)) 301    242    2972946432 timeout (error (143)) 300    228    3142623232
eca-rers2012/Problem14_label08_false-unreach-call_false-termination.c false 106    66.3  2788093952 timeout (error (143)) 301    242    3006251008 timeout (error (143)) 301    233    3320590336
eca-rers2012/Problem14_label10_false-unreach-call_false-termination.c false 96.3  61.1  2025234432 timeout (error (143)) 301    248    2954776576 timeout (error (143)) 302    240    3189837824
eca-rers2012/Problem14_label11_false-unreach-call_false-termination.c false 100    65.0  2416353280 timeout (error (143)) 301    243    3011452928 timeout (error (143)) 301    237    3179151360
eca-rers2012/Problem14_label12_false-unreach-call_false-termination.c false 119    77.2  2874580992 timeout (error (143)) 301    235    2968895488 timeout (error (143)) 301    240    3204014080
eca-rers2012/Problem14_label13_false-unreach-call_false-termination.c false 95.4  58.6  1914920960 timeout (error (143)) 303    244    2985799680 timeout (error (143)) 300    232    3301466112
eca-rers2012/Problem14_label14_false-unreach-call_false-termination.c timeout (error (143)) 302    265    2907463680 timeout (error (143)) 300    241    2980139008 timeout (error (143)) 302    234    3128819712
eca-rers2012/Problem14_label18_false-unreach-call_false-termination.c false 110    69.1  2314776576 timeout (error (143)) 302    243    2995896320 timeout (error (143)) 305    247    3266121728
eca-rers2012/Problem14_label22_false-unreach-call_false-termination.c false 136    86.6  2871070720 timeout (error (143)) 301    241    3024060416 timeout (error (143)) 302    233    3157356544
eca-rers2012/Problem14_label27_false-unreach-call_false-termination.c false 117    74.5  2219896832 timeout (error (143)) 302    237    2954665984 timeout (error (143)) 301    238    3118379008
eca-rers2012/Problem14_label28_false-unreach-call_false-termination.c false 102    65.3  2570522624 timeout (error (143)) 301    234    2989211648 timeout (error (143)) 301    228    2978410496
eca-rers2012/Problem14_label29_false-unreach-call_false-termination.c false 126    79.2  2891735040 timeout (error (143)) 301    244    2965471232 timeout (error (143)) 300    235    3111329792
eca-rers2012/Problem14_label31_false-unreach-call_false-termination.c false 114    72.3  2617221120 timeout (error (143)) 302    250    2984280064 timeout (error (143)) 302    234    3130150912
eca-rers2012/Problem14_label34_false-unreach-call_false-termination.c false 107    67.8  2865459200 timeout (error (143)) 301    246    2959618048 timeout (error (143)) 301    238    3205918720
eca-rers2012/Problem14_label37_false-unreach-call_false-termination.c false 102    67.3  2781773824 timeout (error (143)) 304    247    2992320512 timeout (error (143)) 301    234    3207688192
eca-rers2012/Problem14_label39_false-unreach-call_false-termination.c false 107    66.2  2234810368 timeout (error (143)) 301    246    2978566144 timeout (error (143)) 301    233    3080523776
eca-rers2012/Problem14_label40_false-unreach-call_false-termination.c false 108    67.6  2498273280 timeout (error (143)) 302    240    2974953472 timeout (error (143)) 304    240    3054784512
eca-rers2012/Problem14_label41_false-unreach-call_false-termination.c false 144    97.5  2865590272 timeout (error (143)) 301    245    2976067584 timeout (error (143)) 301    233    3078008832
eca-rers2012/Problem14_label43_false-unreach-call_false-termination.c false 124    80.2  2873290752 timeout (error (143)) 301    249    2956795904 timeout (error (143)) 302    235    3175755776
eca-rers2012/Problem14_label44_false-unreach-call_false-termination.c false 122    80.3  2905550848 timeout (error (143)) 302    244    2978471936 timeout (error (143)) 305    235    3129204736
eca-rers2012/Problem14_label52_false-unreach-call_false-termination.c false 109    70.1  2299289600 timeout (error (143)) 302    249    2951725056 timeout (error: exception) 302    234    3095404544
eca-rers2012/Problem14_label54_false-unreach-call_false-termination.c false 138    92.3  2871877632 timeout (error (143)) 300    245    2975891456 timeout (error (143)) 302    231    3081666560
eca-rers2012/Problem14_label56_false-unreach-call_false-termination.c false 95.6  58.8  1903763456 timeout (error (143)) 301    246    2972139520 timeout (error (143)) 302    235    3140698112
eca-rers2012/Problem14_label57_false-unreach-call_false-termination.c false 99.8  63.1  2302902272 timeout (error (143)) 305    246    3009449984 timeout (error (143)) 302    243    3161780224
eca-rers2012/Problem14_label58_false-unreach-call_false-termination.c false 150    100    2973065216 timeout (error (143)) 303    249    2968133632 timeout (error (143)) 303    233    3240058880
eca-rers2012/Problem15_label00_false-unreach-call.c timeout (error (143)) 302    260    2042437632 timeout (error (143)) 302    233    3248402432 timeout (error (143)) 300    239    3089678336
eca-rers2012/Problem15_label02_false-unreach-call.c timeout (error (143)) 302    270    1587044352 timeout (error (143)) 301    239    3146907648 timeout (error (143)) 303    242    4310011904
eca-rers2012/Problem15_label03_false-unreach-call.c false 165    121    2425110528 timeout (error (143)) 301    243    3142414336 timeout (error (143)) 302    252    3374944256
eca-rers2012/Problem15_label07_false-unreach-call.c false 234    180    2858143744 timeout (error (143)) 301    252    2874347520 timeout (error (143)) 301    256    3019517952
eca-rers2012/Problem15_label09_false-unreach-call.c false 265    213    2921459712 timeout (error (143)) 301    258    2915635200 timeout (error (143)) 303    240    3002515456
eca-rers2012/Problem15_label14_false-unreach-call.c timeout (error (143)) 301    250    2622943232 timeout (error (143)) 301    254    2914377728 timeout (error (143)) 302    233    3333009408
eca-rers2012/Problem15_label15_false-unreach-call.c false 139    99.3  2110156800 timeout (error (143)) 301    248    2985947136 timeout (error (143)) 301    232    3102400512
eca-rers2012/Problem15_label18_false-unreach-call_false-termination.c false 182    136    2648387584 timeout (error (143)) 301    257    2942341120 timeout (error (143)) 301    228    3187814400
eca-rers2012/Problem15_label22_false-unreach-call.c false 159    113    2229121024 timeout (error (143)) 301    243    3051937792 timeout (error (143)) 302    222    3437797376
eca-rers2012/Problem15_label23_false-unreach-call.c false 193    142    2515382272 timeout (error (143)) 301    253    2949738496 timeout (error (143)) 303    234    3517247488
eca-rers2012/Problem15_label25_false-unreach-call.c false 259    206    2833682432 timeout (error (143)) 301    239    3149926400 timeout (error (143)) 303    232    3513614336
eca-rers2012/Problem15_label29_false-unreach-call.c false 182    132    2872684544 timeout (error (143)) 301    219    3203530752 timeout (error (143)) 302    247    3268239360
eca-rers2012/Problem15_label30_false-unreach-call.c false 243    193    2534580224 timeout (error (143)) 301    240    3134308352 timeout (error (143)) 300    232    3286081536
eca-rers2012/Problem15_label33_false-unreach-call.c false 293    249    2204946432 timeout (error (143)) 301    243    3114242048 timeout (error (143)) 301    240    3287019520
eca-rers2012/Problem15_label34_false-unreach-call.c false 191    139    2272727040 timeout (error (143)) 301    241    3112521728 timeout (error (143)) 300    237    3178332160
eca-rers2012/Problem15_label37_false-unreach-call.c false 238    183    2912886784 timeout (error (143)) 301    250    3039752192 timeout (error (143)) 302    238    3274891264
eca-rers2012/Problem15_label38_false-unreach-call.c false 177    130    2646749184 timeout (error (143)) 301    253    2938564608 timeout (error (143)) 302    237    3253555200
eca-rers2012/Problem15_label39_false-unreach-call.c timeout (error (143)) 301    247    2916171776 timeout (error (143)) 303    233    3177447424 timeout (error (143)) 303    245    3192225792
eca-rers2012/Problem15_label40_false-unreach-call.c false 269    214    2446499840 timeout (error (143)) 300    221    3181760512 timeout (error (143)) 302    225    3195154432
eca-rers2012/Problem15_label41_false-unreach-call.c false 139    95.8  1925201920 timeout (error (143)) 301    242    3129012224 timeout (error (143)) 301    231    3118354432
eca-rers2012/Problem15_label45_false-unreach-call.c false 195    146    2812989440 timeout (error (143)) 301    259    2900561920 timeout (error (143)) 300    239    3116806144
eca-rers2012/Problem15_label47_false-unreach-call.c false 238    183    2892509184 timeout (error (143)) 301    263    2882236416 timeout (error (143)) 302    255    2919243776
eca-rers2012/Problem15_label48_false-unreach-call.c false 202    151    2488463360 timeout (error (143)) 301    262    2899877888 timeout (error (143)) 301    251    3184779264
eca-rers2012/Problem15_label50_false-unreach-call.c timeout (error (143)) 301    247    2951286784 timeout (error (143)) 301    252    2892816384 timeout (error (143)) 302    241    2994425856
eca-rers2012/Problem15_label51_false-unreach-call.c false 203    153    2590380032 timeout (error (143)) 301    234    3101016064 timeout (error (143)) 301    233    3210534912
eca-rers2012/Problem16_label00_false-unreach-call.c error: exception 245    225    1114034176 timeout (error (143)) 302    265    2781171712 timeout (error (143)) 300    267    1508130816
eca-rers2012/Problem16_label01_false-unreach-call.c timeout (error (143)) 303    237    3356377088 timeout (error (143)) 301    242    2975318016 timeout (error (143)) 306    250    3266609152
eca-rers2012/Problem16_label03_false-unreach-call.c timeout (error (143)) 301    235    3129458688 timeout (error (143)) 301    237    3112546304 timeout (error (143)) 301    247    3180724224
eca-rers2012/Problem16_label04_false-unreach-call.c false 281    214    3121352704 timeout (error (143)) 301    242    2978959360 timeout (error (143)) 306    233    3493036032
eca-rers2012/Problem16_label05_false-unreach-call.c timeout (error (143)) 306    235    3097960448 timeout (error (143)) 302    244    3018825728 timeout (error (143)) 301    252    3252985856
eca-rers2012/Problem16_label06_false-unreach-call.c false 279    206    3130900480 timeout (error (143)) 301    245    3003437056 timeout (error (143)) 306    257    3321556992
eca-rers2012/Problem16_label08_false-unreach-call.c false 270    204    2991726592 timeout (error (143)) 301    234    3065954304 timeout (error (143)) 306    248    3311992832
eca-rers2012/Problem16_label14_false-unreach-call.c false 295    226    3273334784 timeout (error (143)) 301    240    3043278848 timeout (error (143)) 303    248    3191107584
eca-rers2012/Problem16_label15_false-unreach-call.c false 252    188    3216646144 timeout (error (143)) 301    245    2962227200 timeout (error (143)) 301    239    3432132608
eca-rers2012/Problem16_label18_false-unreach-call.c timeout (error (143)) 300    234    3072270336 timeout (error (143)) 301    248    2992857088 timeout (error (143)) 306    249    3323629568
eca-rers2012/Problem16_label20_false-unreach-call.c timeout (error (143)) 306    237    3081101312 timeout (error (143)) 301    234    3066564608 timeout (error (143)) 301    237    3208163328
eca-rers2012/Problem16_label22_false-unreach-call.c timeout (error (143)) 300    232    3351826432 timeout (error (143)) 302    244    2977656832 timeout (error (143)) 303    227    3153104896
eca-rers2012/Problem16_label27_false-unreach-call.c false 264    197    3226857472 timeout (error (143)) 301    248    2992291840 timeout (error (143)) 302    245    3231502336
eca-rers2012/Problem16_label30_false-unreach-call.c timeout (error: exception) 301    232    3110887424 timeout (error (143)) 301    244    3057872896 timeout (error (143)) 302    242    3186544640
eca-rers2012/Problem16_label31_false-unreach-call.c timeout (error (143)) 301    232    3159040000 timeout (error (143)) 301    245    2969935872 timeout (error (143)) 302    238    3243331584
eca-rers2012/Problem16_label33_false-unreach-call.c false 257    191    3085426688 timeout (error (143)) 301    241    3073581056 timeout (error (143)) 306    238    3348000768
eca-rers2012/Problem16_label37_false-unreach-call.c false 243    179    3178852352 timeout (error (143)) 301    238    3104997376 timeout (error (143)) 301    248    3150458880
eca-rers2012/Problem16_label38_false-unreach-call.c false 242    178    3199934464 timeout (error (143)) 301    240    2955415552 timeout (error (143)) 301    252    3188260864
eca-rers2012/Problem16_label41_false-unreach-call.c false 262    193    3263148032 timeout (error (143)) 301    244    3048411136 timeout (error (143)) 306    243    3249811456
eca-rers2012/Problem16_label43_false-unreach-call.c false 287    212    3182596096 timeout (error (143)) 300    232    2961436672 timeout (error (143)) 306    260    3287879680
eca-rers2012/Problem16_label44_false-unreach-call.c false 251    190    2893647872 timeout (error (143)) 301    249    2956328960 timeout (error (143)) 304    254    3242594304
eca-rers2012/Problem16_label46_false-unreach-call.c timeout (error (143)) 301    230    3000528896 timeout (error (143)) 301    243    2982227968 timeout (error (143)) 304    256    3256274944
eca-rers2012/Problem16_label51_false-unreach-call.c false 299    230    3168800768 timeout (error (143)) 301    242    2963394560 timeout (error (143)) 301    243    3241172992
eca-rers2012/Problem16_label52_false-unreach-call.c false 205    148    3063484416 timeout (error (143)) 301    244    3073875968 timeout (error (143)) 306    254    3179700224
eca-rers2012/Problem16_label54_false-unreach-call.c false 289    221    3274240000 timeout (error (143)) 301    248    2964705280 timeout (error (143)) 301    251    3260375040
eca-rers2012/Problem17_label04_false-unreach-call.c timeout (error (143)) 300    277    1327218688 timeout (error (143)) 301    249    3059957760 timeout (error (143)) 302    232    3048935424
eca-rers2012/Problem17_label07_false-unreach-call.c timeout (error (143)) 301    252    2552836096 timeout (error (143)) 301    216    3092635648 timeout (error (143)) 302    248    3169902592
eca-rers2012/Problem17_label09_false-unreach-call.c timeout (error (143)) 302    278    1316421632 timeout (error (143)) 303    241    3194540032 timeout (error (143)) 301    241    3185876992
eca-rers2012/Problem17_label13_false-unreach-call.c timeout (error (143)) 301    239    3028115456 timeout (error (143)) 302    243    3279441920 timeout (error (143)) 301    243    3200380928
eca-rers2012/Problem17_label16_false-unreach-call.c timeout (error (143)) 300    275    1323061248 timeout (error (143)) 301    246    3119321088 timeout (error (143)) 302    256    1949564928
eca-rers2012/Problem17_label20_false-unreach-call.c timeout (error (143)) 301    238    2954772480 timeout (error (143)) 301    246    3329024000 timeout (error (143)) 302    246    2921799680
eca-rers2012/Problem17_label23_false-unreach-call.c false 279    223    3078307840 timeout (error (143)) 301    262    2952794112 error: exception 95.2  72.9  1239633920
eca-rers2012/Problem17_label25_false-unreach-call.c timeout (error (143)) 301    275    1322127360 timeout (error (143)) 301    254    2980745216 timeout (error (143)) 301    248    2405863424
eca-rers2012/Problem17_label26_false-unreach-call.c timeout (error (143)) 303    253    2602934272 timeout (error (143)) 301    248    2991620096 timeout (error (143)) 301    238    2668818432
eca-rers2012/Problem17_label30_false-unreach-call.c timeout (error (143)) 301    277    1323225088 timeout (error (143)) 301    247    2968735744 timeout (error (143)) 302    257    1899003904
eca-rers2012/Problem17_label31_false-unreach-call.c timeout (error (143)) 302    241    3106775040 timeout (error (143)) 302    269    2962710528 timeout (error (143)) 301    278    1213681664
eca-rers2012/Problem17_label33_false-unreach-call.c timeout (error (143)) 302    270    1330978816 timeout (error (143)) 301    248    2976813056 timeout (error (143)) 301    253    2287669248
eca-rers2012/Problem17_label34_false-unreach-call.c timeout (error (143)) 301    251    2990411776 timeout (error (143)) 301    254    2975240192 timeout 322    270    5912928256
eca-rers2012/Problem17_label35_false-unreach-call.c timeout (error (143)) 301    264    1846022144 timeout (error (143)) 302    264    2867474432 error: exception 116    86.1  1188831232
eca-rers2012/Problem17_label37_false-unreach-call.c timeout (error (143)) 302    260    2669518848 timeout (error (143)) 301    253    2967412736 timeout (error (143)) 301    242    3096252416
eca-rers2012/Problem17_label40_false-unreach-call.c timeout (error (143)) 300    275    1325727744 timeout (error (143)) 302    249    3014381568 error: exception 223    193    1323155456
eca-rers2012/Problem17_label46_false-unreach-call.c timeout (error (143)) 301    243    3479711744 timeout (error (143)) 301    249    2978340864 timeout (error (143)) 301    231    3031941120
eca-rers2012/Problem17_label49_false-unreach-call.c timeout (error (143)) 300    274    1307201536 timeout (error (143)) 301    256    2939498496 timeout (error (143)) 302    247    3199275008
eca-rers2012/Problem17_label50_false-unreach-call.c timeout (error (143)) 301    275    1318637568 timeout (error (143)) 306    243    2990477312 timeout (error (143)) 302    251    3190460416
eca-rers2012/Problem17_label52_false-unreach-call.c timeout (error (143)) 304    278    1282322432 timeout (error (143)) 301    248    3013869568 timeout (error (143)) 302    247    3164463104
eca-rers2012/Problem17_label53_false-unreach-call.c timeout (error (143)) 302    277    1319456768 timeout (error (143)) 301    251    2964410368 timeout (error (143)) 306    246    3141279744
eca-rers2012/Problem17_label54_false-unreach-call.c timeout (error (143)) 300    272    1318850560 timeout (error (143)) 302    245    2942709760 timeout (error (143)) 302    228    3293495296
eca-rers2012/Problem17_label55_false-unreach-call.c timeout (error (143)) 302    260    2333777920 timeout (error (143)) 301    247    2971926528 timeout (error (143)) 301    253    2474086400
eca-rers2012/Problem17_label57_false-unreach-call.c timeout (error (143)) 301    260    2163290112 timeout (error (143)) 301    229    3119652864 timeout (error (143)) 302    269    1477439488
eca-rers2012/Problem18_label00_false-unreach-call.c timeout (error (143)) 301    234    4390793216 timeout (error (143)) 301    224    3206610944 timeout (error (143)) 301    223    3160477696
eca-rers2012/Problem18_label01_false-unreach-call.c timeout (error (143)) 301    234    3495346176 timeout (error (143)) 301    228    3203485696 timeout (error (143)) 301    226    3132846080
eca-rers2012/Problem18_label03_false-unreach-call.c false 297    222    3901100032 timeout (error (143)) 301    226    3103051776 timeout (error (143)) 303    231    3337965568
eca-rers2012/Problem18_label06_false-unreach-call.c timeout (error (143)) 301    228    4357177344 timeout (error (143)) 300    219    3093929984 timeout (error (143)) 301    239    3379879936
eca-rers2012/Problem18_label08_false-unreach-call.c false 291    217    4597915648 timeout (error (143)) 302    223    3497369600 timeout (error (143)) 303    230    3534942208
eca-rers2012/Problem18_label09_false-unreach-call.c timeout (error (143)) 301    233    3982053376 timeout (error (143)) 301    228    3181817856 timeout (error (143)) 302    240    3321741312
eca-rers2012/Problem18_label10_false-unreach-call.c timeout (error (143)) 301    226    4339646464 timeout (error (143)) 301    233    3076734976 timeout (error (143)) 300    216    3293106176
eca-rers2012/Problem18_label12_false-unreach-call.c false 252    188    3939823616 timeout (error (143)) 301    231    3111075840 timeout (error (143)) 306    246    3241308160
eca-rers2012/Problem18_label19_false-unreach-call.c timeout (error (143)) 301    230    4056616960 timeout (error (143)) 301    240    3034755072 timeout (error (143)) 301    223    3416559616
eca-rers2012/Problem18_label20_false-unreach-call.c timeout (error (143)) 302    228    4058791936 timeout (error (143)) 301    236    3122864128 timeout (error (143)) 301    239    3241201664
eca-rers2012/Problem18_label25_false-unreach-call.c false 229    169    3861934080 timeout (error (143)) 300    218    3155165184 timeout (error (143)) 306    247    3292409856
eca-rers2012/Problem18_label27_false-unreach-call.c false 239    176    3876945920 timeout (error (143)) 301    236    3045842944 timeout (error (143)) 304    247    3260915712
eca-rers2012/Problem18_label31_false-unreach-call.c timeout (error (143)) 301    230    3677380608 timeout (error (143)) 301    235    3124985856 timeout (error (143)) 306    251    3272957952
eca-rers2012/Problem18_label32_false-unreach-call.c timeout (error (143)) 301    228    4320243712 timeout (error (143)) 301    235    3156320256 timeout (error (143)) 302    245    3316297728
eca-rers2012/Problem18_label33_false-unreach-call.c timeout (error (143)) 301    227    4313092096 timeout (error (143)) 301    233    3137310720 timeout (error (143)) 306    250    3316785152
eca-rers2012/Problem18_label34_false-unreach-call.c timeout (error (143)) 301    230    3715842048 timeout (error (143)) 301    235    3121668096 timeout (error (143)) 301    245    3242672128
eca-rers2012/Problem18_label35_false-unreach-call.c timeout (error (143)) 301    230    4123041792 timeout (error (143)) 302    213    3108978688 timeout (error (143)) 306    239    3486330880
eca-rers2012/Problem18_label36_false-unreach-call.c timeout (error (143)) 301    227    4243599360 timeout (error (143)) 301    232    3174244352 timeout (error (143)) 302    242    3325706240
eca-rers2012/Problem18_label38_false-unreach-call.c timeout (error (143)) 301    231    3776397312 timeout (error (143)) 302    224    3134713856 timeout (error (143)) 306    247    3285463040
eca-rers2012/Problem18_label39_false-unreach-call.c timeout (error (143)) 301    225    4273696768 timeout (error (143)) 301    225    3231043584 timeout (error (143)) 306    245    3387912192
eca-rers2012/Problem18_label45_false-unreach-call.c false 223    163    3717480448 timeout (error (143)) 301    231    3116052480 timeout (error (143)) 304    240    3274498048
eca-rers2012/Problem18_label49_false-unreach-call.c false 287    216    4201398272 timeout (error (143)) 300    224    3227635712 timeout (error (143)) 306    244    3385708544
eca-rers2012/Problem18_label52_false-unreach-call.c timeout (error (143)) 301    228    4317761536 timeout (error (143)) 300    226    3164839936 timeout (error (143)) 306    246    3334586368
eca-rers2012/Problem18_label55_false-unreach-call.c false 281    204    4230098944 timeout (error (143)) 301    223    3086016512 timeout (error (143)) 302    241    3334438912
eca-rers2012/Problem18_label57_false-unreach-call.c timeout (error (143)) 300    234    4049047552 timeout (error (143)) 301    234    3114291200 timeout (error (143)) 303    246    3264221184
eca-rers2012/Problem19_label10_false-unreach-call.c timeout (error (143)) 301    242    3335106560 timeout (error (143)) 301    229    3082788864 timeout (error (143)) 305    239    3277160448
eca-rers2012/Problem19_label11_false-unreach-call.c timeout (error (143)) 300    237    3515457536 timeout (error (143)) 301    227    3172909056 timeout (error (143)) 304    236    3329335296
eca-rers2012/Problem19_label14_false-unreach-call.c timeout (error (143)) 301    239    3361173504 timeout (error (143)) 302    223    3086028800 timeout (error (143)) 305    235    3410350080
eca-rers2012/Problem19_label17_false-unreach-call.c timeout (error (143)) 301    236    3542192128 timeout (error (143)) 301    228    3038236672 timeout (error (143)) 302    229    3247616000
eca-rers2012/Problem19_label18_false-unreach-call.c timeout (error (143)) 301    237    3197124608 timeout (error (143)) 301    233    3169546240 timeout (error (143)) 307    235    3268128768
eca-rers2012/Problem19_label19_false-unreach-call.c timeout (error (143)) 300    238    3223826432 timeout (error (143)) 301    223    3066597376 timeout (error (143)) 301    232    3385425920
eca-rers2012/Problem19_label21_false-unreach-call.c timeout (error (143)) 302    246    3232063488 timeout (error (143)) 305    229    3063062528 timeout (error (143)) 306    237    3092205568
eca-rers2012/Problem19_label22_false-unreach-call.c timeout (error (143)) 300    241    4029845504 timeout (error (143)) 301    215    3122003968 timeout (error (143)) 301    236    3107024896
eca-rers2012/Problem19_label26_false-unreach-call.c timeout (error (143)) 301    243    3289837568 timeout (error (143)) 301    226    3045818368 timeout (error (143)) 302    234    3278954496
eca-rers2012/Problem19_label27_false-unreach-call.c timeout (error (143)) 301    242    3235659776 timeout (error (143)) 302    232    3634655232 timeout (error (143)) 302    229    3393171456
eca-rers2012/Problem19_label28_false-unreach-call.c timeout (error (143)) 302    233    3992162304 timeout (error (143)) 301    225    3103870976 timeout (error (143)) 305    241    3107041280
eca-rers2012/Problem19_label29_false-unreach-call.c timeout (error: exception) 301    240    3556990976 timeout (error (143)) 301    223    3098501120 timeout (error (143)) 305    244    3090141184
eca-rers2012/Problem19_label31_false-unreach-call.c timeout (error (143)) 301    240    3315187712 timeout (error (143)) 301    237    3829653504 timeout (error (143)) 301    227    3576356864
eca-rers2012/Problem19_label32_false-unreach-call.c timeout (error (143)) 301    237    3354927104 timeout (error (143)) 303    240    4001607680 timeout (error (143)) 306    240    4180086784
eca-rers2012/Problem19_label41_false-unreach-call.c timeout (error (143)) 301    239    3215896576 timeout (error (143)) 303    235    3272732672 timeout (error (143)) 302    233    3137507328
eca-rers2012/Problem19_label42_false-unreach-call.c timeout (error (143)) 300    245    3361443840 timeout (error (143)) 306    223    3090972672 timeout (error (143)) 306    248    3107954688
eca-rers2012/Problem19_label43_false-unreach-call.c timeout (error (143)) 301    242    3267510272 timeout (error (143)) 302    232    3542896640 timeout (error (143)) 302    237    3548696576
eca-rers2012/Problem19_label47_false-unreach-call.c timeout (error (143)) 301    242    3521310720 timeout (error (143)) 302    234    3083403264 timeout (error (143)) 306    248    3089784832
eca-rers2012/Problem19_label50_false-unreach-call.c timeout (error (143)) 303    247    3507380224 timeout (error (143)) 301    235    4079382528 timeout (error (143)) 302    226    3642073088
eca-rers2012/Problem19_label51_false-unreach-call.c timeout (error (143)) 300    241    3686563840 timeout (error (143)) 301    232    3080454144 timeout (error (143)) 301    230    3265105920
eca-rers2012/Problem19_label53_false-unreach-call.c timeout (error (143)) 301    238    3390832640 timeout (error (143)) 310    235    4330725376 timeout (error (143)) 302    234    4164018176
eca-rers2012/Problem19_label55_false-unreach-call.c timeout (error (143)) 303    238    3575132160 timeout (error (143)) 302    235    3567824896 timeout (error (143)) 302    236    3461304320
eca-rers2012/Problem19_label58_false-unreach-call.c timeout (error (143)) 303    241    3257372672 timeout (error (143)) 306    227    3142983680 timeout (error (143)) 306    243    3122958336
eca-rers2012/Problem19_label59_false-unreach-call.c timeout (error (143)) 301    234    4469055488 timeout (error (143)) 301    222    3157323776 timeout (error (143)) 300    225    3336351744
eca-rers2012/Problem01_label00_true-unreach-call_false-termination.c true 56.0  32.0  1031643136 true 34.1  19.7  867373056 true 35.9  20.5  879534080
eca-rers2012/Problem01_label01_true-unreach-call_false-termination.c true 70.7  41.2  1208131584 timeout (error (143)) 304    273    2889658368 true 45.6  26.6  1065070592
eca-rers2012/Problem01_label02_true-unreach-call_false-termination.c true 70.3  40.4  1215148032 timeout (error (143)) 301    264    2895130624 true 162    105    2888937472
eca-rers2012/Problem01_label03_true-unreach-call_false-termination.c true 67.8  40.9  1195188224 true 34.6  20.1  878882816 true 34.0  19.7  863576064
eca-rers2012/Problem01_label04_true-unreach-call_false-termination.c true 69.5  40.5  1196552192 timeout (error (143)) 301    266    2890129408 true 147    93.2  2266771456
eca-rers2012/Problem01_label05_true-unreach-call_false-termination.c true 74.7  43.8  1247551488 timeout (error (143)) 301    261    2928209920 true 139    85.3  1989705728
eca-rers2012/Problem01_label06_true-unreach-call_false-termination.c true 46.9  26.9  1003180032 timeout (error (143)) 301    257    2952806400 true 90.4  54.2  1532514304
eca-rers2012/Problem01_label07_true-unreach-call_false-termination.c true 52.4  30.2  1047117824 timeout (error (143)) 303    268    2891612160 true 97.7  60.1  1825603584
eca-rers2012/Problem01_label08_true-unreach-call_false-termination.c true 43.6  25.6  1067536384 timeout (error (143)) 301    257    2910638080 true 126    77.4  2240831488
eca-rers2012/Problem01_label09_true-unreach-call_false-termination.c true 57.8  34.1  1180164096 true 33.1  19.2  860237824 true 31.7  18.4  863383552
eca-rers2012/Problem01_label10_true-unreach-call_false-termination.c true 55.0  31.5  1044357120 timeout (error (143)) 303    270    2892005376 true 146    94.9  2606030848
eca-rers2012/Problem01_label11_true-unreach-call_false-termination.c true 56.1  32.6  1159028736 timeout (error (143)) 302    261    2914549760 true 137    83.0  2239942656
eca-rers2012/Problem01_label12_true-unreach-call_false-termination.c true 58.8  35.4  1191010304 true 30.6  17.1  852512768 true 28.2  16.1  856682496
eca-rers2012/Problem01_label13_true-unreach-call_false-termination.c true 60.7  34.9  1198628864 timeout (error (143)) 302    261    2908024832 true 35.5  19.9  878096384
eca-rers2012/Problem01_label14_true-unreach-call_false-termination.c true 80.2  47.3  1193267200 timeout (error (143)) 302    260    2954108928 true 140    86.1  2194628608
eca-rers2012/Problem01_label16_true-unreach-call_false-termination.c true 62.3  38.8  1201586176 true 28.0  16.0  849108992 true 29.8  16.7  859504640
eca-rers2012/Problem01_label17_true-unreach-call_false-termination.c true 51.0  29.9  1033310208 timeout (error (143)) 301    265    2894077952 true 114    69.6  1779359744
eca-rers2012/Problem01_label18_true-unreach-call_false-termination.c true 79.6  46.2  1217216512 true 34.3  19.7  856805376 true 33.1  19.2  855916544
eca-rers2012/Problem01_label19_true-unreach-call_false-termination.c true 66.1  39.0  1214074880 timeout (error (143)) 301    268    2893893632 true 67.3  40.7  1297235968
eca-rers2012/Problem01_label22_true-unreach-call_false-termination.c true 55.4  32.0  1137758208 true 28.9  16.4  848687104 true 28.7  16.3  855072768
eca-rers2012/Problem01_label23_true-unreach-call_false-termination.c true 49.0  29.0  1018732544 timeout (error (143)) 301    266    2897661952 true 100    61.8  1998307328
eca-rers2012/Problem01_label24_true-unreach-call_false-termination.c true 49.5  28.7  1009119232 timeout (error (143)) 301    265    2892161024 true 37.8  21.5  917123072
eca-rers2012/Problem01_label25_true-unreach-call_false-termination.c true 66.1  37.9  1179340800 timeout (error (143)) 301    263    2911232000 true 101    61.9  1647398912
eca-rers2012/Problem01_label26_true-unreach-call_false-termination.c true 64.6  37.8  1163067392 timeout (error (143)) 301    266    2902482944 true 128    79.9  2363531264
eca-rers2012/Problem01_label27_true-unreach-call_false-termination.c true 63.0  37.9  1193975808 timeout (error (143)) 302    262    2912231424 true 165    105    2487930880
eca-rers2012/Problem01_label28_true-unreach-call_false-termination.c true 67.7  40.0  1188605952 timeout (error (143)) 301    264    2906185728 true 93.0  58.0  1553539072
eca-rers2012/Problem01_label29_true-unreach-call_false-termination.c true 50.0  29.5  1043255296 timeout (error (143)) 302    265    2908774400 true 138    84.0  2142019584
eca-rers2012/Problem01_label30_true-unreach-call_false-termination.c true 79.3  46.0  1204150272 timeout (error (143)) 301    262    2906521600 true 109    65.3  1851342848
eca-rers2012/Problem01_label31_true-unreach-call_false-termination.c true 37.7  21.8  877731840 true 23.0  13.1  702926848 true 23.4  13.3  709394432
eca-rers2012/Problem01_label34_true-unreach-call_false-termination.c true 57.6  33.5  1060753408 timeout (error (143)) 300    273    2884866048 true 136    86.2  2394030080
eca-rers2012/Problem01_label36_true-unreach-call_false-termination.c true 48.6  28.5  1071484928 true 34.4  20.5  947642368 true 37.1  21.7  930504704
eca-rers2012/Problem01_label39_true-unreach-call_false-termination.c true 60.6  38.4  1173381120 true 39.1  22.9  1003765760 true 36.2  21.5  999260160
eca-rers2012/Problem01_label40_true-unreach-call_false-termination.c true 64.3  38.3  1225269248 timeout (error (143)) 303    268    2890203136 true 85.2  53.0  1551097856
eca-rers2012/Problem01_label41_true-unreach-call_false-termination.c true 45.4  26.1  1005047808 timeout (error (143)) 302    263    2904272896 true 109    65.8  1721188352
eca-rers2012/Problem01_label42_true-unreach-call_false-termination.c true 54.6  30.9  1062281216 timeout (error (143)) 301    262    2955960320 true 81.4  49.7  1435103232
eca-rers2012/Problem01_label43_true-unreach-call_false-termination.c true 42.5  25.0  995311616 timeout (error (143)) 302    267    2895540224 true 89.1  51.9  1433190400
eca-rers2012/Problem01_label45_true-unreach-call_false-termination.c true 57.7  34.8  1180729344 timeout (error (143)) 301    264    2891386880 true 85.6  51.2  1418797056
eca-rers2012/Problem01_label46_true-unreach-call_false-termination.c true 37.0  21.6  997744640 timeout (error (143)) 302    268    2893938688 true 86.2  52.9  1541627904
eca-rers2012/Problem01_label48_true-unreach-call_false-termination.c true 55.4  32.4  1087127552 true 34.8  20.3  889114624 true 36.0  20.8  887701504
eca-rers2012/Problem01_label49_true-unreach-call_false-termination.c true 28.8  16.2  860868608 true 22.7  12.9  720928768 true 24.7  14.0  725508096
eca-rers2012/Problem01_label51_true-unreach-call_false-termination.c true 55.6  34.1  1174822912 true 36.9  21.1  854573056 true 36.7  21.2  873046016
eca-rers2012/Problem01_label52_true-unreach-call_false-termination.c true 30.3  17.0  853458944 timeout (error (143)) 302    268    2911936512 true 129    79.9  2040328192
eca-rers2012/Problem01_label53_true-unreach-call_false-termination.c true 52.6  30.9  1072799744 timeout (error (143)) 301    264    2953523200 true 170    108    2517819392
eca-rers2012/Problem01_label54_true-unreach-call_false-termination.c true 54.9  32.2  1066283008 timeout (error (143)) 302    265    2925772800 true 60.1  35.7  1266376704
eca-rers2012/Problem01_label55_true-unreach-call_false-termination.c true 33.3  19.6  866586624 timeout (error (143)) 302    269    2902466560 true 130    82.9  2302148608
eca-rers2012/Problem01_label58_true-unreach-call_false-termination.c true 35.3  20.5  879083520 true 23.0  13.1  709107712 true 22.6  12.9  713527296
eca-rers2012/Problem01_label59_true-unreach-call_false-termination.c true 57.8  33.4  1031970816 timeout (error (143)) 301    266    2907033600 true 40.9  24.1  1057476608
eca-rers2012/Problem02_label00_true-unreach-call_false-termination.c true 73.1  41.2  1195048960 timeout (error (143)) 301    254    2953871360 true 84.0  50.8  1448058880
eca-rers2012/Problem02_label01_true-unreach-call_false-termination.c true 34.5  20.0  864157696 timeout (error (143)) 301    255    2914803712 true 130    85.4  1982726144
eca-rers2012/Problem02_label02_true-unreach-call_false-termination.c true 29.0  16.3  864112640 timeout (error (143)) 301    266    2950348800 true 88.5  54.0  1476284416
eca-rers2012/Problem02_label03_true-unreach-call_false-termination.c true 46.5  27.2  997376000 timeout (error (143)) 301    265    2897170432 true 69.3  40.8  1236918272
eca-rers2012/Problem02_label04_true-unreach-call_false-termination.c true 59.7  34.2  1033412608 timeout (error (143)) 301    248    2946940928 true 87.0  51.2  1429700608
eca-rers2012/Problem02_label05_true-unreach-call_false-termination.c true 45.4  26.9  1018675200 timeout (error (143)) 301    245    2911510528 true 84.7  50.9  1386823680
eca-rers2012/Problem02_label06_true-unreach-call_false-termination.c true 60.3  35.7  1204207616 timeout (error (143)) 301    265    2915364864 true 170    112    2846842880
eca-rers2012/Problem02_label07_true-unreach-call_false-termination.c true 49.2  28.2  1007587328 timeout (error (143)) 301    258    2957643776 true 64.8  38.1  1250189312
eca-rers2012/Problem02_label08_true-unreach-call_false-termination.c true 37.5  22.0  940658688 timeout (error (143)) 301    269    2912923648 true 62.0  37.3  1196785664
eca-rers2012/Problem02_label09_true-unreach-call_false-termination.c true 34.4  20.0  857133056 timeout (error (143)) 301    254    2940727296 true 103    63.0  1842044928
eca-rers2012/Problem02_label10_true-unreach-call_false-termination.c true 40.5  23.3  858767360 timeout (error (143)) 301    249    2937323520 true 97.3  60.6  1812750336
eca-rers2012/Problem02_label11_true-unreach-call_false-termination.c true 34.2  19.6  875945984 timeout (error (143)) 302    258    2954416128 true 96.9  59.2  1505787904
eca-rers2012/Problem02_label12_true-unreach-call_false-termination.c true 37.7  20.7  889245696 timeout (error (143)) 302    255    2936160256 true 106    64.6  1827614720
eca-rers2012/Problem02_label14_true-unreach-call_false-termination.c true 62.6  37.0  1196765184 timeout (error (143)) 301    252    2915704832 true 87.8  51.5  1389133824
eca-rers2012/Problem02_label15_true-unreach-call_false-termination.c true 59.3  35.0  1193963520 true 33.0  19.0  860471296 true 31.7  18.3  856981504
eca-rers2012/Problem02_label17_true-unreach-call_false-termination.c true 33.8  19.4  849829888 timeout (error (143)) 301    260    2959093760 true 102    62.0  1727684608
eca-rers2012/Problem02_label18_true-unreach-call_false-termination.c true 32.5  18.9  880025600 timeout (error (143)) 301    267    2911940608 true 62.6  38.7  1134329856
eca-rers2012/Problem02_label19_true-unreach-call_false-termination.c true 66.1  37.6  1151389696 timeout (error (143)) 302    267    2912649216 true 134    86.2  2179002368
eca-rers2012/Problem02_label20_true-unreach-call_false-termination.c true 53.6  31.3  1065525248 timeout (error (143)) 301    248    2952544256 true 97.7  56.9  1413918720
eca-rers2012/Problem02_label21_true-unreach-call_false-termination.c true 55.6  31.9  1020444672 timeout (error (143)) 301    270    2918227968 true 86.0  51.2  1486827520
eca-rers2012/Problem02_label22_true-unreach-call_false-termination.c true 56.1  32.5  1065365504 timeout (error (143)) 301    261    2927370240 true 89.8  54.5  1446617088
eca-rers2012/Problem02_label23_true-unreach-call_false-termination.c true 51.6  30.4  1186394112 timeout (error (143)) 301    259    2916524032 true 93.5  56.6  1474404352
eca-rers2012/Problem02_label24_true-unreach-call_false-termination.c true 50.8  30.0  1173999616 timeout (error (143)) 302    262    2906615808 true 103    62.7  1629143040
eca-rers2012/Problem02_label25_true-unreach-call_false-termination.c true 52.1  30.6  1032372224 timeout (error (143)) 301    255    2958381056 true 122    74.1  1985306624
eca-rers2012/Problem02_label26_true-unreach-call_false-termination.c true 64.8  36.5  1077735424 timeout (error (143)) 301    259    2953973760 true 125    76.1  1930350592
eca-rers2012/Problem02_label27_true-unreach-call_false-termination.c true 57.0  32.3  1053966336 timeout (error (143)) 303    269    2880241664 true 67.1  40.4  1252937728
eca-rers2012/Problem02_label28_true-unreach-call_false-termination.c true 42.7  25.0  1007710208 timeout (error (143)) 304    262    2946084864 true 134    87.3  2300436480
eca-rers2012/Problem02_label29_true-unreach-call_false-termination.c true 31.7  18.4  862560256 timeout (error (143)) 301    254    2954358784 true 99.7  60.3  1805598720
eca-rers2012/Problem02_label30_true-unreach-call_false-termination.c true 36.8  21.4  885960704 timeout (error (143)) 301    258    2953175040 true 104    64.7  1864921088
eca-rers2012/Problem02_label31_true-unreach-call_false-termination.c true 33.8  20.1  890179584 timeout (error (143)) 301    258    2923515904 true 101    64.3  1900400640
eca-rers2012/Problem02_label32_true-unreach-call_false-termination.c true 36.1  21.2  863035392 timeout (error (143)) 302    261    2918690816 true 113    71.4  1947377664
eca-rers2012/Problem02_label33_true-unreach-call_false-termination.c true 62.6  36.0  1156808704 timeout (error (143)) 301    266    2903666688 true 76.7  47.6  1466580992
eca-rers2012/Problem02_label34_true-unreach-call_false-termination.c true 35.2  20.2  871366656 timeout (error (143)) 301    255    2952585216 true 145    93.2  2246971392
eca-rers2012/Problem02_label35_true-unreach-call_false-termination.c true 33.3  19.1  857927680 timeout (error (143)) 301    246    2951516160 true 90.4  56.0  1594986496
eca-rers2012/Problem02_label36_true-unreach-call_false-termination.c true 35.0  20.4  853639168 timeout (error (143)) 301    249    2954072064 true 149    95.8  2518614016
eca-rers2012/Problem02_label37_true-unreach-call_false-termination.c true 64.5  36.7  1155891200 true 24.9  14.4  832823296 true 25.9  14.7  825561088
eca-rers2012/Problem02_label38_true-unreach-call_false-termination.c true 54.3  32.0  1162825728 true 25.4  14.4  816766976 true 25.3  14.4  842407936
eca-rers2012/Problem02_label39_true-unreach-call_false-termination.c true 59.2  34.5  1168707584 timeout (error (143)) 304    256    2887663616 true 119    75.2  1760198656
eca-rers2012/Problem02_label40_true-unreach-call_false-termination.c true 55.1  32.5  1016090624 timeout (error (143)) 302    260    2948952064 true 123    78.0  1837260800
eca-rers2012/Problem02_label41_true-unreach-call_false-termination.c true 30.3  17.3  845127680 timeout (error (143)) 301    264    2915971072 true 86.2  52.5  1406369792
eca-rers2012/Problem02_label42_true-unreach-call_false-termination.c true 56.8  32.3  1020116992 timeout (error (143)) 301    253    2948108288 true 66.6  38.1  1200582656
eca-rers2012/Problem02_label46_true-unreach-call_false-termination.c true 45.4  26.6  1045381120 timeout (error (143)) 301    258    2959257600 true 55.6  31.8  1142054912
eca-rers2012/Problem02_label47_true-unreach-call_false-termination.c true 30.8  17.7  853340160 timeout (error (143)) 302    267    2897453056 true 110    69.1  1593847808
eca-rers2012/Problem02_label48_true-unreach-call_false-termination.c true 37.1  21.7  954417152 timeout (error (143)) 301    268    2913636352 true 75.6  44.6  1338097664
eca-rers2012/Problem02_label49_true-unreach-call_false-termination.c true 70.2  41.0  1154498560 timeout (error (143)) 301    255    2909904896 true 109    69.5  1618878464
eca-rers2012/Problem02_label51_true-unreach-call_false-termination.c true 29.8  16.9  859070464 timeout (error (143)) 301    257    2896982016 true 82.2  48.7  1338998784
eca-rers2012/Problem02_label52_true-unreach-call_false-termination.c true 28.8  16.5  829112320 timeout (error (143)) 301    246    2937954304 true 99.7  65.2  2115936256
eca-rers2012/Problem02_label53_true-unreach-call_false-termination.c true 48.1  28.2  1029357568 timeout (error (143)) 302    261    2909278208 true 82.0  48.7  1365221376
eca-rers2012/Problem02_label54_true-unreach-call_false-termination.c true 49.0  29.1  1007763456 timeout (error (143)) 300    271    2917466112 true 74.1  42.8  1227116544
eca-rers2012/Problem02_label55_true-unreach-call_false-termination.c true 33.4  19.3  861167616 timeout (error (143)) 301    267    2909495296 true 114    72.6  1691758592
eca-rers2012/Problem02_label56_true-unreach-call_false-termination.c true 57.5  32.5  1028169728 timeout (error (143)) 301    267    2906222592 true 78.1  45.3  1244028928
eca-rers2012/Problem02_label57_true-unreach-call_false-termination.c true 46.3  27.3  1051811840 timeout (error (143)) 301    264    2937946112 true 69.8  41.2  1245921280
eca-rers2012/Problem02_label58_true-unreach-call_false-termination.c true 31.6  18.5  866443264 true 27.2  15.3  809697280 true 25.8  14.7  802177024
eca-rers2012/Problem03_label00_true-unreach-call.c timeout (error (143)) 301    202    6076796928 timeout (error (143)) 301    278    2901954560 timeout (error (143)) 301    216    4277960704
eca-rers2012/Problem03_label01_true-unreach-call.c timeout 322    209    7577419776 timeout (error (143)) 302    280    2896338944 timeout (error (143)) 302    221    4512944128
eca-rers2012/Problem03_label02_true-unreach-call.c timeout (error (143)) 302    203    6421295104 timeout (error (143)) 301    278    2887282688 timeout (error (143)) 301    226    4416413696
eca-rers2012/Problem03_label03_true-unreach-call.c timeout (error (143)) 311    208    6918356992 timeout (error (143)) 302    279    2895523840 timeout (error (143)) 302    216    5293830144
eca-rers2012/Problem03_label04_true-unreach-call.c timeout 322    213    7859953664 timeout (error (143)) 302    282    2878337024 timeout (error (143)) 302    218    4379807744
eca-rers2012/Problem03_label05_true-unreach-call.c timeout (error (143)) 303    211    6236839936 timeout (error (143)) 303    280    2893946880 timeout (error (143)) 301    215    4227481600
eca-rers2012/Problem03_label06_true-unreach-call.c timeout (error (143)) 301    215    6550708224 timeout (error (143)) 305    282    2895855616 timeout (error (143)) 302    233    3985321984
eca-rers2012/Problem03_label07_true-unreach-call.c timeout (error (143)) 301    205    6090948608 timeout (error (143)) 302    275    2901536768 timeout (error (143)) 301    220    5355073536
eca-rers2012/Problem03_label08_true-unreach-call.c timeout (error (143)) 310    205    7849037824 timeout (error (143)) 303    280    2881982464 true 247    182    3306749952
eca-rers2012/Problem03_label10_true-unreach-call.c true 161    113    3902713856 timeout (error (143)) 301    279    2886225920 timeout (error (143)) 301    218    4353835008
eca-rers2012/Problem03_label11_true-unreach-call.c timeout 322    215    7220695040 timeout (error (143)) 302    272    2919858176 timeout (error (143)) 301    218    4348948480
eca-rers2012/Problem03_label12_true-unreach-call.c timeout (error (143)) 304    197    7724756992 timeout (error (143)) 302    276    2905780224 timeout (error (143)) 301    211    5233041408
eca-rers2012/Problem03_label14_true-unreach-call.c timeout (error (143)) 301    233    5640257536 timeout (error (143)) 304    276    2905587712 timeout (error (143)) 302    219    4807634944
eca-rers2012/Problem03_label15_true-unreach-call.c timeout (error (143)) 301    200    6672084992 timeout (error (143)) 303    279    2897448960 timeout (error (143)) 301    219    4367085568
eca-rers2012/Problem03_label16_true-unreach-call.c timeout (error (143)) 301    199    7127830528 timeout (error (143)) 302    283    2881228800 timeout (error (143)) 302    225    4133924864
eca-rers2012/Problem03_label17_true-unreach-call.c timeout (error (143)) 301    207    6206066688 timeout (error (143)) 304    263    3024195584 timeout (error (143)) 301    210    4450041856
eca-rers2012/Problem03_label18_true-unreach-call.c timeout (error (143)) 301    207    6304174080 timeout (error (143)) 304    278    2896158720 timeout (error (143)) 301    222    4274421760
eca-rers2012/Problem03_label19_true-unreach-call.c timeout (error (143)) 306    207    6607671296 timeout (error (143)) 302    277    2903883776 timeout (error (143)) 301    223    4244652032
eca-rers2012/Problem03_label20_true-unreach-call.c timeout (error (143)) 302    205    6388768768 timeout (error (143)) 303    280    2894970880 timeout (error (143)) 301    219    4239196160
eca-rers2012/Problem03_label21_true-unreach-call.c timeout (error (143)) 312    202    7827714048 timeout (error (143)) 305    282    2900000768 timeout (error (143)) 301    227    4283170816
eca-rers2012/Problem03_label22_true-unreach-call.c true 184    136    3529105408 timeout (error (143)) 302    274    2924523520 timeout (error (143)) 302    219    4941799424
eca-rers2012/Problem03_label23_true-unreach-call.c timeout (error (143)) 302    208    6241419264 timeout (error (143)) 301    275    2892148736 timeout (error (143)) 302    220    4330733568
eca-rers2012/Problem03_label24_true-unreach-call.c timeout (error (143)) 301    199    6581739520 timeout (error (143)) 301    276    2918039552 timeout (error (143)) 301    216    4322828288
eca-rers2012/Problem03_label25_true-unreach-call.c out of memory 299    200    8000000000 timeout (error (143)) 304    270    2977128448 timeout (error (143)) 301    212    4644999168
eca-rers2012/Problem03_label29_true-unreach-call.c timeout (error (143)) 302    194    7715966976 timeout (error (143)) 301    277    2895708160 true 266    197    3668299776
eca-rers2012/Problem03_label30_true-unreach-call.c true 155    113    2845409280 timeout (error (143)) 302    275    2910986240 timeout (error (143)) 305    217    4794970112
eca-rers2012/Problem03_label32_true-unreach-call.c true 113    71.1  2279755776 timeout (error (143)) 304    280    2889150464 true 149    94.4  3010310144
eca-rers2012/Problem03_label33_true-unreach-call.c timeout 304    216    8000000000 timeout (error (143)) 303    280    2898337792 true 238    169    3544809472
eca-rers2012/Problem03_label34_true-unreach-call.c timeout (error (143)) 301    203    6147973120 timeout (error (143)) 302    276    2889576448 timeout (error (143)) 304    228    4501131264
eca-rers2012/Problem03_label36_true-unreach-call.c timeout (error (143)) 303    200    7626723328 timeout (error (143)) 301    279    2883293184 true 163    109    3189010432
eca-rers2012/Problem03_label38_true-unreach-call.c timeout (error (143)) 302    207    6321766400 timeout (error (143)) 303    283    2882465792 timeout (error (143)) 301    219    4381253632
eca-rers2012/Problem03_label40_true-unreach-call.c true 88.2  53.2  1555898368 timeout (error (143)) 301    278    2892783616 true 154    109    3193651200
eca-rers2012/Problem03_label41_true-unreach-call.c timeout 322    216    7292411904 timeout (error (143)) 301    277    2891915264 timeout (error (143)) 302    223    4734054400
eca-rers2012/Problem03_label42_true-unreach-call.c true 130    88.4  3857854464 timeout (error (143)) 301    278    2895159296 timeout (error (143)) 301    223    4165070848
eca-rers2012/Problem03_label44_true-unreach-call.c timeout (error (143)) 302    206    6060929024 timeout (error (143)) 301    277    2893398016 timeout (error (143)) 301    218    4461453312
eca-rers2012/Problem03_label46_true-unreach-call.c timeout (error (143)) 300    231    4536082432 timeout (error (143)) 301    279    2895863808 timeout (error (143)) 301    223    4388417536
eca-rers2012/Problem03_label47_true-unreach-call.c timeout 322    210    7142838272 timeout (error (143)) 303    282    2882928640 timeout (error (143)) 302    213    5108404224
eca-rers2012/Problem03_label48_true-unreach-call.c true 215    161    3717873664 timeout (error (143)) 302    279    2887700480 timeout (error (143)) 301    214    5523484672
eca-rers2012/Problem03_label49_true-unreach-call.c timeout (error (143)) 306    206    7077343232 timeout (error (143)) 302    286    2876293120 timeout (error (143)) 309    236    4297465856
eca-rers2012/Problem03_label51_true-unreach-call.c timeout (error (143)) 306    208    6462717952 timeout (error (143)) 302    275    2897485824 timeout (error (143)) 301    221    4268142592
eca-rers2012/Problem03_label53_true-unreach-call.c timeout (error (143)) 302    195    7617757184 timeout (error (143)) 304    269    2983714816 timeout (error (143)) 300    218    4287565824
eca-rers2012/Problem03_label54_true-unreach-call.c timeout (error (143)) 302    203    6713868288 timeout (error (143)) 303    284    2873847808 timeout (error (143)) 302    222    4137656320
eca-rers2012/Problem03_label55_true-unreach-call.c timeout (error (143)) 302    205    7179837440 timeout (error (143)) 302    271    2918543360 timeout (error (143)) 301    210    4461051904
eca-rers2012/Problem03_label56_true-unreach-call.c timeout (error (143)) 302    201    7894274048 timeout (error (143)) 302    277    2899742720 true 199    133    3014721536
eca-rers2012/Problem03_label57_true-unreach-call.c true 172    117    4045373440 timeout (error (143)) 304    278    2888130560 timeout 322    226    6356033536
eca-rers2012/Problem03_label58_true-unreach-call.c timeout (error (143)) 301    197    7899918336 timeout (error (143)) 306    284    2882322432 timeout (error (143)) 302    231    4126904320
eca-rers2012/Problem03_label59_true-unreach-call.c timeout (error (143)) 301    203    7336681472 timeout (error (143)) 302    278    2896662528 timeout (error (143)) 301    224    4365484032
eca-rers2012/Problem04_label00_true-unreach-call.c timeout (error (143)) 304    227    4385857536 timeout (error (143)) 301    248    2983284736 timeout (error (143)) 306    224    4289548288
eca-rers2012/Problem04_label01_true-unreach-call.c timeout (error (143)) 301    222    4565823488 timeout (error (143)) 303    259    2966683648 timeout (error (143)) 302    228    3798274048
eca-rers2012/Problem04_label02_true-unreach-call.c timeout (error (143)) 301    219    4518170624 timeout (error (143)) 301    247    2987085824 timeout (error (143)) 306    238    4409843712
eca-rers2012/Problem04_label03_true-unreach-call.c timeout (error (143)) 301    218    4190253056 timeout (error (143)) 302    261    2970214400 timeout (error (143)) 302    235    4442771456
eca-rers2012/Problem04_label05_true-unreach-call.c true 290    205    4033884160 timeout (error (143)) 301    266    2984542208 timeout (error (143)) 301    224    4036861952
eca-rers2012/Problem04_label07_true-unreach-call.c timeout (error (143)) 301    225    4280635392 timeout (error (143)) 302    259    2987008000 timeout (error (143)) 303    230    4029636608
eca-rers2012/Problem04_label08_true-unreach-call.c true 281    200    4228333568 timeout (error (143)) 306    249    2982592512 timeout (error (143)) 301    227    4175310848
eca-rers2012/Problem04_label10_true-unreach-call.c timeout (error (143)) 301    224    4088270848 timeout (error (143)) 302    263    2972327936 timeout (error (143)) 301    237    4335452160
eca-rers2012/Problem04_label16_true-unreach-call.c true 229    162    4156170240 timeout (error (143)) 302    260    2973159424 timeout (error (143)) 301    235    4345659392
eca-rers2012/Problem04_label20_true-unreach-call_false-termination.c true 245    173    3876143104 timeout (error (143)) 303    259    2973540352 timeout (error (143)) 301    232    4177960960
eca-rers2012/Problem04_label21_true-unreach-call.c timeout (error: exception) 301    227    4290928640 timeout (error (143)) 303    263    2967773184 timeout (error (143)) 307    231    4320432128
eca-rers2012/Problem04_label22_true-unreach-call.c true 235    172    4184580096 timeout (error (143)) 301    245    2985549824 timeout (error (143)) 301    235    4273819648
eca-rers2012/Problem04_label23_true-unreach-call_false-termination.c timeout (error (143)) 305    228    4331925504 timeout (error (143)) 303    247    2982064128 timeout (error (143)) 301    237    4342648832
eca-rers2012/Problem04_label24_true-unreach-call_false-termination.c timeout (error (143)) 301    227    4383555584 timeout (error (143)) 302    261    2993700864 timeout (error (143)) 301    232    4222369792
eca-rers2012/Problem04_label25_true-unreach-call.c true 260    193    4280066048 timeout (error (143)) 301    244    2978795520 timeout (error (143)) 301    233    4278128640
eca-rers2012/Problem04_label28_true-unreach-call.c timeout (error (143)) 301    221    4449275904 timeout (error (143)) 301    249    2988998656 timeout (error (143)) 301    235    4296437760
eca-rers2012/Problem04_label29_true-unreach-call_false-termination.c true 190    133    3603836928 timeout (error (143)) 302    260    2966740992 timeout (error (143)) 301    234    4288094208
eca-rers2012/Problem04_label30_true-unreach-call.c true 294    217    4265496576 timeout (error (143)) 301    248    2983731200 timeout (error (143)) 300    234    4241920000
eca-rers2012/Problem04_label33_true-unreach-call.c true 179    121    3889999872 timeout (error (143)) 300    248    2994266112 timeout (error (143)) 300    236    4229062656
eca-rers2012/Problem04_label34_true-unreach-call.c timeout (error (143)) 305    233    4278083584 timeout (error (143)) 301    246    2986758144 timeout (error (143)) 301    232    4275970048
eca-rers2012/Problem04_label37_true-unreach-call_false-termination.c timeout (error (143)) 301    225    4256985088 timeout (error (143)) 302    256    2983858176 timeout (error (143)) 316    237    4445716480
eca-rers2012/Problem04_label41_true-unreach-call.c true 272    196    4353085440 timeout (error (143)) 303    259    2980528128 timeout (error (143)) 300    231    4146176000
eca-rers2012/Problem04_label42_true-unreach-call_false-termination.c timeout (error (143)) 301    229    4354355200 timeout (error (143)) 302    256    2978705408 timeout (error (143)) 301    234    4260958208
eca-rers2012/Problem04_label43_true-unreach-call_false-termination.c timeout (error (143)) 302    225    4250832896 timeout (error (143)) 301    263    2980261888 timeout (error (143)) 300    230    4153397248
eca-rers2012/Problem04_label44_true-unreach-call_false-termination.c true 242    181    3456880640 timeout (error (143)) 302    258    2980601856 timeout (error (143)) 301    230    4159942656
eca-rers2012/Problem04_label46_true-unreach-call_false-termination.c timeout (error (143)) 307    229    4253605888 timeout (error (143)) 302    260    2976718848 timeout (error (143)) 301    237    4252712960
eca-rers2012/Problem04_label47_true-unreach-call.c timeout (error (143)) 301    223    4324151296 timeout (error (143)) 302    259    2989330432 timeout (error (143)) 301    230    4152872960
eca-rers2012/Problem04_label48_true-unreach-call.c timeout (error (143)) 302    216    4295696384 timeout (error (143)) 302    259    2977742848 timeout (error (143)) 301    235    4244688896
eca-rers2012/Problem04_label49_true-unreach-call_false-termination.c timeout (error (143)) 303    218    4293066752 timeout (error (143)) 301    247    3002056704 timeout (error (143)) 303    234    4236541952
eca-rers2012/Problem04_label50_true-unreach-call.c timeout (error (143)) 304    230    4250763264 timeout (error (143)) 302    263    2979368960 timeout (error (143)) 300    233    4251275264
eca-rers2012/Problem04_label51_true-unreach-call.c timeout (error (143)) 306    228    4336078848 timeout (error (143)) 302    248    2989981696 timeout (error (143)) 301    228    4128817152
eca-rers2012/Problem04_label53_true-unreach-call.c timeout (error (143)) 305    222    4671569920 timeout (error (143)) 302    263    2983374848 timeout (error (143)) 301    223    3924553728
eca-rers2012/Problem04_label54_true-unreach-call.c timeout (error (143)) 301    218    4150550528 timeout (error (143)) 302    255    2990919680 timeout (error (143)) 301    208    4041404416
eca-rers2012/Problem04_label56_true-unreach-call.c timeout (error (143)) 308    226    4307308544 timeout (error (143)) 302    264    2974023680 timeout (error (143)) 304    241    4401115136
eca-rers2012/Problem04_label57_true-unreach-call_false-termination.c true 289    216    4209922048 timeout (error (143)) 302    258    2978893824 timeout (error (143)) 300    234    4296585216
eca-rers2012/Problem04_label59_true-unreach-call.c true 217    151    4236230656 timeout (error (143)) 302    259    2971447296 true 299    208    4078645248
eca-rers2012/Problem05_label02_true-unreach-call.c timeout (error (143)) 300    219    5058134016 timeout (error (143)) 301    239    3082567680 timeout (error (143)) 301    235    3994202112
eca-rers2012/Problem05_label03_true-unreach-call.c timeout (error (143)) 302    222    5310205952 timeout (error (143)) 301    236    3139153920 timeout (error (143)) 301    221    3960356864
eca-rers2012/Problem05_label04_true-unreach-call.c timeout (error (143)) 303    226    4593242112 timeout (error (143)) 302    237    3121438720 timeout (error (143)) 301    216    3939246080
eca-rers2012/Problem05_label05_true-unreach-call.c timeout (error (143)) 306    229    4235759616 timeout (error (143)) 302    234    3188391936 timeout (error (143)) 301    223    3846938624
eca-rers2012/Problem05_label06_true-unreach-call.c timeout (error (143)) 300    224    4266045440 timeout (error (143)) 301    234    3091361792 timeout (error (143)) 300    235    3958329344
eca-rers2012/Problem05_label07_true-unreach-call.c timeout (error (143)) 301    214    4803817472 timeout (error (143)) 301    229    3095031808 timeout (error (143)) 301    234    4018425856
eca-rers2012/Problem05_label08_true-unreach-call.c timeout (error (143)) 301    223    4213088256 timeout (error (143)) 301    235    3129483264 timeout (error (143)) 301    230    3871637504
eca-rers2012/Problem05_label09_true-unreach-call.c timeout (error (143)) 300    220    4997595136 timeout (error (143)) 301    238    3118022656 timeout (error (143)) 300    233    3955060736
eca-rers2012/Problem05_label10_true-unreach-call.c timeout (error (143)) 301    213    4580065280 timeout (error (143)) 309    242    3226767360 timeout (error (143)) 302    224    4015722496
eca-rers2012/Problem05_label12_true-unreach-call.c timeout (error (143)) 302    220    4662697984 timeout (error (143)) 301    237    3084685312 timeout (error (143)) 301    229    4070281216
eca-rers2012/Problem05_label14_true-unreach-call.c timeout (error (143)) 301    218    5290610688 timeout (error (143)) 302    235    3148480512 timeout (error (143)) 301    229    3847421952
eca-rers2012/Problem05_label16_true-unreach-call.c timeout (error (143)) 301    220    4493987840 timeout (error (143)) 301    236    3096690688 timeout (error (143)) 300    238    3963817984
eca-rers2012/Problem05_label17_true-unreach-call.c timeout (error (143)) 301    220    5273104384 timeout (error (143)) 301    239    3087093760 timeout (error (143)) 301    224    4000342016
eca-rers2012/Problem05_label19_true-unreach-call.c timeout (error (143)) 306    222    5472444416 timeout (error (143)) 301    237    3097382912 timeout (error (143)) 301    219    3891294208
eca-rers2012/Problem05_label20_true-unreach-call.c timeout (error (143)) 300    222    5385998336 timeout (error (143)) 308    241    3194695680 timeout (error (143)) 300    228    3807383552
eca-rers2012/Problem05_label21_true-unreach-call.c timeout (error (143)) 301    219    4520140800 timeout (error (143)) 301    234    3102822400 timeout (error (143)) 300    231    3878068224
eca-rers2012/Problem05_label22_true-unreach-call.c timeout (error (143)) 300    221    4742930432 timeout (error (143)) 302    236    3226820608 timeout (error (143)) 301    225    3704721408
eca-rers2012/Problem05_label23_true-unreach-call.c timeout (error (143)) 301    221    5219332096 timeout (error (143)) 301    237    3094188032 timeout (error (143)) 301    221    3874623488
eca-rers2012/Problem05_label25_true-unreach-call.c timeout (error (143)) 305    215    5497782272 timeout (error (143)) 300    234    3118600192 timeout (error (143)) 301    231    3879870464
eca-rers2012/Problem05_label27_true-unreach-call.c timeout (error (143)) 304    220    5492973568 timeout (error (143)) 307    237    3134226432 timeout (error (143)) 301    229    3792646144
eca-rers2012/Problem05_label28_true-unreach-call.c timeout (error (143)) 309    218    5471428608 timeout (error (143)) 302    240    3104174080 timeout (error (143)) 301    233    3916402688
eca-rers2012/Problem05_label29_true-unreach-call.c timeout (error (143)) 303    217    5485101056 timeout (error (143)) 301    237    3080839168 timeout (error (143)) 301    224    3931836416
eca-rers2012/Problem05_label31_true-unreach-call.c timeout (error (143)) 313    220    5632524288 timeout (error (143)) 302    238    3059474432 timeout (error (143)) 301    235    4252372992
eca-rers2012/Problem05_label34_true-unreach-call.c timeout (error (143)) 301    217    5705601024 timeout (error (143)) 302    236    3107864576 timeout (error (143)) 301    227    3832061952
eca-rers2012/Problem05_label35_true-unreach-call.c timeout (error (143)) 301    215    5597204480 timeout (error (143)) 301    237    3107098624 timeout (error (143)) 301    232    3888111616
eca-rers2012/Problem05_label42_true-unreach-call.c timeout (error (143)) 301    216    5575454720 timeout (error (143)) 301    236    3127771136 timeout (error (143)) 300    229    3776245760
eca-rers2012/Problem05_label43_true-unreach-call.c timeout (error (143)) 310    218    5617618944 timeout (error (143)) 301    235    3099078656 timeout (error (143)) 301    230    3924541440
eca-rers2012/Problem05_label45_true-unreach-call.c timeout (error (143)) 301    219    5154017280 timeout (error (143)) 300    239    3090776064 timeout (error (143)) 301    230    3854196736
eca-rers2012/Problem05_label46_true-unreach-call.c timeout (error (143)) 303    216    5616730112 timeout (error (143)) 302    234    3123789824 timeout (error (143)) 300    219    3902652416
eca-rers2012/Problem05_label49_true-unreach-call.c timeout (error (143)) 302    218    5430792192 timeout (error (143)) 307    237    3126284288 timeout (error (143)) 302    220    3804180480
eca-rers2012/Problem05_label50_true-unreach-call.c timeout (error (143)) 301    220    5124415488 timeout (error (143)) 302    237    3122094080 timeout (error (143)) 301    230    3817267200
eca-rers2012/Problem05_label52_true-unreach-call.c timeout (error (143)) 307    220    6064332800 timeout (error (143)) 302    240    3070693376 timeout (error (143)) 301    239    4074164224
eca-rers2012/Problem05_label53_true-unreach-call.c timeout (error (143)) 313    225    5619429376 timeout (error (143)) 301    233    3134447616 timeout (error (143)) 300    232    3860733952
eca-rers2012/Problem05_label54_true-unreach-call.c timeout (error (143)) 305    231    3383078912 timeout (error (143)) 302    231    3056975872 timeout (error (143)) 301    217    3991719936
eca-rers2012/Problem05_label56_true-unreach-call.c timeout (error (143)) 301    228    3377311744 timeout (error (143)) 301    228    3057233920 timeout (error (143)) 303    235    4058001408
eca-rers2012/Problem05_label59_true-unreach-call.c timeout (error (143)) 301    215    4693426176 timeout (error (143)) 302    234    3157123072 timeout (error (143)) 301    231    3824009216
eca-rers2012/Problem06_label03_true-unreach-call.c timeout (error (143)) 308    208    6085013504 timeout (error (143)) 304    266    2998067200 timeout (error (143)) 301    235    3950739456
eca-rers2012/Problem06_label06_true-unreach-call.c timeout (error (143)) 302    207    5874515968 timeout (error (143)) 303    270    2988666880 timeout (error (143)) 301    238    3941810176
eca-rers2012/Problem06_label07_true-unreach-call.c timeout (error (143)) 301    207    6641954816 timeout (error (143)) 302    266    2995847168 timeout (error (143)) 302    238    3917692928
eca-rers2012/Problem06_label08_true-unreach-call.c timeout (error (143)) 301    210    6323814400 timeout (error (143)) 303    265    2992881664 timeout (error (143)) 301    235    3832991744
eca-rers2012/Problem06_label13_true-unreach-call.c timeout (error (143)) 304    207    6384455680 timeout (error (143)) 303    264    2999996416 timeout (error (143)) 303    236    3921055744
eca-rers2012/Problem06_label14_true-unreach-call.c timeout (error (143)) 302    209    5710626816 timeout (error (143)) 302    265    2994716672 timeout (error (143)) 301    234    3928002560
eca-rers2012/Problem06_label16_true-unreach-call.c timeout (error (143)) 301    210    6266568704 timeout (error (143)) 303    256    3010109440 timeout (error (143)) 301    236    3872055296
eca-rers2012/Problem06_label17_true-unreach-call.c timeout (error (143)) 302    210    5884649472 timeout (error (143)) 303    265    2992599040 timeout (error (143)) 301    233    3875127296
eca-rers2012/Problem06_label18_true-unreach-call.c timeout (error (143)) 303    210    6244282368 timeout (error (143)) 304    265    2994626560 timeout (error (143)) 301    238    3951947776
eca-rers2012/Problem06_label19_true-unreach-call.c timeout (error (143)) 301    206    5748105216 timeout (error (143)) 302    260    3009716224 timeout (error (143)) 301    231    3783999488
eca-rers2012/Problem06_label22_true-unreach-call.c timeout (error (143)) 301    205    5801250816 timeout (error (143)) 303    267    2995269632 timeout (error (143)) 300    238    3893633024
eca-rers2012/Problem06_label23_true-unreach-call.c timeout (error (143)) 302    205    5543981056 timeout (error (143)) 302    261    3002458112 timeout (error (143)) 300    235    3973537792
eca-rers2012/Problem06_label25_true-unreach-call.c timeout (error (143)) 311    218    6294908928 timeout (error (143)) 304    263    2999693312 timeout (error (143)) 301    238    3790921728
eca-rers2012/Problem06_label26_true-unreach-call.c timeout (error (143)) 304    212    5438324736 timeout (error (143)) 303    271    2983858176 timeout (error (143)) 302    242    4098506752
eca-rers2012/Problem06_label28_true-unreach-call.c timeout (error (143)) 301    220    5042896896 timeout (error (143)) 303    260    3006181376 timeout (error (143)) 301    233    3936186368
eca-rers2012/Problem06_label30_true-unreach-call.c timeout (error (143)) 300    208    5991809024 timeout (error (143)) 304    265    2992521216 timeout (error (143)) 301    245    3917328384
eca-rers2012/Problem06_label31_true-unreach-call.c timeout (error (143)) 302    217    6781902848 timeout (error (143)) 304    272    2991349760 timeout (error (143)) 301    240    3996594176
eca-rers2012/Problem06_label32_true-unreach-call.c timeout (error (143)) 313    212    6021840896 timeout (error (143)) 303    262    2988699648 timeout (error (143)) 301    234    3966992384
eca-rers2012/Problem06_label34_true-unreach-call.c timeout (error (143)) 317    215    6226137088 timeout (error (143)) 304    264    3019489280 timeout (error (143)) 301    234    3949383680
eca-rers2012/Problem06_label35_true-unreach-call.c timeout 322    224    7025123328 timeout (error (143)) 303    265    3005517824 timeout (error (143)) 301    233    3819761664
eca-rers2012/Problem06_label39_true-unreach-call.c timeout (error (143)) 317    217    6486089728 timeout (error (143)) 303    261    3005693952 timeout (error (143)) 300    235    3982331904
eca-rers2012/Problem06_label40_true-unreach-call.c timeout (error (143)) 301    216    5311803392 timeout (error (143)) 303    267    2992340992 timeout (error (143)) 300    239    3978342400
eca-rers2012/Problem06_label41_true-unreach-call.c timeout (error (143)) 301    206    5454757888 timeout (error (143)) 302    263    2994130944 timeout (error (143)) 301    235    3931942912
eca-rers2012/Problem06_label42_true-unreach-call.c timeout (error (143)) 300    210    5850025984 timeout (error (143)) 302    260    3001663488 timeout (error (143)) 301    240    3796574208
eca-rers2012/Problem06_label43_true-unreach-call.c timeout (error (143)) 302    210    5446500352 timeout (error (143)) 303    267    2993483776 timeout (error (143)) 301    243    3882897408
eca-rers2012/Problem06_label45_true-unreach-call.c timeout (error (143)) 310    231    4232454144 timeout (error (143)) 304    267    2986741760 timeout (error (143)) 301    236    3840798720
eca-rers2012/Problem06_label46_true-unreach-call.c timeout (error (143)) 301    217    6575521792 timeout (error (143)) 304    275    2983944192 timeout (error (143)) 301    240    3990290432
eca-rers2012/Problem06_label49_true-unreach-call.c timeout (error (143)) 301    207    5767741440 timeout (error (143)) 303    266    2988937216 timeout (error (143)) 300    237    4037115904
eca-rers2012/Problem06_label50_true-unreach-call.c timeout (error (143)) 302    206    5641256960 timeout (error (143)) 302    265    2992562176 timeout (error (143)) 301    244    3900588032
eca-rers2012/Problem06_label51_true-unreach-call.c timeout 322    222    6490624000 timeout (error (143)) 304    260    3011100672 timeout (error (143)) 301    231    3746074624
eca-rers2012/Problem06_label52_true-unreach-call.c timeout (error (143)) 301    209    5471641600 timeout (error (143)) 304    262    3006799872 timeout (error (143)) 301    231    3889475584
eca-rers2012/Problem06_label53_true-unreach-call.c timeout (error (143)) 302    215    6296678400 timeout (error (143)) 303    262    3009564672 timeout (error (143)) 300    235    3811897344
eca-rers2012/Problem06_label54_true-unreach-call.c timeout (error (143)) 301    215    5167001600 timeout (error (143)) 302    258    3005779968 timeout (error (143)) 300    233    3696295936
eca-rers2012/Problem06_label55_true-unreach-call.c timeout (error (143)) 301    211    5532348416 timeout (error (143)) 303    266    2998730752 timeout (error (143)) 301    234    3914928128
eca-rers2012/Problem06_label57_true-unreach-call.c timeout (error (143)) 303    222    5123248128 timeout (error (143)) 302    266    2995392512 timeout (error (143)) 301    232    3836370944
eca-rers2012/Problem07_label00_true-unreach-call.c timeout (error (143)) 301    243    3893403648 timeout (error (143)) 300    245    3604754432 timeout (error (143)) 300    248    3631923200
eca-rers2012/Problem07_label01_true-unreach-call.c timeout (error (143)) 300    242    3894087680 timeout (error (143)) 300    244    3619590144 timeout (error (143)) 300    245    3650809856
eca-rers2012/Problem07_label02_true-unreach-call.c timeout (error (143)) 301    242    3882381312 timeout (error (143)) 300    246    3593969664 timeout (error (143)) 300    248    3622174720
eca-rers2012/Problem07_label04_true-unreach-call.c timeout (error (143)) 301    238    3889651712 timeout (error (143)) 301    245    3636097024 timeout (error (143)) 300    247    3664408576
eca-rers2012/Problem07_label08_true-unreach-call.c timeout (error (143)) 301    242    3894648832 timeout (error (143)) 301    246    3614171136 timeout (error (143)) 300    248    3646193664
eca-rers2012/Problem07_label10_true-unreach-call.c timeout (error (143)) 300    241    3891744768 timeout (error (143)) 307    250    3699462144 timeout (error (143)) 301    247    3661692928
eca-rers2012/Problem07_label12_true-unreach-call.c timeout (error (143)) 300    243    3881639936 timeout (error (143)) 300    245    3626389504 timeout (error (143)) 301    244    3644936192
eca-rers2012/Problem07_label13_true-unreach-call.c timeout (error (143)) 301    244    3880157184 timeout (error (143)) 300    245    3630739456 timeout (error (143)) 300    245    3656118272
eca-rers2012/Problem07_label14_true-unreach-call.c timeout (error (143)) 300    245    3917742080 timeout (error (143)) 301    244    3594125312 timeout (error (143)) 301    244    3631783936
eca-rers2012/Problem07_label16_true-unreach-call.c timeout (error (143)) 301    242    3887910912 timeout (error (143)) 300    244    3605409792 timeout (error (143)) 300    245    3654651904
eca-rers2012/Problem07_label17_true-unreach-call.c timeout (error (143)) 301    239    3885563904 timeout (error (143)) 300    247    3613913088 timeout (error (143)) 300    244    3694780416
eca-rers2012/Problem07_label21_true-unreach-call.c timeout (error (143)) 301    240    3914768384 timeout (error (143)) 300    245    3618004992 timeout (error (143)) 301    244    3637260288
eca-rers2012/Problem07_label22_true-unreach-call.c timeout (error (143)) 301    241    3888664576 timeout (error (143)) 300    247    3645128704 timeout (error (143)) 300    245    3630104576
eca-rers2012/Problem07_label24_true-unreach-call.c timeout (error (143)) 300    244    3885088768 timeout (error (143)) 300    246    3658231808 timeout (error (143)) 300    245    3660115968
eca-rers2012/Problem07_label25_true-unreach-call.c timeout (error (143)) 300    246    3882364928 timeout (error (143)) 300    247    3641376768 timeout (error (143)) 301    249    3638620160
eca-rers2012/Problem07_label26_true-unreach-call.c timeout (error (143)) 300    240    3886862336 timeout (error (143)) 300    245    3619627008 timeout (error (143)) 300    247    3654533120
eca-rers2012/Problem07_label27_true-unreach-call.c timeout (error (143)) 301    241    3938021376 timeout (error (143)) 301    243    3640123392 timeout (error (143)) 301    244    3620610048
eca-rers2012/Problem07_label28_true-unreach-call.c timeout (error (143)) 300    242    3912019968 timeout (error (143)) 300    247    3608879104 timeout (error (143)) 301    243    3708030976
eca-rers2012/Problem07_label29_true-unreach-call.c timeout (error (143)) 301    242    3899752448 timeout (error (143)) 300    246    3663036416 timeout (error (143)) 300    248    3649863680
eca-rers2012/Problem07_label32_true-unreach-call.c timeout (error (143)) 301    243    3881947136 timeout (error (143)) 300    248    3648380928 timeout (error (143)) 300    247    3645149184
eca-rers2012/Problem07_label33_true-unreach-call.c timeout (error (143)) 300    244    3899371520 timeout (error (143)) 300    245    3667521536 timeout (error (143)) 300    246    3686498304
eca-rers2012/Problem07_label34_true-unreach-call.c timeout (error (143)) 300    241    3894755328 timeout (error (143)) 300    246    3663024128 timeout (error (143)) 301    244    3617943552
eca-rers2012/Problem07_label38_true-unreach-call.c timeout (error (143)) 302    244    3907686400 timeout (error (143)) 300    246    3601825792 timeout (error (143)) 300    244    3635056640
eca-rers2012/Problem07_label41_true-unreach-call.c timeout (error (143)) 301    240    3879469056 timeout (error (143)) 307    246    3700744192 timeout (error (143)) 305    249    3698888704
eca-rers2012/Problem07_label43_true-unreach-call.c timeout (error (143)) 300    245    3889573888 timeout (error (143)) 300    247    3656839168 timeout (error (143)) 300    248    3648778240
eca-rers2012/Problem07_label45_true-unreach-call.c timeout (error (143)) 300    242    3880497152 timeout (error (143)) 300    246    3641458688 timeout (error (143)) 300    247    3647229952
eca-rers2012/Problem07_label49_true-unreach-call.c timeout (error (143)) 300    243    3898736640 timeout (error (143)) 300    245    3633676288 timeout (error (143)) 300    247    3651690496
eca-rers2012/Problem07_label50_true-unreach-call.c timeout (error (143)) 300    239    3872038912 timeout (error (143)) 300    245    3638452224 timeout (error (143)) 300    245    3609255936
eca-rers2012/Problem07_label51_true-unreach-call.c timeout (error (143)) 301    241    3888066560 timeout (error (143)) 300    245    3616567296 timeout (error (143)) 300    247    3613405184
eca-rers2012/Problem07_label52_true-unreach-call.c timeout (error (143)) 300    243    3884597248 timeout (error (143)) 300    245    3612278784 timeout (error (143)) 300    247    3618721792
eca-rers2012/Problem07_label53_true-unreach-call.c timeout (error (143)) 300    246    3879206912 timeout (error (143)) 300    249    3648835584 timeout (error (143)) 300    246    3621953536
eca-rers2012/Problem07_label54_true-unreach-call.c timeout (error (143)) 301    240    3919740928 timeout (error (143)) 300    245    3604234240 timeout (error (143)) 300    248    3696283648
eca-rers2012/Problem07_label55_true-unreach-call.c timeout (error (143)) 301    243    3872194560 timeout (error (143)) 300    247    3653668864 timeout (error (143)) 300    247    3643961344
eca-rers2012/Problem07_label56_true-unreach-call.c timeout (error (143)) 301    243    3889160192 timeout (error (143)) 300    246    3684339712 timeout (error (143)) 300    247    3649286144
eca-rers2012/Problem07_label57_true-unreach-call.c timeout (error (143)) 300    245    3884843008 timeout (error (143)) 300    245    3649044480 timeout (error (143)) 300    244    3693207552
eca-rers2012/Problem07_label59_true-unreach-call.c timeout (error (143)) 300    242    3918036992 timeout (error (143)) 300    244    3651620864 timeout (error (143)) 300    247    3651342336
eca-rers2012/Problem08_label00_true-unreach-call.c timeout (error (143)) 305    226    5554618368 timeout (error (143)) 306    232    4844584960 timeout (error (143)) 309    224    5730377728
eca-rers2012/Problem08_label03_true-unreach-call.c timeout (error (143)) 306    236    4831698944 timeout (error (143)) 306    235    4822421504 timeout (error: exception) 303    241    4743663616
eca-rers2012/Problem08_label08_true-unreach-call.c timeout (error (143)) 306    233    4825702400 timeout (error (143)) 306    235    4886233088 timeout (error (143)) 306    241    4758872064
eca-rers2012/Problem08_label09_true-unreach-call.c timeout (error (143)) 308    235    4834529280 timeout (error (143)) 306    234    4826886144 timeout (error (143)) 306    232    4836270080
eca-rers2012/Problem08_label11_true-unreach-call.c timeout (error (143)) 306    225    5244686336 timeout (error: exception) 305    244    4740321280 timeout (error (143)) 306    244    4763942912
eca-rers2012/Problem08_label12_true-unreach-call.c timeout (error (143)) 306    223    5271801856 timeout (error (143)) 306    242    4785332224 timeout (error (143)) 310    225    5805056000
eca-rers2012/Problem08_label14_true-unreach-call.c timeout (error (143)) 306    237    4859265024 timeout (error (143)) 306    242    4739846144 timeout (error (143)) 306    243    4990169088
eca-rers2012/Problem08_label16_true-unreach-call.c timeout (error (143)) 306    233    4827394048 timeout (error (143)) 306    241    4979929088 timeout (error (143)) 306    233    4818014208
eca-rers2012/Problem08_label17_true-unreach-call.c timeout (error (143)) 306    235    4830187520 timeout (error (143)) 306    243    4747014144 timeout (error (143)) 308    232    4858220544
eca-rers2012/Problem08_label18_true-unreach-call.c timeout (error (143)) 306    237    4814802944 timeout (error (143)) 306    234    4887543808 timeout (error (143)) 306    235    4847517696
eca-rers2012/Problem08_label19_true-unreach-call.c timeout (error (143)) 305    227    5262401536 timeout (error (143)) 306    233    4849909760 timeout (error (143)) 310    225    5605806080
eca-rers2012/Problem08_label20_true-unreach-call.c timeout (error (143)) 305    228    5278031872 timeout (error (143)) 306    244    4758294528 timeout (error (143)) 306    243    4986515456
eca-rers2012/Problem08_label21_true-unreach-call.c timeout (error (143)) 308    239    4844933120 timeout (error (143)) 306    242    4743237632 timeout (error (143)) 306    242    4753993728
eca-rers2012/Problem08_label22_true-unreach-call.c timeout (error (143)) 306    237    4838211584 timeout (error (143)) 306    235    4961968128 timeout (error (143)) 315    225    5620240384
eca-rers2012/Problem08_label23_true-unreach-call.c timeout (error (143)) 306    236    4946272256 timeout (error (143)) 306    236    4964392960 timeout (error (143)) 306    235    4881190912
eca-rers2012/Problem08_label27_true-unreach-call.c timeout (error (143)) 306    239    4867592192 timeout (error (143)) 306    241    4981555200 timeout (error (143)) 309    223    5752143872
eca-rers2012/Problem08_label30_true-unreach-call.c timeout (error (143)) 305    229    5408657408 timeout (error (143)) 310    242    4895420416 timeout (error (143)) 309    224    5704519680
eca-rers2012/Problem08_label31_true-unreach-call.c timeout (error (143)) 306    225    5254270976 timeout (error (143)) 306    244    4747530240 timeout (error (143)) 306    243    4750774272
eca-rers2012/Problem08_label32_true-unreach-call.c timeout (error (143)) 306    236    4925665280 timeout (error (143)) 306    236    4831080448 timeout (error (143)) 306    236    4840325120
eca-rers2012/Problem08_label33_true-unreach-call.c timeout (error (143)) 308    238    4815826944 timeout (error (143)) 306    243    4979003392 timeout (error (143)) 306    232    4844060672
eca-rers2012/Problem08_label35_true-unreach-call.c timeout (error (143)) 306    235    4959170560 timeout (error: exception) 302    241    4740390912 timeout (error (143)) 307    245    4896387072
eca-rers2012/Problem08_label36_true-unreach-call.c timeout (error (143)) 306    238    4846247936 timeout (error (143)) 306    243    4749639680 timeout (error (143)) 306    243    4743405568
eca-rers2012/Problem08_label38_true-unreach-call.c timeout (error (143)) 306    239    4841807872 timeout (error (143)) 306    243    4812587008 timeout (error (143)) 306    234    4855291904
eca-rers2012/Problem08_label39_true-unreach-call.c timeout (error (143)) 305    231    4720660480 timeout (error (143)) 308    223    5824049152 timeout (error: exception) 305    244    4745457664
eca-rers2012/Problem08_label40_true-unreach-call.c timeout (error (143)) 306    238    4867248128 timeout (error (143)) 306    239    4984332288 timeout (error (143)) 306    236    4848332800
eca-rers2012/Problem08_label41_true-unreach-call.c timeout (error (143)) 306    238    4827246592 timeout (error (143)) 306    242    4770050048 timeout (error (143)) 306    245    4754817024
eca-rers2012/Problem08_label42_true-unreach-call.c timeout (error (143)) 306    237    4866981888 timeout (error: exception) 305    244    4746547200 timeout (error (143)) 306    242    4751110144
eca-rers2012/Problem08_label44_true-unreach-call.c timeout (error (143)) 305    228    5276151808 timeout (error (143)) 306    244    4735569920 timeout (error: exception) 305    243    4776148992
eca-rers2012/Problem08_label45_true-unreach-call.c timeout (error (143)) 306    239    4810469376 timeout (error (143)) 306    242    4985147392 timeout (error (143)) 306    233    4901593088
eca-rers2012/Problem08_label47_true-unreach-call.c timeout (error (143)) 306    222    5257297920 timeout (error (143)) 306    239    4981243904 timeout (error (143)) 306    243    4785008640
eca-rers2012/Problem08_label52_true-unreach-call.c timeout (error (143)) 307    241    4832096256 timeout (error (143)) 306    235    5380149248 timeout (error (143)) 305    226    5676552192
eca-rers2012/Problem08_label53_true-unreach-call.c timeout (error (143)) 306    237    4816261120 timeout (error (143)) 306    236    4849844224 timeout (error (143)) 306    234    4932120576
eca-rers2012/Problem08_label54_true-unreach-call.c timeout (error (143)) 306    235    4801810432 timeout (error (143)) 306    242    4981239808 timeout (error (143)) 309    223    5818998784
eca-rers2012/Problem08_label56_true-unreach-call.c timeout (error (143)) 306    234    4962816000 timeout (error (143)) 306    240    4742176768 timeout (error (143)) 305    244    4861771776
eca-rers2012/Problem08_label57_true-unreach-call.c timeout (error (143)) 306    238    4832264192 timeout (error (143)) 306    233    4834197504 timeout (error (143)) 306    245    4760686592
eca-rers2012/Problem08_label58_true-unreach-call.c timeout (error (143)) 306    238    4810403840 timeout (error (143)) 310    225    5791313920 timeout (error (143)) 306    242    4984627200
eca-rers2012/Problem09_label00_true-unreach-call.c timeout (error (143)) 305    229    5151907840 timeout (error: exception) 314    243    5354565632 timeout (error (143)) 305    239    4817895424
eca-rers2012/Problem09_label01_true-unreach-call.c timeout (error (143)) 306    232    5488480256 timeout (error (143)) 309    229    6141333504 timeout (error (143)) 306    244    5077020672
eca-rers2012/Problem09_label04_true-unreach-call.c timeout (error (143)) 306    236    4897173504 timeout (error (143)) 306    237    5092081664 timeout (error (143)) 306    239    4829143040
eca-rers2012/Problem09_label05_true-unreach-call.c timeout (error (143)) 306    232    5492695040 timeout (error (143)) 306    243    5158178816 timeout (error: exception) 304    239    4845686784
eca-rers2012/Problem09_label07_true-unreach-call.c timeout (error (143)) 305    229    5506924544 timeout (error (143)) 306    241    4831588352 timeout 322    236    6870192128
eca-rers2012/Problem09_label09_true-unreach-call.c timeout (error (143)) 306    229    5142413312 timeout (error (143)) 310    231    6186917888 timeout (error (143)) 319    233    6879735808
eca-rers2012/Problem09_label12_true-unreach-call.c timeout (error (143)) 306    231    5109940224 timeout 321    235    6096121856 timeout 322    235    6109310976
eca-rers2012/Problem09_label13_true-unreach-call.c timeout (error (143)) 305    228    5485662208 timeout 321    235    6837616640 timeout (error (143)) 306    235    5104234496
eca-rers2012/Problem09_label14_true-unreach-call.c timeout (error (143)) 306    224    5488246784 timeout (error (143)) 306    241    5134430208 timeout 321    236    6885126144
eca-rers2012/Problem09_label16_true-unreach-call.c timeout (error (143)) 306    233    5157187584 timeout 321    235    6883557376 timeout (error (143)) 306    242    5025357824
eca-rers2012/Problem09_label17_true-unreach-call.c timeout (error (143)) 305    228    5436874752 timeout (error (143)) 308    229    6185385984 timeout (error (143)) 303    227    6157815808
eca-rers2012/Problem09_label18_true-unreach-call.c timeout (error (143)) 306    233    5129814016 timeout 322    235    6073757696 timeout 321    236    6107185152
eca-rers2012/Problem09_label21_true-unreach-call.c timeout (error (143)) 305    232    4857139200 timeout (error (143)) 306    239    4811681792 timeout (error (143)) 321    236    6287937536
eca-rers2012/Problem09_label22_true-unreach-call.c timeout (error (143)) 306    233    4852490240 timeout (error (143)) 306    243    5139431424 timeout (error (143)) 306    243    5112041472
eca-rers2012/Problem09_label23_true-unreach-call.c timeout (error (143)) 306    228    5151494144 timeout (error (143)) 306    242    4814708736 timeout (error (143)) 306    238    5043154944
eca-rers2012/Problem09_label24_true-unreach-call.c timeout (error: exception) 304    229    5503913984 timeout (error (143)) 306    250    4934897664 timeout (error (143)) 306    248    4870926336
eca-rers2012/Problem09_label25_true-unreach-call.c timeout (error (143)) 306    231    4885225472 timeout 322    236    6217965568 timeout 322    235    6525583360
eca-rers2012/Problem09_label26_true-unreach-call.c timeout (error (143)) 306    224    5504872448 timeout 322    236    6220214272 timeout (error (143)) 306    244    5118713856
eca-rers2012/Problem09_label27_true-unreach-call.c timeout (error (143)) 305    230    5499158528 timeout 321    236    6693359616 timeout 322    235    6069936128
eca-rers2012/Problem09_label28_true-unreach-call.c timeout (error (143)) 306    225    5464506368 timeout (error (143)) 306    245    5169942528 timeout 322    235    6075592704
eca-rers2012/Problem09_label29_true-unreach-call.c timeout (error (143)) 306    232    5530972160 timeout (error (143)) 306    250    4902113280 timeout 321    235    5840302080
eca-rers2012/Problem09_label30_true-unreach-call.c timeout (error (143)) 306    228    5483724800 timeout (error (143)) 306    244    5212131328 timeout 321    236    6082392064
eca-rers2012/Problem09_label31_true-unreach-call.c timeout (error (143)) 306    238    4849184768 timeout (error (143)) 306    242    5081563136 timeout 320    235    6297731072
eca-rers2012/Problem09_label33_true-unreach-call.c timeout (error (143)) 306    236    4861710336 timeout (error (143)) 306    239    4966940672 timeout (error (143)) 306    250    5027049472
eca-rers2012/Problem09_label37_true-unreach-call.c timeout (error (143)) 306    236    4863410176 timeout (error (143)) 306    244    5139709952 timeout (error (143)) 306    238    5093109760
eca-rers2012/Problem09_label39_true-unreach-call.c timeout (error (143)) 308    229    5498851328 timeout (error (143)) 306    238    4818829312 timeout (error (143)) 318    235    6286651392
eca-rers2012/Problem09_label40_true-unreach-call.c timeout (error (143)) 306    236    4867866624 timeout (error (143)) 306    240    4839849984 timeout (error (143)) 311    231    6224384000
eca-rers2012/Problem09_label42_true-unreach-call.c timeout (error (143)) 306    230    5161353216 timeout 322    236    6869651456 timeout 322    236    6153703424
eca-rers2012/Problem09_label43_true-unreach-call.c timeout (error (143)) 306    231    5478985728 timeout (error (143)) 317    236    6891286528 timeout 322    236    6870777856
eca-rers2012/Problem09_label45_true-unreach-call.c timeout (error (143)) 308    235    5125849088 timeout 321    235    6176006144 timeout (error (143)) 306    235    5142007808
eca-rers2012/Problem09_label48_true-unreach-call.c timeout (error (143)) 305    228    5547229184 timeout (error (143)) 306    244    4751020032 timeout (error (143)) 306    233    5080006656
eca-rers2012/Problem09_label49_true-unreach-call.c timeout (error (143)) 306    235    5151584256 timeout (error (143)) 315    231    6303428608 timeout (error (143)) 306    246    5140619264
eca-rers2012/Problem09_label50_true-unreach-call.c timeout (error (143)) 306    226    5429460992 timeout (error (143)) 306    243    5057622016 timeout (error (143)) 314    233    6386753536
eca-rers2012/Problem09_label52_true-unreach-call.c timeout (error (143)) 306    232    5179936768 timeout 322    238    6264668160 timeout 321    236    6147194880
eca-rers2012/Problem09_label55_true-unreach-call.c timeout (error (143)) 306    228    5154488320 timeout (error (143)) 311    230    6177619968 timeout (error (143)) 309    230    6160076800
eca-rers2012/Problem09_label58_true-unreach-call.c timeout (error (143)) 306    233    5134028800 timeout (error (143)) 306    238    5211967488 timeout 322    236    6097158144
eca-rers2012/Problem10_label00_true-unreach-call.c true 50.9  31.3  1206657024 timeout (error (143)) 306    247    3013206016 true 124    81.9  2901348352
eca-rers2012/Problem10_label01_true-unreach-call.c true 61.5  36.8  1208946688 timeout (error (143)) 301    240    2987491328 true 135    91.6  2935218176
eca-rers2012/Problem10_label02_true-unreach-call.c true 46.4  28.5  1038266368 timeout (error (143)) 304    235    2988900352 true 137    92.4  2954379264
eca-rers2012/Problem10_label03_true-unreach-call.c true 22.9  13.4  738037760 timeout (error (143)) 307    245    2980663296 true 73.7  43.4  1520537600
eca-rers2012/Problem10_label04_true-unreach-call.c true 28.3  17.0  867250176 true 25.0  14.2  759848960 true 25.7  14.6  783994880
eca-rers2012/Problem10_label05_true-unreach-call.c true 30.2  17.6  832466944 true 34.9  20.9  894013440 true 34.6  20.8  899719168
eca-rers2012/Problem10_label06_true-unreach-call.c true 22.0  12.9  740708352 true 29.4  17.3  877236224 true 30.4  17.6  891244544
eca-rers2012/Problem10_label07_true-unreach-call.c true 57.4  36.6  1199955968 timeout (error (143)) 301    236    3003015168 true 126    90.3  2935586816
eca-rers2012/Problem10_label08_true-unreach-call.c true 33.4  19.2  855097344 timeout (error (143)) 301    238    2962219008 true 150    107    3019673600
eca-rers2012/Problem10_label09_true-unreach-call.c true 57.9  35.3  1194455040 true 24.4  14.0  750624768 true 23.8  13.6  765321216
eca-rers2012/Problem10_label10_true-unreach-call.c true 32.9  20.2  862928896 true 22.0  12.8  744062976 true 23.2  13.3  740446208
eca-rers2012/Problem10_label11_true-unreach-call.c true 52.8  30.9  1008508928 timeout (error (143)) 301    245    3006627840 timeout (error (143)) 302    220    5920215040
eca-rers2012/Problem10_label13_true-unreach-call.c true 34.1  20.4  886620160 timeout (error (143)) 301    233    3002884096 timeout (error (143)) 301    217    6546432000
eca-rers2012/Problem10_label14_true-unreach-call.c true 73.4  47.0  1280905216 timeout (error (143)) 301    245    3006267392 timeout (error (143)) 302    229    5797621760
eca-rers2012/Problem10_label16_true-unreach-call.c true 59.2  35.0  1174392832 timeout (error (143)) 306    250    3000438784 true 127    82.2  2893975552
eca-rers2012/Problem10_label17_true-unreach-call.c true 30.5  17.6  860753920 true 31.2  18.2  870727680 true 34.6  20.0  902475776
eca-rers2012/Problem10_label18_true-unreach-call.c true 53.6  32.5  1185378304 timeout (error (143)) 302    243    3004698624 true 150    105    2998403072
eca-rers2012/Problem10_label19_true-unreach-call.c true 29.9  17.8  870092800 timeout (error (143)) 306    254    2968457216 true 61.2  38.2  1205895168
eca-rers2012/Problem10_label20_true-unreach-call.c true 52.9  31.1  1049325568 timeout (error (143)) 301    245    2972479488 true 63.5  40.4  1202204672
eca-rers2012/Problem10_label21_true-unreach-call.c true 46.4  27.2  1019731968 timeout (error (143)) 306    245    2963243008 true 65.7  40.3  1214447616
eca-rers2012/Problem10_label22_true-unreach-call.c true 43.4  25.6  1008902144 timeout (error (143)) 301    231    3019530240 true 158    109    2919710720
eca-rers2012/Problem10_label23_true-unreach-call.c true 55.0  33.1  1174245376 timeout (error (143)) 301    250    2969952256 timeout 322    215    7724806144
eca-rers2012/Problem10_label25_true-unreach-call.c true 77.0  49.4  1301905408 timeout (error (143)) 301    239    2980675584 true 175    112    2918113280
eca-rers2012/Problem10_label27_true-unreach-call.c true 52.3  31.9  1175007232 timeout (error (143)) 301    231    2961346560 true 118    79.0  2926280704
eca-rers2012/Problem10_label30_true-unreach-call.c true 49.7  28.6  1019588608 timeout (error (143)) 306    253    2951454720 true 99.8  61.9  1801400320
eca-rers2012/Problem10_label31_true-unreach-call.c true 42.1  25.0  1002577920 timeout (error (143)) 302    243    3008425984 true 97.4  66.3  2928250880
eca-rers2012/Problem10_label32_true-unreach-call.c true 27.1  16.6  828551168 true 32.8  19.2  872796160 true 31.6  18.7  893906944
eca-rers2012/Problem10_label33_true-unreach-call.c true 29.2  18.0  832438272 timeout (error (143)) 301    234    2992508928 true 107    71.8  2952601600
eca-rers2012/Problem10_label34_true-unreach-call.c true 43.3  25.6  1030828032 timeout (error (143)) 303    226    2963136512 true 116    78.8  2961035264
eca-rers2012/Problem10_label35_true-unreach-call.c true 64.0  37.2  1156366336 timeout (error (143)) 306    247    2960637952 true 63.9  39.5  1206874112
eca-rers2012/Problem10_label36_true-unreach-call.c true 33.7  20.1  865882112 timeout (error (143)) 301    252    2975264768 true 60.9  38.0  1194827776
eca-rers2012/Problem10_label37_true-unreach-call.c true 51.5  31.2  1007640576 timeout (error (143)) 305    244    2993098752 true 106    64.7  2866016256
eca-rers2012/Problem10_label38_true-unreach-call.c true 50.7  29.0  1088503808 timeout (error (143)) 306    235    3002990592 true 148    101    2966900736
eca-rers2012/Problem10_label39_true-unreach-call.c true 47.4  27.7  1010864128 timeout (error (143)) 301    246    2954059776 true 106    72.7  2905108480
eca-rers2012/Problem10_label40_true-unreach-call.c true 60.4  35.9  1020215296 timeout (error (143)) 301    238    2973696000 true 43.1  25.8  1080504320
eca-rers2012/Problem10_label43_true-unreach-call.c true 42.5  25.0  998330368 timeout (error (143)) 301    245    2966183936 true 139    117    1062100992
eca-rers2012/Problem10_label44_true-unreach-call.c true 52.7  32.6  1045737472 true 76.2  49.4  2891313152 true 60.9  39.0  1051586560
eca-rers2012/Problem10_label45_true-unreach-call.c true 43.7  25.8  1005142016 timeout (error (143)) 301    242    2987655168 true 161    115    2912612352
eca-rers2012/Problem10_label49_true-unreach-call.c true 70.7  47.9  1206661120 timeout (error (143)) 301    244    2968895488 true 128    82.7  2680434688
eca-rers2012/Problem10_label51_true-unreach-call.c true 26.4  15.4  837853184 timeout (error (143)) 300    233    2965921792 true 99.7  66.8  2891845632
eca-rers2012/Problem10_label52_true-unreach-call.c true 28.0  16.3  839274496 true 30.1  17.3  866217984 true 27.7  16.1  875909120
eca-rers2012/Problem10_label53_true-unreach-call.c true 32.1  18.3  886915072 timeout (error (143)) 301    232    2993963008 true 110    73.6  2906656768
eca-rers2012/Problem10_label54_true-unreach-call.c true 60.8  35.6  1194041344 true 28.2  16.5  863981568 true 27.5  16.0  829505536
eca-rers2012/Problem10_label56_true-unreach-call.c true 190    153    1648627712 timeout (error (143)) 303    236    3025510400 timeout (error (143)) 302    219    7154962432
eca-rers2012/Problem10_label59_true-unreach-call.c true 161    120    1608204288 timeout (error (143)) 300    244    2914258944 timeout (error (143)) 302    255    2906718208
eca-rers2012/Problem11_label01_true-unreach-call.c true 75.3  48.5  1279672320 timeout (error (143)) 300    225    2976317440 true 108    73.8  2917396480
eca-rers2012/Problem11_label02_true-unreach-call.c timeout (error (143)) 305    265    2977984512 timeout (error (143)) 302    252    2902147072 timeout (error (143)) 301    249    3321769984
eca-rers2012/Problem11_label03_true-unreach-call.c true 55.9  32.6  1067646976 timeout (error (143)) 302    253    2990735360 timeout (error (143)) 302    250    3284934656
eca-rers2012/Problem11_label04_true-unreach-call.c true 122    83.8  1420959744 timeout (error (143)) 302    262    2884591616 true 196    156    3111710720
eca-rers2012/Problem11_label05_true-unreach-call.c timeout (error (143)) 301    251    2210570240 timeout (error (143)) 301    237    3048198144 timeout (error (143)) 301    248    2975936512
eca-rers2012/Problem11_label06_true-unreach-call.c true 110    70.7  1745403904 timeout (error (143)) 301    223    3032113152 timeout (error (143)) 302    238    3405074432
eca-rers2012/Problem11_label07_true-unreach-call.c true 64.3  40.8  1259315200 timeout (error (143)) 301    263    2891128832 true 137    92.5  2954825728
eca-rers2012/Problem11_label09_true-unreach-call.c true 74.7  43.3  1219485696 timeout (error (143)) 301    252    2927984640 timeout (error (143)) 301    230    3202138112
eca-rers2012/Problem11_label10_true-unreach-call.c timeout (error (143)) 302    251    2231148544 timeout (error (143)) 302    232    3080863744 timeout (error (143)) 301    231    3414278144
eca-rers2012/Problem11_label11_true-unreach-call.c timeout (error (143)) 301    250    2874404864 timeout (error (143)) 301    237    3155329024 timeout (error (143)) 301    239    3305803776
eca-rers2012/Problem11_label12_true-unreach-call.c true 65.9  41.3  1258500096 timeout (error (143)) 301    260    2899595264 true 240    190    3118227456
eca-rers2012/Problem11_label13_true-unreach-call.c true 49.0  29.5  1075851264 true 42.1  25.5  1081982976 true 39.7  24.4  1076547584
eca-rers2012/Problem11_label16_true-unreach-call.c true 88.2  54.2  1504194560 timeout (error (143)) 301    242    2992857088 true 283    229    3085688832
eca-rers2012/Problem11_label17_true-unreach-call.c true 53.8  33.0  1079635968 timeout (error (143)) 301    251    2891792384 true 207    161    3068088320
eca-rers2012/Problem11_label18_true-unreach-call.c true 81.8  51.4  1277906944 timeout (error (143)) 301    240    3026878464 true 137    94.5  2971926528
eca-rers2012/Problem11_label19_true-unreach-call.c true 258    200    3028688896 timeout (error (143)) 302    246    3029245952 timeout (error (143)) 304    269    2997014528
eca-rers2012/Problem11_label21_true-unreach-call.c true 132    87.0  2104614912 timeout (error (143)) 301    242    3005255680 true 137    93.0  2924900352
eca-rers2012/Problem11_label22_true-unreach-call.c timeout (error (143)) 301    261    2959831040 timeout (error (143)) 301    259    2899386368 timeout (error (143)) 301    243    3198468096
eca-rers2012/Problem11_label23_true-unreach-call.c true 61.3  36.4  1220743168 true 235    174    3030409216 true 184    136    2957103104
eca-rers2012/Problem11_label24_true-unreach-call.c timeout (error (143)) 302    259    1859227648 timeout (error (143)) 301    243    3054346240 timeout (error (143)) 305    259    3187060736
eca-rers2012/Problem11_label25_true-unreach-call.c timeout (error (143)) 301    242    2992562176 timeout (error (143)) 301    231    3046019072 timeout (error (143)) 300    214    4329541632
eca-rers2012/Problem11_label26_true-unreach-call.c true 125    85.1  2130063360 timeout (error (143)) 301    236    3064184832 timeout (error (143)) 302    252    3190616064
eca-rers2012/Problem11_label27_true-unreach-call.c true 59.4  36.7  1229737984 timeout (error (143)) 302    254    2891464704 true 249    194    3003006976
eca-rers2012/Problem11_label28_true-unreach-call.c true 242    173    2900615168 timeout (error (143)) 301    228    3068661760 timeout (error (143)) 300    219    3208155136
eca-rers2012/Problem11_label30_true-unreach-call.c true 187    137    2496544768 timeout (error (143)) 301    214    3066695680 timeout (error (143)) 301    225    4236922880
eca-rers2012/Problem11_label32_true-unreach-call.c true 69.1  42.8  1268236288 timeout (error (143)) 301    259    2893217792 true 145    98.9  2956619776
eca-rers2012/Problem11_label33_true-unreach-call.c true 208    180    1291390976 timeout (error (143)) 301    245    3003318272 timeout (error (143)) 306    254    3239972864
eca-rers2012/Problem11_label35_true-unreach-call.c timeout (error (143)) 301    258    1750982656 timeout (error (143)) 301    238    3050659840 timeout (error (143)) 301    218    3258327040
eca-rers2012/Problem11_label37_true-unreach-call.c true 73.3  45.6  1268224000 timeout (error (143)) 301    245    2979799040 error: exception 116    75.6  2916016128
eca-rers2012/Problem11_label38_true-unreach-call.c true 59.2  34.9  1205952512 timeout (error (143)) 301    239    3026059264 true 150    93.0  3067125760
eca-rers2012/Problem11_label40_true-unreach-call.c timeout (error (143)) 301    240    2917330944 timeout (error (143)) 301    240    2982776832 timeout (error (143)) 302    238    3251744768
eca-rers2012/Problem11_label41_true-unreach-call.c true 272    212    2921586688 timeout (error (143)) 301    234    3033096192 timeout (error (143)) 301    244    3301658624
eca-rers2012/Problem11_label44_true-unreach-call.c true 203    165    1895522304 timeout (error (143)) 306    259    2931814400 timeout (error (143)) 303    249    3336302592
eca-rers2012/Problem11_label45_true-unreach-call.c timeout (error (143)) 302    238    2966241280 timeout (error (143)) 301    240    3016093696 timeout (error (143)) 302    233    3192893440
eca-rers2012/Problem11_label46_true-unreach-call.c true 290    231    2934390784 timeout (error (143)) 301    239    3016847360 timeout (error (143)) 301    247    3175854080
eca-rers2012/Problem11_label47_true-unreach-call.c true 108    70.9  1733779456 timeout (error (143)) 301    259    2894639104 timeout (error (143)) 301    241    3134181376
eca-rers2012/Problem11_label48_true-unreach-call.c timeout (error (143)) 301    240    2891087872 timeout (error (143)) 301    236    3032231936 timeout (error (143)) 302    230    3331416064
eca-rers2012/Problem11_label50_true-unreach-call.c timeout (error (143)) 301    248    2073001984 timeout (error (143)) 302    230    3039875072 timeout (error (143)) 301    222    4463296512
eca-rers2012/Problem11_label52_true-unreach-call.c true 132    91.9  1767563264 timeout (error (143)) 301    259    2898227200 timeout (error (143)) 301    237    3163320320
eca-rers2012/Problem11_label53_true-unreach-call.c true 64.9  39.3  1251397632 timeout (error (143)) 301    229    2999545856 timeout (error (143)) 306    248    3235278848
eca-rers2012/Problem11_label54_true-unreach-call.c timeout (error (143)) 301    270    1482276864 timeout (error (143)) 301    248    2968076288 timeout (error (143)) 302    239    3422846976
eca-rers2012/Problem11_label55_true-unreach-call.c true 141    94.4  2113495040 timeout (error (143)) 301    244    2995548160 timeout (error (143)) 302    238    3360497664
eca-rers2012/Problem11_label56_true-unreach-call.c timeout (error (143)) 301    255    2582192128 timeout (error (143)) 301    245    2981670912 timeout (error (143)) 301    249    3125510144
eca-rers2012/Problem11_label57_true-unreach-call.c timeout (error: exception) 301    266    1444933632 timeout (error (143)) 301    225    3044294656 timeout (error (143)) 301    252    2984484864
eca-rers2012/Problem11_label59_true-unreach-call.c true 53.3  32.3  1090641920 timeout (error (143)) 304    248    2942988288 true 178    135    3044876288
eca-rers2012/Problem12_label01_true-unreach-call.c timeout (error (143)) 301    233    3489030144 timeout (error (143)) 302    230    3304632320 timeout (error (143)) 306    249    3280150528
eca-rers2012/Problem12_label02_true-unreach-call.c timeout (error (143)) 301    234    4326641664 timeout (error (143)) 302    235    2973679616 timeout (error (143)) 306    259    3112341504
eca-rers2012/Problem12_label04_true-unreach-call.c timeout (error (143)) 301    231    4310290432 timeout (error (143)) 301    215    3255943168 timeout (error (143)) 301    250    3284254720
eca-rers2012/Problem12_label05_true-unreach-call.c timeout (error (143)) 301    235    4353343488 timeout (error (143)) 301    240    2952531968 timeout (error (143)) 302    258    3093295104
eca-rers2012/Problem12_label09_true-unreach-call.c timeout (error (143)) 301    236    3338203136 timeout (error (143)) 301    240    3118702592 timeout (error (143)) 306    251    3133128704
eca-rers2012/Problem12_label11_true-unreach-call.c timeout (error (143)) 301    233    4292591616 timeout (error (143)) 302    203    3187621888 timeout (error (143)) 306    247    3276677120
eca-rers2012/Problem12_label12_true-unreach-call.c timeout (error (143)) 301    235    4144107520 timeout (error (143)) 301    231    3022057472 timeout (error (143)) 306    247    3132383232
eca-rers2012/Problem12_label14_true-unreach-call.c timeout (error (143)) 302    230    4256620544 timeout (error (143)) 301    234    3009961984 timeout (error (143)) 301    243    3163914240
eca-rers2012/Problem12_label15_true-unreach-call.c true 249    186    4157464576 timeout (error (143)) 301    235    3013951488 timeout (error (143)) 306    251    3192717312
eca-rers2012/Problem12_label16_true-unreach-call.c true 199    153    3148402688 timeout (error (143)) 300    231    3166605312 timeout (error (143)) 301    245    3147939840
eca-rers2012/Problem12_label17_true-unreach-call.c timeout (error (143)) 302    235    4319870976 timeout (error (143)) 301    231    3031846912 timeout (error (143)) 303    248    3192909824
eca-rers2012/Problem12_label18_true-unreach-call.c true 292    217    4353458176 timeout (error (143)) 301    244    3159425024 timeout (error (143)) 306    256    3204521984
eca-rers2012/Problem12_label22_true-unreach-call.c true 210    156    3204669440 timeout (error (143)) 306    238    3281854464 timeout (error (143)) 302    246    3148771328
eca-rers2012/Problem12_label23_true-unreach-call.c timeout (error (143)) 301    228    4153643008 timeout (error (143)) 301    237    2966523904 timeout (error (143)) 306    245    3480379392
eca-rers2012/Problem12_label24_true-unreach-call.c timeout (error (143)) 301    228    3888345088 timeout (error (143)) 302    238    2967441408 timeout (error (143)) 306    240    3147653120
eca-rers2012/Problem12_label26_true-unreach-call.c timeout (error (143)) 302    225    4447768576 timeout (error (143)) 301    229    3012358144 timeout (error (143)) 306    253    3142553600
eca-rers2012/Problem12_label27_true-unreach-call.c timeout (error (143)) 301    235    3573673984 timeout (error (143)) 302    239    2970419200 timeout (error (143)) 301    254    3098443776
eca-rers2012/Problem12_label29_true-unreach-call.c true 253    190    4320059392 timeout (error (143)) 305    248    3042230272 timeout (error (143)) 306    239    3243827200
eca-rers2012/Problem12_label31_true-unreach-call.c true 297    227    3959894016 timeout (error (143)) 301    231    3162005504 timeout (error (143)) 306    243    3372421120
eca-rers2012/Problem12_label32_true-unreach-call.c true 274    212    3841855488 timeout (error (143)) 306    243    2972291072 timeout (error (143)) 306    255    3122765824
eca-rers2012/Problem12_label33_true-unreach-call.c true 198    148    2825940992 timeout (error (143)) 306    228    3138342912 timeout (error (143)) 306    254    3115339776
eca-rers2012/Problem12_label36_true-unreach-call.c true 215    167    2911625216 timeout (error (143)) 301    236    2959597568 timeout (error (143)) 306    240    3375681536
eca-rers2012/Problem12_label41_true-unreach-call.c timeout (error (143)) 302    230    4619284480 timeout (error (143)) 302    247    2950123520 timeout (error (143)) 306    259    3093573632
eca-rers2012/Problem12_label43_true-unreach-call.c true 242    187    3256979456 timeout (error (143)) 301    217    3279040512 timeout (error (143)) 301    245    3250675712
eca-rers2012/Problem12_label44_true-unreach-call.c timeout (error (143)) 301    234    4285087744 timeout (error (143)) 302    242    2946781184 timeout (error (143)) 302    257    3095654400
eca-rers2012/Problem12_label45_true-unreach-call.c true 284    216    3289780224 timeout (error (143)) 301    209    3232522240 timeout (error (143)) 306    250    3258552320
eca-rers2012/Problem12_label46_true-unreach-call.c true 220    166    3323498496 timeout (error (143)) 301    237    3030691840 timeout (error (143)) 306    255    3168120832
eca-rers2012/Problem12_label47_true-unreach-call.c true 204    154    3074920448 timeout (error (143)) 301    226    3532468224 timeout (error (143)) 301    243    3255635968
eca-rers2012/Problem12_label49_true-unreach-call.c true 207    154    2950172672 timeout (error (143)) 301    233    3296419840 timeout (error (143)) 306    246    3281948672
eca-rers2012/Problem12_label53_true-unreach-call.c true 205    153    3264729088 timeout (error (143)) 301    230    3343749120 timeout (error (143)) 301    245    3239849984
eca-rers2012/Problem12_label54_true-unreach-call.c timeout (error (143)) 301    222    4354904064 timeout (error (143)) 300    228    3329536000 timeout (error (143)) 306    249    3226243072
eca-rers2012/Problem12_label56_true-unreach-call.c true 197    146    3020931072 timeout (error (143)) 301    227    3299987456 timeout (error (143)) 306    246    3354173440
eca-rers2012/Problem12_label57_true-unreach-call.c true 294    234    3244249088 timeout (error (143)) 306    243    3151908864 timeout (error (143)) 306    259    3116236800
eca-rers2012/Problem12_label58_true-unreach-call.c true 210    150    3746803712 timeout (error (143)) 306    237    3135094784 timeout (error (143)) 306    259    3088457728
eca-rers2012/Problem12_label59_true-unreach-call.c true 258    191    4418764800 timeout (error (143)) 301    234    2974793728 timeout (error (143)) 303    218    4526895104
eca-rers2012/Problem13_label00_true-unreach-call.c timeout (error (143)) 301    231    4728135680 timeout (error (143)) 302    246    2969726976 timeout (error (143)) 306    243    3140837376
eca-rers2012/Problem13_label01_true-unreach-call.c timeout (error (143)) 302    231    4363526144 timeout (error (143)) 304    224    3198382080 timeout (error (143)) 301    239    3278614528
eca-rers2012/Problem13_label02_true-unreach-call.c timeout (error (143)) 302    231    4720300032 timeout (error (143)) 303    237    3064279040 timeout (error (143)) 301    247    3187585024
eca-rers2012/Problem13_label03_true-unreach-call.c timeout (error (143)) 301    231    4552056832 timeout (error (143)) 307    238    3158773760 timeout (error (143)) 302    245    3303014400
eca-rers2012/Problem13_label05_true-unreach-call.c timeout (error (143)) 302    229    4741017600 timeout (error (143)) 301    246    3087265792 timeout (error (143)) 306    246    3375988736
eca-rers2012/Problem13_label08_true-unreach-call.c timeout (error (143)) 301    227    4692205568 timeout (error (143)) 301    233    3078578176 timeout (error (143)) 306    250    3212972032
eca-rers2012/Problem13_label09_true-unreach-call.c timeout (error (143)) 301    225    5074472960 timeout (error (143)) 302    226    3057123328 timeout (error (143)) 306    247    3209027584
eca-rers2012/Problem13_label10_true-unreach-call.c timeout (error (143)) 302    235    3577647104 timeout (error (143)) 301    228    3092504576 timeout (error (143)) 306    249    3231485952
eca-rers2012/Problem13_label13_true-unreach-call.c timeout (error (143)) 301    232    4312231936 timeout (error (143)) 302    219    3357388800 timeout (error (143)) 300    234    3505467392
eca-rers2012/Problem13_label14_true-unreach-call.c timeout (error (143)) 301    229    4362854400 timeout (error (143)) 301    223    3224801280 timeout (error (143)) 306    242    3460669440
eca-rers2012/Problem13_label15_true-unreach-call.c timeout (error (143)) 301    228    4905648128 timeout (error (143)) 301    224    3149967360 timeout (error (143)) 307    243    3274141696
eca-rers2012/Problem13_label17_true-unreach-call.c timeout (error (143)) 301    228    4246351872 timeout (error (143)) 306    215    3028922368 timeout (error (143)) 304    250    3161571328
eca-rers2012/Problem13_label18_true-unreach-call.c timeout (error (143)) 301    237    3711893504 timeout (error (143)) 302    229    3305992192 timeout (error (143)) 301    234    3217129472
eca-rers2012/Problem13_label20_true-unreach-call.c true 292    221    4184358912 timeout (error (143)) 301    225    3065999360 timeout (error (143)) 306    247    3204673536
eca-rers2012/Problem13_label22_true-unreach-call.c timeout (error (143)) 301    226    4835672064 timeout (error (143)) 301    233    3067486208 timeout (error (143)) 302    243    3216838656
eca-rers2012/Problem13_label26_true-unreach-call.c timeout (error (143)) 300    225    5076385792 timeout (error (143)) 300    220    3089530880 timeout (error (143)) 306    246    3222945792
eca-rers2012/Problem13_label27_true-unreach-call.c timeout (error (143)) 301    231    4404912128 timeout (error (143)) 301    224    3037556736 timeout (error (143)) 302    248    3187851264
eca-rers2012/Problem13_label31_true-unreach-call.c timeout (error (143)) 302    223    5276540928 timeout (error (143)) 301    223    3078148096 timeout (error (143)) 306    249    3279384576
eca-rers2012/Problem13_label33_true-unreach-call.c timeout (error (143)) 301    227    4392820736 timeout (error (143)) 301    227    3057635328 timeout (error (143)) 306    245    3194036224
eca-rers2012/Problem13_label34_true-unreach-call.c timeout (error (143)) 302    232    4659326976 timeout (error (143)) 301    229    3072188416 timeout (error (143)) 306    246    3309715456
eca-rers2012/Problem13_label37_true-unreach-call.c timeout (error (143)) 301    231    4016361472 timeout (error (143)) 301    214    3035979776 timeout (error (143)) 302    248    3199242240
eca-rers2012/Problem13_label38_true-unreach-call.c timeout (error (143)) 316    242    4381294592 timeout (error (143)) 303    229    3059015680 timeout (error (143)) 306    250    3154698240
eca-rers2012/Problem13_label39_true-unreach-call.c timeout (error (143)) 301    232    4351193088 timeout (error (143)) 301    228    3066957824 timeout (error (143)) 302    250    3147517952
eca-rers2012/Problem13_label41_true-unreach-call.c timeout (error (143)) 300    234    4273991680 timeout (error (143)) 301    235    3040374784 timeout (error (143)) 301    244    3200786432
eca-rers2012/Problem13_label42_true-unreach-call.c timeout (error (143)) 301    234    4526571520 timeout (error (143)) 301    220    3077963776 timeout (error (143)) 306    252    3167989760
eca-rers2012/Problem13_label46_true-unreach-call.c timeout (error (143)) 301    226    4752179200 timeout (error (143)) 305    232    3055030272 timeout (error (143)) 305    247    3192598528
eca-rers2012/Problem13_label47_true-unreach-call.c timeout (error (143)) 303    232    4290764800 timeout (error (143)) 306    239    3062448128 timeout (error (143)) 301    250    3204022272
eca-rers2012/Problem13_label49_true-unreach-call.c timeout (error (143)) 302    225    4602859520 timeout (error (143)) 303    225    3058073600 timeout (error (143)) 306    248    3187740672
eca-rers2012/Problem13_label50_true-unreach-call.c timeout (error (143)) 302    230    4263317504 timeout (error (143)) 301    223    3065868288 timeout (error (143)) 301    248    3190083584
eca-rers2012/Problem13_label52_true-unreach-call.c timeout (error (143)) 301    230    4676403200 timeout (error (143)) 301    225    3636867072 timeout (error (143)) 302    238    3792044032
eca-rers2012/Problem13_label53_true-unreach-call.c timeout (error (143)) 303    236    4343480320 timeout (error (143)) 301    224    3102154752 timeout (error (143)) 301    240    3298619392
eca-rers2012/Problem13_label55_true-unreach-call.c timeout (error (143)) 302    232    4422619136 timeout (error (143)) 301    228    3145244672 timeout (error (143)) 302    240    3248242688
eca-rers2012/Problem13_label56_true-unreach-call.c timeout (error (143)) 302    233    4502687744 timeout (error (143)) 301    228    3032944640 timeout (error (143)) 304    248    3195822080
eca-rers2012/Problem13_label57_true-unreach-call.c timeout (error (143)) 309    228    5432721408 timeout (error (143)) 301    229    3040538624 timeout (error (143)) 302    253    3159244800
eca-rers2012/Problem13_label59_true-unreach-call.c timeout (error (143)) 301    234    5090025472 timeout (error (143)) 302    227    3206627328 timeout (error (143)) 301    241    3193102336
eca-rers2012/Problem14_label00_true-unreach-call_false-termination.c true 112    69.2  2850516992 true 51.5  32.3  1058050048 true 49.6  31.5  1108439040
eca-rers2012/Problem14_label01_true-unreach-call_false-termination.c true 64.2  38.1  1221025792 timeout (error (143)) 305    249    2972647424 true 155    109    2993991680
eca-rers2012/Problem14_label03_true-unreach-call_false-termination.c true 136    84.6  2865422336 true 48.6  30.3  1033805824 true 44.3  28.3  1049227264
eca-rers2012/Problem14_label04_true-unreach-call_false-termination.c timeout (error (143)) 301    259    2808631296 timeout (error (143)) 301    226    2959998976 timeout (error (143)) 301    232    3238998016
eca-rers2012/Problem14_label05_true-unreach-call_false-termination.c true 85.4  54.6  2011836416 timeout (error (143)) 301    238    2966040576 timeout (error (143)) 302    239    3200614400
eca-rers2012/Problem14_label06_true-unreach-call_false-termination.c true 105    63.6  1953398784 timeout (error (143)) 301    244    2962788352 true 242    186    3090808832
eca-rers2012/Problem14_label07_true-unreach-call_false-termination.c true 142    94.1  2863714304 timeout (error (143)) 301    248    2941878272 timeout (error (143)) 301    240    3165896704
eca-rers2012/Problem14_label09_true-unreach-call_false-termination.c timeout (error (143)) 301    249    2949783552 timeout (error (143)) 301    249    2959470592 timeout (error (143)) 305    246    3192283136
eca-rers2012/Problem14_label15_true-unreach-call_false-termination.c true 73.0  44.5  1360527360 true 51.8  31.5  1120464896 true 45.3  28.4  1097990144
eca-rers2012/Problem14_label16_true-unreach-call_false-termination.c true 65.4  40.8  1239650304 timeout (error (143)) 301    246    2961641472 true 222    169    3077947392
eca-rers2012/Problem14_label17_true-unreach-call_false-termination.c true 62.7  39.1  1373564928 timeout (error (143)) 301    244    2936733696 true 287    217    3063136256
eca-rers2012/Problem14_label19_true-unreach-call_false-termination.c true 133    91.3  2914791424 timeout (error (143)) 302    243    3014184960 true 184    134    3013644288
eca-rers2012/Problem14_label20_true-unreach-call_false-termination.c true 72.7  45.1  1643798528 true 32.2  19.0  874897408 true 33.5  19.5  883367936
eca-rers2012/Problem14_label21_true-unreach-call_false-termination.c true 95.0  58.8  1585487872 timeout (error (143)) 302    249    2954653696 true 145    104    2981654528
eca-rers2012/Problem14_label23_true-unreach-call_false-termination.c true 149    96.3  2888249344 timeout (error (143)) 303    238    2960818176 timeout (error (143)) 301    230    3064283136
eca-rers2012/Problem14_label24_true-unreach-call_false-termination.c true 120    77.6  2876502016 timeout (error (143)) 303    247    2962886656 timeout (error (143)) 301    233    3116810240
eca-rers2012/Problem14_label25_true-unreach-call_false-termination.c true 67.1  42.8  1348005888 true 31.5  18.7  862158848 true 31.0  18.5  878747648
eca-rers2012/Problem14_label26_true-unreach-call_false-termination.c true 109    65.5  1866756096 timeout (error (143)) 301    248    2933018624 true 244    185    3084779520
eca-rers2012/Problem14_label30_true-unreach-call_false-termination.c true 64.8  39.9  1405284352 true 32.2  19.1  861831168 true 33.5  19.7  873324544
eca-rers2012/Problem14_label32_true-unreach-call_false-termination.c true 88.7  56.1  1988055040 timeout (error (143)) 302    244    3031089152 timeout (error (143)) 302    232    3112611840
eca-rers2012/Problem14_label33_true-unreach-call_false-termination.c true 57.4  35.9  1261719552 timeout (error (143)) 302    231    2962456576 true 266    195    3026321408
eca-rers2012/Problem14_label35_true-unreach-call_false-termination.c true 74.3  46.2  1590349824 true 32.5  19.1  852688896 true 32.9  19.3  874332160
eca-rers2012/Problem14_label36_true-unreach-call_false-termination.c true 74.3  45.3  1614761984 timeout (error (143)) 304    246    2955612160 true 173    133    2998775808
eca-rers2012/Problem14_label38_true-unreach-call_false-termination.c true 63.7  37.4  1218240512 true 35.7  20.8  876900352 true 33.9  19.9  896667648
eca-rers2012/Problem14_label42_true-unreach-call_false-termination.c true 77.6  48.6  1380626432 timeout (error (143)) 301    241    2963996672 true 268    199    3046629376
eca-rers2012/Problem14_label45_true-unreach-call_false-termination.c true 130    84.7  2889216000 timeout (error (143)) 301    246    2985742336 timeout (error (143)) 301    235    3130912768
eca-rers2012/Problem14_label46_true-unreach-call_false-termination.c timeout (error (143)) 303    241    2896740352 timeout (error (143)) 301    224    2965520384 timeout (error (143)) 302    238    3169165312
eca-rers2012/Problem14_label47_true-unreach-call_false-termination.c true 80.3  51.5  1706631168 timeout (error (143)) 301    243    2978836480 timeout (error (143)) 301    241    3179327488
eca-rers2012/Problem14_label48_true-unreach-call_false-termination.c timeout (error (143)) 301    254    2888216576 timeout (error (143)) 301    246    2981203968 timeout (error (143)) 301    234    3066626048
eca-rers2012/Problem14_label49_true-unreach-call_false-termination.c true 84.8  53.0  1888657408 timeout (error (143)) 301    244    2961297408 timeout (error (143)) 301    240    3175206912
eca-rers2012/Problem14_label50_true-unreach-call_false-termination.c true 118    78.2  2864930816 timeout (error (143)) 300    242    2958176256 timeout (error (143)) 305    244    3141476352
eca-rers2012/Problem14_label51_true-unreach-call_false-termination.c timeout (error (143)) 301    246    2938445824 timeout (error (143)) 301    249    2951180288 timeout (error (143)) 302    244    3068071936
eca-rers2012/Problem14_label53_true-unreach-call_false-termination.c timeout (error (143)) 301    239    2898423808 timeout (error (143)) 301    251    2953719808 timeout (error (143)) 303    244    3183411200
eca-rers2012/Problem14_label55_true-unreach-call_false-termination.c true 139    91.6  2876481536 timeout (error (143)) 304    223    2949152768 timeout (error (143)) 305    237    3294068736
eca-rers2012/Problem14_label59_true-unreach-call_false-termination.c true 78.2  48.4  1716219904 timeout (error (143)) 301    238    3013177344 true 98.7  61.4  2863124480
eca-rers2012/Problem15_label01_true-unreach-call.c timeout (error (143)) 302    256    2613788672 timeout (error (143)) 301    241    2983923712 timeout (error (143)) 301    255    2916622336
eca-rers2012/Problem15_label04_true-unreach-call.c true 295    232    3072376832 timeout (error (143)) 301    259    2891407360 timeout (error (143)) 302    227    3199827968
eca-rers2012/Problem15_label05_true-unreach-call.c true 218    161    2905608192 timeout (error (143)) 301    256    2933088256 timeout (error (143)) 301    229    3311009792
eca-rers2012/Problem15_label06_true-unreach-call.c true 212    160    2852417536 timeout (error (143)) 301    235    3240189952 timeout (error (143)) 304    235    3407806464
eca-rers2012/Problem15_label08_true-unreach-call.c timeout (error (143)) 301    242    2885574656 timeout (error (143)) 301    237    3170377728 timeout (error (143)) 301    235    3448561664
eca-rers2012/Problem15_label10_true-unreach-call.c timeout (error (143)) 301    238    2900013056 timeout (error (143)) 301    238    3190280192 timeout (error (143)) 302    230    3480256512
eca-rers2012/Problem15_label11_true-unreach-call.c true 218    162    2835566592 timeout (error (143)) 301    235    3032358912 timeout (error (143)) 302    240    3010396160
eca-rers2012/Problem15_label12_true-unreach-call.c timeout (error (143)) 304    253    2997772288 timeout (error (143)) 301    242    3109396480 timeout (error (143)) 301    240    3289952256
eca-rers2012/Problem15_label13_true-unreach-call.c true 268    209    2980962304 timeout (error (143)) 301    247    3120975872 timeout (error (143)) 301    242    3341975552
eca-rers2012/Problem15_label16_true-unreach-call.c timeout (error (143)) 302    241    2903695360 timeout (error (143)) 301    240    3129274368 timeout (error (143)) 301    234    3197304832
eca-rers2012/Problem15_label17_true-unreach-call.c error: exception 169    122    2243301376 timeout (error (143)) 301    257    2941575168 timeout (error (143)) 301    221    3553550336
eca-rers2012/Problem15_label19_true-unreach-call.c timeout (error (143)) 302    253    2925785088 timeout (error (143)) 301    230    3170009088 timeout (error (143)) 302    245    3138428928
eca-rers2012/Problem15_label20_true-unreach-call.c true 168    119    2459566080 timeout (error (143)) 301    220    3254181888 timeout (error (143)) 301    227    3802947584
eca-rers2012/Problem15_label21_true-unreach-call.c true 178    128    2636230656 timeout (error (143)) 301    236    2992607232 timeout (error (143)) 301    229    3358937088
eca-rers2012/Problem15_label24_true-unreach-call.c timeout (error (143)) 302    255    2120327168 timeout (error (143)) 301    235    3118215168 timeout (error (143)) 303    234    3603234816
eca-rers2012/Problem15_label26_true-unreach-call.c true 246    192    2649772032 timeout (error (143)) 301    237    3241275392 timeout (error (143)) 301    228    3321368576
eca-rers2012/Problem15_label27_true-unreach-call.c timeout (error (143)) 301    262    2274865152 timeout (error (143)) 301    251    2899341312 timeout (error (143)) 302    248    3214086144
eca-rers2012/Problem15_label28_true-unreach-call.c true 204    155    2812493824 timeout (error (143)) 301    241    3012333568 timeout (error (143)) 302    235    3493281792
eca-rers2012/Problem15_label31_true-unreach-call.c true 166    118    2569469952 timeout (error (143)) 301    229    3141509120 timeout (error (143)) 302    229    3317706752
eca-rers2012/Problem15_label32_true-unreach-call.c timeout (error (143)) 301    224    2922844160 timeout (error (143)) 301    247    3117637632 timeout (error (143)) 303    246    3351040000
eca-rers2012/Problem15_label35_true-unreach-call.c true 162    117    2256121856 timeout (error (143)) 301    234    3078520832 timeout (error (143)) 301    226    3261493248
eca-rers2012/Problem15_label36_true-unreach-call.c true 178    127    2318716928 timeout (error (143)) 301    253    2941550592 timeout (error (143)) 302    234    3199643648
eca-rers2012/Problem15_label42_true-unreach-call.c true 195    140    3021426688 timeout (error (143)) 301    235    3183693824 true 270    205    3217080320
eca-rers2012/Problem15_label43_true-unreach-call.c true 146    105    1869549568 timeout (error (143)) 301    238    3050700800 timeout (error (143)) 301    251    3365240832
eca-rers2012/Problem15_label44_true-unreach-call.c true 226    164    2898493440 timeout (error (143)) 301    261    2940215296 timeout (error (143)) 307    231    3203432448
eca-rers2012/Problem15_label46_true-unreach-call.c timeout (error (143)) 301    254    2656194560 timeout (error (143)) 301    234    3182563328 timeout (error (143)) 301    229    3334692864
eca-rers2012/Problem15_label49_true-unreach-call.c timeout (error (143)) 302    259    2233503744 timeout (error (143)) 301    244    3090272256 timeout (error (143)) 301    247    3151384576
eca-rers2012/Problem15_label52_true-unreach-call.c timeout (error (143)) 300    235    2996416512 timeout (error (143)) 302    256    2958348288 timeout (error (143)) 301    235    3251036160
eca-rers2012/Problem15_label53_true-unreach-call.c true 137    99.6  1945219072 timeout (error (143)) 301    245    3111895040 timeout (error (143)) 301    239    3273433088
eca-rers2012/Problem15_label54_true-unreach-call.c true 146    105    1760567296 timeout (error (143)) 301    244    3139018752 timeout (error (143)) 301    252    3376807936
eca-rers2012/Problem15_label55_true-unreach-call.c true 143    102    1928196096 timeout (error (143)) 301    251    2940346368 true 194    136    2988277760
eca-rers2012/Problem15_label56_true-unreach-call.c true 109    78.2  1789706240 timeout (error (143)) 301    254    2945474560 true 245    175    3158949888
eca-rers2012/Problem15_label57_true-unreach-call.c timeout (error (143)) 301    242    2948403200 timeout (error (143)) 301    239    3077578752 timeout (error (143)) 301    231    3361435648
eca-rers2012/Problem15_label58_true-unreach-call.c true 108    75.9  1790746624 timeout (error (143)) 301    238    3174043648 timeout (error (143)) 304    233    3443519488
eca-rers2012/Problem15_label59_true-unreach-call.c true 216    161    2899193856 timeout (error (143)) 301    250    2969776128 timeout (error (143)) 302    247    3112886272
eca-rers2012/Problem16_label02_true-unreach-call.c timeout (error (143)) 301    245    3004399616 timeout (error (143)) 301    233    2954772480 timeout (error (143)) 305    243    3320008704
eca-rers2012/Problem16_label07_true-unreach-call.c true 137    92.5  2837131264 timeout (error (143)) 301    240    2969792512 timeout (error (143)) 301    246    3292213248
eca-rers2012/Problem16_label09_true-unreach-call.c true 110    76.2  1768710144 timeout (error (143)) 301    242    3025383424 timeout (error (143)) 300    239    3224477696
eca-rers2012/Problem16_label10_true-unreach-call.c true 122    81.0  2019823616 timeout (error (143)) 301    240    3017338880 timeout (error (143)) 302    237    3282460672
eca-rers2012/Problem16_label11_true-unreach-call.c true 121    76.5  2126299136 timeout (error (143)) 301    244    2951491584 timeout (error (143)) 301    238    3235799040
eca-rers2012/Problem16_label12_true-unreach-call.c true 190    131    2992738304 timeout (error (143)) 301    242    2961829888 timeout (error (143)) 305    239    3242332160
eca-rers2012/Problem16_label13_true-unreach-call.c true 120    83.2  2543816704 timeout (error (143)) 301    229    2975260672 timeout (error (143)) 306    245    3284193280
eca-rers2012/Problem16_label16_true-unreach-call.c true 105    68.3  2037243904 timeout (error (143)) 301    241    2972717056 timeout (error (143)) 301    235    3408039936
eca-rers2012/Problem16_label17_true-unreach-call.c true 136    91.0  2642755584 timeout (error (143)) 300    221    3104169984 timeout (error (143)) 306    249    3378286592
eca-rers2012/Problem16_label19_true-unreach-call.c true 147    97.0  2861891584 timeout (error (143)) 302    230    3018280960 timeout (error (143)) 306    242    3221843968
eca-rers2012/Problem16_label21_true-unreach-call.c true 263    195    3112038400 timeout (error (143)) 302    237    3004182528 timeout (error (143)) 301    249    3119165440
eca-rers2012/Problem16_label23_true-unreach-call.c true 171    116    2944176128 timeout (error (143)) 301    243    3065270272 timeout (error (143)) 303    247    3270234112
eca-rers2012/Problem16_label24_true-unreach-call.c true 109    73.1  2730295296 timeout (error (143)) 301    242    2982420480 timeout (error (143)) 302    253    3270717440
eca-rers2012/Problem16_label25_true-unreach-call.c true 124    80.1  2809552896 timeout (error (143)) 301    237    3060776960 timeout (error (143)) 304    252    3286732800
eca-rers2012/Problem16_label26_true-unreach-call.c true 125    81.9  2731528192 timeout (error (143)) 301    241    3011657728 timeout (error (143)) 302    246    3310911488
eca-rers2012/Problem16_label28_true-unreach-call.c true 179    123    2882715648 timeout (error (143)) 301    237    3020455936 timeout (error (143)) 305    254    3291844608
eca-rers2012/Problem16_label29_true-unreach-call.c true 259    196    3001565184 timeout (error (143)) 301    245    3051503616 timeout (error (143)) 306    255    3209773056
eca-rers2012/Problem16_label32_true-unreach-call.c true 177    125    2997104640 timeout (error (143)) 301    242    2976456704 timeout (error (143)) 301    233    3358396416
eca-rers2012/Problem16_label34_true-unreach-call.c true 122    82.2  2419314688 timeout (error (143)) 301    232    3025903616 timeout (error (143)) 304    251    3176263680
eca-rers2012/Problem16_label35_true-unreach-call.c true 136    92.8  2894282752 timeout (error (143)) 301    249    2958696448 timeout (error (143)) 302    249    3322699776
eca-rers2012/Problem16_label36_true-unreach-call.c true 90.5  61.3  2668843008 timeout (error (143)) 302    243    2949668864 timeout (error (143)) 302    250    3265896448
eca-rers2012/Problem16_label39_true-unreach-call.c true 142    91.6  2967121920 timeout (error (143)) 301    225    3106164736 timeout (error (143)) 306    244    3251748864
eca-rers2012/Problem16_label40_true-unreach-call.c true 145    96.7  2863476736 timeout (error (143)) 301    234    3086594048 timeout (error (143)) 301    242    3235209216
eca-rers2012/Problem16_label42_true-unreach-call.c true 141    93.3  3007823872 timeout (error (143)) 301    249    3013394432 timeout (error (143)) 302    244    3154972672
eca-rers2012/Problem16_label45_true-unreach-call.c true 273    202    3053535232 timeout (error (143)) 301    237    3052843008 timeout (error (143)) 303    250    3190767616
eca-rers2012/Problem16_label47_true-unreach-call.c true 73.6  47.1  1276944384 timeout (error (143)) 301    233    3030003712 true 193    144    2963050496
eca-rers2012/Problem16_label48_true-unreach-call.c true 77.6  49.3  1281650688 timeout (error (143)) 302    241    3041873920 true 181    138    2975412224
eca-rers2012/Problem16_label49_true-unreach-call.c true 106    66.2  1455460352 timeout (error (143)) 300    211    3012857856 timeout (error (143)) 302    251    3282472960
eca-rers2012/Problem16_label50_true-unreach-call.c true 47.5  29.8  953794560 timeout (error (143)) 301    232    3122307072 timeout (error (143)) 306    229    3388383232
eca-rers2012/Problem16_label53_true-unreach-call.c true 272    201    3208499200 timeout (error (143)) 302    244    3048628224 timeout (error (143)) 302    252    3191345152
eca-rers2012/Problem16_label55_true-unreach-call.c true 80.5  52.6  1474097152 timeout (error (143)) 301    248    2961514496 timeout (error (143)) 306    258    3275116544
eca-rers2012/Problem16_label56_true-unreach-call.c true 40.1  24.3  901312512 timeout (error (143)) 301    237    2970419200 timeout (error (143)) 302    252    3237363712
eca-rers2012/Problem16_label57_true-unreach-call.c true 61.0  39.3  1226199040 timeout (error (143)) 301    244    3040874496 timeout (error (143)) 306    254    3280089088
eca-rers2012/Problem16_label58_true-unreach-call.c true 106    67.5  1869393920 timeout (error (143)) 301    245    3052298240 timeout (error (143)) 305    254    3288322048
eca-rers2012/Problem16_label59_true-unreach-call.c true 135    85.8  2861174784 timeout (error (143)) 301    229    3082461184 timeout (error (143)) 302    231    3381620736
eca-rers2012/Problem17_label00_true-unreach-call.c timeout (error (143)) 300    248    2881310720 timeout (error (143)) 301    234    3193028608 timeout (error (143)) 301    242    2985181184
eca-rers2012/Problem17_label01_true-unreach-call.c timeout (error (143)) 302    274    1326256128 timeout (error (143)) 301    250    2979352576 timeout (error (143)) 300    246    2416754688
eca-rers2012/Problem17_label02_true-unreach-call.c timeout (error (143)) 300    240    3271692288 timeout (error (143)) 302    243    2967928832 timeout (error (143)) 300    241    3042418688
eca-rers2012/Problem17_label03_true-unreach-call.c timeout (error (143)) 301    244    2910969856 timeout (error (143)) 304    230    3144593408 timeout (error (143)) 302    246    3202711552
eca-rers2012/Problem17_label05_true-unreach-call.c timeout (error (143)) 300    255    2425925632 timeout (error (143)) 301    236    3273232384 timeout (error (143)) 300    242    3253587968
eca-rers2012/Problem17_label06_true-unreach-call.c timeout (error (143)) 301    243    3430014976 timeout (error (143)) 301    251    2971795456 timeout (error (143)) 302    246    2503835648
eca-rers2012/Problem17_label08_true-unreach-call.c timeout (error (143)) 301    270    1324064768 timeout (error (143)) 301    245    3039535104 timeout (error (143)) 303    248    2204233728
eca-rers2012/Problem17_label10_true-unreach-call.c timeout (error (143)) 302    275    1360322560 timeout (error (143)) 301    251    2960273408 timeout (error (143)) 301    250    5727330304
eca-rers2012/Problem17_label11_true-unreach-call.c timeout (error (143)) 301    242    2916073472 timeout (error (143)) 300    240    3077738496 timeout (error (143)) 303    265    1785450496
eca-rers2012/Problem17_label12_true-unreach-call.c timeout (error (143)) 301    274    1332219904 timeout (error (143)) 302    244    3048603648 timeout (error (143)) 302    248    2795192320
eca-rers2012/Problem17_label14_true-unreach-call.c timeout (error (143)) 301    274    1333436416 timeout (error (143)) 301    246    2949873664 timeout (error (143)) 301    235    3147436032
eca-rers2012/Problem17_label15_true-unreach-call.c timeout (error (143)) 301    252    2708459520 timeout (error (143)) 302    260    2879918080 timeout (error (143)) 305    282    1234264064
eca-rers2012/Problem17_label17_true-unreach-call.c timeout (error (143)) 302    276    1322725376 timeout (error (143)) 301    233    2953515008 timeout (error (143)) 301    246    2852581376
eca-rers2012/Problem17_label18_true-unreach-call.c timeout (error (143)) 300    275    1317330944 timeout (error (143)) 301    253    2982494208 timeout (error (143)) 301    243    2836652032
eca-rers2012/Problem17_label19_true-unreach-call.c timeout (error (143)) 302    250    2879586304 timeout (error (143)) 301    241    3182837760 timeout (error (143)) 302    247    2504163328
eca-rers2012/Problem17_label21_true-unreach-call.c timeout (error (143)) 301    276    1309302784 timeout (error (143)) 301    236    3196317696 timeout (error (143)) 301    247    2994708480
eca-rers2012/Problem17_label22_true-unreach-call.c timeout (error (143)) 302    245    3537137664 timeout (error (143)) 302    251    2970673152 timeout (error (143)) 300    253    2131554304
eca-rers2012/Problem17_label24_true-unreach-call.c timeout (error (143)) 301    274    1317937152 timeout (error (143)) 301    247    3121991680 timeout (error (143)) 302    245    3645149184
eca-rers2012/Problem17_label27_true-unreach-call.c timeout (error (143)) 301    245    3436118016 timeout (error (143)) 301    266    2895097856 timeout (error (143)) 304    279    1196081152
eca-rers2012/Problem17_label28_true-unreach-call.c timeout (error (143)) 302    276    1327136768 timeout (error (143)) 301    244    3055624192 timeout (error (143)) 300    256    2113138688
eca-rers2012/Problem17_label29_true-unreach-call.c timeout (error (143)) 301    237    2989871104 timeout (error (143)) 303    238    3176931328 timeout (error (143)) 303    249    3222548480
eca-rers2012/Problem17_label32_true-unreach-call.c timeout (error (143)) 301    276    1202233344 timeout (error (143)) 301    252    3015364608 timeout (error (143)) 302    259    1728770048
eca-rers2012/Problem17_label36_true-unreach-call.c timeout (error (143)) 302    274    1323192320 timeout (error (143)) 302    239    3118288896 timeout (error (143)) 301    251    2204848128
eca-rers2012/Problem17_label38_true-unreach-call.c timeout (error (143)) 302    272    1315442688 timeout (error (143)) 301    250    2973884416 timeout 322    259    6116597760
eca-rers2012/Problem17_label39_true-unreach-call.c timeout (error (143)) 301    253    2899148800 timeout (error (143)) 301    233    3076792320 timeout (error (143)) 301    274    1326243840
eca-rers2012/Problem17_label41_true-unreach-call.c timeout (error (143)) 301    262    2347954176 timeout (error (143)) 301    239    3160252416 timeout (error (143)) 301    247    3121594368
eca-rers2012/Problem17_label42_true-unreach-call.c true 270    211    3244695552 timeout (error (143)) 301    245    2974167040 timeout (error (143)) 302    232    3944992768
eca-rers2012/Problem17_label43_true-unreach-call.c timeout (error (143)) 301    237    2942582784 timeout (error (143)) 302    240    3106811904 timeout (error (143)) 300    234    3176648704
eca-rers2012/Problem17_label44_true-unreach-call.c timeout (error (143)) 301    275    1186160640 timeout (error (143)) 301    247    3131486208 timeout (error (143)) 301    257    2109239296
eca-rers2012/Problem17_label45_true-unreach-call.c timeout (error (143)) 301    276    1189552128 timeout (error (143)) 302    237    3163332608 timeout (error (143)) 301    251    2975399936
eca-rers2012/Problem17_label47_true-unreach-call.c timeout (error (143)) 301    236    3094020096 timeout (error (143)) 301    252    2974998528 timeout (error (143)) 300    262    1592696832
eca-rers2012/Problem17_label48_true-unreach-call.c timeout (error (143)) 301    271    1397059584 timeout (error (143)) 301    249    3072335872 timeout (error (143)) 301    254    2223210496
eca-rers2012/Problem17_label51_true-unreach-call.c timeout (error (143)) 302    241    3007377408 timeout (error (143)) 301    246    2985844736 error: exception 235    182    2550165504
eca-rers2012/Problem17_label56_true-unreach-call.c timeout (error (143)) 302    274    1382375424 timeout (error (143)) 301    249    3013877760 timeout (error (143)) 302    249    1973739520
eca-rers2012/Problem17_label58_true-unreach-call.c timeout (error (143)) 301    275    1325334528 timeout (error (143)) 301    248    2945232896 timeout (error (143)) 302    231    3097993216
eca-rers2012/Problem17_label59_true-unreach-call.c timeout (error (143)) 303    254    3109392384 timeout (error (143)) 302    249    2979700736 timeout (error (143)) 303    247    2970959872
eca-rers2012/Problem18_label02_true-unreach-call.c true 161    112    3036966912 timeout (error (143)) 301    212    3120463872 timeout (error (143)) 301    235    3333210112
eca-rers2012/Problem18_label04_true-unreach-call.c timeout (error (143)) 301    230    4242132992 timeout (error (143)) 301    230    3234091008 timeout (error (143)) 306    246    3385491456
eca-rers2012/Problem18_label05_true-unreach-call.c timeout (error (143)) 301    240    3708510208 timeout (error (143)) 301    233    3157622784 timeout (error (143)) 306    245    3296485376
eca-rers2012/Problem18_label07_true-unreach-call.c true 163    112    3040276480 timeout (error (143)) 300    217    3149975552 timeout (error (143)) 301    244    3300192256
eca-rers2012/Problem18_label11_true-unreach-call.c true 192    141    3172806656 timeout (error (143)) 301    226    3077636096 timeout (error (143)) 301    242    3303321600
eca-rers2012/Problem18_label13_true-unreach-call.c true 214    154    3682680832 timeout (error (143)) 301    214    3171733504 timeout (error (143)) 306    246    3342589952
eca-rers2012/Problem18_label14_true-unreach-call.c timeout (error (143)) 301    231    4313100288 timeout (error (143)) 301    220    3185491968 timeout (error (143)) 301    239    3296382976
eca-rers2012/Problem18_label15_true-unreach-call.c timeout (error (143)) 301    230    4006232064 timeout (error (143)) 301    217    3181477888 timeout (error (143)) 303    240    3328618496
eca-rers2012/Problem18_label16_true-unreach-call.c true 250    182    3973361664 timeout (error (143)) 301    220    3352137728 timeout (error (143)) 306    236    3463438336
eca-rers2012/Problem18_label17_true-unreach-call.c true 210    153    3172569088 timeout (error (143)) 301    230    3185283072 timeout (error (143)) 304    242    3323146240
eca-rers2012/Problem18_label18_true-unreach-call.c true 211    152    3294896128 timeout (error (143)) 301    240    3024306176 timeout (error (143)) 303    243    3520290816
eca-rers2012/Problem18_label21_true-unreach-call.c true 278    205    4116508672 timeout (error (143)) 301    237    3118120960 timeout (error (143)) 301    246    3245137920
eca-rers2012/Problem18_label22_true-unreach-call.c true 270    200    3761156096 timeout (error (143)) 301    236    3033948160 timeout (error (143)) 306    232    3469221888
eca-rers2012/Problem18_label23_true-unreach-call.c true 218    157    4002971648 timeout (error (143)) 301    238    3128336384 timeout (error (143)) 303    246    3237761024
eca-rers2012/Problem18_label24_true-unreach-call.c timeout (error (143)) 302    233    3704238080 timeout (error (143)) 301    215    3235598336 timeout (error (143)) 301    240    3387977728
eca-rers2012/Problem18_label26_true-unreach-call.c timeout (error (143)) 301    234    3749457920 timeout (error (143)) 300    223    3178803200 timeout (error (143)) 301    242    3325890560
eca-rers2012/Problem18_label28_true-unreach-call.c true 234    168    4125863936 timeout (error (143)) 301    233    3152650240 timeout (error (143)) 306    246    3312660480
eca-rers2012/Problem18_label29_true-unreach-call.c timeout (error (143)) 301    230    3948888064 timeout (error (143)) 301    240    3125178368 timeout (error (143)) 301    241    3241398272
eca-rers2012/Problem18_label30_true-unreach-call.c true 160    111    3050164224 timeout (error (143)) 301    223    3205619712 timeout (error (143)) 304    241    3388596224
eca-rers2012/Problem18_label37_true-unreach-call.c true 292    216    3829903360 timeout (error (143)) 301    237    3133632512 timeout (error (143)) 306    247    3257434112
eca-rers2012/Problem18_label40_true-unreach-call.c true 157    110    2670977024 timeout (error (143)) 301    236    3061276672 timeout (error (143)) 301    243    3327418368
eca-rers2012/Problem18_label41_true-unreach-call.c true 209    152    3173888000 timeout (error (143)) 301    236    3072778240 timeout (error (143)) 304    240    3366584320
eca-rers2012/Problem18_label42_true-unreach-call.c true 180    127    2925117440 timeout (error (143)) 301    238    3113517056 timeout (error (143)) 301    247    3278659584
eca-rers2012/Problem18_label43_true-unreach-call.c true 250    180    3662053376 timeout (error (143)) 301    235    3073904640 timeout (error (143)) 303    233    3424641024
eca-rers2012/Problem18_label44_true-unreach-call.c true 183    127    3075682304 timeout (error (143)) 304    222    3476103168 timeout (error (143)) 304    237    3533824000
eca-rers2012/Problem18_label46_true-unreach-call.c true 143    98.8  2921738240 timeout (error (143)) 301    223    3201892352 timeout (error (143)) 302    244    3338412032
eca-rers2012/Problem18_label47_true-unreach-call.c true 159    110    2926632960 timeout (error (143)) 300    224    3142619136 timeout (error (143)) 306    250    3279081472
eca-rers2012/Problem18_label48_true-unreach-call.c true 146    103    2938253312 timeout (error (143)) 301    207    3134775296 timeout (error (143)) 306    246    3292512256
eca-rers2012/Problem18_label50_true-unreach-call.c true 206    144    3255934976 timeout (error (143)) 301    230    3172454400 timeout (error (143)) 306    245    3321536512
eca-rers2012/Problem18_label51_true-unreach-call.c true 129    90.6  2221621248 timeout (error (143)) 300    225    3184693248 timeout (error (143)) 302    235    3332419584
eca-rers2012/Problem18_label53_true-unreach-call.c true 194    138    3576975360 timeout (error (143)) 301    223    3248082944 timeout (error (143)) 306    242    3356119040
eca-rers2012/Problem18_label54_true-unreach-call.c true 215    155    3653726208 timeout (error (143)) 301    206    3054166016 timeout (error (143)) 301    241    3372863488
eca-rers2012/Problem18_label56_true-unreach-call.c true 167    119    3239591936 timeout (error (143)) 302    225    3183267840 timeout (error (143)) 301    241    3327873024
eca-rers2012/Problem18_label58_true-unreach-call.c true 199    138    3311276032 timeout (error (143)) 301    228    3168886784 timeout (error (143)) 301    238    3343224832
eca-rers2012/Problem18_label59_true-unreach-call.c true 266    197    3980390400 timeout (error (143)) 301    226    3144105984 timeout (error (143)) 301    234    3193032704
eca-rers2012/Problem19_label00_true-unreach-call.c timeout (error (143)) 301    235    3803840512 timeout (error (143)) 301    229    3284090880 timeout (error (143)) 302    229    3178033152
eca-rers2012/Problem19_label01_true-unreach-call.c timeout (error (143)) 303    243    3350761472 timeout (error (143)) 302    227    3440676864 timeout (error (143)) 300    230    3082080256
eca-rers2012/Problem19_label02_true-unreach-call.c timeout (error (143)) 312    245    4334063616 timeout (error (143)) 303    227    3097255936 timeout (error (143)) 302    241    3124461568
eca-rers2012/Problem19_label03_true-unreach-call.c timeout (error (143)) 301    236    3760050176 timeout (error (143)) 302    234    3330125824 timeout (error (143)) 302    232    3138424832
eca-rers2012/Problem19_label04_true-unreach-call.c timeout (error (143)) 301    239    3285045248 timeout (error (143)) 301    227    3064336384 timeout (error (143)) 301    237    3230429184
eca-rers2012/Problem19_label05_true-unreach-call.c timeout (error (143)) 301    244    3220471808 timeout (error (143)) 300    230    3041726464 timeout (error (143)) 301    229    3248308224
eca-rers2012/Problem19_label06_true-unreach-call.c timeout (error (143)) 302    236    3552571392 timeout (error (143)) 301    229    3071098880 timeout (error (143)) 304    235    3348803584
eca-rers2012/Problem19_label07_true-unreach-call.c timeout (error (143)) 308    238    4285575168 timeout (error (143)) 301    227    3104555008 timeout (error (143)) 302    229    3356770304
eca-rers2012/Problem19_label08_true-unreach-call.c timeout (error (143)) 303    238    3369168896 timeout (error (143)) 301    222    3084402688 timeout (error (143)) 303    244    3106787328
eca-rers2012/Problem19_label09_true-unreach-call.c timeout (error (143)) 307    233    4441686016 timeout (error (143)) 301    226    3198111744 timeout (error (143)) 302    233    3402006528
eca-rers2012/Problem19_label12_true-unreach-call.c timeout (error (143)) 302    239    3812380672 timeout (error (143)) 301    220    3061739520 timeout (error (143)) 301    239    3119509504
eca-rers2012/Problem19_label13_true-unreach-call.c timeout (error (143)) 302    239    3318984704 timeout (error (143)) 301    232    3092832256 timeout (error (143)) 301    231    3386478592
eca-rers2012/Problem19_label15_true-unreach-call.c timeout (error (143)) 301    237    4268691456 timeout (error (143)) 301    218    3094138880 timeout (error (143)) 303    235    3118764032
eca-rers2012/Problem19_label16_true-unreach-call.c timeout (error (143)) 300    239    3390414848 timeout (error (143)) 302    212    3093000192 timeout (error (143)) 303    240    3160002560
eca-rers2012/Problem19_label20_true-unreach-call.c timeout (error (143)) 301    241    3756683264 timeout (error (143)) 302    212    3049852928 timeout (error (143)) 305    240    3163144192
eca-rers2012/Problem19_label23_true-unreach-call.c timeout (error (143)) 302    238    3340046336 timeout (error (143)) 301    223    3060416512 timeout (error (143)) 301    240    3105427456
eca-rers2012/Problem19_label24_true-unreach-call.c timeout (error (143)) 301    240    3701116928 timeout (error (143)) 302    226    3103494144 timeout (error (143)) 306    244    3173994496
eca-rers2012/Problem19_label25_true-unreach-call.c timeout (error (143)) 312    243    4405899264 timeout (error (143)) 301    236    3854647296 timeout (error (143)) 301    243    3690164224
eca-rers2012/Problem19_label30_true-unreach-call.c timeout (error (143)) 303    238    4451307520 timeout (error (143)) 301    224    3082825728 timeout (error (143)) 306    238    3125641216
eca-rers2012/Problem19_label33_true-unreach-call.c timeout (error (143)) 302    238    3546537984 timeout (error (143)) 301    228    3120553984 timeout (error (143)) 306    247    3136446464
eca-rers2012/Problem19_label34_true-unreach-call.c timeout (error: exception) 302    242    3407855616 timeout (error (143)) 302    229    3088171008 timeout (error (143)) 301    236    3096862720
eca-rers2012/Problem19_label35_true-unreach-call.c timeout (error (143)) 301    239    3528835072 timeout (error (143)) 301    212    3065417728 timeout (error (143)) 302    234    3203592192
eca-rers2012/Problem19_label36_true-unreach-call.c timeout (error (143)) 302    228    4206448640 timeout (error (143)) 304    225    3085373440 timeout (error (143)) 305    245    3111026688
eca-rers2012/Problem19_label37_true-unreach-call.c timeout (error (143)) 300    241    3517415424 timeout (error (143)) 303    221    3129393152 timeout (error (143)) 302    237    3208572928
eca-rers2012/Problem19_label38_true-unreach-call.c timeout (error (143)) 306    246    3819061248 timeout (error (143)) 306    225    3072733184 timeout (error (143)) 302    246    3137429504
eca-rers2012/Problem19_label39_true-unreach-call.c timeout (error (143)) 303    246    3667116032 timeout (error (143)) 301    229    3118592000 timeout (error (143)) 306    244    3161763840
eca-rers2012/Problem19_label40_true-unreach-call.c timeout (error (143)) 301    243    3619504128 timeout (error (143)) 302    230    3263156224 timeout (error (143)) 302    231    3561553920
eca-rers2012/Problem19_label44_true-unreach-call.c timeout (error (143)) 302    246    3556048896 timeout (error (143)) 302    227    3107266560 timeout (error (143)) 302    243    3135324160
eca-rers2012/Problem19_label45_true-unreach-call.c timeout (error (143)) 301    238    3370713088 timeout (error (143)) 301    239    3767717888 timeout (error (143)) 301    241    3795550208
eca-rers2012/Problem19_label46_true-unreach-call.c timeout (error: exception) 301    245    3292643328 timeout (error (143)) 302    236    3473383424 timeout (error (143)) 302    230    3564142592
eca-rers2012/Problem19_label48_true-unreach-call.c timeout (error (143)) 301    241    3114348544 timeout (error (143)) 301    229    3644563456 timeout (error (143)) 304    229    3520999424
eca-rers2012/Problem19_label49_true-unreach-call.c timeout (error (143)) 302    240    3428065280 timeout (error (143)) 301    221    3085537280 timeout (error (143)) 301    236    3091329024
eca-rers2012/Problem19_label52_true-unreach-call.c timeout (error (143)) 301    240    3403870208 timeout (error (143)) 301    236    3418292224 timeout (error (143)) 304    233    3576655872
eca-rers2012/Problem19_label54_true-unreach-call.c timeout (error (143)) 301    239    3438571520 timeout (error (143)) 302    230    3097894912 timeout (error (143)) 306    246    3113357312
eca-rers2012/Problem19_label56_true-unreach-call.c timeout (error (143)) 300    240    3340591104 timeout (error (143)) 301    220    3078090752 timeout (error (143)) 303    236    3186991104
eca-rers2012/Problem19_label57_true-unreach-call.c timeout (error (143)) 301    241    4092743680 timeout (error (143)) 301    238    3473936384 timeout (error (143)) 301    239    3215634432
psyco/psyco_abp_1_false-unreach-call_false-termination_true-no-overflow.c false 99.1  59.0  1466720256 timeout (error (143)) 301    250    2960351232 false 114    68.0  1607913472
psyco/psyco_cev_1_false-unreach-call.c timeout 322    223    7938134016 timeout (error (143)) 307    219    7985516544 timeout (error (143)) 302    218    7638642688
psyco/psyco_cev_2_false-unreach-call.c out of memory 242    202    8000000000 out of memory 250    204    8000000000 out of memory 250    193    8000000000
psyco/psyco_cev_3_false-unreach-call.c out of memory 239    203    8000004096 out of memory 246    202    8000000000 out of memory 242    195    8000000000
psyco/psyco_net_1_false-unreach-call_false-termination.c false 236    174    3878060032 false 218    159    3207680000 false 250    186    3757436928
psyco/psyco_abp_1_true-unreach-call_false-termination_true-no-overflow.c true 61.5  34.7  1181532160 timeout (error (143)) 301    257    2952650752 true 62.9  35.0  1181741056
psyco/psyco_accelerometer_1_true-unreach-call_false-termination.c true 35.0  19.2  905740288 true 32.2  17.7  875933696 true 32.2  17.7  871383040
psyco/psyco_io_1_true-unreach-call_false-termination.c true 12.6  7.03 349958144 true 12.1  6.68 350760960 true 11.8  6.55 329412608
psyco/psyco_math_1_true-unreach-call_false-termination.c true 9.53 5.23 270741504 true 9.34 5.10 272105472 true 9.05 5.05 267431936
psyco/psyco_security_true-unreach-call_false-termination.c true 13.9  7.75 393924608 true 13.8  7.73 401489920 true 13.3  7.52 405786624
loops/array_false-unreach-call_true-termination.i false 13.3  7.67 358555648 false 8.67 4.80 267841536 false 9.07 5.01 272953344
loops/bubble_sort_false-unreach-call.i false 15.6  8.51 385499136 false 14.8  8.11 400211968 false 15.4  8.33 398340096
loops/count_up_down_false-unreach-call_true-termination.i false 7.19 4.10 240648192 false 7.32 4.12 246067200 false 7.70 4.27 248926208
loops/eureka_01_false-unreach-call_true-termination.i timeout (error (143)) 301    257    1567342592 timeout (error (143)) 316    266    5620834304 timeout 322    272    5659193344
loops/for_bounded_loop1_false-unreach-call_true-termination.i false 11.3  6.35 319856640 false 12.0  6.75 320778240 false 11.1  6.22 299933696
loops/insertion_sort_false-unreach-call_true-termination.i false 171    131    1358024704 timeout (error (143)) 300    254    1878855680 timeout (error (143)) 302    277    1192005632
loops/invert_string_false-unreach-call_true-termination.i false 29.3  18.3  845778944 false 54.9  34.7  1944956928 false 34.1  22.3  973025280
loops/linear_search_false-unreach-call.i timeout (error (143)) 302    277    1152495616 timeout (error (143)) 301    257    2778660864 timeout (error (143)) 301    266    1223991296
loops/ludcmp_false-unreach-call.i timeout (error (143)) 308    239    4945727488 timeout (error (143)) 306    253    5407227904 timeout (error (143)) 306    250    5556334592
loops/matrix_false-unreach-call_true-termination.i false 10.6  5.91 302100480 false 15.4  8.35 588849152 false 12.0  6.59 360464384
loops/n.c24_false-unreach-call.i timeout (error (143)) 301    251    2289860608 timeout (error (143)) 301    233    2900992000 timeout (error (143)) 301    241    2904973312
loops/nec11_false-unreach-call_false-termination.i false 7.82 4.31 246706176 false 8.05 4.40 254570496 false 7.79 4.36 259178496
loops/nec20_false-unreach-call_true-termination.i false 8.50 4.80 256716800 false 8.54 4.77 268107776 false 8.35 4.57 257445888
loops/s3_false-unreach-call.i unknown: overapproxcex 87.1  53.8  1514741760 unknown: overapproxcex 47.2  25.7  1052123136 unknown: overapproxcex 43.7  24.2  1055096832
loops/string_false-unreach-call_true-termination.i unknown: overapproxcex 14.8  8.31 418729984 unknown: overapproxcex 17.3  9.64 821600256 unknown: overapproxcex 15.8  8.86 479936512
loops/sum01_bug02_false-unreach-call_true-termination.i false 16.1  9.75 576892928 false 22.2  13.3  806318080 false 19.3  11.8  691974144
loops/sum01_bug02_sum01_bug02_base.case_false-unreach-call_true-termination.i false 13.3  7.78 416956416 false 17.1  10.0  562593792 false 16.7  9.75 517705728
loops/sum01_false-unreach-call_true-termination.i false 16.9  10.1  582172672 false 20.8  12.5  785309696 false 19.0  11.6  712593408
loops/sum03_false-unreach-call_true-termination.i false 213    203    773881856 false 34.5  23.5  828456960 false 35.0  23.7  819621888
loops/sum04_false-unreach-call_true-termination.i false 10.8  6.08 311996416 false 12.7  7.25 393609216 false 12.5  7.02 358846464
loops/sum_array_false-unreach-call.i false 10.2  5.60 273051648 false 10.1  5.52 278200320 false 10.3  5.67 280571904
loops/terminator_01_false-unreach-call_true-termination.i false 8.13 4.52 264912896 false 8.65 4.81 270450688 false 8.27 4.52 260108288
loops/terminator_02_false-unreach-call_true-termination.i false 7.45 4.16 260456448 false 7.94 4.43 265412608 false 7.80 4.37 253353984
loops/terminator_03_false-unreach-call_true-termination.i false 7.79 4.38 260857856 false 8.55 4.76 261197824 false 8.14 4.60 263643136
loops/trex01_false-unreach-call_true-termination.i false 7.85 4.43 260345856 false 8.10 4.53 255287296 false 8.30 4.62 268054528
loops/trex02_false-unreach-call_true-termination.i false 8.01 4.35 253140992 false 8.32 4.59 246124544 false 8.41 4.64 257482752
loops/trex03_false-unreach-call_true-termination.i false 7.70 4.27 257130496 false 7.44 4.12 243392512 false 8.12 4.46 247402496
loops/verisec_NetBSD-libc__loop_false-unreach-call_true-termination.i false 9.92 5.53 278798336 false 14.6  8.25 601341952 false 12.7  7.31 390541312
loops/verisec_OpenSER__cases1_stripFullBoth_arr_false-unreach-call_true-termination.i false 22.6  13.3  772800512 false 79.4  48.4  2853941248 false 28.2  16.1  809779200
loops/vogal_false-unreach-call.i timeout (error (143)) 301    254    1646571520 timeout (error (143)) 301    255    3160236032 timeout (error (143)) 302    258    1743544320
loops/while_infinite_loop_4_false-unreach-call_true-termination.i false 7.42 4.12 242446336 false 8.63 4.77 263618560 false 8.41 4.62 257269760
loops/array_true-unreach-call_true-termination.i true 20.5  13.6  436977664 true 14.3  8.11 507564032 true 14.4  8.14 402923520
loops/bubble_sort_true-unreach-call_true-termination.i true 7.84 4.42 270770176 true 8.76 4.91 264843264 true 8.56 4.76 259194880
loops/count_up_down_true-unreach-call_true-termination.i true 10.9  6.11 293441536 true 12.3  7.01 347209728 true 12.6  7.11 330125312
loops/eureka_01_true-unreach-call.i timeout (error (143)) 301    266    1905205248 timeout (error (143)) 301    254    3013730304 timeout (error (143)) 302    257    1573031936
loops/eureka_05_true-unreach-call_true-termination.i timeout (error (143)) 301    279    1335300096 timeout (error (143)) 301    263    1562472448 timeout (error (143)) 301    266    1377001472
loops/for_infinite_loop_1_true-unreach-call_false-termination.i true 7.98 4.47 269873152 true 9.82 5.47 266862592 true 9.76 5.39 266395648
loops/for_infinite_loop_2_true-unreach-call_false-termination.i true 7.97 4.44 261472256 true 8.71 4.87 265838592 true 9.70 5.42 255696896
loops/insertion_sort_true-unreach-call_true-termination.i timeout (error (143)) 301    239    1396711424 timeout (error (143)) 302    263    2324500480 timeout (error (143)) 302    273    1291882496
loops/invert_string_true-unreach-call_true-termination.i timeout (error (143)) 301    282    1266393088 timeout (error (143)) 302    267    1875431424 timeout (error (143)) 300    267    1412399104
loops/linear_sea.ch_true-unreach-call.i timeout (error (143)) 300    280    1172262912 timeout (error (143)) 301    268    1899089920 timeout (error (143)) 302    279    1136803840
loops/lu.cmp_true-unreach-call.i timeout (error (143)) 310    241    4680036352 timeout (error (143)) 306    250    5548597248 timeout (error (143)) 306    248    5553131520
loops/matrix_true-unreach-call_true-termination.i true 12.9  7.45 419700736 true 23.0  13.0  842022912 true 17.6  10.3  615018496
loops/n.c11_true-unreach-call_false-termination.i true 12.2  6.95 361893888 true 15.0  8.70 449093632 true 14.1  8.22 430768128
loops/n.c40_true-unreach-call_true-termination.i timeout (error (143)) 301    242    2021306368 true 52.1  31.0  2825043968 true 22.6  13.7  879628288
loops/nec40_true-unreach-call_true-termination.i timeout (error (143)) 301    242    2063556608 timeout (error (143)) 304    277    2939518976 timeout (error (143)) 306    294    985137152
loops/string_true-unreach-call_true-termination.i true 11.3  6.38 351055872 true 35.7  19.2  1175752704 true 15.9  8.87 473522176
loops/sum01_true-unreach-call_true-termination.i true 12.9  7.50 413704192 true 16.1  9.40 524128256 true 14.8  8.71 509198336
loops/sum03_true-unreach-call_false-termination.i true 8.13 4.57 256622592 true 8.38 4.68 266190848 true 8.05 4.48 263684096
loops/sum04_true-unreach-call_true-termination.i true 14.0  8.06 452472832 true 16.8  9.87 571453440 true 15.1  9.04 552955904
loops/sum_array_true-unreach-call.i timeout (error: exception) 300    267    1406373888 timeout (error (143)) 301    269    2193334272 timeout (error: exception) 301    270    2939043840
loops/terminator_02_true-unreach-call_true-termination.i true 9.06 5.08 273408000 true 9.37 5.27 274903040 true 12.4  6.97 262164480
loops/terminator_03_true-unreach-call_true-termination.i true 8.34 4.64 271511552 true 8.75 4.87 269737984 true 9.32 5.25 268996608
loops/trex01_true-unreach-call_true-termination.i true 8.06 4.56 266559488 true 8.79 4.87 269672448 true 8.61 4.88 265748480
loops/trex02_true-unreach-call_true-termination.i true 7.82 4.40 264192000 true 8.46 4.76 270405632 true 12.0  6.63 276484096
loops/trex03_true-unreach-call_true-termination.i true 7.90 4.46 259719168 true 8.15 4.60 260775936 true 9.67 5.33 266952704
loops/trex04_true-unreach-call_false-termination.i true 7.93 4.47 254377984 true 8.45 4.64 267808768 true 9.33 5.20 263581696
loops/veris.c_NetBSD-libc__loop_true-unreach-call_true-termination.i true 8.60 4.76 260505600 true 15.4  8.99 581275648 true 15.3  9.08 503361536
loops/veris.c_OpenSER__cases1_stripFullBoth_arr_true-unreach-call_true-termination.i true 10.2  5.64 286384128 true 11.0  6.03 294109184 true 14.8  8.12 291684352
loops/veris.c_sendmail__tTflag_arr_one_loop_true-unreach-call_true-termination.i true 7.67 4.33 263999488 true 8.80 4.81 269262848 true 9.91 5.49 266469376
loops/vogal_true-unreach-call.i timeout (error (143)) 301    256    1391030272 timeout (error (143)) 301    254    3212083200 timeout (error (143)) 301    235    2481307648
loops/while_infinite_loop_1_true-unreach-call_false-termination.i true 7.83 4.41 269701120 true 8.38 4.67 261206016 true 8.30 4.56 261709824
loops/while_infinite_loop_2_true-unreach-call_false-termination.i true 8.06 4.57 267157504 true 7.87 4.42 260960256 true 9.42 5.27 270118912
loops/while_infinite_loop_3_true-unreach-call_false-termination.i true 8.17 4.60 273911808 true 8.14 4.58 261095424 true 8.81 4.92 260116480
loop-acceleration/array_false-unreach-call1_true-termination.i timeout (error (143)) 306    272    1306603520 timeout (error (143)) 306    261    1507078144 timeout (error (143)) 306    257    1517166592
loop-acceleration/array_false-unreach-call2_true-termination.i timeout (error (143)) 306    271    1241493504 timeout (error (143)) 306    272    1375596544 timeout (error (143)) 306    271    1340043264
loop-acceleration/array_false-unreach-call3_true-termination.i timeout (error (143)) 306    265    1416572928 timeout (error (143)) 306    254    1709625344 timeout (error (143)) 300    246    1888759808
loop-acceleration/const_false-unreach-call1.i timeout (error (143)) 305    289    1074356224 timeout (error (143)) 306    288    1139703808 timeout (error (143)) 300    284    1162805248
loop-acceleration/diamond_false-unreach-call1.i timeout (error (143)) 306    280    1161936896 timeout (error (143)) 306    278    1128529920 timeout (error (143)) 306    278    1161891840
loop-acceleration/functions_false-unreach-call1_true-termination.i timeout (error (143)) 302    287    1100546048 timeout (error (143)) 301    276    1196441600 timeout (error (143)) 305    288    1028907008
loop-acceleration/multivar_false-unreach-call1_true-termination.i false 7.54 4.22 246693888 false 8.04 4.47 252407808 false 7.67 4.26 243744768
loop-acceleration/nested_false-unreach-call1.i timeout (error (143)) 306    287    1233100800 timeout (error (143)) 306    291    1157611520 timeout (error (143)) 306    292    1080233984
loop-acceleration/phases_false-unreach-call1.i timeout (error (143)) 306    290    999780352 timeout (error (143)) 306    280    1279229952 timeout (error (143)) 306    278    1277771776
loop-acceleration/phases_false-unreach-call2_false-termination.i false 7.65 4.26 241233920 false 7.86 4.33 257511424 false 7.81 4.40 262152192
loop-acceleration/simple_false-unreach-call1.i timeout (error (143)) 306    297    738549760 timeout (error (143)) 305    288    1133817856 timeout (error (143)) 305    289    1088913408
loop-acceleration/simple_false-unreach-call2_true-termination.i false 7.76 4.29 246484992 false 7.80 4.33 245407744 false 7.59 4.24 247611392
loop-acceleration/simple_false-unreach-call3_true-termination.i false 7.50 4.22 239185920 false 7.60 4.18 241909760 false 7.78 4.36 245792768
loop-acceleration/simple_false-unreach-call4.i timeout (error (143)) 306    295    810463232 timeout (error (143)) 306    283    1190899712 timeout (error (143)) 306    282    1260224512
loop-acceleration/underapprox_false-unreach-call1_true-termination.i false 11.1  6.22 344547328 false 13.5  7.76 402432000 false 13.1  7.55 392036352
loop-acceleration/underapprox_false-unreach-call2_true-termination.i false 12.1  6.76 350244864 false 14.2  8.24 428990464 false 13.6  7.78 419532800
loop-acceleration/array_true-unreach-call1_true-termination.i true 12.1  6.78 347086848 true 13.3  7.44 456904704 true 12.8  7.13 363593728
loop-acceleration/array_true-unreach-call2_true-termination.i timeout (error (143)) 306    273    1297489920 timeout (error (143)) 306    273    1451233280 timeout (error (143)) 306    273    1298874368
loop-acceleration/array_true-unreach-call3_true-termination.i true 13.1  7.35 413208576 true 12.1  6.75 460447744 true 13.6  7.59 404414464
loop-acceleration/array_true-unreach-call4_true-termination.i timeout (error (143)) 306    268    1328603136 timeout (error (143)) 306    259    1779548160 timeout (error (143)) 306    259    1535496192
loop-acceleration/const_true-unreach-call1.i true 9.26 5.27 295178240 true 10.2  5.69 304340992 true 9.44 5.38 297885696
loop-acceleration/diamond_true-unreach-call1_true-termination.i timeout (error (143)) 306    286    1092468736 timeout (error (143)) 301    280    1112948736 timeout (error (143)) 306    285    1131331584
loop-acceleration/diamond_true-unreach-call2.i true 167    153    1108283392 true 285    266    1174659072 true 253    234    1165398016
loop-acceleration/functions_true-unreach-call1_true-termination.i timeout (error (143)) 306    290    1143963648 timeout (error (143)) 306    280    1171369984 timeout (error (143)) 306    281    1156055040
loop-acceleration/multivar_true-unreach-call1_true-termination.i true 8.24 4.59 254947328 true 8.12 4.61 260022272 true 8.11 4.52 259522560
loop-acceleration/nested_true-unreach-call1.i true 19.0  13.5  400781312 true 35.9  28.7  462446592 true 24.4  18.9  383049728
loop-acceleration/overflow_true-unreach-call1.i timeout (error (143)) 300    289    838701056 true 10.3  5.63 284942336 true 9.16 5.04 271486976
loop-acceleration/phases_true-unreach-call1.i timeout (error (143)) 306    287    1012002816 timeout (error (143)) 301    273    1145786368 timeout (error (143)) 301    269    1250537472
loop-acceleration/phases_true-unreach-call2_false-termination.i true 9.91 5.56 281444352 true 91.1  72.0  2882048000 true 88.6  71.4  2869047296
loop-acceleration/simple_true-unreach-call1.i timeout (error (143)) 306    296    788152320 true 9.60 5.45 276762624 true 9.44 5.27 268181504
loop-acceleration/simple_true-unreach-call2_true-termination.i true 7.46 4.15 263516160 true 8.05 4.47 265572352 true 7.81 4.37 261787648
loop-acceleration/simple_true-unreach-call3_true-termination.i timeout (error (143)) 306    296    791035904 true 10.9  6.05 293277696 true 10.8  5.86 303566848
loop-acceleration/simple_true-unreach-call4.i true 10.0  5.58 272240640 true 9.63 5.39 281919488 true 9.08 5.06 274006016
loop-acceleration/underapprox_true-unreach-call1_true-termination.i true 54.0  47.4  463908864 true 133    125    591319040 true 107    99.4  563253248
loop-acceleration/underapprox_true-unreach-call2_true-termination.i true 10.1  5.70 289669120 true 10.4  5.92 313307136 true 10.8  6.05 313602048
loop-crafted/simple_array_index_value_false-unreach-call1_false-termination.i false 7.34 4.12 257236992 false 7.81 4.38 272302080 false 8.11 4.45 262893568
loop-crafted/simple_array_index_value_true-unreach-call1_true-termination.i timeout (error (143)) 303    292    865615872 timeout (error (143)) 301    277    1208500224 timeout (error (143)) 301    281    1172443136
loop-crafted/simple_array_index_value_true-unreach-call2_true-termination.i timeout (error (143)) 306    292    997707776 error: exception 33.9  24.9  1001656320 timeout (error (143)) 306    294    919740416
loop-crafted/simple_array_index_value_true-unreach-call3_true-termination.i timeout (error (143)) 301    287    1012219904 timeout (error (143)) 301    283    1203097600 timeout (error (143)) 306    291    1124114432
loop-crafted/simple_array_index_value_true-unreach-call4_true-termination.i true 140    133    468291584 timeout (error: exception) 301    292    2982588416 timeout (error: exception) 301    293    3008290816
loop-crafted/simple_vardep_true-unreach-call1_true-termination.i true 8.07 4.45 265977856 true 8.20 4.59 272662528 true 8.36 4.71 260898816
loop-crafted/simple_vardep_true-unreach-call2_true-termination.i true 14.7  10.1  295768064 true 8.56 4.82 263634944 true 8.25 4.58 259276800
loop-invgen/id_trans_false-unreach-call_true-termination.i false 10.5  5.76 285102080 false 12.0  6.63 340144128 false 10.6  5.89 294158336
loop-invgen/MADWiFi-encode_ie_ok_true-unreach-call_true-termination.i true 12.0  6.89 376754176 true 14.4  8.18 483508224 true 13.5  7.80 414199808
loop-invgen/NetBSD_loop_true-unreach-call_true-termination.i true 11.3  6.30 314290176 true 14.3  8.01 425177088 true 13.2  7.60 402509824
loop-invgen/SpamAssassin-loop_true-unreach-call_false-termination.i true 18.8  11.4  684142592 true 149    92.0  1589399552 true 18.8  11.0  661381120
loop-invgen/apache-escape-absolute_true-unreach-call_true-termination.i true 16.4  9.60 590307328 true 78.4  46.2  1278046208 true 17.6  10.1  611254272
loop-invgen/apache-get-tag_true-unreach-call_true-termination.i true 14.5  8.55 474894336 true 17.5  10.0  574418944 true 14.8  8.81 514109440
loop-invgen/down_true-unreach-call_true-termination.i timeout (error (143)) 301    237    1451180032 true 13.7  7.64 404652032 timeout (error (143)) 301    230    1633099776
loop-invgen/fragtest_simple_true-unreach-call_true-termination.i timeout (error (143)) 301    240    1551224832 timeout (error (143)) 301    233    1785810944 timeout (error (143)) 301    233    1705697280
loop-invgen/half_2_true-unreach-call_true-termination.i timeout (error (143)) 300    245    1321484288 timeout (error (143)) 301    238    1487437824 timeout (error (143)) 301    243    1445240832
loop-invgen/heapsort_true-unreach-call_true-termination.i timeout (error (143)) 301    272    1205731328 true 215    155    1974693888 true 86.8  61.0  1149730816
loop-invgen/id_build_true-unreach-call_true-termination.i true 9.61 5.39 279724032 true 13.6  7.55 414093312 true 9.78 5.49 283996160
loop-invgen/large_const_true-unreach-call_true-termination.i true 13.4  7.62 404750336 true 29.1  16.7  855945216 true 15.4  8.95 479760384
loop-invgen/nest-if3_true-unreach-call_true-termination.i true 8.58 4.80 275017728 true 8.03 4.48 264527872 true 8.54 4.85 266555392
loop-invgen/nested6_true-unreach-call_true-termination.i true 14.6  8.53 458055680 true 62.0  40.5  1094254592 true 16.3  9.49 521912320
loop-invgen/nested9_true-unreach-call_true-termination.i true 18.0  10.4  540360704 true 19.0  11.1  835829760 true 17.2  10.2  599113728
loop-invgen/sendmail-close-angle_true-unreach-call_true-termination.i true 28.5  17.8  847273984 true 57.8  33.2  1122377728 true 34.3  20.6  857665536
loop-invgen/seq_true-unreach-call_true-termination.i timeout (error (143)) 301    249    1501167616 timeout (error (143)) 300    234    1486057472 timeout (error (143)) 302    240    1506959360
loop-invgen/string_concat-noarr_true-unreach-call_true-termination.i timeout (error (143)) 301    258    2299838464 true 14.9  8.27 433876992 timeout (error (143)) 301    245    1599418368
loop-invgen/up_true-unreach-call_true-termination.i timeout (error (143)) 301    236    1483182080 timeout (error (143)) 301    233    1666711552 timeout (error (143)) 301    231    1680084992
loop-lit/afnp2014_true-unreach-call_true-termination.c.i true 9.30 5.23 281083904 true 15.0  8.72 457453568 true 14.3  8.35 440270848
loop-lit/bhmr2007_true-unreach-call_true-termination.c.i true 13.7  8.06 458964992 true 18.1  10.4  668794880 true 15.8  9.26 513744896
loop-lit/cggmp2005_true-unreach-call_true-termination.c.i true 11.8  6.62 356687872 true 12.5  7.20 387592192 true 12.6  7.26 393551872
loop-lit/cggmp2005_variant_true-unreach-call_true-termination.c.i true 12.0  6.90 358072320 true 13.6  7.82 410402816 true 12.8  7.46 413495296
loop-lit/cggmp2005b_true-unreach-call_true-termination.c.i true 9.68 5.34 291708928 true 11.0  6.21 343228416 true 10.0  5.63 296357888
loop-lit/css2003_true-unreach-call_true-termination.c.i true 8.28 4.68 260575232 true 8.97 4.99 268996608 true 8.42 4.80 268001280
loop-lit/ddlm2013_true-unreach-call.i true 16.6  9.49 520855552 true 25.9  18.2  715403264 true 23.4  16.9  447275008
loop-lit/gj2007_true-unreach-call_true-termination.c.i true 130    86.5  1370619904 true 206    149    1501040640 true 206    148    1433464832
loop-lit/gj2007b_true-unreach-call_true-termination.c.i true 11.4  6.48 341385216 true 17.3  9.72 530829312 true 13.1  7.54 392798208
loop-lit/gr2006_true-unreach-call_true-termination.c.i true 211    155    2194186240 true 211    153    1614008320 true 211    153    1534578688
loop-lit/gsv2008_true-unreach-call_true-termination.c.i true 9.23 5.15 273068032 true 10.8  6.04 291696640 true 9.79 5.55 289083392
loop-lit/hhk2008_true-unreach-call_true-termination.c.i true 11.3  6.32 316751872 true 12.8  7.21 362438656 true 12.2  6.96 345825280
loop-lit/jm2006_true-unreach-call_true-termination.c.i true 10.8  6.03 313872384 true 16.1  9.51 537378816 true 15.1  9.03 522145792
loop-lit/jm2006_variant_true-unreach-call_true-termination.c.i true 11.5  6.65 317747200 true 16.5  9.82 608878592 true 15.7  9.38 555671552
loop-lit/mcmillan2006_true-unreach-call_true-termination.c.i timeout (error (143)) 300    252    1516007424 timeout (error (143)) 300    277    1203662848 timeout (error (143)) 301    281    1127133184
loop-lit/gcnr2008_false-unreach-call_false-termination.i false 7.77 4.39 264249344 false 7.94 4.38 263626752 false 7.82 4.34 256520192
loop-new/count_by_1_true-unreach-call_true-termination.i true 9.40 5.34 290750464 true 9.45 5.23 267735040 true 10.1  5.71 298274816
loop-new/count_by_1_variant_true-unreach-call_true-termination.i true 10.5  5.98 288587776 true 9.78 5.47 275296256 true 12.3  6.95 348684288
loop-new/count_by_2_true-unreach-call_true-termination.i timeout (error (143)) 301    232    1339449344 timeout (error (143)) 301    233    1500655616 timeout (error (143)) 301    238    1494298624
loop-new/count_by_k_true-unreach-call_true-termination.i timeout (error (143)) 301    254    1463050240 timeout (error (143)) 301    252    1511653376 timeout (error (143)) 300    252    1504088064
loop-new/count_by_nondet_true-unreach-call_true-termination.i timeout (error (143)) 301    236    1879478272 timeout (error (143)) 301    235    1571430400 timeout (error (143)) 301    235    1580294144
loop-new/gauss_sum_true-unreach-call_true-termination.i timeout (error (143)) 300    251    1372360704 true 23.5  16.7  602144768 true 23.0  16.4  587698176
loop-new/half_true-unreach-call_true-termination.i true 18.9  11.6  677150720 true 27.1  18.7  781357056 true 26.3  18.3  783773696
loop-new/nested_true-unreach-call_true-termination.i true 205    162    2957463552 true 272    220    3238498304 true 277    222    3231924224
loop-industry-pattern/aiob_1_true-unreach-call.c error: exception 6.26 3.32 201580544 error: exception 6.20 3.27 203264000 error: exception 6.08 3.30 199323648
loop-industry-pattern/aiob_2_true-unreach-call.c error: exception 6.08 3.27 196313088 error: exception 6.01 3.26 202194944 error: exception 6.28 3.36 199335936
loop-industry-pattern/aiob_3_true-unreach-call.c error: exception 6.18 3.28 197206016 error: exception 6.69 3.52 201908224 error: exception 6.41 3.49 200904704
loop-industry-pattern/aiob_4_true-unreach-call.c error: exception 6.27 3.29 204722176 error: exception 6.40 3.40 211070976 error: exception 6.33 3.35 199061504
loop-industry-pattern/mod3_true-unreach-call.c true 16.9  12.4  277504000 true 33.3  28.5  283394048 true 29.0  23.9  289718272
loop-industry-pattern/nested_true-unreach-call.c timeout (error (143)) 301    263    2888105984 true 37.8  21.1  1067646976 true 55.0  33.2  1164251136
loop-industry-pattern/ofuf_1_true-unreach-call.c error: exception 6.52 3.46 207306752 error: exception 6.60 3.47 200802304 error: exception 6.67 3.50 200904704
loop-industry-pattern/ofuf_2_true-unreach-call.c error: exception 6.02 3.24 209559552 error: exception 6.28 3.36 206393344 error: exception 6.49 3.45 195403776
loop-industry-pattern/ofuf_3_true-unreach-call.c error: exception 6.55 3.46 203681792 error: exception 6.01 3.29 198164480 error: exception 6.50 3.44 201547776
loop-industry-pattern/ofuf_4_true-unreach-call.c error: exception 6.42 3.44 205234176 error: exception 6.43 3.44 198676480 error: exception 6.32 3.35 201744384
loop-industry-pattern/ofuf_5_true-unreach-call.c error: exception 6.32 3.38 204062720 error: exception 6.03 3.20 201793536 error: exception 6.46 3.44 198422528
loops/heavy_true-unreach-call.c out of memory 178    116    8000000000 out of memory 156    93.6  8000000000 out of memory 203    131    8000000000
loops/compact_false-unreach-call.c timeout (error (143)) 310    236    4254990336 timeout (error (143)) 306    270    4965138432 timeout (error (143)) 306    263    4962312192
loops/heavy_false-unreach-call.c out of memory 168    109    8000000000 out of memory 160    97.1  8000000000 out of memory 186    117    8000000000
../../../trunk/examples/svcomp/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
total 1313 283000 214000 4122539479040 1313 352000 285000 3894759882752 1313 321000 250000 4102428516352
local summary 259000 15400 330000 20500 290000 18100
    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 Taipan Taipan-EXP