Tool ULTIMATE Automizer 0.1.23-df4b876e
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-11-06 18:19:20 CET
Run set Automizer Taipan Taipan-EXP Taipan-INT Taipan-INT-LIM
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 -tc ../../../trunk/examples/toolchains/AutomizerCInline.xml -s ../../../trunk/examples/settings/default/taipan/svcomp-Reach-64bit-Taipan_Default-INT.epf -tc ../../../trunk/examples/toolchains/AutomizerCInline.xml -s ../../../trunk/examples/settings/default/taipan/svcomp-Reach-64bit-Taipan_Default-INT-LIM.epf
../../../trunk/examples/svcomp/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage 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 58.5  35.3  1192005632 timeout (error (143)) 301    260    2899124224 false 149    95.7  2255933440 false 211    157    3334447104 false 191    131    2912997376
eca-rers2012/Problem01_label20_false-unreach-call_false-termination.c false 63.8  36.8  1193517056 timeout (error (143)) 302    258    2942713856 false 146    97.0  2856890368 timeout (error (143)) 301    231    3266805760 false 237    163    2952552448
eca-rers2012/Problem01_label21_false-unreach-call_false-termination.c false 57.8  33.9  1157754880 timeout (error (143)) 301    263    2912903168 false 151    101    2678161408 timeout (error (143)) 301    225    3039248384 false 226    158    2945531904
eca-rers2012/Problem01_label32_false-unreach-call_false-termination.c false 52.7  31.0  1110740992 timeout (error (143)) 301    268    2920349696 false 148    95.2  2807042048 timeout (error (143)) 301    237    3774599168 false 224    161    2986831872
eca-rers2012/Problem01_label33_false-unreach-call_false-termination.c false 52.9  31.6  1059176448 timeout (error (143)) 301    264    2919518208 false 139    87.1  2466185216 false 229    167    3035115520 false 171    119    2930733056
eca-rers2012/Problem01_label35_false-unreach-call_false-termination.c false 53.7  30.9  1071472640 timeout (error (143)) 301    262    2940968960 false 117    72.3  1908965376 false 224    164    3321864192 false 179    118    2864336896
eca-rers2012/Problem01_label37_false-unreach-call_false-termination.c false 59.1  35.9  1237819392 timeout (error (143)) 302    267    2921418752 false 98.8  61.5  1855758336 false 270    206    3537350656 false 168    116    2955382784
eca-rers2012/Problem01_label38_false-unreach-call_false-termination.c false 53.4  31.2  1041457152 timeout (error (143)) 301    264    2901958656 false 125    79.9  2218926080 false 208    147    3307970560 false 160    103    2999386112
eca-rers2012/Problem01_label44_false-unreach-call_false-termination.c false 43.9  25.5  1019260928 timeout (error (143)) 301    265    2916503552 false 82.8  51.4  1543933952 false 153    105    3006574592 false 131    85.8  2775048192
eca-rers2012/Problem01_label47_false-unreach-call_false-termination.c false 59.7  34.4  1154727936 timeout (error (143)) 301    263    2933985280 false 136    83.8  1892458496 false 234    172    3470110720 false 185    124    3074768896
eca-rers2012/Problem01_label50_false-unreach-call_false-termination.c false 49.9  29.3  1043730432 timeout (error (143)) 302    256    2921578496 false 132    83.9  2337779712 false 191    138    3220602880 false 161    105    2883522560
eca-rers2012/Problem01_label56_false-unreach-call_false-termination.c false 49.2  28.9  1032798208 timeout (error (143)) 301    266    2906058752 false 138    89.9  2311704576 false 242    178    2998583296 false 215    146    2965139456
eca-rers2012/Problem01_label57_false-unreach-call_false-termination.c false 61.5  36.8  1199419392 timeout (error (143)) 300    266    2927706112 false 137    88.1  2596061184 false 249    185    3206885376 false 170    115    2902732800
eca-rers2012/Problem02_label13_false-unreach-call_false-termination.c false 32.7  18.8  859652096 timeout (error (143)) 302    260    2943410176 false 88.1  53.2  1458237440 false 127    81.1  2408280064 false 126    80.8  2321969152
eca-rers2012/Problem02_label43_false-unreach-call_false-termination.c false 44.2  25.2  940204032 timeout (error (143)) 301    255    2931953664 false 59.0  34.5  1200807936 false 84.2  52.5  1887617024 false 91.2  56.2  1871118336
eca-rers2012/Problem02_label44_false-unreach-call_false-termination.c false 53.2  30.4  1031864320 timeout (error (143)) 301    262    2960084992 false 68.7  39.3  1228148736 false 99.6  59.8  1982742528 false 97.5  59.2  1918054400
eca-rers2012/Problem02_label45_false-unreach-call_false-termination.c false 58.4  34.1  1067220992 timeout (error (143)) 301    267    2916925440 false 81.8  48.7  1264844800 false 95.9  57.9  1498664960 false 107    63.4  1517105152
eca-rers2012/Problem02_label50_false-unreach-call_false-termination.c false 51.7  30.2  996581376 timeout (error (143)) 301    271    2899677184 false 98.8  60.3  1518833664 false 121    74.4  2179895296 false 111    70.4  1924739072
eca-rers2012/Problem02_label59_false-unreach-call_false-termination.c false 58.6  33.6  1083662336 timeout (error (143)) 301    268    2905534464 false 84.6  48.0  1238208512 false 87.1  49.6  1429352448 false 82.4  47.5  1407569920
eca-rers2012/Problem03_label13_false-unreach-call.c timeout 322    209    7861551104 timeout (error (143)) 302    276    2911449088 timeout (error (143)) 301    215    4480794624 timeout (error (143)) 306    257    3100610560 timeout (error (143)) 302    230    4008259584
eca-rers2012/Problem03_label27_false-unreach-call.c false 149    93.0  4539547648 timeout (error (143)) 301    275    2914848768 false 275    193    3560730624 timeout (error (143)) 302    252    3158597632 timeout (error (143)) 301    220    4035596288
eca-rers2012/Problem03_label31_false-unreach-call.c false 145    102    3774091264 timeout (error (143)) 301    280    2888589312 timeout (error (143)) 301    227    4322758656 timeout (error (143)) 306    259    3055132672 timeout (error (143)) 302    245    3925495808
eca-rers2012/Problem03_label37_false-unreach-call.c false 209    134    5841653760 timeout (error (143)) 303    280    2889420800 false 258    180    3744014336 timeout (error (143)) 301    253    3258638336 timeout (error (143)) 301    246    3946373120
eca-rers2012/Problem03_label43_false-unreach-call.c false 286    193    6398832640 timeout (error (143)) 304    274    2902839296 false 263    181    4353974272 timeout (error (143)) 302    253    3102420992 timeout (error (143)) 301    223    4261867520
eca-rers2012/Problem03_label50_false-unreach-call.c false 191    128    4571611136 timeout (error (143)) 301    278    2880393216 timeout (error (143)) 301    227    4343336960 timeout (error (143)) 306    260    3195432960 timeout (error (143)) 301    235    3989504000
eca-rers2012/Problem06_label09_false-unreach-call.c timeout (error (143)) 303    210    6153449472 timeout (error (143)) 303    265    3001057280 timeout (error (143)) 303    239    4302110720 timeout (error (143)) 306    260    3041005568 timeout 322    244    4398862336
eca-rers2012/Problem06_label15_false-unreach-call.c timeout 322    214    6437441536 timeout (error (143)) 303    266    2990313472 timeout (error (143)) 301    238    4193181696 timeout (error (143)) 306    257    3047415808 timeout (error (143)) 301    230    4385722368
eca-rers2012/Problem07_label15_false-unreach-call.c timeout (error (143)) 300    245    3882737664 timeout (error (143)) 300    247    3603296256 timeout (error (143)) 300    248    3613339648 timeout (error: exception) 305    244    3732566016 timeout (error (143)) 309    252    3732512768
eca-rers2012/Problem08_label02_false-unreach-call.c timeout (error (143)) 306    237    4836655104 timeout (error: exception) 301    238    4762161152 timeout (error (143)) 305    229    4861054976 timeout (error (143)) 306    236    4852211712 timeout (error: exception) 304    242    4885372928
eca-rers2012/Problem08_label07_false-unreach-call.c timeout (error (143)) 308    240    4858699776 timeout (error (143)) 306    234    4818149376 timeout (error (143)) 306    244    4750897152 timeout 322    252    5636931584 timeout (error (143)) 306    242    4990910464
eca-rers2012/Problem08_label10_false-unreach-call.c timeout (error (143)) 306    231    4903215104 timeout (error (143)) 306    242    4988215296 timeout (error: exception) 306    244    4737376256 timeout (error (143)) 309    224    6101659648 timeout (error (143)) 306    236    4857667584
eca-rers2012/Problem08_label15_false-unreach-call.c timeout (error (143)) 306    236    4797927424 timeout (error: exception) 304    243    4782284800 timeout (error (143)) 308    224    5620133888 timeout (error (143)) 306    233    4860514304 timeout (error (143)) 306    243    4745031680
eca-rers2012/Problem08_label24_false-unreach-call.c timeout (error (143)) 308    239    4828954624 timeout (error: exception) 302    245    4951605248 timeout (error (143)) 306    232    4863918080 timeout (error (143)) 306    233    4965814272 timeout (error (143)) 307    223    5829910528
eca-rers2012/Problem08_label43_false-unreach-call.c timeout (error (143)) 306    236    4851822592 timeout (error (143)) 306    244    4755767296 timeout 322    240    6110695424 timeout (error (143)) 306    243    4984905728 timeout (error (143)) 306    236    4829990912
eca-rers2012/Problem08_label48_false-unreach-call.c timeout (error (143)) 306    231    5238124544 timeout (error: exception) 305    243    4990386176 timeout (error (143)) 306    241    4811812864 timeout (error (143)) 306    243    4993691648 timeout (error (143)) 306    245    4988596224
eca-rers2012/Problem08_label50_false-unreach-call.c timeout (error (143)) 306    233    4816461824 timeout (error (143)) 306    242    4990881792 timeout (error: exception) 304    241    4746289152 timeout 322    237    5829165056 timeout (error: exception) 304    239    4755705856
eca-rers2012/Problem09_label02_false-unreach-call.c timeout (error (143)) 305    231    5124395008 timeout 321    236    6089039872 timeout (error (143)) 320    234    6795501568 timeout (error (143)) 306    242    5032370176 timeout (error (143)) 318    233    6384443392
eca-rers2012/Problem09_label03_false-unreach-call.c timeout (error (143)) 306    226    5558640640 timeout (error (143)) 306    244    5163085824 timeout (error (143)) 306    242    5132423168 timeout (error (143)) 309    229    6193680384 timeout 321    236    6866931712
eca-rers2012/Problem09_label06_false-unreach-call.c timeout (error (143)) 306    233    4893696000 timeout (error (143)) 306    249    4864106496 timeout (error (143)) 306    240    4842622976 timeout (error (143)) 306    250    4890021888 timeout 322    234    6913884160
eca-rers2012/Problem09_label10_false-unreach-call.c timeout (error (143)) 306    225    5203320832 timeout (error (143)) 306    236    5104840704 timeout (error (143)) 317    233    6761791488 timeout (error (143)) 306    240    5222625280 timeout 322    238    6269714432
eca-rers2012/Problem09_label11_false-unreach-call.c timeout (error (143)) 306    238    4850208768 timeout (error (143)) 309    229    6200156160 timeout 321    241    5809238016 timeout (error (143)) 308    228    6148411392 timeout (error (143)) 307    226    5848748032
eca-rers2012/Problem09_label15_false-unreach-call.c timeout (error (143)) 306    237    4856614912 timeout (error (143)) 311    245    5256691712 timeout (error (143)) 314    233    6859923456 timeout 322    234    6294454272 timeout (error (143)) 306    240    4817309696
eca-rers2012/Problem09_label19_false-unreach-call.c timeout (error (143)) 306    233    5508685824 timeout 321    235    6094725120 timeout (error (143)) 306    245    5180088320 timeout 322    240    6267592704 timeout (error (143)) 311    229    5941231616
eca-rers2012/Problem09_label20_false-unreach-call.c timeout (error (143)) 305    227    5501538304 timeout (error: exception) 312    236    5679394816 timeout (error (143)) 306    241    4845129728 timeout (error (143)) 306    244    5054668800 timeout (error (143)) 306    237    5106708480
eca-rers2012/Problem09_label32_false-unreach-call.c timeout (error (143)) 306    234    5166395392 timeout (error (143)) 306    245    5110530048 timeout (error (143)) 306    241    5135081472 timeout (error (143)) 313    245    5280968704 timeout (error: exception) 304    233    5278527488
eca-rers2012/Problem09_label34_false-unreach-call.c timeout (error (143)) 306    225    5141590016 timeout (error (143)) 306    243    5133156352 timeout 322    235    6276104192 timeout (error (143)) 319    233    6865367040 timeout 321    235    5906989056
eca-rers2012/Problem09_label35_false-unreach-call.c timeout (error (143)) 306    234    5118636032 timeout (error (143)) 306    236    5112991744 timeout 322    235    6054719488 timeout 322    235    6236880896 timeout (error (143)) 309    229    6120464384
eca-rers2012/Problem09_label36_false-unreach-call.c timeout (error (143)) 306    235    4854943744 timeout (error (143)) 306    241    4807974912 timeout (error (143)) 306    243    5136207872 timeout (error (143)) 308    229    5678694400 timeout 322    234    6275436544
eca-rers2012/Problem09_label41_false-unreach-call.c timeout (error (143)) 305    228    5138440192 timeout (error (143)) 306    246    5108994048 timeout 322    237    6075023360 timeout (error (143)) 306    238    5109968896 timeout 321    235    6293213184
eca-rers2012/Problem09_label44_false-unreach-call.c timeout (error (143)) 305    228    5128462336 timeout (error (143)) 306    244    5133631488 timeout 322    235    6219788288 timeout 322    238    6014083072 timeout 322    235    6280945664
eca-rers2012/Problem09_label46_false-unreach-call.c timeout (error (143)) 308    231    5171093504 timeout 322    235    6850011136 timeout 322    237    6127677440 timeout (error (143)) 306    245    5135101952 timeout (error (143)) 306    239    4851884032
eca-rers2012/Problem09_label47_false-unreach-call.c timeout (error (143)) 308    228    5504352256 timeout 322    234    6866726912 timeout (error (143)) 306    243    4739588096 timeout (error (143)) 306    244    5137756160 timeout (error (143)) 319    234    6669697024
eca-rers2012/Problem09_label51_false-unreach-call.c timeout (error (143)) 306    238    4886925312 timeout (error (143)) 313    237    5796208640 timeout 321    234    6442975232 timeout 322    236    6046420992 timeout (error (143)) 307    227    5736329216
eca-rers2012/Problem09_label53_false-unreach-call.c timeout (error (143)) 306    235    4859006976 timeout (error (143)) 311    231    5937692672 timeout (error (143)) 312    231    6129893376 timeout (error (143)) 306    250    5066739712 timeout 322    239    6110515200
eca-rers2012/Problem09_label56_false-unreach-call.c timeout (error (143)) 306    225    5146234880 timeout (error: exception) 313    237    5657649152 timeout (error (143)) 306    242    5116227584 timeout 322    235    6266327040 timeout (error (143)) 306    241    5039382528
eca-rers2012/Problem09_label57_false-unreach-call.c timeout (error (143)) 306    236    5147426816 timeout (error (143)) 309    230    5779828736 timeout (error (143)) 310    231    6138109952 timeout 321    236    6841290752 timeout (error (143)) 312    230    5965041664
eca-rers2012/Problem09_label59_false-unreach-call.c timeout (error (143)) 305    230    5144657920 timeout (error: exception) 306    233    5623975936 timeout (error (143)) 307    229    6256349184 timeout 322    236    6277332992 timeout 322    235    6854209536
eca-rers2012/Problem10_label12_false-unreach-call.c false 72.6  45.2  1305686016 timeout (error (143)) 301    251    3075870720 timeout (error (143)) 302    252    3071995904 timeout (error (143)) 301    273    2891038720 timeout (error (143)) 303    227    3223642112
eca-rers2012/Problem10_label15_false-unreach-call.c false 54.6  32.1  1163808768 timeout (error (143)) 301    247    3029999616 false 143    99.1  3054170112 timeout (error (143)) 306    273    2881179648 false 124    74.0  2436358144
eca-rers2012/Problem10_label24_false-unreach-call.c false 81.5  49.7  1349828608 timeout (error (143)) 302    236    3037478912 timeout (error (143)) 301    241    2975907840 timeout (error (143)) 306    263    3013144576 timeout (error (143)) 304    241    3199205376
eca-rers2012/Problem10_label26_false-unreach-call.c false 56.2  33.0  1195266048 timeout (error (143)) 302    235    3004104704 false 90.0  54.2  1623547904 timeout (error (143)) 306    255    3002195968 false 109    63.2  1520898048
eca-rers2012/Problem10_label28_false-unreach-call.c false 67.5  39.3  1192341504 timeout (error (143)) 301    245    3026898944 false 145    97.4  2892386304 timeout (error (143)) 305    268    2939342848 false 170    116    2228260864
eca-rers2012/Problem10_label29_false-unreach-call.c false 48.9  29.8  1193345024 timeout (error (143)) 301    236    3025920000 false 155    101    2837180416 timeout (error (143)) 305    271    2936340480 false 176    120    2507829248
eca-rers2012/Problem10_label41_false-unreach-call.c false 68.1  41.1  1170169856 timeout (error (143)) 301    248    2982694912 false 200    146    2949185536 timeout (error (143)) 305    268    2940133376 false 166    116    2646470656
eca-rers2012/Problem10_label42_false-unreach-call.c false 37.1  21.8  865103872 timeout (error (143)) 302    238    3013443584 false 128    82.8  2870747136 timeout (error (143)) 305    269    2953113600 false 144    93.8  3227262976
eca-rers2012/Problem10_label47_false-unreach-call.c false 48.7  29.2  1114431488 timeout (error (143)) 305    240    2987098112 false 113    68.1  1698951168 timeout (error (143)) 304    254    2939256832 false 128    79.5  1851641856
eca-rers2012/Problem10_label48_false-unreach-call.c false 76.0  46.5  1365811200 timeout (error (143)) 301    243    2990841856 false 153    97.5  2864037888 timeout (error (143)) 301    241    3044909056 false 156    97.5  2204090368
eca-rers2012/Problem10_label50_false-unreach-call.c false 75.9  45.7  1332584448 timeout (error (143)) 302    240    2993483776 timeout (error (143)) 301    242    2947313664 timeout (error (143)) 306    251    3101274112 timeout (error (143)) 301    241    3304624128
eca-rers2012/Problem10_label55_false-unreach-call.c false 41.3  24.4  1087012864 timeout (error (143)) 302    242    3027148800 false 138    96.3  3100520448 timeout (error (143)) 306    276    2903216128 false 89.1  51.7  1682493440
eca-rers2012/Problem10_label57_false-unreach-call.c false 52.1  30.9  1118851072 timeout (error (143)) 301    230    3005042688 false 71.2  43.8  1217875968 false 73.8  45.4  1447792640 false 72.6  44.5  1374453760
eca-rers2012/Problem10_label58_false-unreach-call.c false 73.0  44.4  1217769472 timeout (error (143)) 301    240    3032842240 timeout (error (143)) 317    211    7828885504 timeout (error (143)) 301    214    6277603328 out of memory 285    210    8000000000
eca-rers2012/Problem11_label00_false-unreach-call.c false 154    103    2075164672 timeout (error (143)) 301    244    2954338304 timeout (error (143)) 301    248    2684145664 timeout (error (143)) 306    262    2976567296 timeout (error (143)) 302    214    4363452416
eca-rers2012/Problem11_label08_false-unreach-call.c false 79.0  48.0  1273810944 timeout (error (143)) 301    225    3156008960 timeout (error (143)) 302    240    3149590528 timeout (error (143)) 306    261    2954035200 false 275    215    3035181056
eca-rers2012/Problem11_label14_false-unreach-call.c false 56.7  34.1  1193955328 timeout (error (143)) 301    247    3024736256 false 203    156    3108225024 timeout (error (143)) 306    266    2961113088 false 258    187    4940009472
eca-rers2012/Problem11_label15_false-unreach-call.c false 53.4  31.6  1058205696 timeout (error (143)) 301    237    3148640256 out of memory 263    191    8000000000 timeout (error (143)) 305    270    2968809472 false 114    70.9  2791821312
eca-rers2012/Problem11_label20_false-unreach-call.c false 95.9  62.4  1661894656 timeout (error (143)) 304    248    3059552256 false 260    186    3085135872 timeout (error (143)) 306    266    2958307328 timeout (error (143)) 302    212    3594825728
eca-rers2012/Problem11_label29_false-unreach-call.c false 124    79.7  1912201216 timeout (error (143)) 301    252    2909798400 timeout (error (143)) 302    255    3108741120 timeout (error (143)) 306    252    3036717056 timeout (error (143)) 302    213    4289740800
eca-rers2012/Problem11_label31_false-unreach-call.c false 146    98.9  2024554496 timeout (error (143)) 305    247    3012931584 timeout (error (143)) 302    248    2983649280 timeout (error (143)) 305    271    2953388032 timeout (error (143)) 302    216    4321075200
eca-rers2012/Problem11_label34_false-unreach-call.c false 135    89.0  2067976192 timeout (error (143)) 301    234    3042324480 timeout (error (143)) 301    250    3019386880 timeout (error (143)) 306    264    3028885504 timeout (error (143)) 301    218    4556861440
eca-rers2012/Problem11_label36_false-unreach-call.c false 37.7  22.0  881049600 false 174    117    3012509696 false 117    79.9  2978865152 timeout (error (143)) 306    268    2954276864 false 96.4  57.3  1946521600
eca-rers2012/Problem11_label39_false-unreach-call.c false 104    67.0  1450729472 timeout (error (143)) 301    256    2892201984 timeout (error (143)) 301    244    3381178368 timeout (error (143)) 305    262    3045814272 timeout (error (143)) 301    218    4303945728
eca-rers2012/Problem11_label42_false-unreach-call.c false 93.2  56.7  1397669888 timeout (error (143)) 303    255    2913406976 false 162    111    2991206400 timeout (error (143)) 306    242    3035639808 false 146    97.3  2278596608
eca-rers2012/Problem11_label43_false-unreach-call.c false 57.3  33.4  1211641856 false 223    158    3078959104 false 164    118    2960470016 timeout (error (143)) 306    265    2944139264 false 135    88.7  1709637632
eca-rers2012/Problem11_label49_false-unreach-call.c false 52.6  32.2  1214795776 timeout (error (143)) 301    257    2905239552 false 270    220    3515625472 timeout (error (143)) 306    264    3094188032 false 199    135    4200050688
eca-rers2012/Problem11_label51_false-unreach-call.c false 66.7  41.6  1284292608 timeout (error (143)) 301    243    3076677632 false 219    161    3131314176 timeout (error (143)) 306    264    2978889728 false 213    143    3140354048
eca-rers2012/Problem12_label08_false-unreach-call.c timeout (error (143)) 302    227    4809191424 timeout (error (143)) 301    232    2944184320 timeout (error (143)) 306    258    3202011136 timeout (error (143)) 301    244    3075682304 timeout 322    228    5401436160
eca-rers2012/Problem12_label20_false-unreach-call.c false 297    222    4287270912 timeout (error (143)) 302    241    2956255232 timeout (error (143)) 306    258    3216306176 timeout (error (143)) 304    253    3059326976 timeout (error (143)) 303    220    5447458816
eca-rers2012/Problem12_label30_false-unreach-call.c false 275    204    3975688192 timeout (error (143)) 301    217    3369668608 timeout (error (143)) 301    237    3288064000 timeout (error (143)) 303    243    3088801792 timeout (error (143)) 301    212    5083623424
eca-rers2012/Problem12_label35_false-unreach-call.c false 179    131    2874933248 timeout (error (143)) 301    236    3006828544 timeout (error (143)) 301    208    5091262464 timeout (error (143)) 306    240    3186991104 timeout (error (143)) 301    216    4196687872
eca-rers2012/Problem12_label40_false-unreach-call.c false 221    168    3073015808 timeout (error (143)) 301    229    3042086912 timeout (error (143)) 306    252    3354193920 timeout (error (143)) 306    251    3110064128 timeout (error (143)) 300    213    5308968960
eca-rers2012/Problem12_label50_false-unreach-call.c false 249    192    3245744128 timeout (error (143)) 301    242    2970931200 timeout (error (143)) 303    245    3294257152 timeout (error (143)) 306    253    3033264128 timeout (error (143)) 302    215    5832003584
eca-rers2012/Problem12_label55_false-unreach-call.c false 242    180    3534671872 timeout (error (143)) 301    228    3051864064 timeout (error (143)) 306    247    3349508096 timeout (error (143)) 306    247    3152060416 timeout (error (143)) 302    214    5439062016
eca-rers2012/Problem13_label16_false-unreach-call.c timeout (error: exception) 303    225    4832743424 timeout (error (143)) 301    230    3092832256 timeout (error (143)) 306    244    3331829760 timeout (error (143)) 306    243    3183992832 timeout (error (143)) 316    214    6491574272
eca-rers2012/Problem14_label02_false-unreach-call_false-termination.c false 132    86.2  2869055488 timeout (error (143)) 301    246    2964811776 timeout (error (143)) 301    228    3230355456 timeout (error (143)) 306    262    3062042624 timeout (error (143)) 301    219    3959091200
eca-rers2012/Problem14_label08_false-unreach-call_false-termination.c false 107    66.3  2366832640 timeout (error (143)) 301    236    3015540736 timeout (error (143)) 305    237    3271897088 timeout (error (143)) 306    263    2995195904 timeout (error (143)) 301    215    4231680000
eca-rers2012/Problem14_label10_false-unreach-call_false-termination.c false 85.2  53.4  1995055104 timeout (error (143)) 301    248    2976886784 timeout (error (143)) 301    233    3275173888 timeout (error (143)) 306    260    3062677504 false 286    201    3853008896
eca-rers2012/Problem14_label11_false-unreach-call_false-termination.c false 96.7  62.3  2318778368 timeout (error (143)) 300    242    3055730688 timeout (error (143)) 302    232    3308294144 timeout (error (143)) 306    262    3035357184 false 254    177    3218677760
eca-rers2012/Problem14_label12_false-unreach-call_false-termination.c false 115    75.6  2863980544 timeout (error (143)) 301    250    2959888384 timeout (error (143)) 301    236    3277938688 timeout (error (143)) 306    261    3063730176 timeout (error (143)) 303    220    4342988800
eca-rers2012/Problem14_label13_false-unreach-call_false-termination.c false 92.6  57.0  1878790144 timeout (error (143)) 300    238    3044208640 timeout (error (143)) 302    236    3297292288 timeout (error (143)) 306    258    2985488384 timeout (error (143)) 301    214    4069138432
eca-rers2012/Problem14_label18_false-unreach-call_false-termination.c false 101    63.8  2421592064 timeout (error (143)) 301    229    3003936768 timeout (error (143)) 300    235    3336593408 timeout (error (143)) 302    251    3103399936 timeout (error (143)) 301    215    4254343168
eca-rers2012/Problem14_label22_false-unreach-call_false-termination.c false 134    83.6  2831605760 timeout (error (143)) 302    229    3065253888 timeout (error (143)) 304    233    3215593472 timeout (error (143)) 306    262    2983309312 timeout (error (143)) 301    216    3318370304
eca-rers2012/Problem14_label27_false-unreach-call_false-termination.c false 110    71.2  2826547200 timeout (error (143)) 305    252    2979622912 timeout (error (143)) 305    242    3226652672 timeout (error (143)) 306    253    3048046592 timeout (error (143)) 301    219    4364906496
eca-rers2012/Problem14_label28_false-unreach-call_false-termination.c false 118    72.2  2665889792 timeout (error (143)) 301    238    2998661120 timeout (error (143)) 301    226    2990809088 timeout (error (143)) 306    263    3023872000 timeout (error (143)) 301    217    4285673472
eca-rers2012/Problem14_label29_false-unreach-call_false-termination.c false 112    71.5  2873999360 timeout (error (143)) 301    242    3050029056 timeout (error: exception) 302    235    3202990080 timeout (error (143)) 306    260    3053400064 timeout (error (143)) 301    220    4197347328
eca-rers2012/Problem14_label31_false-unreach-call_false-termination.c false 97.3  62.6  2442006528 timeout (error (143)) 301    248    3052544000 timeout (error (143)) 300    233    3208437760 timeout (error (143)) 306    261    3036864512 timeout (error (143)) 301    215    3940143104
eca-rers2012/Problem14_label34_false-unreach-call_false-termination.c false 106    66.7  2867830784 timeout (error (143)) 301    246    3011170304 timeout (error (143)) 301    238    3355926528 timeout (error (143)) 301    250    3025547264 timeout (error (143)) 301    215    4275613696
eca-rers2012/Problem14_label37_false-unreach-call_false-termination.c false 103    65.9  2454630400 timeout (error (143)) 300    241    3024052224 timeout (error (143)) 301    231    3291443200 timeout (error (143)) 305    262    3009449984 timeout (error (143)) 302    215    3876700160
eca-rers2012/Problem14_label39_false-unreach-call_false-termination.c false 103    64.5  2395377664 timeout (error (143)) 301    242    3047669760 timeout (error (143)) 301    232    3260616704 timeout (error (143)) 301    255    2975002624 timeout (error (143)) 302    215    3514695680
eca-rers2012/Problem14_label40_false-unreach-call_false-termination.c false 107    66.6  2618097664 timeout (error (143)) 304    205    2982440960 timeout (error (143)) 301    234    3158933504 timeout (error (143)) 305    265    2987667456 timeout (error (143)) 301    220    3221291008
eca-rers2012/Problem14_label41_false-unreach-call_false-termination.c false 145    97.6  2881875968 timeout (error (143)) 301    231    3014897664 timeout (error (143)) 301    234    3240263680 timeout (error (143)) 307    261    2977939456 timeout (error (143)) 302    215    4262649856
eca-rers2012/Problem14_label43_false-unreach-call_false-termination.c false 134    84.0  2862530560 timeout (error (143)) 303    241    3018084352 timeout (error (143)) 304    234    3225993216 timeout (error (143)) 305    254    3027267584 timeout (error (143)) 301    214    3815239680
eca-rers2012/Problem14_label44_false-unreach-call_false-termination.c false 119    78.8  2874613760 timeout (error (143)) 300    238    3077931008 timeout (error (143)) 301    231    3224846336 timeout (error (143)) 306    255    3040481280 timeout (error (143)) 301    218    4220932096
eca-rers2012/Problem14_label52_false-unreach-call_false-termination.c false 110    70.4  2454941696 timeout (error (143)) 303    249    2990755840 timeout (error (143)) 302    233    3226411008 timeout (error (143)) 306    255    3033292800 timeout (error (143)) 301    213    3948445696
eca-rers2012/Problem14_label54_false-unreach-call_false-termination.c false 131    86.8  2885472256 timeout (error (143)) 301    250    3066028032 timeout (error (143)) 302    232    3273039872 timeout (error (143)) 306    263    3028643840 timeout (error (143)) 301    213    4306612224
eca-rers2012/Problem14_label56_false-unreach-call_false-termination.c false 97.1  58.8  1906016256 timeout (error (143)) 301    238    3002785792 timeout (error (143)) 302    235    3275784192 timeout (error (143)) 306    256    3057045504 timeout (error (143)) 300    215    4338946048
eca-rers2012/Problem14_label57_false-unreach-call_false-termination.c false 100    62.8  2403323904 timeout (error (143)) 300    241    3067699200 timeout (error (143)) 300    238    3271028736 timeout (error (143)) 306    258    3030417408 timeout (error (143)) 301    217    4360421376
eca-rers2012/Problem14_label58_false-unreach-call_false-termination.c false 148    97.8  2867449856 timeout (error (143)) 301    243    3025129472 timeout (error (143)) 302    230    3316879360 timeout (error (143)) 306    258    3061542912 timeout (error (143)) 302    216    4337278976
eca-rers2012/Problem15_label00_false-unreach-call.c false 198    147    2665693184 timeout (error (143)) 301    222    3396259840 timeout (error (143)) 301    237    3283808256 timeout (error (143)) 306    259    2982678528 timeout (error (143)) 300    210    4382605312
eca-rers2012/Problem15_label03_false-unreach-call.c false 145    98.8  2858233856 timeout (error (143)) 301    240    3025358848 timeout (error (143)) 303    240    3704991744 timeout (error (143)) 306    267    2949775360 timeout (error (143)) 301    217    5045198848
eca-rers2012/Problem15_label07_false-unreach-call.c false 196    142    2901909504 timeout (error (143)) 301    255    2939924480 timeout (error (143)) 301    253    3062910976 timeout (error (143)) 302    251    3121917952 timeout (error (143)) 304    211    5257695232
eca-rers2012/Problem15_label14_false-unreach-call.c false 181    130    2797240320 timeout (error (143)) 301    252    2917195776 timeout (error (143)) 301    218    3880448000 timeout (error (143)) 306    261    3093917696 timeout (error (143)) 301    222    5546299392
eca-rers2012/Problem15_label15_false-unreach-call.c false 118    79.6  2056531968 timeout (error (143)) 301    244    3089805312 timeout (error (143)) 302    223    4314632192 timeout (error (143)) 304    263    2938273792 timeout (error (143)) 301    218    4661153792
eca-rers2012/Problem15_label18_false-unreach-call_false-termination.c false 155    105    2827149312 timeout (error (143)) 301    252    2930245632 timeout (error (143)) 302    219    3996233728 timeout (error (143)) 302    253    3105480704 timeout (error (143)) 301    214    4865224704
eca-rers2012/Problem15_label22_false-unreach-call.c false 151    97.3  2216636416 timeout (error (143)) 301    244    3311763456 timeout (error (143)) 302    230    3623288832 timeout (error (143)) 305    263    2962841600 timeout (error (143)) 301    215    4349825024
eca-rers2012/Problem15_label23_false-unreach-call.c false 152    102    2664099840 timeout (error (143)) 301    253    2969141248 timeout (error (143)) 305    226    3791077376 timeout (error (143)) 306    257    3146928128 timeout (error (143)) 303    213    4215070720
eca-rers2012/Problem15_label25_false-unreach-call.c false 172    119    2882998272 timeout (error (143)) 301    238    3256614912 timeout (error (143)) 301    219    4285890560 timeout (error (143)) 306    259    3001917440 timeout (error (143)) 301    210    4520636416
eca-rers2012/Problem15_label29_false-unreach-call.c false 159    110    3078361088 timeout (error (143)) 301    237    3355332608 timeout (error (143)) 302    242    3514339328 timeout (error (143)) 306    265    2979352576 timeout (error (143)) 301    218    4652625920
eca-rers2012/Problem15_label30_false-unreach-call.c false 192    143    2735583232 timeout (error (143)) 301    237    3044933632 timeout (error (143)) 302    230    3862228992 timeout (error (143)) 306    264    2956435456 timeout (error (143)) 301    219    4214030336
eca-rers2012/Problem15_label33_false-unreach-call.c false 136    93.0  2307878912 timeout (error (143)) 302    241    3223056384 timeout (error (143)) 302    241    3610484736 timeout (error (143)) 305    264    2951340032 timeout (error (143)) 301    219    5055881216
eca-rers2012/Problem15_label34_false-unreach-call.c false 158    111    2417463296 timeout (error (143)) 300    232    3219496960 timeout (error (143)) 301    231    3418247168 timeout (error (143)) 305    263    2949500928 timeout (error (143)) 302    209    4717957120
eca-rers2012/Problem15_label37_false-unreach-call.c false 212    157    2881822720 timeout (error (143)) 301    247    3229237248 timeout (error (143)) 301    230    3769634816 timeout (error (143)) 305    264    2948952064 timeout (error (143)) 302    214    5475360768
eca-rers2012/Problem15_label38_false-unreach-call.c false 146    97.1  2847117312 timeout (error (143)) 302    252    2932965376 timeout (error (143)) 302    247    3506741248 timeout (error (143)) 306    261    3094626304 timeout (error (143)) 301    208    5128699904
eca-rers2012/Problem15_label39_false-unreach-call.c false 186    132    2902953984 timeout (error (143)) 301    230    3763060736 timeout (error (143)) 301    225    3964248064 timeout (error (143)) 306    260    2991652864 timeout (error (143)) 303    218    4473028608
eca-rers2012/Problem15_label40_false-unreach-call.c false 165    121    2398142464 timeout (error (143)) 301    219    3299700736 timeout (error (143)) 301    227    3306319872 timeout (error (143)) 306    257    2997641216 timeout (error (143)) 305    222    3646148608
eca-rers2012/Problem15_label41_false-unreach-call.c false 129    85.9  1964089344 timeout (error (143)) 301    239    3231346688 timeout (error (143)) 301    237    3221385216 timeout (error (143)) 305    266    2953814016 timeout (error (143)) 303    215    5150294016
eca-rers2012/Problem15_label45_false-unreach-call.c false 155    106    2667847680 timeout (error (143)) 301    263    2920886272 timeout (error (143)) 302    227    3373772800 timeout (error (143)) 306    259    3070894080 timeout (error (143)) 302    217    4414439424
eca-rers2012/Problem15_label47_false-unreach-call.c false 194    138    2871222272 timeout (error (143)) 301    257    2888409088 timeout (error (143)) 301    245    2978525184 timeout (error (143)) 303    256    3105300480 timeout (error (143)) 301    233    4312104960
eca-rers2012/Problem15_label48_false-unreach-call.c false 165    114    2731884544 timeout (error (143)) 301    263    2922360832 timeout (error (143)) 302    242    3332194304 timeout (error (143)) 306    258    3109781504 timeout (error (143)) 302    228    4412702720
eca-rers2012/Problem15_label51_false-unreach-call.c false 184    131    2859761664 timeout (error (143)) 301    229    3072094208 timeout (error (143)) 301    230    3592953856 timeout (error (143)) 306    257    2962432000 timeout (error (143)) 300    207    5507690496
eca-rers2012/Problem16_label04_false-unreach-call.c false 269    205    3099807744 timeout (error (143)) 301    242    2970046464 timeout (error (143)) 301    228    3569545216 timeout (error (143)) 305    258    2960904192 timeout (error (143)) 301    215    4343435264
eca-rers2012/Problem16_label06_false-unreach-call.c false 252    189    3120357376 timeout (error (143)) 301    245    3012984832 timeout (error (143)) 306    256    3466952704 timeout (error (143)) 305    268    2840510464 timeout (error (143)) 301    222    4566269952
eca-rers2012/Problem16_label08_false-unreach-call.c false 265    197    3030593536 timeout (error (143)) 301    230    3090026496 timeout (error (143)) 301    246    3289874432 timeout (error (143)) 305    263    2856624128 timeout (error (143)) 301    222    4745588736
eca-rers2012/Problem16_label14_false-unreach-call.c timeout (false) 301    223    3179667456 timeout (error (143)) 301    247    3064840192 timeout (error (143)) 301    249    3299647488 timeout (error (143)) 306    255    3056218112 timeout (error (143)) 301    225    4657127424
eca-rers2012/Problem16_label15_false-unreach-call.c false 241    180    3165954048 timeout (error (143)) 301    244    2978451456 timeout (error (143)) 306    234    3506831360 timeout (error (143)) 305    263    2974519296 timeout (error (143)) 302    217    4535812096
eca-rers2012/Problem16_label20_false-unreach-call.c false 290    220    3146817536 timeout (error (143)) 303    233    3157381120 timeout (error (143)) 301    237    3323072512 timeout (error (143)) 306    254    3030478848 timeout (error (143)) 300    212    4391903232
eca-rers2012/Problem16_label27_false-unreach-call.c false 253    187    3240124416 timeout (error (143)) 301    239    3021824000 timeout (error (143)) 306    243    3351523328 timeout (error (143)) 306    263    3026460672 timeout (error (143)) 301    227    4749225984
eca-rers2012/Problem16_label33_false-unreach-call.c false 250    184    3067351040 timeout (error (143)) 301    230    3138408448 timeout (error (143)) 301    223    3260747776 timeout (error (143)) 306    255    3094343680 timeout (error (143)) 302    226    4854091776
eca-rers2012/Problem16_label37_false-unreach-call.c false 239    177    3087667200 timeout (error (143)) 301    234    3165294592 timeout (error (143)) 301    246    3291701248 timeout (error (143)) 306    257    3063148544 timeout (error (143)) 302    219    4756074496
eca-rers2012/Problem16_label38_false-unreach-call.c false 232    168    3151601664 timeout (error (143)) 301    247    2983878656 timeout (error (143)) 301    248    3393503232 timeout (error (143)) 306    262    3032752128 timeout (error (143)) 301    224    5491875840
eca-rers2012/Problem16_label41_false-unreach-call.c false 259    185    3255427072 timeout (error (143)) 301    227    3104518144 timeout (error (143)) 305    243    3403730944 timeout (error (143)) 306    268    3020812288 timeout (error (143)) 303    225    5122519040
eca-rers2012/Problem16_label43_false-unreach-call.c false 269    201    3115053056 timeout (error (143)) 301    245    2996183040 timeout (error (143)) 306    257    3466452992 timeout (error (143)) 305    266    3033563136 timeout (error (143)) 301    220    4337610752
eca-rers2012/Problem16_label44_false-unreach-call.c false 243    180    2928402432 timeout (error (143)) 301    250    2953912320 timeout (error (143)) 301    252    3455852544 timeout (error (143)) 306    261    3044401152 timeout (error (143)) 302    223    4461256704
eca-rers2012/Problem16_label51_false-unreach-call.c false 279    206    3181981696 timeout (error (143)) 300    245    2967805952 timeout (error (143)) 302    241    3448340480 timeout (error (143)) 306    259    3056603136 timeout (error (143)) 302    220    4746838016
eca-rers2012/Problem16_label52_false-unreach-call.c false 198    142    3032875008 timeout (error (143)) 301    242    3135102976 timeout (error (143)) 302    253    3347296256 timeout (error (143)) 306    263    3044548608 timeout (error (143)) 301    225    4955996160
eca-rers2012/Problem16_label54_false-unreach-call.c false 286    216    3264397312 timeout (error (143)) 301    251    2992070656 timeout (error (143)) 306    254    3467005952 timeout (error (143)) 306    262    3046006784 timeout (error (143)) 302    222    4890468352
eca-rers2012/Problem17_label20_false-unreach-call.c timeout (error: exception) 301    237    2964439040 timeout (error (143)) 304    265    2947592192 timeout (error (143)) 302    230    3771207680 timeout (error (143)) 301    273    1303699456 timeout (error (143)) 302    271    1329369088
eca-rers2012/Problem17_label23_false-unreach-call.c false 212    161    3039100928 timeout (error (143)) 303    263    2948878336 timeout (error (143)) 301    266    1326776320 timeout (error (143)) 300    261    1668472832 timeout (error (143)) 301    266    1341259776
eca-rers2012/Problem17_label30_false-unreach-call.c false 251    207    2555826176 timeout (error (143)) 302    252    2969083904 timeout (error (143)) 304    226    4384927744 timeout (error (143)) 302    248    3003736064 timeout (error (143)) 302    230    3724177408
eca-rers2012/Problem17_label34_false-unreach-call.c false 213    164    3318685696 timeout (error (143)) 301    249    2959503360 timeout (error (143)) 307    205    7834443776 timeout (error (143)) 305    267    2954682368 out of memory 292    224    8000000000
eca-rers2012/Problem17_label46_false-unreach-call.c timeout (false) 303    233    4080959488 timeout (error (143)) 302    250    2988462080 timeout (error (143)) 301    228    3739955200 timeout (error (143)) 306    251    3027718144 timeout (error (143)) 300    221    4028383232
eca-rers2012/Problem17_label53_false-unreach-call.c false 253    201    2497613824 timeout (error (143)) 301    246    2947923968 timeout (error (143)) 301    232    3406692352 timeout (error (143)) 305    261    2934800384 timeout (error (143)) 302    234    3373391872
eca-rers2012/Problem17_label55_false-unreach-call.c false 199    146    3058192384 timeout (error (143)) 301    253    2966122496 timeout (error (143)) 301    239    2754564096 timeout (error (143)) 301    241    3193700352 timeout (error (143)) 301    241    3162025984
eca-rers2012/Problem18_label03_false-unreach-call.c false 282    210    4277198848 timeout (error (143)) 301    237    3062706176 timeout (error (143)) 301    235    3476934656 timeout (error (143)) 306    258    3016732672 timeout (error (143)) 302    219    4866506752
eca-rers2012/Problem18_label08_false-unreach-call.c false 281    207    4270493696 timeout (error (143)) 301    223    3745501184 timeout (error (143)) 301    234    3899019264 timeout (error (143)) 306    242    3448991744 timeout (error (143)) 301    211    4341428224
eca-rers2012/Problem18_label10_false-unreach-call.c false 286    217    4178747392 timeout (error (143)) 301    226    3198275584 timeout (error (143)) 301    230    3456970752 timeout (error (143)) 306    250    3068796928 timeout (error (143)) 301    219    4286832640
eca-rers2012/Problem18_label12_false-unreach-call.c false 250    179    4267323392 timeout (error (143)) 301    228    3192664064 timeout (error (143)) 302    245    3453030400 timeout (error (143)) 306    259    3014496256 timeout (error (143)) 301    221    4358557696
eca-rers2012/Problem18_label25_false-unreach-call.c false 233    168    3650498560 timeout (error (143)) 300    225    3232063488 timeout (error (143)) 306    245    3453292544 timeout (error (143)) 306    253    3086262272 timeout (error (143)) 302    219    4344807424
eca-rers2012/Problem18_label27_false-unreach-call.c false 237    172    3542511616 timeout (error (143)) 301    227    3089506304 timeout (error (143)) 301    245    3493138432 timeout (error (143)) 305    260    3012743168 timeout (error (143)) 301    226    4501962752
eca-rers2012/Problem18_label33_false-unreach-call.c false 300    229    4382367744 timeout (error (143)) 301    226    3053891584 timeout (error (143)) 301    231    3683516416 timeout (error (143)) 306    259    3017940992 timeout (error (143)) 301    227    4424650752
eca-rers2012/Problem18_label38_false-unreach-call.c false 279    212    4246118400 timeout (error (143)) 301    215    3219697664 timeout (error (143)) 306    247    3471810560 timeout (error (143)) 306    249    3011780608 timeout (error (143)) 301    219    4709609472
eca-rers2012/Problem18_label45_false-unreach-call.c false 221    159    3719892992 timeout (error (143)) 301    209    3160145920 timeout (error (143)) 303    237    3393212416 timeout (error (143)) 306    253    3045330944 timeout (error (143)) 301    214    4413792256
eca-rers2012/Problem18_label49_false-unreach-call.c false 280    208    4306800640 timeout (error (143)) 300    223    3347484672 timeout (error (143)) 300    231    3537195008 timeout (error (143)) 303    249    3134558208 timeout (error (143)) 301    214    4448399360
eca-rers2012/Problem18_label55_false-unreach-call.c false 271    198    4227198976 timeout (error (143)) 301    230    3112960000 timeout (error (143)) 305    239    3484672000 timeout (error (143)) 306    254    2985246720 timeout (error (143)) 301    217    4800020480
eca-rers2012/Problem01_label01_true-unreach-call_false-termination.c true 64.6  37.8  1209712640 timeout (error (143)) 301    267    2900832256 true 47.2  27.3  1067663360 true 274    202    3379613696 true 183    128    2964406272
eca-rers2012/Problem01_label02_true-unreach-call_false-termination.c true 72.3  41.3  1221705728 timeout (error (143)) 301    264    2915471360 true 171    110    3005136896 timeout (error (143)) 302    228    3865128960 true 185    121    2975318016
eca-rers2012/Problem01_label04_true-unreach-call_false-termination.c true 67.6  39.4  1213403136 timeout (error (143)) 301    267    2888794112 true 152    95.8  2261479424 true 209    151    3155267584 true 155    101    2795851776
eca-rers2012/Problem01_label05_true-unreach-call_false-termination.c true 75.0  44.1  1243004928 timeout (error (143)) 301    246    2891358208 true 134    82.4  2036768768 true 216    150    3182616576 true 178    117    2896265216
eca-rers2012/Problem01_label06_true-unreach-call_false-termination.c true 51.5  29.1  1008082944 timeout (error (143)) 301    261    2967478272 true 95.6  56.3  1507774464 true 282    208    3601657856 true 204    140    3330068480
eca-rers2012/Problem01_label07_true-unreach-call_false-termination.c true 61.1  34.2  1044451328 timeout (error (143)) 301    269    2889994240 true 98.2  60.7  1830285312 true 206    147    3053322240 true 149    100    2965389312
eca-rers2012/Problem01_label08_true-unreach-call_false-termination.c true 44.9  26.3  1045352448 timeout (error (143)) 301    263    2928021504 true 143    84.8  2044645376 true 271    202    3569319936 true 192    133    3068284928
eca-rers2012/Problem01_label10_true-unreach-call_false-termination.c true 51.8  30.0  1045008384 timeout (error (143)) 301    268    2892369920 true 145    94.4  2832515072 true 209    157    3184701440 true 160    107    2962812928
eca-rers2012/Problem01_label11_true-unreach-call_false-termination.c true 59.9  34.5  1189658624 timeout (error (143)) 301    261    2912948224 true 133    81.4  2207084544 true 274    201    3482734592 true 211    142    3282530304
eca-rers2012/Problem01_label13_true-unreach-call_false-termination.c true 65.0  36.9  1195720704 timeout (error (143)) 301    264    2906492928 true 34.6  19.4  871010304 true 136    96.5  3064459264 true 104    64.9  2047418368
eca-rers2012/Problem01_label14_true-unreach-call_false-termination.c true 73.3  44.1  1197117440 timeout (error (143)) 301    254    2967633920 true 130    80.6  2253901824 true 265    199    3616665600 true 216    144    3155873792
eca-rers2012/Problem01_label17_true-unreach-call_false-termination.c true 55.1  32.0  1048076288 timeout (error (143)) 302    267    2896437248 true 101    62.7  1782444032 true 189    133    3064733696 true 198    133    2893701120
eca-rers2012/Problem01_label19_true-unreach-call_false-termination.c true 66.7  39.1  1225101312 timeout (error (143)) 301    265    2899369984 true 68.3  41.2  1322434560 true 129    88.7  2998083584 true 94.8  59.1  2143711232
eca-rers2012/Problem01_label23_true-unreach-call_false-termination.c true 50.6  29.9  1049657344 timeout (error (143)) 301    265    2898960384 true 102    62.7  1861132288 true 149    98.4  3025739776 true 115    72.8  2453716992
eca-rers2012/Problem01_label24_true-unreach-call_false-termination.c true 48.7  28.2  1011822592 timeout (error (143)) 302    268    2892607488 true 39.0  21.9  864010240 true 44.8  25.1  1196838912 true 43.4  24.2  874745856
eca-rers2012/Problem01_label25_true-unreach-call_false-termination.c true 57.5  33.7  1174843392 timeout (error (143)) 301    265    2911281152 true 97.8  60.4  1671315456 true 201    147    3212390400 true 173    116    2996772864
eca-rers2012/Problem01_label26_true-unreach-call_false-termination.c true 64.6  37.6  1177133056 timeout (error (143)) 301    263    2898997248 true 132    81.9  2454155264 true 268    194    3510231040 true 213    141    3350130688
eca-rers2012/Problem01_label27_true-unreach-call_false-termination.c true 59.5  36.0  1194082304 timeout (error (143)) 301    263    2892197888 true 163    103    2583973888 true 260    189    3626958848 true 207    139    2986643456
eca-rers2012/Problem01_label28_true-unreach-call_false-termination.c true 69.1  40.6  1161510912 timeout (error (143)) 301    264    2905169920 true 91.7  57.0  1716453376 true 153    104    3158822912 true 118    73.6  2373111808
eca-rers2012/Problem01_label29_true-unreach-call_false-termination.c true 52.6  30.7  1028079616 timeout (error (143)) 301    261    2905694208 true 128    78.7  2194669568 true 259    184    3336347648 true 199    133    3066359808
eca-rers2012/Problem01_label30_true-unreach-call_false-termination.c true 74.2  43.2  1206132736 timeout (error (143)) 301    258    2909253632 true 105    63.2  1803804672 timeout (error (143)) 301    222    3444903936 true 212    146    3555500032
eca-rers2012/Problem01_label34_true-unreach-call_false-termination.c true 53.9  31.7  1070931968 timeout (error (143)) 301    274    2892591104 true 128    82.6  2527854592 true 184    126    3019124736 true 166    107    2867724288
eca-rers2012/Problem01_label40_true-unreach-call_false-termination.c true 66.2  39.1  1225486336 timeout (error (143)) 302    267    2906468352 true 85.4  53.1  1569370112 true 256    185    3477807104 true 133    88.0  2918490112
eca-rers2012/Problem01_label41_true-unreach-call_false-termination.c true 46.2  26.4  1036689408 timeout (error (143)) 301    262    2905739264 true 114    68.2  1807630336 true 157    103    2984574976 true 141    87.4  2599051264
eca-rers2012/Problem01_label42_true-unreach-call_false-termination.c true 53.2  30.3  1078702080 timeout (error (143)) 302    259    2962042880 true 84.0  50.1  1496412160 true 252    185    3034079232 true 194    130    2899103744
eca-rers2012/Problem01_label43_true-unreach-call_false-termination.c true 39.4  23.5  1058832384 timeout (error (143)) 301    265    2895552512 true 84.1  49.4  1456119808 true 205    155    3176681472 true 147    97.3  2926862336
eca-rers2012/Problem01_label45_true-unreach-call_false-termination.c true 58.2  34.8  1197498368 timeout (error (143)) 301    266    2891489280 true 90.6  53.4  1439592448 true 159    111    3119316992 true 120    76.2  2811617280
eca-rers2012/Problem01_label46_true-unreach-call_false-termination.c true 36.3  21.4  1003929600 timeout (error (143)) 301    266    2893869056 true 84.2  51.7  1565507584 true 201    148    3026796544 true 147    95.8  2949533696
eca-rers2012/Problem01_label52_true-unreach-call_false-termination.c true 30.4  17.0  848908288 timeout (error (143)) 302    270    2908610560 true 123    76.8  2078105600 true 249    182    3430731776 true 159    106    2966228992
eca-rers2012/Problem01_label53_true-unreach-call_false-termination.c true 54.3  31.7  1022963712 timeout (error (143)) 302    259    2953969664 true 172    109    2631098368 true 281    207    3277266944 true 208    140    2928443392
eca-rers2012/Problem01_label54_true-unreach-call_false-termination.c true 61.1  35.1  1087537152 timeout (error (143)) 303    265    2915717120 true 63.0  36.8  1257709568 true 87.1  55.0  2896240640 true 71.9  42.1  1381781504
eca-rers2012/Problem01_label55_true-unreach-call_false-termination.c true 35.2  20.3  867430400 timeout (error (143)) 301    267    2907414528 true 134    84.7  2605678592 true 239    174    3341299712 true 159    109    3020185600
eca-rers2012/Problem01_label59_true-unreach-call_false-termination.c true 49.4  29.3  1036783616 timeout (error (143)) 301    268    2906370048 true 44.0  25.5  1026195456 true 54.8  31.0  1400709120 true 50.9  28.9  1036898304
eca-rers2012/Problem02_label00_true-unreach-call_false-termination.c true 64.6  37.0  1162215424 timeout (error (143)) 301    246    2962247680 true 92.7  54.5  1465614336 true 162    110    2905116672 true 154    107    2910654464
eca-rers2012/Problem02_label01_true-unreach-call_false-termination.c true 37.8  21.4  858185728 timeout (error (143)) 301    261    2928439296 true 136    87.9  2120151040 true 168    111    3045236736 true 166    110    3033755648
eca-rers2012/Problem02_label02_true-unreach-call_false-termination.c true 26.7  15.3  850972672 timeout (error (143)) 301    261    2954670080 true 93.4  56.3  1453436928 true 147    95.8  2757394432 true 140    92.2  2765152256
eca-rers2012/Problem02_label03_true-unreach-call_false-termination.c true 47.8  27.9  1253310464 timeout (error (143)) 303    267    2899075072 true 69.9  41.3  1233833984 true 96.2  59.3  1783541760 true 90.9  56.6  1796694016
eca-rers2012/Problem02_label04_true-unreach-call_false-termination.c true 47.9  28.4  1069961216 timeout (error (143)) 301    241    2961903616 true 87.6  51.4  1426710528 true 219    149    2891612160 true 216    148    2921668608
eca-rers2012/Problem02_label05_true-unreach-call_false-termination.c true 52.7  30.6  1045798912 timeout (error (143)) 301    255    2902863872 true 88.6  52.4  1357393920 true 177    113    3208908800 true 175    113    2993537024
eca-rers2012/Problem02_label06_true-unreach-call_false-termination.c true 65.0  37.7  1166315520 timeout (error (143)) 301    267    2908405760 true 157    106    2836701184 true 216    147    3246469120 true 207    143    3309248512
eca-rers2012/Problem02_label07_true-unreach-call_false-termination.c true 44.3  25.6  1012613120 timeout (error (143)) 301    258    2962051072 true 68.3  39.9  1266094080 true 99.5  62.3  2109427712 true 107    65.8  2063818752
eca-rers2012/Problem02_label08_true-unreach-call_false-termination.c true 39.5  22.9  946900992 timeout (error (143)) 300    271    2911154176 true 62.7  37.6  1182076928 true 68.3  40.4  1220325376 true 73.2  42.8  1184620544
eca-rers2012/Problem02_label09_true-unreach-call_false-termination.c true 34.1  19.9  863186944 timeout (error (143)) 302    261    2944655360 true 110    66.4  1747697664 true 136    86.6  2650869760 true 142    89.0  2487742464
eca-rers2012/Problem02_label10_true-unreach-call_false-termination.c true 36.0  20.9  882425856 timeout (error (143)) 301    254    2950287360 true 102    62.3  1851551744 true 149    97.9  2840367104 true 147    97.4  2833285120
eca-rers2012/Problem02_label11_true-unreach-call_false-termination.c true 32.2  18.6  863670272 timeout (error (143)) 301    260    2960945152 true 103    62.2  1517428736 true 151    96.0  2850234368 true 142    91.0  2880798720
eca-rers2012/Problem02_label12_true-unreach-call_false-termination.c true 28.7  16.4  845033472 timeout (error (143)) 301    260    2925277184 true 105    63.9  1789865984 true 149    94.7  2611335168 true 149    94.4  2776072192
eca-rers2012/Problem02_label14_true-unreach-call_false-termination.c true 64.9  38.0  1192333312 timeout (error (143)) 301    244    2919317504 true 86.2  50.9  1400995840 true 140    84.5  2173120512 true 127    78.5  2204282880
eca-rers2012/Problem02_label17_true-unreach-call_false-termination.c true 31.6  18.2  841101312 timeout (error (143)) 301    263    2962657280 true 99.4  60.4  1748738048 true 200    134    2899963904 true 204    135    2899677184
eca-rers2012/Problem02_label18_true-unreach-call_false-termination.c true 35.7  20.4  859717632 timeout (error (143)) 301    267    2909855744 true 62.2  37.8  1213825024 true 68.0  40.3  1206517760 true 69.7  41.3  1214910464
eca-rers2012/Problem02_label19_true-unreach-call_false-termination.c true 59.4  34.3  1099464704 timeout (error (143)) 301    265    2925182976 true 135    85.9  2195070976 true 220    154    3117506560 true 208    147    3046367232
eca-rers2012/Problem02_label20_true-unreach-call_false-termination.c true 59.6  34.1  1004630016 timeout (error (143)) 300    255    2958491648 true 94.6  55.6  1415356416 true 148    90.9  2496372736 true 131    83.1  2552221696
eca-rers2012/Problem02_label21_true-unreach-call_false-termination.c true 59.9  33.9  1021153280 timeout (error (143)) 301    270    2906927104 true 92.1  54.4  1450614784 true 145    94.0  2847653888 true 149    95.4  2886873088
eca-rers2012/Problem02_label22_true-unreach-call_false-termination.c true 60.5  34.7  1043750912 timeout (error (143)) 301    257    2932514816 true 108    63.0  1449500672 true 129    82.4  2388525056 true 131    83.7  2371604480
eca-rers2012/Problem02_label23_true-unreach-call_false-termination.c true 52.2  31.2  1192431616 timeout (error (143)) 301    261    2928734208 true 93.7  56.1  1482006528 true 181    120    2951921664 true 189    124    3215859712
eca-rers2012/Problem02_label24_true-unreach-call_false-termination.c true 51.0  29.9  1195249664 timeout (error (143)) 301    262    2895147008 true 101    61.4  1787985920 true 142    93.6  2781290496 true 149    96.8  2774200320
eca-rers2012/Problem02_label25_true-unreach-call_false-termination.c true 51.8  30.0  1006751744 timeout (error (143)) 301    258    2975301632 true 140    82.6  1929838592 true 167    107    2765983744 true 158    102    2775953408
eca-rers2012/Problem02_label26_true-unreach-call_false-termination.c true 68.0  38.2  1043959808 timeout (error (143)) 301    255    2962608128 true 127    75.9  2024316928 true 186    116    2845552640 true 200    123    3053600768
eca-rers2012/Problem02_label27_true-unreach-call_false-termination.c true 54.9  31.2  1015693312 timeout (error (143)) 302    268    2880684032 true 69.6  41.2  1265487872 true 120    77.4  2430050304 true 117    76.0  2432614400
eca-rers2012/Problem02_label28_true-unreach-call_false-termination.c true 51.5  29.3  991854592 timeout (error (143)) 301    259    2958192640 true 149    93.9  2425806848 true 165    103    2905751552 true 167    104    2884534272
eca-rers2012/Problem02_label29_true-unreach-call_false-termination.c true 32.8  18.9  870457344 timeout (error (143)) 301    243    2954379264 true 90.6  55.6  1806467072 true 139    89.4  2933886976 true 145    92.6  2906955776
eca-rers2012/Problem02_label30_true-unreach-call_false-termination.c true 34.3  20.3  900292608 timeout (error (143)) 301    259    2963001344 true 113    68.3  1911713792 true 152    99.4  3045818368 true 157    102    2997297152
eca-rers2012/Problem02_label31_true-unreach-call_false-termination.c true 38.4  22.3  861003776 timeout (error (143)) 301    258    2924564480 true 97.6  62.1  1833385984 true 175    119    3080298496 true 174    118    3069026304
eca-rers2012/Problem02_label32_true-unreach-call_false-termination.c true 36.1  21.2  874074112 timeout (error (143)) 301    260    2948096000 true 116    72.9  2009366528 true 157    106    2943635456 true 174    115    2932731904
eca-rers2012/Problem02_label33_true-unreach-call_false-termination.c true 50.3  29.9  1136844800 timeout (error (143)) 301    262    2917703680 true 85.6  51.4  1489752064 true 136    89.5  2869739520 true 132    87.5  2825437184
eca-rers2012/Problem02_label34_true-unreach-call_false-termination.c true 34.9  20.2  858562560 timeout (error (143)) 301    258    2955649024 true 142    91.5  2279174144 true 180    122    2919624704 true 190    127    2927194112
eca-rers2012/Problem02_label35_true-unreach-call_false-termination.c true 31.9  18.5  868352000 timeout (error (143)) 301    260    2946580480 true 101    60.9  1672962048 true 112    71.7  2342465536 true 113    73.7  2114125824
eca-rers2012/Problem02_label36_true-unreach-call_false-termination.c true 33.2  19.5  902750208 timeout (error (143)) 301    225    2963234816 true 154    98.0  2657042432 true 179    120    3025723392 true 185    122    2946719744
eca-rers2012/Problem02_label39_true-unreach-call_false-termination.c true 65.3  37.4  1188651008 timeout (error (143)) 301    246    2890956800 true 120    75.5  1728860160 true 165    103    2791710720 true 182    111    2857431040
eca-rers2012/Problem02_label40_true-unreach-call_false-termination.c true 56.4  33.0  1077551104 timeout (error (143)) 301    233    2958032896 true 121    76.1  1846456320 true 186    120    2813472768 true 171    113    2812612608
eca-rers2012/Problem02_label41_true-unreach-call_false-termination.c true 29.6  16.9  849268736 timeout (error (143)) 301    265    2924433408 true 88.9  53.9  1426325504 true 115    73.6  2286510080 true 117    74.0  2244730880
eca-rers2012/Problem02_label42_true-unreach-call_false-termination.c true 43.9  26.0  1007783936 timeout (error (143)) 301    260    2948935680 true 68.9  39.1  1210540032 true 81.3  47.5  1499914240 true 77.5  45.7  1473409024
eca-rers2012/Problem02_label46_true-unreach-call_false-termination.c true 41.3  24.6  1017171968 timeout (error (143)) 301    258    2958925824 true 65.2  36.4  1191342080 true 73.0  42.1  1344294912 true 74.5  42.7  1437777920
eca-rers2012/Problem02_label47_true-unreach-call_false-termination.c true 31.4  18.1  850948096 timeout (error (143)) 301    267    2893123584 true 107    66.6  1615376384 true 143    88.8  2564284416 true 152    93.5  2513907712
eca-rers2012/Problem02_label48_true-unreach-call_false-termination.c true 38.5  22.4  962904064 timeout (error (143)) 300    270    2912497664 true 84.7  48.9  1392852992 true 94.1  55.7  1615581184 true 88.8  53.4  1510281216
eca-rers2012/Problem02_label49_true-unreach-call_false-termination.c true 59.3  35.8  1335525376 timeout (error (143)) 301    256    2930102272 true 111    69.9  1741713408 true 197    131    3171934208 true 205    134    3160113152
eca-rers2012/Problem02_label51_true-unreach-call_false-termination.c true 28.8  16.4  843186176 timeout (error (143)) 301    249    2894782464 true 78.0  46.7  1274691584 true 116    74.0  2104311808 true 122    77.3  2216906752
eca-rers2012/Problem02_label52_true-unreach-call_false-termination.c true 28.4  16.3  904425472 timeout (error (143)) 301    258    2943066112 true 107    68.0  2022363136 true 227    154    2938486784 true 208    145    2933878784
eca-rers2012/Problem02_label53_true-unreach-call_false-termination.c true 50.6  29.4  999129088 timeout (error (143)) 301    261    2907848704 true 82.2  48.8  1406902272 true 96.3  56.8  1506885632 true 88.2  53.2  1444917248
eca-rers2012/Problem02_label54_true-unreach-call_false-termination.c true 48.4  28.6  999272448 timeout (error (143)) 301    272    2912075776 true 74.7  42.7  1247838208 true 83.4  49.0  1497518080 true 81.3  47.9  1486843904
eca-rers2012/Problem02_label55_true-unreach-call_false-termination.c true 40.0  22.4  860282880 timeout (error (143)) 301    269    2909270016 true 118    73.9  1750978560 true 160    105    2853130240 true 174    111    2694311936
eca-rers2012/Problem02_label56_true-unreach-call_false-termination.c true 54.9  31.1  1009893376 timeout (error (143)) 301    268    2910269440 true 73.3  43.3  1229004800 true 94.6  55.1  1445441536 true 92.8  54.5  1475256320
eca-rers2012/Problem02_label57_true-unreach-call_false-termination.c true 46.7  27.3  1013788672 timeout (error (143)) 301    263    2951352320 true 70.4  41.3  1252388864 true 95.5  61.3  2030096384 true 102    64.2  1965084672
eca-rers2012/Problem03_label01_true-unreach-call.c timeout 322    211    7669252096 timeout (error (143)) 301    280    2886459392 timeout (error (143)) 302    221    4328677376 timeout (error (143)) 301    256    3172466688 timeout (error (143)) 302    234    3923767296
eca-rers2012/Problem03_label04_true-unreach-call.c timeout 321    214    8000000000 timeout (error (143)) 302    283    2878140416 timeout (error (143)) 301    219    4420648960 timeout (error (143)) 301    255    3128565760 timeout (error (143)) 301    231    4431872000
eca-rers2012/Problem03_label08_true-unreach-call.c timeout (error (143)) 302    198    6561828864 timeout (error (143)) 302    280    2889846784 true 251    181    3359653888 timeout (error (143)) 301    254    3140583424 timeout (error (143)) 302    228    3828649984
eca-rers2012/Problem03_label10_true-unreach-call.c true 159    111    3989307392 timeout (error (143)) 301    278    2893066240 timeout (error (143)) 301    218    4290158592 timeout (error (143)) 306    263    3094245376 timeout (error (143)) 301    236    3974164480
eca-rers2012/Problem03_label11_true-unreach-call.c timeout 322    210    7276314624 timeout (error (143)) 302    272    2912239616 timeout (error (143)) 301    217    4466634752 timeout (error (143)) 306    259    3056861184 timeout (error (143)) 302    213    4243419136
eca-rers2012/Problem03_label15_true-unreach-call.c out of memory 298    216    8000000000 timeout (error (143)) 303    278    2901364736 timeout (error (143)) 301    222    4276678656 timeout (error (143)) 303    258    3134390272 timeout (error (143)) 301    229    3945431040
eca-rers2012/Problem03_label20_true-unreach-call.c timeout 322    214    6126878720 timeout (error (143)) 304    281    2886348800 timeout (error (143)) 301    215    4256616448 timeout (error (143)) 306    261    3019816960 timeout (error (143)) 302    218    4108746752
eca-rers2012/Problem03_label22_true-unreach-call.c true 187    139    3943350272 timeout (error (143)) 303    273    2915295232 timeout (error (143)) 303    215    4653527040 timeout (error (143)) 301    256    3073052672 timeout (error (143)) 300    226    4122439680
eca-rers2012/Problem03_label25_true-unreach-call.c timeout 322    213    7711318016 timeout (error (143)) 303    267    2970296320 timeout (error (143)) 301    210    4751192064 timeout (error (143)) 302    256    3064668160 timeout (error (143)) 300    219    4383211520
eca-rers2012/Problem03_label29_true-unreach-call.c timeout (error (143)) 306    194    7890747392 timeout (error (143)) 301    280    2886406144 true 278    200    4048969728 timeout (error (143)) 300    257    3139305472 true 296    222    3703713792
eca-rers2012/Problem03_label30_true-unreach-call.c true 160    114    2972614656 timeout (error (143)) 302    275    2895585280 timeout (error (143)) 301    215    4570107904 timeout (error (143)) 306    260    3199369216 timeout (error (143)) 300    238    3967807488
eca-rers2012/Problem03_label32_true-unreach-call.c true 105    66.3  2488504320 timeout (error (143)) 302    278    2900934656 true 146    92.2  3076169728 timeout (error (143)) 306    261    3034132480 true 268    187    3449626624
eca-rers2012/Problem03_label33_true-unreach-call.c timeout 303    214    8000000000 timeout (error (143)) 303    282    2884374528 true 229    163    3561472000 timeout (error (143)) 302    255    3133251584 timeout (error (143)) 301    234    3934257152
eca-rers2012/Problem03_label36_true-unreach-call.c out of memory 272    198    8000000000 timeout (error (143)) 303    280    2879569920 true 171    111    3315167232 timeout (error (143)) 301    258    3091517440 true 227    164    3412176896
eca-rers2012/Problem03_label40_true-unreach-call.c true 85.4  51.7  1582972928 timeout (error (143)) 302    276    2900205568 true 152    106    3268059136 timeout (error (143)) 306    262    3171168256 true 213    160    3509936128
eca-rers2012/Problem03_label41_true-unreach-call.c timeout 322    215    7272988672 timeout (error (143)) 301    277    2893901824 timeout (error (143)) 306    222    4387418112 timeout (error (143)) 301    258    3157712896 timeout (error (143)) 301    243    4140691456
eca-rers2012/Problem03_label42_true-unreach-call.c true 129    86.4  3500179456 timeout (error (143)) 301    279    2889486336 timeout (error (143)) 301    224    4357951488 timeout (error (143)) 301    258    3163787264 timeout (error (143)) 300    235    4013506560
eca-rers2012/Problem03_label47_true-unreach-call.c timeout 322    208    7159382016 timeout (error (143)) 302    280    2886991872 timeout (error (143)) 301    212    4692316160 timeout (error (143)) 303    259    3176546304 timeout (error (143)) 300    234    3873144832
eca-rers2012/Problem03_label48_true-unreach-call.c true 212    160    3714498560 timeout (error (143)) 304    279    2890526720 timeout (error (143)) 311    215    5315874816 timeout (error (143)) 301    257    3067645952 timeout (error (143)) 303    228    4195037184
eca-rers2012/Problem03_label56_true-unreach-call.c timeout (error (143)) 304    200    7886618624 timeout (error (143)) 302    279    2884366336 true 197    132    3045597184 timeout (error (143)) 305    258    3097739264 true 299    218    3711578112
eca-rers2012/Problem03_label57_true-unreach-call.c true 163    112    4224827392 timeout (error (143)) 306    279    2891177984 timeout (error (143)) 320    224    5717127168 timeout (error (143)) 301    261    3069186048 timeout (error (143)) 301    225    4510363648
eca-rers2012/Problem03_label59_true-unreach-call.c timeout 303    212    8000000000 timeout (error (143)) 302    280    2881753088 timeout (error (143)) 301    221    4474159104 timeout (error (143)) 301    255    3151253504 timeout (error (143)) 301    232    3759312896
eca-rers2012/Problem04_label03_true-unreach-call.c timeout (error: exception) 306    222    4144537600 timeout (error (143)) 302    258    2977579008 timeout (error (143)) 302    230    4342669312 timeout (error (143)) 301    233    4399964160 timeout (error (143)) 301    228    4385525760
eca-rers2012/Problem04_label05_true-unreach-call.c true 269    194    4157972480 timeout (error (143)) 302    261    2978177024 timeout (error (143)) 301    223    4388708352 timeout (error (143)) 301    233    4445868032 timeout (error (143)) 301    223    4468518912
eca-rers2012/Problem04_label08_true-unreach-call.c true 266    191    4410462208 timeout (error (143)) 301    241    2991353856 timeout (error (143)) 301    224    4237467648 timeout (error (143)) 303    233    4368093184 timeout (error (143)) 301    225    4431347712
eca-rers2012/Problem04_label16_true-unreach-call.c true 216    156    4143017984 timeout (error (143)) 302    264    2970300416 timeout (error (143)) 301    234    4344881152 timeout (error (143)) 300    237    4317364224 timeout (error (143)) 303    222    4333510656
eca-rers2012/Problem04_label20_true-unreach-call_false-termination.c true 236    170    3871039488 timeout (error (143)) 303    257    2978643968 timeout (error (143)) 300    223    4373639168 timeout (error (143)) 301    236    4044259328 timeout (error (143)) 301    223    4400173056
eca-rers2012/Problem04_label22_true-unreach-call.c true 244    177    3931906048 timeout (error (143)) 301    247    2984718336 timeout (error (143)) 301    232    4311056384 timeout (error (143)) 301    231    4280020992 timeout (error (143)) 301    228    4399124480
eca-rers2012/Problem04_label25_true-unreach-call.c true 284    204    4561543168 timeout (error (143)) 301    244    2985107456 timeout (error (143)) 301    232    4477210624 timeout (error (143)) 301    232    4303663104 timeout (error (143)) 301    234    4422029312
eca-rers2012/Problem04_label29_true-unreach-call_false-termination.c true 200    137    3571355648 timeout (error (143)) 302    260    2981298176 timeout (error (143)) 301    234    4401778688 timeout (error (143)) 303    235    4472287232 timeout (error (143)) 301    227    4449325056
eca-rers2012/Problem04_label33_true-unreach-call.c true 180    120    3731378176 timeout (error (143)) 301    246    2975862784 timeout (error (143)) 301    229    4387602432 timeout (error (143)) 306    236    4445093888 timeout (error (143)) 303    231    4325257216
eca-rers2012/Problem04_label41_true-unreach-call.c true 253    186    4136456192 timeout (error (143)) 303    254    2987384832 timeout (error (143)) 301    232    4355915776 timeout (error (143)) 301    235    4190736384 timeout (error (143)) 301    222    4377165824
eca-rers2012/Problem04_label44_true-unreach-call_false-termination.c true 259    187    3636199424 timeout (error (143)) 302    261    2983424000 timeout (error (143)) 301    226    4368289792 timeout (error (143)) 300    234    4357701632 timeout (error (143)) 301    225    4360265728
eca-rers2012/Problem04_label57_true-unreach-call_false-termination.c true 290    216    4256460800 timeout (error (143)) 302    263    2972135424 timeout (error (143)) 301    233    4304453632 timeout (error (143)) 310    241    4379115520 timeout (error (143)) 301    231    4388302848
eca-rers2012/Problem04_label59_true-unreach-call.c true 209    146    4190195712 timeout (error (143)) 302    259    2973216768 true 299    208    4199784448 timeout (error (143)) 302    219    4088762368 timeout (error (143)) 302    213    4317089792
eca-rers2012/Problem05_label10_true-unreach-call.c timeout (error (143)) 301    218    4681347072 timeout (error (143)) 303    229    3195047936 timeout (error (143)) 302    221    3929665536 timeout (error (143)) 302    214    4158324736 timeout 322    222    4352270336
eca-rers2012/Problem05_label49_true-unreach-call.c timeout (error (143)) 302    222    4914065408 timeout (error (143)) 308    237    3122806784 timeout (error (143)) 301    217    4048777216 timeout 322    229    4431007744 timeout (error (143)) 300    218    4456304640
eca-rers2012/Problem06_label52_true-unreach-call.c timeout 322    223    5805289472 timeout (error (143)) 302    259    3004387328 timeout (error (143)) 301    230    4112683008 timeout (error (143)) 306    251    3062304768 timeout (error (143)) 301    238    4129771520
eca-rers2012/Problem08_label00_true-unreach-call.c timeout (error (143)) 306    224    5248962560 timeout (error: exception) 302    237    4741931008 timeout (error (143)) 306    234    4817653760 timeout (error (143)) 306    233    5414215680 timeout (error (143)) 306    230    5188300800
eca-rers2012/Problem08_label03_true-unreach-call.c timeout (error (143)) 308    233    4833972224 timeout (error: exception) 305    244    4740521984 timeout (error (143)) 306    243    4785524736 timeout (error (143)) 306    231    4812812288 timeout (error (143)) 306    237    4829511680
eca-rers2012/Problem08_label16_true-unreach-call.c timeout (error: exception) 304    224    5211185152 timeout (error (143)) 306    242    4740509696 timeout (error (143)) 320    228    5839446016 timeout (error: exception) 304    243    4744921088 timeout (error: exception) 306    241    4777910272
eca-rers2012/Problem08_label17_true-unreach-call.c timeout (error (143)) 305    229    5281001472 timeout (error (143)) 306    234    4875309056 timeout (error: exception) 304    243    4755365888 timeout (error (143)) 306    234    4848078848 timeout (error (143)) 306    234    4876689408
eca-rers2012/Problem08_label18_true-unreach-call.c timeout (error (143)) 305    228    5270097920 timeout (error: exception) 301    238    4744486912 timeout (error (143)) 306    241    4805009408 timeout (error (143)) 306    239    4985171968 timeout (error (143)) 306    232    4882141184
eca-rers2012/Problem08_label39_true-unreach-call.c timeout (error (143)) 306    240    4842733568 timeout (error (143)) 306    234    4828786688 timeout (error (143)) 306    232    4825722880 timeout (error: exception) 304    244    4751065088 timeout (error (143)) 306    242    4749320192
eca-rers2012/Problem08_label44_true-unreach-call.c timeout (error (143)) 308    235    4826542080 timeout (error (143)) 308    225    5717819392 timeout 322    252    5522960384 timeout (error (143)) 306    243    4741177344 timeout (error (143)) 306    243    4982984704
eca-rers2012/Problem08_label53_true-unreach-call.c timeout (error (143)) 305    224    5264470016 timeout (error (143)) 306    235    5409427456 timeout (error (143)) 305    231    4844290048 timeout (error: exception) 302    243    5053726720 timeout (error (143)) 306    235    5398908928
eca-rers2012/Problem08_label57_true-unreach-call.c timeout (error (143)) 305    227    5254311936 timeout (error (143)) 306    239    4775571456 timeout (error (143)) 313    225    5802631168 timeout (error (143)) 306    235    4831014912 timeout (error: exception) 305    243    4749856768
eca-rers2012/Problem08_label58_true-unreach-call.c timeout (error (143)) 306    231    4920807424 timeout (error (143)) 306    234    4814594048 timeout (error (143)) 306    242    4780105728 timeout (error: exception) 305    245    4731629568 timeout (error (143)) 306    244    4750675968
eca-rers2012/Problem09_label01_true-unreach-call.c timeout (error (143)) 306    231    5569708032 timeout 322    236    6063779840 timeout (error (143)) 306    243    5131821056 timeout (error (143)) 320    234    5874253824 timeout (error (143)) 306    242    5046759424
eca-rers2012/Problem09_label04_true-unreach-call.c timeout (error (143)) 306    235    4884983808 timeout (error (143)) 306    246    5258498048 timeout (error (143)) 306    241    5142949888 timeout 322    236    6280953856 timeout (error (143)) 302    224    6143664128
eca-rers2012/Problem09_label05_true-unreach-call.c timeout (error (143)) 306    233    4834263040 timeout (error (143)) 306    246    4902137856 timeout (error (143)) 307    227    5957124096 timeout 322    235    6852304896 timeout (error (143)) 306    237    5151621120
eca-rers2012/Problem09_label09_true-unreach-call.c timeout (error (143)) 306    234    4883968000 timeout (error (143)) 307    241    5195755520 timeout (error (143)) 306    241    5157777408 timeout 322    235    6113587200 timeout 320    234    6297092096
eca-rers2012/Problem09_label12_true-unreach-call.c timeout (error (143)) 306    233    5495529472 timeout (error (143)) 306    243    4847075328 timeout (error (143)) 310    229    6016294912 timeout 321    235    6051381248 timeout (error (143)) 306    242    4839092224
eca-rers2012/Problem09_label13_true-unreach-call.c timeout (error (143)) 306    235    4867325952 timeout (error (143)) 309    229    5957525504 timeout (error (143)) 306    245    5134532608 timeout 322    234    6282686464 timeout (error (143)) 312    239    5938028544
eca-rers2012/Problem09_label14_true-unreach-call.c timeout (error (143)) 306    231    5496508416 timeout (error (143)) 306    243    5080973312 timeout 322    235    6301904896 timeout (error (143)) 306    250    5020688384 timeout (error (143)) 306    241    5020258304
eca-rers2012/Problem09_label16_true-unreach-call.c timeout (error (143)) 305    224    5494185984 timeout (error (143)) 306    241    4834013184 timeout 322    237    6284513280 timeout (error (143)) 307    240    5088374784 timeout (error (143)) 306    246    4997431296
eca-rers2012/Problem09_label18_true-unreach-call.c timeout (error (143)) 306    233    5134540800 timeout (error (143)) 306    251    4916224000 timeout 322    236    6299533312 timeout (error (143)) 306    243    5117870080 timeout (error (143)) 306    246    5133434880
eca-rers2012/Problem09_label21_true-unreach-call.c timeout (error (143)) 306    231    5172363264 timeout 321    235    6734131200 timeout (error (143)) 306    242    5045149696 timeout (error (143)) 306    245    5163569152 timeout (error (143)) 306    239    5152428032
eca-rers2012/Problem09_label22_true-unreach-call.c timeout (error (143)) 305    230    5127249920 timeout (error (143)) 309    228    6149206016 timeout 321    236    6302625792 timeout (error (143)) 306    241    5027946496 timeout 322    236    6042583040
eca-rers2012/Problem09_label25_true-unreach-call.c timeout (error (143)) 306    236    4883996672 timeout 322    235    6830342144 timeout (error (143)) 306    245    5189439488 timeout 322    253    5400354816 timeout (error (143)) 306    245    5071818752
eca-rers2012/Problem09_label26_true-unreach-call.c timeout (error (143)) 306    228    5143588864 timeout (error: exception) 301    250    4831461376 timeout (error (143)) 306    241    4846174208 timeout 322    234    6863200256 timeout (error: exception) 304    239    5069180928
eca-rers2012/Problem09_label27_true-unreach-call.c timeout (error (143)) 306    227    5569376256 timeout 322    241    6151864320 timeout 321    236    6866509824 timeout (error (143)) 311    230    6277550080 timeout 321    236    6119665664
eca-rers2012/Problem09_label29_true-unreach-call.c timeout (error (143)) 305    232    5140807680 timeout 322    236    6293364736 timeout (error (143)) 306    239    5069926400 timeout 322    235    6132502528 timeout 321    236    6157750272
eca-rers2012/Problem09_label30_true-unreach-call.c timeout (error (143)) 305    226    5561667584 timeout (error (143)) 306    239    4850229248 timeout 322    236    6078689280 timeout (error (143)) 306    244    5146841088 timeout 321    235    6851584000
eca-rers2012/Problem09_label31_true-unreach-call.c timeout (error (143)) 306    231    5162893312 timeout (error (143)) 321    236    6445490176 timeout (error (143)) 306    241    4812488704 timeout (error (143)) 307    229    6162399232 timeout 321    253    5302665216
eca-rers2012/Problem09_label33_true-unreach-call.c timeout (error (143)) 305    230    5105725440 timeout 322    236    6035435520 timeout (error (143)) 316    233    6274576384 timeout 322    239    6639173632 timeout 322    235    6870372352
eca-rers2012/Problem09_label37_true-unreach-call.c timeout (error (143)) 306    237    4869976064 timeout (error (143)) 306    243    4858372096 timeout (error (143)) 306    252    4958023680 timeout (error (143)) 306    244    4822265856 timeout 322    235    6858645504
eca-rers2012/Problem09_label40_true-unreach-call.c timeout (error (143)) 306    223    5498265600 timeout 322    242    5710786560 timeout (error (143)) 319    253    5212917760 timeout (error (143)) 306    242    4713238528 timeout (error (143)) 320    235    6352695296
eca-rers2012/Problem09_label42_true-unreach-call.c timeout (error (143)) 306    234    5182812160 timeout (error (143)) 311    234    5944188928 timeout 322    235    6864863232 timeout (error: exception) 308    233    5352194048 timeout 322    237    6213296128
eca-rers2012/Problem09_label43_true-unreach-call.c timeout (error (143)) 305    229    5550379008 timeout 322    237    6263627776 timeout (error: exception) 304    249    4928532480 timeout 322    236    6369492992 timeout (error (143)) 306    244    5168730112
eca-rers2012/Problem09_label45_true-unreach-call.c timeout (error (143)) 305    226    5561925632 timeout (error (143)) 310    230    6204399616 timeout 322    235    6283522048 timeout (error (143)) 306    245    5030260736 timeout 322    235    6858371072
eca-rers2012/Problem09_label49_true-unreach-call.c timeout (error (143)) 306    237    4885569536 timeout 322    236    6275686400 timeout (error (143)) 306    239    4820410368 timeout 322    235    6368292864 timeout (error (143)) 315    232    6100434944
eca-rers2012/Problem09_label50_true-unreach-call.c timeout (error (143)) 305    229    5495808000 timeout 322    236    6288719872 timeout 321    235    5862309888 timeout 322    235    6587146240 timeout (error (143)) 306    239    5185400832
eca-rers2012/Problem09_label52_true-unreach-call.c timeout (error (143)) 306    235    5129203712 timeout (error (143)) 306    240    4845469696 timeout 321    237    6865633280 timeout 322    236    6503063552 timeout 320    235    5881872384
eca-rers2012/Problem09_label55_true-unreach-call.c timeout (error (143)) 305    229    5501333504 timeout 322    235    6354399232 timeout (error (143)) 306    239    5113720832 timeout 322    236    6069317632 timeout (error (143)) 311    231    6163988480
eca-rers2012/Problem09_label58_true-unreach-call.c timeout (error (143)) 306    237    5131681792 timeout 322    236    6288744448 timeout (error (143)) 309    229    6153293824 timeout (error (143)) 320    235    6280216576 timeout (error (143)) 306    241    4842991616
eca-rers2012/Problem10_label00_true-unreach-call.c true 58.2  35.0  1178464256 timeout (error (143)) 301    229    3021905920 true 121    76.1  2932334592 timeout (error (143)) 305    268    2973548544 true 153    95.2  3184287744
eca-rers2012/Problem10_label01_true-unreach-call.c true 55.0  33.3  1206419456 timeout (error (143)) 301    234    3021594624 true 138    90.0  2997329920 timeout (error (143)) 301    267    2897924096 true 163    103    3511566336
eca-rers2012/Problem10_label02_true-unreach-call.c true 47.6  27.9  1000267776 timeout (error (143)) 300    231    3011420160 true 140    92.4  2985304064 timeout (error (143)) 302    267    2895785984 true 160    98.9  2991587328
eca-rers2012/Problem10_label03_true-unreach-call.c true 22.9  13.4  750952448 timeout (error (143)) 301    240    3012431872 true 74.0  44.3  1610813440 timeout (error (143)) 305    272    2947715072 true 132    84.9  3030016000
eca-rers2012/Problem10_label07_true-unreach-call.c true 57.3  35.1  1206353920 timeout (error (143)) 301    246    3047526400 true 130    91.1  3059875840 timeout (error (143)) 305    275    2901553152 true 200    133    3024941056
eca-rers2012/Problem10_label08_true-unreach-call.c true 30.4  17.7  891445248 timeout (error (143)) 302    250    3055820800 true 149    106    3094921216 timeout (error (143)) 305    274    2924658688 true 199    133    3033448448
eca-rers2012/Problem10_label11_true-unreach-call.c true 51.6  29.8  1038479360 timeout (error (143)) 301    247    3040333824 true 201    145    2974527488 timeout (error (143)) 305    269    2939326464 true 286    204    3891257344
eca-rers2012/Problem10_label13_true-unreach-call.c true 34.4  20.2  853630976 timeout (error (143)) 301    243    3026100224 true 203    148    3007258624 timeout (error (143)) 305    269    2938658816 true 268    191    3173961728
eca-rers2012/Problem10_label14_true-unreach-call.c true 70.2  44.5  1341837312 timeout (error (143)) 301    248    3037847552 true 183    129    2963156992 timeout (error (143)) 305    267    2942312448 true 276    193    3770294272
eca-rers2012/Problem10_label16_true-unreach-call.c true 56.5  33.5  1188323328 timeout (error (143)) 301    240    3033477120 true 160    111    3092017152 timeout (error (143)) 305    266    2942750720 true 179    113    3100884992
eca-rers2012/Problem10_label18_true-unreach-call.c true 55.7  33.3  1189699584 timeout (error (143)) 302    243    3045965824 true 142    100    3034497024 timeout (error (143)) 306    274    2885173248 true 120    74.9  2792394752
eca-rers2012/Problem10_label19_true-unreach-call.c true 31.0  18.3  841433088 timeout (error (143)) 301    241    3033792512 true 106    61.8  2279084032 timeout (error (143)) 305    269    2928291840 true 189    122    3055001600
eca-rers2012/Problem10_label20_true-unreach-call.c true 48.1  28.2  1104269312 timeout (error (143)) 301    231    2999078912 true 111    67.6  2933551104 timeout (error (143)) 305    267    2941419520 true 140    87.4  2664144896
eca-rers2012/Problem10_label21_true-unreach-call.c true 44.8  26.2  1030574080 timeout (error (143)) 301    240    3069575168 true 114    69.1  2901913600 timeout (error (143)) 305    268    2919288832 true 145    89.4  2491797504
eca-rers2012/Problem10_label22_true-unreach-call.c true 41.8  24.6  1036472320 timeout (error (143)) 301    238    3008024576 true 151    103    2994098176 timeout (error (143)) 306    270    2882523136 true 179    119    2945601536
eca-rers2012/Problem10_label23_true-unreach-call.c true 57.4  34.1  1193619456 timeout (error (143)) 301    228    3046191104 true 222    154    2869235712 timeout (error (143)) 305    266    2936803328 true 283    200    3680575488
eca-rers2012/Problem10_label25_true-unreach-call.c true 76.8  46.3  1360015360 timeout (error (143)) 300    227    2980384768 true 207    147    2930479104 timeout (error (143)) 306    255    3008397312 true 242    165    2874621952
eca-rers2012/Problem10_label27_true-unreach-call.c true 60.5  35.4  1195720704 timeout (error (143)) 301    235    2986737664 true 116    78.0  2984603648 timeout (error (143)) 305    273    2932928512 true 178    113    3074871296
eca-rers2012/Problem10_label30_true-unreach-call.c true 46.7  27.1  1056223232 timeout (error (143)) 302    243    3030339584 true 153    101    2926276608 timeout (error (143)) 305    268    2939248640 true 200    131    2753314816
eca-rers2012/Problem10_label31_true-unreach-call.c true 42.9  25.2  1049755648 timeout (error (143)) 300    225    3024908288 true 99.4  66.6  2994409472 timeout (error (143)) 305    276    2904772608 true 154    100    3151466496
eca-rers2012/Problem10_label33_true-unreach-call.c true 29.4  17.5  848814080 timeout (error (143)) 306    236    3034132480 true 107    71.3  3003408384 timeout (error (143)) 302    270    2903326720 true 157    107    3632488448
eca-rers2012/Problem10_label34_true-unreach-call.c true 37.6  22.7  1083326464 timeout (error (143)) 302    241    3018309632 true 128    83.7  2994094080 timeout (error (143)) 305    275    2905272320 true 132    81.5  3060789248
eca-rers2012/Problem10_label35_true-unreach-call.c true 73.9  41.5  1169678336 timeout (error (143)) 301    244    3034288128 true 51.4  30.0  1051394048 timeout (error (143)) 305    268    2937245696 true 187    121    3125895168
eca-rers2012/Problem10_label36_true-unreach-call.c true 34.2  20.0  853426176 timeout (error (143)) 301    246    3032727552 true 47.9  28.6  1056137216 timeout (error (143)) 305    271    2943135744 true 199    129    3662139392
eca-rers2012/Problem10_label37_true-unreach-call.c true 52.1  31.0  1016705024 timeout (error (143)) 306    237    2989023232 true 98.7  59.7  2868920320 timeout (error (143)) 302    267    2915901440 true 132    80.3  2778750976
eca-rers2012/Problem10_label38_true-unreach-call.c true 55.6  31.2  1028689920 timeout (error (143)) 301    238    3053600768 true 147    100    3010420736 timeout (error (143)) 306    271    2989617152 true 136    81.0  2868690944
eca-rers2012/Problem10_label39_true-unreach-call.c true 44.2  26.0  1003474944 timeout (error (143)) 301    238    2986016768 true 112    74.1  2941734912 timeout (error (143)) 305    272    2930110464 true 114    70.6  2275106816
eca-rers2012/Problem10_label40_true-unreach-call.c true 51.1  30.4  1291853824 timeout (error (143)) 301    246    3027374080 true 45.6  26.9  1092743168 true 53.5  30.7  1070362624 true 47.9  27.7  1037484032
eca-rers2012/Problem10_label43_true-unreach-call.c true 41.8  24.6  1034432512 timeout (error (143)) 301    248    2997547008 true 76.8  56.0  1060261888 timeout (error (143)) 305    279    2901479424 true 138    88.2  2986328064
eca-rers2012/Problem10_label45_true-unreach-call.c true 42.2  24.6  1013182464 timeout (error (143)) 301    231    3055427584 true 149    102    2979045376 timeout (error (143)) 305    264    2941399040 true 155    99.7  2972155904
eca-rers2012/Problem10_label49_true-unreach-call.c true 70.3  47.8  1184890880 timeout (error (143)) 301    230    2974093312 true 134    84.1  2732564480 timeout (error (143)) 302    240    3018289152 true 156    93.0  1868468224
eca-rers2012/Problem10_label51_true-unreach-call.c true 27.9  16.1  824463360 timeout (error (143)) 301    231    3002269696 true 103    67.4  2916675584 timeout (error (143)) 305    273    2931240960 true 132    82.0  2767605760
eca-rers2012/Problem10_label53_true-unreach-call.c true 30.4  17.6  861720576 timeout (error (143)) 302    239    3030294528 true 107    71.1  2995830784 timeout (error (143)) 306    267    2981076992 true 170    113    3024867328
eca-rers2012/Problem10_label56_true-unreach-call.c true 139    98.4  1586458624 timeout (error (143)) 302    237    3072565248 timeout 322    228    7732420608 timeout (error (143)) 306    264    2977624064 out of memory 283    212    8000000000
eca-rers2012/Problem10_label59_true-unreach-call.c true 117    79.4  1589993472 timeout (error (143)) 301    243    2939822080 timeout (error (143)) 302    248    2912587776 timeout (error (143)) 301    255    2940243968 timeout (error (143)) 301    249    2128302080
eca-rers2012/Problem11_label01_true-unreach-call.c true 76.5  47.7  1268293632 timeout (error (143)) 300    228    2995077120 true 104    65.0  2903433216 timeout (error (143)) 303    259    3025027072 true 103    61.6  2227343360
eca-rers2012/Problem11_label03_true-unreach-call.c true 55.1  31.8  1089441792 timeout (error (143)) 302    248    2978639872 timeout (error (143)) 302    245    3587395584 timeout (error (143)) 306    255    3110006784 true 222    151    4446777344
eca-rers2012/Problem11_label04_true-unreach-call.c true 99.1  62.8  1432674304 timeout (error (143)) 302    261    2893520896 true 188    144    3262898176 timeout (error (143)) 306    266    3078500352 true 299    216    4760567808
eca-rers2012/Problem11_label06_true-unreach-call.c true 103    65.3  1694961664 timeout (error (143)) 301    238    3214729216 timeout (error (143)) 301    243    3477114880 timeout (error (143)) 306    267    2935869440 timeout (error (143)) 301    208    4397711360
eca-rers2012/Problem11_label07_true-unreach-call.c true 66.7  41.1  1259028480 timeout (error (143)) 302    256    2900381696 timeout (error (143)) 302    241    3369168896 timeout (error (143)) 306    264    2942562304 timeout (error (143)) 302    215    4329193472
eca-rers2012/Problem11_label09_true-unreach-call.c true 68.4  39.8  1224183808 timeout (error (143)) 302    254    2919358464 true 253    179    3194064896 timeout (error (143)) 301    262    3025723392 timeout (error (143)) 301    213    4337115136
eca-rers2012/Problem11_label10_true-unreach-call.c true 192    139    2892439552 timeout (error (143)) 301    232    3127443456 timeout (error (143)) 301    218    4313296896 timeout (error (143)) 306    263    2967224320 timeout (error (143)) 301    214    4361089024
eca-rers2012/Problem11_label12_true-unreach-call.c true 66.3  41.0  1252241408 timeout (error (143)) 301    257    2899869696 timeout (error (143)) 302    243    3334721536 timeout (error (143)) 305    261    2953080832 timeout (error (143)) 302    211    4207337472
eca-rers2012/Problem11_label16_true-unreach-call.c true 88.1  53.4  1549295616 timeout (error (143)) 304    237    3031011328 timeout (error (143)) 301    237    3139850240 timeout (error (143)) 306    259    3028115456 true 293    200    4535181312
eca-rers2012/Problem11_label17_true-unreach-call.c true 53.2  32.0  1060372480 timeout (error (143)) 301    256    2908946432 true 148    95.3  2916433920 timeout (error (143)) 306    265    3083706368 timeout (error (143)) 301    214    4565147648
eca-rers2012/Problem11_label18_true-unreach-call.c true 70.5  43.6  1267253248 timeout (error (143)) 301    238    3064500224 true 139    94.0  2992054272 timeout (error (143)) 306    268    2938916864 timeout (error (143)) 301    202    4325449728
eca-rers2012/Problem11_label19_true-unreach-call.c true 214    157    2915397632 timeout (error (143)) 301    235    3273961472 timeout (error (143)) 301    267    3155783680 timeout (error (143)) 305    261    2950529024 timeout (error (143)) 301    216    4236550144
eca-rers2012/Problem11_label21_true-unreach-call.c true 135    86.9  2146017280 timeout (error (143)) 301    244    2999271424 true 103    61.0  2876170240 timeout (error (143)) 304    255    3042738176 true 173    106    3338670080
eca-rers2012/Problem11_label23_true-unreach-call.c true 58.1  34.6  1222926336 true 261    182    3071729664 true 184    135    2997534720 timeout (error (143)) 301    260    2950254592 true 148    96.8  2080669696
eca-rers2012/Problem11_label26_true-unreach-call.c true 101    64.5  1895006208 timeout (error (143)) 300    229    3135430656 timeout (error (143)) 302    252    3219755008 timeout (error (143)) 306    265    2948972544 timeout (error (143)) 301    216    4351410176
eca-rers2012/Problem11_label27_true-unreach-call.c true 62.5  37.5  1217703936 timeout (error (143)) 302    254    2921594880 timeout (error (143)) 301    243    3094450176 timeout (error (143)) 305    258    2965491712 timeout (error (143)) 301    238    3490025472
eca-rers2012/Problem11_label28_true-unreach-call.c true 236    166    2875129856 timeout (error (143)) 300    229    3187978240 timeout (error (143)) 300    213    3318169600 timeout (error (143)) 305    269    2981818368 timeout (error (143)) 302    213    4230582272
eca-rers2012/Problem11_label32_true-unreach-call.c true 63.4  39.6  1253330944 timeout (error (143)) 301    255    2901450752 true 193    129    2981457920 timeout (error (143)) 306    262    2967056384 true 191    125    3269713920
eca-rers2012/Problem11_label33_true-unreach-call.c true 75.4  47.0  1258803200 timeout (error (143)) 305    245    3076395008 timeout (error (143)) 306    248    3406491648 timeout (error (143)) 306    265    2937618432 true 142    87.5  3285446656
eca-rers2012/Problem11_label35_true-unreach-call.c true 165    114    2199269376 timeout (error (143)) 301    236    3030265856 timeout (error (143)) 302    220    3640987648 timeout (error (143)) 305    264    2986704896 timeout (error (143)) 301    211    4345950208
eca-rers2012/Problem11_label37_true-unreach-call.c true 72.5  43.0  1257902080 timeout (error (143)) 301    247    2992377856 timeout (error (143)) 300    265    2930475008 timeout (error (143)) 306    263    3022782464 true 228    158    3541983232
eca-rers2012/Problem11_label38_true-unreach-call.c true 60.2  35.0  1208631296 timeout (error (143)) 301    232    3127455744 true 185    121    3073499136 timeout (error (143)) 306    266    2943377408 true 263    175    4216430592
eca-rers2012/Problem11_label40_true-unreach-call.c true 215    154    2899410944 timeout (error (143)) 301    236    3180494848 timeout (error (143)) 301    225    4083118080 timeout (error (143)) 305    268    2979020800 timeout (error (143)) 302    225    4260790272
eca-rers2012/Problem11_label44_true-unreach-call.c true 101    66.4  1909477376 timeout (error (143)) 306    255    2931302400 timeout (error (143)) 301    244    3361239040 timeout (error (143)) 306    261    3071111168 timeout (error (143)) 300    214    4203225088
eca-rers2012/Problem11_label47_true-unreach-call.c true 110    67.9  1620492288 timeout (error (143)) 301    251    2920521728 timeout (error (143)) 302    243    3094994944 timeout (error (143)) 306    263    2950545408 timeout (error (143)) 307    216    4374364160
eca-rers2012/Problem11_label50_true-unreach-call.c true 215    156    2635706368 timeout (error (143)) 302    229    3134509056 timeout (error (143)) 301    220    4229849088 timeout (error (143)) 306    266    2951340032 timeout (error (143)) 301    208    4351799296
eca-rers2012/Problem11_label52_true-unreach-call.c true 117    73.5  1727311872 timeout (error (143)) 301    256    2895929344 timeout (error (143)) 301    246    2927370240 timeout (error (143)) 306    264    2953953280 timeout (error (143)) 301    213    3717832704
eca-rers2012/Problem11_label53_true-unreach-call.c true 64.2  38.3  1225256960 timeout (error (143)) 301    230    3038539776 timeout (error (143)) 306    250    3404316672 timeout (error (143)) 306    264    2928283648 true 134    79.8  2799968256
eca-rers2012/Problem11_label54_true-unreach-call.c true 197    143    2678886400 timeout (error (143)) 301    249    2993098752 timeout (error (143)) 301    248    3230605312 timeout (error (143)) 306    270    2963529728 timeout (error (143)) 301    214    4184494080
eca-rers2012/Problem11_label55_true-unreach-call.c true 136    89.5  2052489216 timeout (error (143)) 301    247    3050549248 timeout (error (143)) 302    221    3693760512 timeout (error (143)) 306    264    3003998208 timeout (error (143)) 301    220    4221300736
eca-rers2012/Problem11_label57_true-unreach-call.c true 122    81.9  2004779008 timeout (error (143)) 301    239    3091152896 timeout (error (143)) 301    240    3010621440 timeout (error (143)) 306    269    2940268544 timeout (error (143)) 301    243    2912382976
eca-rers2012/Problem11_label59_true-unreach-call.c true 57.6  33.7  1121415168 timeout (error (143)) 301    251    2939318272 true 236    188    3332341760 timeout (error (143)) 306    259    3096678400 timeout (error (143)) 301    214    3747192832
eca-rers2012/Problem12_label15_true-unreach-call.c true 233    168    4150562816 timeout (error (143)) 301    234    3051847680 timeout (error (143)) 306    252    3361062912 timeout (error (143)) 306    249    3132334080 timeout (error (143)) 303    215    4227584000
eca-rers2012/Problem12_label16_true-unreach-call.c true 183    136    3151110144 timeout (error (143)) 301    215    3256135680 timeout (error (143)) 302    236    3301609472 timeout (error (143)) 301    248    3047055360 timeout (error (143)) 313    225    4873752576
eca-rers2012/Problem12_label18_true-unreach-call.c true 268    195    4499435520 timeout (error (143)) 301    230    3231297536 timeout (error (143)) 306    250    3217686528 timeout (error (143)) 306    251    3050344448 timeout (error (143)) 319    224    5317832704
eca-rers2012/Problem12_label22_true-unreach-call.c true 200    143    3211333632 timeout (error (143)) 301    229    3345408000 timeout (error (143)) 301    241    3315597312 timeout (error (143)) 306    246    3106643968 timeout (error (143)) 318    227    5256609792
eca-rers2012/Problem12_label23_true-unreach-call.c true 275    203    4271357952 timeout (error (143)) 300    238    2961444864 timeout (error (143)) 306    244    3522994176 timeout (error (143)) 306    241    3309453312 timeout (error (143)) 301    215    4926509056
eca-rers2012/Problem12_label24_true-unreach-call.c timeout (true) 301    228    3657531392 timeout (error (143)) 301    229    2957565952 timeout (error (143)) 306    243    3205464064 timeout (error (143)) 306    240    3129569280 timeout (error (143)) 301    207    5056159744
eca-rers2012/Problem12_label26_true-unreach-call.c true 256    186    4210937856 timeout (error (143)) 301    230    2999869440 timeout (error (143)) 306    255    3248558080 timeout (error (143)) 306    248    3147816960 timeout (error (143)) 301    216    5928898560
eca-rers2012/Problem12_label29_true-unreach-call.c true 217    163    3445301248 timeout (error (143)) 301    240    3045011456 timeout (error (143)) 306    244    3425804288 timeout (error (143)) 306    245    3161456640 timeout (error (143)) 301    218    4412600320
eca-rers2012/Problem12_label31_true-unreach-call.c true 241    175    4149932032 timeout (error (143)) 302    228    3185364992 timeout (error (143)) 306    248    3435237376 timeout (error (143)) 306    249    3253211136 timeout (error (143)) 301    208    5375799296
eca-rers2012/Problem12_label32_true-unreach-call.c true 264    194    4259016704 timeout (error (143)) 303    237    2984251392 timeout (error (143)) 306    258    3206766592 timeout (error (143)) 306    257    2995671040 timeout (error (143)) 300    217    6359175168
eca-rers2012/Problem12_label33_true-unreach-call.c true 181    126    3065569280 timeout (error (143)) 300    235    3263369216 timeout (error (143)) 306    254    3215699968 timeout (error (143)) 306    249    3026006016 timeout (error (143)) 302    217    5034446848
eca-rers2012/Problem12_label36_true-unreach-call.c true 201    149    2891427840 timeout (error (143)) 301    234    2953187328 timeout (error (143)) 306    240    3471962112 timeout (error (143)) 306    241    3355402240 timeout (error (143)) 300    213    4344303616
eca-rers2012/Problem12_label43_true-unreach-call.c true 223    166    3868225536 timeout (error (143)) 300    229    3287977984 timeout (error (143)) 306    254    3231330304 timeout (error (143)) 306    248    3063091200 timeout (error (143)) 302    210    4730793984
eca-rers2012/Problem12_label45_true-unreach-call.c true 256    194    3604996096 timeout (error (143)) 302    223    3353108480 timeout (error (143)) 306    246    3319820288 timeout (error (143)) 306    238    3141025792 timeout (error (143)) 302    214    4167073792
eca-rers2012/Problem12_label46_true-unreach-call.c true 189    136    3662114816 timeout (error (143)) 302    229    3016101888 timeout (error (143)) 306    254    3240943616 timeout (error (143)) 306    258    3085139968 timeout (error (143)) 302    206    5983404032
eca-rers2012/Problem12_label47_true-unreach-call.c true 192    140    3055419392 timeout (error (143)) 301    233    3421474816 timeout (error (143)) 304    245    3320328192 timeout (error (143)) 302    236    3250917376 timeout (error (143)) 301    207    4241625088
eca-rers2012/Problem12_label49_true-unreach-call.c true 185    134    2897833984 timeout (error (143)) 301    208    3328483328 timeout (error (143)) 306    250    3349426176 timeout (error (143)) 306    249    3183366144 timeout (error (143)) 301    207    4619227136
eca-rers2012/Problem12_label53_true-unreach-call.c true 184    133    3359535104 timeout (error (143)) 306    234    3535003648 timeout (error (143)) 306    244    3502989312 timeout (error (143)) 306    245    3317428224 timeout (error (143)) 300    210    4356771840
eca-rers2012/Problem12_label54_true-unreach-call.c true 286    218    3373789184 timeout (error (143)) 306    234    3471454208 timeout (error (143)) 306    247    3396497408 timeout (error (143)) 302    239    3266125824 timeout (error (143)) 300    218    4925366272
eca-rers2012/Problem12_label56_true-unreach-call.c true 174    125    2793242624 timeout (error (143)) 305    219    3424997376 timeout (error (143)) 301    239    3337961472 timeout (error (143)) 306    240    3260526592 timeout (error (143)) 302    207    5343494144
eca-rers2012/Problem12_label57_true-unreach-call.c true 282    223    3516186624 timeout (error (143)) 306    244    3349237760 timeout (error (143)) 301    252    3177222144 timeout (error (143)) 306    253    2986729472 timeout (error (143)) 320    229    5466869760
eca-rers2012/Problem12_label58_true-unreach-call.c true 179    129    3518767104 timeout (error (143)) 305    223    3230941184 timeout (error (143)) 306    256    3178295296 timeout (error (143)) 306    255    3005136896 timeout (error (143)) 301    220    4780605440
eca-rers2012/Problem12_label59_true-unreach-call.c true 218    158    3517140992 timeout (error (143)) 301    231    2961559552 timeout (error (143)) 301    216    4558708736 timeout (error (143)) 306    224    4498694144 timeout (error (143)) 301    212    5329989632
eca-rers2012/Problem13_label02_true-unreach-call.c timeout (error (143)) 301    222    5315964928 timeout (error (143)) 301    230    3076763648 timeout (error (143)) 303    245    3284267008 timeout (error (143)) 306    246    3130548224 timeout 322    223    6490566656
eca-rers2012/Problem13_label20_true-unreach-call.c true 273    198    4331548672 timeout (error (143)) 301    223    3086184448 timeout (error (143)) 306    246    3344977920 timeout (error (143)) 306    242    3152642048 timeout (error (143)) 301    202    5724803072
eca-rers2012/Problem13_label31_true-unreach-call.c timeout (error (143)) 301    218    5215371264 timeout (error (143)) 301    228    3164696576 timeout (error (143)) 306    239    3411771392 timeout (error (143)) 303    231    3348090880 timeout 322    224    5216927744
eca-rers2012/Problem13_label33_true-unreach-call.c timeout (error (143)) 301    224    4346310656 timeout (error (143)) 300    229    3091288064 timeout (error (143)) 302    247    3367391232 timeout (error (143)) 306    246    3121147904 timeout 322    222    5459243008
eca-rers2012/Problem13_label34_true-unreach-call.c timeout (error (143)) 301    226    4478996480 timeout (error (143)) 302    226    3128700928 timeout (error (143)) 305    237    3583930368 timeout (error (143)) 306    239    3367469056 timeout 322    218    6497804288
eca-rers2012/Problem14_label01_true-unreach-call_false-termination.c true 57.8  34.8  1224851456 timeout (error (143)) 301    247    2979540992 true 116    75.1  2926936064 timeout (error (143)) 306    259    3048710144 true 274    204    4084015104
eca-rers2012/Problem14_label05_true-unreach-call_false-termination.c true 84.9  53.5  1987444736 timeout (error (143)) 300    226    2992967680 true 299    227    3244142592 timeout (error (143)) 305    256    3065126912 timeout (error (143)) 301    231    4329406464
eca-rers2012/Problem14_label06_true-unreach-call_false-termination.c true 103    62.1  1908420608 timeout (error (143)) 301    237    2978381824 true 242    182    3246587904 timeout (error (143)) 301    255    3049287680 timeout (error (143)) 301    220    4125650944
eca-rers2012/Problem14_label07_true-unreach-call_false-termination.c true 140    91.6  2871857152 timeout (error (143)) 302    240    2949029888 timeout (error (143)) 302    239    3278417920 timeout (error (143)) 306    257    3029852160 timeout (error (143)) 301    225    4271947776
eca-rers2012/Problem14_label09_true-unreach-call_false-termination.c true 283    226    2979713024 timeout (error (143)) 302    251    2992242688 timeout (error (143)) 302    247    3326488576 timeout (error (143)) 305    259    3061813248 timeout (error (143)) 301    230    4329906176
eca-rers2012/Problem14_label16_true-unreach-call_false-termination.c true 60.9  37.5  1230098432 timeout (error (143)) 301    245    2977005568 true 209    158    3149778944 timeout (error (143)) 302    253    2992189440 true 288    215    4399898624
eca-rers2012/Problem14_label17_true-unreach-call_false-termination.c true 63.7  39.2  1367449600 timeout (error (143)) 301    245    2931503104 timeout (error (143)) 302    231    3123027968 timeout (error (143)) 306    265    3020709888 timeout (error (143)) 301    227    4281708544
eca-rers2012/Problem14_label19_true-unreach-call_false-termination.c true 137    92.1  2883207168 timeout (error (143)) 301    235    3018461184 true 200    148    3111600128 timeout (error (143)) 305    259    2973786112 true 141    86.3  2830028800
eca-rers2012/Problem14_label21_true-unreach-call_false-termination.c true 83.5  51.7  1653821440 timeout (error (143)) 301    241    3054985216 true 120    75.8  2936819712 timeout (error (143)) 306    260    3040518144 true 269    197    4259995648
eca-rers2012/Problem14_label23_true-unreach-call_false-termination.c true 150    96.6  2897276928 timeout (error (143)) 301    212    3043172352 true 231    169    3108794368 timeout (error (143)) 306    261    2990882816 true 243    179    4182568960
eca-rers2012/Problem14_label24_true-unreach-call_false-termination.c true 113    73.4  2872066048 timeout (error (143)) 301    241    2998546432 timeout (error (143)) 301    236    3210199040 timeout (error (143)) 301    258    2982514688 timeout (error (143)) 302    229    4284301312
eca-rers2012/Problem14_label26_true-unreach-call_false-termination.c true 91.9  56.7  1936457728 timeout (error (143)) 301    244    3058077696 true 201    151    3166437376 timeout (error (143)) 306    259    3033780224 timeout (error (143)) 301    232    4318150656
eca-rers2012/Problem14_label32_true-unreach-call_false-termination.c true 91.5  56.5  1861758976 timeout (error (143)) 301    250    3096567808 timeout (error (143)) 301    237    3202007040 timeout (error (143)) 305    260    3040366592 timeout (error (143)) 301    223    4374523904
eca-rers2012/Problem14_label33_true-unreach-call_false-termination.c true 65.9  39.5  1331326976 timeout (error (143)) 303    229    3013771264 true 249    187    3089592320 timeout (error (143)) 302    259    3005325312 timeout (error (143)) 302    221    4358270976
eca-rers2012/Problem14_label36_true-unreach-call_false-termination.c true 64.6  39.9  1564712960 timeout (error (143)) 300    230    2959179776 true 169    128    3037470720 timeout (error (143)) 306    256    3024887808 true 287    215    4319469568
eca-rers2012/Problem14_label42_true-unreach-call_false-termination.c true 75.2  45.7  1366040576 timeout (error (143)) 301    241    2989981696 timeout (error (143)) 302    233    3260108800 timeout (error (143)) 306    263    2981982208 timeout (error (143)) 302    223    4400799744
eca-rers2012/Problem14_label45_true-unreach-call_false-termination.c true 123    81.0  2906116096 timeout (error (143)) 306    253    3115847680 timeout (error (143)) 303    238    3216486400 timeout (error (143)) 306    261    3027795968 timeout (error (143)) 301    220    4514426880
eca-rers2012/Problem14_label46_true-unreach-call_false-termination.c true 199    132    2875543552 timeout (error (143)) 301    240    3133276160 timeout (error (143)) 300    234    3278434304 timeout (error (143)) 306    264    2978189312 timeout (error (143)) 301    232    4239147008
eca-rers2012/Problem14_label47_true-unreach-call_false-termination.c true 80.5  49.9  1708183552 timeout (error (143)) 302    242    3010797568 timeout (error (143)) 304    240    3305103360 timeout (error (143)) 307    262    2983067648 timeout (error (143)) 301    235    4320452608
eca-rers2012/Problem14_label49_true-unreach-call_false-termination.c true 81.0  50.0  1705345024 timeout (error (143)) 302    244    3002945536 timeout (error (143)) 302    236    3302031360 timeout (error (143)) 302    255    3059355648 timeout (error (143)) 301    234    4250333184
eca-rers2012/Problem14_label50_true-unreach-call_false-termination.c true 129    81.5  2853015552 timeout (error (143)) 301    234    2974429184 timeout (error: exception) 302    240    3278606336 timeout (error (143)) 303    257    3049660416 timeout (error (143)) 302    226    4282187776
eca-rers2012/Problem14_label51_true-unreach-call_false-termination.c true 194    136    2891358208 timeout (error (143)) 301    241    3081990144 timeout (error (143)) 302    239    3243245568 timeout (error (143)) 306    256    3046625280 timeout (error (143)) 301    233    4334993408
eca-rers2012/Problem14_label55_true-unreach-call_false-termination.c true 145    92.7  2876448768 timeout (error (143)) 301    243    2986938368 timeout (error (143)) 302    228    3367034880 timeout (error (143)) 306    260    3036995584 timeout (error (143)) 301    234    4215787520
eca-rers2012/Problem14_label59_true-unreach-call_false-termination.c true 76.1  46.7  1803722752 timeout (error (143)) 306    249    3021426688 true 99.7  59.6  2877173760 timeout (error (143)) 301    250    2998448128 true 124    76.4  2586263552
eca-rers2012/Problem15_label05_true-unreach-call.c true 180    126    2906497024 timeout (error (143)) 301    253    2931601408 timeout (error (143)) 300    215    3793551360 timeout (error (143)) 306    261    3056029696 timeout (error (143)) 302    213    4865339392
eca-rers2012/Problem15_label06_true-unreach-call.c true 157    111    2824024064 timeout (error (143)) 303    228    3296047104 timeout (error (143)) 302    226    3509198848 timeout (error (143)) 306    258    2977964032 timeout (error (143)) 302    216    5267263488
eca-rers2012/Problem15_label11_true-unreach-call.c true 231    177    2903572480 timeout (error (143)) 301    225    3344670720 timeout (error (143)) 302    236    3219521536 timeout (error (143)) 306    262    3007176704 timeout (error (143)) 301    209    5630656512
eca-rers2012/Problem15_label17_true-unreach-call.c timeout (error: exception) 301    243    2922012672 timeout (error (143)) 302    248    2931666944 timeout (error (143)) 305    223    4396089344 timeout (error (143)) 306    260    3041374208 timeout (error (143)) 302    205    4183134208
eca-rers2012/Problem15_label20_true-unreach-call.c true 171    110    2469535744 timeout (error (143)) 301    217    3333009408 true 281    206    3724808192 timeout (error (143)) 306    257    3093811200 timeout (error (143)) 301    206    4149936128
eca-rers2012/Problem15_label21_true-unreach-call.c true 160    108    2844291072 timeout (error (143)) 301    239    3148673024 timeout (error (143)) 301    219    3274833920 timeout (error (143)) 305    266    2928300032 timeout (error (143)) 301    211    4305162240
eca-rers2012/Problem15_label24_true-unreach-call.c true 175    122    2822475776 timeout (error (143)) 301    237    3185393664 timeout (error (143)) 302    236    3893706752 timeout (error (143)) 306    254    3099107328 timeout (error (143)) 301    221    4369784832
eca-rers2012/Problem15_label26_true-unreach-call.c true 251    194    2700648448 timeout (error (143)) 301    232    3377397760 timeout (error (143)) 301    229    3640131584 timeout (error (143)) 306    258    2976198656 timeout (error (143)) 302    214    5691441152
eca-rers2012/Problem15_label28_true-unreach-call.c true 182    129    2933784576 timeout (error (143)) 301    239    3212103680 timeout (error (143)) 301    213    4173955072 timeout (error (143)) 306    263    2964094976 timeout (error (143)) 300    211    5452410880
eca-rers2012/Problem15_label31_true-unreach-call.c true 152    103    2658459648 timeout (error (143)) 301    238    3169300480 timeout (error (143)) 301    220    3727294464 timeout (error (143)) 306    261    2964877312 timeout (error (143)) 307    220    5288407040
eca-rers2012/Problem15_label35_true-unreach-call.c true 140    91.5  2362179584 timeout (error (143)) 301    229    3224715264 timeout (error (143)) 302    216    3559268352 timeout (error (143)) 305    265    2984570880 timeout (error (143)) 312    220    5024907264
eca-rers2012/Problem15_label36_true-unreach-call.c true 151    100    2257285120 timeout (error (143)) 301    253    2943270912 timeout (error (143)) 302    235    3227156480 timeout (error (143)) 301    259    3043553280 timeout (error (143)) 306    210    5625614336
eca-rers2012/Problem15_label42_true-unreach-call.c true 162    112    2982674432 timeout (error (143)) 301    238    3051847680 true 229    158    3172876288 timeout (error (143)) 305    265    2945249280 timeout (error (143)) 304    223    4577202176
eca-rers2012/Problem15_label43_true-unreach-call.c true 125    82.5  1975488512 timeout (error (143)) 301    244    3177709568 timeout (error (143)) 305    251    3694252032 timeout (error (143)) 306    260    2958716928 timeout (error (143)) 301    218    4774244352
eca-rers2012/Problem15_label44_true-unreach-call.c true 264    195    2897702912 timeout (error (143)) 301    259    2938261504 timeout (error (143)) 304    223    3650932736 timeout (error (143)) 306    260    3052281856 timeout (error (143)) 301    215    4379934720
eca-rers2012/Problem15_label46_true-unreach-call.c true 143    96.5  2468036608 timeout (error (143)) 301    214    3516903424 timeout (error (143)) 301    237    3773607936 timeout (error (143)) 306    254    3046723584 timeout (error (143)) 301    204    4379213824
eca-rers2012/Problem15_label53_true-unreach-call.c true 125    84.8  1919901696 timeout (error (143)) 301    244    3220922368 timeout (error (143)) 301    239    3584303104 timeout (error (143)) 306    265    2948378624 timeout (error (143)) 302    216    5263966208
eca-rers2012/Problem15_label54_true-unreach-call.c true 125    83.3  1737785344 timeout (error (143)) 301    241    3248541696 timeout (error (143)) 301    241    3720122368 timeout (error (143)) 305    269    2930966528 timeout (error (143)) 301    223    5008846848
eca-rers2012/Problem15_label55_true-unreach-call.c true 127    83.6  2079617024 timeout (error (143)) 301    252    2928586752 true 225    153    3111645184 timeout (error (143)) 301    256    3030999040 timeout (error (143)) 302    211    4901167104
eca-rers2012/Problem15_label56_true-unreach-call.c true 92.2  60.4  1817468928 timeout (error (143)) 301    243    2927943680 true 249    171    3018838016 timeout (error (143)) 302    257    3281735680 timeout (error (143)) 301    208    5675569152
eca-rers2012/Problem15_label58_true-unreach-call.c true 93.2  60.1  1851068416 timeout (error (143)) 301    238    3052253184 timeout (error (143)) 302    230    3871014912 timeout (error (143)) 306    263    2963841024 timeout (error (143)) 302    209    4641161216
eca-rers2012/Problem15_label59_true-unreach-call.c true 215    150    2891595776 timeout (error (143)) 300    245    2946580480 timeout (error (143)) 301    218    3481473024 timeout (error (143)) 306    252    3035287552 timeout (error (143)) 301    211    4221997056
eca-rers2012/Problem16_label07_true-unreach-call.c true 130    86.9  2866823168 timeout (error (143)) 300    231    3119075328 timeout (error (143)) 302    249    3296899072 timeout (error (143)) 305    267    2853126144 timeout (error (143)) 301    227    4585385984
eca-rers2012/Problem16_label09_true-unreach-call.c true 101    67.1  1763295232 timeout (error (143)) 301    243    3098214400 timeout (error (143)) 306    246    3348389888 timeout (error (143)) 306    265    3005698048 timeout (error (143)) 301    225    4989095936
eca-rers2012/Problem16_label10_true-unreach-call.c true 108    69.7  1964748800 timeout (error (143)) 301    245    3025965056 timeout (error (143)) 301    233    3595509760 timeout (error (143)) 306    251    3108409344 timeout (error (143)) 301    222    4791820288
eca-rers2012/Problem16_label11_true-unreach-call.c true 111    70.7  2245009408 timeout (error (143)) 301    245    2959081472 timeout (error (143)) 301    234    3402579968 timeout (error (143)) 306    255    3059499008 timeout (error (143)) 300    220    5004263424
eca-rers2012/Problem16_label12_true-unreach-call.c true 184    125    3024531456 timeout (error (143)) 302    238    2996183040 timeout (error (143)) 304    239    3436896256 timeout (error (143)) 306    256    3060961280 timeout (error (143)) 301    224    4977274880
eca-rers2012/Problem16_label13_true-unreach-call.c true 112    76.3  2621161472 timeout (error (143)) 301    241    3009130496 timeout (error (143)) 306    244    3447914496 timeout (error (143)) 306    256    3055734784 timeout (error (143)) 302    223    5146181632
eca-rers2012/Problem16_label16_true-unreach-call.c true 108    67.7  2143539200 timeout (error (143)) 300    241    2967773184 timeout (error (143)) 302    233    3419959296 timeout (error (143)) 305    259    2973700096 timeout (error (143)) 301    218    4387835904
eca-rers2012/Problem16_label17_true-unreach-call.c true 130    83.2  2748948480 timeout (error (143)) 301    227    3187208192 timeout (error (143)) 301    252    3288489984 timeout (error (143)) 305    266    2902761472 timeout (error (143)) 301    225    4619132928
eca-rers2012/Problem16_label19_true-unreach-call.c true 136    85.6  2908471296 timeout (error (143)) 301    236    3037450240 timeout (error (143)) 306    238    3304935424 timeout (error (143)) 305    252    3186941952 timeout (error (143)) 302    209    4379160576
eca-rers2012/Problem16_label21_true-unreach-call.c true 266    191    3133612032 timeout (error (143)) 301    235    3061227520 timeout (error (143)) 302    244    3254116352 timeout (error (143)) 306    262    3052851200 timeout (error (143)) 309    232    5105143808
eca-rers2012/Problem16_label23_true-unreach-call.c true 163    109    2912432128 timeout (error (143)) 301    239    3123081216 timeout (error (143)) 302    247    3454291968 timeout (error (143)) 306    260    3055190016 timeout (error (143)) 301    222    4725280768
eca-rers2012/Problem16_label24_true-unreach-call.c true 106    70.1  2830757888 timeout (error (143)) 301    242    2999230464 timeout (error (143)) 302    245    3461566464 timeout (error (143)) 306    257    3021488128 timeout (error (143)) 303    219    4225531904
eca-rers2012/Problem16_label25_true-unreach-call.c true 119    76.1  2737557504 timeout (error (143)) 301    239    3142668288 timeout (error (143)) 301    245    3484344320 timeout (error (143)) 304    261    3036233728 timeout (error (143)) 301    224    4780818432
eca-rers2012/Problem16_label26_true-unreach-call.c true 120    76.2  2627993600 timeout (error (143)) 301    215    3044134912 timeout (error (143)) 306    250    3466055680 timeout (error (143)) 306    260    3116085248 timeout (error (143)) 302    216    4476870656
eca-rers2012/Problem16_label28_true-unreach-call.c true 173    118    2892648448 timeout (error (143)) 301    241    3075006464 timeout (error (143)) 301    244    3475091456 timeout (error (143)) 306    264    3035074560 timeout (error (143)) 302    225    5063843840
eca-rers2012/Problem16_label29_true-unreach-call.c true 254    188    2982350848 timeout (error (143)) 301    243    3116564480 timeout (error (143)) 304    250    3366014976 timeout (error (143)) 306    263    3031859200 timeout (error (143)) 301    223    4347109376
eca-rers2012/Problem16_label32_true-unreach-call.c true 179    125    2955878400 timeout (error (143)) 301    241    2999058432 timeout (error (143)) 305    239    3629309952 timeout (error (143)) 306    252    3046977536 timeout (error (143)) 301    220    5028687872
eca-rers2012/Problem16_label34_true-unreach-call.c true 110    72.7  2440036352 timeout (error (143)) 301    228    3072077824 timeout (error (143)) 303    250    3338719232 timeout (error (143)) 306    258    3079712768 timeout (error (143)) 301    222    4682645504
eca-rers2012/Problem16_label35_true-unreach-call.c true 137    88.8  2925961216 timeout (error (143)) 300    246    2976235520 timeout (error (143)) 302    249    3482828800 timeout (error (143)) 305    263    2972327936 timeout (error (143)) 301    219    4801564672
eca-rers2012/Problem16_label36_true-unreach-call.c true 88.1  58.4  2661617664 timeout (error (143)) 301    247    2987024384 timeout (error (143)) 301    247    3516227584 timeout (error (143)) 306    262    3019587584 timeout (error (143)) 301    222    5149323264
eca-rers2012/Problem16_label39_true-unreach-call.c true 126    82.2  2958204928 timeout (error (143)) 301    227    3133579264 timeout (error (143)) 306    241    3287199744 timeout (error (143)) 305    265    2977378304 timeout (error (143)) 303    213    4309979136
eca-rers2012/Problem16_label40_true-unreach-call.c true 133    86.8  2861854720 timeout (error (143)) 301    235    3141132288 timeout (error (143)) 301    240    3329925120 timeout (error (143)) 306    264    3023384576 timeout (error (143)) 301    214    4412825600
eca-rers2012/Problem16_label42_true-unreach-call.c true 137    90.4  3044442112 timeout (error (143)) 301    242    3068018688 timeout (error (143)) 301    238    3258761216 timeout (error (143)) 306    263    3024023552 timeout (error (143)) 301    224    5036732416
eca-rers2012/Problem16_label45_true-unreach-call.c true 271    200    3050205184 timeout (error (143)) 301    236    3101917184 timeout (error (143)) 305    249    3307253760 timeout (error (143)) 306    253    3067957248 timeout (error (143)) 301    223    4542484480
eca-rers2012/Problem16_label47_true-unreach-call.c true 73.6  45.3  1275908096 timeout (error (143)) 301    234    3087622144 true 183    137    3001602048 timeout (error (143)) 305    259    3031347200 timeout (error (143)) 301    227    5064556544
eca-rers2012/Problem16_label48_true-unreach-call.c true 74.1  45.8  1274122240 timeout (error (143)) 301    234    3086295040 true 188    140    3016237056 timeout (error (143)) 305    267    3023380480 timeout (error (143)) 301    228    5049667584
eca-rers2012/Problem16_label49_true-unreach-call.c true 96.3  59.5  1476763648 timeout (error (143)) 301    216    3053776896 timeout (error (143)) 306    246    3429961728 timeout (error (143)) 302    255    3046096896 timeout (error (143)) 301    222    4719513600
eca-rers2012/Problem16_label50_true-unreach-call.c true 38.9  23.2  901480448 timeout (error (143)) 300    210    3185246208 timeout (error (143)) 301    244    3371917312 timeout (error (143)) 306    255    3083124736 timeout (error (143)) 301    219    4487569408
eca-rers2012/Problem16_label53_true-unreach-call.c true 259    190    3171397632 timeout (error (143)) 301    241    3105824768 timeout (error (143)) 302    247    3365453824 timeout (error (143)) 301    249    3025756160 timeout (error (143)) 301    221    4940091392
eca-rers2012/Problem16_label55_true-unreach-call.c true 70.4  43.6  1499668480 timeout (error (143)) 301    251    2972602368 timeout (error (143)) 306    256    3476082688 timeout (error (143)) 306    263    3044990976 timeout (error (143)) 301    223    5151686656
eca-rers2012/Problem16_label56_true-unreach-call.c true 38.3  22.8  895582208 timeout (error (143)) 301    245    2993463296 timeout (error (143)) 302    250    3471069184 timeout (error (143)) 306    264    3045445632 timeout (error (143)) 301    223    5378813952
eca-rers2012/Problem16_label57_true-unreach-call.c true 58.1  35.9  1233395712 timeout (error (143)) 301    246    3099611136 timeout (error (143)) 306    254    3493769216 timeout (error (143)) 306    263    3035283456 timeout (error (143)) 301    224    5285015552
eca-rers2012/Problem16_label58_true-unreach-call.c true 102    63.5  1896247296 timeout (error (143)) 301    246    3110686720 timeout (error (143)) 302    250    3469320192 timeout (error (143)) 306    264    3044970496 timeout (error (143)) 301    227    4593803264
eca-rers2012/Problem16_label59_true-unreach-call.c true 124    78.0  2863816704 timeout (error (143)) 302    227    3164356608 timeout (error (143)) 303    233    3462193152 timeout (error (143)) 306    252    3258925056 timeout (error (143)) 300    214    4324683776
eca-rers2012/Problem17_label10_true-unreach-call.c timeout (error (143)) 301    255    2023145472 timeout (error (143)) 301    255    2955333632 out of memory 296    233    8000000000 timeout (error (143)) 306    265    3000336384 timeout (error (143)) 319    218    7902691328
eca-rers2012/Problem17_label24_true-unreach-call.c timeout (error: exception) 301    237    3480264704 timeout (error (143)) 301    264    2953723904 timeout (error (143)) 301    274    1157828608 timeout (error (143)) 301    260    1751113728 timeout (error (143)) 300    259    1818279936
eca-rers2012/Problem17_label29_true-unreach-call.c true 280    210    3147743232 timeout (error (143)) 301    229    3275280384 timeout (error (143)) 301    220    3789299712 timeout (error (143)) 306    258    2975518720 timeout (error (143)) 302    210    4836917248
eca-rers2012/Problem17_label38_true-unreach-call.c timeout (error (143)) 301    227    4388212736 timeout (error (143)) 301    244    2963730432 out of memory 295    241    8000000000 timeout (error (143)) 303    262    2985779200 timeout (error (143)) 303    217    7551188992
eca-rers2012/Problem17_label42_true-unreach-call.c true 231    171    3504156672 timeout (error (143)) 301    244    2973278208 timeout (error (143)) 301    209    4288737280 timeout (error (143)) 306    256    3009155072 timeout (error: exception) 301    207    4935327744
eca-rers2012/Problem17_label51_true-unreach-call.c timeout (error: exception) 302    236    3000324096 timeout (error (143)) 301    230    2985213952 timeout (error (143)) 300    229    3673960448 timeout (error (143)) 302    230    3366957056 timeout (error (143)) 301    229    3552235520
eca-rers2012/Problem17_label59_true-unreach-call.c true 285    218    3578335232 timeout (error (143)) 301    249    2968432640 timeout (error (143)) 301    219    3973328896 timeout (error (143)) 304    251    3085946880 timeout (error (143)) 301    216    4148928512
eca-rers2012/Problem18_label02_true-unreach-call.c true 156    107    3047804928 timeout (error (143)) 301    231    3184730112 timeout (error (143)) 306    238    3493347328 timeout (error (143)) 306    254    3011473408 timeout (error (143)) 300    218    4644794368
eca-rers2012/Problem18_label07_true-unreach-call.c true 152    105    3040641024 timeout (error (143)) 301    205    3298557952 timeout (error (143)) 306    242    3539742720 timeout (error (143)) 306    256    3029815296 timeout (error (143)) 302    222    4424859648
eca-rers2012/Problem18_label11_true-unreach-call.c true 188    135    3011121152 timeout (error (143)) 301    214    3403681792 timeout (error (143)) 302    234    3620069376 timeout (error (143)) 303    240    3139891200 timeout (error (143)) 301    212    4508422144
eca-rers2012/Problem18_label13_true-unreach-call.c true 213    152    3741667328 timeout (error (143)) 300    218    3269505024 timeout (error (143)) 305    237    3518218240 timeout (error (143)) 301    241    3073499136 timeout (error (143)) 301    218    4455718912
eca-rers2012/Problem18_label16_true-unreach-call.c true 251    183    4148731904 timeout (error (143)) 302    230    3297189888 timeout (error (143)) 306    246    3500625920 timeout (error (143)) 306    254    3070586880 timeout (error (143)) 301    221    4274741248
eca-rers2012/Problem18_label17_true-unreach-call.c true 212    151    3159748608 timeout (error (143)) 301    224    3260080128 timeout (error (143)) 300    234    3456294912 timeout (error (143)) 306    247    3084251136 timeout (error (143)) 302    218    4297478144
eca-rers2012/Problem18_label18_true-unreach-call.c true 205    146    3243089920 timeout (error (143)) 301    233    3173117952 timeout (error (143)) 301    240    3450793984 timeout (error (143)) 305    253    3044970496 timeout (error (143)) 301    225    4337512448
eca-rers2012/Problem18_label21_true-unreach-call.c true 256    192    4104495104 timeout (error (143)) 301    236    3192958976 timeout (error (143)) 302    244    3394170880 timeout (error (143)) 306    258    3003584512 timeout (error (143)) 301    220    4732284928
eca-rers2012/Problem18_label22_true-unreach-call.c true 258    190    3965296640 timeout (error (143)) 301    217    3064037376 timeout (error (143)) 306    232    3696435200 timeout (error (143)) 305    258    2961104896 timeout (error (143)) 301    224    4263735296
eca-rers2012/Problem18_label23_true-unreach-call.c true 221    156    3804729344 timeout (error (143)) 301    235    3214299136 timeout (error (143)) 302    240    3370123264 timeout (error (143)) 305    258    3005571072 timeout (error (143)) 301    218    4361437184
eca-rers2012/Problem18_label28_true-unreach-call.c true 229    163    4132241408 timeout (error (143)) 301    208    3234701312 timeout (error (143)) 306    247    3493167104 timeout (error (143)) 306    252    3060768768 timeout (error (143)) 301    219    4367663104
eca-rers2012/Problem18_label30_true-unreach-call.c true 154    106    2991411200 timeout (error (143)) 302    220    3315589120 timeout (error (143)) 303    241    3593908224 timeout (error (143)) 306    248    3102011392 timeout (error (143)) 301    221    4362584064
eca-rers2012/Problem18_label37_true-unreach-call.c true 280    209    3724857344 timeout (error (143)) 301    230    3209441280 timeout (error (143)) 306    247    3406897152 timeout (error (143)) 306    255    3002478592 timeout (error (143)) 301    216    4262146048
eca-rers2012/Problem18_label40_true-unreach-call.c true 148    103    2528677888 timeout (error (143)) 301    227    3076227072 timeout (error (143)) 304    241    3519422464 timeout (error (143)) 306    254    2995351552 timeout (error (143)) 301    222    4220502016
eca-rers2012/Problem18_label41_true-unreach-call.c true 202    146    3052408832 timeout (error (143)) 301    233    3126149120 timeout (error (143)) 301    241    3725447168 timeout (error (143)) 306    253    3033251840 timeout (error (143)) 302    225    4487106560
eca-rers2012/Problem18_label42_true-unreach-call.c true 191    131    3057119232 timeout (error (143)) 301    243    3204616192 timeout (error (143)) 302    245    3422556160 timeout (error (143)) 306    257    3026001920 timeout (error (143)) 301    223    4226424832
eca-rers2012/Problem18_label43_true-unreach-call.c true 232    171    3567255552 timeout (error (143)) 301    225    3094953984 timeout (error (143)) 303    229    3580993536 timeout (error (143)) 306    253    3064983552 timeout (error (143)) 301    221    4273201152
eca-rers2012/Problem18_label44_true-unreach-call.c true 170    120    3165011968 timeout (error (143)) 301    205    3435413504 timeout (error (143)) 306    234    3706953728 timeout (error (143)) 306    245    3277107200 timeout (error (143)) 301    213    4463529984
eca-rers2012/Problem18_label46_true-unreach-call.c true 138    95.0  3000901632 timeout (error (143)) 301    229    3296382976 timeout (error (143)) 306    244    3482341376 timeout (error (143)) 306    247    3060383744 timeout (error (143)) 302    221    4349595648
eca-rers2012/Problem18_label47_true-unreach-call.c true 155    106    2964434944 timeout (error (143)) 301    221    3242147840 timeout (error (143)) 306    244    3451310080 timeout (error (143)) 306    254    3019542528 timeout (error (143)) 300    219    4371853312
eca-rers2012/Problem18_label48_true-unreach-call.c true 149    102    2749325312 timeout (error (143)) 302    235    3059372032 timeout (error (143)) 301    230    3454652416 timeout (error (143)) 306    256    3022249984 timeout (error (143)) 303    227    4338900992
eca-rers2012/Problem18_label50_true-unreach-call.c true 191    134    3301216256 timeout (error (143)) 301    230    3256823808 timeout (error (143)) 301    239    3465408512 timeout (error (143)) 306    258    3093237760 timeout (error (143)) 301    218    4527108096
eca-rers2012/Problem18_label51_true-unreach-call.c true 126    86.2  2241843200 timeout (error (143)) 300    224    3277406208 timeout (error (143)) 301    235    3526782976 timeout (error (143)) 306    249    3067428864 timeout (error (143)) 301    219    4358631424
eca-rers2012/Problem18_label53_true-unreach-call.c true 195    138    3851870208 timeout (error (143)) 301    216    3357851648 timeout (error (143)) 306    241    3495673856 timeout (error (143)) 306    245    3133005824 timeout (error (143)) 301    212    4386430976
eca-rers2012/Problem18_label54_true-unreach-call.c true 210    151    4109504512 timeout (error (143)) 301    229    3130716160 timeout (error (143)) 303    241    3568975872 timeout (error (143)) 306    258    3022499840 timeout (error (143)) 301    218    4596146176
eca-rers2012/Problem18_label56_true-unreach-call.c true 164    113    3271729152 timeout (error (143)) 301    223    3268542464 timeout (error (143)) 302    234    3481423872 timeout (error (143)) 306    253    3095420928 timeout (error (143)) 301    213    4398399488
eca-rers2012/Problem18_label58_true-unreach-call.c true 186    132    3338641408 timeout (error (143)) 301    213    3230830592 timeout (error (143)) 301    237    3527520256 timeout (error (143)) 306    253    3063816192 timeout (error (143)) 301    210    4361048064
eca-rers2012/Problem18_label59_true-unreach-call.c true 263    192    4054999040 timeout (error (143)) 301    213    3143761920 timeout (error (143)) 301    220    3157204992 timeout (error (143)) 306    252    3023974400 timeout (error (143)) 301    213    4253868032
eca-rers2012/Problem19_label01_true-unreach-call.c timeout (error: exception) 302    233    3670941696 timeout (error (143)) 305    208    3482386432 timeout (error (143)) 306    224    3594899456 timeout (error (143)) 305    230    3660251136 timeout (error (143)) 317    219    4542087168
eca-rers2012/Problem19_label49_true-unreach-call.c timeout (error: exception) 301    235    3534606336 timeout (error (143)) 301    222    3261452288 timeout (error (143)) 301    240    3281727488 timeout (error (143)) 306    238    3110211584 timeout (error (143)) 301    208    5253464064
psyco/psyco_abp_1_false-unreach-call_false-termination_true-no-overflow.c false 118    71.1  1510834176 timeout (error (143)) 301    226    2936745984 false 116    68.1  1596837888 false 136    81.6  2180313088 false 127    75.3  2064486400
psyco/psyco_cev_1_false-unreach-call.c out of memory 266    211    8000000000 timeout (error (143)) 301    219    7528198144 timeout (error (143)) 307    221    7650324480 timeout (error (143)) 303    220    7946371072 timeout (error (143)) 307    222    7949643776
psyco/psyco_abp_1_true-unreach-call_false-termination_true-no-overflow.c true 66.5  38.2  1140662272 timeout (error (143)) 301    230    2975506432 true 71.7  40.2  1203949568 true 80.4  46.8  2066993152 true 79.8  45.1  1613021184
eca-programs/Problem101_label17_false-unreach-call.c timeout (error: exception) 302    241    3906990080 timeout (error (143)) 300    246    3606179840 timeout (error (143)) 300    248    3608756224 timeout (error (143)) 300    247    3620556800 timeout (error (143)) 300    247    3594878976
eca-programs/Problem102_label01_false-unreach-call.c timeout (error (143)) 305    225    5286907904 timeout (error (143)) 306    232    4858433536 timeout (error (143)) 306    232    4797214720 timeout 322    234    6098239488 timeout (error (143)) 306    239    4758016000
eca-programs/Problem102_label02_false-unreach-call.c timeout (error (143)) 307    229    4833128448 timeout (error (143)) 305    232    4850229248 timeout (error (143)) 306    242    4757413888 timeout (error (143)) 306    232    4849283072 timeout (error: exception) 301    240    4823195648
eca-programs/Problem102_label05_false-unreach-call.c timeout (error (143)) 306    233    4825018368 timeout (error: exception) 304    242    4740599808 timeout (error (143)) 306    233    4804984832 timeout (error (143)) 306    235    4840071168 timeout (error (143)) 306    240    4871815168
eca-programs/Problem102_label24_false-unreach-call.c timeout (error (143)) 306    235    4831354880 timeout (error: exception) 302    244    4930985984 timeout (error (143)) 306    234    4823871488 timeout (error (143)) 306    241    4751011840 timeout (error (143)) 306    233    4955475968
eca-programs/Problem102_label25_false-unreach-call.c timeout (error (143)) 305    226    5262098432 timeout (error: exception) 306    248    4946313216 timeout (error (143)) 306    240    4990627840 timeout (error (143)) 306    234    4911394816 timeout (error (143)) 303    220    6101815296
eca-programs/Problem102_label26_false-unreach-call.c timeout (error (143)) 306    230    5256003584 timeout (error (143)) 306    244    4771426304 timeout (error (143)) 309    244    4846927872 timeout (error: exception) 302    242    4774666240 timeout (error (143)) 306    243    4901081088
eca-programs/Problem102_label59_false-unreach-call.c timeout (error (143)) 310    226    5275869184 timeout (error (143)) 306    232    4956995584 timeout (error: exception) 306    243    4752707584 timeout (error (143)) 306    231    4923600896 timeout (error (143)) 316    227    5613154304
eca-programs/Problem103_label32_false-unreach-call.c timeout (error (143)) 305    229    5109866496 timeout 322    235    6490988544 timeout (error (143)) 306    240    4827389952 timeout (error (143)) 306    239    5198303232 timeout 321    240    6195957760
eca-programs/Problem103_label35_false-unreach-call.c timeout (error (143)) 307    230    5493207040 timeout (error (143)) 315    233    6293303296 timeout 322    235    6568071168 timeout 322    236    6622240768 timeout 322    235    6278651904
eca-programs/Problem103_label44_false-unreach-call.c timeout (error (143)) 306    228    5538988032 timeout 321    236    6036398080 timeout (error: exception) 320    243    5651730432 timeout 322    235    6286471168 timeout (error (143)) 306    240    4865204224
eca-programs/Problem103_label46_false-unreach-call.c timeout (error (143)) 306    231    5508313088 timeout (error (143)) 306    243    5041147904 timeout 322    236    6027640832 timeout 321    241    6620733440 timeout (error (143)) 306    229    5822046208
eca-programs/Problem103_label47_false-unreach-call.c timeout (error (143)) 306    234    4869140480 timeout 322    235    6148894720 timeout (error (143)) 306    238    5240582144 timeout (error (143)) 306    251    4973039616 timeout (error (143)) 316    245    5258674176
eca-programs/Problem103_label51_false-unreach-call.c timeout (error (143)) 306    234    4857663488 timeout 322    236    6286397440 timeout (error (143)) 311    238    5938450432 timeout (error (143)) 306    242    5047853056 timeout (error (143)) 306    252    5009129472
eca-programs/Problem103_label54_false-unreach-call.c timeout (error (143)) 305    231    5468139520 timeout (error (143)) 306    244    5051142144 timeout 322    236    6163558400 timeout (error (143)) 306    246    5092798464 timeout 321    235    6746636288
eca-programs/Problem103_label56_false-unreach-call.c timeout (error (143)) 305    225    5162303488 timeout (error (143)) 306    240    5342044160 timeout (error (143)) 312    232    6013169664 timeout (error (143)) 306    243    5105541120 timeout 322    237    6278303744
eca-programs/Problem103_label57_false-unreach-call.c timeout (error (143)) 306    234    5136777216 timeout (error (143)) 306    238    5127999488 timeout 321    236    6869553152 timeout (error (143)) 306    240    4835540992 timeout (error (143)) 306    248    5054042112
eca-programs/Problem102_label03_true-unreach-call.c timeout (error (143)) 306    238    4847943680 timeout (error: exception) 303    242    4736421888 timeout (error (143)) 306    241    4770897920 timeout (error (143)) 306    239    4752379904 timeout (error (143)) 306    237    4858023936
eca-programs/Problem102_label09_true-unreach-call.c timeout (error (143)) 306    230    5285920768 timeout (error (143)) 306    235    4885680128 timeout (error: exception) 301    240    4755554304 timeout (error (143)) 306    238    4876873728 timeout (error (143)) 306    242    4761264128
eca-programs/Problem102_label16_true-unreach-call.c timeout (error (143)) 306    239    4974149632 timeout (error (143)) 306    246    4746436608 timeout (error (143)) 306    236    4842434560 timeout (error: exception) 304    244    4754227200 timeout (error (143)) 306    222    6118559744
eca-programs/Problem102_label18_true-unreach-call.c timeout (error (143)) 306    237    4845875200 timeout (error (143)) 306    240    4981047296 timeout (error: exception) 304    239    4814725120 timeout (error (143)) 306    229    5687652352 timeout (error (143)) 306    243    4753907712
eca-programs/Problem102_label33_true-unreach-call.c timeout (error (143)) 308    240    4850556928 timeout (error (143)) 306    235    4805193728 timeout (error (143)) 306    243    4979298304 timeout (error: exception) 303    241    4752834560 timeout (error (143)) 315    226    5567311872
eca-programs/Problem102_label45_true-unreach-call.c timeout (error (143)) 305    228    5274664960 timeout (error (143)) 306    233    4847075328 timeout (error: exception) 304    243    4985520128 timeout (error (143)) 306    235    4873601024 timeout (error (143)) 306    242    4982865920
eca-programs/Problem102_label52_true-unreach-call.c timeout (error (143)) 306    232    4915073024 timeout (error: exception) 301    238    4993662976 timeout (error (143)) 306    244    4776636416 timeout (error (143)) 306    246    4785590272 timeout (error (143)) 306    236    4905467904
eca-programs/Problem102_label53_true-unreach-call.c timeout (error (143)) 308    236    4821938176 timeout (error (143)) 306    233    4956397568 timeout (error (143)) 306    238    5406105600 timeout (error (143)) 306    244    4727128064 timeout (error: exception) 303    242    4748476416
eca-programs/Problem102_label56_true-unreach-call.c timeout (error (143)) 306    234    4803104768 timeout (error (143)) 306    240    4811497472 timeout (error (143)) 306    242    4744544256 timeout (error (143)) 306    243    4740943872 timeout (error: exception) 305    243    4766154752
eca-programs/Problem103_label40_true-unreach-call.c timeout (error (143)) 305    229    5510275072 timeout (error (143)) 306    239    4849295360 timeout 321    243    6142353408 timeout (error (143)) 306    246    5045317632 timeout (error (143)) 318    235    6300553216
eca-programs/Problem103_label43_true-unreach-call.c timeout (error (143)) 307    227    5524852736 timeout 322    233    6051745792 timeout 322    236    6277984256 timeout (error (143)) 307    243    5069631488 timeout 321    235    6828072960
eca-programs/Problem103_label48_true-unreach-call.c timeout (error (143)) 305    228    5579636736 timeout (error (143)) 311    229    6198562816 timeout 321    239    6173020160 timeout (error (143)) 307    241    5058633728 timeout (error (143)) 321    237    6411329536
eca-programs/Problem103_label49_true-unreach-call.c timeout (error (143)) 306    234    4878950400 timeout 322    236    6302838784 timeout (error (143)) 308    229    5912883200 timeout (error (143)) 306    241    5044146176 timeout (error (143)) 306    241    4854116352
eca-programs/Problem103_label50_true-unreach-call.c timeout (error (143)) 306    233    5453660160 timeout 321    234    6072496128 timeout (error (143)) 306    246    5107015680 timeout (error: exception) 308    234    5656207360 timeout (error (143)) 306    226    6171037696
eca-programs/Problem103_label52_true-unreach-call.c timeout (error (143)) 306    229    5545422848 timeout (error (143)) 312    239    5398937600 timeout (error (143)) 306    242    4856918016 timeout (error (143)) 306    235    5109764096 timeout 322    236    6787227648
eca-programs/Problem103_label55_true-unreach-call.c timeout (error (143)) 305    228    5497446400 timeout 321    234    6068092928 timeout (error: exception) 302    239    5129322496 timeout (error (143)) 321    235    6871236608 timeout (error (143)) 306    239    5050433536
eca-programs/Problem103_label58_true-unreach-call.c timeout (error (143)) 305    230    5554970624 timeout 321    236    6309040128 timeout (error: exception) 304    231    5309341696 timeout 322    240    6866071552 timeout (error: exception) 306    239    5393965056
loops/insertion_sort_false-unreach-call_true-termination.i false 195    149    1399230464 timeout (error (143)) 303    265    2014990336 timeout (error (143)) 302    267    1914126336 timeout (error (143)) 301    269    1827110912 timeout (error (143)) 301    268    1890013184
loops/ludcmp_false-unreach-call.i unknown: overapproxcex 263    218    4903981056 timeout (error (143)) 304    224    5103161344 error: exception 50.5  30.3  2892390400 unknown: overapproxcex 273    206    5049085952 unknown: overapproxcex 282    210    5020622848
loops/invert_string_true-unreach-call_true-termination.i true 138    110    1334145024 timeout (error (143)) 302    265    1525481472 timeout (error (143)) 301    267    1455788032 timeout (error (143)) 301    267    1449787392 timeout (error (143)) 302    268    1374416896
loops/lu.cmp_true-unreach-call.i true 91.6  57.1  3014529024 timeout (error (143)) 301    222    3302559744 error: exception 51.1  30.5  2894901248 true 218    148    3317501952 true 227    155    3322540032
loop-acceleration/overflow_true-unreach-call1.i timeout (error (143)) 306    292    1008865280 true 9.62 5.39 287105024 true 9.39 5.15 273686528 true 9.94 5.49 316088320 true 81.6  73.1  789463040
loop-acceleration/simple_true-unreach-call1.i timeout (error (143)) 305    295    811044864 true 10.4  5.79 285220864 true 9.23 5.14 273817600 true 10.9  5.93 328429568 timeout (error (143)) 301    284    1177579520
loop-acceleration/simple_true-unreach-call3_true-termination.i timeout (error (143)) 302    292    781611008 true 11.7  6.31 286846976 true 11.2  6.09 308584448 true 11.3  6.14 379392000 true 11.1  6.11 289939456
loop-crafted/simple_array_index_value_true-unreach-call4.i.v+lhb-reducer.c timeout (error (143)) 301    292    848814080 true 297    287    872443904 timeout (error (143)) 302    290    836104192 true 211    203    681787392 timeout (error (143)) 304    293    844353536
loop-crafted/simple_array_index_value_true-unreach-call4.i.v+nlh-reducer.c timeout (error (143)) 303    293    830914560 timeout (error (143)) 303    289    1036955648 timeout (error (143)) 301    292    751407104 true 291    280    823640064 true 175    167    676515840
loop-invgen/down_true-unreach-call_true-termination.i timeout (error (143)) 301    239    1431015424 true 13.7  7.64 409976832 timeout (error (143)) 301    227    1574141952 timeout (error (143)) 301    233    1677381632 timeout (error (143)) 301    232    1687752704
loop-invgen/heapsort_true-unreach-call_true-termination.i timeout (error (143)) 300    270    1450053632 true 175    125    1858871296 true 90.9  63.7  1174523904 true 97.3  66.8  1179811840 true 91.6  63.8  1205309440
loop-invgen/string_concat-noarr_true-unreach-call_true-termination.i timeout (error (143)) 301    259    1900777472 true 14.6  8.07 425467904 timeout (error (143)) 301    246    1676169216 timeout (error (143)) 301    247    1544359936 timeout (error (143)) 301    247    1532424192
loop-new/gauss_sum_true-unreach-call_true-termination.i timeout (error (143)) 300    250    1368330240 true 19.1  13.0  439808000 true 30.8  25.2  442216448 true 26.1  20.3  442933248 true 37.1  31.1  438534144
loop-new/gauss_sum_true-unreach-call.i.p+cfa-reducer.c timeout (error (143)) 300    255    1383497728 true 25.1  19.1  511803392 true 24.7  18.9  443338752 true 19.4  13.5  450125824 true 27.2  21.4  455503872
loop-new/gauss_sum_true-unreach-call.i.p+lhb-reducer.c timeout (error (143)) 301    254    1446060032 true 26.8  19.9  586735616 true 36.4  30.5  422621184 true 28.8  22.1  598851584 true 28.6  22.2  507490304
loop-new/gauss_sum_true-unreach-call.i.v+cfa-reducer.c timeout (error (143)) 301    254    1421627392 true 22.9  17.1  510652416 true 20.3  14.6  435974144 true 21.8  16.0  434757632 true 20.8  14.9  441266176
loop-industry-pattern/aiob_4_true-unreach-call.c.v+lhb-reducer.c timeout (error (143)) 306    276    1354121216 error: exception 26.1  14.3  836501504 true 256    224    1720471552 timeout (error (143)) 306    273    1764073472 true 271    236    1734344704
loop-industry-pattern/nested_true-unreach-call.c timeout (error (143)) 301    263    2894487552 true 38.5  21.5  1017917440 true 53.9  32.7  1134161920 true 52.9  32.2  1142046720 true 54.0  32.9  1136390144
loop-industry-pattern/ofuf_4_true-unreach-call.c true 15.3  8.31 487702528 error: exception 12.2  6.73 349638656 true 32.3  18.3  872669184 true 33.7  19.0  864505856 true 34.0  19.4  856301568
loop-industry-pattern/ofuf_5_true-unreach-call.c true 15.2  8.27 483315712 error: exception 12.2  6.72 332361728 true 32.1  18.2  852766720 true 32.7  18.3  861540352 true 35.1  19.5  851931136
loops/heavy_true-unreach-call.c out of memory 166    90.6  8000000000 timeout (error (143)) 306    204    7956226048 out of memory 186    124    8000000000 out of memory 162    101    8000004096 timeout (error (143)) 306    208    7904989184
loops/compact_false-unreach-call.c timeout 321    254    4579930112 timeout (error (143)) 308    254    3958611968 timeout (error (143)) 308    252    3969179648 timeout (error (143)) 309    246    4281008128 timeout (error (143)) 310    243    4236414976
loops/heavy_false-unreach-call.c out of memory 152    92.1  8000000000 out of memory 199    138    8000000000 timeout (error (143)) 306    204    7822200832 timeout (error (143)) 306    208    7999352832 timeout (error (143)) 306    206    7914733568
loop-invariants/bin-suffix-5_true-unreach-call_true-valid-memsafety_true-no-overflow_false-termination.c unknown: overapproxcex 7.46 4.12 247320576 false 7.34 4.06 243023872 false 8.59 4.77 254779392 false 7.52 4.19 241532928 false 8.01 4.38 248156160
loop-invariants/even_true-unreach-call_true-valid-memsafety_true-no-overflow_false-termination.c timeout (error (143)) 301    239    1363615744 true 10.6  5.88 298033152 true 11.4  6.30 296337408 true 11.1  6.11 371888128 true 10.5  5.81 296800256
loop-invariants/mod4_true-unreach-call_true-valid-memsafety_true-no-overflow_false-termination.c timeout (error (143)) 301    231    1333923840 true 10.2  5.65 310677504 true 10.4  5.61 299909120 true 11.8  6.26 368316416 true 10.4  5.80 290557952
loop-invariants/odd_true-unreach-call_true-valid-memsafety_true-no-overflow_false-termination.c timeout (error (143)) 301    231    1353232384 true 11.4  6.35 325660672 true 12.7  6.98 308502528 true 12.6  6.89 343695360 true 11.2  6.19 294834176
../../../trunk/examples/svcomp/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
total 607 105000 75800 1757748695040 607 179000 144000 2048057221120 607 147000 112000 2087647670272 607 167000 136000 2048724615168 607 156000 113000 2474190446592
    correct results 0 0 0 0 0
        correct true 0 0 0 0 0
        correct false 0 0 0 0 0
    incorrect results 0 0 0 0 0
        incorrect true 0 0 0 0 0
        incorrect false 0 0 0 0 0
Run set Automizer Taipan Taipan-EXP Taipan-INT Taipan-INT-LIM