Tool ULTIMATE Automizer 0.1.23-1dbac8bc
Limits timelimit: 300 s, memlimit: 8000 MB, CPU core limit: 2
Host struebli
OS Linux-4.16.18-gentoo-x86_64-AMD_EPYC_7351P_16-Core_Processor-with-gentoo-2.4.1
System CPU: AMD EPYC 7351P 16-Core Processor, cores: 32, frequency: 2400 MHz; RAM: 135158 MB
Date of execution 2018-10-26 18:21:01 CEST
Run set Automizer Taipan Taipan-EXP
Options -tc ../../../trunk/examples/toolchains/AutomizerCInline.xml -s ../../../trunk/examples/settings/default/automizer/svcomp-Reach-64bit-Automizer_Default.epf -tc ../../../trunk/examples/toolchains/AutomizerCInline.xml -s ../../../trunk/examples/settings/default/taipan/svcomp-Reach-64bit-Taipan_Default.epf -tc ../../../trunk/examples/toolchains/AutomizerCInline.xml -s ../../../trunk/examples/settings/default/taipan/svcomp-Reach-64bit-Taipan_Default-EXP.epf
../../../trunk/examples/svcomp/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
eca-rers2012/Problem01_label15_false-unreach-call_false-termination.c false 60.3  36.2  1191469056 timeout (error (143)) 302    262    2913624064 false 144    93.9  2091507712
eca-rers2012/Problem01_label20_false-unreach-call_false-termination.c false 55.4  32.8  1185505280 timeout (error (143)) 301    260    2930040832 false 163    106    2780188672
eca-rers2012/Problem01_label21_false-unreach-call_false-termination.c false 49.6  30.4  1193398272 timeout (error (143)) 301    265    2903969792 false 158    104    2886381568
eca-rers2012/Problem01_label32_false-unreach-call_false-termination.c false 56.3  32.9  1093091328 timeout (error (143)) 301    267    2913169408 false 150    96.7  2624651264
eca-rers2012/Problem01_label33_false-unreach-call_false-termination.c false 51.2  30.8  1130147840 timeout (error (143)) 301    265    2915307520 false 139    87.4  2320056320
eca-rers2012/Problem01_label35_false-unreach-call_false-termination.c false 50.6  29.3  1034084352 timeout (error (143)) 301    261    2937405440 false 119    73.9  1865818112
eca-rers2012/Problem01_label37_false-unreach-call_false-termination.c false 60.9  37.0  1247805440 timeout (error (143)) 301    264    2913267712 false 97.6  61.2  1825517568
eca-rers2012/Problem01_label38_false-unreach-call_false-termination.c false 49.9  29.4  1021169664 timeout (error (143)) 302    265    2904514560 false 129    81.9  2282065920
eca-rers2012/Problem01_label44_false-unreach-call_false-termination.c false 42.7  24.9  1007693824 timeout (error (143)) 302    264    2912256000 false 89.5  54.6  1542193152
eca-rers2012/Problem01_label47_false-unreach-call_false-termination.c false 57.6  33.5  1177456640 timeout (error (143)) 302    260    2921443328 false 125    79.2  1891241984
eca-rers2012/Problem01_label50_false-unreach-call_false-termination.c false 51.2  29.9  1047916544 timeout (error (143)) 301    258    2914881536 false 134    84.4  2311991296
eca-rers2012/Problem01_label56_false-unreach-call_false-termination.c false 51.4  30.2  1065107456 timeout (error (143)) 301    265    2905706496 false 144    93.3  2260717568
eca-rers2012/Problem01_label57_false-unreach-call_false-termination.c false 63.8  38.0  1180282880 timeout (error (143)) 301    267    2895036416 false 135    88.0  2340765696
eca-rers2012/Problem02_label13_false-unreach-call_false-termination.c false 32.1  18.4  858370048 timeout (error (143)) 301    253    2939858944 false 88.8  53.8  1412673536
eca-rers2012/Problem02_label43_false-unreach-call_false-termination.c false 47.2  26.8  950689792 timeout (error (143)) 301    258    2916823040 false 70.3  39.9  1227587584
eca-rers2012/Problem02_label44_false-unreach-call_false-termination.c false 56.8  32.2  1032572928 timeout (error (143)) 301    260    2954862592 false 67.6  38.9  1224622080
eca-rers2012/Problem02_label45_false-unreach-call_false-termination.c false 55.9  32.8  1046986752 timeout (error (143)) 301    269    2909167616 false 78.2  47.1  1237549056
eca-rers2012/Problem02_label50_false-unreach-call_false-termination.c false 54.8  31.6  997986304 timeout (error (143)) 302    270    2912288768 false 102    62.0  1503072256
eca-rers2012/Problem02_label59_false-unreach-call_false-termination.c false 56.9  32.8  1073037312 timeout (error (143)) 301    269    2891083776 false 80.3  46.2  1273188352
eca-rers2012/Problem03_label26_false-unreach-call.c timeout 322    214    7779856384 timeout (error (143)) 304    281    2899320832 timeout (error (143)) 301    229    3748405248
eca-rers2012/Problem03_label27_false-unreach-call.c false 159    97.3  4538068992 timeout (error (143)) 302    272    2916446208 false 277    194    3944349696
eca-rers2012/Problem03_label31_false-unreach-call.c false 159    107    3908460544 timeout (error (143)) 302    281    2881347584 timeout (error (143)) 301    225    4403773440
eca-rers2012/Problem03_label37_false-unreach-call.c false 219    139    5819764736 timeout (error (143)) 306    282    2900197376 false 252    180    3637682176
eca-rers2012/Problem03_label43_false-unreach-call.c timeout (error (143)) 302    203    6325010432 timeout (error (143)) 302    276    2912374784 false 254    178    4231147520
eca-rers2012/Problem03_label50_false-unreach-call.c false 184    125    4593373184 timeout (error (143)) 303    279    2897457152 timeout (error (143)) 302    230    4155887616
eca-rers2012/Problem04_label14_false-unreach-call_false-termination.c timeout (error: exception) 302    218    4370067456 timeout (error (143)) 301    263    2969268224 timeout (error (143)) 300    234    4241813504
eca-rers2012/Problem04_label38_false-unreach-call.c timeout (error: exception) 301    210    4349177856 timeout (error (143)) 301    251    2980573184 timeout (error (143)) 301    233    4283731968
eca-rers2012/Problem06_label15_false-unreach-call.c timeout 322    216    6189019136 timeout (error (143)) 303    262    2994417664 timeout (error (143)) 301    242    3902910464
eca-rers2012/Problem08_label28_false-unreach-call.c timeout (error (143)) 305    225    5279608832 timeout 322    239    5809250304 timeout (error (143)) 306    240    4753588224
eca-rers2012/Problem08_label48_false-unreach-call.c timeout (error (143)) 305    231    4920623104 timeout (error (143)) 306    243    4747272192 timeout (error: exception) 302    241    4788187136
eca-rers2012/Problem08_label51_false-unreach-call.c timeout (error (143)) 306    238    4813811712 timeout (error (143)) 306    235    4829786112 timeout (error: exception) 301    238    4981469184
eca-rers2012/Problem09_label02_false-unreach-call.c timeout (error (143)) 306    235    4853825536 timeout (error (143)) 315    234    6275780608 timeout 322    235    6109016064
eca-rers2012/Problem09_label06_false-unreach-call.c timeout (error (143)) 306    227    5567840256 timeout 322    236    6123597824 timeout 322    235    6136500224
eca-rers2012/Problem09_label10_false-unreach-call.c timeout (error (143)) 306    237    4863459328 timeout (error: exception) 309    232    5476659200 timeout (error: exception) 303    250    4794638336
eca-rers2012/Problem09_label19_false-unreach-call.c timeout (error: exception) 306    229    5473685504 timeout (error (143)) 306    249    4877787136 timeout (error (143)) 308    228    6192631808
eca-rers2012/Problem09_label32_false-unreach-call.c timeout (error (143)) 306    226    5503143936 timeout 322    236    6248980480 timeout (error: exception) 306    240    4854792192
eca-rers2012/Problem09_label34_false-unreach-call.c timeout (error (143)) 305    228    5554323456 timeout 322    234    6292742144 timeout 321    235    6712725504
eca-rers2012/Problem09_label38_false-unreach-call.c timeout (error (143)) 306    238    4861476864 timeout (error: exception) 305    228    5794213888 timeout (error (143)) 306    244    5187485696
eca-rers2012/Problem09_label41_false-unreach-call.c timeout (error (143)) 305    225    5463535616 timeout 322    236    6859583488 timeout (error (143)) 316    232    6279217152
eca-rers2012/Problem09_label46_false-unreach-call.c timeout (error (143)) 305    228    5503365120 timeout (error: exception) 306    235    5410959360 timeout (error (143)) 306    244    5164974080
eca-rers2012/Problem09_label47_false-unreach-call.c timeout (error (143)) 306    236    4865556480 timeout 322    237    6078959616 timeout (error (143)) 306    240    5121576960
eca-rers2012/Problem09_label51_false-unreach-call.c timeout (error (143)) 306    233    5168488448 timeout 322    241    6859354112 timeout (error (143)) 311    229    5951229952
eca-rers2012/Problem09_label53_false-unreach-call.c timeout (error (143)) 305    228    5510225920 timeout (error: exception) 308    240    5367574528 timeout (error (143)) 307    227    6004166656
eca-rers2012/Problem09_label56_false-unreach-call.c timeout (error (143)) 305    229    5564456960 timeout (error: exception) 302    236    4845604864 timeout (error (143)) 306    240    5233061888
eca-rers2012/Problem09_label57_false-unreach-call.c timeout (error (143)) 305    230    5511159808 timeout (error: exception) 302    236    5148987392 timeout (error (143)) 306    244    5129502720
eca-rers2012/Problem09_label59_false-unreach-call.c timeout (error (143)) 306    234    4855754752 timeout 321    235    6077853696 timeout 322    235    6864121856
eca-rers2012/Problem10_label12_false-unreach-call.c false 72.3  45.2  1299025920 timeout (error (143)) 301    252    3037540352 timeout (error (143)) 301    216    6127685632
eca-rers2012/Problem10_label15_false-unreach-call.c false 57.9  34.2  1177690112 timeout (error (143)) 301    243    3004276736 false 163    116    2978148352
eca-rers2012/Problem10_label24_false-unreach-call.c false 89.5  55.8  1316261888 timeout (error (143)) 301    236    3002777600 timeout (error (143)) 301    245    2948947968
eca-rers2012/Problem10_label26_false-unreach-call.c false 56.6  33.6  1184153600 timeout (error (143)) 302    239    2968260608 false 89.1  54.1  1667895296
eca-rers2012/Problem10_label28_false-unreach-call.c false 62.9  37.8  1164546048 timeout (error (143)) 301    241    2983940096 timeout (error (143)) 303    224    6079610880
eca-rers2012/Problem10_label29_false-unreach-call.c false 48.8  30.3  1196277760 timeout (error (143)) 301    247    2963603456 timeout (error (143)) 302    200    6982778880
eca-rers2012/Problem10_label41_false-unreach-call.c false 70.1  42.4  1137156096 timeout (error (143)) 301    249    2976780288 false 168    122    3026907136
eca-rers2012/Problem10_label42_false-unreach-call.c false 37.1  22.1  865001472 timeout (error (143)) 300    236    2979291136 false 129    85.0  2908581888
eca-rers2012/Problem10_label47_false-unreach-call.c false 56.5  33.3  1062244352 timeout (error (143)) 305    250    2980143104 false 105    67.2  1762328576
eca-rers2012/Problem10_label48_false-unreach-call.c false 78.1  49.5  1326370816 timeout (error (143)) 301    237    2972549120 false 143    96.9  2879422464
eca-rers2012/Problem10_label50_false-unreach-call.c false 83.0  50.1  1341202432 timeout (error (143)) 301    244    2969038848 timeout 322    218    7641894912
eca-rers2012/Problem10_label55_false-unreach-call.c false 46.0  26.9  1048932352 timeout (error (143)) 305    248    3016679424 false 133    93.8  3013906432
eca-rers2012/Problem10_label57_false-unreach-call.c false 49.1  29.6  1159696384 timeout (error (143)) 301    242    3013677056 false 85.8  58.2  1286164480
eca-rers2012/Problem10_label58_false-unreach-call.c false 88.9  55.8  1338195968 timeout (error (143)) 306    242    2995961856 out of memory 300    226    8000000000
eca-rers2012/Problem11_label08_false-unreach-call.c false 81.3  51.9  1286565888 timeout (error (143)) 301    233    3040366592 timeout (error (143)) 304    250    2968031232
eca-rers2012/Problem11_label14_false-unreach-call.c false 63.4  37.8  1217134592 timeout (error (143)) 301    248    2982445056 false 237    193    3057967104
eca-rers2012/Problem11_label15_false-unreach-call.c false 56.0  34.0  1058471936 timeout (error (143)) 301    243    3078070272 timeout 304    204    8000000000
eca-rers2012/Problem11_label20_false-unreach-call.c false 106    70.2  1694412800 timeout (error (143)) 301    243    3004387328 timeout (error (143)) 301    237    3027394560
eca-rers2012/Problem11_label29_false-unreach-call.c false 161    117    1742766080 timeout (error (143)) 301    254    2907811840 timeout (error (143)) 301    256    2977366016
eca-rers2012/Problem11_label39_false-unreach-call.c false 125    94.9  1408872448 timeout (error (143)) 301    258    2896887808 timeout (error (143)) 301    250    3356086272
eca-rers2012/Problem11_label42_false-unreach-call.c false 87.7  56.5  1394413568 timeout (error (143)) 302    256    2892165120 false 183    129    2954817536
eca-rers2012/Problem11_label49_false-unreach-call.c false 56.8  34.7  1203941376 timeout (error (143)) 301    259    2897801216 false 279    231    3264221184
eca-rers2012/Problem11_label51_false-unreach-call.c false 67.2  42.2  1283489792 timeout (error (143)) 301    243    3091660800 timeout (error (143)) 302    247    3032186880
eca-rers2012/Problem12_label30_false-unreach-call.c false 293    224    4103352320 timeout (error (143)) 301    225    3279364096 timeout (error (143)) 301    238    3248160768
eca-rers2012/Problem12_label35_false-unreach-call.c false 197    147    2960015360 timeout (error (143)) 301    232    2977738752 timeout (error (143)) 300    221    4610351104
eca-rers2012/Problem12_label40_false-unreach-call.c false 250    195    3076825088 timeout (error (143)) 301    236    3021524992 timeout (error (143)) 302    244    3196055552
eca-rers2012/Problem12_label50_false-unreach-call.c timeout (false) 300    234    4231213056 timeout (error (143)) 301    243    2971537408 timeout (error (143)) 300    246    3142860800
eca-rers2012/Problem12_label55_false-unreach-call.c false 265    203    3315408896 timeout (error (143)) 301    236    3048099840 timeout (error (143)) 304    247    3229278208
eca-rers2012/Problem14_label02_false-unreach-call_false-termination.c false 130    87.1  2864775168 timeout (error (143)) 301    242    2972946432 timeout (error (143)) 300    228    3142623232
eca-rers2012/Problem14_label08_false-unreach-call_false-termination.c false 106    66.3  2788093952 timeout (error (143)) 301    242    3006251008 timeout (error (143)) 301    233    3320590336
eca-rers2012/Problem14_label10_false-unreach-call_false-termination.c false 96.3  61.1  2025234432 timeout (error (143)) 301    248    2954776576 timeout (error (143)) 302    240    3189837824
eca-rers2012/Problem14_label11_false-unreach-call_false-termination.c false 100    65.0  2416353280 timeout (error (143)) 301    243    3011452928 timeout (error (143)) 301    237    3179151360
eca-rers2012/Problem14_label12_false-unreach-call_false-termination.c false 119    77.2  2874580992 timeout (error (143)) 301    235    2968895488 timeout (error (143)) 301    240    3204014080
eca-rers2012/Problem14_label13_false-unreach-call_false-termination.c false 95.4  58.6  1914920960 timeout (error (143)) 303    244    2985799680 timeout (error (143)) 300    232    3301466112
eca-rers2012/Problem14_label18_false-unreach-call_false-termination.c false 110    69.1  2314776576 timeout (error (143)) 302    243    2995896320 timeout (error (143)) 305    247    3266121728
eca-rers2012/Problem14_label22_false-unreach-call_false-termination.c false 136    86.6  2871070720 timeout (error (143)) 301    241    3024060416 timeout (error (143)) 302    233    3157356544
eca-rers2012/Problem14_label27_false-unreach-call_false-termination.c false 117    74.5  2219896832 timeout (error (143)) 302    237    2954665984 timeout (error (143)) 301    238    3118379008
eca-rers2012/Problem14_label28_false-unreach-call_false-termination.c false 102    65.3  2570522624 timeout (error (143)) 301    234    2989211648 timeout (error (143)) 301    228    2978410496
eca-rers2012/Problem14_label29_false-unreach-call_false-termination.c false 126    79.2  2891735040 timeout (error (143)) 301    244    2965471232 timeout (error (143)) 300    235    3111329792
eca-rers2012/Problem14_label31_false-unreach-call_false-termination.c false 114    72.3  2617221120 timeout (error (143)) 302    250    2984280064 timeout (error (143)) 302    234    3130150912
eca-rers2012/Problem14_label34_false-unreach-call_false-termination.c false 107    67.8  2865459200 timeout (error (143)) 301    246    2959618048 timeout (error (143)) 301    238    3205918720
eca-rers2012/Problem14_label37_false-unreach-call_false-termination.c false 102    67.3  2781773824 timeout (error (143)) 304    247    2992320512 timeout (error (143)) 301    234    3207688192
eca-rers2012/Problem14_label39_false-unreach-call_false-termination.c false 107    66.2  2234810368 timeout (error (143)) 301    246    2978566144 timeout (error (143)) 301    233    3080523776
eca-rers2012/Problem14_label40_false-unreach-call_false-termination.c false 108    67.6  2498273280 timeout (error (143)) 302    240    2974953472 timeout (error (143)) 304    240    3054784512
eca-rers2012/Problem14_label41_false-unreach-call_false-termination.c false 144    97.5  2865590272 timeout (error (143)) 301    245    2976067584 timeout (error (143)) 301    233    3078008832
eca-rers2012/Problem14_label43_false-unreach-call_false-termination.c false 124    80.2  2873290752 timeout (error (143)) 301    249    2956795904 timeout (error (143)) 302    235    3175755776
eca-rers2012/Problem14_label44_false-unreach-call_false-termination.c false 122    80.3  2905550848 timeout (error (143)) 302    244    2978471936 timeout (error (143)) 305    235    3129204736
eca-rers2012/Problem14_label52_false-unreach-call_false-termination.c false 109    70.1  2299289600 timeout (error (143)) 302    249    2951725056 timeout (error: exception) 302    234    3095404544
eca-rers2012/Problem14_label54_false-unreach-call_false-termination.c false 138    92.3  2871877632 timeout (error (143)) 300    245    2975891456 timeout (error (143)) 302    231    3081666560
eca-rers2012/Problem14_label56_false-unreach-call_false-termination.c false 95.6  58.8  1903763456 timeout (error (143)) 301    246    2972139520 timeout (error (143)) 302    235    3140698112
eca-rers2012/Problem14_label57_false-unreach-call_false-termination.c false 99.8  63.1  2302902272 timeout (error (143)) 305    246    3009449984 timeout (error (143)) 302    243    3161780224
eca-rers2012/Problem14_label58_false-unreach-call_false-termination.c false 150    100    2973065216 timeout (error (143)) 303    249    2968133632 timeout (error (143)) 303    233    3240058880
eca-rers2012/Problem15_label03_false-unreach-call.c false 165    121    2425110528 timeout (error (143)) 301    243    3142414336 timeout (error (143)) 302    252    3374944256
eca-rers2012/Problem15_label07_false-unreach-call.c false 234    180    2858143744 timeout (error (143)) 301    252    2874347520 timeout (error (143)) 301    256    3019517952
eca-rers2012/Problem15_label09_false-unreach-call.c false 265    213    2921459712 timeout (error (143)) 301    258    2915635200 timeout (error (143)) 303    240    3002515456
eca-rers2012/Problem15_label15_false-unreach-call.c false 139    99.3  2110156800 timeout (error (143)) 301    248    2985947136 timeout (error (143)) 301    232    3102400512
eca-rers2012/Problem15_label18_false-unreach-call_false-termination.c false 182    136    2648387584 timeout (error (143)) 301    257    2942341120 timeout (error (143)) 301    228    3187814400
eca-rers2012/Problem15_label22_false-unreach-call.c false 159    113    2229121024 timeout (error (143)) 301    243    3051937792 timeout (error (143)) 302    222    3437797376
eca-rers2012/Problem15_label23_false-unreach-call.c false 193    142    2515382272 timeout (error (143)) 301    253    2949738496 timeout (error (143)) 303    234    3517247488
eca-rers2012/Problem15_label25_false-unreach-call.c false 259    206    2833682432 timeout (error (143)) 301    239    3149926400 timeout (error (143)) 303    232    3513614336
eca-rers2012/Problem15_label29_false-unreach-call.c false 182    132    2872684544 timeout (error (143)) 301    219    3203530752 timeout (error (143)) 302    247    3268239360
eca-rers2012/Problem15_label30_false-unreach-call.c false 243    193    2534580224 timeout (error (143)) 301    240    3134308352 timeout (error (143)) 300    232    3286081536
eca-rers2012/Problem15_label33_false-unreach-call.c false 293    249    2204946432 timeout (error (143)) 301    243    3114242048 timeout (error (143)) 301    240    3287019520
eca-rers2012/Problem15_label34_false-unreach-call.c false 191    139    2272727040 timeout (error (143)) 301    241    3112521728 timeout (error (143)) 300    237    3178332160
eca-rers2012/Problem15_label37_false-unreach-call.c false 238    183    2912886784 timeout (error (143)) 301    250    3039752192 timeout (error (143)) 302    238    3274891264
eca-rers2012/Problem15_label38_false-unreach-call.c false 177    130    2646749184 timeout (error (143)) 301    253    2938564608 timeout (error (143)) 302    237    3253555200
eca-rers2012/Problem15_label40_false-unreach-call.c false 269    214    2446499840 timeout (error (143)) 300    221    3181760512 timeout (error (143)) 302    225    3195154432
eca-rers2012/Problem15_label41_false-unreach-call.c false 139    95.8  1925201920 timeout (error (143)) 301    242    3129012224 timeout (error (143)) 301    231    3118354432
eca-rers2012/Problem15_label45_false-unreach-call.c false 195    146    2812989440 timeout (error (143)) 301    259    2900561920 timeout (error (143)) 300    239    3116806144
eca-rers2012/Problem15_label47_false-unreach-call.c false 238    183    2892509184 timeout (error (143)) 301    263    2882236416 timeout (error (143)) 302    255    2919243776
eca-rers2012/Problem15_label48_false-unreach-call.c false 202    151    2488463360 timeout (error (143)) 301    262    2899877888 timeout (error (143)) 301    251    3184779264
eca-rers2012/Problem15_label51_false-unreach-call.c false 203    153    2590380032 timeout (error (143)) 301    234    3101016064 timeout (error (143)) 301    233    3210534912
eca-rers2012/Problem16_label00_false-unreach-call.c error: exception 245    225    1114034176 timeout (error (143)) 302    265    2781171712 timeout (error (143)) 300    267    1508130816
eca-rers2012/Problem16_label04_false-unreach-call.c false 281    214    3121352704 timeout (error (143)) 301    242    2978959360 timeout (error (143)) 306    233    3493036032
eca-rers2012/Problem16_label06_false-unreach-call.c false 279    206    3130900480 timeout (error (143)) 301    245    3003437056 timeout (error (143)) 306    257    3321556992
eca-rers2012/Problem16_label08_false-unreach-call.c false 270    204    2991726592 timeout (error (143)) 301    234    3065954304 timeout (error (143)) 306    248    3311992832
eca-rers2012/Problem16_label14_false-unreach-call.c false 295    226    3273334784 timeout (error (143)) 301    240    3043278848 timeout (error (143)) 303    248    3191107584
eca-rers2012/Problem16_label15_false-unreach-call.c false 252    188    3216646144 timeout (error (143)) 301    245    2962227200 timeout (error (143)) 301    239    3432132608
eca-rers2012/Problem16_label27_false-unreach-call.c false 264    197    3226857472 timeout (error (143)) 301    248    2992291840 timeout (error (143)) 302    245    3231502336
eca-rers2012/Problem16_label30_false-unreach-call.c timeout (error: exception) 301    232    3110887424 timeout (error (143)) 301    244    3057872896 timeout (error (143)) 302    242    3186544640
eca-rers2012/Problem16_label33_false-unreach-call.c false 257    191    3085426688 timeout (error (143)) 301    241    3073581056 timeout (error (143)) 306    238    3348000768
eca-rers2012/Problem16_label37_false-unreach-call.c false 243    179    3178852352 timeout (error (143)) 301    238    3104997376 timeout (error (143)) 301    248    3150458880
eca-rers2012/Problem16_label38_false-unreach-call.c false 242    178    3199934464 timeout (error (143)) 301    240    2955415552 timeout (error (143)) 301    252    3188260864
eca-rers2012/Problem16_label41_false-unreach-call.c false 262    193    3263148032 timeout (error (143)) 301    244    3048411136 timeout (error (143)) 306    243    3249811456
eca-rers2012/Problem16_label43_false-unreach-call.c false 287    212    3182596096 timeout (error (143)) 300    232    2961436672 timeout (error (143)) 306    260    3287879680
eca-rers2012/Problem16_label44_false-unreach-call.c false 251    190    2893647872 timeout (error (143)) 301    249    2956328960 timeout (error (143)) 304    254    3242594304
eca-rers2012/Problem16_label51_false-unreach-call.c false 299    230    3168800768 timeout (error (143)) 301    242    2963394560 timeout (error (143)) 301    243    3241172992
eca-rers2012/Problem16_label52_false-unreach-call.c false 205    148    3063484416 timeout (error (143)) 301    244    3073875968 timeout (error (143)) 306    254    3179700224
eca-rers2012/Problem16_label54_false-unreach-call.c false 289    221    3274240000 timeout (error (143)) 301    248    2964705280 timeout (error (143)) 301    251    3260375040
eca-rers2012/Problem17_label23_false-unreach-call.c false 279    223    3078307840 timeout (error (143)) 301    262    2952794112 error: exception 95.2  72.9  1239633920
eca-rers2012/Problem17_label34_false-unreach-call.c timeout (error (143)) 301    251    2990411776 timeout (error (143)) 301    254    2975240192 timeout 322    270    5912928256
eca-rers2012/Problem17_label35_false-unreach-call.c timeout (error (143)) 301    264    1846022144 timeout (error (143)) 302    264    2867474432 error: exception 116    86.1  1188831232
eca-rers2012/Problem17_label40_false-unreach-call.c timeout (error (143)) 300    275    1325727744 timeout (error (143)) 302    249    3014381568 error: exception 223    193    1323155456
eca-rers2012/Problem18_label03_false-unreach-call.c false 297    222    3901100032 timeout (error (143)) 301    226    3103051776 timeout (error (143)) 303    231    3337965568
eca-rers2012/Problem18_label08_false-unreach-call.c false 291    217    4597915648 timeout (error (143)) 302    223    3497369600 timeout (error (143)) 303    230    3534942208
eca-rers2012/Problem18_label12_false-unreach-call.c false 252    188    3939823616 timeout (error (143)) 301    231    3111075840 timeout (error (143)) 306    246    3241308160
eca-rers2012/Problem18_label25_false-unreach-call.c false 229    169    3861934080 timeout (error (143)) 300    218    3155165184 timeout (error (143)) 306    247    3292409856
eca-rers2012/Problem18_label27_false-unreach-call.c false 239    176    3876945920 timeout (error (143)) 301    236    3045842944 timeout (error (143)) 304    247    3260915712
eca-rers2012/Problem18_label45_false-unreach-call.c false 223    163    3717480448 timeout (error (143)) 301    231    3116052480 timeout (error (143)) 304    240    3274498048
eca-rers2012/Problem18_label49_false-unreach-call.c false 287    216    4201398272 timeout (error (143)) 300    224    3227635712 timeout (error (143)) 306    244    3385708544
eca-rers2012/Problem18_label55_false-unreach-call.c false 281    204    4230098944 timeout (error (143)) 301    223    3086016512 timeout (error (143)) 302    241    3334438912
eca-rers2012/Problem19_label29_false-unreach-call.c timeout (error: exception) 301    240    3556990976 timeout (error (143)) 301    223    3098501120 timeout (error (143)) 305    244    3090141184
eca-rers2012/Problem01_label01_true-unreach-call_false-termination.c true 70.7  41.2  1208131584 timeout (error (143)) 304    273    2889658368 true 45.6  26.6  1065070592
eca-rers2012/Problem01_label02_true-unreach-call_false-termination.c true 70.3  40.4  1215148032 timeout (error (143)) 301    264    2895130624 true 162    105    2888937472
eca-rers2012/Problem01_label04_true-unreach-call_false-termination.c true 69.5  40.5  1196552192 timeout (error (143)) 301    266    2890129408 true 147    93.2  2266771456
eca-rers2012/Problem01_label05_true-unreach-call_false-termination.c true 74.7  43.8  1247551488 timeout (error (143)) 301    261    2928209920 true 139    85.3  1989705728
eca-rers2012/Problem01_label06_true-unreach-call_false-termination.c true 46.9  26.9  1003180032 timeout (error (143)) 301    257    2952806400 true 90.4  54.2  1532514304
eca-rers2012/Problem01_label07_true-unreach-call_false-termination.c true 52.4  30.2  1047117824 timeout (error (143)) 303    268    2891612160 true 97.7  60.1  1825603584
eca-rers2012/Problem01_label08_true-unreach-call_false-termination.c true 43.6  25.6  1067536384 timeout (error (143)) 301    257    2910638080 true 126    77.4  2240831488
eca-rers2012/Problem01_label10_true-unreach-call_false-termination.c true 55.0  31.5  1044357120 timeout (error (143)) 303    270    2892005376 true 146    94.9  2606030848
eca-rers2012/Problem01_label11_true-unreach-call_false-termination.c true 56.1  32.6  1159028736 timeout (error (143)) 302    261    2914549760 true 137    83.0  2239942656
eca-rers2012/Problem01_label13_true-unreach-call_false-termination.c true 60.7  34.9  1198628864 timeout (error (143)) 302    261    2908024832 true 35.5  19.9  878096384
eca-rers2012/Problem01_label14_true-unreach-call_false-termination.c true 80.2  47.3  1193267200 timeout (error (143)) 302    260    2954108928 true 140    86.1  2194628608
eca-rers2012/Problem01_label17_true-unreach-call_false-termination.c true 51.0  29.9  1033310208 timeout (error (143)) 301    265    2894077952 true 114    69.6  1779359744
eca-rers2012/Problem01_label19_true-unreach-call_false-termination.c true 66.1  39.0  1214074880 timeout (error (143)) 301    268    2893893632 true 67.3  40.7  1297235968
eca-rers2012/Problem01_label23_true-unreach-call_false-termination.c true 49.0  29.0  1018732544 timeout (error (143)) 301    266    2897661952 true 100    61.8  1998307328
eca-rers2012/Problem01_label24_true-unreach-call_false-termination.c true 49.5  28.7  1009119232 timeout (error (143)) 301    265    2892161024 true 37.8  21.5  917123072
eca-rers2012/Problem01_label25_true-unreach-call_false-termination.c true 66.1  37.9  1179340800 timeout (error (143)) 301    263    2911232000 true 101    61.9  1647398912
eca-rers2012/Problem01_label26_true-unreach-call_false-termination.c true 64.6  37.8  1163067392 timeout (error (143)) 301    266    2902482944 true 128    79.9  2363531264
eca-rers2012/Problem01_label27_true-unreach-call_false-termination.c true 63.0  37.9  1193975808 timeout (error (143)) 302    262    2912231424 true 165    105    2487930880
eca-rers2012/Problem01_label28_true-unreach-call_false-termination.c true 67.7  40.0  1188605952 timeout (error (143)) 301    264    2906185728 true 93.0  58.0  1553539072
eca-rers2012/Problem01_label29_true-unreach-call_false-termination.c true 50.0  29.5  1043255296 timeout (error (143)) 302    265    2908774400 true 138    84.0  2142019584
eca-rers2012/Problem01_label30_true-unreach-call_false-termination.c true 79.3  46.0  1204150272 timeout (error (143)) 301    262    2906521600 true 109    65.3  1851342848
eca-rers2012/Problem01_label34_true-unreach-call_false-termination.c true 57.6  33.5  1060753408 timeout (error (143)) 300    273    2884866048 true 136    86.2  2394030080
eca-rers2012/Problem01_label40_true-unreach-call_false-termination.c true 64.3  38.3  1225269248 timeout (error (143)) 303    268    2890203136 true 85.2  53.0  1551097856
eca-rers2012/Problem01_label41_true-unreach-call_false-termination.c true 45.4  26.1  1005047808 timeout (error (143)) 302    263    2904272896 true 109    65.8  1721188352
eca-rers2012/Problem01_label42_true-unreach-call_false-termination.c true 54.6  30.9  1062281216 timeout (error (143)) 301    262    2955960320 true 81.4  49.7  1435103232
eca-rers2012/Problem01_label43_true-unreach-call_false-termination.c true 42.5  25.0  995311616 timeout (error (143)) 302    267    2895540224 true 89.1  51.9  1433190400
eca-rers2012/Problem01_label45_true-unreach-call_false-termination.c true 57.7  34.8  1180729344 timeout (error (143)) 301    264    2891386880 true 85.6  51.2  1418797056
eca-rers2012/Problem01_label46_true-unreach-call_false-termination.c true 37.0  21.6  997744640 timeout (error (143)) 302    268    2893938688 true 86.2  52.9  1541627904
eca-rers2012/Problem01_label52_true-unreach-call_false-termination.c true 30.3  17.0  853458944 timeout (error (143)) 302    268    2911936512 true 129    79.9  2040328192
eca-rers2012/Problem01_label53_true-unreach-call_false-termination.c true 52.6  30.9  1072799744 timeout (error (143)) 301    264    2953523200 true 170    108    2517819392
eca-rers2012/Problem01_label54_true-unreach-call_false-termination.c true 54.9  32.2  1066283008 timeout (error (143)) 302    265    2925772800 true 60.1  35.7  1266376704
eca-rers2012/Problem01_label55_true-unreach-call_false-termination.c true 33.3  19.6  866586624 timeout (error (143)) 302    269    2902466560 true 130    82.9  2302148608
eca-rers2012/Problem01_label59_true-unreach-call_false-termination.c true 57.8  33.4  1031970816 timeout (error (143)) 301    266    2907033600 true 40.9  24.1  1057476608
eca-rers2012/Problem02_label00_true-unreach-call_false-termination.c true 73.1  41.2  1195048960 timeout (error (143)) 301    254    2953871360 true 84.0  50.8  1448058880
eca-rers2012/Problem02_label01_true-unreach-call_false-termination.c true 34.5  20.0  864157696 timeout (error (143)) 301    255    2914803712 true 130    85.4  1982726144
eca-rers2012/Problem02_label02_true-unreach-call_false-termination.c true 29.0  16.3  864112640 timeout (error (143)) 301    266    2950348800 true 88.5  54.0  1476284416
eca-rers2012/Problem02_label03_true-unreach-call_false-termination.c true 46.5  27.2  997376000 timeout (error (143)) 301    265    2897170432 true 69.3  40.8  1236918272
eca-rers2012/Problem02_label04_true-unreach-call_false-termination.c true 59.7  34.2  1033412608 timeout (error (143)) 301    248    2946940928 true 87.0  51.2  1429700608
eca-rers2012/Problem02_label05_true-unreach-call_false-termination.c true 45.4  26.9  1018675200 timeout (error (143)) 301    245    2911510528 true 84.7  50.9  1386823680
eca-rers2012/Problem02_label06_true-unreach-call_false-termination.c true 60.3  35.7  1204207616 timeout (error (143)) 301    265    2915364864 true 170    112    2846842880
eca-rers2012/Problem02_label07_true-unreach-call_false-termination.c true 49.2  28.2  1007587328 timeout (error (143)) 301    258    2957643776 true 64.8  38.1  1250189312
eca-rers2012/Problem02_label08_true-unreach-call_false-termination.c true 37.5  22.0  940658688 timeout (error (143)) 301    269    2912923648 true 62.0  37.3  1196785664
eca-rers2012/Problem02_label09_true-unreach-call_false-termination.c true 34.4  20.0  857133056 timeout (error (143)) 301    254    2940727296 true 103    63.0  1842044928
eca-rers2012/Problem02_label10_true-unreach-call_false-termination.c true 40.5  23.3  858767360 timeout (error (143)) 301    249    2937323520 true 97.3  60.6  1812750336
eca-rers2012/Problem02_label11_true-unreach-call_false-termination.c true 34.2  19.6  875945984 timeout (error (143)) 302    258    2954416128 true 96.9  59.2  1505787904
eca-rers2012/Problem02_label12_true-unreach-call_false-termination.c true 37.7  20.7  889245696 timeout (error (143)) 302    255    2936160256 true 106    64.6  1827614720
eca-rers2012/Problem02_label14_true-unreach-call_false-termination.c true 62.6  37.0  1196765184 timeout (error (143)) 301    252    2915704832 true 87.8  51.5  1389133824
eca-rers2012/Problem02_label17_true-unreach-call_false-termination.c true 33.8  19.4  849829888 timeout (error (143)) 301    260    2959093760 true 102    62.0  1727684608
eca-rers2012/Problem02_label18_true-unreach-call_false-termination.c true 32.5  18.9  880025600 timeout (error (143)) 301    267    2911940608 true 62.6  38.7  1134329856
eca-rers2012/Problem02_label19_true-unreach-call_false-termination.c true 66.1  37.6  1151389696 timeout (error (143)) 302    267    2912649216 true 134    86.2  2179002368
eca-rers2012/Problem02_label20_true-unreach-call_false-termination.c true 53.6  31.3  1065525248 timeout (error (143)) 301    248    2952544256 true 97.7  56.9  1413918720
eca-rers2012/Problem02_label21_true-unreach-call_false-termination.c true 55.6  31.9  1020444672 timeout (error (143)) 301    270    2918227968 true 86.0  51.2  1486827520
eca-rers2012/Problem02_label22_true-unreach-call_false-termination.c true 56.1  32.5  1065365504 timeout (error (143)) 301    261    2927370240 true 89.8  54.5  1446617088
eca-rers2012/Problem02_label23_true-unreach-call_false-termination.c true 51.6  30.4  1186394112 timeout (error (143)) 301    259    2916524032 true 93.5  56.6  1474404352
eca-rers2012/Problem02_label24_true-unreach-call_false-termination.c true 50.8  30.0  1173999616 timeout (error (143)) 302    262    2906615808 true 103    62.7  1629143040
eca-rers2012/Problem02_label25_true-unreach-call_false-termination.c true 52.1  30.6  1032372224 timeout (error (143)) 301    255    2958381056 true 122    74.1  1985306624
eca-rers2012/Problem02_label26_true-unreach-call_false-termination.c true 64.8  36.5  1077735424 timeout (error (143)) 301    259    2953973760 true 125    76.1  1930350592
eca-rers2012/Problem02_label27_true-unreach-call_false-termination.c true 57.0  32.3  1053966336 timeout (error (143)) 303    269    2880241664 true 67.1  40.4  1252937728
eca-rers2012/Problem02_label28_true-unreach-call_false-termination.c true 42.7  25.0  1007710208 timeout (error (143)) 304    262    2946084864 true 134    87.3  2300436480
eca-rers2012/Problem02_label29_true-unreach-call_false-termination.c true 31.7  18.4  862560256 timeout (error (143)) 301    254    2954358784 true 99.7  60.3  1805598720
eca-rers2012/Problem02_label30_true-unreach-call_false-termination.c true 36.8  21.4  885960704 timeout (error (143)) 301    258    2953175040 true 104    64.7  1864921088
eca-rers2012/Problem02_label31_true-unreach-call_false-termination.c true 33.8  20.1  890179584 timeout (error (143)) 301    258    2923515904 true 101    64.3  1900400640
eca-rers2012/Problem02_label32_true-unreach-call_false-termination.c true 36.1  21.2  863035392 timeout (error (143)) 302    261    2918690816 true 113    71.4  1947377664
eca-rers2012/Problem02_label33_true-unreach-call_false-termination.c true 62.6  36.0  1156808704 timeout (error (143)) 301    266    2903666688 true 76.7  47.6  1466580992
eca-rers2012/Problem02_label34_true-unreach-call_false-termination.c true 35.2  20.2  871366656 timeout (error (143)) 301    255    2952585216 true 145    93.2  2246971392
eca-rers2012/Problem02_label35_true-unreach-call_false-termination.c true 33.3  19.1  857927680 timeout (error (143)) 301    246    2951516160 true 90.4  56.0  1594986496
eca-rers2012/Problem02_label36_true-unreach-call_false-termination.c true 35.0  20.4  853639168 timeout (error (143)) 301    249    2954072064 true 149    95.8  2518614016
eca-rers2012/Problem02_label39_true-unreach-call_false-termination.c true 59.2  34.5  1168707584 timeout (error (143)) 304    256    2887663616 true 119    75.2  1760198656
eca-rers2012/Problem02_label40_true-unreach-call_false-termination.c true 55.1  32.5  1016090624 timeout (error (143)) 302    260    2948952064 true 123    78.0  1837260800
eca-rers2012/Problem02_label41_true-unreach-call_false-termination.c true 30.3  17.3  845127680 timeout (error (143)) 301    264    2915971072 true 86.2  52.5  1406369792
eca-rers2012/Problem02_label42_true-unreach-call_false-termination.c true 56.8  32.3  1020116992 timeout (error (143)) 301    253    2948108288 true 66.6  38.1  1200582656
eca-rers2012/Problem02_label46_true-unreach-call_false-termination.c true 45.4  26.6  1045381120 timeout (error (143)) 301    258    2959257600 true 55.6  31.8  1142054912
eca-rers2012/Problem02_label47_true-unreach-call_false-termination.c true 30.8  17.7  853340160 timeout (error (143)) 302    267    2897453056 true 110    69.1  1593847808
eca-rers2012/Problem02_label48_true-unreach-call_false-termination.c true 37.1  21.7  954417152 timeout (error (143)) 301    268    2913636352 true 75.6  44.6  1338097664
eca-rers2012/Problem02_label49_true-unreach-call_false-termination.c true 70.2  41.0  1154498560 timeout (error (143)) 301    255    2909904896 true 109    69.5  1618878464
eca-rers2012/Problem02_label51_true-unreach-call_false-termination.c true 29.8  16.9  859070464 timeout (error (143)) 301    257    2896982016 true 82.2  48.7  1338998784
eca-rers2012/Problem02_label52_true-unreach-call_false-termination.c true 28.8  16.5  829112320 timeout (error (143)) 301    246    2937954304 true 99.7  65.2  2115936256
eca-rers2012/Problem02_label53_true-unreach-call_false-termination.c true 48.1  28.2  1029357568 timeout (error (143)) 302    261    2909278208 true 82.0  48.7  1365221376
eca-rers2012/Problem02_label54_true-unreach-call_false-termination.c true 49.0  29.1  1007763456 timeout (error (143)) 300    271    2917466112 true 74.1  42.8  1227116544
eca-rers2012/Problem02_label55_true-unreach-call_false-termination.c true 33.4  19.3  861167616 timeout (error (143)) 301    267    2909495296 true 114    72.6  1691758592
eca-rers2012/Problem02_label56_true-unreach-call_false-termination.c true 57.5  32.5  1028169728 timeout (error (143)) 301    267    2906222592 true 78.1  45.3  1244028928
eca-rers2012/Problem02_label57_true-unreach-call_false-termination.c true 46.3  27.3  1051811840 timeout (error (143)) 301    264    2937946112 true 69.8  41.2  1245921280
eca-rers2012/Problem03_label01_true-unreach-call.c timeout 322    209    7577419776 timeout (error (143)) 302    280    2896338944 timeout (error (143)) 302    221    4512944128
eca-rers2012/Problem03_label04_true-unreach-call.c timeout 322    213    7859953664 timeout (error (143)) 302    282    2878337024 timeout (error (143)) 302    218    4379807744
eca-rers2012/Problem03_label08_true-unreach-call.c timeout (error (143)) 310    205    7849037824 timeout (error (143)) 303    280    2881982464 true 247    182    3306749952
eca-rers2012/Problem03_label10_true-unreach-call.c true 161    113    3902713856 timeout (error (143)) 301    279    2886225920 timeout (error (143)) 301    218    4353835008
eca-rers2012/Problem03_label11_true-unreach-call.c timeout 322    215    7220695040 timeout (error (143)) 302    272    2919858176 timeout (error (143)) 301    218    4348948480
eca-rers2012/Problem03_label22_true-unreach-call.c true 184    136    3529105408 timeout (error (143)) 302    274    2924523520 timeout (error (143)) 302    219    4941799424
eca-rers2012/Problem03_label25_true-unreach-call.c out of memory 299    200    8000000000 timeout (error (143)) 304    270    2977128448 timeout (error (143)) 301    212    4644999168
eca-rers2012/Problem03_label29_true-unreach-call.c timeout (error (143)) 302    194    7715966976 timeout (error (143)) 301    277    2895708160 true 266    197    3668299776
eca-rers2012/Problem03_label30_true-unreach-call.c true 155    113    2845409280 timeout (error (143)) 302    275    2910986240 timeout (error (143)) 305    217    4794970112
eca-rers2012/Problem03_label32_true-unreach-call.c true 113    71.1  2279755776 timeout (error (143)) 304    280    2889150464 true 149    94.4  3010310144
eca-rers2012/Problem03_label33_true-unreach-call.c timeout 304    216    8000000000 timeout (error (143)) 303    280    2898337792 true 238    169    3544809472
eca-rers2012/Problem03_label36_true-unreach-call.c timeout (error (143)) 303    200    7626723328 timeout (error (143)) 301    279    2883293184 true 163    109    3189010432
eca-rers2012/Problem03_label40_true-unreach-call.c true 88.2  53.2  1555898368 timeout (error (143)) 301    278    2892783616 true 154    109    3193651200
eca-rers2012/Problem03_label41_true-unreach-call.c timeout 322    216    7292411904 timeout (error (143)) 301    277    2891915264 timeout (error (143)) 302    223    4734054400
eca-rers2012/Problem03_label42_true-unreach-call.c true 130    88.4  3857854464 timeout (error (143)) 301    278    2895159296 timeout (error (143)) 301    223    4165070848
eca-rers2012/Problem03_label47_true-unreach-call.c timeout 322    210    7142838272 timeout (error (143)) 303    282    2882928640 timeout (error (143)) 302    213    5108404224
eca-rers2012/Problem03_label48_true-unreach-call.c true 215    161    3717873664 timeout (error (143)) 302    279    2887700480 timeout (error (143)) 301    214    5523484672
eca-rers2012/Problem03_label56_true-unreach-call.c timeout (error (143)) 302    201    7894274048 timeout (error (143)) 302    277    2899742720 true 199    133    3014721536
eca-rers2012/Problem03_label57_true-unreach-call.c true 172    117    4045373440 timeout (error (143)) 304    278    2888130560 timeout 322    226    6356033536
eca-rers2012/Problem04_label05_true-unreach-call.c true 290    205    4033884160 timeout (error (143)) 301    266    2984542208 timeout (error (143)) 301    224    4036861952
eca-rers2012/Problem04_label08_true-unreach-call.c true 281    200    4228333568 timeout (error (143)) 306    249    2982592512 timeout (error (143)) 301    227    4175310848
eca-rers2012/Problem04_label16_true-unreach-call.c true 229    162    4156170240 timeout (error (143)) 302    260    2973159424 timeout (error (143)) 301    235    4345659392
eca-rers2012/Problem04_label20_true-unreach-call_false-termination.c true 245    173    3876143104 timeout (error (143)) 303    259    2973540352 timeout (error (143)) 301    232    4177960960
eca-rers2012/Problem04_label21_true-unreach-call.c timeout (error: exception) 301    227    4290928640 timeout (error (143)) 303    263    2967773184 timeout (error (143)) 307    231    4320432128
eca-rers2012/Problem04_label22_true-unreach-call.c true 235    172    4184580096 timeout (error (143)) 301    245    2985549824 timeout (error (143)) 301    235    4273819648
eca-rers2012/Problem04_label25_true-unreach-call.c true 260    193    4280066048 timeout (error (143)) 301    244    2978795520 timeout (error (143)) 301    233    4278128640
eca-rers2012/Problem04_label29_true-unreach-call_false-termination.c true 190    133    3603836928 timeout (error (143)) 302    260    2966740992 timeout (error (143)) 301    234    4288094208
eca-rers2012/Problem04_label30_true-unreach-call.c true 294    217    4265496576 timeout (error (143)) 301    248    2983731200 timeout (error (143)) 300    234    4241920000
eca-rers2012/Problem04_label33_true-unreach-call.c true 179    121    3889999872 timeout (error (143)) 300    248    2994266112 timeout (error (143)) 300    236    4229062656
eca-rers2012/Problem04_label41_true-unreach-call.c true 272    196    4353085440 timeout (error (143)) 303    259    2980528128 timeout (error (143)) 300    231    4146176000
eca-rers2012/Problem04_label44_true-unreach-call_false-termination.c true 242    181    3456880640 timeout (error (143)) 302    258    2980601856 timeout (error (143)) 301    230    4159942656
eca-rers2012/Problem04_label57_true-unreach-call_false-termination.c true 289    216    4209922048 timeout (error (143)) 302    258    2978893824 timeout (error (143)) 300    234    4296585216
eca-rers2012/Problem04_label59_true-unreach-call.c true 217    151    4236230656 timeout (error (143)) 302    259    2971447296 true 299    208    4078645248
eca-rers2012/Problem06_label35_true-unreach-call.c timeout 322    224    7025123328 timeout (error (143)) 303    265    3005517824 timeout (error (143)) 301    233    3819761664
eca-rers2012/Problem06_label51_true-unreach-call.c timeout 322    222    6490624000 timeout (error (143)) 304    260    3011100672 timeout (error (143)) 301    231    3746074624
eca-rers2012/Problem08_label03_true-unreach-call.c timeout (error (143)) 306    236    4831698944 timeout (error (143)) 306    235    4822421504 timeout (error: exception) 303    241    4743663616
eca-rers2012/Problem08_label11_true-unreach-call.c timeout (error (143)) 306    225    5244686336 timeout (error: exception) 305    244    4740321280 timeout (error (143)) 306    244    4763942912
eca-rers2012/Problem08_label35_true-unreach-call.c timeout (error (143)) 306    235    4959170560 timeout (error: exception) 302    241    4740390912 timeout (error (143)) 307    245    4896387072
eca-rers2012/Problem08_label39_true-unreach-call.c timeout (error (143)) 305    231    4720660480 timeout (error (143)) 308    223    5824049152 timeout (error: exception) 305    244    4745457664
eca-rers2012/Problem08_label42_true-unreach-call.c timeout (error (143)) 306    237    4866981888 timeout (error: exception) 305    244    4746547200 timeout (error (143)) 306    242    4751110144
eca-rers2012/Problem08_label44_true-unreach-call.c timeout (error (143)) 305    228    5276151808 timeout (error (143)) 306    244    4735569920 timeout (error: exception) 305    243    4776148992
eca-rers2012/Problem09_label00_true-unreach-call.c timeout (error (143)) 305    229    5151907840 timeout (error: exception) 314    243    5354565632 timeout (error (143)) 305    239    4817895424
eca-rers2012/Problem09_label05_true-unreach-call.c timeout (error (143)) 306    232    5492695040 timeout (error (143)) 306    243    5158178816 timeout (error: exception) 304    239    4845686784
eca-rers2012/Problem09_label07_true-unreach-call.c timeout (error (143)) 305    229    5506924544 timeout (error (143)) 306    241    4831588352 timeout 322    236    6870192128
eca-rers2012/Problem09_label12_true-unreach-call.c timeout (error (143)) 306    231    5109940224 timeout 321    235    6096121856 timeout 322    235    6109310976
eca-rers2012/Problem09_label13_true-unreach-call.c timeout (error (143)) 305    228    5485662208 timeout 321    235    6837616640 timeout (error (143)) 306    235    5104234496
eca-rers2012/Problem09_label14_true-unreach-call.c timeout (error (143)) 306    224    5488246784 timeout (error (143)) 306    241    5134430208 timeout 321    236    6885126144
eca-rers2012/Problem09_label16_true-unreach-call.c timeout (error (143)) 306    233    5157187584 timeout 321    235    6883557376 timeout (error (143)) 306    242    5025357824
eca-rers2012/Problem09_label18_true-unreach-call.c timeout (error (143)) 306    233    5129814016 timeout 322    235    6073757696 timeout 321    236    6107185152
eca-rers2012/Problem09_label24_true-unreach-call.c timeout (error: exception) 304    229    5503913984 timeout (error (143)) 306    250    4934897664 timeout (error (143)) 306    248    4870926336
eca-rers2012/Problem09_label25_true-unreach-call.c timeout (error (143)) 306    231    4885225472 timeout 322    236    6217965568 timeout 322    235    6525583360
eca-rers2012/Problem09_label26_true-unreach-call.c timeout (error (143)) 306    224    5504872448 timeout 322    236    6220214272 timeout (error (143)) 306    244    5118713856
eca-rers2012/Problem09_label27_true-unreach-call.c timeout (error (143)) 305    230    5499158528 timeout 321    236    6693359616 timeout 322    235    6069936128
eca-rers2012/Problem09_label28_true-unreach-call.c timeout (error (143)) 306    225    5464506368 timeout (error (143)) 306    245    5169942528 timeout 322    235    6075592704
eca-rers2012/Problem09_label29_true-unreach-call.c timeout (error (143)) 306    232    5530972160 timeout (error (143)) 306    250    4902113280 timeout 321    235    5840302080
eca-rers2012/Problem09_label30_true-unreach-call.c timeout (error (143)) 306    228    5483724800 timeout (error (143)) 306    244    5212131328 timeout 321    236    6082392064
eca-rers2012/Problem09_label31_true-unreach-call.c timeout (error (143)) 306    238    4849184768 timeout (error (143)) 306    242    5081563136 timeout 320    235    6297731072
eca-rers2012/Problem09_label42_true-unreach-call.c timeout (error (143)) 306    230    5161353216 timeout 322    236    6869651456 timeout 322    236    6153703424
eca-rers2012/Problem09_label43_true-unreach-call.c timeout (error (143)) 306    231    5478985728 timeout (error (143)) 317    236    6891286528 timeout 322    236    6870777856
eca-rers2012/Problem09_label45_true-unreach-call.c timeout (error (143)) 308    235    5125849088 timeout 321    235    6176006144 timeout (error (143)) 306    235    5142007808
eca-rers2012/Problem09_label52_true-unreach-call.c timeout (error (143)) 306    232    5179936768 timeout 322    238    6264668160 timeout 321    236    6147194880
eca-rers2012/Problem09_label58_true-unreach-call.c timeout (error (143)) 306    233    5134028800 timeout (error (143)) 306    238    5211967488 timeout 322    236    6097158144
eca-rers2012/Problem10_label00_true-unreach-call.c true 50.9  31.3  1206657024 timeout (error (143)) 306    247    3013206016 true 124    81.9  2901348352
eca-rers2012/Problem10_label01_true-unreach-call.c true 61.5  36.8  1208946688 timeout (error (143)) 301    240    2987491328 true 135    91.6  2935218176
eca-rers2012/Problem10_label02_true-unreach-call.c true 46.4  28.5  1038266368 timeout (error (143)) 304    235    2988900352 true 137    92.4  2954379264
eca-rers2012/Problem10_label03_true-unreach-call.c true 22.9  13.4  738037760 timeout (error (143)) 307    245    2980663296 true 73.7  43.4  1520537600
eca-rers2012/Problem10_label07_true-unreach-call.c true 57.4  36.6  1199955968 timeout (error (143)) 301    236    3003015168 true 126    90.3  2935586816
eca-rers2012/Problem10_label08_true-unreach-call.c true 33.4  19.2  855097344 timeout (error (143)) 301    238    2962219008 true 150    107    3019673600
eca-rers2012/Problem10_label11_true-unreach-call.c true 52.8  30.9  1008508928 timeout (error (143)) 301    245    3006627840 timeout (error (143)) 302    220    5920215040
eca-rers2012/Problem10_label13_true-unreach-call.c true 34.1  20.4  886620160 timeout (error (143)) 301    233    3002884096 timeout (error (143)) 301    217    6546432000
eca-rers2012/Problem10_label14_true-unreach-call.c true 73.4  47.0  1280905216 timeout (error (143)) 301    245    3006267392 timeout (error (143)) 302    229    5797621760
eca-rers2012/Problem10_label16_true-unreach-call.c true 59.2  35.0  1174392832 timeout (error (143)) 306    250    3000438784 true 127    82.2  2893975552
eca-rers2012/Problem10_label18_true-unreach-call.c true 53.6  32.5  1185378304 timeout (error (143)) 302    243    3004698624 true 150    105    2998403072
eca-rers2012/Problem10_label19_true-unreach-call.c true 29.9  17.8  870092800 timeout (error (143)) 306    254    2968457216 true 61.2  38.2  1205895168
eca-rers2012/Problem10_label20_true-unreach-call.c true 52.9  31.1  1049325568 timeout (error (143)) 301    245    2972479488 true 63.5  40.4  1202204672
eca-rers2012/Problem10_label21_true-unreach-call.c true 46.4  27.2  1019731968 timeout (error (143)) 306    245    2963243008 true 65.7  40.3  1214447616
eca-rers2012/Problem10_label22_true-unreach-call.c true 43.4  25.6  1008902144 timeout (error (143)) 301    231    3019530240 true 158    109    2919710720
eca-rers2012/Problem10_label23_true-unreach-call.c true 55.0  33.1  1174245376 timeout (error (143)) 301    250    2969952256 timeout 322    215    7724806144
eca-rers2012/Problem10_label25_true-unreach-call.c true 77.0  49.4  1301905408 timeout (error (143)) 301    239    2980675584 true 175    112    2918113280
eca-rers2012/Problem10_label27_true-unreach-call.c true 52.3  31.9  1175007232 timeout (error (143)) 301    231    2961346560 true 118    79.0  2926280704
eca-rers2012/Problem10_label30_true-unreach-call.c true 49.7  28.6  1019588608 timeout (error (143)) 306    253    2951454720 true 99.8  61.9  1801400320
eca-rers2012/Problem10_label31_true-unreach-call.c true 42.1  25.0  1002577920 timeout (error (143)) 302    243    3008425984 true 97.4  66.3  2928250880
eca-rers2012/Problem10_label33_true-unreach-call.c true 29.2  18.0  832438272 timeout (error (143)) 301    234    2992508928 true 107    71.8  2952601600
eca-rers2012/Problem10_label34_true-unreach-call.c true 43.3  25.6  1030828032 timeout (error (143)) 303    226    2963136512 true 116    78.8  2961035264
eca-rers2012/Problem10_label35_true-unreach-call.c true 64.0  37.2  1156366336 timeout (error (143)) 306    247    2960637952 true 63.9  39.5  1206874112
eca-rers2012/Problem10_label36_true-unreach-call.c true 33.7  20.1  865882112 timeout (error (143)) 301    252    2975264768 true 60.9  38.0  1194827776
eca-rers2012/Problem10_label37_true-unreach-call.c true 51.5  31.2  1007640576 timeout (error (143)) 305    244    2993098752 true 106    64.7  2866016256
eca-rers2012/Problem10_label38_true-unreach-call.c true 50.7  29.0  1088503808 timeout (error (143)) 306    235    3002990592 true 148    101    2966900736
eca-rers2012/Problem10_label39_true-unreach-call.c true 47.4  27.7  1010864128 timeout (error (143)) 301    246    2954059776 true 106    72.7  2905108480
eca-rers2012/Problem10_label40_true-unreach-call.c true 60.4  35.9  1020215296 timeout (error (143)) 301    238    2973696000 true 43.1  25.8  1080504320
eca-rers2012/Problem10_label43_true-unreach-call.c true 42.5  25.0  998330368 timeout (error (143)) 301    245    2966183936 true 139    117    1062100992
eca-rers2012/Problem10_label45_true-unreach-call.c true 43.7  25.8  1005142016 timeout (error (143)) 301    242    2987655168 true 161    115    2912612352
eca-rers2012/Problem10_label49_true-unreach-call.c true 70.7  47.9  1206661120 timeout (error (143)) 301    244    2968895488 true 128    82.7  2680434688
eca-rers2012/Problem10_label51_true-unreach-call.c true 26.4  15.4  837853184 timeout (error (143)) 300    233    2965921792 true 99.7  66.8  2891845632
eca-rers2012/Problem10_label53_true-unreach-call.c true 32.1  18.3  886915072 timeout (error (143)) 301    232    2993963008 true 110    73.6  2906656768
eca-rers2012/Problem10_label56_true-unreach-call.c true 190    153    1648627712 timeout (error (143)) 303    236    3025510400 timeout (error (143)) 302    219    7154962432
eca-rers2012/Problem10_label59_true-unreach-call.c true 161    120    1608204288 timeout (error (143)) 300    244    2914258944 timeout (error (143)) 302    255    2906718208
eca-rers2012/Problem11_label01_true-unreach-call.c true 75.3  48.5  1279672320 timeout (error (143)) 300    225    2976317440 true 108    73.8  2917396480
eca-rers2012/Problem11_label03_true-unreach-call.c true 55.9  32.6  1067646976 timeout (error (143)) 302    253    2990735360 timeout (error (143)) 302    250    3284934656
eca-rers2012/Problem11_label04_true-unreach-call.c true 122    83.8  1420959744 timeout (error (143)) 302    262    2884591616 true 196    156    3111710720
eca-rers2012/Problem11_label06_true-unreach-call.c true 110    70.7  1745403904 timeout (error (143)) 301    223    3032113152 timeout (error (143)) 302    238    3405074432
eca-rers2012/Problem11_label07_true-unreach-call.c true 64.3  40.8  1259315200 timeout (error (143)) 301    263    2891128832 true 137    92.5  2954825728
eca-rers2012/Problem11_label09_true-unreach-call.c true 74.7  43.3  1219485696 timeout (error (143)) 301    252    2927984640 timeout (error (143)) 301    230    3202138112
eca-rers2012/Problem11_label12_true-unreach-call.c true 65.9  41.3  1258500096 timeout (error (143)) 301    260    2899595264 true 240    190    3118227456
eca-rers2012/Problem11_label16_true-unreach-call.c true 88.2  54.2  1504194560 timeout (error (143)) 301    242    2992857088 true 283    229    3085688832
eca-rers2012/Problem11_label17_true-unreach-call.c true 53.8  33.0  1079635968 timeout (error (143)) 301    251    2891792384 true 207    161    3068088320
eca-rers2012/Problem11_label18_true-unreach-call.c true 81.8  51.4  1277906944 timeout (error (143)) 301    240    3026878464 true 137    94.5  2971926528
eca-rers2012/Problem11_label19_true-unreach-call.c true 258    200    3028688896 timeout (error (143)) 302    246    3029245952 timeout (error (143)) 304    269    2997014528
eca-rers2012/Problem11_label21_true-unreach-call.c true 132    87.0  2104614912 timeout (error (143)) 301    242    3005255680 true 137    93.0  2924900352
eca-rers2012/Problem11_label26_true-unreach-call.c true 125    85.1  2130063360 timeout (error (143)) 301    236    3064184832 timeout (error (143)) 302    252    3190616064
eca-rers2012/Problem11_label27_true-unreach-call.c true 59.4  36.7  1229737984 timeout (error (143)) 302    254    2891464704 true 249    194    3003006976
eca-rers2012/Problem11_label28_true-unreach-call.c true 242    173    2900615168 timeout (error (143)) 301    228    3068661760 timeout (error (143)) 300    219    3208155136
eca-rers2012/Problem11_label30_true-unreach-call.c true 187    137    2496544768 timeout (error (143)) 301    214    3066695680 timeout (error (143)) 301    225    4236922880
eca-rers2012/Problem11_label32_true-unreach-call.c true 69.1  42.8  1268236288 timeout (error (143)) 301    259    2893217792 true 145    98.9  2956619776
eca-rers2012/Problem11_label33_true-unreach-call.c true 208    180    1291390976 timeout (error (143)) 301    245    3003318272 timeout (error (143)) 306    254    3239972864
eca-rers2012/Problem11_label37_true-unreach-call.c true 73.3  45.6  1268224000 timeout (error (143)) 301    245    2979799040 error: exception 116    75.6  2916016128
eca-rers2012/Problem11_label38_true-unreach-call.c true 59.2  34.9  1205952512 timeout (error (143)) 301    239    3026059264 true 150    93.0  3067125760
eca-rers2012/Problem11_label41_true-unreach-call.c true 272    212    2921586688 timeout (error (143)) 301    234    3033096192 timeout (error (143)) 301    244    3301658624
eca-rers2012/Problem11_label44_true-unreach-call.c true 203    165    1895522304 timeout (error (143)) 306    259    2931814400 timeout (error (143)) 303    249    3336302592
eca-rers2012/Problem11_label46_true-unreach-call.c true 290    231    2934390784 timeout (error (143)) 301    239    3016847360 timeout (error (143)) 301    247    3175854080
eca-rers2012/Problem11_label47_true-unreach-call.c true 108    70.9  1733779456 timeout (error (143)) 301    259    2894639104 timeout (error (143)) 301    241    3134181376
eca-rers2012/Problem11_label52_true-unreach-call.c true 132    91.9  1767563264 timeout (error (143)) 301    259    2898227200 timeout (error (143)) 301    237    3163320320
eca-rers2012/Problem11_label53_true-unreach-call.c true 64.9  39.3  1251397632 timeout (error (143)) 301    229    2999545856 timeout (error (143)) 306    248    3235278848
eca-rers2012/Problem11_label55_true-unreach-call.c true 141    94.4  2113495040 timeout (error (143)) 301    244    2995548160 timeout (error (143)) 302    238    3360497664
eca-rers2012/Problem11_label57_true-unreach-call.c timeout (error: exception) 301    266    1444933632 timeout (error (143)) 301    225    3044294656 timeout (error (143)) 301    252    2984484864
eca-rers2012/Problem11_label59_true-unreach-call.c true 53.3  32.3  1090641920 timeout (error (143)) 304    248    2942988288 true 178    135    3044876288
eca-rers2012/Problem12_label15_true-unreach-call.c true 249    186    4157464576 timeout (error (143)) 301    235    3013951488 timeout (error (143)) 306    251    3192717312
eca-rers2012/Problem12_label16_true-unreach-call.c true 199    153    3148402688 timeout (error (143)) 300    231    3166605312 timeout (error (143)) 301    245    3147939840
eca-rers2012/Problem12_label18_true-unreach-call.c true 292    217    4353458176 timeout (error (143)) 301    244    3159425024 timeout (error (143)) 306    256    3204521984
eca-rers2012/Problem12_label22_true-unreach-call.c true 210    156    3204669440 timeout (error (143)) 306    238    3281854464 timeout (error (143)) 302    246    3148771328
eca-rers2012/Problem12_label29_true-unreach-call.c true 253    190    4320059392 timeout (error (143)) 305    248    3042230272 timeout (error (143)) 306    239    3243827200
eca-rers2012/Problem12_label31_true-unreach-call.c true 297    227    3959894016 timeout (error (143)) 301    231    3162005504 timeout (error (143)) 306    243    3372421120
eca-rers2012/Problem12_label32_true-unreach-call.c true 274    212    3841855488 timeout (error (143)) 306    243    2972291072 timeout (error (143)) 306    255    3122765824
eca-rers2012/Problem12_label33_true-unreach-call.c true 198    148    2825940992 timeout (error (143)) 306    228    3138342912 timeout (error (143)) 306    254    3115339776
eca-rers2012/Problem12_label36_true-unreach-call.c true 215    167    2911625216 timeout (error (143)) 301    236    2959597568 timeout (error (143)) 306    240    3375681536
eca-rers2012/Problem12_label43_true-unreach-call.c true 242    187    3256979456 timeout (error (143)) 301    217    3279040512 timeout (error (143)) 301    245    3250675712
eca-rers2012/Problem12_label45_true-unreach-call.c true 284    216    3289780224 timeout (error (143)) 301    209    3232522240 timeout (error (143)) 306    250    3258552320
eca-rers2012/Problem12_label46_true-unreach-call.c true 220    166    3323498496 timeout (error (143)) 301    237    3030691840 timeout (error (143)) 306    255    3168120832
eca-rers2012/Problem12_label47_true-unreach-call.c true 204    154    3074920448 timeout (error (143)) 301    226    3532468224 timeout (error (143)) 301    243    3255635968
eca-rers2012/Problem12_label49_true-unreach-call.c true 207    154    2950172672 timeout (error (143)) 301    233    3296419840 timeout (error (143)) 306    246    3281948672
eca-rers2012/Problem12_label53_true-unreach-call.c true 205    153    3264729088 timeout (error (143)) 301    230    3343749120 timeout (error (143)) 301    245    3239849984
eca-rers2012/Problem12_label56_true-unreach-call.c true 197    146    3020931072 timeout (error (143)) 301    227    3299987456 timeout (error (143)) 306    246    3354173440
eca-rers2012/Problem12_label57_true-unreach-call.c true 294    234    3244249088 timeout (error (143)) 306    243    3151908864 timeout (error (143)) 306    259    3116236800
eca-rers2012/Problem12_label58_true-unreach-call.c true 210    150    3746803712 timeout (error (143)) 306    237    3135094784 timeout (error (143)) 306    259    3088457728
eca-rers2012/Problem12_label59_true-unreach-call.c true 258    191    4418764800 timeout (error (143)) 301    234    2974793728 timeout (error (143)) 303    218    4526895104
eca-rers2012/Problem13_label20_true-unreach-call.c true 292    221    4184358912 timeout (error (143)) 301    225    3065999360 timeout (error (143)) 306    247    3204673536
eca-rers2012/Problem14_label01_true-unreach-call_false-termination.c true 64.2  38.1  1221025792 timeout (error (143)) 305    249    2972647424 true 155    109    2993991680
eca-rers2012/Problem14_label05_true-unreach-call_false-termination.c true 85.4  54.6  2011836416 timeout (error (143)) 301    238    2966040576 timeout (error (143)) 302    239    3200614400
eca-rers2012/Problem14_label06_true-unreach-call_false-termination.c true 105    63.6  1953398784 timeout (error (143)) 301    244    2962788352 true 242    186    3090808832
eca-rers2012/Problem14_label07_true-unreach-call_false-termination.c true 142    94.1  2863714304 timeout (error (143)) 301    248    2941878272 timeout (error (143)) 301    240    3165896704
eca-rers2012/Problem14_label16_true-unreach-call_false-termination.c true 65.4  40.8  1239650304 timeout (error (143)) 301    246    2961641472 true 222    169    3077947392
eca-rers2012/Problem14_label17_true-unreach-call_false-termination.c true 62.7  39.1  1373564928 timeout (error (143)) 301    244    2936733696 true 287    217    3063136256
eca-rers2012/Problem14_label19_true-unreach-call_false-termination.c true 133    91.3  2914791424 timeout (error (143)) 302    243    3014184960 true 184    134    3013644288
eca-rers2012/Problem14_label21_true-unreach-call_false-termination.c true 95.0  58.8  1585487872 timeout (error (143)) 302    249    2954653696 true 145    104    2981654528
eca-rers2012/Problem14_label23_true-unreach-call_false-termination.c true 149    96.3  2888249344 timeout (error (143)) 303    238    2960818176 timeout (error (143)) 301    230    3064283136
eca-rers2012/Problem14_label24_true-unreach-call_false-termination.c true 120    77.6  2876502016 timeout (error (143)) 303    247    2962886656 timeout (error (143)) 301    233    3116810240
eca-rers2012/Problem14_label26_true-unreach-call_false-termination.c true 109    65.5  1866756096 timeout (error (143)) 301    248    2933018624 true 244    185    3084779520
eca-rers2012/Problem14_label32_true-unreach-call_false-termination.c true 88.7  56.1  1988055040 timeout (error (143)) 302    244    3031089152 timeout (error (143)) 302    232    3112611840
eca-rers2012/Problem14_label33_true-unreach-call_false-termination.c true 57.4  35.9  1261719552 timeout (error (143)) 302    231    2962456576 true 266    195    3026321408
eca-rers2012/Problem14_label36_true-unreach-call_false-termination.c true 74.3  45.3  1614761984 timeout (error (143)) 304    246    2955612160 true 173    133    2998775808
eca-rers2012/Problem14_label42_true-unreach-call_false-termination.c true 77.6  48.6  1380626432 timeout (error (143)) 301    241    2963996672 true 268    199    3046629376
eca-rers2012/Problem14_label45_true-unreach-call_false-termination.c true 130    84.7  2889216000 timeout (error (143)) 301    246    2985742336 timeout (error (143)) 301    235    3130912768
eca-rers2012/Problem14_label47_true-unreach-call_false-termination.c true 80.3  51.5  1706631168 timeout (error (143)) 301    243    2978836480 timeout (error (143)) 301    241    3179327488
eca-rers2012/Problem14_label49_true-unreach-call_false-termination.c true 84.8  53.0  1888657408 timeout (error (143)) 301    244    2961297408 timeout (error (143)) 301    240    3175206912
eca-rers2012/Problem14_label50_true-unreach-call_false-termination.c true 118    78.2  2864930816 timeout (error (143)) 300    242    2958176256 timeout (error (143)) 305    244    3141476352
eca-rers2012/Problem14_label55_true-unreach-call_false-termination.c true 139    91.6  2876481536 timeout (error (143)) 304    223    2949152768 timeout (error (143)) 305    237    3294068736
eca-rers2012/Problem14_label59_true-unreach-call_false-termination.c true 78.2  48.4  1716219904 timeout (error (143)) 301    238    3013177344 true 98.7  61.4  2863124480
eca-rers2012/Problem15_label04_true-unreach-call.c true 295    232    3072376832 timeout (error (143)) 301    259    2891407360 timeout (error (143)) 302    227    3199827968
eca-rers2012/Problem15_label05_true-unreach-call.c true 218    161    2905608192 timeout (error (143)) 301    256    2933088256 timeout (error (143)) 301    229    3311009792
eca-rers2012/Problem15_label06_true-unreach-call.c true 212    160    2852417536 timeout (error (143)) 301    235    3240189952 timeout (error (143)) 304    235    3407806464
eca-rers2012/Problem15_label11_true-unreach-call.c true 218    162    2835566592 timeout (error (143)) 301    235    3032358912 timeout (error (143)) 302    240    3010396160
eca-rers2012/Problem15_label13_true-unreach-call.c true 268    209    2980962304 timeout (error (143)) 301    247    3120975872 timeout (error (143)) 301    242    3341975552
eca-rers2012/Problem15_label17_true-unreach-call.c error: exception 169    122    2243301376 timeout (error (143)) 301    257    2941575168 timeout (error (143)) 301    221    3553550336
eca-rers2012/Problem15_label20_true-unreach-call.c true 168    119    2459566080 timeout (error (143)) 301    220    3254181888 timeout (error (143)) 301    227    3802947584
eca-rers2012/Problem15_label21_true-unreach-call.c true 178    128    2636230656 timeout (error (143)) 301    236    2992607232 timeout (error (143)) 301    229    3358937088
eca-rers2012/Problem15_label26_true-unreach-call.c true 246    192    2649772032 timeout (error (143)) 301    237    3241275392 timeout (error (143)) 301    228    3321368576
eca-rers2012/Problem15_label28_true-unreach-call.c true 204    155    2812493824 timeout (error (143)) 301    241    3012333568 timeout (error (143)) 302    235    3493281792
eca-rers2012/Problem15_label31_true-unreach-call.c true 166    118    2569469952 timeout (error (143)) 301    229    3141509120 timeout (error (143)) 302    229    3317706752
eca-rers2012/Problem15_label35_true-unreach-call.c true 162    117    2256121856 timeout (error (143)) 301    234    3078520832 timeout (error (143)) 301    226    3261493248
eca-rers2012/Problem15_label36_true-unreach-call.c true 178    127    2318716928 timeout (error (143)) 301    253    2941550592 timeout (error (143)) 302    234    3199643648
eca-rers2012/Problem15_label42_true-unreach-call.c true 195    140    3021426688 timeout (error (143)) 301    235    3183693824 true 270    205    3217080320
eca-rers2012/Problem15_label43_true-unreach-call.c true 146    105    1869549568 timeout (error (143)) 301    238    3050700800 timeout (error (143)) 301    251    3365240832
eca-rers2012/Problem15_label44_true-unreach-call.c true 226    164    2898493440 timeout (error (143)) 301    261    2940215296 timeout (error (143)) 307    231    3203432448
eca-rers2012/Problem15_label53_true-unreach-call.c true 137    99.6  1945219072 timeout (error (143)) 301    245    3111895040 timeout (error (143)) 301    239    3273433088
eca-rers2012/Problem15_label54_true-unreach-call.c true 146    105    1760567296 timeout (error (143)) 301    244    3139018752 timeout (error (143)) 301    252    3376807936
eca-rers2012/Problem15_label55_true-unreach-call.c true 143    102    1928196096 timeout (error (143)) 301    251    2940346368 true 194    136    2988277760
eca-rers2012/Problem15_label56_true-unreach-call.c true 109    78.2  1789706240 timeout (error (143)) 301    254    2945474560 true 245    175    3158949888
eca-rers2012/Problem15_label58_true-unreach-call.c true 108    75.9  1790746624 timeout (error (143)) 301    238    3174043648 timeout (error (143)) 304    233    3443519488
eca-rers2012/Problem15_label59_true-unreach-call.c true 216    161    2899193856 timeout (error (143)) 301    250    2969776128 timeout (error (143)) 302    247    3112886272
eca-rers2012/Problem16_label07_true-unreach-call.c true 137    92.5  2837131264 timeout (error (143)) 301    240    2969792512 timeout (error (143)) 301    246    3292213248
eca-rers2012/Problem16_label09_true-unreach-call.c true 110    76.2  1768710144 timeout (error (143)) 301    242    3025383424 timeout (error (143)) 300    239    3224477696
eca-rers2012/Problem16_label10_true-unreach-call.c true 122    81.0  2019823616 timeout (error (143)) 301    240    3017338880 timeout (error (143)) 302    237    3282460672
eca-rers2012/Problem16_label11_true-unreach-call.c true 121    76.5  2126299136 timeout (error (143)) 301    244    2951491584 timeout (error (143)) 301    238    3235799040
eca-rers2012/Problem16_label12_true-unreach-call.c true 190    131    2992738304 timeout (error (143)) 301    242    2961829888 timeout (error (143)) 305    239    3242332160
eca-rers2012/Problem16_label13_true-unreach-call.c true 120    83.2  2543816704 timeout (error (143)) 301    229    2975260672 timeout (error (143)) 306    245    3284193280
eca-rers2012/Problem16_label16_true-unreach-call.c true 105    68.3  2037243904 timeout (error (143)) 301    241    2972717056 timeout (error (143)) 301    235    3408039936
eca-rers2012/Problem16_label17_true-unreach-call.c true 136    91.0  2642755584 timeout (error (143)) 300    221    3104169984 timeout (error (143)) 306    249    3378286592
eca-rers2012/Problem16_label19_true-unreach-call.c true 147    97.0  2861891584 timeout (error (143)) 302    230    3018280960 timeout (error (143)) 306    242    3221843968
eca-rers2012/Problem16_label21_true-unreach-call.c true 263    195    3112038400 timeout (error (143)) 302    237    3004182528 timeout (error (143)) 301    249    3119165440
eca-rers2012/Problem16_label23_true-unreach-call.c true 171    116    2944176128 timeout (error (143)) 301    243    3065270272 timeout (error (143)) 303    247    3270234112
eca-rers2012/Problem16_label24_true-unreach-call.c true 109    73.1  2730295296 timeout (error (143)) 301    242    2982420480 timeout (error (143)) 302    253    3270717440
eca-rers2012/Problem16_label25_true-unreach-call.c true 124    80.1  2809552896 timeout (error (143)) 301    237    3060776960 timeout (error (143)) 304    252    3286732800
eca-rers2012/Problem16_label26_true-unreach-call.c true 125    81.9  2731528192 timeout (error (143)) 301    241    3011657728 timeout (error (143)) 302    246    3310911488
eca-rers2012/Problem16_label28_true-unreach-call.c true 179    123    2882715648 timeout (error (143)) 301    237    3020455936 timeout (error (143)) 305    254    3291844608
eca-rers2012/Problem16_label29_true-unreach-call.c true 259    196    3001565184 timeout (error (143)) 301    245    3051503616 timeout (error (143)) 306    255    3209773056
eca-rers2012/Problem16_label32_true-unreach-call.c true 177    125    2997104640 timeout (error (143)) 301    242    2976456704 timeout (error (143)) 301    233    3358396416
eca-rers2012/Problem16_label34_true-unreach-call.c true 122    82.2  2419314688 timeout (error (143)) 301    232    3025903616 timeout (error (143)) 304    251    3176263680
eca-rers2012/Problem16_label35_true-unreach-call.c true 136    92.8  2894282752 timeout (error (143)) 301    249    2958696448 timeout (error (143)) 302    249    3322699776
eca-rers2012/Problem16_label36_true-unreach-call.c true 90.5  61.3  2668843008 timeout (error (143)) 302    243    2949668864 timeout (error (143)) 302    250    3265896448
eca-rers2012/Problem16_label39_true-unreach-call.c true 142    91.6  2967121920 timeout (error (143)) 301    225    3106164736 timeout (error (143)) 306    244    3251748864
eca-rers2012/Problem16_label40_true-unreach-call.c true 145    96.7  2863476736 timeout (error (143)) 301    234    3086594048 timeout (error (143)) 301    242    3235209216
eca-rers2012/Problem16_label42_true-unreach-call.c true 141    93.3  3007823872 timeout (error (143)) 301    249    3013394432 timeout (error (143)) 302    244    3154972672
eca-rers2012/Problem16_label45_true-unreach-call.c true 273    202    3053535232 timeout (error (143)) 301    237    3052843008 timeout (error (143)) 303    250    3190767616
eca-rers2012/Problem16_label47_true-unreach-call.c true 73.6  47.1  1276944384 timeout (error (143)) 301    233    3030003712 true 193    144    2963050496
eca-rers2012/Problem16_label48_true-unreach-call.c true 77.6  49.3  1281650688 timeout (error (143)) 302    241    3041873920 true 181    138    2975412224
eca-rers2012/Problem16_label49_true-unreach-call.c true 106    66.2  1455460352 timeout (error (143)) 300    211    3012857856 timeout (error (143)) 302    251    3282472960
eca-rers2012/Problem16_label50_true-unreach-call.c true 47.5  29.8  953794560 timeout (error (143)) 301    232    3122307072 timeout (error (143)) 306    229    3388383232
eca-rers2012/Problem16_label53_true-unreach-call.c true 272    201    3208499200 timeout (error (143)) 302    244    3048628224 timeout (error (143)) 302    252    3191345152
eca-rers2012/Problem16_label55_true-unreach-call.c true 80.5  52.6  1474097152 timeout (error (143)) 301    248    2961514496 timeout (error (143)) 306    258    3275116544
eca-rers2012/Problem16_label56_true-unreach-call.c true 40.1  24.3  901312512 timeout (error (143)) 301    237    2970419200 timeout (error (143)) 302    252    3237363712
eca-rers2012/Problem16_label57_true-unreach-call.c true 61.0  39.3  1226199040 timeout (error (143)) 301    244    3040874496 timeout (error (143)) 306    254    3280089088
eca-rers2012/Problem16_label58_true-unreach-call.c true 106    67.5  1869393920 timeout (error (143)) 301    245    3052298240 timeout (error (143)) 305    254    3288322048
eca-rers2012/Problem16_label59_true-unreach-call.c true 135    85.8  2861174784 timeout (error (143)) 301    229    3082461184 timeout (error (143)) 302    231    3381620736
eca-rers2012/Problem17_label38_true-unreach-call.c timeout (error (143)) 302    272    1315442688 timeout (error (143)) 301    250    2973884416 timeout 322    259    6116597760
eca-rers2012/Problem17_label42_true-unreach-call.c true 270    211    3244695552 timeout (error (143)) 301    245    2974167040 timeout (error (143)) 302    232    3944992768
eca-rers2012/Problem17_label51_true-unreach-call.c timeout (error (143)) 302    241    3007377408 timeout (error (143)) 301    246    2985844736 error: exception 235    182    2550165504
eca-rers2012/Problem18_label02_true-unreach-call.c true 161    112    3036966912 timeout (error (143)) 301    212    3120463872 timeout (error (143)) 301    235    3333210112
eca-rers2012/Problem18_label07_true-unreach-call.c true 163    112    3040276480 timeout (error (143)) 300    217    3149975552 timeout (error (143)) 301    244    3300192256
eca-rers2012/Problem18_label11_true-unreach-call.c true 192    141    3172806656 timeout (error (143)) 301    226    3077636096 timeout (error (143)) 301    242    3303321600
eca-rers2012/Problem18_label13_true-unreach-call.c true 214    154    3682680832 timeout (error (143)) 301    214    3171733504 timeout (error (143)) 306    246    3342589952
eca-rers2012/Problem18_label16_true-unreach-call.c true 250    182    3973361664 timeout (error (143)) 301    220    3352137728 timeout (error (143)) 306    236    3463438336
eca-rers2012/Problem18_label17_true-unreach-call.c true 210    153    3172569088 timeout (error (143)) 301    230    3185283072 timeout (error (143)) 304    242    3323146240
eca-rers2012/Problem18_label18_true-unreach-call.c true 211    152    3294896128 timeout (error (143)) 301    240    3024306176 timeout (error (143)) 303    243    3520290816
eca-rers2012/Problem18_label21_true-unreach-call.c true 278    205    4116508672 timeout (error (143)) 301    237    3118120960 timeout (error (143)) 301    246    3245137920
eca-rers2012/Problem18_label22_true-unreach-call.c true 270    200    3761156096 timeout (error (143)) 301    236    3033948160 timeout (error (143)) 306    232    3469221888
eca-rers2012/Problem18_label23_true-unreach-call.c true 218    157    4002971648 timeout (error (143)) 301    238    3128336384 timeout (error (143)) 303    246    3237761024
eca-rers2012/Problem18_label28_true-unreach-call.c true 234    168    4125863936 timeout (error (143)) 301    233    3152650240 timeout (error (143)) 306    246    3312660480
eca-rers2012/Problem18_label30_true-unreach-call.c true 160    111    3050164224 timeout (error (143)) 301    223    3205619712 timeout (error (143)) 304    241    3388596224
eca-rers2012/Problem18_label37_true-unreach-call.c true 292    216    3829903360 timeout (error (143)) 301    237    3133632512 timeout (error (143)) 306    247    3257434112
eca-rers2012/Problem18_label40_true-unreach-call.c true 157    110    2670977024 timeout (error (143)) 301    236    3061276672 timeout (error (143)) 301    243    3327418368
eca-rers2012/Problem18_label41_true-unreach-call.c true 209    152    3173888000 timeout (error (143)) 301    236    3072778240 timeout (error (143)) 304    240    3366584320
eca-rers2012/Problem18_label42_true-unreach-call.c true 180    127    2925117440 timeout (error (143)) 301    238    3113517056 timeout (error (143)) 301    247    3278659584
eca-rers2012/Problem18_label43_true-unreach-call.c true 250    180    3662053376 timeout (error (143)) 301    235    3073904640 timeout (error (143)) 303    233    3424641024
eca-rers2012/Problem18_label44_true-unreach-call.c true 183    127    3075682304 timeout (error (143)) 304    222    3476103168 timeout (error (143)) 304    237    3533824000
eca-rers2012/Problem18_label46_true-unreach-call.c true 143    98.8  2921738240 timeout (error (143)) 301    223    3201892352 timeout (error (143)) 302    244    3338412032
eca-rers2012/Problem18_label47_true-unreach-call.c true 159    110    2926632960 timeout (error (143)) 300    224    3142619136 timeout (error (143)) 306    250    3279081472
eca-rers2012/Problem18_label48_true-unreach-call.c true 146    103    2938253312 timeout (error (143)) 301    207    3134775296 timeout (error (143)) 306    246    3292512256
eca-rers2012/Problem18_label50_true-unreach-call.c true 206    144    3255934976 timeout (error (143)) 301    230    3172454400 timeout (error (143)) 306    245    3321536512
eca-rers2012/Problem18_label51_true-unreach-call.c true 129    90.6  2221621248 timeout (error (143)) 300    225    3184693248 timeout (error (143)) 302    235    3332419584
eca-rers2012/Problem18_label53_true-unreach-call.c true 194    138    3576975360 timeout (error (143)) 301    223    3248082944 timeout (error (143)) 306    242    3356119040
eca-rers2012/Problem18_label54_true-unreach-call.c true 215    155    3653726208 timeout (error (143)) 301    206    3054166016 timeout (error (143)) 301    241    3372863488
eca-rers2012/Problem18_label56_true-unreach-call.c true 167    119    3239591936 timeout (error (143)) 302    225    3183267840 timeout (error (143)) 301    241    3327873024
eca-rers2012/Problem18_label58_true-unreach-call.c true 199    138    3311276032 timeout (error (143)) 301    228    3168886784 timeout (error (143)) 301    238    3343224832
eca-rers2012/Problem18_label59_true-unreach-call.c true 266    197    3980390400 timeout (error (143)) 301    226    3144105984 timeout (error (143)) 301    234    3193032704
eca-rers2012/Problem19_label34_true-unreach-call.c timeout (error: exception) 302    242    3407855616 timeout (error (143)) 302    229    3088171008 timeout (error (143)) 301    236    3096862720
eca-rers2012/Problem19_label46_true-unreach-call.c timeout (error: exception) 301    245    3292643328 timeout (error (143)) 302    236    3473383424 timeout (error (143)) 302    230    3564142592
psyco/psyco_abp_1_false-unreach-call_false-termination_true-no-overflow.c false 99.1  59.0  1466720256 timeout (error (143)) 301    250    2960351232 false 114    68.0  1607913472
psyco/psyco_cev_1_false-unreach-call.c timeout 322    223    7938134016 timeout (error (143)) 307    219    7985516544 timeout (error (143)) 302    218    7638642688
psyco/psyco_abp_1_true-unreach-call_false-termination_true-no-overflow.c true 61.5  34.7  1181532160 timeout (error (143)) 301    257    2952650752 true 62.9  35.0  1181741056
loops/eureka_01_false-unreach-call_true-termination.i timeout (error (143)) 301    257    1567342592 timeout (error (143)) 316    266    5620834304 timeout 322    272    5659193344
loops/insertion_sort_false-unreach-call_true-termination.i false 171    131    1358024704 timeout (error (143)) 300    254    1878855680 timeout (error (143)) 302    277    1192005632
loops/n.c40_true-unreach-call_true-termination.i timeout (error (143)) 301    242    2021306368 true 52.1  31.0  2825043968 true 22.6  13.7  879628288
loops/sum_array_true-unreach-call.i timeout (error: exception) 300    267    1406373888 timeout (error (143)) 301    269    2193334272 timeout (error: exception) 301    270    2939043840
loop-acceleration/overflow_true-unreach-call1.i timeout (error (143)) 300    289    838701056 true 10.3  5.63 284942336 true 9.16 5.04 271486976
loop-acceleration/simple_true-unreach-call1.i timeout (error (143)) 306    296    788152320 true 9.60 5.45 276762624 true 9.44 5.27 268181504
loop-acceleration/simple_true-unreach-call3_true-termination.i timeout (error (143)) 306    296    791035904 true 10.9  6.05 293277696 true 10.8  5.86 303566848
loop-crafted/simple_array_index_value_true-unreach-call2_true-termination.i timeout (error (143)) 306    292    997707776 error: exception 33.9  24.9  1001656320 timeout (error (143)) 306    294    919740416
loop-crafted/simple_array_index_value_true-unreach-call4_true-termination.i true 140    133    468291584 timeout (error: exception) 301    292    2982588416 timeout (error: exception) 301    293    3008290816
loop-invgen/down_true-unreach-call_true-termination.i timeout (error (143)) 301    237    1451180032 true 13.7  7.64 404652032 timeout (error (143)) 301    230    1633099776
loop-invgen/heapsort_true-unreach-call_true-termination.i timeout (error (143)) 301    272    1205731328 true 215    155    1974693888 true 86.8  61.0  1149730816
loop-invgen/string_concat-noarr_true-unreach-call_true-termination.i timeout (error (143)) 301    258    2299838464 true 14.9  8.27 433876992 timeout (error (143)) 301    245    1599418368
loop-new/gauss_sum_true-unreach-call_true-termination.i timeout (error (143)) 300    251    1372360704 true 23.5  16.7  602144768 true 23.0  16.4  587698176
loop-industry-pattern/nested_true-unreach-call.c timeout (error (143)) 301    263    2888105984 true 37.8  21.1  1067646976 true 55.0  33.2  1164251136
../../../trunk/examples/svcomp/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
total 503 80900 58500 1299240456192 503 150000 122000 1612097560576 503 119000 90600 1610300911616
    correct results 0 0 0
        correct true 0 0 0
        correct false 0 0 0
    incorrect results 0 0 0
        incorrect true 0 0 0
        incorrect false 0 0 0
Run set Automizer Taipan Taipan-EXP