Tool ULTIMATE Automizer 0.1.23-dd2f093f
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-07-23 18:06:06 CEST
Run set Automizer Taipan
Options -tc ../../../trunk/examples/toolchains/AutomizerCInline.xml --generate-csv --csv-dir csv -s ../../../trunk/examples/settings/default/automizer/svcomp-Reach-64bit-Automizer_Default.epf -tc ../../../trunk/examples/toolchains/AutomizerCInline.xml --generate-csv --csv-dir csv -s ../../../trunk/examples/settings/default/taipan/svcomp-Reach-64bit-Taipan_Default-old.epf
../../../trunk/examples/svcomp/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
loops/insertion_sort_false-unreach-call_true-termination.i false 109    76.3  1270628352 timeout (error (143)) 301    279    1318174720
loops/sum03_false-unreach-call_true-termination.i false 106    95.1  755146752 timeout (error (143)) 301    290    873664512
loops/eureka_01_true-unreach-call.i out of memory 212    139    8000004096 timeout (error (143)) 301    257    1239400448
loops/eureka_05_true-unreach-call_true-termination.i true 152    117    1532137472 timeout (error (143)) 301    250    1697501184
loops/invert_string_true-unreach-call_true-termination.i true 127    103    1287823360 timeout (error (143)) 302    273    1341054976
loop-acceleration/functions_true-unreach-call1_true-termination.i timeout (error (143)) 306    290    1166262272 true 11.9  6.59 320552960
loop-acceleration/overflow_true-unreach-call1.i timeout (error (143)) 303    293    823717888 true 9.36 5.19 275836928
loop-acceleration/simple_true-unreach-call1.i timeout (error (143)) 306    297    782069760 true 10.3  5.69 288137216
loop-acceleration/simple_true-unreach-call3_true-termination.i timeout (error (143)) 306    297    776413184 true 10.8  6.01 301645824
loop-invgen/down_true-unreach-call_true-termination.i timeout (error (143)) 301    238    1494650880 true 12.6  7.08 376856576
loop-invgen/heapsort_true-unreach-call_true-termination.i true 81.6  53.6  1175273472 timeout (error (143)) 302    238    1649086464
loop-invgen/string_concat-noarr_true-unreach-call_true-termination.i timeout (error (143)) 301    257    2465288192 true 14.1  7.88 389394432
loop-new/gauss_sum_true-unreach-call_true-termination.i timeout (error (143)) 301    251    1366654976 true 16.4  10.5  420532224
loop-industry-pattern/nested_true-unreach-call.c timeout (error (143)) 301    263    2881732608 true 34.8  19.6  981827584
loops/heavy_true-unreach-call.c out of memory 191    109    8000000000 timeout (error (143)) 306    247    6753173504
loops/heavy_false-unreach-call.c out of memory 207    115    8000000000 timeout (error (143)) 306    245    6751031296
eca-rers2012/Problem01_label15_false-unreach-call_false-termination.c false 48.2  28.8  1021571072 timeout (error (143)) 302    262    2919559168
eca-rers2012/Problem01_label20_false-unreach-call_false-termination.c false 69.5  41.3  1212923904 timeout (error (143)) 302    260    2953887744
eca-rers2012/Problem01_label21_false-unreach-call_false-termination.c false 54.7  32.9  1201090560 timeout (error (143)) 302    250    2908065792
eca-rers2012/Problem01_label32_false-unreach-call_false-termination.c false 51.8  31.3  1114001408 timeout (error (143)) 301    267    2898731008
eca-rers2012/Problem01_label33_false-unreach-call_false-termination.c false 47.5  28.9  1071063040 timeout (error (143)) 301    270    2902466560
eca-rers2012/Problem01_label35_false-unreach-call_false-termination.c false 46.0  27.6  1073680384 timeout (error (143)) 301    263    2906443776
eca-rers2012/Problem01_label37_false-unreach-call_false-termination.c false 48.3  29.0  1122619392 timeout (error (143)) 303    260    2904764416
eca-rers2012/Problem01_label38_false-unreach-call_false-termination.c false 55.4  33.7  1187524608 timeout (error (143)) 302    245    2910453760
eca-rers2012/Problem01_label44_false-unreach-call_false-termination.c false 49.7  29.8  1092116480 timeout (error (143)) 302    267    2902626304
eca-rers2012/Problem01_label47_false-unreach-call_false-termination.c false 49.7  29.3  1050136576 timeout (error (143)) 301    253    2936205312
eca-rers2012/Problem01_label50_false-unreach-call_false-termination.c false 47.8  28.9  1035481088 timeout (error (143)) 302    259    2910785536
eca-rers2012/Problem01_label56_false-unreach-call_false-termination.c false 51.4  31.2  1195368448 timeout (error (143)) 302    258    2920697856
eca-rers2012/Problem01_label57_false-unreach-call_false-termination.c false 54.8  32.4  1217568768 timeout (error (143)) 302    246    2909310976
eca-rers2012/Problem02_label13_false-unreach-call_false-termination.c false 35.1  20.3  890171392 error: exception 50.1  32.1  2849153024
eca-rers2012/Problem02_label16_false-unreach-call_false-termination.c false 29.4  17.0  879190016 error: exception 139    110    2884173824
eca-rers2012/Problem02_label43_false-unreach-call_false-termination.c false 29.2  16.9  878424064 error: exception 57.1  36.1  2856468480
eca-rers2012/Problem02_label44_false-unreach-call_false-termination.c false 39.9  23.4  1017380864 error: exception 56.7  37.5  2855940096
eca-rers2012/Problem02_label45_false-unreach-call_false-termination.c false 45.1  26.7  1063215104 error: exception 134    104    2893635584
eca-rers2012/Problem02_label50_false-unreach-call_false-termination.c false 47.8  27.6  1053102080 error: exception 151    124    2901962752
eca-rers2012/Problem02_label59_false-unreach-call_false-termination.c false 62.8  37.3  1169424384 error: exception 103    80.4  2890100736
eca-rers2012/Problem03_label31_false-unreach-call.c false 196    135    4948307968 timeout (error (143)) 306    289    2919223296
eca-rers2012/Problem03_label39_false-unreach-call.c timeout 322    214    7347871744 timeout (error (143)) 301    280    2906427392
eca-rers2012/Problem03_label43_false-unreach-call.c false 136    88.6  2905911296 timeout (error (143)) 302    280    2948395008
eca-rers2012/Problem03_label50_false-unreach-call.c false 188    130    4365660160 timeout (error (143)) 303    279    2908426240
eca-rers2012/Problem04_label13_false-unreach-call.c timeout (error: exception) 304    225    4404125696 timeout (error (143)) 302    268    2968408064
eca-rers2012/Problem04_label58_false-unreach-call_false-termination.c timeout (error: exception) 302    227    4501647360 timeout (error (143)) 302    266    2992930816
eca-rers2012/Problem06_label00_false-unreach-call.c timeout 321    223    5647024128 timeout (error (143)) 305    257    3071062016
eca-rers2012/Problem06_label36_false-unreach-call.c timeout 322    231    5362909184 timeout (error (143)) 303    261    3053264896
eca-rers2012/Problem06_label38_false-unreach-call.c timeout 322    229    5413249024 timeout (error (143)) 305    260    3053740032
eca-rers2012/Problem06_label48_false-unreach-call.c timeout 322    220    5691793408 timeout (error (143)) 306    261    3033624576
eca-rers2012/Problem08_label02_false-unreach-call.c timeout (error (143)) 306    221    5498707968 timeout (error: exception) 303    228    4868468736
eca-rers2012/Problem08_label29_false-unreach-call.c timeout (error (143)) 306    226    5492928512 timeout (error: exception) 304    232    5082906624
eca-rers2012/Problem08_label43_false-unreach-call.c timeout (error (143)) 308    224    5544763392 timeout (error: exception) 302    231    4866293760
eca-rers2012/Problem08_label50_false-unreach-call.c timeout (error (143)) 306    228    5498839040 timeout 322    237    6191681536
eca-rers2012/Problem10_label12_false-unreach-call.c false 71.7  46.2  1331503104 timeout (error (143)) 301    238    3012796416
eca-rers2012/Problem10_label15_false-unreach-call.c false 58.2  37.6  1203380224 timeout (error (143)) 301    247    2983526400
eca-rers2012/Problem10_label24_false-unreach-call.c false 85.5  55.2  1336451072 timeout (error (143)) 302    241    2994991104
eca-rers2012/Problem10_label26_false-unreach-call.c false 55.1  33.1  1149894656 timeout (error (143)) 302    236    2979688448
eca-rers2012/Problem10_label28_false-unreach-call.c false 63.8  38.8  1204813824 timeout (error (143)) 302    239    3003367424
eca-rers2012/Problem10_label29_false-unreach-call.c false 56.7  35.9  1206243328 timeout (error (143)) 301    242    2989920256
eca-rers2012/Problem10_label41_false-unreach-call.c false 74.9  47.6  1222828032 timeout (error (143)) 301    228    2965413888
eca-rers2012/Problem10_label42_false-unreach-call.c false 46.8  28.2  909443072 timeout (error (143)) 301    225    2997567488
eca-rers2012/Problem10_label47_false-unreach-call.c false 48.1  30.4  1094201344 timeout (error (143)) 301    218    2962051072
eca-rers2012/Problem10_label48_false-unreach-call.c false 71.3  45.5  1349890048 timeout (error (143)) 301    243    2968604672
eca-rers2012/Problem10_label50_false-unreach-call.c false 75.5  48.6  1346359296 timeout (error (143)) 300    224    3008372736
eca-rers2012/Problem10_label55_false-unreach-call.c false 45.7  27.3  1065230336 timeout (error (143)) 301    242    2986201088
eca-rers2012/Problem10_label57_false-unreach-call.c false 68.1  41.0  1180852224 timeout (error (143)) 302    241    2971697152
eca-rers2012/Problem10_label58_false-unreach-call.c false 61.4  37.6  1213915136 timeout (error (143)) 302    239    3044093952
eca-rers2012/Problem11_label08_false-unreach-call.c false 80.8  51.7  1291612160 timeout (error (143)) 302    251    3928969216
eca-rers2012/Problem11_label14_false-unreach-call.c false 63.2  40.2  1250304000 timeout (error (143)) 301    249    4148199424
eca-rers2012/Problem11_label15_false-unreach-call.c false 49.3  29.9  1115824128 timeout (error (143)) 306    245    3943845888
eca-rers2012/Problem11_label20_false-unreach-call.c false 104    71.6  1581469696 timeout (error (143)) 302    238    3716472832
eca-rers2012/Problem11_label29_false-unreach-call.c false 146    108    1930485760 timeout (error (143)) 303    250    4112150528
eca-rers2012/Problem11_label36_false-unreach-call.c false 35.2  21.0  945770496 timeout (error (143)) 303    237    3792171008
eca-rers2012/Problem11_label39_false-unreach-call.c false 151    118    1662464000 timeout (error (143)) 303    252    3791814656
eca-rers2012/Problem11_label42_false-unreach-call.c false 90.0  57.3  1459580928 timeout (error (143)) 310    249    4109303808
eca-rers2012/Problem11_label43_false-unreach-call.c false 57.2  35.0  1235075072 timeout (error (143)) 306    246    3973300224
eca-rers2012/Problem11_label49_false-unreach-call.c false 141    114    1368944640 timeout (error (143)) 301    247    3850653696
eca-rers2012/Problem11_label51_false-unreach-call.c false 68.8  43.0  1289043968 timeout (error (143)) 304    249    4404420608
eca-rers2012/Problem12_label03_false-unreach-call.c timeout (error (143)) 301    230    4372725760 timeout 322    214    7709614080
eca-rers2012/Problem12_label06_false-unreach-call.c timeout (error (143)) 303    232    4805033984 out of memory 265    190    8000000000
eca-rers2012/Problem12_label07_false-unreach-call.c timeout (error (143)) 301    233    4448120832 out of memory 276    208    8000000000
eca-rers2012/Problem12_label08_false-unreach-call.c timeout (error (143)) 302    236    4057853952 out of memory 194    133    8000000000
eca-rers2012/Problem12_label20_false-unreach-call.c false 287    219    4359430144 timeout (error (143)) 309    205    7642865664
eca-rers2012/Problem12_label34_false-unreach-call.c timeout (error (143)) 300    238    3729162240 out of memory 293    208    8000000000
eca-rers2012/Problem12_label35_false-unreach-call.c false 144    103    2056368128 timeout (error (143)) 308    199    6689415168
eca-rers2012/Problem12_label38_false-unreach-call.c false 278    211    4543172608 timeout 321    209    7745556480
eca-rers2012/Problem12_label40_false-unreach-call.c false 242    183    3848802304 timeout (error (143)) 311    213    7774138368
eca-rers2012/Problem12_label42_false-unreach-call.c timeout (error (143)) 301    229    5777268736 out of memory 283    193    8000000000
eca-rers2012/Problem12_label48_false-unreach-call.c timeout (error (143)) 302    233    4460244992 out of memory 295    202    8000000000
eca-rers2012/Problem12_label55_false-unreach-call.c false 236    177    4466094080 timeout 320    216    6721392640
eca-rers2012/Problem14_label02_false-unreach-call_false-termination.c false 216    160    2888544256 timeout (error (143)) 301    243    3122794496
eca-rers2012/Problem14_label08_false-unreach-call_false-termination.c false 112    71.8  2466938880 timeout (error (143)) 301    243    3054522368
eca-rers2012/Problem14_label10_false-unreach-call_false-termination.c false 104    68.2  2255843328 timeout (error (143)) 307    237    3112239104
eca-rers2012/Problem14_label11_false-unreach-call_false-termination.c false 110    69.2  2063966208 timeout (error (143)) 301    241    3063382016
eca-rers2012/Problem14_label12_false-unreach-call_false-termination.c false 135    87.5  2895392768 timeout (error (143)) 301    241    3138437120
eca-rers2012/Problem14_label13_false-unreach-call_false-termination.c false 117    75.5  2340200448 timeout (error (143)) 302    230    3167240192
eca-rers2012/Problem14_label18_false-unreach-call_false-termination.c false 124    82.9  2853851136 timeout (error (143)) 303    240    3032371200
eca-rers2012/Problem14_label22_false-unreach-call_false-termination.c false 145    96.0  2858975232 timeout (error (143)) 303    237    3151110144
eca-rers2012/Problem14_label27_false-unreach-call_false-termination.c false 109    72.7  2651803648 timeout (error (143)) 301    235    3071889408
eca-rers2012/Problem14_label28_false-unreach-call_false-termination.c false 127    81.8  2846253056 timeout (error (143)) 301    223    2992619520
eca-rers2012/Problem14_label29_false-unreach-call_false-termination.c false 124    82.7  2935185408 timeout (error (143)) 300    235    3066425344
eca-rers2012/Problem14_label31_false-unreach-call_false-termination.c false 97.5  63.2  2047488000 timeout (error (143)) 301    237    3065450496
eca-rers2012/Problem14_label34_false-unreach-call_false-termination.c false 124    80.4  2872328192 timeout (error (143)) 304    243    3103703040
eca-rers2012/Problem14_label37_false-unreach-call_false-termination.c false 118    78.5  2582450176 timeout (error (143)) 305    224    3115122688
eca-rers2012/Problem14_label39_false-unreach-call_false-termination.c false 123    79.4  2666446848 timeout (error (143)) 302    235    3063795712
eca-rers2012/Problem14_label40_false-unreach-call_false-termination.c false 112    75.2  2506911744 timeout (error (143)) 301    231    3077193728
eca-rers2012/Problem14_label41_false-unreach-call_false-termination.c false 133    90.0  2882207744 timeout (error (143)) 301    238    3053752320
eca-rers2012/Problem14_label43_false-unreach-call_false-termination.c false 135    88.6  2918649856 timeout (error (143)) 302    239    3056939008
eca-rers2012/Problem14_label44_false-unreach-call_false-termination.c false 122    81.8  2824822784 timeout (error (143)) 302    244    3027513344
eca-rers2012/Problem14_label52_false-unreach-call_false-termination.c false 101    65.4  2255609856 timeout (error (143)) 301    213    3030798336
eca-rers2012/Problem14_label54_false-unreach-call_false-termination.c false 152    101    2867236864 timeout (error (143)) 301    240    3061317632
eca-rers2012/Problem14_label56_false-unreach-call_false-termination.c false 105    68.3  2507816960 timeout (error (143)) 302    240    3050119168
eca-rers2012/Problem14_label57_false-unreach-call_false-termination.c false 110    71.9  2537320448 timeout (error (143)) 301    225    3089444864
eca-rers2012/Problem14_label58_false-unreach-call_false-termination.c false 132    91.2  2881261568 timeout (error (143)) 301    238    3040808960
eca-rers2012/Problem15_label03_false-unreach-call.c false 249    202    2437660672 timeout (error (143)) 300    226    3154259968
eca-rers2012/Problem15_label07_false-unreach-call.c false 263    201    2744025088 timeout (error (143)) 302    237    3155173376
eca-rers2012/Problem15_label09_false-unreach-call.c false 242    187    2400772096 timeout (error (143)) 302    260    3091333120
eca-rers2012/Problem15_label14_false-unreach-call.c false 218    172    2790137856 timeout (error (143)) 301    261    3014234112
eca-rers2012/Problem15_label18_false-unreach-call_false-termination.c false 189    144    2302091264 timeout (error (143)) 301    240    3097587712
eca-rers2012/Problem15_label22_false-unreach-call.c false 177    133    2856697856 timeout (error (143)) 302    234    3093331968
eca-rers2012/Problem15_label25_false-unreach-call.c false 225    175    2604539904 timeout (error (143)) 302    231    3105656832
eca-rers2012/Problem15_label29_false-unreach-call.c false 174    130    2252427264 timeout (error (143)) 301    234    3136798720
eca-rers2012/Problem15_label30_false-unreach-call.c false 256    210    2507612160 timeout (error (143)) 301    213    3109724160
eca-rers2012/Problem15_label33_false-unreach-call.c false 198    153    2142736384 timeout (error (143)) 301    231    3148201984
eca-rers2012/Problem15_label37_false-unreach-call.c false 202    148    2603163648 timeout (error (143)) 302    271    3062427648
eca-rers2012/Problem15_label38_false-unreach-call.c false 189    143    2527109120 timeout (error (143)) 303    238    3119779840
eca-rers2012/Problem15_label40_false-unreach-call.c false 149    108    1819209728 timeout (error (143)) 306    237    3068878848
eca-rers2012/Problem15_label41_false-unreach-call.c false 165    121    1990201344 timeout (error (143)) 301    238    3072057344
eca-rers2012/Problem15_label45_false-unreach-call.c false 219    174    2273112064 timeout (error (143)) 300    211    2991566848
eca-rers2012/Problem15_label51_false-unreach-call.c false 224    182    2171973632 timeout (error (143)) 305    273    3025281024
eca-rers2012/Problem16_label03_false-unreach-call.c false 299    228    2983628800 timeout (error (143)) 301    211    3030872064
eca-rers2012/Problem16_label04_false-unreach-call.c false 278    207    3036033024 timeout (error (143)) 301    233    3002638336
eca-rers2012/Problem16_label05_false-unreach-call.c timeout (false) 303    239    3044917248 timeout (error (143)) 301    237    3089993728
eca-rers2012/Problem16_label06_false-unreach-call.c false 275    210    3011739648 timeout (error (143)) 306    247    2971779072
eca-rers2012/Problem16_label15_false-unreach-call.c false 243    182    2975301632 timeout (error (143)) 302    237    3064242176
eca-rers2012/Problem16_label20_false-unreach-call.c timeout (false) 300    231    2978189312 timeout (error (143)) 306    226    3121209344
eca-rers2012/Problem16_label33_false-unreach-call.c false 281    213    3155791872 timeout (error (143)) 301    235    3061329920
eca-rers2012/Problem16_label37_false-unreach-call.c false 231    171    2921701376 timeout (error (143)) 305    242    3037896704
eca-rers2012/Problem16_label38_false-unreach-call.c false 244    187    3089948672 timeout (error (143)) 301    239    3086475264
eca-rers2012/Problem16_label41_false-unreach-call.c false 249    179    3092414464 timeout (error (143)) 301    236    3028045824
eca-rers2012/Problem16_label43_false-unreach-call.c false 280    209    2949283840 timeout (error (143)) 305    240    3119439872
eca-rers2012/Problem16_label44_false-unreach-call.c false 261    198    2920284160 timeout (error (143)) 301    237    3104501760
eca-rers2012/Problem16_label51_false-unreach-call.c false 271    206    2946506752 timeout (error (143)) 301    238    3107495936
eca-rers2012/Problem16_label52_false-unreach-call.c false 225    165    2923372544 timeout (error (143)) 301    227    3030085632
eca-rers2012/Problem16_label54_false-unreach-call.c false 275    209    3036934144 timeout (error (143)) 301    231    3071184896
eca-rers2012/Problem17_label55_false-unreach-call.c false 245    191    2718511104 timeout (error (143)) 306    231    3059621888
eca-rers2012/Problem18_label08_false-unreach-call.c false 294    225    4363534336 timeout (error (143)) 301    226    3064578048
eca-rers2012/Problem18_label10_false-unreach-call.c timeout (false) 303    232    3968540672 timeout (error (143)) 302    218    3145740288
eca-rers2012/Problem18_label25_false-unreach-call.c false 247    187    3834732544 timeout (error (143)) 302    232    3099385856
eca-rers2012/Problem18_label27_false-unreach-call.c false 256    194    3261001728 timeout (error (143)) 307    236    3080581120
eca-rers2012/Problem18_label33_false-unreach-call.c false 239    181    4164235264 timeout (error (143)) 301    232    3039887360
eca-rers2012/Problem18_label39_false-unreach-call.c false 289    220    4290072576 timeout (error (143)) 300    224    3043475456
eca-rers2012/Problem18_label45_false-unreach-call.c false 218    159    3872735232 timeout (error (143)) 301    229    3012284416
eca-rers2012/Problem18_label49_false-unreach-call.c false 271    201    4108251136 timeout (error (143)) 302    227    3101085696
eca-rers2012/Problem18_label52_false-unreach-call.c false 285    218    4073369600 timeout (error (143)) 301    226    3092770816
eca-rers2012/Problem18_label55_false-unreach-call.c false 235    176    3639214080 timeout (error (143)) 301    225    3063099392
eca-rers2012/Problem19_label14_false-unreach-call.c timeout (error (143)) 300    246    3316375552 timeout 321    237    5995970560
eca-rers2012/Problem19_label18_false-unreach-call.c timeout (error (143)) 300    243    3238014976 timeout 321    232    6021709824
eca-rers2012/Problem19_label21_false-unreach-call.c timeout (error: exception) 301    241    3928137728 timeout (error (143)) 302    206    5915832320
eca-rers2012/Problem19_label22_false-unreach-call.c timeout (error (143)) 301    235    3870892032 timeout 321    239    5228724224
eca-rers2012/Problem19_label26_false-unreach-call.c timeout (error (143)) 301    239    3869696000 timeout 321    232    5953925120
eca-rers2012/Problem19_label27_false-unreach-call.c timeout (error (143)) 301    241    3990884352 timeout 321    247    4650504192
eca-rers2012/Problem19_label29_false-unreach-call.c timeout (error (143)) 301    237    4270825472 timeout 320    239    4486750208
eca-rers2012/Problem19_label32_false-unreach-call.c timeout (error (143)) 307    239    4339269632 timeout 321    243    6152970240
eca-rers2012/Problem19_label42_false-unreach-call.c timeout (error (143)) 301    242    3560300544 timeout 321    243    6153814016
eca-rers2012/Problem19_label47_false-unreach-call.c timeout (error (143)) 301    241    3827363840 timeout 322    242    6320209920
eca-rers2012/Problem19_label53_false-unreach-call.c timeout (error (143)) 301    242    3930419200 timeout 321    228    6174830592
eca-rers2012/Problem01_label01_true-unreach-call_false-termination.c true 65.2  39.0  1193852928 timeout (error (143)) 307    273    2919227392
eca-rers2012/Problem01_label02_true-unreach-call_false-termination.c true 62.6  37.5  1179860992 timeout (error (143)) 301    264    2903654400
eca-rers2012/Problem01_label03_true-unreach-call_false-termination.c true 65.2  41.2  1172430848 timeout (error (143)) 302    260    2919915520
eca-rers2012/Problem01_label04_true-unreach-call_false-termination.c true 64.9  39.7  1218351104 timeout (error (143)) 301    269    2934190080
eca-rers2012/Problem01_label05_true-unreach-call_false-termination.c true 67.7  40.5  1193271296 timeout (error (143)) 302    248    2943049728
eca-rers2012/Problem01_label08_true-unreach-call_false-termination.c true 48.6  28.5  1045704704 timeout (error (143)) 302    260    2935615488
eca-rers2012/Problem01_label11_true-unreach-call_false-termination.c true 58.1  34.0  1163829248 timeout (error (143)) 306    269    2922422272
eca-rers2012/Problem01_label13_true-unreach-call_false-termination.c true 31.3  18.2  896126976 timeout (error (143)) 302    262    2924285952
eca-rers2012/Problem01_label14_true-unreach-call_false-termination.c true 62.5  39.3  1188569088 timeout (error (143)) 302    260    2911420416
eca-rers2012/Problem01_label17_true-unreach-call_false-termination.c true 51.4  30.3  1081438208 timeout (error (143)) 301    261    2903285760
eca-rers2012/Problem01_label19_true-unreach-call_false-termination.c true 31.8  19.1  908009472 timeout (error (143)) 301    269    2899177472
eca-rers2012/Problem01_label22_true-unreach-call_false-termination.c true 51.3  30.5  1161768960 timeout (error (143)) 302    262    2910662656
eca-rers2012/Problem01_label23_true-unreach-call_false-termination.c true 52.1  30.6  1054588928 timeout (error (143)) 302    263    2905038848
eca-rers2012/Problem01_label25_true-unreach-call_false-termination.c true 54.1  31.3  1030426624 timeout (error (143)) 303    245    2908704768
eca-rers2012/Problem01_label27_true-unreach-call_false-termination.c true 61.0  36.2  1182756864 timeout (error (143)) 301    248    2934816768
eca-rers2012/Problem01_label28_true-unreach-call_false-termination.c true 66.1  40.3  1199095808 timeout (error (143)) 302    244    2905907200
eca-rers2012/Problem01_label29_true-unreach-call_false-termination.c true 68.3  41.9  1201946624 timeout (error (143)) 303    262    2925395968
eca-rers2012/Problem01_label30_true-unreach-call_false-termination.c true 51.0  31.1  1200263168 timeout (error (143)) 302    259    2924433408
eca-rers2012/Problem01_label34_true-unreach-call_false-termination.c true 71.1  40.7  1186172928 timeout (error (143)) 303    264    2905010176
eca-rers2012/Problem01_label36_true-unreach-call_false-termination.c true 50.6  30.7  1144369152 timeout (error (143)) 302    255    2930368512
eca-rers2012/Problem01_label39_true-unreach-call_false-termination.c true 55.5  34.8  1156599808 timeout (error (143)) 301    261    2918461440
eca-rers2012/Problem01_label40_true-unreach-call_false-termination.c true 37.9  22.7  1009082368 timeout (error (143)) 302    246    2908672000
eca-rers2012/Problem01_label41_true-unreach-call_false-termination.c true 69.7  43.3  1230790656 timeout (error (143)) 307    264    2907512832
eca-rers2012/Problem01_label42_true-unreach-call_false-termination.c true 60.2  35.6  1184239616 timeout (error (143)) 302    255    2941173760
eca-rers2012/Problem01_label43_true-unreach-call_false-termination.c true 49.7  30.1  1166815232 timeout (error (143)) 302    265    2898001920
eca-rers2012/Problem01_label45_true-unreach-call_false-termination.c true 52.0  31.3  1200562176 timeout (error (143)) 301    260    2933641216
eca-rers2012/Problem01_label46_true-unreach-call_false-termination.c true 53.4  31.8  1126023168 timeout (error (143)) 307    272    2929909760
eca-rers2012/Problem01_label48_true-unreach-call_false-termination.c true 74.7  46.1  1357660160 timeout (error (143)) 302    239    2913816576
eca-rers2012/Problem01_label49_true-unreach-call_false-termination.c true 48.8  29.3  1056112640 timeout (error (143)) 301    258    2920038400
eca-rers2012/Problem01_label52_true-unreach-call_false-termination.c true 30.5  17.9  871796736 timeout (error (143)) 301    267    2912956416
eca-rers2012/Problem01_label53_true-unreach-call_false-termination.c true 52.0  30.8  1106362368 timeout (error (143)) 302    258    2926161920
eca-rers2012/Problem01_label55_true-unreach-call_false-termination.c true 48.8  29.4  1062219776 timeout (error (143)) 302    263    2916646912
eca-rers2012/Problem01_label58_true-unreach-call_false-termination.c true 53.4  31.7  1039527936 timeout (error (143)) 301    260    2904281088
eca-rers2012/Problem01_label59_true-unreach-call_false-termination.c true 53.9  32.4  1188499456 timeout (error (143)) 303    268    2904522752
eca-rers2012/Problem02_label00_true-unreach-call_false-termination.c true 60.9  36.2  1187876864 error: exception 188    155    2899763200
eca-rers2012/Problem02_label01_true-unreach-call_false-termination.c true 55.5  32.7  1134432256 error: exception 74.7  49.1  2877054976
eca-rers2012/Problem02_label02_true-unreach-call_false-termination.c true 73.5  41.0  1029476352 error: exception 57.0  37.1  2857840640
eca-rers2012/Problem02_label03_true-unreach-call_false-termination.c true 62.4  36.1  1109422080 error: exception 174    142    2895577088
eca-rers2012/Problem02_label04_true-unreach-call_false-termination.c true 53.3  31.9  1194143744 error: exception 134    106    2896703488
eca-rers2012/Problem02_label06_true-unreach-call_false-termination.c true 59.6  35.3  1185976320 error: exception 208    173    2905497600
eca-rers2012/Problem02_label07_true-unreach-call_false-termination.c true 33.3  19.6  881836032 error: exception 79.7  51.8  2879049728
eca-rers2012/Problem02_label08_true-unreach-call_false-termination.c true 38.6  22.2  887500800 error: exception 76.6  49.8  2866434048
eca-rers2012/Problem02_label09_true-unreach-call_false-termination.c true 38.4  21.6  884420608 error: exception 80.3  51.7  2876825600
eca-rers2012/Problem02_label10_true-unreach-call_false-termination.c true 54.4  31.8  1032863744 error: exception 185    155    2907521024
eca-rers2012/Problem02_label11_true-unreach-call_false-termination.c true 31.1  18.3  914886656 error: exception 73.5  47.0  2873171968
eca-rers2012/Problem02_label12_true-unreach-call_false-termination.c true 36.2  21.2  890994688 error: exception 59.3  38.9  2850332672
eca-rers2012/Problem02_label15_true-unreach-call_false-termination.c true 34.9  20.6  882638848 error: exception 177    142    2908680192
eca-rers2012/Problem02_label17_true-unreach-call_false-termination.c true 33.6  19.9  886935552 error: exception 163    127    2902708224
eca-rers2012/Problem02_label19_true-unreach-call_false-termination.c true 37.9  22.6  1021526016 error: exception 65.0  42.4  2863603712
eca-rers2012/Problem02_label21_true-unreach-call_false-termination.c true 50.1  30.1  1103790080 error: exception 66.7  42.4  2867900416
eca-rers2012/Problem02_label22_true-unreach-call_false-termination.c true 35.1  20.7  921571328 error: exception 151    122    2895224832
eca-rers2012/Problem02_label23_true-unreach-call_false-termination.c true 48.8  28.4  1003888640 error: exception 165    138    2893074432
eca-rers2012/Problem02_label24_true-unreach-call_false-termination.c true 49.9  29.7  1187008512 error: exception 142    116    2889572352
eca-rers2012/Problem02_label25_true-unreach-call_false-termination.c true 39.6  22.6  894558208 error: exception 73.0  47.8  2856189952
eca-rers2012/Problem02_label26_true-unreach-call_false-termination.c true 38.2  22.4  972877824 error: exception 160    135    2883280896
eca-rers2012/Problem02_label27_true-unreach-call_false-termination.c true 34.7  20.3  899645440 error: exception 126    99.6  2880749568
eca-rers2012/Problem02_label28_true-unreach-call_false-termination.c true 35.4  20.2  869339136 error: exception 149    125    2890452992
eca-rers2012/Problem02_label29_true-unreach-call_false-termination.c true 32.5  18.9  905973760 error: exception 54.1  34.7  2850734080
eca-rers2012/Problem02_label30_true-unreach-call_false-termination.c true 31.2  18.5  925577216 error: exception 72.5  47.6  2868076544
eca-rers2012/Problem02_label31_true-unreach-call_false-termination.c true 34.4  20.3  899006464 error: exception 68.8  43.9  2876436480
eca-rers2012/Problem02_label32_true-unreach-call_false-termination.c true 33.5  19.7  886493184 error: exception 64.0  41.8  2858283008
eca-rers2012/Problem02_label34_true-unreach-call_false-termination.c true 45.5  26.6  1034153984 error: exception 62.3  39.6  2875109376
eca-rers2012/Problem02_label35_true-unreach-call_false-termination.c true 32.9  19.1  888336384 error: exception 66.3  43.3  2861973504
eca-rers2012/Problem02_label36_true-unreach-call_false-termination.c true 35.0  20.5  885141504 error: exception 164    137    2890637312
eca-rers2012/Problem02_label37_true-unreach-call_false-termination.c true 35.1  20.7  914837504 error: exception 66.1  42.8  2869981184
eca-rers2012/Problem02_label39_true-unreach-call_false-termination.c true 74.4  43.9  1204727808 error: exception 168    134    2900307968
eca-rers2012/Problem02_label40_true-unreach-call_false-termination.c true 49.7  30.1  1074028544 error: exception 60.9  39.2  2872995840
eca-rers2012/Problem02_label41_true-unreach-call_false-termination.c true 28.1  16.3  869093376 error: exception 49.9  32.5  2856222720
eca-rers2012/Problem02_label42_true-unreach-call_false-termination.c true 40.1  24.0  1037684736 error: exception 56.7  37.0  2857746432
eca-rers2012/Problem02_label46_true-unreach-call_false-termination.c true 43.6  25.8  1034084352 error: exception 58.7  39.2  2865577984
eca-rers2012/Problem02_label47_true-unreach-call_false-termination.c true 28.8  16.4  881913856 error: exception 58.3  39.2  2857742336
eca-rers2012/Problem02_label48_true-unreach-call_false-termination.c true 34.6  20.0  867065856 error: exception 179    146    2896625664
eca-rers2012/Problem02_label49_true-unreach-call_false-termination.c true 45.7  27.1  1007247360 error: exception 171    137    2901962752
eca-rers2012/Problem02_label51_true-unreach-call_false-termination.c true 29.4  17.1  881709056 error: exception 151    121    2893479936
eca-rers2012/Problem02_label52_true-unreach-call_false-termination.c true 29.5  17.0  903069696 error: exception 170    141    2898546688
eca-rers2012/Problem02_label53_true-unreach-call_false-termination.c true 53.0  31.9  1178869760 error: exception 200    163    2904236032
eca-rers2012/Problem02_label54_true-unreach-call_false-termination.c true 49.2  29.9  1054924800 error: exception 66.3  43.5  2881306624
eca-rers2012/Problem02_label55_true-unreach-call_false-termination.c true 35.3  20.4  858275840 error: exception 156    124    2894360576
eca-rers2012/Problem02_label56_true-unreach-call_false-termination.c true 36.6  21.7  933736448 error: exception 73.1  48.3  2869706752
eca-rers2012/Problem03_label03_true-unreach-call.c timeout 322    213    6252437504 timeout (error (143)) 303    280    2961100800
eca-rers2012/Problem03_label08_true-unreach-call.c true 60.9  36.3  1207357440 timeout (error (143)) 302    277    2921967616
eca-rers2012/Problem03_label15_true-unreach-call.c out of memory 296    191    8000000000 timeout (error (143)) 305    281    2931322880
eca-rers2012/Problem03_label29_true-unreach-call.c true 242    163    6529495040 timeout (error (143)) 302    276    2918240256
eca-rers2012/Problem03_label32_true-unreach-call.c true 160    114    3710627840 timeout (error (143)) 302    275    2912235520
eca-rers2012/Problem03_label38_true-unreach-call.c true 82.9  51.7  1644736512 timeout (error (143)) 302    282    2918543360
eca-rers2012/Problem03_label56_true-unreach-call.c true 155    114    3060838400 timeout (error (143)) 305    286    2886012928
eca-rers2012/Problem03_label57_true-unreach-call.c true 149    98.1  4359741440 timeout (error (143)) 301    278    2940514304
eca-rers2012/Problem03_label58_true-unreach-call.c true 87.6  54.7  2379374592 timeout (error (143)) 304    283    2906218496
eca-rers2012/Problem03_label59_true-unreach-call.c out of memory 278    196    8000000000 timeout (error (143)) 304    275    2924814336
eca-rers2012/Problem04_label00_true-unreach-call.c true 254    181    4340789248 timeout (error (143)) 302    260    2992390144
eca-rers2012/Problem04_label05_true-unreach-call.c true 277    203    4231270400 timeout (error (143)) 303    265    2988761088
eca-rers2012/Problem04_label08_true-unreach-call.c true 280    204    4305207296 timeout (error (143)) 303    262    2988298240
eca-rers2012/Problem04_label20_true-unreach-call_false-termination.c true 237    166    4417646592 timeout (error (143)) 302    254    2998501376
eca-rers2012/Problem04_label21_true-unreach-call.c true 298    222    4199776256 timeout (error (143)) 303    260    2991976448
eca-rers2012/Problem04_label22_true-unreach-call.c true 281    207    4343816192 timeout (error (143)) 304    263    2993307648
eca-rers2012/Problem04_label25_true-unreach-call.c true 288    218    4294135808 timeout (error (143)) 302    260    2989490176
eca-rers2012/Problem04_label28_true-unreach-call.c true 284    206    4298625024 timeout (error (143)) 302    258    2997809152
eca-rers2012/Problem04_label29_true-unreach-call_false-termination.c true 241    171    4160712704 timeout (error (143)) 302    254    3014238208
eca-rers2012/Problem04_label30_true-unreach-call.c timeout (true) 301    229    4118728704 timeout (error (143)) 303    267    2978435072
eca-rers2012/Problem04_label33_true-unreach-call.c true 157    109    3303600128 timeout (error (143)) 302    260    2993590272
eca-rers2012/Problem04_label41_true-unreach-call.c true 281    207    4390215680 timeout (error (143)) 305    263    2985361408
eca-rers2012/Problem04_label42_true-unreach-call_false-termination.c true 291    215    4300701696 timeout (error (143)) 305    265    2989383680
eca-rers2012/Problem04_label48_true-unreach-call.c true 294    220    4415070208 timeout (error (143)) 302    269    2964324352
eca-rers2012/Problem04_label50_true-unreach-call.c true 254    183    3639812096 timeout (error (143)) 304    261    2987016192
eca-rers2012/Problem04_label51_true-unreach-call.c true 283    202    4329988096 timeout (error (143)) 302    269    2972442624
eca-rers2012/Problem04_label53_true-unreach-call.c true 171    123    3412414464 timeout (error (143)) 302    258    2985238528
eca-rers2012/Problem04_label59_true-unreach-call.c true 210    147    4273238016 timeout (error (143)) 302    263    2986979328
eca-rers2012/Problem06_label03_true-unreach-call.c timeout 321    224    5835362304 timeout (error (143)) 305    261    3041734656
eca-rers2012/Problem06_label14_true-unreach-call.c timeout 322    223    6090477568 timeout (error (143)) 306    268    3042422784
eca-rers2012/Problem08_label00_true-unreach-call.c timeout (error (143)) 306    223    5496905728 timeout (error: exception) 302    226    5198557184
eca-rers2012/Problem08_label11_true-unreach-call.c timeout (error (143)) 306    226    5491298304 timeout (error: exception) 302    226    5187174400
eca-rers2012/Problem08_label12_true-unreach-call.c timeout (error (143)) 305    230    5504765952 timeout (error: exception) 305    229    5083938816
eca-rers2012/Problem08_label17_true-unreach-call.c timeout (error (143)) 306    225    5511770112 timeout (error: exception) 301    225    5044858880
eca-rers2012/Problem08_label20_true-unreach-call.c timeout (error (143)) 306    223    5536735232 timeout 321    237    5693841408
eca-rers2012/Problem08_label30_true-unreach-call.c timeout (error (143)) 306    228    5539815424 timeout (error: exception) 301    225    4871319552
eca-rers2012/Problem08_label31_true-unreach-call.c timeout (error (143)) 305    225    5501915136 timeout (error: exception) 302    226    5196132352
eca-rers2012/Problem08_label36_true-unreach-call.c timeout (error (143)) 306    226    5495861248 timeout (error: exception) 301    227    5055762432
eca-rers2012/Problem08_label38_true-unreach-call.c timeout (error (143)) 306    221    5522350080 timeout (error: exception) 303    227    5178019840
eca-rers2012/Problem08_label40_true-unreach-call.c timeout (error (143)) 308    227    5544148992 timeout 322    239    5885644800
eca-rers2012/Problem08_label57_true-unreach-call.c timeout (error (143)) 306    226    5494726656 timeout (error: exception) 311    232    5604081664
eca-rers2012/Problem08_label58_true-unreach-call.c timeout (error (143)) 306    229    5496999936 timeout (error: exception) 305    228    5197500416
eca-rers2012/Problem10_label00_true-unreach-call.c true 61.3  37.2  1207074816 timeout (error (143)) 302    244    2976468992
eca-rers2012/Problem10_label01_true-unreach-call.c true 51.4  30.9  1095446528 timeout (error (143)) 301    237    2976698368
eca-rers2012/Problem10_label02_true-unreach-call.c true 62.2  37.7  1199898624 timeout (error (143)) 301    239    3007676416
eca-rers2012/Problem10_label07_true-unreach-call.c true 26.7  16.1  874377216 timeout (error (143)) 302    241    2977005568
eca-rers2012/Problem10_label08_true-unreach-call.c true 30.2  17.9  907091968 timeout (error (143)) 302    247    2989830144
eca-rers2012/Problem10_label11_true-unreach-call.c true 39.1  23.3  1039003648 timeout (error (143)) 302    244    3003224064
eca-rers2012/Problem10_label13_true-unreach-call.c true 73.3  46.6  1308635136 timeout (error (143)) 301    242    2998956032
eca-rers2012/Problem10_label14_true-unreach-call.c true 42.1  25.4  1064218624 timeout (error (143)) 301    229    2961526784
eca-rers2012/Problem10_label16_true-unreach-call.c true 50.8  30.3  1046650880 timeout (error (143)) 301    238    2966409216
eca-rers2012/Problem10_label17_true-unreach-call.c true 53.9  32.9  1040445440 timeout (error (143)) 302    240    2956054528
eca-rers2012/Problem10_label18_true-unreach-call.c true 47.4  28.9  1174867968 timeout (error (143)) 301    237    2966802432
eca-rers2012/Problem10_label23_true-unreach-call.c true 48.4  29.0  1033175040 timeout (error (143)) 301    238    2947424256
eca-rers2012/Problem10_label25_true-unreach-call.c true 63.7  39.0  1215115264 timeout (error (143)) 302    229    2961666048
eca-rers2012/Problem10_label27_true-unreach-call.c true 67.2  41.1  1226612736 timeout (error (143)) 302    233    2977611776
eca-rers2012/Problem10_label30_true-unreach-call.c true 47.7  28.4  1066094592 timeout (error (143)) 301    231    2966298624
eca-rers2012/Problem10_label31_true-unreach-call.c true 28.6  17.5  895115264 timeout (error (143)) 301    249    2980851712
eca-rers2012/Problem10_label33_true-unreach-call.c true 29.5  17.9  883552256 timeout (error (143)) 302    242    3011932160
eca-rers2012/Problem10_label36_true-unreach-call.c true 35.3  21.2  893382656 timeout (error (143)) 301    242    2974011392
eca-rers2012/Problem10_label38_true-unreach-call.c true 35.4  21.2  904347648 timeout (error (143)) 302    240    2958725120
eca-rers2012/Problem10_label39_true-unreach-call.c true 56.2  33.9  1114185728 timeout (error (143)) 301    235    3004833792
eca-rers2012/Problem10_label40_true-unreach-call.c true 55.7  32.8  1028972544 timeout (error (143)) 305    220    2995224576
eca-rers2012/Problem10_label43_true-unreach-call.c true 48.2  28.3  1036627968 timeout (error (143)) 301    222    2982588416
eca-rers2012/Problem10_label44_true-unreach-call.c true 48.7  29.6  1060364288 timeout (error (143)) 301    238    2983579648
eca-rers2012/Problem10_label45_true-unreach-call.c true 35.4  21.4  890380288 timeout (error (143)) 301    222    2998853632
eca-rers2012/Problem10_label49_true-unreach-call.c true 80.2  56.2  1207844864 timeout (error (143)) 302    240    2975698944
eca-rers2012/Problem10_label53_true-unreach-call.c true 29.5  17.3  886599680 timeout (error (143)) 301    245    2989248512
eca-rers2012/Problem10_label54_true-unreach-call.c true 37.4  22.4  1046642688 timeout (error (143)) 300    237    2985172992
eca-rers2012/Problem10_label56_true-unreach-call.c true 134    97.3  1509027840 timeout (error (143)) 302    245    2988036096
eca-rers2012/Problem10_label59_true-unreach-call.c true 184    143    1587245056 timeout (error (143)) 303    237    2978099200
eca-rers2012/Problem11_label01_true-unreach-call.c true 78.3  48.8  1404469248 timeout (error (143)) 307    242    4187107328
eca-rers2012/Problem11_label03_true-unreach-call.c true 55.7  34.1  1241772032 timeout (error (143)) 306    255    4276887552
eca-rers2012/Problem11_label04_true-unreach-call.c true 65.9  41.0  1255821312 timeout (error (143)) 306    249    4108529664
eca-rers2012/Problem11_label06_true-unreach-call.c true 111    71.8  1675816960 timeout (error (143)) 303    231    4415795200
eca-rers2012/Problem11_label07_true-unreach-call.c true 58.9  35.7  1187692544 timeout (error (143)) 304    247    3883737088
eca-rers2012/Problem11_label09_true-unreach-call.c true 83.8  52.2  1395318784 timeout (error (143)) 302    247    3938951168
eca-rers2012/Problem11_label12_true-unreach-call.c true 56.4  34.8  1242923008 timeout (error (143)) 302    247    4010778624
eca-rers2012/Problem11_label16_true-unreach-call.c true 52.8  32.9  1138388992 timeout (error (143)) 302    251    3841773568
eca-rers2012/Problem11_label17_true-unreach-call.c true 58.0  35.3  1241620480 timeout (error (143)) 301    246    3868954624
eca-rers2012/Problem11_label18_true-unreach-call.c true 93.0  60.0  1637715968 timeout (error (143)) 304    230    4194992128
eca-rers2012/Problem11_label19_true-unreach-call.c true 275    213    2982375424 timeout (error (143)) 301    224    4001460224
eca-rers2012/Problem11_label21_true-unreach-call.c true 89.3  60.5  1429352448 timeout (error (143)) 303    239    4154085376
eca-rers2012/Problem11_label26_true-unreach-call.c true 110    73.0  1731829760 timeout (error (143)) 306    256    3917430784
eca-rers2012/Problem11_label27_true-unreach-call.c true 63.4  39.8  1272545280 timeout (error (143)) 304    243    3976028160
eca-rers2012/Problem11_label28_true-unreach-call.c true 245    179    2855497728 timeout (error (143)) 303    232    4192980992
eca-rers2012/Problem11_label32_true-unreach-call.c true 59.8  36.8  1235390464 timeout (error (143)) 301    246    3740422144
eca-rers2012/Problem11_label33_true-unreach-call.c true 56.7  34.0  1236094976 timeout (error (143)) 301    231    3810197504
eca-rers2012/Problem11_label35_true-unreach-call.c true 153    106    2813779968 timeout (error (143)) 306    226    4288823296
eca-rers2012/Problem11_label37_true-unreach-call.c true 53.3  33.4  1156771840 timeout (error (143)) 303    253    3943661568
eca-rers2012/Problem11_label38_true-unreach-call.c true 40.3  24.6  1092755456 timeout (error (143)) 302    240    3941376000
eca-rers2012/Problem11_label44_true-unreach-call.c true 123    90.8  1536106496 timeout (error (143)) 307    257    3953770496
eca-rers2012/Problem11_label47_true-unreach-call.c true 98.9  66.3  1549819904 timeout (error (143)) 302    244    3648909312
eca-rers2012/Problem11_label52_true-unreach-call.c true 131    88.8  1711968256 timeout (error (143)) 303    250    3993845760
eca-rers2012/Problem11_label53_true-unreach-call.c true 62.2  37.9  1230962688 timeout (error (143)) 303    227    4141096960
eca-rers2012/Problem11_label54_true-unreach-call.c true 246    200    2749595648 timeout (error (143)) 305    252    3792928768
eca-rers2012/Problem11_label55_true-unreach-call.c true 164    112    2417504256 timeout (error (143)) 306    237    3658297344
eca-rers2012/Problem11_label57_true-unreach-call.c true 247    210    1804206080 timeout (error (143)) 302    246    4141522944
eca-rers2012/Problem11_label59_true-unreach-call.c true 53.8  33.4  1228787712 timeout (error (143)) 301    246    3917766656
eca-rers2012/Problem12_label04_true-unreach-call.c timeout (error (143)) 302    240    3912658944 timeout 305    213    8000000000
eca-rers2012/Problem12_label09_true-unreach-call.c timeout (error (143)) 301    235    4310642688 out of memory 241    170    8000000000
eca-rers2012/Problem12_label12_true-unreach-call.c true 250    196    2963705856 timeout (error (143)) 321    221    7779311616
eca-rers2012/Problem12_label14_true-unreach-call.c timeout (error (143)) 301    231    4475191296 timeout 321    204    6694715392
eca-rers2012/Problem12_label16_true-unreach-call.c true 246    195    3032113152 timeout (error (143)) 309    210    7998042112
eca-rers2012/Problem12_label17_true-unreach-call.c timeout (error (143)) 302    238    4026433536 timeout 322    205    7380049920
eca-rers2012/Problem12_label22_true-unreach-call.c true 257    199    3054997504 timeout (error (143)) 320    216    7533625344
eca-rers2012/Problem12_label23_true-unreach-call.c true 281    217    3890954240 timeout 321    202    6974418944
eca-rers2012/Problem12_label24_true-unreach-call.c true 297    229    4570202112 timeout (error (143)) 311    198    7210758144
eca-rers2012/Problem12_label26_true-unreach-call.c true 266    205    3929792512 timeout (error (143)) 316    200    7204548608
eca-rers2012/Problem12_label29_true-unreach-call.c timeout (error (143)) 301    235    4458250240 out of memory 235    159    8000000000
eca-rers2012/Problem12_label31_true-unreach-call.c true 256    197    3788029952 timeout (error (143)) 312    210    7850704896
eca-rers2012/Problem12_label32_true-unreach-call.c true 277    209    4552450048 timeout (error (143)) 313    203    7091789824
eca-rers2012/Problem12_label33_true-unreach-call.c true 236    178    4094324736 out of memory 292    196    8000000000
eca-rers2012/Problem12_label43_true-unreach-call.c true 280    216    3486162944 timeout (error (143)) 318    198    7298080768
eca-rers2012/Problem12_label44_true-unreach-call.c timeout (error (143)) 301    236    4392890368 timeout 322    206    7722217472
eca-rers2012/Problem12_label45_true-unreach-call.c true 174    127    2467692544 timeout (error (143)) 309    199    7902466048
eca-rers2012/Problem12_label46_true-unreach-call.c true 223    171    3014787072 timeout (error (143)) 310    198    6931578880
eca-rers2012/Problem12_label47_true-unreach-call.c true 229    178    2946990080 timeout (error (143)) 313    200    7744610304
eca-rers2012/Problem12_label49_true-unreach-call.c true 240    187    2948587520 timeout (error (143)) 309    211    7679340544
eca-rers2012/Problem12_label53_true-unreach-call.c true 256    194    4328366080 timeout (error (143)) 305    194    7420178432
eca-rers2012/Problem12_label54_true-unreach-call.c true 255    200    3195658240 out of memory 296    223    8000000000
eca-rers2012/Problem12_label56_true-unreach-call.c true 198    148    3068207104 timeout (error (143)) 303    191    7129960448
eca-rers2012/Problem12_label57_true-unreach-call.c true 273    217    3305758720 timeout (error (143)) 305    189    7635349504
eca-rers2012/Problem12_label58_true-unreach-call.c true 251    192    3503493120 out of memory 256    174    8000000000
eca-rers2012/Problem12_label59_true-unreach-call.c true 151    112    2142318592 timeout (error (143)) 321    200    7122128896
eca-rers2012/Problem13_label00_true-unreach-call.c timeout (error: exception) 301    235    4439687168 timeout (error (143)) 302    242    3109498880
eca-rers2012/Problem14_label01_true-unreach-call_false-termination.c true 84.8  55.3  1638785024 timeout (error (143)) 301    241    3091406848
eca-rers2012/Problem14_label03_true-unreach-call_false-termination.c true 72.1  45.6  1365123072 timeout (error (143)) 301    242    3020242944
eca-rers2012/Problem14_label04_true-unreach-call_false-termination.c error: exception 236    197    2517155840 timeout (error (143)) 303    245    3074412544
eca-rers2012/Problem14_label05_true-unreach-call_false-termination.c true 103    67.4  2061901824 timeout (error (143)) 301    242    3145744384
eca-rers2012/Problem14_label06_true-unreach-call_false-termination.c true 89.6  56.5  1571328000 timeout (error (143)) 302    244    3023769600
eca-rers2012/Problem14_label07_true-unreach-call_false-termination.c true 79.0  48.8  1515855872 timeout (error (143)) 301    228    3082518528
eca-rers2012/Problem14_label16_true-unreach-call_false-termination.c true 70.2  45.5  1604448256 timeout (error (143)) 301    240    3043180544
eca-rers2012/Problem14_label17_true-unreach-call_false-termination.c true 80.7  50.0  1391263744 timeout (error (143)) 302    238    3146555392
eca-rers2012/Problem14_label19_true-unreach-call_false-termination.c true 134    92.8  2905538560 timeout (error (143)) 302    244    3073482752
eca-rers2012/Problem14_label21_true-unreach-call_false-termination.c true 98.4  61.1  1576251392 timeout (error (143)) 301    231    3068571648
eca-rers2012/Problem14_label23_true-unreach-call_false-termination.c true 136    90.6  2859323392 timeout (error (143)) 302    242    3122438144
eca-rers2012/Problem14_label24_true-unreach-call_false-termination.c true 72.6  45.8  1395970048 timeout (error (143)) 300    231    3109597184
eca-rers2012/Problem14_label26_true-unreach-call_false-termination.c true 96.1  60.7  1853259776 timeout (error (143)) 300    237    3048517632
eca-rers2012/Problem14_label32_true-unreach-call_false-termination.c true 170    117    2871447552 timeout (error (143)) 301    232    3024670720
eca-rers2012/Problem14_label33_true-unreach-call_false-termination.c true 119    77.4  2373349376 timeout (error (143)) 300    222    3103473664
eca-rers2012/Problem14_label36_true-unreach-call_false-termination.c true 73.9  46.9  1424330752 timeout (error (143)) 305    245    3055030272
eca-rers2012/Problem14_label38_true-unreach-call_false-termination.c true 66.1  42.8  1433559040 timeout (error (143)) 302    212    3058085888
eca-rers2012/Problem14_label42_true-unreach-call_false-termination.c true 131    84.6  2660872192 timeout (error (143)) 301    238    2993225728
eca-rers2012/Problem14_label45_true-unreach-call_false-termination.c true 189    134    2884276224 timeout (error (143)) 302    241    3035979776
eca-rers2012/Problem14_label47_true-unreach-call_false-termination.c true 97.8  64.0  2105729024 timeout (error (143)) 301    238    3064479744
eca-rers2012/Problem14_label49_true-unreach-call_false-termination.c true 84.7  54.6  1745276928 timeout (error (143)) 302    239    3093028864
eca-rers2012/Problem14_label50_true-unreach-call_false-termination.c true 159    109    2890940416 timeout (error (143)) 301    213    2996428800
eca-rers2012/Problem14_label55_true-unreach-call_false-termination.c true 173    123    2875392000 timeout (error (143)) 302    246    3032195072
eca-rers2012/Problem14_label59_true-unreach-call_false-termination.c true 76.4  47.5  1680744448 timeout (error (143)) 302    233    3045724160
eca-rers2012/Problem15_label05_true-unreach-call.c true 183    133    2490884096 timeout (error (143)) 301    218    3075633152
eca-rers2012/Problem15_label06_true-unreach-call.c true 291    235    2625261568 timeout (error (143)) 301    202    3011162112
eca-rers2012/Problem15_label11_true-unreach-call.c true 262    203    2931183616 timeout (error (143)) 301    210    2998304768
eca-rers2012/Problem15_label13_true-unreach-call.c true 272    216    2895859712 timeout (error (143)) 306    252    3064737792
eca-rers2012/Problem15_label20_true-unreach-call.c true 184    137    2258681856 timeout (error (143)) 305    267    2989965312
eca-rers2012/Problem15_label21_true-unreach-call.c true 181    131    2278428672 timeout (error (143)) 301    260    2943549440
eca-rers2012/Problem15_label26_true-unreach-call.c true 255    193    2854641664 timeout (error (143)) 301    232    3044208640
eca-rers2012/Problem15_label28_true-unreach-call.c true 197    147    2523029504 timeout (error (143)) 301    231    3052609536
eca-rers2012/Problem15_label31_true-unreach-call.c true 123    89.0  1718362112 timeout (error (143)) 305    271    3005771776
eca-rers2012/Problem15_label35_true-unreach-call.c true 154    109    2071916544 timeout (error (143)) 302    235    3185250304
eca-rers2012/Problem15_label36_true-unreach-call.c true 185    134    2223800320 timeout (error (143)) 301    259    3069988864
eca-rers2012/Problem15_label42_true-unreach-call.c true 196    146    2874036224 timeout (error (143)) 302    248    2972524544
eca-rers2012/Problem15_label43_true-unreach-call.c true 143    103    1770041344 timeout (error (143)) 306    246    3075649536
eca-rers2012/Problem15_label46_true-unreach-call.c true 204    150    2258788352 timeout (error (143)) 301    210    3041157120
eca-rers2012/Problem15_label49_true-unreach-call.c true 217    170    2419568640 timeout (error (143)) 301    234    3145113600
eca-rers2012/Problem15_label53_true-unreach-call.c true 124    89.4  1674121216 timeout (error (143)) 302    238    3111112704
eca-rers2012/Problem15_label54_true-unreach-call.c true 239    197    1844129792 timeout (error (143)) 301    235    3206688768
eca-rers2012/Problem15_label55_true-unreach-call.c true 148    108    1758904320 timeout (error (143)) 301    236    3139051520
eca-rers2012/Problem15_label56_true-unreach-call.c true 110    78.8  1713393664 timeout (error (143)) 302    227    3056996352
eca-rers2012/Problem15_label57_true-unreach-call.c true 171    128    2161348608 timeout (error (143)) 301    240    3058319360
eca-rers2012/Problem15_label58_true-unreach-call.c true 109    74.9  1655087104 timeout (error (143)) 301    239    3070160896
eca-rers2012/Problem15_label59_true-unreach-call.c true 239    178    2873020416 timeout (error (143)) 302    240    3100549120
eca-rers2012/Problem16_label07_true-unreach-call.c true 169    122    2911076352 timeout (error (143)) 301    232    3094228992
eca-rers2012/Problem16_label09_true-unreach-call.c true 179    126    2898014208 timeout (error (143)) 301    230    3082276864
eca-rers2012/Problem16_label10_true-unreach-call.c true 184    130    2974822400 timeout (error (143)) 301    237    3096875008
eca-rers2012/Problem16_label11_true-unreach-call.c true 119    78.6  2061320192 timeout (error (143)) 301    238    3068702720
eca-rers2012/Problem16_label12_true-unreach-call.c true 178    126    2937671680 timeout (error (143)) 300    229    3072270336
eca-rers2012/Problem16_label13_true-unreach-call.c true 126    87.0  2518933504 timeout (error (143)) 301    234    2986672128
eca-rers2012/Problem16_label16_true-unreach-call.c true 184    132    3057684480 timeout (error (143)) 301    210    2992295936
eca-rers2012/Problem16_label17_true-unreach-call.c true 138    98.1  2600652800 timeout (error (143)) 301    244    3002048512
eca-rers2012/Problem16_label19_true-unreach-call.c true 136    90.9  2828414976 timeout (error (143)) 301    236    3035021312
eca-rers2012/Problem16_label21_true-unreach-call.c true 148    106    2496622592 timeout (error (143)) 302    235    3088465920
eca-rers2012/Problem16_label23_true-unreach-call.c true 126    86.0  2662666240 timeout (error (143)) 300    227    3083685888
eca-rers2012/Problem16_label24_true-unreach-call.c true 106    72.5  1811435520 timeout (error (143)) 301    239    3065712640
eca-rers2012/Problem16_label25_true-unreach-call.c true 160    113    2883424256 timeout (error (143)) 301    234    3075956736
eca-rers2012/Problem16_label26_true-unreach-call.c true 126    84.8  2642350080 timeout (error (143)) 301    234    3045535744
eca-rers2012/Problem16_label28_true-unreach-call.c true 168    122    2912374784 timeout (error (143)) 301    236    3045941248
eca-rers2012/Problem16_label29_true-unreach-call.c true 231    170    3080482816 timeout (error (143)) 301    229    3072933888
eca-rers2012/Problem16_label32_true-unreach-call.c true 180    132    2923261952 timeout (error (143)) 300    232    3052314624
eca-rers2012/Problem16_label34_true-unreach-call.c true 115    78.1  1883660288 timeout (error (143)) 302    241    3064532992
eca-rers2012/Problem16_label35_true-unreach-call.c true 148    99.6  3008065536 timeout (error (143)) 301    206    2994118656
eca-rers2012/Problem16_label36_true-unreach-call.c true 139    95.3  2931007488 timeout (error (143)) 300    232    3036389376
eca-rers2012/Problem16_label39_true-unreach-call.c true 116    78.5  2886438912 timeout (error (143)) 301    233    3036545024
eca-rers2012/Problem16_label40_true-unreach-call.c true 129    87.2  2893819904 timeout (error (143)) 304    240    3077824512
eca-rers2012/Problem16_label42_true-unreach-call.c true 117    80.1  2732924928 timeout (error (143)) 301    212    3182104576
eca-rers2012/Problem16_label45_true-unreach-call.c true 260    192    3030134784 timeout (error (143)) 301    240    3010392064
eca-rers2012/Problem16_label47_true-unreach-call.c true 87.7  56.7  1396006912 timeout (error (143)) 301    232    3046014976
eca-rers2012/Problem16_label48_true-unreach-call.c true 50.7  31.0  998486016 timeout (error (143)) 301    216    3042566144
eca-rers2012/Problem16_label49_true-unreach-call.c true 83.0  55.5  1410965504 timeout (error (143)) 301    229    3063926784
eca-rers2012/Problem16_label50_true-unreach-call.c true 83.3  55.6  1394470912 timeout (error (143)) 301    236    3105165312
eca-rers2012/Problem16_label53_true-unreach-call.c true 262    199    3130249216 timeout (error (143)) 301    236    3068604416
eca-rers2012/Problem16_label55_true-unreach-call.c true 96.1  60.0  1662197760 timeout (error (143)) 301    234    3012403200
eca-rers2012/Problem16_label56_true-unreach-call.c true 86.5  58.3  1451937792 timeout (error (143)) 301    232    3040096256
eca-rers2012/Problem16_label57_true-unreach-call.c true 92.8  60.0  1467432960 timeout (error (143)) 301    243    3103072256
eca-rers2012/Problem16_label58_true-unreach-call.c true 85.3  55.4  1577590784 timeout (error (143)) 301    232    3098140672
eca-rers2012/Problem16_label59_true-unreach-call.c true 116    78.0  2612371456 timeout (error (143)) 300    222    3023036416
eca-rers2012/Problem17_label36_true-unreach-call.c true 257    201    3605372928 timeout (error (143)) 306    241    3150426112
eca-rers2012/Problem17_label42_true-unreach-call.c true 212    160    2981711872 timeout (error (143)) 306    227    3071045632
eca-rers2012/Problem18_label02_true-unreach-call.c true 271    202    3944456192 timeout (error (143)) 304    230    3156979712
eca-rers2012/Problem18_label07_true-unreach-call.c true 219    158    3127926784 timeout (error (143)) 301    235    3079626752
eca-rers2012/Problem18_label11_true-unreach-call.c true 146    104    2796568576 timeout (error (143)) 300    231    3111997440
eca-rers2012/Problem18_label13_true-unreach-call.c true 232    170    3926417408 timeout (error (143)) 301    214    3068190720
eca-rers2012/Problem18_label16_true-unreach-call.c true 210    153    2979266560 timeout (error (143)) 301    201    3092287488
eca-rers2012/Problem18_label18_true-unreach-call.c true 207    153    3819106304 timeout (error (143)) 301    230    3116097536
eca-rers2012/Problem18_label21_true-unreach-call.c true 255    194    3426447360 timeout (error (143)) 305    224    3151241216
eca-rers2012/Problem18_label23_true-unreach-call.c true 263    201    3732766720 timeout (error (143)) 301    232    3059380224
eca-rers2012/Problem18_label26_true-unreach-call.c true 261    197    4103438336 timeout (error (143)) 301    225    3127984128
eca-rers2012/Problem18_label30_true-unreach-call.c true 189    138    3066011648 timeout (error (143)) 301    225    3086295040
eca-rers2012/Problem18_label37_true-unreach-call.c true 171    122    3019063296 timeout (error (143)) 301    230    3086376960
eca-rers2012/Problem18_label40_true-unreach-call.c true 196    143    2975412224 timeout (error (143)) 300    226    3126935552
eca-rers2012/Problem18_label41_true-unreach-call.c true 211    158    3074068480 timeout (error (143)) 302    232    3160338432
eca-rers2012/Problem18_label42_true-unreach-call.c true 214    157    3015430144 timeout (error (143)) 302    232    3067523072
eca-rers2012/Problem18_label43_true-unreach-call.c true 250    187    3678535680 timeout (error (143)) 302    230    3026862080
eca-rers2012/Problem18_label44_true-unreach-call.c true 157    112    3032571904 timeout (error (143)) 302    227    3124559872
eca-rers2012/Problem18_label46_true-unreach-call.c true 175    127    3156623360 timeout (error (143)) 301    228    3091300352
eca-rers2012/Problem18_label47_true-unreach-call.c true 188    137    3105099776 timeout (error (143)) 301    222    3090149376
eca-rers2012/Problem18_label48_true-unreach-call.c true 181    131    3128635392 timeout (error (143)) 307    230    3091386368
eca-rers2012/Problem18_label50_true-unreach-call.c true 244    181    3179290624 timeout (error (143)) 302    210    3135668224
eca-rers2012/Problem18_label51_true-unreach-call.c true 219    159    3263569920 timeout (error (143)) 300    226    3074936832
eca-rers2012/Problem18_label53_true-unreach-call.c true 139    99.1  2236858368 timeout (error (143)) 301    228    3140554752
eca-rers2012/Problem18_label54_true-unreach-call.c true 193    140    3102871552 timeout (error (143)) 306    235    3161546752
eca-rers2012/Problem18_label56_true-unreach-call.c true 120    86.2  1984196608 timeout (error (143)) 301    230    3140890624
eca-rers2012/Problem18_label58_true-unreach-call.c true 125    88.3  1950162944 timeout (error (143)) 302    226    3146616832
eca-rers2012/Problem18_label59_true-unreach-call.c true 279    209    3591352320 timeout (error (143)) 301    228    3104989184
eca-rers2012/Problem19_label00_true-unreach-call.c timeout (error (143)) 301    239    3306921984 timeout 320    247    4684431360
eca-rers2012/Problem19_label01_true-unreach-call.c timeout (error (143)) 302    243    3201196032 timeout 322    248    5028745216
eca-rers2012/Problem19_label02_true-unreach-call.c timeout (error (143)) 301    244    3220590592 timeout 322    247    5023240192
eca-rers2012/Problem19_label03_true-unreach-call.c timeout (error (143)) 302    242    3309887488 timeout 321    245    5035409408
eca-rers2012/Problem19_label06_true-unreach-call.c timeout (error (143)) 301    245    3270152192 timeout 322    241    6546952192
eca-rers2012/Problem19_label08_true-unreach-call.c timeout (error (143)) 301    239    3279257600 timeout 322    241    4751306752
eca-rers2012/Problem19_label20_true-unreach-call.c timeout (error (143)) 301    237    4198420480 timeout 321    232    5955096576
eca-rers2012/Problem19_label23_true-unreach-call.c timeout (error (143)) 301    241    3503763456 timeout 321    234    5951885312
eca-rers2012/Problem19_label25_true-unreach-call.c timeout (error: exception) 302    241    3663634432 timeout (error (143)) 316    228    5748932608
eca-rers2012/Problem19_label33_true-unreach-call.c timeout (error (143)) 301    241    3382374400 timeout 320    239    4479180800
eca-rers2012/Problem19_label46_true-unreach-call.c timeout (error: exception) 301    237    3588882432 timeout (error (143)) 314    221    6032994304
eca-rers2012/Problem19_label54_true-unreach-call.c timeout (error (143)) 301    238    3513724928 timeout 321    242    6388703232
eca-rers2012/Problem19_label56_true-unreach-call.c timeout (error (143)) 301    238    3327111168 timeout 320    229    5874601984
psyco/psyco_abp_1_false-unreach-call_false-termination_true-no-overflow.c false 96.2  57.3  1480409088 timeout (error (143)) 301    239    2966114304
psyco/psyco_abp_1_true-unreach-call_false-termination_true-no-overflow.c true 63.5  35.6  1171365888 error: exception 23.9  12.7  1169727488
../../../trunk/examples/svcomp/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
total 492 77900 56900 1223963766784 492 137000 107000 1764354744320
    correct results 0 0
        correct true 0 0
        correct false 0 0
    incorrect results 0 0
        incorrect true 0 0
        incorrect false 0 0
score (492 tasks, max score: 832) 0 0
Run set Automizer Taipan