Tool ULTIMATE Automizer 0.1.23-df4b876e ULTIMATE Automizer 0.1.23-63daa26c
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 2018-11-12 15:24:13 CET
Run set Automizer Taipan Taipan-EXP Taipan-INT Taipan-INT-LIM Taipan-INT-LIM-10
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 -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 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 false 172    121    2917126144
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 false 242    172    2969047040
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 false 214    147    2922807296
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 false 213    151    2948739072
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 false 165    115    2900230144
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 false 147    96.8  2880532480
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 false 175    121    2968215552
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 false 154    104    3111272448
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 false 129    85.3  2809712640
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 false 187    124    2981195776
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 false 158    107    2859794432
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 false 197    137    3013746688
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 false 165    107    2953318400
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 false 128    80.5  2107432960
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 false 91.7  56.6  1817665536
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 false 107    66.0  2088341504
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 false 97.4  59.9  1852223488
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 false 92.1  56.8  1806016512
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 false 85.2  48.9  1460981760
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 timeout (error (143)) 301    233    4031324160
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 timeout (error (143)) 301    221    3761897472
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 timeout (error (143)) 300    243    3891306496
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 timeout (error (143)) 301    243    4050411520
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 timeout (error (143)) 301    223    4089495552
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 timeout (error (143)) 301    239    4044677120
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 timeout (error (143)) 300    231    4001869824
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 timeout (error (143)) 301    230    4336357376
eca-rers2012/Problem06_label33_false-unreach-call.c timeout (error (143)) 308    219    6438723584 timeout (error (143)) 303    262    2977939456 timeout (error (143)) 302    235    4206022656 timeout (error (143)) 306    260    3042918400 timeout (error (143)) 301    236    4432474112 timeout 321    240    4350144512
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 timeout (error (143)) 300    246    3637334016
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 timeout (error (143)) 306    233    5068910592
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 timeout (error (143)) 318    234    5819568128
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 timeout (error (143)) 306    236    4846055424
eca-rers2012/Problem08_label13_false-unreach-call.c timeout (error (143)) 307    239    4873613312 timeout (error (143)) 306    245    4752596992 timeout (error (143)) 306    245    4742492160 timeout (error (143)) 306    234    4825395200 timeout (error (143)) 306    245    4802621440 timeout (error: exception) 303    242    4743368704
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 timeout (error (143)) 306    245    4730638336
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 timeout (error (143)) 306    243    4817145856
eca-rers2012/Problem08_label37_false-unreach-call.c timeout (error (143)) 306    234    4932780032 timeout (error (143)) 306    235    4844900352 timeout (error (143)) 306    245    4750573568 timeout (error (143)) 311    225    6110408704 timeout (error (143)) 306    235    4965609472 timeout 322    252    5645885440
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 timeout (error: exception) 303    242    4801798144
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 timeout (error (143)) 306    242    4767068160
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 timeout (error (143)) 306    242    4772438016
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 timeout (error (143)) 311    234    6155714560
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 timeout (error (143)) 306    240    4832780288
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 timeout 322    236    6878588928
eca-rers2012/Problem09_label08_false-unreach-call.c timeout (error (143)) 306    235    5160062976 timeout (error (143)) 310    230    6284316672 timeout (error (143)) 306    245    5158932480 timeout (error (143)) 306    243    5127569408 timeout (error (143)) 308    226    5953339392 timeout 321    234    6768668672
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 timeout (error: exception) 304    232    5317599232
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 timeout 322    235    6289870848
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 timeout (error (143)) 309    229    5975834624
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 timeout 322    235    6281506816
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 timeout 322    237    6275829760
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 timeout (error (143)) 305    238    5108396032
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 timeout (error (143)) 306    248    4926275584
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 timeout 322    235    6054379520
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 timeout (error (143)) 306    235    5108563968
eca-rers2012/Problem09_label38_false-unreach-call.c timeout (error (143)) 306    234    5121732608 timeout (error (143)) 306    245    4891975680 timeout (error (143)) 321    237    5995573248 timeout (error (143)) 306    250    4868030464 timeout (error (143)) 306    245    5094264832 timeout 321    235    6512156672
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 timeout (error (143)) 306    242    5132947456
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 timeout (error (143)) 319    234    6277718016
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 timeout 320    234    6495580160
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 timeout 322    236    6867820544
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 timeout 322    236    6118776832
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 timeout (error (143)) 306    241    4838105088
eca-rers2012/Problem09_label54_false-unreach-call.c timeout (error (143)) 305    229    5157650432 timeout (error (143)) 312    232    6214664192 timeout (error (143)) 308    228    5942644736 timeout (error (143)) 306    238    5285249024 timeout (error (143)) 306    242    4839759872 timeout 321    235    6143881216
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 timeout (error (143)) 320    235    6629744640
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 timeout 320    235    6371270656
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 timeout (error (143)) 306    238    5115158528
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 timeout (error (143)) 301    231    3562852352
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 false 137    85.1  2943643648
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 timeout (error (143)) 301    246    3052376064
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 false 105    61.4  1521520640
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 false 166    113    2269052928
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 false 164    115    2466213888
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 false 183    127    2670444544
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 false 153    98.1  3085692928
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 false 131    82.8  1805172736
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 false 139    89.7  2470375424
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 timeout (error (143)) 301    244    3264155648
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 false 94.7  55.5  1705099264
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 false 69.6  43.0  1385484288
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 out of memory 287    192    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 timeout (error (143)) 300    213    4348534784
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 false 291    229    3027329024
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 false 260    186    4488364032
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 false 122    75.3  2857902080
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 timeout (error (143)) 301    218    4116729856
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 timeout (error (143)) 301    221    4193812480
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 timeout (error (143)) 302    224    4258631680
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 timeout (error (143)) 300    221    4453441536
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 false 104    61.1  2307665920
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 timeout (error (143)) 301    223    4310126592
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 false 155    102    2133012480
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 false 138    89.6  1721733120
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 false 200    138    4320411648
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 false 198    138    3245248512
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 timeout (error (143)) 301    224    5229682688
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 timeout (error (143)) 301    222    5222674432
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 timeout (error (143)) 301    214    5000478720
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 timeout (error (143)) 302    213    4368510976
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 timeout (error (143)) 301    208    4972597248
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 timeout (error (143)) 317    229    5831827456
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 timeout (error (143)) 302    211    5175242752
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 timeout (error (143)) 321    214    6463647744
eca-rers2012/Problem13_label24_false-unreach-call.c timeout (error (143)) 301    222    5153861632 timeout (error (143)) 303    228    3031293952 timeout (error (143)) 305    247    3362811904 timeout (error (143)) 306    239    3179794432 timeout (error (143)) 303    203    6409805824 timeout 322    218    6735478784
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 timeout (error (143)) 302    216    3519782912
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 timeout (error (143)) 302    214    4311207936
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 false 289    206    4030328832
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 false 273    197    4281958400
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 timeout (error (143)) 302    225    4410675200
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 timeout (error (143)) 303    213    4100313088
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 timeout (error (143)) 301    220    4214181888
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 timeout (error (143)) 301    217    3287011328
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 timeout (error (143)) 301    219    4178341888
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 timeout (error (143)) 301    215    4196052992
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 timeout (error (143)) 300    224    4271693824
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 timeout (error (143)) 302    221    3780530176
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 timeout (error (143)) 302    216    4272066560
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 timeout (error (143)) 301    216    4408385536
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 timeout (error (143)) 300    215    3541135360
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 timeout (error (143)) 301    216    3671347200
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 timeout (error (143)) 303    221    4415832064
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 timeout (error (143)) 300    217    3822940160
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 timeout (error (143)) 301    219    4310011904
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 timeout (error (143)) 301    223    3933278208
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 timeout (error (143)) 302    217    4122566656
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 timeout (error (143)) 301    222    4285243392
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 timeout (error (143)) 301    216    4324122624
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 timeout (error (143)) 302    220    4335403008
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 timeout (error (143)) 301    217    4649373696
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 timeout (error (143)) 302    219    4723175424
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 timeout (error (143)) 301    218    4466876416
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 timeout (error (143)) 300    218    4462768128
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 timeout (error (143)) 302    216    4863201280
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 timeout (error (143)) 301    217    5152636928
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 timeout (error (143)) 300    215    4324618240
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 timeout (error (143)) 301    220    4360065024
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 timeout (error (143)) 304    214    4795592704
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 timeout (error (143)) 301    220    4191064064
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 timeout (error (143)) 301    231    4291424256
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 timeout (error (143)) 300    216    5133602816
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 timeout (error (143)) 302    215    4259037184
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 timeout (error (143)) 303    217    5678268416
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 timeout (error (143)) 301    214    5046923264
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 timeout (error (143)) 302    218    4216176640
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 timeout (error (143)) 306    230    3572948992
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 timeout (error (143)) 301    218    4207456256
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 timeout (error (143)) 301    218    4315713536
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 timeout (error (143)) 303    237    4159455232
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 timeout (error (143)) 303    230    4408074240
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 timeout (error (143)) 301    216    4400766976
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 timeout (error: exception) 301    215    4414894080
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 timeout (error (143)) 301    221    4328132608
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 timeout (error (143)) 301    223    4987932672
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 timeout (error (143)) 301    227    4537061376
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 timeout (error (143)) 300    214    4634595328
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 timeout (error (143)) 300    216    4366172160
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 timeout (error (143)) 301    220    4301115392
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 timeout (error (143)) 303    226    4498104320
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 timeout (error (143)) 301    218    4287139840
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 timeout (error (143)) 301    221    5294972928
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 timeout (error (143)) 301    227    5200523264
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 timeout (error (143)) 301    223    4221186048
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 timeout (error (143)) 301    221    4690452480
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 timeout (error (143)) 301    223    4438233088
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 timeout (error (143)) 302    222    4799315968
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 timeout (error (143)) 301    224    4891041792
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 timeout (error (143)) 301    275    1319723008
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 timeout (error (143)) 302    272    1337167872
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 timeout (error (143)) 303    227    3765723136
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 timeout (error (143)) 302    204    7954718720
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 timeout (error (143)) 301    219    4330909696
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 timeout (error (143)) 303    237    3124932608
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 timeout (error (143)) 303    243    3059359744
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 timeout (error (143)) 301    224    4258177024
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 timeout (error (143)) 300    211    4392529920
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 timeout (error (143)) 301    215    4213940224
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 timeout (error (143)) 301    218    4340527104
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 timeout (error (143)) 301    218    4278333440
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 timeout (error (143)) 302    221    4394221568
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 timeout (error (143)) 301    224    4377571328
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 timeout (error (143)) 301    215    4447887360
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 timeout (error (143)) 301    214    4334587904
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 timeout (error (143)) 301    214    4371640320
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 timeout (error (143)) 301    214    4501889024
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 true 177    120    2953854976
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 true 229    162    2987061248
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 true 188    132    2971992064
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 true 217    150    2993111040
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 true 194    134    2912432128
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 true 140    96.7  2933587968
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 true 182    126    3004497920
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 true 173    122    2971901952
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 true 189    128    3053912064
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 true 103    65.2  2311294976
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 true 198    134    2981765120
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 true 151    102    2823229440
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 true 94.2  59.5  2100170752
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 true 116    74.7  2713731072
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 true 42.8  23.8  878407680
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 true 169    115    2987929600
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 true 189    130    2972065792
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 true 207    139    2887790592
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 true 109    70.1  2600067072
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 true 227    157    3555168256
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 true 150    97.7  3061272576
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 true 201    141    3309076480
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 true 177    125    2947891200
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 true 131    83.0  2418864128
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 true 171    117    3092398080
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 true 135    90.1  2861797376
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 true 151    101    2915254272
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 true 125    83.2  2941845504
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 true 157    106    3029958656
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 true 192    133    2958479360
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 true 71.6  42.2  1507065856
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 true 177    118    2911621120
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 true 45.2  26.0  1047547904
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 true 131    84.9  2607767552
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 true 150    100    2820751360
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 true 125    80.9  2442256384
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 true 92.9  57.8  1842135040
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 true 201    137    2889883648
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 true 160    105    2928369664
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 true 174    115    2934386688
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 true 112    72.4  2541461504
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 true 66.4  39.5  1226539008
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 true 165    108    3106787328
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 true 157    104    2970423296
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 true 142    93.8  2811342848
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 true 150    97.7  2682273792
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 true 128    80.1  2310561792
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 true 172    116    2852016128
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 true 66.1  39.2  1203249152
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 true 188    128    2866978816
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 true 136    85.9  2393104384
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 true 130    84.8  2924924928
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 true 131    84.6  2555277312
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 true 163    109    2851721216
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 true 174    116    3023699968
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 true 153    99.3  2802831360
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 true 192    127    3094167552
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 true 108    72.6  2360041472
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 true 131    82.8  2579132416
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 true 140    89.6  2809339904
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 true 201    134    2952437760
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 true 175    123    3027075072
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 true 163    112    2868252672
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 true 134    92.0  3043790848
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 true 180    120    2956079104
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 true 118    75.1  2380935168
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 true 184    125    2961047552
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 true 151    100    2748936192
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 true 168    116    2821951488
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 true 116    73.4  2425044992
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 true 82.4  48.3  1487642624
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 true 74.8  43.2  1459044352
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 true 141    88.6  2462121984
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 true 91.5  54.6  1604587520
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 true 190    117    2938396672
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 true 119    76.2  2147409920
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 true 222    157    2999177216
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 true 88.3  53.5  1493929984
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 true 85.9  51.0  1513451520
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 true 148    93.8  2827964416
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 true 82.6  49.9  1419538432
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 true 116    73.4  2273226752
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 timeout (error (143)) 300    238    3951779840
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 timeout (error (143)) 301    227    4389052416
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 timeout (error (143)) 301    231    3742171136
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 timeout (error (143)) 301    239    3966640128
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 timeout (error (143)) 300    211    4378439680
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 timeout (error (143)) 303    226    4241256448
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 timeout (error (143)) 304    226    4118691840
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 timeout (error (143)) 301    236    4138491904
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 timeout (error (143)) 301    217    4340117504
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 true 291    222    3922358272
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 timeout (error (143)) 301    240    3941761024
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 true 240    177    3429326848
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 timeout (error (143)) 301    241    3958099968
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 true 235    171    3529637888
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 true 237    182    3547234304
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 timeout (error (143)) 301    238    3873206272
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 timeout (error (143)) 301    243    4113698816
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 timeout (error (143)) 303    238    3872829440
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 timeout (error (143)) 302    230    3925303296
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 true 293    221    3525095424
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 timeout (error (143)) 301    224    4392673280
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 timeout (error (143)) 301    231    3690602496
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 timeout (error (143)) 301    228    4415590400
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 timeout (error (143)) 300    227    4374593536
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 timeout (error (143)) 306    222    4448628736
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 timeout (error (143)) 302    229    4336472064
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 timeout (error (143)) 301    227    4427890688
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 timeout (error (143)) 301    223    4421844992
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 timeout (error (143)) 301    228    4454424576
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 timeout (error (143)) 301    226    4325646336
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 timeout (error (143)) 301    228    4339593216
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 timeout (error (143)) 300    230    4475408384
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 timeout (error (143)) 301    226    4397879296
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 timeout (error (143)) 300    234    4363423744
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 timeout (error (143)) 301    212    4381683712
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 timeout (error (143)) 311    220    4410171392
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 timeout (error (143)) 301    218    4477353984
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 timeout (error (143)) 301    237    4104278016
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 timeout (error (143)) 306    234    5401735168
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 timeout (error (143)) 306    233    4794507264
eca-rers2012/Problem08_label09_true-unreach-call.c timeout (error (143)) 306    234    4830765056 timeout (error (143)) 306    233    5358129152 timeout (error (143)) 306    241    4750213120 timeout (error (143)) 314    227    5802422272 timeout (error (143)) 306    236    4817911808 timeout (error: exception) 306    240    4748345344
eca-rers2012/Problem08_label12_true-unreach-call.c timeout (error (143)) 306    234    4855083008 timeout (error (143)) 306    236    4831322112 timeout (error (143)) 306    232    4842377216 timeout (error (143)) 306    243    4748251136 timeout (error (143)) 306    233    4830572544 timeout 322    239    6096474112
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 timeout (error (143)) 305    238    4827054080
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 timeout (error (143)) 306    244    4797054976
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 timeout (error (143)) 306    244    4755001344
eca-rers2012/Problem08_label33_true-unreach-call.c timeout (error (143)) 306    232    4901588992 timeout (error (143)) 306    242    4822949888 timeout (error (143)) 306    242    4750036992 timeout (error (143)) 306    241    4993216512 timeout (error (143)) 306    232    4828504064 timeout (error: exception) 305    244    4815273984
eca-rers2012/Problem08_label35_true-unreach-call.c timeout (error (143)) 306    234    4720128000 timeout (error (143)) 306    223    5814796288 timeout (error (143)) 306    237    4822364160 timeout (error (143)) 306    234    4828139520 timeout (error (143)) 306    243    4739149824 timeout (error: exception) 306    244    4758876160
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 timeout (error (143)) 306    242    4985339904
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 timeout (error (143)) 306    233    5399867392
eca-rers2012/Problem08_label45_true-unreach-call.c timeout (error (143)) 305    230    5260886016 timeout (error (143)) 306    233    4838076416 timeout (error (143)) 306    236    5359390720 timeout (error (143)) 308    224    6106300416 timeout (error (143)) 306    242    4738441216 timeout (error: exception) 304    244    4985409536
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 timeout (error (143)) 307    225    5670072320
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 timeout (error (143)) 310    225    6110199808
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 timeout (error (143)) 317    231    6102503424
eca-rers2012/Problem09_label00_true-unreach-call.c timeout (error (143)) 306    225    5134684160 timeout (error (143)) 320    235    5833338880 timeout (error (143)) 309    229    6160502784 timeout (error (143)) 317    234    6304579584 timeout (error (143)) 306    243    5126316032 timeout 322    236    6072295424
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 timeout (error (143)) 306    240    5056544768
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 timeout 322    235    6138044416
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 timeout (error: exception) 301    230    5117939712
eca-rers2012/Problem09_label07_true-unreach-call.c timeout (error (143)) 306    224    5148925952 timeout (error (143)) 306    250    4881068032 timeout (error (143)) 306    240    5051129856 timeout (error (143)) 306    243    5099696128 timeout (error (143)) 306    243    4827815936 timeout 322    234    6867550208
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 timeout 322    236    6284472320
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 timeout (error (143)) 315    242    5320142848
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 timeout 321    240    6281621504
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 timeout (error (143)) 312    229    6208901120
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 timeout 321    236    5822050304
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 timeout (error (143)) 306    242    5046882304
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 timeout (error (143)) 306    244    5155590144
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 timeout (error (143)) 304    225    6152413184
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 timeout 322    234    6716350464
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 timeout (error (143)) 306    241    5039304704
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 timeout 322    236    6040653824
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 timeout 322    247    5799612416
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 timeout 322    235    6664028160
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 timeout (error (143)) 306    235    5093924864
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 timeout (error (143)) 305    235    5119275008
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 timeout (error: exception) 304    248    5011537920
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 timeout (error (143)) 314    233    6283493376
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 timeout 322    235    6101385216
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 timeout (error (143)) 306    247    5161811968
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 timeout (error (143)) 306    238    5022453760
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 timeout (error (143)) 306    240    4845289472
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 timeout (error (143)) 318    235    6275600384
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 timeout (error (143)) 306    243    5139443712
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 timeout (error (143)) 306    239    5152301056
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 timeout (error (143)) 306    243    4856164352
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 true 149    94.7  3445125120
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 true 159    103    3517026304
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 true 151    96.1  3186024448
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 true 137    89.6  3020226560
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 true 211    145    3735826432
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 true 189    129    3285975040
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 true 259    189    3422756864
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 true 255    187    3731664896
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 true 280    203    3741286400
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 true 169    109    3441569792
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 true 139    85.8  2737979392
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 true 191    125    3618607104
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 true 158    99.1  2866335744
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 true 159    98.2  2900840448
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 true 192    127    3399720960
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 true 285    201    3949674496
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 true 217    151    2855284736
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 true 128    80.3  2864672768
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 true 205    135    2942455808
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 true 161    109    3229503488
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 true 203    140    4006223872
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 true 125    75.7  2229452800
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 true 182    122    3349880832
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 true 199    132    3882946560
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 true 91.2  52.6  1487568896
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 true 131    81.6  2864128000
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 true 118    74.1  2730938368
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 true 44.2  26.3  1047085056
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 true 141    91.4  3412946944
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 true 156    101    2880835584
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 true 136    83.4  1886769152
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 true 142    90.3  2922885120
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 true 196    133    3775303680
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 out of memory 275    189    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 timeout (error (143)) 302    252    2079531008
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 true 100    60.6  2464739328
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 true 250    170    4226719744
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 timeout (error (143)) 300    220    4466278400
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 timeout (error (143)) 302    217    4416978944
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 timeout (error (143)) 301    214    4324302848
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 timeout (error (143)) 301    217    4334993408
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 timeout (error (143)) 300    211    4257607680
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 timeout (error (143)) 302    215    4719411200
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 timeout (error (143)) 301    211    4714840064
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 timeout (error (143)) 301    219    4902572032
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 true 278    184    4237324288
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 timeout (error (143)) 301    218    4156870656
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 true 173    106    3265302528
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 true 144    97.0  2157912064
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 timeout (error (143)) 302    219    4323123200
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 true 207    135    3825352704
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 timeout (error (143)) 303    213    4266266624
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 true 196    129    3277049856
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 true 139    85.2  2968027136
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 timeout (error (143)) 301    212    4363563008
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 true 243    168    3704455168
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 true 199    132    3724898304
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 timeout (error (143)) 301    217    4265750528
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 timeout (error (143)) 301    225    4364627968
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 timeout (error (143)) 301    215    4375863296
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 timeout (error (143)) 301    209    4375326720
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 timeout (error (143)) 302    214    3575459840
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 true 154    96.1  3613528064
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 timeout (error (143)) 301    222    4349554688
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 timeout (error (143)) 302    228    4260720640
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 timeout (error (143)) 300    243    2980978688
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 timeout (error (143)) 301    213    3703267328
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 timeout (error (143)) 301    216    4285902848
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 timeout (error (143)) 302    219    4586311680
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 timeout 322    229    5424451584
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 timeout (error (143)) 301    211    4265521152
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 timeout (error (143)) 300    216    4787580928
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 timeout (error (143)) 300    208    5189201920
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 timeout (error (143)) 301    212    5316694016
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 timeout (error (143)) 302    212    5344874496
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 timeout (error (143)) 301    208    5333925888
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 timeout (error (143)) 302    214    6178824192
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 timeout (error (143)) 301    216    4594561024
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 timeout (error (143)) 302    210    4337029120
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 timeout (error (143)) 304    208    4464050176
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 timeout (error (143)) 301    216    4182036480
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 timeout (error (143)) 301    207    5465587712
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 timeout (error (143)) 301    202    4284952576
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 timeout (error (143)) 301    210    4637429760
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 timeout (error (143)) 301    213    4350287872
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 timeout (error (143)) 302    210    4435337216
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 timeout (error (143)) 301    211    5647843328
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 timeout (error (143)) 302    222    5219962880
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 timeout (error (143)) 308    223    5299662848
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 timeout (error (143)) 301    210    4995305472
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 timeout (error (143)) 301    217    6131499008
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 timeout (error (143)) 302    205    6050664448
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 timeout (error (143)) 300    209    4295479296
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 timeout (error (143)) 301    216    4814209024
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 timeout (error (143)) 301    208    5419024384
eca-rers2012/Problem13_label38_true-unreach-call.c timeout (error (143)) 304    227    5110304768 timeout (error (143)) 301    223    3075624960 timeout (error (143)) 304    248    3277590528 timeout (error (143)) 306    248    3132805120 timeout (error (143)) 301    212    5309657088 timeout 322    218    6363791360
eca-rers2012/Problem13_label42_true-unreach-call.c timeout (error (143)) 301    217    5641572352 timeout (error (143)) 301    223    3079172096 timeout (error (143)) 304    248    3337584640 timeout (error (143)) 306    245    3131977728 timeout (error (143)) 301    213    6280015872 timeout 322    219    6222548992
eca-rers2012/Problem13_label46_true-unreach-call.c timeout (error (143)) 304    223    5149179904 timeout (error (143)) 301    228    3089358848 timeout (error (143)) 302    240    3351932928 timeout (error (143)) 306    241    3127582720 timeout (error (143)) 301    211    5223571456 timeout 322    219    6303068160
eca-rers2012/Problem13_label57_true-unreach-call.c timeout (error (143)) 301    222    5406887936 timeout (error (143)) 301    222    3077861376 timeout (error (143)) 306    249    3239030784 timeout (error (143)) 306    247    3092226048 timeout (error (143)) 301    206    5241913344 timeout 322    217    6389039104
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 true 286    211    4258840576
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 timeout (error (143)) 301    229    4354244608
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 timeout (error (143)) 303    226    4344897536
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 timeout (error (143)) 302    231    4363300864
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 timeout (error (143)) 301    228    4237910016
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 true 285    217    4362113024
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 timeout (error (143)) 300    226    4369223680
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 true 136    84.1  2980392960
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 true 275    204    4410281984
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 true 264    191    4488339456
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 timeout (error (143)) 300    229    4370698240
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 timeout (true) 301    226    4253851648
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 timeout (error (143)) 302    229    4330123264
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 timeout (error (143)) 301    227    4234162176
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 true 297    222    4215492608
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 timeout (error (143)) 300    222    4398125056
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 timeout (error (143)) 302    231    4146749440
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 timeout (error (143)) 301    231    4266090496
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 timeout (error (143)) 301    231    4308013056
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 timeout (error (143)) 301    228    4332335104
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 timeout (error (143)) 301    234    4349448192
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 timeout (error (143)) 301    229    4365393920
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 timeout (error (143)) 301    230    4317122560
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 true 135    82.2  2695585792
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 timeout (error (143)) 303    218    5025280000
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 timeout (error (143)) 300    210    4278693888
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 timeout (error (143)) 311    221    5846183936
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 timeout (error (143)) 302    209    4318298112
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 timeout (error (143)) 301    214    4187996160
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 timeout (error (143)) 301    214    4230316032
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 timeout (error (143)) 301    218    4401840128
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 timeout (error (143)) 300    212    4538507264
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 timeout (error (143)) 301    220    4505714688
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 timeout (error (143)) 301    216    4782145536
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 timeout (error (143)) 301    212    4198936576
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 timeout (error (143)) 302    213    5524611072
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 timeout (error (143)) 303    227    4270718976
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 timeout (error (143)) 302    216    4398276608
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 timeout (error (143)) 301    222    4310683648
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 timeout (error (143)) 301    205    4457086976
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 timeout (error (143)) 307    219    5314670592
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 timeout (error (143)) 301    222    5032050688
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 timeout (error (143)) 301    212    4316291072
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 timeout (error (143)) 301    214    4673363968
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 timeout (error (143)) 302    215    4873551872
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 timeout (error (143)) 301    205    4133609472
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 timeout (error (143)) 301    224    4460630016
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 timeout (error (143)) 302    223    4795772928
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 timeout (error (143)) 302    216    4394516480
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 timeout (error (143)) 302    221    4735488000
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 timeout (error (143)) 304    225    4926746624
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 timeout (error (143)) 301    220    4542943232
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 timeout (error (143)) 302    224    4615593984
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 timeout (error (143)) 301    215    4261097472
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 timeout (error (143)) 303    211    4351610880
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 timeout (error (143)) 301    227    4624027648
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 timeout (error (143)) 301    225    4774338560
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 timeout (error (143)) 301    223    4631113728
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 timeout (error (143)) 301    225    4333277184
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 timeout (error (143)) 301    216    4820836352
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 timeout (error (143)) 301    224    4670918656
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 timeout (error (143)) 301    220    4502278144
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 timeout (error (143)) 301    223    4608581632
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 timeout (error (143)) 301    225    4765892608
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 timeout (error (143)) 303    219    4649082880
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 timeout (error (143)) 301    222    4777033728
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 timeout (error (143)) 301    211    4251176960
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 timeout (error (143)) 302    221    4383137792
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 timeout (error (143)) 301    226    4315586560
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 timeout (error (143)) 301    221    4758114304
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 true 286    210    4362215424
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 timeout (error (143)) 301    225    4716597248
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 timeout (error (143)) 301    217    4422148096
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 timeout (error (143)) 301    214    4387823616
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 timeout (error (143)) 301    223    4866002944
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 timeout (error (143)) 301    221    5203324928
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 timeout (error (143)) 301    218    4789944320
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 timeout (error (143)) 301    223    5186740224
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 timeout (error (143)) 302    223    4580052992
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 timeout (error (143)) 302    209    4348596224
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 out of memory 288    222    8000000000
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 timeout (error (143)) 301    259    1886195712
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 timeout (error (143)) 301    212    4868952064
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 out of memory 298    230    8000000000
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 timeout (error (143)) 300    210    4450988032
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 timeout (error (143)) 300    226    4173639680
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 timeout (error (143)) 303    223    4154179584
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 timeout (error (143)) 301    214    4339318784
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 timeout (error (143)) 301    213    4261068800
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 timeout (error (143)) 303    203    4475748352
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 timeout (error (143)) 301    212    4415766528
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 timeout (error (143)) 301    209    4315254784
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 timeout (error (143)) 301    218    4251324416
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 timeout (error (143)) 301    224    4374343680
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 timeout (error (143)) 301    220    4556050432
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 timeout (error (143)) 301    219    4370608128
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 timeout (error (143)) 301    218    4368756736
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 timeout (error (143)) 301    221    4371185664
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 timeout (error (143)) 301    216    4306427904
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 timeout (error (143)) 301    222    4345692160
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 timeout (error (143)) 301    219    4325408768
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 timeout (error (143)) 301    219    4277395456
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 timeout (error (143)) 301    219    4200222720
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 timeout (error (143)) 301    216    4566990848
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 timeout (error (143)) 301    208    4281876480
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 timeout (error (143)) 300    214    4248252416
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 timeout (error (143)) 302    221    4321624064
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 timeout (error (143)) 301    228    4323758080
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 timeout (error (143)) 301    209    4291633152
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 timeout (error (143)) 301    216    4354949120
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 timeout (error (143)) 301    207    4358475776
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 timeout (error (143)) 301    220    4578340864
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 timeout (error (143)) 301    215    4297207808
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 timeout (error (143)) 301    209    4375388160
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 timeout (error (143)) 301    213    4358397952
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 timeout (error (143)) 301    214    4490432512
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 timeout (error (143)) 300    210    5304197120
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 false 137    81.3  1859629056
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 timeout (error (143)) 302    218    7974002688
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 true 81.6  46.0  1558056960
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 timeout (error (143)) 300    248    3618336768
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 timeout (error (143)) 306    241    4892463104
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 timeout (error (143)) 307    233    4840660992
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 timeout (error (143)) 306    230    4861820928
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 timeout (error (143)) 306    244    4993687552
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 timeout (error (143)) 306    243    4814798848
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 timeout (error (143)) 306    241    4979011584
eca-programs/Problem102_label46_false-unreach-call.c timeout (error (143)) 306    236    4849410048 timeout (error (143)) 306    235    4828008448 timeout (error (143)) 306    243    4783267840 timeout (error (143)) 306    234    5300183040 timeout (error (143)) 306    234    4782362624 timeout (error: exception) 301    241    4823719936
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 timeout (error (143)) 301    219    5748490240
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 timeout (error (143)) 310    230    6256259072
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 timeout 322    237    5975216128
eca-programs/Problem103_label41_false-unreach-call.c timeout (error (143)) 306    237    4858806272 timeout (error (143)) 306    240    5036384256 timeout (error (143)) 306    244    5047017472 timeout (error (143)) 308    235    5157023744 timeout (error (143)) 311    230    5984464896 timeout 322    236    6136156160
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 timeout 321    236    5986160640
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 timeout (error (143)) 306    248    4861804544
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 timeout (error (143)) 306    241    4852142080
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 timeout 322    234    6223847424
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 timeout 322    235    6545694720
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 timeout (error (143)) 306    238    5110337536
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 timeout 322    235    6865580032
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 timeout (error (143)) 305    236    4893913088
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 timeout (error (143)) 306    233    4959424512
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 timeout (error (143)) 306    241    4760547328
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 timeout (error: exception) 303    243    4751663104
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 timeout (error (143)) 306    232    4826365952
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 timeout (error (143)) 306    230    4827197440
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 timeout (error (143)) 306    234    4848689152
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 timeout (error (143)) 306    243    4752211968
eca-programs/Problem102_label54_true-unreach-call.c timeout (error (143)) 306    234    4811067392 timeout (error (143)) 306    244    4720123904 timeout (error (143)) 311    242    4848824320 timeout (error (143)) 306    243    4733497344 timeout (error (143)) 314    226    6106472448 timeout (error: exception) 301    242    4763459584
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 timeout (error (143)) 306    235    4838871040
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 timeout 322    235    6873608192
eca-programs/Problem103_label42_true-unreach-call.c timeout (error (143)) 306    233    5191282688 timeout (error (143)) 306    240    5085368320 timeout (error (143)) 313    231    6101807104 timeout (error (143)) 306    245    5070868480 timeout (error (143)) 308    228    6081380352 timeout 322    235    6861549568
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 timeout (error (143)) 308    245    5055856640
eca-programs/Problem103_label45_true-unreach-call.c timeout (error (143)) 306    236    5140549632 timeout (error (143)) 310    229    5964836864 timeout (error (143)) 309    230    6181658624 timeout (error (143)) 306    239    5112872960 timeout (error (143)) 306    246    5195624448 timeout 321    235    6873157632
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 timeout (error (143)) 306    239    5265432576
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 timeout 321    235    6113693696
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 timeout (error (143)) 306    241    5150457856
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 timeout (error: exception) 302    238    5145231360
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 timeout 322    234    6068588544
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 timeout 322    236    6301036544
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 timeout (error (143)) 301    268    1363361792
loops/linear_search_false-unreach-call.i timeout (error (143)) 300    281    1186648064 timeout (error (143)) 300    257    2005983232 timeout (error (143)) 303    273    1182208000 timeout (error (143)) 301    270    1288945664 timeout (error (143)) 301    271    1201254400 error: exception 69.8  56.4  867745792
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 error: exception 42.1  28.5  1685520384
loops/n.c24_false-unreach-call.i timeout (error (143)) 301    250    2666778624 timeout (error (143)) 301    241    2913538048 timeout (error (143)) 300    240    2898956288 timeout (error (143)) 301    240    2901594112 timeout (error (143)) 301    241    2886365184 error: exception 7.68 4.25 251752448
loops/bubble_sort_true-unreach-call_true-termination.i true 7.85 4.39 257867776 true 8.49 4.80 256569344 true 7.94 4.45 255651840 true 8.46 4.71 261001216 true 8.08 4.50 259297280 error: exception 7.47 4.21 241025024
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 error: exception 110    90.4  1173700608
loops/linear_sea.ch_true-unreach-call.i timeout (error (143)) 300    283    1123704832 timeout (error (143)) 300    280    1327448064 timeout (error (143)) 302    284    1193558016 timeout (error (143)) 300    282    1154289664 timeout (error (143)) 300    283    1179627520 error: exception 45.7  34.2  835436544
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 error: exception 41.0  28.1  1741844480
loops/sum_array_true-unreach-call.i timeout (error (143)) 301    272    1382248448 timeout (error (143)) 306    262    3148218368 timeout (error (143)) 306    267    3211800576 timeout (error (143)) 301    263    2379173888 timeout (error (143)) 300    275    1659555840 error: exception 105    72.9  1633947648
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 timeout (error (143)) 306    281    1185062912
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 timeout (error (143)) 301    286    1130348544
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 true 10.6  5.88 298266624
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 true 282    272    735744000
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 timeout (error (143)) 305    295    702132224
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 timeout (error (143)) 301    233    1728995328
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 true 91.1  63.6  1114656768
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 timeout (error (143)) 300    245    1586348032
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 true 22.3  15.9  598814720
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 true 20.7  14.9  445616128
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 true 30.9  24.7  506925056
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 true 22.7  16.8  436539392
loop-industry-pattern/aiob_4_true-unreach-call.c.v+cfa-reducer.c true 69.4  56.8  949792768 true 140    109    3436883968 true 94.2  75.9  1294893056 true 103    84.5  1303506944 true 97.2  78.3  1295249408 timeout (error (143)) 306    292    1117470720
loop-industry-pattern/aiob_4_true-unreach-call.c.v+lh-reducer.c true 175    159    1077776384 true 186    157    3364347904 true 134    118    1213423616 true 138    120    1306329088 true 161    142    1289064448 timeout (error (143)) 305    288    1455058944
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 timeout (error (143)) 305    280    1611747328
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 true 56.1  34.2  1155534848
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 true 15.6  8.51 450981888
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 true 15.4  8.38 441077760
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 timeout (error (143)) 306    234    7510941696
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 timeout (error (143)) 306    289    3269439488
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 timeout (error (143)) 306    237    7509970944
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 false 7.28 4.05 247304192
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 true 10.5  5.80 302972928
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 true 10.5  5.78 294825984
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 true 10.8  6.06 304971776
../../../../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 status cputime (s) walltime (s) memUsage
total 637 114000 82400 1884243058688 637 187000 151000 2171844317184 637 156000 119000 2208961941504 637 176000 142000 2167500464128 637 164000 120000 2604572909568 637 163000 119000 2582614585344
    correct results 0 0 0 0 0 0
        correct true 0 0 0 0 0 0
        correct false 0 0 0 0 0 0
    incorrect results 0 0 0 0 0 0
        incorrect true 0 0 0 0 0 0
        incorrect false 0 0 0 0 0 0
Run set Automizer Taipan Taipan-EXP Taipan-INT Taipan-INT-LIM Taipan-INT-LIM-10