Tool ULTIMATE Automizer 0.1.23-d3804244
Limits timelimit: 300 s, memlimit: 8000 MB, CPU core limit: 2
Host struebli
OS Linux-4.16.18-gentoo-x86_64-AMD_EPYC_7351P_16-Core_Processor-with-gentoo-2.4.1
System CPU: AMD EPYC 7351P 16-Core Processor, cores: 32, frequency: 2400 MHz; RAM: 135158 MB
Date of execution 2018-10-24 13:16:30 CEST
Run set Automizer.ECA Taipan.ECA Taipan-EXP.ECA
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 63.8  37.9  1201262592 timeout (error (143)) 304    264    2916012032 false 179    122    2920284160
eca-rers2012/Problem01_label20_false-unreach-call_false-termination.c false 50.4  30.5  1167835136 timeout (error (143)) 301    257    2947780608 false 247    173    3326595072
eca-rers2012/Problem01_label21_false-unreach-call_false-termination.c false 51.7  30.9  1197780992 timeout (error (143)) 301    265    2908721152 false 214    150    3242274816
eca-rers2012/Problem01_label32_false-unreach-call_false-termination.c false 56.1  32.9  1065336832 timeout (error (143)) 301    267    2907725824 false 191    134    2996654080
eca-rers2012/Problem01_label33_false-unreach-call_false-termination.c false 51.9  31.1  1139654656 timeout (error (143)) 303    267    2907713536 false 193    136    2989072384
eca-rers2012/Problem01_label35_false-unreach-call_false-termination.c false 51.8  30.1  1026342912 timeout (error (143)) 301    259    2923921408 false 136    89.7  2848628736
eca-rers2012/Problem01_label37_false-unreach-call_false-termination.c false 62.5  37.5  1240502272 timeout (error (143)) 302    268    2903044096 false 118    76.5  2696429568
eca-rers2012/Problem01_label38_false-unreach-call_false-termination.c false 51.8  30.2  1044344832 timeout (error (143)) 301    261    2920968192 false 173    119    3021570048
eca-rers2012/Problem01_label44_false-unreach-call_false-termination.c false 42.8  24.9  1028964352 timeout (error (143)) 302    263    2910687232 false 111    74.4  2899775488
eca-rers2012/Problem01_label47_false-unreach-call_false-termination.c false 58.6  34.1  1178914816 timeout (error (143)) 301    260    2922803200 false 159    110    3041935360
eca-rers2012/Problem01_label50_false-unreach-call_false-termination.c false 48.7  28.9  1082920960 timeout (error (143)) 301    252    2911125504 false 161    105    2976722944
eca-rers2012/Problem01_label56_false-unreach-call_false-termination.c false 50.2  29.6  1044975616 timeout (error (143)) 302    261    2916368384 false 200    139    3110735872
eca-rers2012/Problem01_label57_false-unreach-call_false-termination.c false 62.2  37.1  1195909120 timeout (error (143)) 301    266    2905743360 false 183    126    3211186176
eca-rers2012/Problem02_label13_false-unreach-call_false-termination.c false 33.0  19.0  871649280 timeout (error (143)) 301    262    2939813888 false 105    65.4  2027270144
eca-rers2012/Problem02_label43_false-unreach-call_false-termination.c false 36.4  21.7  936157184 timeout (error (143)) 301    258    2924609536 false 67.7  39.9  1296998400
eca-rers2012/Problem02_label44_false-unreach-call_false-termination.c false 49.5  28.6  1022590976 timeout (error (143)) 301    243    2951979008 false 81.6  45.5  1283117056
eca-rers2012/Problem02_label45_false-unreach-call_false-termination.c false 62.8  36.1  1032081408 timeout (error (143)) 301    269    2913697792 false 82.5  49.3  1340989440
eca-rers2012/Problem02_label50_false-unreach-call_false-termination.c false 52.8  30.7  1040764928 timeout (error (143)) 301    269    2904027136 false 118    75.4  2342998016
eca-rers2012/Problem02_label59_false-unreach-call_false-termination.c false 61.7  35.2  1099870208 timeout (error (143)) 304    269    2902622208 false 81.1  46.5  1416417280
eca-rers2012/Problem03_label27_false-unreach-call.c false 147    92.8  4544040960 timeout (error (143)) 301    275    2912067584 timeout (error (143)) 301    239    4064550912
eca-rers2012/Problem03_label31_false-unreach-call.c false 144    101    3806031872 timeout (error (143)) 301    279    2892279808 timeout (error (143)) 301    251    4129599488
eca-rers2012/Problem03_label37_false-unreach-call.c false 211    135    5873524736 timeout (error (143)) 307    281    2894585856 timeout (error (143)) 301    253    4028788736
eca-rers2012/Problem03_label39_false-unreach-call.c timeout 321    219    7394013184 timeout (error (143)) 302    278    2893316096 timeout (error (143)) 303    234    4127010816
eca-rers2012/Problem03_label43_false-unreach-call.c false 291    198    6321434624 timeout (error (143)) 302    275    2911997952 timeout (error (143)) 301    226    4286771200
eca-rers2012/Problem03_label50_false-unreach-call.c false 187    126    4616474624 timeout (error (143)) 303    279    2894700544 timeout (error (143)) 301    252    4079468544
eca-rers2012/Problem04_label31_false-unreach-call.c timeout (error: exception) 301    235    3871629312 timeout (error (143)) 302    266    2973241344 timeout (error (143)) 301    232    4445540352
eca-rers2012/Problem05_label18_false-unreach-call.c timeout (error (143)) 301    224    4738801664 timeout (error (143)) 307    242    3147268096 timeout 322    237    4424413184
eca-rers2012/Problem06_label47_false-unreach-call.c timeout 322    222    5757997056 timeout (error (143)) 303    265    2994069504 timeout (error (143)) 301    238    4280774656
eca-rers2012/Problem08_label15_false-unreach-call.c timeout (error (143)) 306    231    5303812096 timeout (error (143)) 306    241    4987863040 timeout (error: exception) 305    242    4989140992
eca-rers2012/Problem08_label37_false-unreach-call.c timeout (error (143)) 308    231    4843573248 timeout 322    247    6091874304 timeout (error (143)) 306    233    4890034176
eca-rers2012/Problem08_label46_false-unreach-call.c timeout (error (143)) 306    238    4840218624 timeout (error: exception) 304    242    4789444608 timeout 322    237    6091747328
eca-rers2012/Problem08_label49_false-unreach-call.c timeout (error (143)) 306    239    4868308992 timeout (error (143)) 306    234    4867117056 timeout (error: exception) 306    243    4752207872
eca-rers2012/Problem08_label59_false-unreach-call.c timeout (error (143)) 306    236    4842438656 timeout (error: exception) 304    241    4744454144 timeout (error (143)) 306    233    4848541696
eca-rers2012/Problem09_label03_false-unreach-call.c timeout (error (143)) 308    233    5190414336 timeout 320    237    5753880576 timeout (error (143)) 306    242    5155778560
eca-rers2012/Problem09_label08_false-unreach-call.c timeout (error (143)) 306    228    5192568832 timeout 321    236    6499770368 timeout 322    236    6865829888
eca-rers2012/Problem09_label10_false-unreach-call.c timeout (error (143)) 306    231    5552361472 timeout (error (143)) 306    245    5112868864 timeout (error: exception) 303    231    5098528768
eca-rers2012/Problem09_label11_false-unreach-call.c timeout (error (143)) 305    227    5507100672 timeout 322    242    6357577728 timeout (error (143)) 306    236    5087436800
eca-rers2012/Problem09_label20_false-unreach-call.c timeout (error (143)) 306    230    5509492736 timeout (error (143)) 306    247    4875632640 timeout 321    238    6199345152
eca-rers2012/Problem09_label32_false-unreach-call.c timeout (error (143)) 306    226    5487611904 timeout 321    237    6220623872 timeout 322    235    6091632640
eca-rers2012/Problem09_label35_false-unreach-call.c timeout (error (143)) 308    232    5139128320 timeout 322    242    6032146432 timeout (error (143)) 306    240    5197615104
eca-rers2012/Problem09_label36_false-unreach-call.c timeout (error (143)) 306    227    5499514880 timeout 321    237    5902876672 timeout 320    235    6055784448
eca-rers2012/Problem09_label38_false-unreach-call.c timeout (error (143)) 305    229    5146095616 timeout (error (143)) 306    242    5113090048 timeout 321    233    6103371776
eca-rers2012/Problem09_label44_false-unreach-call.c timeout (error (143)) 305    233    5130289152 timeout 322    235    6094266368 timeout (error (143)) 309    230    5945249792
eca-rers2012/Problem09_label47_false-unreach-call.c timeout (error (143)) 306    233    5134327808 timeout 322    235    6876385280 timeout (error (143)) 313    232    6300577792
eca-rers2012/Problem09_label54_false-unreach-call.c timeout (error (143)) 306    228    5150527488 timeout 322    235    6019588096 timeout (error (143)) 306    241    4841517056
eca-rers2012/Problem09_label57_false-unreach-call.c timeout (error (143)) 306    237    4904165376 timeout 322    237    6104662016 timeout (error (143)) 306    241    5165039616
eca-rers2012/Problem09_label59_false-unreach-call.c timeout (error (143)) 306    239    4879028224 timeout 322    235    6282846208 timeout 322    235    6873554944
eca-rers2012/Problem10_label12_false-unreach-call.c false 72.2  45.8  1317527552 timeout (error (143)) 301    241    3051327488 error: exception 35.5  19.3  895393792
eca-rers2012/Problem10_label15_false-unreach-call.c false 52.0  31.2  1185271808 timeout (error (143)) 301    241    3038617600 error: exception 37.5  19.9  886177792
eca-rers2012/Problem10_label24_false-unreach-call.c false 90.3  56.5  1341337600 timeout (error (143)) 301    239    3038478336 timeout (error (143)) 301    245    3209879552
eca-rers2012/Problem10_label26_false-unreach-call.c false 59.5  34.7  1198661632 timeout (error (143)) 305    248    2980913152 false 103    62.3  1989640192
eca-rers2012/Problem10_label28_false-unreach-call.c false 63.5  38.0  1196457984 timeout (error (143)) 301    243    3016626176 timeout (error (143)) 302    233    5423722496
eca-rers2012/Problem10_label29_false-unreach-call.c false 53.1  32.4  1175126016 timeout (error (143)) 301    244    2978316288 timeout (error (143)) 302    218    5766205440
eca-rers2012/Problem10_label41_false-unreach-call.c false 66.1  40.5  1217409024 timeout (error (143)) 301    249    3022651392 false 191    138    3066167296
eca-rers2012/Problem10_label42_false-unreach-call.c false 36.8  21.8  867323904 timeout (error (143)) 301    242    3013742592 false 256    205    3358466048
eca-rers2012/Problem10_label47_false-unreach-call.c false 47.1  28.9  1061318656 timeout (error (143)) 301    241    2994556928 false 138    90.1  2343378944
eca-rers2012/Problem10_label48_false-unreach-call.c false 78.9  50.5  1298702336 timeout (error (143)) 301    235    2988503040 false 164    113    2939539456
eca-rers2012/Problem10_label50_false-unreach-call.c false 75.4  46.3  1394483200 timeout (error (143)) 305    251    2960662528 timeout (error (143)) 305    251    2997932032
eca-rers2012/Problem10_label55_false-unreach-call.c false 41.1  24.6  1053331456 timeout (error (143)) 301    239    3005927424 error: exception 37.0  19.7  861007872
eca-rers2012/Problem10_label57_false-unreach-call.c false 49.7  29.9  1194283008 timeout (error (143)) 301    244    3035746304 false 89.2  57.0  1293680640
eca-rers2012/Problem10_label58_false-unreach-call.c false 130    87.2  2444083200 timeout (error (143)) 306    248    3037306880 timeout (error (143)) 302    211    7832059904
eca-rers2012/Problem11_label08_false-unreach-call.c false 85.4  55.0  1283534848 timeout (error (143)) 301    236    3038486528 timeout (error (143)) 303    240    3117096960
eca-rers2012/Problem11_label14_false-unreach-call.c false 59.4  35.8  1217540096 timeout (error (143)) 301    245    3039383552 error: exception 233    186    3224715264
eca-rers2012/Problem11_label15_false-unreach-call.c false 54.4  33.4  1139834880 timeout (error (143)) 301    243    2995200000 timeout 315    230    8000000000
eca-rers2012/Problem11_label20_false-unreach-call.c false 107    70.3  1655558144 timeout (error (143)) 306    249    3025518592 timeout (error (143)) 301    242    3079245824
eca-rers2012/Problem11_label29_false-unreach-call.c false 166    121    1721782272 timeout (error (143)) 301    244    2942017536 timeout (error (143)) 302    256    3236392960
eca-rers2012/Problem11_label34_false-unreach-call.c timeout (error (143)) 301    256    2070478848 timeout (error (143)) 301    245    3026550784 error: exception 154    113    3037061120
eca-rers2012/Problem11_label36_false-unreach-call.c false 37.7  22.3  877703168 timeout (error (143)) 301    241    3044016128 false 188    145    3078914048
eca-rers2012/Problem11_label39_false-unreach-call.c false 127    94.9  1440768000 timeout (error (143)) 301    247    2947469312 error: exception 129    91.0  2958028800
eca-rers2012/Problem11_label42_false-unreach-call.c false 95.2  60.2  1422430208 timeout (error (143)) 303    258    2901417984 false 218    160    3085840384
eca-rers2012/Problem11_label49_false-unreach-call.c false 54.8  33.8  1221795840 timeout (error (143)) 301    259    2899288064 error: exception 129    94.7  2996121600
eca-rers2012/Problem11_label51_false-unreach-call.c false 68.5  43.0  1280024576 timeout (error (143)) 301    241    3072344064 timeout (error (143)) 301    242    3234942976
eca-rers2012/Problem12_label00_false-unreach-call.c timeout (error (143)) 302    230    4299558912 timeout (error (143)) 301    242    3024355328 error: exception 133    90.7  1933672448
eca-rers2012/Problem12_label03_false-unreach-call.c timeout (error (143)) 302    236    4328964096 timeout (error (143)) 300    237    3038056448 error: exception 116    78.3  1623347200
eca-rers2012/Problem12_label06_false-unreach-call.c timeout (error (143)) 301    232    4418646016 timeout (error (143)) 301    242    2971987968 error: exception 62.7  38.6  1187127296
eca-rers2012/Problem12_label07_false-unreach-call.c timeout (error (143)) 302    236    3097849856 timeout (error (143)) 301    241    2967699456 error: exception 83.9  53.5  1291378688
eca-rers2012/Problem12_label08_false-unreach-call.c timeout (error (143)) 302    230    4451278848 timeout (error (143)) 301    237    2985259008 error: exception 101    62.2  1500033024
eca-rers2012/Problem12_label10_false-unreach-call.c timeout (error (143)) 308    228    5187350528 timeout (error (143)) 301    224    3328823296 error: exception 179    128    3016847360
eca-rers2012/Problem12_label13_false-unreach-call.c timeout (error (143)) 301    224    4260630528 timeout (error (143)) 306    234    3420639232 error: exception 176    123    2991702016
eca-rers2012/Problem12_label19_false-unreach-call.c timeout (error (143)) 301    239    3141079040 timeout (error (143)) 301    237    3277348864 error: exception 219    162    3080863744
eca-rers2012/Problem12_label20_false-unreach-call.c timeout (error: exception) 303    230    4330901504 timeout (error (143)) 301    240    2966773760 error: exception 82.1  51.6  1288220672
eca-rers2012/Problem12_label21_false-unreach-call.c timeout (error (143)) 301    230    4589428736 timeout (error (143)) 301    239    2972000256 error: exception 81.8  51.4  1290547200
eca-rers2012/Problem12_label25_false-unreach-call.c timeout (error (143)) 301    232    4274216960 timeout (error (143)) 301    240    3228831744 error: exception 223    167    3138170880
eca-rers2012/Problem12_label28_false-unreach-call.c timeout (error (143)) 300    235    3972972544 timeout (error (143)) 301    228    3035238400 error: exception 168    116    2424836096
eca-rers2012/Problem12_label30_false-unreach-call.c false 298    229    3848187904 timeout (error (143)) 302    222    3325906944 error: exception 115    80.7  1575124992
eca-rers2012/Problem12_label34_false-unreach-call.c timeout (error (143)) 301    237    3700301824 timeout (error (143)) 301    222    4057063424 error: exception 171    117    3161964544
eca-rers2012/Problem12_label35_false-unreach-call.c false 200    149    2963505152 timeout (error (143)) 301    243    2970832896 timeout (error (143)) 302    219    4539138048
eca-rers2012/Problem12_label37_false-unreach-call.c timeout (error (143)) 301    238    3236839424 timeout (error (143)) 301    212    3308195840 error: exception 193    139    3029278720
eca-rers2012/Problem12_label38_false-unreach-call.c timeout (error (143)) 300    233    4272922624 timeout (error (143)) 301    246    2971279360 error: exception 67.5  40.8  1164791808
eca-rers2012/Problem12_label39_false-unreach-call.c timeout (error (143)) 301    235    3904573440 timeout (error (143)) 300    238    3134136320 error: exception 177    125    2524938240
eca-rers2012/Problem12_label40_false-unreach-call.c false 257    199    3043467264 timeout (error (143)) 300    239    3028586496 error: exception 165    114    2372333568
eca-rers2012/Problem12_label42_false-unreach-call.c timeout (error (143)) 300    232    3427835904 timeout (error (143)) 305    229    3354935296 error: exception 152    108    2630307840
eca-rers2012/Problem12_label48_false-unreach-call.c timeout (error (143)) 301    228    4464001024 timeout (error (143)) 301    215    3247747072 error: exception 153    106    1911435264
eca-rers2012/Problem12_label50_false-unreach-call.c false 296    231    3780239360 timeout (error (143)) 301    233    2974851072 error: exception 248    206    3054919680
eca-rers2012/Problem12_label51_false-unreach-call.c timeout (error (143)) 301    236    3057000448 timeout (error (143)) 302    221    3510325248 error: exception 194    139    3101724672
eca-rers2012/Problem12_label52_false-unreach-call.c timeout (error (143)) 303    233    4270915584 timeout (error (143)) 301    229    3259170816 error: exception 172    123    2201583616
eca-rers2012/Problem12_label55_false-unreach-call.c false 273    210    3672465408 timeout (error (143)) 306    227    3233050624 error: exception 136    93.6  1904025600
eca-rers2012/Problem13_label04_false-unreach-call.c timeout (error (143)) 303    234    4188647424 timeout (error (143)) 301    221    3157434368 error: exception 179    127    2443948032
eca-rers2012/Problem13_label06_false-unreach-call.c timeout (error (143)) 303    229    4789215232 timeout (error (143)) 303    225    3036303360 error: exception 110    72.7  1820606464
eca-rers2012/Problem13_label07_false-unreach-call.c timeout (error (143)) 301    234    4192972800 timeout (error (143)) 306    233    3035762688 error: exception 103    67.5  1377153024
eca-rers2012/Problem13_label11_false-unreach-call.c timeout (error (143)) 302    228    4594167808 timeout (error (143)) 301    221    3080622080 error: exception 140    101    1822863360
eca-rers2012/Problem13_label12_false-unreach-call.c timeout (error (143)) 303    228    4907483136 timeout (error (143)) 302    221    3059470336 error: exception 117    81.4  1616609280
eca-rers2012/Problem13_label16_false-unreach-call.c timeout (error (143)) 301    230    4222320640 timeout (error (143)) 301    226    3079245824 error: exception 136    95.9  1799434240
eca-rers2012/Problem13_label19_false-unreach-call.c timeout (error (143)) 300    229    4869042176 timeout (error (143)) 301    228    3081797632 error: exception 126    87.4  1996726272
eca-rers2012/Problem13_label21_false-unreach-call.c timeout (error (143)) 303    233    4315865088 timeout (error (143)) 301    227    3048529920 error: exception 143    98.1  1784360960
eca-rers2012/Problem13_label23_false-unreach-call.c timeout (error (143)) 305    233    4953313280 timeout (error (143)) 306    234    3091312640 error: exception 135    93.9  1985609728
eca-rers2012/Problem13_label24_false-unreach-call.c timeout (error (143)) 302    229    4577038336 timeout (error (143)) 301    219    3039944704 error: exception 123    79.4  1862856704
eca-rers2012/Problem13_label25_false-unreach-call.c timeout (error (143)) 302    233    4548796416 timeout (error (143)) 301    237    3048935424 error: exception 142    95.9  1807003648
eca-rers2012/Problem13_label28_false-unreach-call.c timeout (error (143)) 300    231    4325302272 timeout (error (143)) 301    227    3048366080 error: exception 99.4  66.6  1383931904
eca-rers2012/Problem13_label29_false-unreach-call.c timeout (error (143)) 301    236    4449116160 timeout (error (143)) 300    230    3110064128 error: exception 133    92.8  1640546304
eca-rers2012/Problem13_label30_false-unreach-call.c timeout (error (143)) 300    229    4958453760 timeout (error (143)) 300    231    3062702080 error: exception 105    69.9  1383137280
eca-rers2012/Problem13_label32_false-unreach-call.c timeout (error (143)) 301    231    4360343552 timeout (error (143)) 302    221    3145699328 error: exception 139    99.5  1831710720
eca-rers2012/Problem13_label35_false-unreach-call.c timeout (error (143)) 301    230    4255416320 timeout (error (143)) 301    231    3099881472 error: exception 127    89.9  1623056384
eca-rers2012/Problem13_label36_false-unreach-call.c timeout (error (143)) 301    236    4170170368 timeout (error (143)) 301    221    3077963776 error: exception 111    74.7  1592938496
eca-rers2012/Problem13_label40_false-unreach-call.c timeout (error (143)) 301    232    4393562112 timeout (error (143)) 301    230    3075031040 error: exception 148    107    1571266560
eca-rers2012/Problem13_label43_false-unreach-call.c timeout (error (143)) 302    233    5158977536 timeout (error (143)) 306    235    3092557824 error: exception 133    89.9  2254323712
eca-rers2012/Problem13_label44_false-unreach-call.c timeout (error (143)) 301    228    4794351616 timeout (error (143)) 303    218    3133472768 error: exception 178    131    2525413376
eca-rers2012/Problem13_label45_false-unreach-call.c timeout (error (143)) 301    237    4460662784 timeout (error (143)) 301    215    3912826880 error: exception 206    150    3268567040
eca-rers2012/Problem13_label48_false-unreach-call.c timeout (error (143)) 302    232    4987703296 timeout (error (143)) 301    224    3064762368 error: exception 112    76.7  1520644096
eca-rers2012/Problem13_label51_false-unreach-call.c timeout (error (143)) 301    235    4349489152 timeout (error (143)) 308    231    3161083904 error: exception 173    129    2071236608
eca-rers2012/Problem13_label54_false-unreach-call.c timeout (error (143)) 300    224    4866666496 timeout (error (143)) 301    232    3226193920 error: exception 167    125    2142478336
eca-rers2012/Problem13_label58_false-unreach-call.c timeout (error (143)) 302    232    4314578944 timeout (error (143)) 301    223    3231846400 error: exception 166    123    1989619712
eca-rers2012/Problem14_label02_false-unreach-call_false-termination.c false 128    86.1  2863894528 timeout (error (143)) 301    246    2972508160 error: exception 63.7  36.7  1926135808
eca-rers2012/Problem14_label08_false-unreach-call_false-termination.c false 104    65.8  2400714752 timeout (error (143)) 301    239    2985127936 error: exception 85.1  51.7  2868617216
eca-rers2012/Problem14_label10_false-unreach-call_false-termination.c false 95.3  61.4  2051198976 timeout (error (143)) 302    249    2985054208 error: exception 68.0  40.4  2557370368
eca-rers2012/Problem14_label11_false-unreach-call_false-termination.c false 103    66.1  2368126976 timeout (error (143)) 301    242    3068612608 error: exception 66.7  41.2  2862505984
eca-rers2012/Problem14_label12_false-unreach-call_false-termination.c false 115    75.6  2860113920 timeout (error (143)) 301    243    3002003456 error: exception 61.5  37.2  2089746432
eca-rers2012/Problem14_label13_false-unreach-call_false-termination.c false 103    62.3  1958674432 timeout (error (143)) 302    239    2998427648 error: exception 75.4  47.5  2857857024
eca-rers2012/Problem14_label14_false-unreach-call_false-termination.c timeout (error (143)) 301    262    2915500032 timeout (error (143)) 301    235    3016384512 error: exception 76.8  48.8  2892046336
eca-rers2012/Problem14_label18_false-unreach-call_false-termination.c false 101    64.6  2344574976 timeout (error (143)) 301    225    2987814912 error: exception 94.9  60.9  2885689344
eca-rers2012/Problem14_label22_false-unreach-call_false-termination.c false 123    80.7  2860867584 timeout (error (143)) 301    237    3095060480 error: exception 95.8  64.3  2915450880
eca-rers2012/Problem14_label27_false-unreach-call_false-termination.c false 114    73.0  2857754624 timeout (error (143)) 301    245    2961166336 error: exception 69.7  42.1  2869182464
eca-rers2012/Problem14_label28_false-unreach-call_false-termination.c false 105    67.4  2864058368 timeout (error (143)) 301    232    3034337280 error: exception 129    94.3  2921000960
eca-rers2012/Problem14_label29_false-unreach-call_false-termination.c false 125    78.0  2879954944 timeout (error (143)) 301    243    2985013248 error: exception 83.4  53.2  2903076864
eca-rers2012/Problem14_label31_false-unreach-call_false-termination.c false 111    71.4  2451005440 timeout (error (143)) 301    242    3004747776 error: exception 88.0  59.4  2885754880
eca-rers2012/Problem14_label34_false-unreach-call_false-termination.c false 114    71.0  2788446208 timeout (error (143)) 301    238    2981011456 error: exception 81.6  52.8  2895527936
eca-rers2012/Problem14_label37_false-unreach-call_false-termination.c false 107    70.0  2660532224 timeout (error (143)) 301    243    3001913344 error: exception 96.3  64.0  2896900096
eca-rers2012/Problem14_label39_false-unreach-call_false-termination.c false 110    67.4  2241409024 timeout (error (143)) 305    253    3129786368 error: exception 80.1  54.4  2909241344
eca-rers2012/Problem14_label40_false-unreach-call_false-termination.c false 99.2  64.2  2675802112 timeout (error (143)) 305    236    3018387456 error: exception 84.2  57.4  2928697344
eca-rers2012/Problem14_label41_false-unreach-call_false-termination.c false 145    98.4  2872832000 timeout (error (143)) 301    243    3078057984 error: exception 97.6  65.4  2915938304
eca-rers2012/Problem14_label43_false-unreach-call_false-termination.c false 128    82.5  2870841344 timeout (error (143)) 301    235    3027283968 error: exception 73.9  44.7  2861674496
eca-rers2012/Problem14_label44_false-unreach-call_false-termination.c false 132    85.5  2886549504 timeout (error (143)) 302    250    3017519104 error: exception 77.0  50.1  2871541760
eca-rers2012/Problem14_label52_false-unreach-call_false-termination.c false 103    67.1  2294681600 timeout (error (143)) 303    253    2967445504 error: exception 70.7  42.4  2873159680
eca-rers2012/Problem14_label54_false-unreach-call_false-termination.c false 139    93.1  2875363328 timeout (error (143)) 301    255    3021627392 error: exception 59.7  34.9  2486153216
eca-rers2012/Problem14_label56_false-unreach-call_false-termination.c false 92.7  57.2  1834708992 timeout (error (143)) 301    245    3106754560 timeout (error (143)) 305    244    3168854016
eca-rers2012/Problem14_label57_false-unreach-call_false-termination.c false 101    64.0  2277023744 timeout (error (143)) 301    243    3059331072 error: exception 68.4  41.1  2874028032
eca-rers2012/Problem14_label58_false-unreach-call_false-termination.c false 142    98.7  2880192512 timeout (error (143)) 301    246    3042566144 error: exception 62.7  36.5  1586069504
eca-rers2012/Problem15_label00_false-unreach-call.c timeout (error (143)) 301    257    1895108608 timeout (error (143)) 301    230    3291881472 error: exception 119    83.0  1800613888
eca-rers2012/Problem15_label02_false-unreach-call.c timeout (error (143)) 302    270    1597038592 timeout (error (143)) 301    243    3226234880 error: exception 109    71.8  2847129600
eca-rers2012/Problem15_label03_false-unreach-call.c false 160    115    2292350976 timeout (error (143)) 301    240    3222740992 error: exception 150    110    3067891712
eca-rers2012/Problem15_label07_false-unreach-call.c false 229    177    2917543936 timeout (error (143)) 301    255    2885181440 error: exception 132    94.8  2986778624
eca-rers2012/Problem15_label09_false-unreach-call.c false 269    215    2926878720 timeout (error (143)) 301    253    2950615040 timeout (error (143)) 301    236    3274403840
eca-rers2012/Problem15_label15_false-unreach-call.c false 140    103    2043871232 timeout (error (143)) 301    248    3019177984 error: exception 89.6  63.1  1318326272
eca-rers2012/Problem15_label18_false-unreach-call_false-termination.c false 191    144    2662305792 timeout (error (143)) 301    254    2950668288 timeout (error (143)) 301    229    3342954496
eca-rers2012/Problem15_label22_false-unreach-call.c false 160    113    2142879744 timeout (error (143)) 301    238    3088666624 error: exception 95.6  63.3  2623614976
eca-rers2012/Problem15_label23_false-unreach-call.c false 191    140    2808406016 timeout (error (143)) 302    254    2958434304 error: exception 277    230    3202338816
eca-rers2012/Problem15_label25_false-unreach-call.c false 258    209    2843099136 timeout (error (143)) 301    235    3193053184 timeout (error (143)) 301    232    3857027072
eca-rers2012/Problem15_label29_false-unreach-call.c false 187    135    2924015616 timeout (error (143)) 301    238    3335491584 error: exception 151    112    2936745984
eca-rers2012/Problem15_label30_false-unreach-call.c false 277    218    2624577536 timeout (error (143)) 301    244    3229491200 error: exception 104    68.3  2845044736
eca-rers2012/Problem15_label33_false-unreach-call.c timeout (error (143)) 301    263    2256338944 timeout (error (143)) 301    251    3205169152 error: exception 88.0  56.3  2753114112
eca-rers2012/Problem15_label34_false-unreach-call.c false 178    131    2409648128 timeout (error (143)) 301    231    3206193152 error: exception 93.5  59.7  2652811264
eca-rers2012/Problem15_label37_false-unreach-call.c false 233    178    2987429888 timeout (error (143)) 301    248    3161616384 error: exception 94.3  65.7  1453187072
eca-rers2012/Problem15_label38_false-unreach-call.c false 183    137    2687418368 timeout (error (143)) 301    255    2960494592 timeout (error (143)) 301    254    3718545408
eca-rers2012/Problem15_label39_false-unreach-call.c false 285    228    2862219264 timeout (error (143)) 302    235    3277783040 error: exception 168    127    3029794816
eca-rers2012/Problem15_label40_false-unreach-call.c false 269    214    2946404352 timeout (error (143)) 301    226    3212423168 error: exception 114    75.1  1553477632
eca-rers2012/Problem15_label41_false-unreach-call.c false 136    94.4  1924210688 timeout (error (143)) 301    239    3217903616 error: exception 113    73.4  2852831232
eca-rers2012/Problem15_label45_false-unreach-call.c false 191    144    2766135296 timeout (error (143)) 301    255    2944438272 error: exception 105    71.2  2916769792
eca-rers2012/Problem15_label47_false-unreach-call.c false 246    185    2906968064 timeout (error (143)) 301    262    2902949888 error: exception 87.3  55.0  2826977280
eca-rers2012/Problem15_label48_false-unreach-call.c false 213    156    2536136704 timeout (error (143)) 301    260    2942570496 error: exception 116    79.6  2984357888
eca-rers2012/Problem15_label50_false-unreach-call.c timeout (error (143)) 301    241    2948055040 timeout (error (143)) 300    258    2934083584 error: exception 96.9  62.1  2872672256
eca-rers2012/Problem15_label51_false-unreach-call.c false 211    158    2803437568 timeout (error (143)) 301    241    3165974528 error: exception 114    72.3  2826747904
eca-rers2012/Problem16_label01_false-unreach-call.c timeout (error (143)) 301    232    2966106112 timeout (error (143)) 300    237    3012755456 error: exception 68.7  42.1  1346252800
eca-rers2012/Problem16_label03_false-unreach-call.c timeout (error (143)) 305    228    3095805952 timeout (error (143)) 301    241    3070164992 error: exception 78.5  50.0  1426464768
eca-rers2012/Problem16_label04_false-unreach-call.c false 276    210    3106238464 timeout (error (143)) 301    245    2981601280 error: exception 135    92.5  2940903424
eca-rers2012/Problem16_label05_false-unreach-call.c timeout (error (143)) 301    230    3080646656 timeout (error (143)) 301    239    3052322816 error: exception 73.6  44.4  1315237888
eca-rers2012/Problem16_label06_false-unreach-call.c false 288    215    3127861248 timeout (error (143)) 301    246    3045191680 error: exception 160    125    2979397632
eca-rers2012/Problem16_label08_false-unreach-call.c false 286    214    3069693952 timeout (error (143)) 301    228    3102806016 error: exception 209    169    2993881088
eca-rers2012/Problem16_label14_false-unreach-call.c false 300    233    3291725824 timeout (error (143)) 301    244    3069075456 error: exception 98.1  62.6  2491310080
eca-rers2012/Problem16_label15_false-unreach-call.c false 243    184    3175636992 timeout (error (143)) 301    241    2998382592 error: exception 150    107    3033022464
eca-rers2012/Problem16_label18_false-unreach-call.c timeout (error (143)) 301    232    3088044032 timeout (error (143)) 301    239    3014217728 error: exception 126    90.9  2911072256
eca-rers2012/Problem16_label20_false-unreach-call.c timeout (false) 302    232    3104673792 timeout (error (143)) 301    237    3119874048 error: exception 70.3  40.9  1432637440
eca-rers2012/Problem16_label22_false-unreach-call.c timeout (error (143)) 301    229    3206168576 timeout (error (143)) 301    246    3011428352 error: exception 73.2  43.9  1423364096
eca-rers2012/Problem16_label27_false-unreach-call.c false 266    198    3194630144 timeout (error (143)) 301    243    3012227072 error: exception 94.2  56.7  2847338496
eca-rers2012/Problem16_label30_false-unreach-call.c timeout (error (143)) 301    231    3115589632 timeout (error (143)) 301    243    3111514112 error: exception 109    69.2  2787979264
eca-rers2012/Problem16_label31_false-unreach-call.c timeout (error (143)) 301    232    3171950592 timeout (error (143)) 301    239    2994044928 error: exception 83.8  51.8  1995452416
eca-rers2012/Problem16_label33_false-unreach-call.c false 248    187    3061370880 timeout (error (143)) 301    230    3128897536 error: exception 107    67.3  2736021504
eca-rers2012/Problem16_label37_false-unreach-call.c false 246    182    3153305600 timeout (error (143)) 301    236    3152633856 error: exception 108    72.0  2718179328
eca-rers2012/Problem16_label38_false-unreach-call.c false 252    185    3165093888 timeout (error (143)) 301    241    2961129472 error: exception 72.5  41.7  1440284672
eca-rers2012/Problem16_label41_false-unreach-call.c false 247    185    3243487232 timeout (error (143)) 301    242    3062210560 error: exception 66.7  38.2  1442246656
eca-rers2012/Problem16_label43_false-unreach-call.c false 291    217    3148337152 timeout (error (143)) 301    245    2994868224 error: exception 59.9  34.9  1278386176
eca-rers2012/Problem16_label44_false-unreach-call.c false 259    195    2934591488 timeout (error (143)) 301    244    3001917440 error: exception 72.0  42.4  1466806272
eca-rers2012/Problem16_label46_false-unreach-call.c timeout (false) 303    233    3033112576 timeout (error (143)) 301    245    3029291008 error: exception 67.0  41.7  1435955200
eca-rers2012/Problem16_label51_false-unreach-call.c timeout (error (143)) 303    232    3092652032 timeout (error (143)) 301    248    2985709568 error: exception 86.6  52.0  1937264640
eca-rers2012/Problem16_label52_false-unreach-call.c false 208    151    3022921728 timeout (error (143)) 301    247    3054784512 error: exception 63.5  36.3  1402982400
eca-rers2012/Problem16_label54_false-unreach-call.c false 297    228    3282210816 timeout (error (143)) 301    247    2982723584 error: exception 59.8  35.1  1278767104
eca-rers2012/Problem17_label07_false-unreach-call.c timeout (error (143)) 301    246    2458324992 timeout (error (143)) 301    230    3206893568 error: exception 149    105    2981322752
eca-rers2012/Problem17_label09_false-unreach-call.c timeout (error (143)) 302    277    1311707136 timeout (error (143)) 304    239    3347718144 error: exception 261    215    3111104512
eca-rers2012/Problem17_label13_false-unreach-call.c timeout (error (143)) 301    237    3190554624 timeout (error (143)) 302    236    3289997312 error: exception 224    181    3071848448
eca-rers2012/Problem17_label23_false-unreach-call.c false 271    217    2809667584 timeout (error (143)) 301    270    2910978048 timeout (error (143)) 302    277    1205727232
eca-rers2012/Problem17_label35_false-unreach-call.c timeout (error (143)) 303    271    1822535680 error: exception 106    71.2  2900201472 error: exception 77.6  51.8  1198235648
eca-rers2012/Problem17_label49_false-unreach-call.c timeout (error (143)) 301    274    1326559232 timeout (error (143)) 301    226    3121213440 error: exception 160    113    2620841984
eca-rers2012/Problem17_label50_false-unreach-call.c timeout (error (143)) 302    275    1332256768 timeout (error (143)) 305    242    3002535936 error: exception 154    108    2901929984
eca-rers2012/Problem17_label57_false-unreach-call.c timeout (error (143)) 301    256    2219614208 timeout (error (143)) 301    231    3236315136 error: exception 165    116    2941898752
eca-rers2012/Problem18_label00_false-unreach-call.c timeout (error (143)) 301    224    4307832832 timeout (error (143)) 301    235    3268321280 error: exception 168    124    3082285056
eca-rers2012/Problem18_label01_false-unreach-call.c timeout (error (143)) 302    234    4046315520 timeout (error (143)) 301    229    3275534336 error: exception 138    95.4  3038765056
eca-rers2012/Problem18_label03_false-unreach-call.c false 293    221    4252971008 timeout (error (143)) 300    230    3153293312 error: exception 112    72.8  2775261184
eca-rers2012/Problem18_label06_false-unreach-call.c timeout (error (143)) 301    228    4348989440 timeout (error (143)) 301    237    3118825472 error: exception 128    83.3  2482593792
eca-rers2012/Problem18_label08_false-unreach-call.c false 292    217    4239183872 timeout (error (143)) 302    223    3686715392 error: exception 173    121    3117531136
eca-rers2012/Problem18_label09_false-unreach-call.c timeout (error (143)) 301    232    4133830656 timeout (error (143)) 301    227    3239698432 error: exception 150    104    2997379072
eca-rers2012/Problem18_label10_false-unreach-call.c timeout (false) 301    231    4320194560 timeout (error (143)) 301    219    3123003392 error: exception 123    80.4  2799091712
eca-rers2012/Problem18_label12_false-unreach-call.c false 249    187    3964862464 timeout (error (143)) 301    234    3179548672 error: exception 124    83.3  2982944768
eca-rers2012/Problem18_label19_false-unreach-call.c timeout (error (143)) 301    232    3873144832 timeout (error (143)) 301    228    3042549760 error: exception 91.5  60.9  1444466688
eca-rers2012/Problem18_label20_false-unreach-call.c timeout (error (143)) 300    231    4101001216 timeout (error (143)) 301    237    3195871232 error: exception 88.8  59.1  1427877888
eca-rers2012/Problem18_label25_false-unreach-call.c false 238    173    3659792384 timeout (error (143)) 301    210    3257561088 error: exception 139    91.5  2959863808
eca-rers2012/Problem18_label27_false-unreach-call.c false 235    175    3451961344 timeout (error (143)) 301    230    3079946240 error: exception 102    67.5  2898112512
eca-rers2012/Problem18_label31_false-unreach-call.c timeout (error (143)) 301    233    3708039168 timeout (error (143)) 301    230    3180433408 error: exception 83.7  52.1  1868914688
eca-rers2012/Problem18_label32_false-unreach-call.c timeout (error (143)) 301    232    3996123136 timeout (error (143)) 301    231    3213729792 error: exception 148    101    2985517056
eca-rers2012/Problem18_label33_false-unreach-call.c timeout (error (143)) 301    232    4250759168 timeout (error (143)) 301    237    3203088384 error: exception 130    89.5  3022704640
eca-rers2012/Problem18_label34_false-unreach-call.c timeout (error (143)) 301    230    3703304192 timeout (error (143)) 300    223    3185758208 error: exception 89.3  59.9  1455706112
eca-rers2012/Problem18_label35_false-unreach-call.c timeout (error (143)) 302    231    3991076864 timeout (error (143)) 301    232    3155300352 error: exception 143    94.5  2943422464
eca-rers2012/Problem18_label36_false-unreach-call.c timeout (error (143)) 300    226    4191485952 timeout (error (143)) 301    231    3251154944 error: exception 145    99.0  3020177408
eca-rers2012/Problem18_label38_false-unreach-call.c timeout (error (143)) 301    233    3736260608 timeout (error (143)) 301    216    3201388544 error: exception 129    84.9  2966142976
eca-rers2012/Problem18_label39_false-unreach-call.c timeout (error (143)) 301    226    4244242432 timeout (error (143)) 304    199    3245776896 error: exception 149    101    2914353152
eca-rers2012/Problem18_label45_false-unreach-call.c false 223    163    3879063552 timeout (error (143)) 300    217    3148005376 error: exception 120    77.7  2327470080
eca-rers2012/Problem18_label49_false-unreach-call.c false 291    217    4317667328 timeout (error (143)) 301    226    3292696576 error: exception 160    109    3055644672
eca-rers2012/Problem18_label52_false-unreach-call.c timeout (error: exception) 301    230    4235251712 timeout (error (143)) 301    223    3240521728 error: exception 172    123    3039870976
eca-rers2012/Problem18_label55_false-unreach-call.c false 275    203    4311789568 timeout (error (143)) 301    222    3103510528 error: exception 119    77.8  2075394048
eca-rers2012/Problem18_label57_false-unreach-call.c timeout (error (143)) 303    233    3930390528 timeout (error (143)) 302    233    3186155520 error: exception 131    87.6  3001782272
eca-rers2012/Problem19_label14_false-unreach-call.c timeout (error: exception) 301    240    3184726016 timeout (error (143)) 301    224    3088166912 timeout (error (143)) 303    229    3305611264
eca-rers2012/Problem01_label01_true-unreach-call_false-termination.c true 79.8  45.3  1224798208 timeout (error (143)) 301    266    2920452096 true 47.3  27.3  1039192064
eca-rers2012/Problem01_label02_true-unreach-call_false-termination.c true 69.2  39.7  1215000576 timeout (error (143)) 302    262    2910879744 true 227    156    3195228160
eca-rers2012/Problem01_label04_true-unreach-call_false-termination.c true 75.8  43.5  1199964160 timeout (error (143)) 302    265    2916487168 true 205    146    2999128064
eca-rers2012/Problem01_label05_true-unreach-call_false-termination.c true 70.8  42.1  1245466624 timeout (error (143)) 302    262    2911600640 true 154    103    2906910720
eca-rers2012/Problem01_label06_true-unreach-call_false-termination.c true 46.4  26.7  1000824832 timeout (error (143)) 301    260    2971279360 true 106    68.0  2437877760
eca-rers2012/Problem01_label07_true-unreach-call_false-termination.c true 55.7  31.7  1018056704 timeout (error (143)) 302    267    2908254208 true 137    88.8  2842800128
eca-rers2012/Problem01_label08_true-unreach-call_false-termination.c true 45.4  26.7  1058914304 timeout (error (143)) 301    267    2907852800 true 220    147    3270795264
eca-rers2012/Problem01_label10_true-unreach-call_false-termination.c true 51.8  29.9  1029611520 timeout (error (143)) 301    263    2913013760 true 223    154    3278254080
eca-rers2012/Problem01_label11_true-unreach-call_false-termination.c true 60.3  34.5  1158889472 timeout (error (143)) 301    265    2902622208 true 171    111    3016421376
eca-rers2012/Problem01_label13_true-unreach-call_false-termination.c true 64.3  36.5  1173573632 timeout (error (143)) 304    259    2893824000 true 40.4  22.3  893603840
eca-rers2012/Problem01_label14_true-unreach-call_false-termination.c true 67.8  41.7  1205567488 timeout (error (143)) 301    261    2936270848 true 155    99.7  2984226816
eca-rers2012/Problem01_label17_true-unreach-call_false-termination.c true 58.7  33.8  1068748800 timeout (error (143)) 301    262    2917957632 true 130    86.1  2893148160
eca-rers2012/Problem01_label19_true-unreach-call_false-termination.c true 68.5  40.3  1219035136 timeout (error (143)) 301    265    2910687232 true 99.4  62.5  2201632768
eca-rers2012/Problem01_label23_true-unreach-call_false-termination.c true 51.1  29.8  1009442816 timeout (error (143)) 302    265    2898198528 true 127    83.5  2876112896
eca-rers2012/Problem01_label24_true-unreach-call_false-termination.c true 50.0  28.8  1009774592 timeout (error (143)) 302    268    2902831104 true 40.0  22.4  865751040
eca-rers2012/Problem01_label25_true-unreach-call_false-termination.c true 60.5  35.1  1170411520 timeout (error (143)) 301    267    2912931840 true 107    65.4  1885761536
eca-rers2012/Problem01_label26_true-unreach-call_false-termination.c true 65.1  38.1  1189752832 timeout (error (143)) 301    260    2954514432 true 151    96.8  3019554816
eca-rers2012/Problem01_label27_true-unreach-call_false-termination.c true 59.4  36.5  1194467328 timeout (error (143)) 303    264    2916720640 true 202    143    3199909888
eca-rers2012/Problem01_label28_true-unreach-call_false-termination.c true 68.3  40.6  1207422976 timeout (error (143)) 302    263    2913169408 true 130    84.9  2847870976
eca-rers2012/Problem01_label29_true-unreach-call_false-termination.c true 55.4  32.2  1074958336 timeout (error (143)) 301    260    2921697280 true 181    122    3284250624
eca-rers2012/Problem01_label30_true-unreach-call_false-termination.c true 62.0  37.6  1200824320 timeout (error (143)) 301    260    2972590080 true 159    106    3224219648
eca-rers2012/Problem01_label34_true-unreach-call_false-termination.c true 58.2  33.9  1064861696 timeout (error (143)) 301    258    2898460672 true 205    142    3284434944
eca-rers2012/Problem01_label40_true-unreach-call_false-termination.c true 63.3  37.9  1214095360 timeout (error (143)) 301    263    2903269376 true 109    73.6  2813100032
eca-rers2012/Problem01_label41_true-unreach-call_false-termination.c true 46.6  26.9  1070133248 timeout (error (143)) 301    263    2902257664 true 137    86.9  2718502912
eca-rers2012/Problem01_label42_true-unreach-call_false-termination.c true 45.8  26.9  1058242560 timeout (error (143)) 300    263    2915606528 true 110    67.9  2187509760
eca-rers2012/Problem01_label43_true-unreach-call_false-termination.c true 44.1  25.9  1020387328 timeout (error (143)) 301    268    2897281024 true 84.8  53.0  2092249088
eca-rers2012/Problem01_label45_true-unreach-call_false-termination.c true 64.7  38.3  1183670272 timeout (error (143)) 302    259    2953129984 true 110    68.5  2259488768
eca-rers2012/Problem01_label46_true-unreach-call_false-termination.c true 36.5  21.9  1014026240 timeout (error (143)) 301    266    2912292864 true 112    74.5  2936360960
eca-rers2012/Problem01_label52_true-unreach-call_false-termination.c true 30.6  17.1  841961472 timeout (error (143)) 301    263    2900414464 true 158    108    2997321728
eca-rers2012/Problem01_label53_true-unreach-call_false-termination.c true 59.3  34.2  1037590528 timeout (error (143)) 301    263    2926202880 true 215    150    3003129856
eca-rers2012/Problem01_label54_true-unreach-call_false-termination.c true 52.7  31.1  1041195008 timeout (error (143)) 301    261    2930982912 true 81.5  52.0  2015469568
eca-rers2012/Problem01_label55_true-unreach-call_false-termination.c true 33.4  19.6  861605888 timeout (error (143)) 301    267    2917351424 true 166    112    2976657408
eca-rers2012/Problem01_label59_true-unreach-call_false-termination.c true 52.8  31.2  1038151680 timeout (error (143)) 301    265    2913619968 true 44.9  25.8  1055088640
eca-rers2012/Problem02_label00_true-unreach-call_false-termination.c true 57.6  33.6  1177063424 timeout (error (143)) 301    257    2971705344 true 101    64.4  2434535424
eca-rers2012/Problem02_label01_true-unreach-call_false-termination.c true 39.4  22.2  870080512 timeout (error (143)) 301    265    2924695552 true 156    105    3003383808
eca-rers2012/Problem02_label02_true-unreach-call_false-termination.c true 27.8  15.8  866799616 timeout (error (143)) 301    263    2944000000 true 125    79.7  2692456448
eca-rers2012/Problem02_label03_true-unreach-call_false-termination.c true 46.0  27.1  1027375104 timeout (error (143)) 301    267    2891702272 true 76.1  44.9  1414594560
eca-rers2012/Problem02_label04_true-unreach-call_false-termination.c true 57.1  32.9  1014747136 timeout (error (143)) 301    242    2955984896 true 105    66.6  2128072704
eca-rers2012/Problem02_label05_true-unreach-call_false-termination.c true 53.8  31.1  1012666368 timeout (error (143)) 301    245    2927136768 true 110    67.8  1856081920
eca-rers2012/Problem02_label06_true-unreach-call_false-termination.c true 67.8  39.1  1169563648 timeout (error (143)) 301    265    2921213952 true 219    155    3223146496
eca-rers2012/Problem02_label07_true-unreach-call_false-termination.c true 43.1  25.2  1073209344 timeout (error (143)) 301    261    2963255296 true 88.4  57.1  2293886976
eca-rers2012/Problem02_label08_true-unreach-call_false-termination.c true 36.6  21.6  933625856 timeout (error (143)) 301    268    2928304128 true 61.1  37.1  1225703424
eca-rers2012/Problem02_label09_true-unreach-call_false-termination.c true 34.3  19.9  857460736 timeout (error (143)) 301    243    2948636672 true 156    101    2854936576
eca-rers2012/Problem02_label10_true-unreach-call_false-termination.c true 36.7  21.5  862654464 timeout (error (143)) 301    258    2955534336 true 142    92.8  2996809728
eca-rers2012/Problem02_label11_true-unreach-call_false-termination.c true 36.0  20.5  852807680 timeout (error (143)) 301    255    2962890752 true 127    83.9  2951262208
eca-rers2012/Problem02_label12_true-unreach-call_false-termination.c true 28.9  16.4  854200320 timeout (error (143)) 304    257    2926637056 true 143    88.5  2477359104
eca-rers2012/Problem02_label14_true-unreach-call_false-termination.c true 66.1  38.7  1195876352 timeout (error (143)) 301    252    2918375424 true 94.9  56.0  1520406528
eca-rers2012/Problem02_label17_true-unreach-call_false-termination.c true 34.0  19.4  865267712 timeout (error (143)) 301    255    2966732800 true 157    102    3001929728
eca-rers2012/Problem02_label18_true-unreach-call_false-termination.c true 32.7  19.2  895856640 timeout (error (143)) 301    264    2923470848 true 62.5  37.7  1239654400
eca-rers2012/Problem02_label19_true-unreach-call_false-termination.c true 67.0  38.2  1177083904 timeout (error (143)) 301    266    2926673920 true 216    150    3326394368
eca-rers2012/Problem02_label20_true-unreach-call_false-termination.c true 66.1  37.3  1037176832 timeout (error (143)) 301    258    2972110848 true 118    71.6  2190643200
eca-rers2012/Problem02_label21_true-unreach-call_false-termination.c true 50.8  29.6  1043251200 timeout (error (143)) 301    271    2915348480 true 107    68.8  2438561792
eca-rers2012/Problem02_label22_true-unreach-call_false-termination.c true 56.8  32.8  1014312960 timeout (error (143)) 301    259    2938667008 true 133    86.3  2767990784
eca-rers2012/Problem02_label23_true-unreach-call_false-termination.c true 51.3  30.1  1149968384 timeout (error (143)) 302    265    2913345536 true 124    81.7  2780282880
eca-rers2012/Problem02_label24_true-unreach-call_false-termination.c true 47.2  28.2  1160241152 timeout (error (143)) 301    264    2898526208 true 142    90.5  2688647168
eca-rers2012/Problem02_label25_true-unreach-call_false-termination.c true 59.9  34.0  1001046016 timeout (error (143)) 301    256    2970288128 true 189    124    3069513728
eca-rers2012/Problem02_label26_true-unreach-call_false-termination.c true 56.3  32.5  1048588288 timeout (error (143)) 301    259    2964656128 true 148    93.1  2949582848
eca-rers2012/Problem02_label27_true-unreach-call_false-termination.c true 54.3  31.1  1017577472 timeout (error (143)) 306    273    2881802240 true 113    70.1  2468675584
eca-rers2012/Problem02_label28_true-unreach-call_false-termination.c true 55.6  31.2  1025224704 timeout (error (143)) 302    256    2963812352 true 172    117    3169939456
eca-rers2012/Problem02_label29_true-unreach-call_false-termination.c true 34.5  19.7  878571520 timeout (error (143)) 301    258    2956333056 true 144    96.8  3185893376
eca-rers2012/Problem02_label30_true-unreach-call_false-termination.c true 34.9  20.7  902852608 timeout (error (143)) 301    255    2969587712 true 154    99.7  2976116736
eca-rers2012/Problem02_label31_true-unreach-call_false-termination.c true 44.5  25.3  871673856 timeout (error (143)) 301    263    2927812608 true 148    98.6  3122376704
eca-rers2012/Problem02_label32_true-unreach-call_false-termination.c true 37.8  22.0  880300032 timeout (error (143)) 301    261    2934448128 true 156    104    3074404352
eca-rers2012/Problem02_label33_true-unreach-call_false-termination.c true 53.8  31.7  1126936576 timeout (error (143)) 301    247    2914443264 true 102    64.5  2230538240
eca-rers2012/Problem02_label34_true-unreach-call_false-termination.c true 32.9  19.0  859021312 timeout (error (143)) 302    243    2961010688 true 200    139    3425267712
eca-rers2012/Problem02_label35_true-unreach-call_false-termination.c true 33.5  19.2  854392832 timeout (error (143)) 301    262    2947371008 true 147    98.9  3140808704
eca-rers2012/Problem02_label36_true-unreach-call_false-termination.c true 32.8  19.3  856158208 timeout (error (143)) 302    225    2964561920 true 210    145    3405467648
eca-rers2012/Problem02_label39_true-unreach-call_false-termination.c true 67.2  38.2  1188909056 timeout (error (143)) 301    252    2912579584 true 125    79.6  2188677120
eca-rers2012/Problem02_label40_true-unreach-call_false-termination.c true 58.7  34.2  1067728896 timeout (error (143)) 301    247    2957701120 true 130    83.1  2350272512
eca-rers2012/Problem02_label41_true-unreach-call_false-termination.c true 30.5  17.5  861147136 timeout (error (143)) 301    260    2928947200 true 91.7  56.7  1542397952
eca-rers2012/Problem02_label42_true-unreach-call_false-termination.c true 47.9  27.9  1007357952 timeout (error (143)) 300    243    2943557632 true 65.5  37.6  1226383360
eca-rers2012/Problem02_label46_true-unreach-call_false-termination.c true 47.3  27.5  1116200960 timeout (error (143)) 301    259    2956161024 true 63.8  35.8  1253449728
eca-rers2012/Problem02_label47_true-unreach-call_false-termination.c true 32.0  18.3  859545600 timeout (error (143)) 303    264    2887192576 true 120    74.7  1894957056
eca-rers2012/Problem02_label48_true-unreach-call_false-termination.c true 37.6  22.1  931569664 timeout (error (143)) 301    264    2919473152 true 89.8  52.4  1483984896
eca-rers2012/Problem02_label49_true-unreach-call_false-termination.c true 60.1  36.1  1202589696 timeout (error (143)) 301    259    2923044864 true 146    95.3  2609422336
eca-rers2012/Problem02_label51_true-unreach-call_false-termination.c true 28.2  16.2  862285824 timeout (error (143)) 302    248    2916171776 true 87.6  52.6  1459527680
eca-rers2012/Problem02_label52_true-unreach-call_false-termination.c true 30.1  17.1  847933440 timeout (error (143)) 301    259    2951860224 true 153    106    3193765888
eca-rers2012/Problem02_label53_true-unreach-call_false-termination.c true 49.9  28.7  1041264640 timeout (error (143)) 301    256    2914938880 true 104    65.0  1918832640
eca-rers2012/Problem02_label54_true-unreach-call_false-termination.c true 54.2  31.5  1030574080 timeout (error (143)) 301    270    2905436160 true 97.1  59.4  1857540096
eca-rers2012/Problem02_label55_true-unreach-call_false-termination.c true 36.3  20.7  856522752 timeout (error (143)) 301    270    2907557888 true 160    103    2836299776
eca-rers2012/Problem02_label56_true-unreach-call_false-termination.c true 57.4  32.3  1005899776 timeout (error (143)) 301    263    2927509504 true 73.4  44.3  1428684800
eca-rers2012/Problem02_label57_true-unreach-call_false-termination.c true 46.0  27.1  1011503104 timeout (error (143)) 301    266    2947956736 true 90.2  57.3  2209681408
eca-rers2012/Problem03_label04_true-unreach-call.c out of memory 283    215    8000000000 timeout (error (143)) 304    285    2876010496 timeout (error (143)) 303    239    3955097600
eca-rers2012/Problem03_label10_true-unreach-call.c true 165    115    4445155328 timeout (error (143)) 301    278    2891509760 timeout (error (143)) 302    253    4112257024
eca-rers2012/Problem03_label11_true-unreach-call.c timeout 322    217    7496220672 timeout (error (143)) 302    273    2926653440 timeout (error (143)) 301    235    4133031936
eca-rers2012/Problem03_label19_true-unreach-call.c timeout 322    211    7499190272 timeout (error (143)) 303    278    2911457280 timeout (error (143)) 302    232    4494852096
eca-rers2012/Problem03_label22_true-unreach-call.c true 177    134    3517992960 timeout (error (143)) 304    276    2918887424 timeout (error (143)) 301    249    4047753216
eca-rers2012/Problem03_label25_true-unreach-call.c timeout 322    210    8000000000 timeout (error (143)) 305    271    2986590208 timeout (error (143)) 301    221    4356669440
eca-rers2012/Problem03_label30_true-unreach-call.c true 163    116    2864193536 timeout (error (143)) 303    276    2902962176 timeout (error (143)) 302    247    4048846848
eca-rers2012/Problem03_label32_true-unreach-call.c true 110    69.1  2354933760 timeout (error (143)) 301    279    2891460608 true 206    142    3373400064
eca-rers2012/Problem03_label33_true-unreach-call.c timeout 321    215    7893876736 timeout (error (143)) 308    282    2891825152 timeout (error (143)) 301    245    4100788224
eca-rers2012/Problem03_label36_true-unreach-call.c timeout (error (143)) 308    207    7410548736 timeout (error (143)) 302    277    2903240704 true 252    188    3722084352
eca-rers2012/Problem03_label40_true-unreach-call.c true 81.9  50.2  1550192640 timeout (error (143)) 303    276    2903621632 true 268    218    3872542720
eca-rers2012/Problem03_label41_true-unreach-call.c timeout 322    215    7327633408 timeout (error (143)) 302    277    2907418624 timeout (error (143)) 302    250    4059303936
eca-rers2012/Problem03_label42_true-unreach-call.c true 137    91.5  3538522112 timeout (error (143)) 304    278    2905321472 timeout (error (143)) 301    255    4092248064
eca-rers2012/Problem03_label48_true-unreach-call.c true 219    164    3645296640 timeout (error (143)) 303    278    2898276352 timeout (error (143)) 301    236    3978895360
eca-rers2012/Problem03_label55_true-unreach-call.c out of memory 289    198    8000000000 timeout (error (143)) 304    271    2919952384 timeout (error (143)) 301    229    4160348160
eca-rers2012/Problem03_label56_true-unreach-call.c timeout (error (143)) 301    201    7780274176 timeout (error (143)) 301    275    2896297984 true 251    192    3703832576
eca-rers2012/Problem03_label57_true-unreach-call.c true 180    122    4265095168 timeout (error (143)) 302    274    2893746176 timeout (error (143)) 301    233    4432441344
eca-rers2012/Problem03_label58_true-unreach-call.c timeout (error (143)) 311    203    7754186752 timeout (error (143)) 303    279    2900889600 timeout (error: exception) 302    248    4084277248
eca-rers2012/Problem04_label05_true-unreach-call.c true 268    194    4243038208 timeout (error (143)) 302    261    2984820736 timeout (error (143)) 301    233    4341657600
eca-rers2012/Problem04_label08_true-unreach-call.c true 276    200    4285493248 timeout (error (143)) 303    246    2987196416 timeout (error (143)) 300    219    4310958080
eca-rers2012/Problem04_label16_true-unreach-call.c true 223    159    3976081408 timeout (error (143)) 302    263    2982780928 timeout (error (143)) 301    232    4354510848
eca-rers2012/Problem04_label20_true-unreach-call_false-termination.c true 248    174    3855654912 timeout (error (143)) 302    252    2987560960 timeout (error (143)) 301    228    4373843968
eca-rers2012/Problem04_label22_true-unreach-call.c true 244    177    3981922304 timeout (error (143)) 310    258    2979676160 timeout (error (143)) 301    229    4398718976
eca-rers2012/Problem04_label25_true-unreach-call.c true 284    206    4330041344 timeout (error (143)) 300    245    2987872256 timeout (error (143)) 301    233    4423057408
eca-rers2012/Problem04_label29_true-unreach-call_false-termination.c true 198    137    3646054400 timeout (error (143)) 302    261    2980970496 timeout (error (143)) 301    230    4446433280
eca-rers2012/Problem04_label30_true-unreach-call.c true 299    220    4276629504 timeout (error (143)) 301    249    2992467968 timeout (error (143)) 300    222    4432830464
eca-rers2012/Problem04_label33_true-unreach-call.c true 175    119    3827884032 timeout (error (143)) 301    247    3007893504 timeout (error (143)) 301    229    4384333824
eca-rers2012/Problem04_label41_true-unreach-call.c true 264    193    4343623680 timeout (error (143)) 302    256    2978099200 timeout (error (143)) 301    229    4377845760
eca-rers2012/Problem04_label44_true-unreach-call_false-termination.c true 252    187    3436302336 timeout (error (143)) 302    258    2977849344 timeout (error (143)) 305    232    4410011648
eca-rers2012/Problem04_label57_true-unreach-call_false-termination.c true 293    218    4245274624 timeout (error (143)) 302    260    2974412800 timeout (error (143)) 302    234    4428939264
eca-rers2012/Problem04_label59_true-unreach-call.c true 209    148    4203474944 timeout (error (143)) 302    262    2980151296 timeout (error (143)) 302    210    4292763648
eca-rers2012/Problem05_label03_true-unreach-call.c timeout (error (143)) 304    223    4966797312 timeout (error (143)) 307    240    3155718144 timeout 320    230    4340490240
eca-rers2012/Problem05_label05_true-unreach-call.c timeout (error (143)) 300    221    4178706432 timeout (error (143)) 307    242    3157757952 timeout 322    233    4377153536
eca-rers2012/Problem05_label10_true-unreach-call.c timeout (error (143)) 301    213    4641165312 timeout (error (143)) 307    237    3208507392 timeout 321    237    4392112128
eca-rers2012/Problem05_label14_true-unreach-call.c timeout (error (143)) 301    219    5507555328 timeout (error (143)) 300    235    3154182144 timeout 322    237    4398149632
eca-rers2012/Problem05_label53_true-unreach-call.c timeout (error (143)) 315    227    5767008256 timeout (error (143)) 302    237    3136065536 timeout 322    238    4357586944
eca-rers2012/Problem06_label03_true-unreach-call.c timeout (error (143)) 303    205    6417002496 timeout (error (143)) 303    262    2996219904 timeout 322    250    4339544064
eca-rers2012/Problem07_label17_true-unreach-call.c timeout (error (143)) 300    240    3897262080 timeout (error: exception) 302    244    3767627776 timeout (error (143)) 300    244    3605413888
eca-rers2012/Problem08_label00_true-unreach-call.c timeout (error (143)) 306    234    4829888512 timeout (error (143)) 306    234    4863041536 timeout (error: exception) 306    245    4748333056
eca-rers2012/Problem08_label14_true-unreach-call.c timeout (error (143)) 305    236    4832878592 timeout (error (143)) 303    220    5508665344 timeout (error: exception) 305    243    4781031424
eca-rers2012/Problem08_label16_true-unreach-call.c timeout (error: exception) 301    222    5303431168 timeout (error (143)) 306    244    4761534464 timeout (error (143)) 306    242    4756504576
eca-rers2012/Problem08_label19_true-unreach-call.c timeout (error (143)) 305    226    5304061952 timeout (error (143)) 306    246    4747235328 timeout 322    244    5652365312
eca-rers2012/Problem08_label27_true-unreach-call.c timeout (error (143)) 306    225    5568458752 timeout (error (143)) 306    243    4748034048 timeout (error: exception) 301    240    4824076288
eca-rers2012/Problem08_label39_true-unreach-call.c timeout (error: exception) 302    222    5287157760 timeout (error (143)) 306    245    4759949312 timeout (error (143)) 306    244    4761604096
eca-rers2012/Problem08_label41_true-unreach-call.c timeout (error (143)) 310    226    5277655040 timeout (error (143)) 306    235    4823433216 timeout 322    252    5920182272
eca-rers2012/Problem08_label42_true-unreach-call.c timeout (error (143)) 308    239    4846239744 timeout (error (143)) 306    233    4832174080 timeout (error: exception) 306    244    4739297280
eca-rers2012/Problem08_label47_true-unreach-call.c timeout (error (143)) 307    238    4860813312 timeout (error (143)) 306    244    4833943552 timeout (error: exception) 302    242    4949131264
eca-rers2012/Problem09_label00_true-unreach-call.c timeout (error: exception) 302    230    5154336768 timeout (error (143)) 306    242    5087887360 timeout 322    237    6076440576
eca-rers2012/Problem09_label01_true-unreach-call.c timeout (error (143)) 306    233    5146120192 timeout 322    236    6035283968 timeout 322    235    6074707968
eca-rers2012/Problem09_label05_true-unreach-call.c timeout (error (143)) 306    231    5239472128 timeout (error (143)) 306    248    4870303744 timeout 322    234    6291894272
eca-rers2012/Problem09_label07_true-unreach-call.c timeout (error (143)) 305    226    5558026240 timeout 322    236    6009847808 timeout (error (143)) 306    243    5158465536
eca-rers2012/Problem09_label09_true-unreach-call.c timeout (error: exception) 304    228    5142024192 timeout (error: exception) 319    242    5654708224 timeout (error (143)) 306    244    5130211328
eca-rers2012/Problem09_label12_true-unreach-call.c timeout (error (143)) 306    228    5139140608 timeout (error: exception) 318    245    5803151360 timeout (error (143)) 306    238    4838531072
eca-rers2012/Problem09_label14_true-unreach-call.c timeout (error (143)) 306    227    5126905856 timeout (error (143)) 306    248    4998078464 timeout 322    237    6034460672
eca-rers2012/Problem09_label16_true-unreach-call.c timeout (error (143)) 306    233    5495865344 timeout 322    235    6023774208 timeout (error (143)) 306    249    4933492736
eca-rers2012/Problem09_label21_true-unreach-call.c timeout (error (143)) 305    229    5459595264 timeout 322    236    6049046528 timeout (error (143)) 306    245    5083865088
eca-rers2012/Problem09_label23_true-unreach-call.c timeout (error (143)) 306    235    4873674752 timeout (error: exception) 317    247    5413507072 timeout (error (143)) 309    230    6002331648
eca-rers2012/Problem09_label24_true-unreach-call.c timeout (error (143)) 306    227    5162565632 timeout 322    236    5863034880 timeout (error (143)) 306    247    5029154816
eca-rers2012/Problem09_label25_true-unreach-call.c timeout (error (143)) 305    229    5152780288 timeout (error (143)) 306    247    4821397504 timeout 322    236    6939508736
eca-rers2012/Problem09_label26_true-unreach-call.c timeout (error (143)) 306    234    4868571136 timeout (error (143)) 311    232    6288949248 timeout 321    235    6105993216
eca-rers2012/Problem09_label27_true-unreach-call.c timeout (error (143)) 305    229    5494177792 timeout (error (143)) 306    243    5164691456 timeout 321    235    6866915328
eca-rers2012/Problem09_label28_true-unreach-call.c timeout (error (143)) 305    227    5175373824 timeout 321    235    6793306112 timeout (error (143)) 311    229    6244700160
eca-rers2012/Problem09_label29_true-unreach-call.c timeout (error (143)) 306    224    5105639424 timeout 322    234    6867800064 timeout 322    237    6303956992
eca-rers2012/Problem09_label30_true-unreach-call.c timeout (error (143)) 307    233    5193306112 timeout 322    236    6290051072 timeout (error (143)) 309    236    5970948096
eca-rers2012/Problem09_label31_true-unreach-call.c timeout (error (143)) 306    230    5486489600 timeout (error (143)) 306    241    4820754432 timeout 322    235    6286471168
eca-rers2012/Problem09_label33_true-unreach-call.c timeout (error (143)) 305    228    5501956096 timeout 321    236    6878126080 timeout (error (143)) 318    232    6869540864
eca-rers2012/Problem09_label39_true-unreach-call.c timeout (error (143)) 305    232    5165346816 timeout (error: exception) 302    231    5076185088 timeout (error: exception) 308    235    5678657536
eca-rers2012/Problem09_label40_true-unreach-call.c timeout (error (143)) 305    230    5501493248 timeout 322    236    6136029184 timeout 322    236    6876807168
eca-rers2012/Problem09_label43_true-unreach-call.c timeout (error (143)) 305    228    5143089152 timeout (error (143)) 306    240    5074296832 timeout 321    236    6634147840
eca-rers2012/Problem09_label48_true-unreach-call.c timeout (error (143)) 305    225    5189898240 timeout 322    235    6874214400 timeout (error (143)) 306    236    5075865600
eca-rers2012/Problem09_label49_true-unreach-call.c timeout (error (143)) 306    233    5183770624 timeout 322    237    6746988544 timeout 321    236    6087847936
eca-rers2012/Problem09_label52_true-unreach-call.c timeout (error (143)) 306    225    5498814464 timeout (error (143)) 306    238    5079756800 timeout 322    236    6302973952
eca-rers2012/Problem09_label58_true-unreach-call.c timeout (error (143)) 306    232    5160325120 timeout (error (143)) 319    236    6301179904 timeout 322    235    6793977856
eca-rers2012/Problem10_label00_true-unreach-call.c true 57.7  34.8  1186398208 timeout (error (143)) 301    231    3020521472 true 173    123    3066966016
eca-rers2012/Problem10_label01_true-unreach-call.c true 56.8  35.0  1192570880 timeout (error (143)) 301    232    3016118272 true 192    145    3176132608
eca-rers2012/Problem10_label02_true-unreach-call.c true 51.9  32.4  1043070976 timeout (error (143)) 302    233    3017945088 true 200    148    3166613504
eca-rers2012/Problem10_label03_true-unreach-call.c true 22.9  13.3  778711040 timeout (error (143)) 301    240    3000811520 true 79.5  47.3  2089603072
eca-rers2012/Problem10_label07_true-unreach-call.c true 61.4  38.5  1200848896 timeout (error (143)) 301    235    3081277440 error: exception 40.7  22.0  1052569600
eca-rers2012/Problem10_label08_true-unreach-call.c true 29.0  17.2  873115648 timeout (error (143)) 301    233    3036454912 error: exception 40.8  22.2  1090752512
eca-rers2012/Problem10_label11_true-unreach-call.c true 50.4  30.3  1017290752 timeout (error (143)) 301    245    3037159424 error: exception 61.5  37.7  1222885376
eca-rers2012/Problem10_label13_true-unreach-call.c true 36.2  21.4  871952384 timeout (error (143)) 302    241    3013857280 error: exception 62.5  38.1  1222381568
eca-rers2012/Problem10_label14_true-unreach-call.c true 71.4  46.2  1333129216 timeout (error (143)) 301    239    3032137728 error: exception 65.9  38.7  1217748992
eca-rers2012/Problem10_label16_true-unreach-call.c true 55.6  33.2  1154244608 timeout (error (143)) 303    238    3017101312 error: exception 35.1  20.8  875474944
eca-rers2012/Problem10_label18_true-unreach-call.c true 53.1  32.4  1186377728 timeout (error (143)) 301    240    3028770816 error: exception 39.9  21.1  865865728
eca-rers2012/Problem10_label19_true-unreach-call.c true 30.9  18.4  842092544 timeout (error (143)) 301    252    2986201088 true 60.9  38.1  1207201792
eca-rers2012/Problem10_label20_true-unreach-call.c true 48.7  29.0  999104512 timeout (error (143)) 301    243    3004166144 true 65.1  41.4  1208840192
eca-rers2012/Problem10_label21_true-unreach-call.c true 45.8  27.1  1092157440 timeout (error (143)) 301    245    2983825408 true 62.7  38.4  1217040384
eca-rers2012/Problem10_label22_true-unreach-call.c true 43.2  25.4  1054085120 timeout (error (143)) 303    241    3009818624 error: exception 166    129    3101933568
eca-rers2012/Problem10_label23_true-unreach-call.c true 54.1  32.5  1199165440 timeout (error (143)) 306    246    2980212736 true 202    149    2960666624
eca-rers2012/Problem10_label25_true-unreach-call.c true 74.4  46.7  1297084416 timeout (error (143)) 301    230    3005726720 true 193    129    2963861504
eca-rers2012/Problem10_label27_true-unreach-call.c true 61.1  36.3  1146535936 timeout (error (143)) 301    239    3119988736 error: exception 46.9  25.3  1046142976
eca-rers2012/Problem10_label30_true-unreach-call.c true 47.3  27.3  1034076160 timeout (error (143)) 301    229    2958581760 true 112    69.4  2382553088
eca-rers2012/Problem10_label31_true-unreach-call.c true 40.0  23.8  1009156096 timeout (error (143)) 301    247    3057049600 error: exception 36.1  19.3  863649792
eca-rers2012/Problem10_label33_true-unreach-call.c true 28.5  17.1  854736896 timeout (error (143)) 306    246    3039596544 error: exception 188    147    3178475520
eca-rers2012/Problem10_label34_true-unreach-call.c true 41.8  24.9  1005846528 timeout (error (143)) 302    237    2992340992 error: exception 209    163    3187355648
eca-rers2012/Problem10_label35_true-unreach-call.c true 66.7  38.5  1070530560 timeout (error (143)) 301    246    2986541056 true 59.6  37.4  1213587456
eca-rers2012/Problem10_label36_true-unreach-call.c true 35.7  21.1  851722240 timeout (error (143)) 303    246    2979098624 true 61.8  38.5  1212284928
eca-rers2012/Problem10_label37_true-unreach-call.c true 52.1  31.7  1031221248 timeout (error (143)) 302    236    2995695616 true 119    78.1  2930028544
eca-rers2012/Problem10_label38_true-unreach-call.c true 48.5  28.2  1013014528 timeout (error (143)) 301    240    3047706624 error: exception 34.8  18.4  848863232
eca-rers2012/Problem10_label39_true-unreach-call.c true 49.7  28.9  1014755328 timeout (error (143)) 301    241    3102765056 error: exception 43.2  23.8  1041838080
eca-rers2012/Problem10_label40_true-unreach-call.c true 56.5  34.0  1046175744 timeout (error (143)) 300    231    3016318976 true 47.4  27.8  1082900480
eca-rers2012/Problem10_label43_true-unreach-call.c true 40.1  23.9  1033805824 timeout (error (143)) 301    251    2994532352 true 152    130    1067401216
eca-rers2012/Problem10_label45_true-unreach-call.c true 47.2  27.4  963641344 timeout (error (143)) 301    228    3120275456 error: exception 179    136    3061710848
eca-rers2012/Problem10_label49_true-unreach-call.c true 72.4  49.8  1188880384 timeout (error (143)) 306    251    2975174656 true 147    98.7  2927722496
eca-rers2012/Problem10_label51_true-unreach-call.c true 28.3  16.3  854003712 timeout (error (143)) 301    243    3068121088 error: exception 42.1  22.9  1068326912
eca-rers2012/Problem10_label53_true-unreach-call.c true 29.3  17.0  872976384 timeout (error (143)) 303    238    3004903424 error: exception 186    146    3154522112
eca-rers2012/Problem10_label56_true-unreach-call.c true 186    151    1545064448 timeout (error (143)) 301    243    3074539520 error: exception 32.9  17.6  858779648
eca-rers2012/Problem10_label59_true-unreach-call.c true 161    121    1692917760 timeout (error (143)) 301    243    2943459328 timeout (error (143)) 301    256    2985103360
eca-rers2012/Problem11_label01_true-unreach-call.c true 75.1  48.1  1275936768 timeout (error (143)) 301    236    3169841152 true 123    85.8  3023020032
eca-rers2012/Problem11_label03_true-unreach-call.c true 56.0  32.5  1120780288 timeout (error (143)) 301    252    2985385984 error: exception 115    74.8  2951913472
eca-rers2012/Problem11_label04_true-unreach-call.c true 131    92.2  1433554944 timeout (error (143)) 301    259    2903134208 error: exception 151    115    3031994368
eca-rers2012/Problem11_label06_true-unreach-call.c true 106    69.3  1709572096 timeout (error (143)) 301    236    3049275392 timeout (error (143)) 306    253    3324108800
eca-rers2012/Problem11_label07_true-unreach-call.c true 65.8  41.6  1265926144 timeout (error (143)) 301    260    2906386432 true 188    147    3084603392
eca-rers2012/Problem11_label09_true-unreach-call.c true 71.8  42.0  1230938112 timeout (error (143)) 301    260    2911371264 error: exception 128    94.7  2994585600
eca-rers2012/Problem11_label12_true-unreach-call.c true 70.1  43.5  1256882176 timeout (error (143)) 301    263    2892201984 timeout (error (143)) 305    248    3371913216
eca-rers2012/Problem11_label16_true-unreach-call.c true 86.6  53.7  1516085248 timeout (error (143)) 301    241    2990944256 timeout (error (143)) 303    252    3409317888
eca-rers2012/Problem11_label17_true-unreach-call.c true 59.0  35.5  1083207680 timeout (error (143)) 301    259    2903162880 timeout (error (143)) 304    255    3337461760
eca-rers2012/Problem11_label18_true-unreach-call.c true 77.8  49.5  1278709760 timeout (error (143)) 302    243    3077754880 true 206    156    3094712320
eca-rers2012/Problem11_label21_true-unreach-call.c true 137    89.3  2082447360 timeout (error (143)) 301    237    3150290944 true 200    153    3089104896
eca-rers2012/Problem11_label24_true-unreach-call.c timeout (error (143)) 302    258    1929977856 timeout (error (143)) 301    235    3017494528 error: exception 123    90.2  2972749824
eca-rers2012/Problem11_label26_true-unreach-call.c true 116    80.6  1955340288 timeout (error (143)) 302    246    3058294784 timeout (error (143)) 306    251    3308572672
eca-rers2012/Problem11_label27_true-unreach-call.c true 60.5  37.5  1221369856 timeout (error (143)) 301    255    2920808448 timeout (error (143)) 302    239    3296280576
eca-rers2012/Problem11_label28_true-unreach-call.c true 227    165    2870648832 timeout (error (143)) 301    236    3099717632 timeout (error (143)) 301    225    3107921920
eca-rers2012/Problem11_label30_true-unreach-call.c true 193    139    2463584256 timeout (error (143)) 301    223    3097235456 timeout (error (143)) 301    224    4287979520
eca-rers2012/Problem11_label32_true-unreach-call.c true 69.4  43.3  1257693184 timeout (error (143)) 301    260    2913669120 true 197    151    3116740608
eca-rers2012/Problem11_label33_true-unreach-call.c true 227    198    1293189120 timeout (error (143)) 301    246    3046449152 error: exception 222    175    3220963328
eca-rers2012/Problem11_label37_true-unreach-call.c true 73.3  45.5  1262817280 timeout (error (143)) 301    249    2986725376 error: exception 139    101    2988822528
eca-rers2012/Problem11_label38_true-unreach-call.c true 58.1  34.5  1210540032 timeout (error (143)) 302    241    3056848896 true 170    110    3086721024
eca-rers2012/Problem11_label41_true-unreach-call.c true 260    197    2860937216 timeout (error (143)) 301    239    3067654144 timeout (error (143)) 302    247    3367989248
eca-rers2012/Problem11_label44_true-unreach-call.c true 165    130    1691607040 timeout (error (143)) 301    256    2931523584 error: exception 127    93.0  2985824256
eca-rers2012/Problem11_label46_true-unreach-call.c true 270    215    2948894720 timeout (error (143)) 303    247    3062603776 timeout (error (143)) 301    251    3405012992
eca-rers2012/Problem11_label47_true-unreach-call.c true 121    75.9  1712410624 timeout (error (143)) 301    253    2894376960 timeout (error (143)) 306    259    3375206400
eca-rers2012/Problem11_label52_true-unreach-call.c true 141    95.4  1737744384 timeout (error (143)) 301    258    2893275136 timeout (error (143)) 306    258    3370938368
eca-rers2012/Problem11_label53_true-unreach-call.c true 64.0  38.8  1224388608 timeout (error (143)) 301    240    3037974528 error: exception 227    180    3218100224
eca-rers2012/Problem11_label54_true-unreach-call.c timeout (error (143)) 301    269    1521750016 timeout (error (143)) 302    251    3010465792 error: exception 167    129    3096621056
eca-rers2012/Problem11_label55_true-unreach-call.c true 138    92.7  2108833792 timeout (error (143)) 301    248    2983636992 timeout (error (143)) 301    213    4074315776
eca-rers2012/Problem11_label57_true-unreach-call.c timeout (error: exception) 301    264    1448648704 timeout (error (143)) 303    239    3095711744 timeout (error (143)) 302    255    3168485376
eca-rers2012/Problem11_label59_true-unreach-call.c true 54.5  33.1  1090830336 timeout (error (143)) 301    249    2946375680 error: exception 66.9  41.4  1225801728
eca-rers2012/Problem12_label01_true-unreach-call.c timeout (error (143)) 301    237    3046055936 timeout (error (143)) 305    229    3348135936 error: exception 183    129    3109404672
eca-rers2012/Problem12_label02_true-unreach-call.c timeout (error (143)) 301    237    3245027328 timeout (error (143)) 303    230    2976358400 error: exception 84.8  48.4  1520136192
eca-rers2012/Problem12_label04_true-unreach-call.c timeout (error (143)) 301    235    3658797056 timeout (error (143)) 301    217    3285622784 error: exception 184    135    2982936576
eca-rers2012/Problem12_label05_true-unreach-call.c timeout (error (143)) 303    237    4322713600 timeout (error (143)) 301    236    2990252032 error: exception 99.3  58.7  1521184768
eca-rers2012/Problem12_label09_true-unreach-call.c timeout (error (143)) 301    240    3388203008 timeout (error (143)) 301    236    3165118464 error: exception 103    66.3  1630748672
eca-rers2012/Problem12_label11_true-unreach-call.c timeout (error (143)) 301    228    4340645888 timeout (error (143)) 306    230    3334471680 error: exception 170    115    3002159104
eca-rers2012/Problem12_label12_true-unreach-call.c timeout (error (143)) 301    232    3447164928 timeout (error (143)) 301    233    3039023104 error: exception 182    126    2586320896
eca-rers2012/Problem12_label14_true-unreach-call.c timeout (error (143)) 301    230    4232445952 timeout (error (143)) 301    234    3022888960 error: exception 150    105    2428092416
eca-rers2012/Problem12_label15_true-unreach-call.c true 246    185    3321200640 timeout (error (143)) 302    232    3025891328 error: exception 139    94.2  1869721600
eca-rers2012/Problem12_label16_true-unreach-call.c true 203    154    3375947776 timeout (error (143)) 301    234    3250675712 error: exception 117    79.5  1858912256
eca-rers2012/Problem12_label17_true-unreach-call.c timeout (error (143)) 302    237    4234186752 timeout (error (143)) 301    231    3032137728 error: exception 138    97.7  1862402048
eca-rers2012/Problem12_label18_true-unreach-call.c true 298    223    4217982976 timeout (error (143)) 300    229    3160645632 error: exception 109    71.3  1611280384
eca-rers2012/Problem12_label22_true-unreach-call.c true 218    160    3319386112 timeout (error (143)) 306    237    3325661184 error: exception 159    115    1922588672
eca-rers2012/Problem12_label23_true-unreach-call.c true 289    221    3921301504 timeout (error (143)) 302    230    2974396416 error: exception 259    197    3427311616
eca-rers2012/Problem12_label24_true-unreach-call.c timeout (error (143)) 301    228    3624464384 timeout (error (143)) 301    234    2967203840 error: exception 180    124    2938974208
eca-rers2012/Problem12_label26_true-unreach-call.c true 270    201    4182929408 timeout (error (143)) 301    222    3202428928 error: exception 151    103    2586193920
eca-rers2012/Problem12_label27_true-unreach-call.c timeout (error (143)) 301    229    4261023744 timeout (error (143)) 300    235    2973360128 error: exception 103    61.4  1517629440
eca-rers2012/Problem12_label29_true-unreach-call.c true 245    188    3436261376 timeout (error (143)) 302    240    3039047680 error: exception 152    102    2086531072
eca-rers2012/Problem12_label31_true-unreach-call.c true 282    208    3950415872 timeout (error (143)) 301    241    3161571328 error: exception 214    159    3255648256
eca-rers2012/Problem12_label32_true-unreach-call.c true 282    216    4281712640 timeout (error (143)) 305    250    2975318016 error: exception 87.8  54.9  1343401984
eca-rers2012/Problem12_label33_true-unreach-call.c true 197    141    2938728448 timeout (error (143)) 305    221    3204849664 error: exception 97.5  64.9  1517428736
eca-rers2012/Problem12_label36_true-unreach-call.c true 223    171    2909261824 timeout (error (143)) 301    239    2969894912 error: exception 195    134    3127316480
eca-rers2012/Problem12_label41_true-unreach-call.c timeout (error (143)) 301    232    4486795264 timeout (error (143)) 301    219    2962456576 error: exception 78.4  45.0  1523535872
eca-rers2012/Problem12_label43_true-unreach-call.c true 246    189    3130114048 timeout (error (143)) 301    224    3321663488 error: exception 137    94.0  2580082688
eca-rers2012/Problem12_label44_true-unreach-call.c timeout (error (143)) 301    231    4221231104 timeout (error (143)) 301    239    2994003968 error: exception 81.4  46.4  1499131904
eca-rers2012/Problem12_label45_true-unreach-call.c true 290    220    4167499776 timeout (error (143)) 300    222    3284107264 error: exception 161    108    2648809472
eca-rers2012/Problem12_label46_true-unreach-call.c true 224    165    3702657024 timeout (error (143)) 302    245    3025801216 error: exception 106    69.3  1612689408
eca-rers2012/Problem12_label47_true-unreach-call.c true 207    158    3106320384 timeout (error (143)) 301    219    3299573760 error: exception 164    116    2168692736
eca-rers2012/Problem12_label49_true-unreach-call.c true 214    156    2953449472 timeout (error (143)) 301    231    3316604928 error: exception 180    129    2938150912
eca-rers2012/Problem12_label53_true-unreach-call.c true 214    158    3255762944 timeout (error (143)) 305    226    3352596480 error: exception 159    114    2115530752
eca-rers2012/Problem12_label54_true-unreach-call.c timeout (error (143)) 302    231    3982454784 timeout (error (143)) 300    229    3268280320 error: exception 170    125    2243076096
eca-rers2012/Problem12_label56_true-unreach-call.c true 183    138    2759618560 timeout (error (143)) 301    224    3374247936 error: exception 156    111    2219798528
eca-rers2012/Problem12_label57_true-unreach-call.c timeout (error (143)) 303    250    3089858560 timeout (error (143)) 306    242    3236868096 error: exception 83.1  54.6  1358028800
eca-rers2012/Problem12_label58_true-unreach-call.c true 190    142    3763920896 timeout (error (143)) 306    242    3217231872 error: exception 80.1  51.0  1333063680
eca-rers2012/Problem12_label59_true-unreach-call.c true 252    185    4341780480 timeout (error (143)) 301    238    2974932992 timeout (error: exception) 301    218    4497330176
eca-rers2012/Problem13_label00_true-unreach-call.c timeout (error (143)) 301    231    4404084736 timeout (error (143)) 301    245    2982371328 error: exception 132    97.9  1568862208
eca-rers2012/Problem13_label01_true-unreach-call.c timeout (error (143)) 301    230    4368408576 timeout (error (143)) 302    222    3210289152 error: exception 173    127    1992937472
eca-rers2012/Problem13_label02_true-unreach-call.c timeout (error (143)) 300    227    5470781440 timeout (error (143)) 301    230    3074224128 error: exception 155    108    1807458304
eca-rers2012/Problem13_label03_true-unreach-call.c timeout (error (143)) 307    229    4996395008 timeout (error (143)) 306    238    3179388928 error: exception 171    128    2002292736
eca-rers2012/Problem13_label05_true-unreach-call.c timeout (error (143)) 301    232    4275597312 timeout (error (143)) 301    245    3077410816 error: exception 126    90.3  1693114368
eca-rers2012/Problem13_label08_true-unreach-call.c timeout (error (143)) 302    228    4325339136 timeout (error (143)) 301    222    3073093632 error: exception 139    103    1603493888
eca-rers2012/Problem13_label09_true-unreach-call.c timeout (error (143)) 301    225    5413457920 timeout (error (143)) 302    225    3068542976 error: exception 157    116    1603624960
eca-rers2012/Problem13_label10_true-unreach-call.c timeout (error (143)) 301    230    4000104448 timeout (error (143)) 305    236    3093819392 error: exception 137    99.2  1816379392
eca-rers2012/Problem13_label13_true-unreach-call.c timeout (error (143)) 300    230    4647821312 timeout (error (143)) 302    228    3719368704 error: exception 184    136    2389852160
eca-rers2012/Problem13_label14_true-unreach-call.c timeout (error (143)) 301    233    4373504000 timeout (error (143)) 301    225    3315757056 error: exception 169    127    2015465472
eca-rers2012/Problem13_label15_true-unreach-call.c timeout (error (143)) 301    231    4902440960 timeout (error (143)) 301    225    3156422656 error: exception 155    110    1848971264
eca-rers2012/Problem13_label17_true-unreach-call.c timeout (error (143)) 302    231    4305936384 timeout (error (143)) 306    226    3058372608 error: exception 114    77.6  1588797440
eca-rers2012/Problem13_label18_true-unreach-call.c timeout (error (143)) 301    234    3808280576 timeout (error (143)) 302    234    3271925760 error: exception 169    126    2045546496
eca-rers2012/Problem13_label20_true-unreach-call.c timeout (error (143)) 302    223    4319141888 timeout (error (143)) 306    232    3103928320 error: exception 130    92.0  2032553984
eca-rers2012/Problem13_label22_true-unreach-call.c timeout (error (143)) 301    228    4977758208 timeout (error (143)) 301    235    3096526848 error: exception 149    106    1813069824
eca-rers2012/Problem13_label26_true-unreach-call.c timeout (error (143)) 301    226    5155246080 timeout (error (143)) 302    224    3094339584 error: exception 141    98.2  1787764736
eca-rers2012/Problem13_label27_true-unreach-call.c timeout (error (143)) 302    232    4399349760 timeout (error (143)) 301    228    3059130368 error: exception 108    74.6  1390276608
eca-rers2012/Problem13_label31_true-unreach-call.c timeout (error (143)) 302    227    5231095808 timeout (error (143)) 301    224    3067916288 error: exception 144    105    1812942848
eca-rers2012/Problem13_label33_true-unreach-call.c timeout (error (143)) 301    231    4389584896 timeout (error (143)) 301    228    3085504512 error: exception 125    87.6  1602908160
eca-rers2012/Problem13_label34_true-unreach-call.c timeout (error (143)) 300    228    4670427136 timeout (error (143)) 301    222    3138707456 error: exception 138    98.3  1880731648
eca-rers2012/Problem13_label37_true-unreach-call.c timeout (error (143)) 301    234    3520118784 timeout (error (143)) 302    222    3052118016 error: exception 116    79.3  1617805312
eca-rers2012/Problem13_label38_true-unreach-call.c timeout (error (143)) 311    241    4714315776 timeout (error (143)) 301    223    3063431168 error: exception 106    73.7  1626058752
eca-rers2012/Problem13_label39_true-unreach-call.c timeout (error (143)) 301    231    4389203968 timeout (error (143)) 306    237    3084443648 error: exception 149    111    1564614656
eca-rers2012/Problem13_label41_true-unreach-call.c timeout (error (143)) 301    236    4271038464 timeout (error (143)) 302    233    3048230912 error: exception 143    98.5  1792831488
eca-rers2012/Problem13_label42_true-unreach-call.c timeout (error (143)) 301    231    4545675264 timeout (error (143)) 301    225    3077885952 error: exception 112    75.5  1802502144
eca-rers2012/Problem13_label46_true-unreach-call.c timeout (error (143)) 301    229    4722388992 timeout (error (143)) 301    225    3062562816 error: exception 115    76.4  2243190784
eca-rers2012/Problem13_label47_true-unreach-call.c timeout (error (143)) 302    232    4455235584 timeout (error (143)) 306    231    3118346240 error: exception 116    79.5  1530257408
eca-rers2012/Problem13_label49_true-unreach-call.c timeout (error (143)) 303    225    5159288832 timeout (error (143)) 301    213    3049603072 error: exception 142    102    1891893248
eca-rers2012/Problem13_label50_true-unreach-call.c timeout (error (143)) 301    226    4358619136 timeout (error (143)) 302    224    3094339584 error: exception 143    103    1600684032
eca-rers2012/Problem13_label52_true-unreach-call.c timeout (error (143)) 303    234    4296744960 timeout (error (143)) 301    228    3970519040 error: exception 231    176    3265138688
eca-rers2012/Problem13_label53_true-unreach-call.c timeout (error (143)) 301    235    4511911936 timeout (error (143)) 302    231    3230490624 error: exception 161    117    2007351296
eca-rers2012/Problem13_label55_true-unreach-call.c timeout (error: exception) 301    228    4347674624 timeout (error (143)) 302    228    3141812224 error: exception 166    123    1858326528
eca-rers2012/Problem13_label56_true-unreach-call.c timeout (error (143)) 301    233    4304379904 timeout (error (143)) 301    218    3049381888 error: exception 114    77.5  1592041472
eca-rers2012/Problem13_label57_true-unreach-call.c timeout (error (143)) 306    229    5436817408 timeout (error (143)) 301    219    3043880960 error: exception 112    75.7  1532301312
eca-rers2012/Problem13_label59_true-unreach-call.c timeout (error (143)) 303    237    4792578048 timeout (error (143)) 303    228    3146313728 error: exception 188    139    2496610304
eca-rers2012/Problem14_label01_true-unreach-call_false-termination.c true 59.1  35.7  1230233600 timeout (error (143)) 301    234    2979217408 error: exception 91.3  60.6  2902216704
eca-rers2012/Problem14_label04_true-unreach-call_false-termination.c timeout (error (143)) 301    258    2925318144 timeout (error (143)) 301    246    3079897088 error: exception 83.6  55.3  2895974400
eca-rers2012/Problem14_label05_true-unreach-call_false-termination.c true 88.2  56.0  2071613440 timeout (error (143)) 301    243    3024793600 error: exception 103    69.9  2889564160
eca-rers2012/Problem14_label06_true-unreach-call_false-termination.c true 108    65.4  1786523648 timeout (error (143)) 300    233    2950500352 error: exception 76.0  47.8  2872250368
eca-rers2012/Problem14_label07_true-unreach-call_false-termination.c true 140    92.2  2862387200 timeout (error (143)) 301    237    2959355904 error: exception 70.7  43.1  2475311104
eca-rers2012/Problem14_label09_true-unreach-call_false-termination.c true 227    171    2923708416 timeout (error (143)) 301    248    2991939584 error: exception 90.7  59.6  2911809536
eca-rers2012/Problem14_label16_true-unreach-call_false-termination.c true 66.9  41.6  1235230720 timeout (error (143)) 301    243    2994987008 error: exception 91.4  61.1  2886148096
eca-rers2012/Problem14_label17_true-unreach-call_false-termination.c true 63.7  39.6  1362931712 timeout (error (143)) 301    245    2946383872 error: exception 129    92.5  2939437056
eca-rers2012/Problem14_label19_true-unreach-call_false-termination.c true 138    93.0  2913677312 timeout (error (143)) 305    239    3049578496 error: exception 47.7  29.8  1118490624
eca-rers2012/Problem14_label21_true-unreach-call_false-termination.c true 84.8  54.0  1692377088 timeout (error (143)) 301    248    2954784768 error: exception 69.1  41.9  2547744768
eca-rers2012/Problem14_label23_true-unreach-call_false-termination.c true 150    97.8  2889838592 timeout (error (143)) 303    236    2928824320 error: exception 101    65.3  2898477056
eca-rers2012/Problem14_label24_true-unreach-call_false-termination.c true 127    79.7  2872745984 timeout (error (143)) 301    242    2987057152 error: exception 84.7  55.6  2913562624
eca-rers2012/Problem14_label26_true-unreach-call_false-termination.c true 105    64.4  1892605952 timeout (error (143)) 301    249    2957242368 error: exception 66.2  40.2  2473730048
eca-rers2012/Problem14_label32_true-unreach-call_false-termination.c true 94.8  58.6  1911422976 timeout (error (143)) 305    234    2954530816 error: exception 83.8  54.2  2906902528
eca-rers2012/Problem14_label33_true-unreach-call_false-termination.c true 66.0  39.9  1305653248 timeout (error (143)) 302    234    2978369536 error: exception 132    95.8  2910842880
eca-rers2012/Problem14_label36_true-unreach-call_false-termination.c true 72.7  44.6  1562681344 timeout (error (143)) 301    231    3028815872 error: exception 70.6  42.7  2868826112
eca-rers2012/Problem14_label42_true-unreach-call_false-termination.c true 80.0  49.9  1358839808 timeout (error (143)) 301    244    2994266112 error: exception 92.2  62.6  2924306432
eca-rers2012/Problem14_label45_true-unreach-call_false-termination.c true 130    86.1  2889150464 timeout (error (143)) 300    240    3043368960 error: exception 82.0  53.2  2888888320
eca-rers2012/Problem14_label46_true-unreach-call_false-termination.c timeout (error (143)) 302    248    2895003648 timeout (error (143)) 301    223    3030089728 error: exception 93.4  62.8  2917720064
eca-rers2012/Problem14_label47_true-unreach-call_false-termination.c true 82.8  52.5  1698234368 timeout (error (143)) 302    246    2995056640 error: exception 94.2  64.1  2923241472
eca-rers2012/Problem14_label48_true-unreach-call_false-termination.c timeout (error (143)) 302    246    2893647872 timeout (error (143)) 301    240    3076153344 error: exception 67.2  40.1  2413363200
eca-rers2012/Problem14_label49_true-unreach-call_false-termination.c true 109    64.5  1705476096 timeout (error (143)) 301    247    3089444864 error: exception 84.0  55.8  2906382336
eca-rers2012/Problem14_label50_true-unreach-call_false-termination.c true 133    85.7  2872934400 timeout (error (143)) 301    241    2979840000 error: exception 75.9  48.9  2900500480
eca-rers2012/Problem14_label51_true-unreach-call_false-termination.c timeout (error (143)) 301    247    2912354304 timeout (error (143)) 301    246    3051626496 error: exception 67.4  40.1  2412396544
eca-rers2012/Problem14_label53_true-unreach-call_false-termination.c timeout (error (143)) 301    244    2890182656 timeout (error (143)) 301    249    2987569152 error: exception 88.0  57.0  2905145344
eca-rers2012/Problem14_label55_true-unreach-call_false-termination.c true 138    91.0  2881978368 timeout (error (143)) 301    249    2991886336 error: exception 67.5  41.5  2857201664
eca-rers2012/Problem14_label59_true-unreach-call_false-termination.c true 75.2  46.8  1679720448 timeout (error (143)) 303    246    3049492480 error: exception 52.2  33.0  1036107776
eca-rers2012/Problem15_label01_true-unreach-call.c timeout (error (143)) 303    257    2616692736 timeout (error (143)) 301    249    3004071936 error: exception 93.7  58.1  1966039040
eca-rers2012/Problem15_label04_true-unreach-call.c true 288    228    2943483904 timeout (error (143)) 301    254    2892976128 timeout (error (143)) 300    227    3516182528
eca-rers2012/Problem15_label05_true-unreach-call.c true 211    156    2859421696 timeout (error (143)) 301    250    2899087360 timeout (error (143)) 302    224    3453128704
eca-rers2012/Problem15_label06_true-unreach-call.c true 210    158    2816839680 timeout (error (143)) 301    239    3348709376 timeout (error (143)) 301    245    3682336768
eca-rers2012/Problem15_label08_true-unreach-call.c timeout (error (143)) 301    241    2885754880 timeout (error (143)) 301    228    3264139264 error: exception 144    106    2944700416
eca-rers2012/Problem15_label10_true-unreach-call.c timeout (error (143)) 305    240    2951028736 timeout (error (143)) 301    235    3301687296 error: exception 110    73.3  2856030208
eca-rers2012/Problem15_label11_true-unreach-call.c true 217    162    2893463552 timeout (error (143)) 301    243    3047112704 error: exception 103    66.2  2581229568
eca-rers2012/Problem15_label12_true-unreach-call.c timeout (error (143)) 302    254    2939056128 timeout (error (143)) 301    251    3205464064 error: exception 66.5  41.3  2241822720
eca-rers2012/Problem15_label13_true-unreach-call.c timeout (error (143)) 302    245    2997796864 timeout (error (143)) 301    245    3210080256 error: exception 61.7  35.9  2149249024
eca-rers2012/Problem15_label16_true-unreach-call.c timeout (error (143)) 303    241    2900074496 timeout (error (143)) 301    246    3152445440 error: exception 94.1  62.6  1603985408
eca-rers2012/Problem15_label19_true-unreach-call.c timeout (error (143)) 301    250    2955214848 timeout (error (143)) 302    237    3238805504 error: exception 158    113    2978693120
eca-rers2012/Problem15_label20_true-unreach-call.c true 171    120    2414714880 timeout (error (143)) 301    226    3333304320 timeout (error (143)) 305    236    3699499008
eca-rers2012/Problem15_label21_true-unreach-call.c true 173    126    2647040000 timeout (error (143)) 301    234    3020824576 error: exception 97.9  60.9  1979162624
eca-rers2012/Problem15_label26_true-unreach-call.c true 248    194    2702069760 timeout (error (143)) 301    245    3144650752 timeout (error (143)) 302    247    3764727808
eca-rers2012/Problem15_label27_true-unreach-call.c timeout (error (143)) 302    264    2052567040 timeout (error (143)) 301    252    2890776576 error: exception 184    143    3229147136
eca-rers2012/Problem15_label28_true-unreach-call.c true 207    153    2727485440 timeout (error (143)) 302    237    3060117504 error: exception 141    98.3  2093690880
eca-rers2012/Problem15_label31_true-unreach-call.c true 160    115    2372898816 timeout (error (143)) 301    218    3199541248 error: exception 117    78.7  2869960704
eca-rers2012/Problem15_label32_true-unreach-call.c timeout (error (143)) 302    223    2910957568 timeout (error (143)) 301    246    3205091328 error: exception 70.6  41.6  2185723904
eca-rers2012/Problem15_label35_true-unreach-call.c true 156    110    2256142336 timeout (error (143)) 301    237    3106861056 error: exception 100    63.6  2520141824
eca-rers2012/Problem15_label36_true-unreach-call.c true 166    118    2389520384 timeout (error (143)) 301    249    2949201920 timeout (error (143)) 302    244    3619528704
eca-rers2012/Problem15_label42_true-unreach-call.c timeout (error (143)) 302    261    2176937984 timeout (error (143)) 301    236    3300741120 error: exception 109    71.3  2858041344
eca-rers2012/Problem15_label43_true-unreach-call.c true 164    116    1827155968 timeout (error (143)) 301    242    3092979712 error: exception 111    74.7  2917433344
eca-rers2012/Problem15_label44_true-unreach-call.c true 236    173    2947047424 timeout (error (143)) 301    254    2940481536 error: exception 103    67.4  2913714176
eca-rers2012/Problem15_label46_true-unreach-call.c timeout (error (143)) 302    250    2620940288 timeout (error (143)) 301    225    3269996544 error: exception 182    127    3019481088
eca-rers2012/Problem15_label49_true-unreach-call.c timeout (error (143)) 302    259    2251673600 timeout (error (143)) 301    239    3143622656 error: exception 115    77.2  2860077056
eca-rers2012/Problem15_label52_true-unreach-call.c timeout (error (143)) 303    236    2956656640 timeout (error (143)) 301    260    2892853248 error: exception 107    69.8  2877194240
eca-rers2012/Problem15_label53_true-unreach-call.c true 147    106    1926238208 timeout (error (143)) 301    237    3199688704 error: exception 95.5  60.9  2592014336
eca-rers2012/Problem15_label54_true-unreach-call.c true 139    101    1667211264 timeout (error (143)) 301    247    3199893504 error: exception 65.3  38.3  2186493952
eca-rers2012/Problem15_label55_true-unreach-call.c true 146    103    1886044160 timeout (error (143)) 301    254    2949906432 error: exception 95.7  62.8  2845847552
eca-rers2012/Problem15_label56_true-unreach-call.c true 113    79.0  1727827968 timeout (error (143)) 301    252    2947710976 error: exception 105    68.1  2881462272
eca-rers2012/Problem15_label57_true-unreach-call.c timeout (error (143)) 302    260    2896576512 timeout (error (143)) 301    243    3155886080 error: exception 113    72.9  2844696576
eca-rers2012/Problem15_label58_true-unreach-call.c true 105    73.1  1767067648 timeout (error (143)) 301    241    3226009600 error: exception 119    80.6  2894282752
eca-rers2012/Problem15_label59_true-unreach-call.c true 225    166    3058298880 timeout (error (143)) 301    255    2970861568 error: exception 144    102    1841950720
eca-rers2012/Problem16_label02_true-unreach-call.c timeout (error (143)) 302    247    2902810624 timeout (error (143)) 300    233    2951061504 error: exception 182    130    3021156352
eca-rers2012/Problem16_label07_true-unreach-call.c true 141    94.5  2875248640 timeout (error (143)) 301    229    2987483136 error: exception 126    91.2  2929901568
eca-rers2012/Problem16_label09_true-unreach-call.c true 106    73.8  1766080512 timeout (error (143)) 301    246    3071492096 error: exception 87.7  55.2  2884337664
eca-rers2012/Problem16_label10_true-unreach-call.c true 120    79.8  2004754432 timeout (error (143)) 301    236    3021402112 error: exception 114    72.7  2095882240
eca-rers2012/Problem16_label11_true-unreach-call.c true 120    76.3  2133958656 timeout (error (143)) 301    245    2993827840 error: exception 80.5  49.3  1916485632
eca-rers2012/Problem16_label12_true-unreach-call.c true 181    126    2989785088 timeout (error (143)) 300    228    2984296448 error: exception 107    69.0  2135228416
eca-rers2012/Problem16_label13_true-unreach-call.c true 121    83.5  2576863232 timeout (error (143)) 301    235    3000905728 error: exception 92.4  55.4  2002628608
eca-rers2012/Problem16_label16_true-unreach-call.c true 101    66.4  2081193984 timeout (error (143)) 301    242    2987524096 error: exception 153    104    2960805888
eca-rers2012/Problem16_label17_true-unreach-call.c true 141    92.9  2671730688 timeout (error (143)) 300    228    3166547968 error: exception 222    185    3012644864
eca-rers2012/Problem16_label19_true-unreach-call.c true 134    90.3  2923999232 timeout (error (143)) 301    234    3046744064 error: exception 105    66.2  1532583936
eca-rers2012/Problem16_label21_true-unreach-call.c true 258    192    3132444672 timeout (error (143)) 302    243    3034611712 error: exception 67.5  40.1  1443098624
eca-rers2012/Problem16_label23_true-unreach-call.c true 170    116    2915598336 timeout (error (143)) 301    245    3099512832 error: exception 69.2  40.5  1417060352
eca-rers2012/Problem16_label24_true-unreach-call.c true 110    73.9  2641940480 timeout (error (143)) 301    246    2966007808 error: exception 73.9  43.3  1458110464
eca-rers2012/Problem16_label25_true-unreach-call.c true 120    78.2  2736594944 timeout (error (143)) 301    245    3056181248 error: exception 70.3  40.9  1477505024
eca-rers2012/Problem16_label26_true-unreach-call.c true 122    80.6  2862202880 timeout (error (143)) 301    239    3073671168 error: exception 80.2  48.8  1452609536
eca-rers2012/Problem16_label28_true-unreach-call.c true 165    117    2892644352 timeout (error (143)) 301    242    3058601984 error: exception 67.8  40.0  1456074752
eca-rers2012/Problem16_label29_true-unreach-call.c true 278    204    2955186176 timeout (error (143)) 301    241    3034476544 error: exception 69.4  40.4  1420824576
eca-rers2012/Problem16_label32_true-unreach-call.c true 179    126    2987954176 timeout (error (143)) 300    216    3020824576 error: exception 93.1  56.2  2298060800
eca-rers2012/Problem16_label34_true-unreach-call.c true 123    82.5  2425978880 timeout (error (143)) 301    226    3095785472 error: exception 99.7  62.0  2424139776
eca-rers2012/Problem16_label35_true-unreach-call.c true 147    97.3  2895126528 timeout (error (143)) 301    251    2956353536 error: exception 150    109    3020713984
eca-rers2012/Problem16_label36_true-unreach-call.c true 92.9  61.9  2801180672 timeout (error (143)) 301    245    2958225408 error: exception 72.4  42.2  1440677888
eca-rers2012/Problem16_label39_true-unreach-call.c true 134    88.8  2955747328 timeout (error (143)) 301    230    3124551680 error: exception 106    66.9  2875985920
eca-rers2012/Problem16_label40_true-unreach-call.c true 139    93.8  2891317248 timeout (error (143)) 301    229    3126628352 error: exception 68.4  39.1  1461891072
eca-rers2012/Problem16_label42_true-unreach-call.c true 144    96.0  3044896768 timeout (error (143)) 301    248    3059781632 error: exception 67.8  39.2  1435987968
eca-rers2012/Problem16_label45_true-unreach-call.c true 266    200    3017314304 timeout (error (143)) 301    227    3087609856 error: exception 105    65.3  2236264448
eca-rers2012/Problem16_label47_true-unreach-call.c true 81.1  50.8  1281134592 timeout (error (143)) 301    244    3080187904 error: exception 93.0  57.8  2858188800
eca-rers2012/Problem16_label48_true-unreach-call.c true 79.6  50.3  1281961984 timeout (error (143)) 301    230    3076001792 error: exception 88.7  55.0  2857713664
eca-rers2012/Problem16_label49_true-unreach-call.c true 96.1  61.8  1488195584 timeout (error (143)) 301    233    3058819072 error: exception 99.0  60.3  1741189120
eca-rers2012/Problem16_label50_true-unreach-call.c true 41.4  25.7  904077312 timeout (error (143)) 301    226    3184566272 error: exception 121    76.8  2801287168
eca-rers2012/Problem16_label53_true-unreach-call.c true 251    190    3196080128 timeout (error (143)) 301    237    3121864704 error: exception 97.0  59.7  2492227584
eca-rers2012/Problem16_label55_true-unreach-call.c true 81.0  53.6  1505759232 timeout (error (143)) 301    252    2964201472 error: exception 67.3  38.4  1333747712
eca-rers2012/Problem16_label56_true-unreach-call.c true 42.3  25.2  906854400 timeout (error (143)) 301    250    2990317568 error: exception 66.0  38.6  1280790528
eca-rers2012/Problem16_label57_true-unreach-call.c true 60.7  39.3  1236774912 timeout (error (143)) 301    247    3059208192 error: exception 72.5  41.5  1400147968
eca-rers2012/Problem16_label58_true-unreach-call.c true 100    65.0  1880993792 timeout (error (143)) 301    242    3032612864 error: exception 64.6  37.5  1333862400
eca-rers2012/Problem16_label59_true-unreach-call.c true 128    83.0  2858913792 timeout (error (143)) 301    222    3108257792 error: exception 111    69.8  1573056512
eca-rers2012/Problem17_label03_true-unreach-call.c timeout (error (143)) 301    237    2979921920 timeout (error (143)) 302    216    3169284096 error: exception 189    138    3081392128
eca-rers2012/Problem17_label05_true-unreach-call.c timeout (error (143)) 302    251    2335375360 timeout (error (143)) 302    236    3278004224 error: exception 265    223    3111604224
eca-rers2012/Problem17_label15_true-unreach-call.c timeout (error (143)) 302    254    2859593728 timeout (error (143)) 302    232    3102044160 error: exception 211    180    1354522624
eca-rers2012/Problem17_label21_true-unreach-call.c timeout (error (143)) 301    275    1320402944 timeout (error (143)) 301    225    3227918336 error: exception 216    178    3065147392
eca-rers2012/Problem17_label29_true-unreach-call.c timeout (error (143)) 301    235    3148677120 timeout (error (143)) 303    242    3269132288 error: exception 159    117    2874482688
eca-rers2012/Problem17_label38_true-unreach-call.c timeout (error (143)) 301    272    1319870464 timeout (error (143)) 301    252    2980429824 timeout 322    256    6279020544
eca-rers2012/Problem17_label41_true-unreach-call.c timeout (error (143)) 303    260    2678624256 timeout (error (143)) 301    240    3346919424 error: exception 218    178    3060277248
eca-rers2012/Problem17_label42_true-unreach-call.c true 272    214    3446837248 timeout (error (143)) 302    233    3321561088 timeout (error (143)) 301    226    3533316096
eca-rers2012/Problem17_label45_true-unreach-call.c timeout (error (143)) 300    275    1180651520 timeout (error (143)) 301    235    3358453760 error: exception 220    177    3079331840
eca-rers2012/Problem17_label56_true-unreach-call.c timeout (error (143)) 302    276    1386487808 timeout (error (143)) 301    242    3012263936 error: exception 280    223    2924081152
eca-rers2012/Problem18_label02_true-unreach-call.c true 158    111    3098832896 timeout (error (143)) 301    225    3200167936 error: exception 160    116    3033231360
eca-rers2012/Problem18_label04_true-unreach-call.c timeout (error (143)) 301    231    4365541376 timeout (error (143)) 301    231    3296862208 error: exception 170    120    3072045056
eca-rers2012/Problem18_label05_true-unreach-call.c timeout (error (143)) 302    241    3648966656 timeout (error (143)) 301    232    3218321408 error: exception 169    121    3033382912
eca-rers2012/Problem18_label07_true-unreach-call.c true 161    112    3014103040 timeout (error (143)) 301    229    3222478848 error: exception 165    117    3031486464
eca-rers2012/Problem18_label11_true-unreach-call.c true 197    144    3009552384 timeout (error (143)) 301    228    3118804992 error: exception 116    77.9  2712195072
eca-rers2012/Problem18_label13_true-unreach-call.c true 219    158    3739652096 timeout (error (143)) 300    224    3239378944 error: exception 285    236    3234373632
eca-rers2012/Problem18_label14_true-unreach-call.c timeout (error (143)) 301    233    4174036992 timeout (error (143)) 301    222    3268272128 error: exception 141    93.8  2977886208
eca-rers2012/Problem18_label15_true-unreach-call.c timeout (error (143)) 301    233    3922718720 timeout (error (143)) 302    200    3246804992 error: exception 156    109    3016220672
eca-rers2012/Problem18_label16_true-unreach-call.c true 245    179    3622498304 timeout (error (143)) 301    213    3358380032 error: exception 284    227    3258990592
eca-rers2012/Problem18_label17_true-unreach-call.c true 211    153    3249627136 timeout (error (143)) 301    229    3246882816 error: exception 157    110    2997366784
eca-rers2012/Problem18_label18_true-unreach-call.c true 220    156    3175309312 timeout (error (143)) 301    231    3055620096 error: exception 97.4  62.8  2089009152
eca-rers2012/Problem18_label21_true-unreach-call.c true 272    201    3592667136 timeout (error (143)) 301    238    3200491520 error: exception 82.1  51.4  1827667968
eca-rers2012/Problem18_label22_true-unreach-call.c true 272    201    3978338304 timeout (error (143)) 301    238    3043778560 error: exception 90.6  60.5  1455849472
eca-rers2012/Problem18_label23_true-unreach-call.c true 225    160    3900878848 timeout (error (143)) 301    234    3199614976 error: exception 90.6  60.2  1447276544
eca-rers2012/Problem18_label24_true-unreach-call.c timeout (error (143)) 306    238    3713622016 timeout (error (143)) 300    222    3310587904 error: exception 154    106    2999586816
eca-rers2012/Problem18_label26_true-unreach-call.c timeout (error (143)) 301    232    3746603008 timeout (error (143)) 300    227    3247603712 error: exception 162    115    3030073344
eca-rers2012/Problem18_label28_true-unreach-call.c true 231    164    3850010624 timeout (error (143)) 300    224    3223392256 error: exception 146    98.4  3034836992
eca-rers2012/Problem18_label29_true-unreach-call.c timeout (error (143)) 301    231    3952615424 timeout (error (143)) 301    233    3189288960 error: exception 90.2  60.2  1436491776
eca-rers2012/Problem18_label30_true-unreach-call.c true 155    108    3044241408 timeout (error (143)) 303    226    3298025472 error: exception 183    127    3035648000
eca-rers2012/Problem18_label37_true-unreach-call.c true 282    213    3831279616 timeout (error (143)) 301    234    3189370880 error: exception 90.0  60.5  1448628224
eca-rers2012/Problem18_label40_true-unreach-call.c true 148    106    2638995456 timeout (error (143)) 301    227    3073683456 error: exception 121    79.4  2135543808
eca-rers2012/Problem18_label41_true-unreach-call.c true 216    155    3054170112 timeout (error (143)) 301    235    3104063488 error: exception 122    81.6  2913259520
eca-rers2012/Problem18_label42_true-unreach-call.c true 184    130    2873139200 timeout (error (143)) 301    239    3172491264 error: exception 131    86.6  2981105664
eca-rers2012/Problem18_label43_true-unreach-call.c true 243    177    3571154944 timeout (error (143)) 301    227    3097968640 error: exception 97.2  61.7  1558130688
eca-rers2012/Problem18_label44_true-unreach-call.c true 170    122    3155427328 timeout (error (143)) 302    214    3454169088 error: exception 172    119    2969866240
eca-rers2012/Problem18_label46_true-unreach-call.c true 146    100    2860843008 timeout (error (143)) 301    230    3261100032 error: exception 144    101    3086524416
eca-rers2012/Problem18_label47_true-unreach-call.c true 159    110    2985623552 timeout (error (143)) 301    226    3199762432 error: exception 155    108    2998624256
eca-rers2012/Problem18_label48_true-unreach-call.c true 156    107    2725761024 timeout (error (143)) 301    212    3195588608 error: exception 138    91.2  3035549696
eca-rers2012/Problem18_label50_true-unreach-call.c true 198    141    3408506880 timeout (error (143)) 300    226    3241533440 error: exception 92.3  60.1  1442037760
eca-rers2012/Problem18_label51_true-unreach-call.c true 130    90.5  2243117056 timeout (error (143)) 301    230    3246841856 error: exception 151    107    3111981056
eca-rers2012/Problem18_label53_true-unreach-call.c true 191    137    3543621632 timeout (error (143)) 306    227    3330801664 error: exception 150    97.3  2938044416
eca-rers2012/Problem18_label54_true-unreach-call.c true 218    156    3803136000 timeout (error (143)) 301    211    3068633088 error: exception 120    75.0  1896275968
eca-rers2012/Problem18_label56_true-unreach-call.c true 166    118    3019911168 timeout (error (143)) 300    226    3257352192 error: exception 164    111    3067969536
eca-rers2012/Problem18_label58_true-unreach-call.c true 192    136    3303280640 timeout (error (143)) 301    228    3219505152 error: exception 125    82.5  2896453632
eca-rers2012/Problem18_label59_true-unreach-call.c true 281    205    3989696512 timeout (error (143)) 301    230    3246276608 error: exception 166    117    2985676800
eca-rers2012/Problem19_label12_true-unreach-call.c timeout (error (143)) 301    236    3897126912 timeout (error (143)) 301    216    3099299840 error: exception 292    236    3113066496
eca-rers2012/Problem19_label35_true-unreach-call.c timeout (error: exception) 302    242    3406987264 timeout (error (143)) 300    217    3109216256 timeout (error (143)) 306    239    3224326144
psyco/psyco_abp_1_false-unreach-call_false-termination_true-no-overflow.c false 103    60.4  1395654656 timeout (error (143)) 301    234    2971332608 false 116    70.6  1953980416
psyco/psyco_cev_1_false-unreach-call.c out of memory 269    196    8000000000 timeout (error (143)) 302    217    7921283072 timeout (error (143)) 301    217    7986958336
psyco/psyco_abp_1_true-unreach-call_false-termination_true-no-overflow.c true 64.3  35.9  1149358080 timeout (error (143)) 301    253    2981072896 true 69.7  38.3  1182760960
../../../trunk/examples/svcomp/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
total 664 130000 96400 1956203196416 664 201000 161000 2174799400960 664 110000 79400 1901554544640
    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.ECA Taipan.ECA Taipan-EXP.ECA