Tool ULTIMATE Automizer 0.1.23-0fd1304c
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-23 17:12:46 CEST
Run set Automizer.ECA Taipan.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
../../../trunk/examples/svcomp/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
eca-rers2012/Problem01_label15_false-unreach-call_false-termination.c false 58.9  35.4  1172541440 timeout (error (143)) 303    252    2897043456
eca-rers2012/Problem01_label20_false-unreach-call_false-termination.c false 59.1  34.4  1193984000 timeout (error (143)) 301    257    2947244032
eca-rers2012/Problem01_label21_false-unreach-call_false-termination.c false 54.5  32.3  1198796800 timeout (error (143)) 301    252    2903437312
eca-rers2012/Problem01_label32_false-unreach-call_false-termination.c false 52.3  31.0  1079357440 timeout (error (143)) 302    255    2913660928
eca-rers2012/Problem01_label33_false-unreach-call_false-termination.c false 50.5  30.4  1131208704 timeout (error (143)) 302    249    2922786816
eca-rers2012/Problem01_label35_false-unreach-call_false-termination.c false 54.4  31.4  1046056960 timeout (error (143)) 302    261    2926518272
eca-rers2012/Problem01_label37_false-unreach-call_false-termination.c false 63.6  38.1  1230848000 timeout (error (143)) 301    254    2909831168
eca-rers2012/Problem01_label38_false-unreach-call_false-termination.c false 52.1  30.5  1017704448 timeout (error (143)) 302    255    2910318592
eca-rers2012/Problem01_label44_false-unreach-call_false-termination.c false 43.1  25.1  1030590464 timeout (error (143)) 302    257    2908856320
eca-rers2012/Problem01_label47_false-unreach-call_false-termination.c false 56.2  32.8  1101168640 timeout (error (143)) 301    251    2929106944
eca-rers2012/Problem01_label50_false-unreach-call_false-termination.c false 61.7  35.1  1026338816 timeout (error (143)) 301    253    2915270656
eca-rers2012/Problem01_label56_false-unreach-call_false-termination.c false 49.5  29.4  1052286976 timeout (error (143)) 302    257    2915885056
eca-rers2012/Problem01_label57_false-unreach-call_false-termination.c false 59.1  35.5  1201258496 timeout (error (143)) 301    259    2954522624
eca-rers2012/Problem02_label13_false-unreach-call_false-termination.c false 30.4  17.8  860311552 timeout (error (143)) 301    257    2930585600
eca-rers2012/Problem02_label43_false-unreach-call_false-termination.c false 39.1  22.9  968826880 timeout (error (143)) 301    260    2917974016
eca-rers2012/Problem02_label44_false-unreach-call_false-termination.c false 48.3  28.2  996069376 timeout (error (143)) 302    263    2955808768
eca-rers2012/Problem02_label45_false-unreach-call_false-termination.c false 58.5  34.0  1098252288 timeout (error (143)) 301    264    2916052992
eca-rers2012/Problem02_label50_false-unreach-call_false-termination.c false 56.0  32.3  998866944 timeout (error (143)) 301    261    2909417472
eca-rers2012/Problem02_label59_false-unreach-call_false-termination.c false 63.8  36.2  1094025216 timeout (error (143)) 301    261    2906841088
eca-rers2012/Problem03_label13_false-unreach-call.c timeout 310    231    8000000000 timeout (error (143)) 301    276    2911215616
eca-rers2012/Problem03_label26_false-unreach-call.c timeout 322    213    7917174784 timeout (error (143)) 302    279    2884792320
eca-rers2012/Problem03_label27_false-unreach-call.c false 141    89.2  4540891136 timeout (error (143)) 301    275    2923388928
eca-rers2012/Problem03_label31_false-unreach-call.c false 148    103    3719045120 timeout (error (143)) 308    284    2891329536
eca-rers2012/Problem03_label37_false-unreach-call.c false 198    127    5817769984 timeout (error (143)) 301    279    2896982016
eca-rers2012/Problem03_label39_false-unreach-call.c timeout 322    220    7003439104 timeout (error (143)) 302    278    2887573504
eca-rers2012/Problem03_label43_false-unreach-call.c false 292    197    5938094080 timeout (error (143)) 301    276    2909773824
eca-rers2012/Problem03_label50_false-unreach-call.c false 183    124    4561682432 timeout (error (143)) 303    280    2891231232
eca-rers2012/Problem03_label52_false-unreach-call.c timeout 320    219    7939481600 timeout (error (143)) 302    282    2871218176
eca-rers2012/Problem05_label36_false-unreach-call.c timeout (error: exception) 302    213    5051432960 timeout (error (143)) 301    238    3109425152
eca-rers2012/Problem06_label00_false-unreach-call.c timeout 322    218    6811893760 timeout (error (143)) 302    267    3002630144
eca-rers2012/Problem08_label02_false-unreach-call.c timeout (error (143)) 306    235    4825518080 timeout (error: exception) 305    243    4748648448
eca-rers2012/Problem08_label10_false-unreach-call.c timeout (error (143)) 305    226    5226172416 timeout 322    240    6095323136
eca-rers2012/Problem08_label25_false-unreach-call.c timeout (error (143)) 305    227    5281243136 timeout (error: exception) 322    253    5151690752
eca-rers2012/Problem08_label29_false-unreach-call.c timeout (error: exception) 301    222    5539794944 timeout (error (143)) 308    235    4883251200
eca-rers2012/Problem08_label43_false-unreach-call.c timeout (error: exception) 306    235    4867862528 timeout (error (143)) 306    231    4828356608
eca-rers2012/Problem09_label02_false-unreach-call.c timeout (error (143)) 306    228    5521199104 timeout 322    236    6361006080
eca-rers2012/Problem09_label03_false-unreach-call.c timeout (error (143)) 306    224    5495869440 timeout 322    237    6168408064
eca-rers2012/Problem09_label06_false-unreach-call.c timeout (error (143)) 308    234    5188755456 timeout 322    234    6670381056
eca-rers2012/Problem09_label10_false-unreach-call.c timeout (error (143)) 307    229    5169262592 timeout 322    236    6135259136
eca-rers2012/Problem09_label20_false-unreach-call.c timeout (error (143)) 305    227    5502050304 timeout 321    246    5812666368
eca-rers2012/Problem09_label34_false-unreach-call.c timeout (error (143)) 305    226    5153796096 timeout 322    233    6869250048
eca-rers2012/Problem09_label35_false-unreach-call.c timeout (error (143)) 306    232    5107744768 timeout 322    234    6873526272
eca-rers2012/Problem09_label36_false-unreach-call.c timeout (error (143)) 305    227    5161095168 timeout 321    237    6073376768
eca-rers2012/Problem09_label41_false-unreach-call.c timeout (error (143)) 306    232    5188673536 timeout 321    238    6717001728
eca-rers2012/Problem09_label44_false-unreach-call.c timeout (error (143)) 305    227    5167579136 timeout 322    234    6014672896
eca-rers2012/Problem09_label51_false-unreach-call.c timeout (error (143)) 306    228    5141463040 timeout 322    235    6262865920
eca-rers2012/Problem09_label54_false-unreach-call.c timeout (error (143)) 306    230    5512093696 timeout 322    236    6172688384
eca-rers2012/Problem09_label59_false-unreach-call.c timeout (error (143)) 306    231    5491286016 timeout (error: exception) 303    227    5819285504
eca-rers2012/Problem10_label12_false-unreach-call.c false 72.9  45.8  1325785088 timeout (error (143)) 301    250    3087056896
eca-rers2012/Problem10_label15_false-unreach-call.c false 55.8  33.1  1184653312 timeout (error (143)) 301    240    3034292224
eca-rers2012/Problem10_label24_false-unreach-call.c false 83.4  52.8  1340772352 timeout (error (143)) 301    225    2996199424
eca-rers2012/Problem10_label26_false-unreach-call.c false 56.4  33.2  1195515904 timeout (error (143)) 302    237    3019358208
eca-rers2012/Problem10_label28_false-unreach-call.c false 63.7  38.2  1153740800 timeout (error (143)) 301    245    3031781376
eca-rers2012/Problem10_label29_false-unreach-call.c false 48.8  30.3  1148825600 timeout (error (143)) 302    246    2968498176
eca-rers2012/Problem10_label41_false-unreach-call.c false 66.8  41.0  1177739264 timeout (error (143)) 301    246    3021271040
eca-rers2012/Problem10_label42_false-unreach-call.c false 37.2  22.0  859295744 timeout (error (143)) 301    240    2996867072
eca-rers2012/Problem10_label47_false-unreach-call.c false 48.6  29.4  1085710336 timeout (error (143)) 301    243    2985959424
eca-rers2012/Problem10_label48_false-unreach-call.c false 76.3  48.7  1318326272 timeout (error (143)) 306    248    2998624256
eca-rers2012/Problem10_label50_false-unreach-call.c false 83.5  50.5  1356607488 timeout (error (143)) 300    239    2993963008
eca-rers2012/Problem10_label55_false-unreach-call.c false 40.8  24.3  1033240576 timeout (error (143)) 301    238    3004522496
eca-rers2012/Problem10_label57_false-unreach-call.c false 50.4  30.2  1173905408 timeout (error (143)) 302    235    3013152768
eca-rers2012/Problem10_label58_false-unreach-call.c false 123    86.4  2448609280 timeout (error (143)) 301    230    3013718016
eca-rers2012/Problem11_label08_false-unreach-call.c false 81.4  52.5  1287356416 timeout (error (143)) 301    239    3042471936
eca-rers2012/Problem11_label14_false-unreach-call.c false 61.3  36.8  1203785728 timeout (error (143)) 303    247    3044909056
eca-rers2012/Problem11_label15_false-unreach-call.c false 56.5  34.2  1051213824 timeout (error (143)) 301    240    3024306176
eca-rers2012/Problem11_label20_false-unreach-call.c false 98.9  66.4  1711251456 timeout (error (143)) 301    243    3066224640
eca-rers2012/Problem11_label29_false-unreach-call.c false 158    117    1823088640 timeout (error (143)) 302    252    2930089984
eca-rers2012/Problem11_label36_false-unreach-call.c false 37.9  22.3  890253312 timeout (error (143)) 300    237    3062763520
eca-rers2012/Problem11_label39_false-unreach-call.c false 130    98.4  1388613632 timeout (error (143)) 301    253    2890248192
eca-rers2012/Problem11_label42_false-unreach-call.c false 99.8  62.2  1405845504 timeout (error (143)) 301    249    2905612288
eca-rers2012/Problem11_label49_false-unreach-call.c false 58.8  35.7  1154650112 timeout (error (143)) 302    258    2902003712
eca-rers2012/Problem11_label51_false-unreach-call.c false 71.9  44.6  1284771840 timeout (error (143)) 301    242    3016036352
eca-rers2012/Problem12_label35_false-unreach-call.c false 198    147    2946514944 timeout (error (143)) 301    238    2965016576
eca-rers2012/Problem12_label40_false-unreach-call.c false 256    199    3055210496 timeout (error (143)) 301    228    3253182464
eca-rers2012/Problem12_label55_false-unreach-call.c false 270    208    3627364352 timeout (error (143)) 301    208    3032088576
eca-rers2012/Problem14_label02_false-unreach-call_false-termination.c false 128    85.7  2866724864 timeout (error (143)) 301    236    2959257600
eca-rers2012/Problem14_label08_false-unreach-call_false-termination.c false 108    67.4  2640064512 timeout (error (143)) 301    244    2980663296
eca-rers2012/Problem14_label10_false-unreach-call_false-termination.c false 90.3  58.1  2069925888 timeout (error (143)) 301    240    2977579008
eca-rers2012/Problem14_label11_false-unreach-call_false-termination.c false 112    69.7  2257948672 timeout (error (143)) 301    236    3062456320
eca-rers2012/Problem14_label12_false-unreach-call_false-termination.c false 120    79.0  2872160256 timeout (error (143)) 301    247    2992992256
eca-rers2012/Problem14_label13_false-unreach-call_false-termination.c false 97.4  59.3  1762652160 timeout (error (143)) 303    239    3097092096
eca-rers2012/Problem14_label18_false-unreach-call_false-termination.c false 115    71.5  2233876480 timeout (error (143)) 301    238    2997919744
eca-rers2012/Problem14_label22_false-unreach-call_false-termination.c false 135    86.3  2887966720 timeout (error (143)) 301    242    3096870912
eca-rers2012/Problem14_label27_false-unreach-call_false-termination.c false 118    75.3  2849673216 timeout (error (143)) 303    244    2962690048
eca-rers2012/Problem14_label28_false-unreach-call_false-termination.c false 109    69.0  2675118080 timeout (error (143)) 301    237    3022262272
eca-rers2012/Problem14_label29_false-unreach-call_false-termination.c false 128    82.8  2889650176 timeout (error (143)) 304    250    2997051392
eca-rers2012/Problem14_label31_false-unreach-call_false-termination.c false 114    72.1  2409762816 timeout (error (143)) 301    244    2988257280
eca-rers2012/Problem14_label34_false-unreach-call_false-termination.c false 112    69.8  2875371520 timeout (error (143)) 301    239    2975072256
eca-rers2012/Problem14_label37_false-unreach-call_false-termination.c false 114    72.9  2625900544 timeout (error (143)) 301    241    3000893440
eca-rers2012/Problem14_label39_false-unreach-call_false-termination.c false 102    64.2  2273386496 timeout (error (143)) 301    228    2997678080
eca-rers2012/Problem14_label40_false-unreach-call_false-termination.c false 102    65.3  2638729216 timeout (error (143)) 301    233    3050164224
eca-rers2012/Problem14_label41_false-unreach-call_false-termination.c false 156    103    2872623104 timeout (error (143)) 303    243    3012837376
eca-rers2012/Problem14_label43_false-unreach-call_false-termination.c false 130    83.2  2850816000 timeout (error (143)) 301    242    2991693824
eca-rers2012/Problem14_label44_false-unreach-call_false-termination.c false 130    83.6  2869026816 timeout (error (143)) 301    234    2970574848
eca-rers2012/Problem14_label52_false-unreach-call_false-termination.c false 107    68.8  2309320704 timeout (error (143)) 300    248    2980950016
eca-rers2012/Problem14_label54_false-unreach-call_false-termination.c false 145    94.7  2883825664 timeout (error (143)) 302    250    2990792704
eca-rers2012/Problem14_label56_false-unreach-call_false-termination.c false 93.6  57.7  1950928896 timeout (error (143)) 301    240    2998157312
eca-rers2012/Problem14_label57_false-unreach-call_false-termination.c false 103    65.1  2234867712 timeout (error (143)) 300    244    3011350528
eca-rers2012/Problem14_label58_false-unreach-call_false-termination.c false 147    98.7  2884628480 timeout (error (143)) 301    244    3083812864
eca-rers2012/Problem15_label03_false-unreach-call.c false 164    118    2561638400 timeout (error (143)) 301    242    3205509120
eca-rers2012/Problem15_label07_false-unreach-call.c false 235    182    2865102848 timeout (error (143)) 301    251    2891636736
eca-rers2012/Problem15_label09_false-unreach-call.c false 266    214    2919464960 timeout (error (143)) 301    259    2949513216
eca-rers2012/Problem15_label15_false-unreach-call.c false 139    99.6  2087002112 timeout (error (143)) 301    247    2998243328
eca-rers2012/Problem15_label18_false-unreach-call_false-termination.c false 189    142    2756866048 timeout (error (143)) 302    256    2946187264
eca-rers2012/Problem15_label22_false-unreach-call.c false 158    110    2102730752 timeout (error (143)) 301    244    3075346432
eca-rers2012/Problem15_label23_false-unreach-call.c false 198    147    2609065984 timeout (error (143)) 302    249    2976280576
eca-rers2012/Problem15_label25_false-unreach-call.c false 258    207    2829795328 timeout (error (143)) 301    241    3182759936
eca-rers2012/Problem15_label29_false-unreach-call.c false 187    134    2939494400 timeout (error (143)) 301    241    3178311680
eca-rers2012/Problem15_label30_false-unreach-call.c false 231    180    2604679168 timeout (error (143)) 301    240    3210031104
eca-rers2012/Problem15_label34_false-unreach-call.c false 185    136    2190807040 timeout (error (143)) 301    241    3186143232
eca-rers2012/Problem15_label37_false-unreach-call.c false 239    183    2908299264 timeout (error (143)) 301    245    3074007040
eca-rers2012/Problem15_label38_false-unreach-call.c false 180    137    2659233792 timeout (error (143)) 301    255    2942189568
eca-rers2012/Problem15_label40_false-unreach-call.c false 241    192    2529497088 timeout (error (143)) 301    222    3204444160
eca-rers2012/Problem15_label41_false-unreach-call.c false 136    95.4  1992589312 timeout (error (143)) 301    239    3190431744
eca-rers2012/Problem15_label45_false-unreach-call.c false 193    145    2679185408 timeout (error (143)) 301    251    2893533184
eca-rers2012/Problem15_label47_false-unreach-call.c false 241    187    2872643584 timeout (error (143)) 302    261    2917961728
eca-rers2012/Problem15_label48_false-unreach-call.c false 207    154    2534690816 timeout (error (143)) 302    255    2940379136
eca-rers2012/Problem15_label51_false-unreach-call.c false 206    156    2757386240 timeout (error (143)) 301    234    3137732608
eca-rers2012/Problem16_label04_false-unreach-call.c false 290    222    3061202944 timeout (error (143)) 301    237    2968899584
eca-rers2012/Problem16_label06_false-unreach-call.c false 285    217    3133911040 timeout (error (143)) 301    236    3027009536
eca-rers2012/Problem16_label08_false-unreach-call.c false 279    207    3031371776 timeout (error (143)) 301    221    3329986560
eca-rers2012/Problem16_label14_false-unreach-call.c false 292    228    3247587328 timeout (error (143)) 301    237    3085029376
eca-rers2012/Problem16_label15_false-unreach-call.c false 244    184    3178549248 timeout (error (143)) 301    239    2969849856
eca-rers2012/Problem16_label20_false-unreach-call.c timeout (false) 303    234    3095527424 timeout (error (143)) 301    228    3180400640
eca-rers2012/Problem16_label27_false-unreach-call.c false 262    197    3139301376 timeout (error (143)) 301    232    2997538816
eca-rers2012/Problem16_label33_false-unreach-call.c false 256    192    3063578624 timeout (error (143)) 301    237    3122524160
eca-rers2012/Problem16_label37_false-unreach-call.c false 238    176    3167543296 timeout (error (143)) 300    225    3131998208
eca-rers2012/Problem16_label38_false-unreach-call.c false 243    178    3149193216 timeout (error (143)) 301    240    2966552576
eca-rers2012/Problem16_label41_false-unreach-call.c false 263    196    3214835712 timeout (error (143)) 301    243    3061018624
eca-rers2012/Problem16_label43_false-unreach-call.c false 281    210    3000324096 timeout (error (143)) 302    238    2970398720
eca-rers2012/Problem16_label44_false-unreach-call.c false 253    188    2959155200 timeout (error (143)) 301    249    2956292096
eca-rers2012/Problem16_label46_false-unreach-call.c false 297    233    3040657408 timeout (error (143)) 301    248    3002843136
eca-rers2012/Problem16_label51_false-unreach-call.c timeout (error: exception) 301    232    3139969024 timeout (error (143)) 302    245    2960068608
eca-rers2012/Problem16_label52_false-unreach-call.c false 205    151    3032145920 timeout (error (143)) 301    245    3056144384
eca-rers2012/Problem16_label54_false-unreach-call.c false 287    219    3255808000 timeout (error (143)) 301    241    2968199168
eca-rers2012/Problem17_label23_false-unreach-call.c false 274    221    2860617728 timeout (error (143)) 301    240    3060600832
eca-rers2012/Problem18_label03_false-unreach-call.c false 293    221    4188426240 timeout (error (143)) 301    217    3143798784
eca-rers2012/Problem18_label08_false-unreach-call.c false 289    217    4589932544 timeout (error (143)) 301    215    3574755328
eca-rers2012/Problem18_label12_false-unreach-call.c false 257    190    3993989120 timeout (error (143)) 301    233    3176316928
eca-rers2012/Problem18_label25_false-unreach-call.c false 228    167    3613945856 timeout (error (143)) 301    224    3198287872
eca-rers2012/Problem18_label27_false-unreach-call.c false 236    175    3567144960 timeout (error (143)) 301    234    3080425472
eca-rers2012/Problem18_label45_false-unreach-call.c false 222    163    3661484032 timeout (error (143)) 300    222    3114651648
eca-rers2012/Problem18_label49_false-unreach-call.c false 292    218    4262379520 timeout (error (143)) 301    220    3287588864
eca-rers2012/Problem18_label55_false-unreach-call.c false 267    199    4229120000 timeout (error (143)) 301    228    3080249344
eca-rers2012/Problem19_label32_false-unreach-call.c timeout (error: exception) 302    240    3783442432 timeout (error (143)) 302    229    4176449536
eca-rers2012/Problem01_label01_true-unreach-call_false-termination.c true 75.7  43.5  1203691520 timeout (error (143)) 301    261    2903105536
eca-rers2012/Problem01_label02_true-unreach-call_false-termination.c true 73.6  42.0  1207541760 timeout (error (143)) 302    254    2941640704
eca-rers2012/Problem01_label04_true-unreach-call_false-termination.c true 67.6  39.7  1217454080 timeout (error (143)) 302    255    2888216576
eca-rers2012/Problem01_label05_true-unreach-call_false-termination.c true 73.5  43.4  1239240704 timeout (error (143)) 301    256    2899812352
eca-rers2012/Problem01_label06_true-unreach-call_false-termination.c true 46.3  26.4  1011240960 timeout (error (143)) 301    245    2964459520
eca-rers2012/Problem01_label07_true-unreach-call_false-termination.c true 52.6  30.2  1064476672 timeout (error (143)) 301    262    2888368128
eca-rers2012/Problem01_label08_true-unreach-call_false-termination.c true 44.8  26.1  1043582976 timeout (error (143)) 301    260    2957455360
eca-rers2012/Problem01_label10_true-unreach-call_false-termination.c true 53.8  30.8  993968128 timeout (error (143)) 305    257    2886983680
eca-rers2012/Problem01_label11_true-unreach-call_false-termination.c true 58.3  33.5  1166479360 timeout (error (143)) 301    244    2962546688
eca-rers2012/Problem01_label13_true-unreach-call_false-termination.c true 57.2  33.1  1159327744 timeout (error (143)) 301    263    2896539648
eca-rers2012/Problem01_label14_true-unreach-call_false-termination.c true 71.9  43.3  1210642432 timeout (error (143)) 303    250    2918445056
eca-rers2012/Problem01_label17_true-unreach-call_false-termination.c true 58.3  33.8  1076781056 timeout (error (143)) 302    244    2901028864
eca-rers2012/Problem01_label19_true-unreach-call_false-termination.c true 71.3  41.8  1222479872 timeout (error (143)) 301    260    2920103936
eca-rers2012/Problem01_label23_true-unreach-call_false-termination.c true 51.0  29.9  1012715520 timeout (error (143)) 302    251    2901708800
eca-rers2012/Problem01_label24_true-unreach-call_false-termination.c true 45.6  26.9  986181632 timeout (error (143)) 301    258    2893352960
eca-rers2012/Problem01_label25_true-unreach-call_false-termination.c true 58.2  34.0  1202921472 timeout (error (143)) 301    267    2924916736
eca-rers2012/Problem01_label26_true-unreach-call_false-termination.c true 65.3  38.0  1184231424 timeout (error (143)) 301    261    2953588736
eca-rers2012/Problem01_label27_true-unreach-call_false-termination.c true 60.3  36.7  1183395840 timeout (error (143)) 301    247    2904440832
eca-rers2012/Problem01_label28_true-unreach-call_false-termination.c true 61.9  37.3  1204203520 timeout (error (143)) 301    259    2902425600
eca-rers2012/Problem01_label29_true-unreach-call_false-termination.c true 42.4  25.6  1037266944 timeout (error (143)) 301    256    2981453824
eca-rers2012/Problem01_label30_true-unreach-call_false-termination.c true 66.5  39.6  1212260352 timeout (error (143)) 301    245    2915680256
eca-rers2012/Problem01_label34_true-unreach-call_false-termination.c true 60.2  34.9  1066283008 timeout (error (143)) 301    263    2896322560
eca-rers2012/Problem01_label40_true-unreach-call_false-termination.c true 66.3  39.3  1231253504 timeout (error (143)) 301    263    2908491776
eca-rers2012/Problem01_label41_true-unreach-call_false-termination.c true 45.5  26.2  1029206016 timeout (error (143)) 301    256    2919444480
eca-rers2012/Problem01_label42_true-unreach-call_false-termination.c true 46.1  26.9  1025179648 timeout (error (143)) 302    265    2913652736
eca-rers2012/Problem01_label43_true-unreach-call_false-termination.c true 41.9  24.8  1010962432 timeout (error (143)) 305    264    2892546048
eca-rers2012/Problem01_label45_true-unreach-call_false-termination.c true 54.7  33.2  1181061120 timeout (error (143)) 301    243    2957516800
eca-rers2012/Problem01_label46_true-unreach-call_false-termination.c true 35.9  21.3  1006297088 timeout (error (143)) 300    255    2890801152
eca-rers2012/Problem01_label52_true-unreach-call_false-termination.c true 29.3  16.6  828641280 timeout (error (143)) 302    267    2912317440
eca-rers2012/Problem01_label53_true-unreach-call_false-termination.c true 64.2  36.5  1074397184 timeout (error (143)) 301    264    2932998144
eca-rers2012/Problem01_label54_true-unreach-call_false-termination.c true 54.0  31.6  1051332608 timeout (error (143)) 303    264    2923765760
eca-rers2012/Problem01_label55_true-unreach-call_false-termination.c true 36.8  21.3  865501184 timeout (error (143)) 301    265    2901237760
eca-rers2012/Problem01_label59_true-unreach-call_false-termination.c true 55.6  32.5  1042710528 timeout (error (143)) 301    256    2914365440
eca-rers2012/Problem02_label00_true-unreach-call_false-termination.c true 59.8  34.7  1183059968 timeout (error (143)) 301    259    2955853824
eca-rers2012/Problem02_label01_true-unreach-call_false-termination.c true 39.5  22.2  839417856 timeout (error (143)) 301    262    2916192256
eca-rers2012/Problem02_label02_true-unreach-call_false-termination.c true 27.4  15.6  853635072 timeout (error (143)) 301    262    2949697536
eca-rers2012/Problem02_label03_true-unreach-call_false-termination.c true 44.8  26.4  1019629568 timeout (error (143)) 301    262    2893529088
eca-rers2012/Problem02_label04_true-unreach-call_false-termination.c true 53.0  30.9  1001099264 timeout (error (143)) 301    251    2951794688
eca-rers2012/Problem02_label05_true-unreach-call_false-termination.c true 51.1  29.9  1015447552 timeout (error (143)) 301    257    2898894848
eca-rers2012/Problem02_label06_true-unreach-call_false-termination.c true 58.0  34.5  1205440512 timeout (error (143)) 301    260    2924986368
eca-rers2012/Problem02_label07_true-unreach-call_false-termination.c true 55.3  31.0  997523456 timeout (error (143)) 301    257    2958192640
eca-rers2012/Problem02_label08_true-unreach-call_false-termination.c true 39.4  22.8  901042176 timeout (error (143)) 301    265    2917126144
eca-rers2012/Problem02_label09_true-unreach-call_false-termination.c true 34.2  20.0  864292864 timeout (error (143)) 301    252    2946404352
eca-rers2012/Problem02_label10_true-unreach-call_false-termination.c true 36.3  21.1  882937856 timeout (error (143)) 301    255    2935713792
eca-rers2012/Problem02_label11_true-unreach-call_false-termination.c true 41.4  23.1  860999680 timeout (error (143)) 301    259    2949976064
eca-rers2012/Problem02_label12_true-unreach-call_false-termination.c true 29.6  16.8  832331776 timeout (error (143)) 301    252    2933547008
eca-rers2012/Problem02_label14_true-unreach-call_false-termination.c true 59.4  35.4  1149894656 timeout (error (143)) 301    253    2908598272
eca-rers2012/Problem02_label17_true-unreach-call_false-termination.c true 32.3  18.9  849104896 timeout (error (143)) 301    260    2959183872
eca-rers2012/Problem02_label18_true-unreach-call_false-termination.c true 35.2  20.2  874201088 timeout (error (143)) 301    263    2916593664
eca-rers2012/Problem02_label19_true-unreach-call_false-termination.c true 53.0  31.4  1127493632 timeout (error (143)) 301    264    2910052352
eca-rers2012/Problem02_label20_true-unreach-call_false-termination.c true 58.7  33.6  1040957440 timeout (error (143)) 301    261    2956455936
eca-rers2012/Problem02_label21_true-unreach-call_false-termination.c true 55.3  31.8  1023963136 timeout (error (143)) 301    266    2911838208
eca-rers2012/Problem02_label22_true-unreach-call_false-termination.c true 54.8  31.7  1006059520 timeout (error (143)) 301    261    2927489024
eca-rers2012/Problem02_label23_true-unreach-call_false-termination.c true 52.8  31.0  1182138368 timeout (error (143)) 301    262    2924396544
eca-rers2012/Problem02_label24_true-unreach-call_false-termination.c true 50.0  29.5  1179664384 timeout (error (143)) 301    261    2900123648
eca-rers2012/Problem02_label25_true-unreach-call_false-termination.c true 52.3  30.3  1024987136 timeout (error (143)) 301    252    2957705216
eca-rers2012/Problem02_label26_true-unreach-call_false-termination.c true 57.5  33.2  1028931584 timeout (error (143)) 301    257    2953723904
eca-rers2012/Problem02_label27_true-unreach-call_false-termination.c true 60.1  33.9  1015717888 timeout (error (143)) 303    272    2879057920
eca-rers2012/Problem02_label28_true-unreach-call_false-termination.c true 43.6  25.3  1022873600 timeout (error (143)) 301    259    2947633152
eca-rers2012/Problem02_label29_true-unreach-call_false-termination.c true 33.7  19.4  856027136 timeout (error (143)) 301    260    2936930304
eca-rers2012/Problem02_label30_true-unreach-call_false-termination.c true 35.5  20.9  907292672 timeout (error (143)) 301    253    2956746752
eca-rers2012/Problem02_label31_true-unreach-call_false-termination.c true 38.4  22.3  853147648 timeout (error (143)) 301    262    2927984640
eca-rers2012/Problem02_label32_true-unreach-call_false-termination.c true 35.9  21.2  865910784 timeout (error (143)) 301    264    2921058304
eca-rers2012/Problem02_label33_true-unreach-call_false-termination.c true 57.4  33.5  1081110528 timeout (error (143)) 301    259    2915143680
eca-rers2012/Problem02_label34_true-unreach-call_false-termination.c true 32.8  19.2  850309120 timeout (error (143)) 301    260    2953691136
eca-rers2012/Problem02_label35_true-unreach-call_false-termination.c true 33.4  19.2  866603008 timeout (error (143)) 301    258    2929680384
eca-rers2012/Problem02_label36_true-unreach-call_false-termination.c true 36.1  20.8  872488960 timeout (error (143)) 301    261    2962022400
eca-rers2012/Problem02_label39_true-unreach-call_false-termination.c true 69.5  39.4  1183481856 timeout (error (143)) 302    255    2894651392
eca-rers2012/Problem02_label40_true-unreach-call_false-termination.c true 59.3  34.4  1051385856 timeout (error (143)) 304    261    2954813440
eca-rers2012/Problem02_label41_true-unreach-call_false-termination.c true 31.1  17.8  863141888 timeout (error (143)) 301    262    2915483648
eca-rers2012/Problem02_label42_true-unreach-call_false-termination.c true 45.2  26.6  1020338176 timeout (error (143)) 301    263    2953097216
eca-rers2012/Problem02_label46_true-unreach-call_false-termination.c true 49.3  28.6  1009266688 timeout (error (143)) 301    255    2954502144
eca-rers2012/Problem02_label47_true-unreach-call_false-termination.c true 30.8  17.9  854269952 timeout (error (143)) 306    266    2898165760
eca-rers2012/Problem02_label48_true-unreach-call_false-termination.c true 38.3  22.4  968355840 timeout (error (143)) 301    262    2918305792
eca-rers2012/Problem02_label49_true-unreach-call_false-termination.c true 61.7  37.0  1162063872 timeout (error (143)) 302    253    2924314624
eca-rers2012/Problem02_label51_true-unreach-call_false-termination.c true 28.3  16.3  850132992 timeout (error (143)) 302    255    2894811136
eca-rers2012/Problem02_label52_true-unreach-call_false-termination.c true 29.1  16.6  863309824 timeout (error (143)) 301    258    2932617216
eca-rers2012/Problem02_label53_true-unreach-call_false-termination.c true 48.8  28.3  1009836032 timeout (error (143)) 302    255    2902278144
eca-rers2012/Problem02_label54_true-unreach-call_false-termination.c true 47.2  28.1  1030516736 timeout (error (143)) 301    265    2919899136
eca-rers2012/Problem02_label55_true-unreach-call_false-termination.c true 39.4  22.2  863473664 timeout (error (143)) 301    266    2910408704
eca-rers2012/Problem02_label56_true-unreach-call_false-termination.c true 49.7  28.7  1032171520 timeout (error (143)) 301    263    2919247872
eca-rers2012/Problem02_label57_true-unreach-call_false-termination.c true 47.6  27.9  997994496 timeout (error (143)) 301    258    2954375168
eca-rers2012/Problem03_label03_true-unreach-call.c timeout 322    215    7354937344 timeout (error (143)) 302    279    2898497536
eca-rers2012/Problem03_label04_true-unreach-call.c timeout 322    212    7894327296 timeout (error (143)) 302    282    2883461120
eca-rers2012/Problem03_label10_true-unreach-call.c true 168    117    4299333632 timeout (error (143)) 302    279    2908098560
eca-rers2012/Problem03_label11_true-unreach-call.c timeout 322    215    7317090304 timeout (error (143)) 301    273    2919849984
eca-rers2012/Problem03_label19_true-unreach-call.c timeout 322    213    7137624064 timeout (error (143)) 303    277    2904743936
eca-rers2012/Problem03_label22_true-unreach-call.c true 182    135    3842932736 timeout (error (143)) 302    274    2920652800
eca-rers2012/Problem03_label25_true-unreach-call.c timeout 322    214    7919394816 timeout (error (143)) 304    271    3018670080
eca-rers2012/Problem03_label30_true-unreach-call.c true 154    113    2833534976 timeout (error (143)) 301    275    2900520960
eca-rers2012/Problem03_label32_true-unreach-call.c true 105    67.3  2152030208 timeout (error (143)) 303    279    2886234112
eca-rers2012/Problem03_label33_true-unreach-call.c timeout 310    216    8000000000 timeout (error (143)) 301    277    2887102464
eca-rers2012/Problem03_label36_true-unreach-call.c out of memory 288    199    8000000000 timeout (error (143)) 303    278    2887266304
eca-rers2012/Problem03_label40_true-unreach-call.c true 79.3  48.9  1555218432 timeout (error (143)) 303    278    2897764352
eca-rers2012/Problem03_label41_true-unreach-call.c timeout 322    213    7316045824 timeout (error (143)) 301    276    2898104320
eca-rers2012/Problem03_label42_true-unreach-call.c true 129    86.1  3260002304 timeout (error (143)) 301    279    2897780736
eca-rers2012/Problem03_label47_true-unreach-call.c timeout 321    208    7160156160 timeout (error (143)) 302    281    2886094848
eca-rers2012/Problem03_label48_true-unreach-call.c true 218    165    3554738176 timeout (error (143)) 302    278    2890940416
eca-rers2012/Problem03_label55_true-unreach-call.c timeout 322    206    7964082176 timeout (error (143)) 304    270    2917945344
eca-rers2012/Problem03_label57_true-unreach-call.c true 170    117    4017459200 timeout (error (143)) 305    280    2905010176
eca-rers2012/Problem04_label05_true-unreach-call.c true 264    194    4034473984 timeout (error (143)) 302    251    2974388224
eca-rers2012/Problem04_label08_true-unreach-call.c true 273    197    4557922304 timeout (error (143)) 302    243    2991788032
eca-rers2012/Problem04_label16_true-unreach-call.c true 223    159    4261404672 timeout (error (143)) 302    258    2969919488
eca-rers2012/Problem04_label20_true-unreach-call_false-termination.c true 244    174    3852902400 timeout (error (143)) 302    253    2973376512
eca-rers2012/Problem04_label22_true-unreach-call.c true 241    176    4184158208 timeout (error (143)) 301    245    2986074112
eca-rers2012/Problem04_label25_true-unreach-call.c true 280    202    4351762432 timeout (error (143)) 302    245    2981502976
eca-rers2012/Problem04_label29_true-unreach-call_false-termination.c true 207    145    3819192320 timeout (error (143)) 302    260    2976043008
eca-rers2012/Problem04_label30_true-unreach-call.c timeout (true) 300    222    4256935936 timeout (error (143)) 301    240    2999820288
eca-rers2012/Problem04_label33_true-unreach-call.c true 183    123    3605016576 timeout (error (143)) 301    247    2987556864
eca-rers2012/Problem04_label41_true-unreach-call.c true 273    198    4270424064 timeout (error (143)) 302    251    2981380096
eca-rers2012/Problem04_label44_true-unreach-call_false-termination.c true 262    190    3628384256 timeout (error (143)) 302    249    2967879680
eca-rers2012/Problem04_label56_true-unreach-call.c timeout (error: exception) 303    222    4354629632 timeout (error (143)) 302    256    2960818176
eca-rers2012/Problem04_label57_true-unreach-call_false-termination.c true 295    218    4214386688 timeout (error (143)) 302    242    2970378240
eca-rers2012/Problem04_label59_true-unreach-call.c true 226    155    4303839232 timeout (error (143)) 302    255    2976022528
eca-rers2012/Problem06_label03_true-unreach-call.c timeout (error: exception) 301    206    6222176256 timeout (error (143)) 303    263    3001798656
eca-rers2012/Problem06_label08_true-unreach-call.c timeout 321    214    5860388864 timeout (error (143)) 304    264    3002953728
eca-rers2012/Problem06_label26_true-unreach-call.c timeout (error: exception) 301    211    5492609024 timeout (error (143)) 303    271    2994069504
eca-rers2012/Problem06_label35_true-unreach-call.c timeout 322    224    6724493312 timeout (error (143)) 303    264    3006005248
eca-rers2012/Problem06_label52_true-unreach-call.c timeout 322    224    5719097344 timeout (error (143)) 303    263    3000471552
eca-rers2012/Problem08_label32_true-unreach-call.c timeout (error: exception) 302    227    5253865472 timeout (error (143)) 314    226    6109958144
eca-rers2012/Problem09_label04_true-unreach-call.c timeout (error (143)) 306    226    5490622464 timeout 321    237    6047539200
eca-rers2012/Problem09_label05_true-unreach-call.c timeout (error (143)) 306    224    5503946752 timeout 322    235    6287286272
eca-rers2012/Problem09_label12_true-unreach-call.c timeout (error (143)) 305    228    5137367040 timeout 322    236    6733635584
eca-rers2012/Problem09_label16_true-unreach-call.c timeout (error (143)) 310    232    5117448192 timeout 322    237    6301790208
eca-rers2012/Problem09_label17_true-unreach-call.c timeout (error (143)) 305    227    5503647744 timeout 321    236    6876942336
eca-rers2012/Problem09_label23_true-unreach-call.c timeout (error (143)) 306    227    5504712704 timeout 322    243    6048448512
eca-rers2012/Problem09_label24_true-unreach-call.c timeout (error (143)) 305    231    5149888512 timeout 321    236    6046146560
eca-rers2012/Problem09_label27_true-unreach-call.c timeout (error (143)) 307    233    5174136832 timeout 322    236    6149505024
eca-rers2012/Problem09_label28_true-unreach-call.c timeout (error (143)) 307    230    5145722880 timeout 322    236    6051627008
eca-rers2012/Problem09_label29_true-unreach-call.c timeout (error (143)) 306    226    5440966656 timeout 322    234    5943971840
eca-rers2012/Problem09_label30_true-unreach-call.c timeout (error (143)) 307    233    5206528000 timeout 322    252    5193191424
eca-rers2012/Problem09_label37_true-unreach-call.c timeout (error (143)) 306    231    5442744320 timeout 322    235    6070722560
eca-rers2012/Problem09_label39_true-unreach-call.c timeout (error (143)) 306    235    5193281536 timeout 322    235    6030602240
eca-rers2012/Problem09_label42_true-unreach-call.c timeout (error (143)) 305    227    5524733952 timeout 322    236    6093799424
eca-rers2012/Problem09_label43_true-unreach-call.c timeout (error (143)) 306    235    4870815744 timeout (error: exception) 301    225    5294600192
eca-rers2012/Problem09_label48_true-unreach-call.c timeout (error (143)) 306    226    5139574784 timeout (error: exception) 308    241    5402169344
eca-rers2012/Problem09_label52_true-unreach-call.c timeout (error (143)) 305    229    5533507584 timeout 322    235    6445985792
eca-rers2012/Problem09_label55_true-unreach-call.c timeout (error (143)) 306    230    5504294912 timeout 322    237    6141759488
eca-rers2012/Problem10_label00_true-unreach-call.c true 57.2  34.5  1205698560 timeout (error (143)) 301    235    3026141184
eca-rers2012/Problem10_label01_true-unreach-call.c true 58.1  35.5  1210064896 timeout (error (143)) 300    232    3005263872
eca-rers2012/Problem10_label02_true-unreach-call.c true 50.2  30.3  1031479296 timeout (error (143)) 302    231    3021742080
eca-rers2012/Problem10_label03_true-unreach-call.c true 21.7  12.7  756379648 timeout (error (143)) 306    236    3004174336
eca-rers2012/Problem10_label07_true-unreach-call.c true 60.4  37.8  1188880384 timeout (error (143)) 301    251    2993782784
eca-rers2012/Problem10_label08_true-unreach-call.c true 29.3  17.3  867004416 timeout (error (143)) 301    235    2984177664
eca-rers2012/Problem10_label11_true-unreach-call.c true 51.9  31.1  1040605184 timeout (error (143)) 301    243    3038797824
eca-rers2012/Problem10_label13_true-unreach-call.c true 33.4  19.9  881819648 timeout (error (143)) 301    227    3014524928
eca-rers2012/Problem10_label14_true-unreach-call.c true 74.2  47.2  1339219968 timeout (error (143)) 301    239    3029168128
eca-rers2012/Problem10_label16_true-unreach-call.c true 55.3  33.3  1170956288 timeout (error (143)) 306    232    3012206592
eca-rers2012/Problem10_label18_true-unreach-call.c true 59.2  35.2  1191759872 timeout (error (143)) 306    242    3002261504
eca-rers2012/Problem10_label19_true-unreach-call.c true 31.9  18.8  855457792 timeout (error (143)) 302    246    2998554624
eca-rers2012/Problem10_label20_true-unreach-call.c true 52.7  31.1  1057419264 timeout (error (143)) 301    242    2995204096
eca-rers2012/Problem10_label21_true-unreach-call.c true 43.0  25.6  1027371008 timeout (error (143)) 301    245    2996989952
eca-rers2012/Problem10_label22_true-unreach-call.c true 42.6  25.4  1005076480 timeout (error (143)) 304    233    3011149824
eca-rers2012/Problem10_label23_true-unreach-call.c true 51.5  31.5  1160175616 timeout (error (143)) 301    244    2985594880
eca-rers2012/Problem10_label25_true-unreach-call.c true 83.6  52.1  1280323584 timeout (error (143)) 301    233    3005632512
eca-rers2012/Problem10_label27_true-unreach-call.c true 65.6  38.4  1151504384 timeout (error (143)) 301    246    3015061504
eca-rers2012/Problem10_label30_true-unreach-call.c true 48.5  28.0  1060151296 timeout (error (143)) 306    253    2983583744
eca-rers2012/Problem10_label31_true-unreach-call.c true 42.8  25.2  1022349312 timeout (error (143)) 302    241    3036684288
eca-rers2012/Problem10_label33_true-unreach-call.c true 27.8  16.7  853078016 timeout (error (143)) 301    225    3071385600
eca-rers2012/Problem10_label34_true-unreach-call.c true 42.1  25.1  1053257728 timeout (error (143)) 302    236    2999451648
eca-rers2012/Problem10_label35_true-unreach-call.c true 56.0  33.3  1200787456 timeout (error (143)) 306    243    2978844672
eca-rers2012/Problem10_label36_true-unreach-call.c true 36.6  21.3  855379968 timeout (error (143)) 301    247    2982006784
eca-rers2012/Problem10_label37_true-unreach-call.c true 55.9  33.4  1037991936 timeout (error (143)) 305    247    3001548800
eca-rers2012/Problem10_label38_true-unreach-call.c true 56.6  32.0  1065025536 timeout (error (143)) 304    231    3011915776
eca-rers2012/Problem10_label39_true-unreach-call.c true 47.5  27.7  1046593536 timeout (error (143)) 301    239    3015688192
eca-rers2012/Problem10_label40_true-unreach-call.c true 57.1  34.3  1040719872 timeout (error (143)) 301    246    3015602176
eca-rers2012/Problem10_label43_true-unreach-call.c true 42.5  24.9  1001443328 timeout (error (143)) 301    245    2993045504
eca-rers2012/Problem10_label45_true-unreach-call.c true 52.4  29.9  1015435264 timeout (error (143)) 301    227    3017596928
eca-rers2012/Problem10_label49_true-unreach-call.c true 79.1  55.6  1180815360 timeout (error (143)) 305    229    2975129600
eca-rers2012/Problem10_label51_true-unreach-call.c true 27.1  15.8  865869824 timeout (error (143)) 301    247    3031076864
eca-rers2012/Problem10_label53_true-unreach-call.c true 30.9  17.9  852779008 timeout (error (143)) 302    232    3041083392
eca-rers2012/Problem10_label56_true-unreach-call.c true 213    173    1517694976 timeout (error (143)) 304    240    3063861248
eca-rers2012/Problem10_label59_true-unreach-call.c true 163    122    1645133824 timeout (error (143)) 301    247    2956435456
eca-rers2012/Problem11_label01_true-unreach-call.c true 71.3  46.7  1270259712 timeout (error (143)) 302    234    3157471232
eca-rers2012/Problem11_label03_true-unreach-call.c true 53.5  31.6  1065975808 timeout (error (143)) 301    251    2984783872
eca-rers2012/Problem11_label04_true-unreach-call.c true 114    80.4  1433288704 timeout (error (143)) 301    253    2900529152
eca-rers2012/Problem11_label06_true-unreach-call.c true 112    71.6  1733828608 timeout (error (143)) 301    219    3307536384
eca-rers2012/Problem11_label07_true-unreach-call.c true 70.9  43.8  1261420544 timeout (error (143)) 301    257    2888773632
eca-rers2012/Problem11_label09_true-unreach-call.c true 62.3  37.3  1219674112 timeout (error (143)) 301    259    2911838208
eca-rers2012/Problem11_label12_true-unreach-call.c true 69.0  43.2  1265954816 timeout (error (143)) 301    259    2898427904
eca-rers2012/Problem11_label16_true-unreach-call.c true 88.9  54.6  1535684608 timeout (error (143)) 304    246    2976866304
eca-rers2012/Problem11_label17_true-unreach-call.c true 55.9  33.9  1083322368 timeout (error (143)) 301    254    2917371904
eca-rers2012/Problem11_label18_true-unreach-call.c true 76.5  49.0  1276760064 timeout (error (143)) 302    241    3066703872
eca-rers2012/Problem11_label19_true-unreach-call.c true 266    200    2949570560 timeout (error (143)) 301    246    3075108864
eca-rers2012/Problem11_label21_true-unreach-call.c true 134    87.7  2099216384 timeout (error (143)) 301    233    3292950528
eca-rers2012/Problem11_label26_true-unreach-call.c true 124    84.9  2020429824 timeout (error (143)) 302    237    3128979456
eca-rers2012/Problem11_label27_true-unreach-call.c true 63.9  39.2  1228857344 timeout (error (143)) 301    250    2898407424
eca-rers2012/Problem11_label28_true-unreach-call.c true 233    168    2868178944 timeout (error (143)) 301    236    3093106688
eca-rers2012/Problem11_label30_true-unreach-call.c true 203    146    2547785728 timeout (error (143)) 302    232    3075391488
eca-rers2012/Problem11_label32_true-unreach-call.c true 66.5  41.6  1263190016 timeout (error (143)) 302    257    2911674368
eca-rers2012/Problem11_label37_true-unreach-call.c true 75.1  46.9  1235517440 timeout (error (143)) 301    240    3001004032
eca-rers2012/Problem11_label38_true-unreach-call.c true 61.3  35.9  1229144064 timeout (error (143)) 300    235    3053146112
eca-rers2012/Problem11_label41_true-unreach-call.c true 278    213    2893819904 timeout (error (143)) 301    240    3056230400
eca-rers2012/Problem11_label44_true-unreach-call.c true 176    133    1875062784 timeout (error (143)) 301    254    2895122432
eca-rers2012/Problem11_label46_true-unreach-call.c true 242    181    2994909184 timeout (error (143)) 302    242    3060584448
eca-rers2012/Problem11_label47_true-unreach-call.c true 134    83.1  1704689664 timeout (error (143)) 301    251    2898313216
eca-rers2012/Problem11_label52_true-unreach-call.c true 121    84.9  1879564288 timeout (error (143)) 301    255    2889744384
eca-rers2012/Problem11_label53_true-unreach-call.c true 60.2  37.1  1223532544 timeout (error (143)) 301    238    3026800640
eca-rers2012/Problem11_label55_true-unreach-call.c true 142    94.6  2152665088 timeout (error (143)) 302    242    3037290496
eca-rers2012/Problem11_label59_true-unreach-call.c true 52.6  31.8  1104191488 timeout (error (143)) 301    247    2952015872
eca-rers2012/Problem12_label15_true-unreach-call.c true 241    182    3502137344 timeout (error (143)) 302    220    3014909952
eca-rers2012/Problem12_label16_true-unreach-call.c true 215    166    3079319552 timeout (error (143)) 300    225    3183923200
eca-rers2012/Problem12_label18_true-unreach-call.c true 294    218    4394074112 timeout (error (143)) 301    221    3158233088
eca-rers2012/Problem12_label22_true-unreach-call.c true 220    163    3212115968 timeout (error (143)) 301    211    3297628160
eca-rers2012/Problem12_label26_true-unreach-call.c true 262    196    3559215104 timeout (error (143)) 301    220    3188322304
eca-rers2012/Problem12_label29_true-unreach-call.c true 240    185    3390517248 timeout (error (143)) 301    232    3041517568
eca-rers2012/Problem12_label31_true-unreach-call.c true 263    193    3672608768 timeout (error (143)) 302    236    3180863488
eca-rers2012/Problem12_label32_true-unreach-call.c true 287    219    4311703552 timeout (error (143)) 305    241    2974031872
eca-rers2012/Problem12_label33_true-unreach-call.c true 186    138    3045298176 timeout (error (143)) 302    228    3201069056
eca-rers2012/Problem12_label36_true-unreach-call.c true 225    170    2898665472 timeout (error (143)) 301    237    2963980288
eca-rers2012/Problem12_label43_true-unreach-call.c true 243    186    3697381376 timeout (error (143)) 301    221    3296989184
eca-rers2012/Problem12_label45_true-unreach-call.c true 282    214    3444043776 timeout (error (143)) 306    228    3319492608
eca-rers2012/Problem12_label46_true-unreach-call.c true 205    154    3147231232 timeout (error (143)) 301    246    3021963264
eca-rers2012/Problem12_label47_true-unreach-call.c true 212    160    2963587072 timeout (error (143)) 301    216    3605250048
eca-rers2012/Problem12_label49_true-unreach-call.c true 198    148    2891689984 timeout (error (143)) 301    228    3336056832
eca-rers2012/Problem12_label53_true-unreach-call.c true 204    152    3391442944 timeout (error (143)) 301    228    3322339328
eca-rers2012/Problem12_label56_true-unreach-call.c true 188    140    2866393088 timeout (error (143)) 306    230    3467513856
eca-rers2012/Problem12_label58_true-unreach-call.c true 200    147    3601088512 timeout (error (143)) 306    235    3210870784
eca-rers2012/Problem12_label59_true-unreach-call.c true 255    190    4314292224 timeout (error (143)) 301    225    2965622784
eca-rers2012/Problem13_label20_true-unreach-call.c true 284    213    4373897216 timeout (error (143)) 301    226    3076726784
eca-rers2012/Problem14_label01_true-unreach-call_false-termination.c true 58.1  35.2  1205006336 timeout (error (143)) 301    239    2983059456
eca-rers2012/Problem14_label05_true-unreach-call_false-termination.c true 89.0  56.5  2157494272 timeout (error (143)) 301    227    2995384320
eca-rers2012/Problem14_label06_true-unreach-call_false-termination.c true 104    63.0  1926029312 timeout (error (143)) 301    247    2983436288
eca-rers2012/Problem14_label07_true-unreach-call_false-termination.c true 139    92.2  2874843136 timeout (error (143)) 301    251    2971951104
eca-rers2012/Problem14_label16_true-unreach-call_false-termination.c true 63.3  40.0  1189998592 timeout (error (143)) 301    245    2977312768
eca-rers2012/Problem14_label17_true-unreach-call_false-termination.c true 59.5  37.8  1377890304 timeout (error (143)) 301    241    2935685120
eca-rers2012/Problem14_label19_true-unreach-call_false-termination.c true 138    93.0  2908655616 timeout (error (143)) 306    243    3038191616
eca-rers2012/Problem14_label21_true-unreach-call_false-termination.c true 92.9  57.2  1617174528 timeout (error (143)) 301    251    2950885376
eca-rers2012/Problem14_label23_true-unreach-call_false-termination.c true 154    99.6  2893987840 timeout (error (143)) 300    218    2914320384
eca-rers2012/Problem14_label24_true-unreach-call_false-termination.c true 118    76.9  2874286080 timeout (error (143)) 301    249    3004186624
eca-rers2012/Problem14_label26_true-unreach-call_false-termination.c true 98.2  60.6  1874796544 timeout (error (143)) 302    246    2945949696
eca-rers2012/Problem14_label32_true-unreach-call_false-termination.c true 99.2  60.9  1910722560 timeout (error (143)) 301    241    2970902528
eca-rers2012/Problem14_label33_true-unreach-call_false-termination.c true 59.8  36.8  1349894144 timeout (error (143)) 301    235    2954027008
eca-rers2012/Problem14_label36_true-unreach-call_false-termination.c true 68.4  42.8  1629626368 timeout (error (143)) 300    245    2981171200
eca-rers2012/Problem14_label42_true-unreach-call_false-termination.c true 78.5  49.4  1381511168 timeout (error (143)) 301    246    2986651648
eca-rers2012/Problem14_label45_true-unreach-call_false-termination.c true 129    84.6  2882527232 timeout (error (143)) 301    240    2989113344
eca-rers2012/Problem14_label47_true-unreach-call_false-termination.c true 82.4  52.2  1725591552 timeout (error (143)) 304    248    2998693888
eca-rers2012/Problem14_label49_true-unreach-call_false-termination.c true 93.5  57.5  1643806720 timeout (error (143)) 301    231    2967339008
eca-rers2012/Problem14_label50_true-unreach-call_false-termination.c true 135    86.0  2927759360 timeout (error (143)) 301    245    2981707776
eca-rers2012/Problem14_label55_true-unreach-call_false-termination.c true 140    91.1  2884313088 timeout (error (143)) 302    244    2966847488
eca-rers2012/Problem14_label59_true-unreach-call_false-termination.c true 78.8  48.5  1702879232 timeout (error (143)) 301    244    3057692672
eca-rers2012/Problem15_label04_true-unreach-call.c true 294    233    2931785728 timeout (error (143)) 301    253    2929799168
eca-rers2012/Problem15_label05_true-unreach-call.c true 215    162    2879262720 timeout (error (143)) 301    256    2893635584
eca-rers2012/Problem15_label06_true-unreach-call.c true 218    163    2813407232 timeout (error (143)) 301    237    3320016896
eca-rers2012/Problem15_label11_true-unreach-call.c true 219    163    2821459968 timeout (error (143)) 303    231    3040591872
eca-rers2012/Problem15_label13_true-unreach-call.c true 273    217    2951364608 timeout (error (143)) 301    235    3194998784
eca-rers2012/Problem15_label20_true-unreach-call.c true 156    112    2336841728 timeout (error (143)) 300    226    3289595904
eca-rers2012/Problem15_label21_true-unreach-call.c true 181    129    2664124416 timeout (error (143)) 301    246    3001548800
eca-rers2012/Problem15_label26_true-unreach-call.c true 261    197    2725773312 timeout (error (143)) 301    226    3322273792
eca-rers2012/Problem15_label28_true-unreach-call.c true 210    157    2875236352 timeout (error (143)) 301    242    3043246080
eca-rers2012/Problem15_label31_true-unreach-call.c true 172    121    2686935040 timeout (error (143)) 301    225    3197755392
eca-rers2012/Problem15_label35_true-unreach-call.c true 159    111    2269958144 timeout (error (143)) 301    242    3140542464
eca-rers2012/Problem15_label36_true-unreach-call.c true 169    123    2417119232 timeout (error (143)) 301    251    2942472192
eca-rers2012/Problem15_label42_true-unreach-call.c true 209    151    2996781056 timeout (error (143)) 301    240    3264294912
eca-rers2012/Problem15_label43_true-unreach-call.c true 140    103    1895882752 timeout (error (143)) 301    236    3080679424
eca-rers2012/Problem15_label44_true-unreach-call.c true 240    176    2897698816 timeout (error (143)) 301    262    2947043328
eca-rers2012/Problem15_label53_true-unreach-call.c true 151    106    2011500544 timeout (error (143)) 301    238    3190497280
eca-rers2012/Problem15_label54_true-unreach-call.c true 147    106    1749700608 timeout (error (143)) 301    242    3197005824
eca-rers2012/Problem15_label55_true-unreach-call.c true 142    103    1918832640 timeout (error (143)) 302    254    2947231744
eca-rers2012/Problem15_label56_true-unreach-call.c true 106    76.8  1760280576 timeout (error (143)) 303    247    2950545408
eca-rers2012/Problem15_label58_true-unreach-call.c true 118    79.9  1809063936 timeout (error (143)) 301    237    3242889216
eca-rers2012/Problem15_label59_true-unreach-call.c true 228    168    2888962048 timeout (error (143)) 301    251    2962624512
eca-rers2012/Problem16_label07_true-unreach-call.c true 129    88.4  2848247808 timeout (error (143)) 302    233    3161133056
eca-rers2012/Problem16_label09_true-unreach-call.c true 110    77.4  1769091072 timeout (error (143)) 301    247    3045515264
eca-rers2012/Problem16_label10_true-unreach-call.c true 117    77.2  2022854656 timeout (error (143)) 301    239    3027558400
eca-rers2012/Problem16_label11_true-unreach-call.c true 119    76.1  2198835200 timeout (error (143)) 301    238    2970484736
eca-rers2012/Problem16_label12_true-unreach-call.c true 174    123    3024576512 timeout (error (143)) 301    242    3108167680
eca-rers2012/Problem16_label13_true-unreach-call.c true 117    81.4  2546081792 timeout (error (143)) 301    242    3000033280
eca-rers2012/Problem16_label16_true-unreach-call.c true 101    65.8  2149249024 timeout (error (143)) 301    242    2974294016
eca-rers2012/Problem16_label17_true-unreach-call.c true 131    86.4  2551410688 timeout (error (143)) 301    222    3162075136
eca-rers2012/Problem16_label19_true-unreach-call.c true 147    95.1  2947129344 timeout (error (143)) 300    217    3076333568
eca-rers2012/Problem16_label21_true-unreach-call.c true 268    197    3166752768 timeout (error (143)) 300    227    3030593536
eca-rers2012/Problem16_label23_true-unreach-call.c true 172    117    2917736448 timeout (error (143)) 301    229    3058216960
eca-rers2012/Problem16_label24_true-unreach-call.c true 109    73.0  2819932160 timeout (error (143)) 301    236    2958168064
eca-rers2012/Problem16_label25_true-unreach-call.c true 125    81.2  2791624704 timeout (error (143)) 301    238    3051864064
eca-rers2012/Problem16_label26_true-unreach-call.c true 123    80.9  2647011328 timeout (error (143)) 301    241    3064971264
eca-rers2012/Problem16_label28_true-unreach-call.c true 175    122    2892640256 timeout (error (143)) 301    244    3041333248
eca-rers2012/Problem16_label29_true-unreach-call.c true 271    204    2931634176 timeout (error (143)) 301    224    3023847424
eca-rers2012/Problem16_label32_true-unreach-call.c true 189    131    2983333888 timeout (error (143)) 301    232    3003092992
eca-rers2012/Problem16_label34_true-unreach-call.c true 124    82.9  2590658560 timeout (error (143)) 300    231    3064160256
eca-rers2012/Problem16_label35_true-unreach-call.c true 145    96.2  2933043200 timeout (error (143)) 300    233    2958929920
eca-rers2012/Problem16_label36_true-unreach-call.c true 94.3  62.8  2531020800 timeout (error (143)) 301    223    2958233600
eca-rers2012/Problem16_label39_true-unreach-call.c true 136    88.3  2942906368 timeout (error (143)) 300    224    3148763136
eca-rers2012/Problem16_label40_true-unreach-call.c true 146    96.9  2880057344 timeout (error (143)) 301    227    3208294400
eca-rers2012/Problem16_label42_true-unreach-call.c true 146    97.0  2987413504 timeout (error (143)) 301    238    3046514688
eca-rers2012/Problem16_label45_true-unreach-call.c true 274    204    3038609408 timeout (error (143)) 301    225    3058814976
eca-rers2012/Problem16_label47_true-unreach-call.c true 74.4  47.5  1279565824 timeout (error (143)) 301    238    3045654528
eca-rers2012/Problem16_label48_true-unreach-call.c true 82.5  51.8  1280364544 timeout (error (143)) 301    244    3056259072
eca-rers2012/Problem16_label49_true-unreach-call.c true 96.2  61.4  1468080128 timeout (error (143)) 301    237    3055173632
eca-rers2012/Problem16_label50_true-unreach-call.c true 42.7  26.7  914841600 timeout (error (143)) 301    226    3029819392
eca-rers2012/Problem16_label53_true-unreach-call.c true 280    204    3153256448 timeout (error (143)) 301    240    3090522112
eca-rers2012/Problem16_label55_true-unreach-call.c true 84.6  54.3  1484058624 timeout (error (143)) 301    243    2966659072
eca-rers2012/Problem16_label56_true-unreach-call.c true 39.8  24.0  917311488 timeout (error (143)) 301    236    2967691264
eca-rers2012/Problem16_label57_true-unreach-call.c true 62.3  40.0  1230106624 timeout (error (143)) 301    239    3057451008
eca-rers2012/Problem16_label58_true-unreach-call.c true 103    66.5  1830686720 timeout (error (143)) 301    232    3031920640
eca-rers2012/Problem16_label59_true-unreach-call.c true 130    83.7  2805776384 timeout (error (143)) 301    227    3100684288
eca-rers2012/Problem17_label42_true-unreach-call.c true 261    202    3234856960 timeout (error (143)) 301    252    2999394304
eca-rers2012/Problem18_label02_true-unreach-call.c true 150    106    3057045504 timeout (error (143)) 301    212    3178221568
eca-rers2012/Problem18_label07_true-unreach-call.c true 170    117    3036934144 timeout (error (143)) 301    219    3202293760
eca-rers2012/Problem18_label11_true-unreach-call.c true 200    143    3026636800 timeout (error (143)) 301    215    3115397120
eca-rers2012/Problem18_label13_true-unreach-call.c true 215    155    3568779264 timeout (error (143)) 300    221    3227947008
eca-rers2012/Problem18_label16_true-unreach-call.c true 255    182    3341848576 timeout (error (143)) 300    221    3333574656
eca-rers2012/Problem18_label17_true-unreach-call.c true 211    154    3173388288 timeout (error (143)) 301    218    3233464320
eca-rers2012/Problem18_label18_true-unreach-call.c true 218    156    3194105856 timeout (error (143)) 301    238    3036925952
eca-rers2012/Problem18_label21_true-unreach-call.c true 254    193    3645620224 timeout (error (143)) 301    230    3168768000
eca-rers2012/Problem18_label22_true-unreach-call.c true 271    202    4071055360 timeout (error (143)) 302    229    3028647936
eca-rers2012/Problem18_label23_true-unreach-call.c true 226    161    3743227904 timeout (error (143)) 300    230    3175047168
eca-rers2012/Problem18_label28_true-unreach-call.c true 238    169    4092534784 timeout (error (143)) 301    229    3204268032
eca-rers2012/Problem18_label30_true-unreach-call.c true 162    112    3069067264 timeout (error (143)) 307    226    3265187840
eca-rers2012/Problem18_label37_true-unreach-call.c true 280    213    4080553984 timeout (error (143)) 307    244    3216236544
eca-rers2012/Problem18_label40_true-unreach-call.c true 153    108    2594889728 timeout (error (143)) 300    220    3073634304
eca-rers2012/Problem18_label41_true-unreach-call.c true 209    151    3039277056 timeout (error (143)) 300    214    3082240000
eca-rers2012/Problem18_label42_true-unreach-call.c true 183    129    2909188096 timeout (error (143)) 301    237    3174604800
eca-rers2012/Problem18_label43_true-unreach-call.c true 238    175    3549908992 timeout (error (143)) 301    229    3082870784
eca-rers2012/Problem18_label44_true-unreach-call.c true 173    122    3144364032 timeout (error (143)) 301    209    3430068224
eca-rers2012/Problem18_label46_true-unreach-call.c true 147    101    2838183936 timeout (error (143)) 301    229    3252158464
eca-rers2012/Problem18_label47_true-unreach-call.c true 159    111    2977681408 timeout (error (143)) 302    207    3202854912
eca-rers2012/Problem18_label48_true-unreach-call.c true 155    107    2782998528 timeout (error (143)) 301    232    3183964160
eca-rers2012/Problem18_label50_true-unreach-call.c true 205    144    3266945024 timeout (error (143)) 301    215    3232419840
eca-rers2012/Problem18_label51_true-unreach-call.c true 130    90.7  2230448128 timeout (error (143)) 301    211    3249786880
eca-rers2012/Problem18_label53_true-unreach-call.c true 202    144    3535192064 timeout (error (143)) 301    220    3312377856
eca-rers2012/Problem18_label54_true-unreach-call.c true 213    154    3484389376 timeout (error (143)) 302    223    3068260352
eca-rers2012/Problem18_label56_true-unreach-call.c true 168    119    2986496000 timeout (error (143)) 301    211    3242696704
eca-rers2012/Problem18_label58_true-unreach-call.c true 206    142    3311345664 timeout (error (143)) 301    209    3210424320
eca-rers2012/Problem18_label59_true-unreach-call.c true 276    202    3863842816 timeout (error (143)) 301    224    3192401920
psyco/psyco_abp_1_false-unreach-call_false-termination_true-no-overflow.c false 104    61.1  1372225536 timeout (error (143)) 301    247    2980392960
psyco/psyco_cev_1_false-unreach-call.c out of memory 271    210    8000000000 timeout (error (143)) 302    216    7963734016
psyco/psyco_abp_1_true-unreach-call_false-termination_true-no-overflow.c true 69.0  38.3  1142501376 timeout (error (143)) 301    255    3006181376
../../../trunk/examples/svcomp/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
total 473 72200 50900 1235990163456 473 143000 116000 1543743897600
    correct results 0 0
        correct true 0 0
        correct false 0 0
    incorrect results 0 0
        incorrect true 0 0
        incorrect false 0 0
Run set Automizer.ECA Taipan.ECA