Tool ULTIMATE Automizer 0.1.23-dd2f093f
Limits timelimit: 300 s, memlimit: 8000 MB, CPU core limit: 2
Host struebli
OS Linux-4.16.18-gentoo-x86_64-AMD_EPYC_7351P_16-Core_Processor-with-gentoo-2.4.1
System CPU: AMD EPYC 7351P 16-Core Processor, cores: 32, frequency: 2400 MHz; RAM: 135158 MB
Date of execution 2018-07-23 18:06:06 CEST 2018-07-24 10:43:43 CEST
Run set Taipan_OldIcfg RubberTaipan
Options -tc ../../../trunk/examples/toolchains/AutomizerCInline.xml --generate-csv --csv-dir csv -s ../../../trunk/examples/settings/default/taipan/svcomp-Reach-64bit-Taipan_Default-old.epf -tc ../../../trunk/examples/toolchains/AutomizerCInline.xml --generate-csv --csv-dir csv -s ../../../trunk/examples/settings/ai/taipanbench/svcomp-Reach-64bit-RubberTaipan_Default-OldIcfg.epf
../../../../trunk/examples/svcomp/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
loops/eureka_05_true-unreach-call_true-termination.i timeout (error (143)) 301    250    1697501184 true 279    230    1847037952
loops/invert_string_true-unreach-call_true-termination.i timeout (error (143)) 302    273    1341054976 true 252    222    1401729024
loop-acceleration/overflow_true-unreach-call1.i true 9.36 5.19 275836928 timeout (error (143)) 305    292    989388800
loop-acceleration/simple_true-unreach-call1.i true 10.3  5.69 288137216 timeout (error (143)) 306    294    999456768
loop-invgen/down_true-unreach-call_true-termination.i true 12.6  7.08 376856576 timeout (error (143)) 301    235    1625083904
loop-invgen/heapsort_true-unreach-call_true-termination.i timeout (error (143)) 302    238    1649086464 error: exception 47.1  28.9  1017061376
loop-invgen/string_concat-noarr_true-unreach-call_true-termination.i true 14.1  7.88 389394432 timeout (error (143)) 300    247    1513099264
eca-rers2012/Problem01_label15_false-unreach-call_false-termination.c timeout (error (143)) 302    262    2919559168 false 101    66.7  1623347200
eca-rers2012/Problem01_label20_false-unreach-call_false-termination.c timeout (error (143)) 302    260    2953887744 false 124    82.4  1969098752
eca-rers2012/Problem01_label21_false-unreach-call_false-termination.c timeout (error (143)) 302    250    2908065792 false 131    90.6  1999544320
eca-rers2012/Problem01_label32_false-unreach-call_false-termination.c timeout (error (143)) 301    267    2898731008 false 77.1  49.5  1323978752
eca-rers2012/Problem01_label33_false-unreach-call_false-termination.c timeout (error (143)) 301    270    2902466560 false 81.1  51.3  1355337728
eca-rers2012/Problem01_label35_false-unreach-call_false-termination.c timeout (error (143)) 301    263    2906443776 false 94.8  60.7  1368076288
eca-rers2012/Problem01_label37_false-unreach-call_false-termination.c timeout (error (143)) 303    260    2904764416 false 92.6  57.6  1420021760
eca-rers2012/Problem01_label38_false-unreach-call_false-termination.c timeout (error (143)) 302    245    2910453760 false 93.9  59.4  1515249664
eca-rers2012/Problem01_label44_false-unreach-call_false-termination.c timeout (error (143)) 302    267    2902626304 false 58.7  35.1  1203843072
eca-rers2012/Problem01_label47_false-unreach-call_false-termination.c timeout (error (143)) 301    253    2936205312 false 102    65.3  1551273984
eca-rers2012/Problem01_label50_false-unreach-call_false-termination.c timeout (error (143)) 302    259    2910785536 false 63.0  39.9  1223725056
eca-rers2012/Problem01_label56_false-unreach-call_false-termination.c timeout (error (143)) 302    258    2920697856 false 92.5  58.1  1378820096
eca-rers2012/Problem01_label57_false-unreach-call_false-termination.c timeout (error (143)) 302    246    2909310976 false 90.3  57.2  1545261056
eca-rers2012/Problem02_label13_false-unreach-call_false-termination.c error: exception 50.1  32.1  2849153024 false 63.9  39.7  1190035456
eca-rers2012/Problem02_label16_false-unreach-call_false-termination.c error: exception 139    110    2884173824 false 37.3  22.2  978575360
eca-rers2012/Problem02_label43_false-unreach-call_false-termination.c error: exception 57.1  36.1  2856468480 false 38.7  22.6  1052434432
eca-rers2012/Problem02_label44_false-unreach-call_false-termination.c error: exception 56.7  37.5  2855940096 false 34.7  20.2  867282944
eca-rers2012/Problem02_label45_false-unreach-call_false-termination.c error: exception 134    104    2893635584 false 86.5  52.8  1396809728
eca-rers2012/Problem02_label50_false-unreach-call_false-termination.c error: exception 151    124    2901962752 false 58.3  35.7  1183891456
eca-rers2012/Problem02_label59_false-unreach-call_false-termination.c error: exception 103    80.4  2890100736 false 70.1  42.0  1230090240
eca-rers2012/Problem03_label37_false-unreach-call.c timeout (error (143)) 303    281    2925707264 false 192    132    3412422656
eca-rers2012/Problem03_label45_false-unreach-call.c timeout (error (143)) 305    280    2922221568 timeout 322    225    7018397696
eca-rers2012/Problem06_label05_false-unreach-call.c timeout (error (143)) 304    258    3095441408 timeout 322    226    5181292544
eca-rers2012/Problem08_label29_false-unreach-call.c timeout (error: exception) 304    232    5082906624 timeout (error (143)) 306    229    5201244160
eca-rers2012/Problem08_label43_false-unreach-call.c timeout (error: exception) 302    231    4866293760 timeout (error (143)) 312    236    5586173952
eca-rers2012/Problem08_label50_false-unreach-call.c timeout 322    237    6191681536 timeout (error (143)) 306    234    5032071168
eca-rers2012/Problem08_label51_false-unreach-call.c timeout (error (143)) 306    234    5017042944 timeout (error: exception) 302    226    5130199040
eca-rers2012/Problem10_label15_false-unreach-call.c timeout (error (143)) 301    247    2983526400 false 45.8  28.3  1201397760
eca-rers2012/Problem10_label28_false-unreach-call.c timeout (error (143)) 302    239    3003367424 false 214    178    1682882560
eca-rers2012/Problem10_label29_false-unreach-call.c timeout (error (143)) 301    242    2989920256 false 116    80.6  1592492032
eca-rers2012/Problem10_label42_false-unreach-call.c timeout (error (143)) 301    225    2997567488 false 49.9  29.8  1048563712
eca-rers2012/Problem10_label47_false-unreach-call.c timeout (error (143)) 301    218    2962051072 false 126    90.6  1476231168
eca-rers2012/Problem10_label48_false-unreach-call.c timeout (error (143)) 301    243    2968604672 false 98.8  67.1  1514045440
eca-rers2012/Problem10_label50_false-unreach-call.c timeout (error (143)) 300    224    3008372736 timeout 322    222    7293435904
eca-rers2012/Problem10_label55_false-unreach-call.c timeout (error (143)) 301    242    2986201088 false 57.2  34.9  1205137408
eca-rers2012/Problem10_label57_false-unreach-call.c timeout (error (143)) 302    241    2971697152 false 105    69.1  1456144384
eca-rers2012/Problem11_label08_false-unreach-call.c timeout (error (143)) 302    251    3928969216 false 262    221    2407600128
eca-rers2012/Problem11_label14_false-unreach-call.c timeout (error (143)) 301    249    4148199424 false 102    67.8  1458216960
eca-rers2012/Problem11_label15_false-unreach-call.c timeout (error (143)) 306    245    3943845888 false 73.2  45.2  1324613632
eca-rers2012/Problem11_label20_false-unreach-call.c timeout (error (143)) 302    238    3716472832 false 142    96.5  2324127744
eca-rers2012/Problem11_label36_false-unreach-call.c timeout (error (143)) 303    237    3792171008 false 68.2  42.8  1225244672
eca-rers2012/Problem11_label42_false-unreach-call.c timeout (error (143)) 310    249    4109303808 false 124    87.4  1630306304
eca-rers2012/Problem11_label43_false-unreach-call.c timeout (error (143)) 306    246    3973300224 false 139    101    1602732032
eca-rers2012/Problem11_label49_false-unreach-call.c timeout (error (143)) 301    247    3850653696 false 97.7  68.7  1450332160
eca-rers2012/Problem11_label51_false-unreach-call.c timeout (error (143)) 304    249    4404420608 false 142    100    2524250112
eca-rers2012/Problem12_label03_false-unreach-call.c timeout 322    214    7709614080 timeout (error (143)) 302    230    4642369536
eca-rers2012/Problem12_label06_false-unreach-call.c out of memory 265    190    8000000000 timeout (error (143)) 300    228    4762812416
eca-rers2012/Problem12_label07_false-unreach-call.c out of memory 276    208    8000000000 timeout (error (143)) 304    231    5007802368
eca-rers2012/Problem12_label08_false-unreach-call.c out of memory 194    133    8000000000 timeout (error (143)) 301    229    4600541184
eca-rers2012/Problem12_label21_false-unreach-call.c timeout (error (143)) 302    204    7753293824 timeout (error: exception) 301    237    4320681984
eca-rers2012/Problem12_label34_false-unreach-call.c out of memory 293    208    8000000000 timeout (error (143)) 301    226    4458831872
eca-rers2012/Problem12_label38_false-unreach-call.c timeout 321    209    7745556480 timeout (error (143)) 300    236    4100108288
eca-rers2012/Problem12_label42_false-unreach-call.c out of memory 283    193    8000000000 timeout (error (143)) 300    222    4371378176
eca-rers2012/Problem12_label48_false-unreach-call.c out of memory 295    202    8000000000 error: exception 246    189    3063652352
eca-rers2012/Problem12_label55_false-unreach-call.c timeout 320    216    6721392640 timeout (error (143)) 304    228    4583735296
eca-rers2012/Problem14_label08_false-unreach-call_false-termination.c timeout (error (143)) 301    243    3054522368 false 284    216    2933964800
eca-rers2012/Problem14_label10_false-unreach-call_false-termination.c timeout (error (143)) 307    237    3112239104 false 210    153    2893869056
eca-rers2012/Problem14_label11_false-unreach-call_false-termination.c timeout (error (143)) 301    241    3063382016 false 243    184    2974519296
eca-rers2012/Problem14_label13_false-unreach-call_false-termination.c timeout (error (143)) 302    230    3167240192 false 177    130    2896248832
eca-rers2012/Problem14_label18_false-unreach-call_false-termination.c timeout (error (143)) 303    240    3032371200 false 233    173    2923167744
eca-rers2012/Problem14_label27_false-unreach-call_false-termination.c timeout (error (143)) 301    235    3071889408 false 186    137    2931924992
eca-rers2012/Problem14_label29_false-unreach-call_false-termination.c timeout (error (143)) 300    235    3066425344 false 268    201    3024367616
eca-rers2012/Problem14_label31_false-unreach-call_false-termination.c timeout (error (143)) 301    237    3065450496 false 213    154    2933624832
eca-rers2012/Problem14_label34_false-unreach-call_false-termination.c timeout (error (143)) 304    243    3103703040 false 259    192    2944720896
eca-rers2012/Problem14_label37_false-unreach-call_false-termination.c timeout (error (143)) 305    224    3115122688 false 232    176    2917228544
eca-rers2012/Problem14_label39_false-unreach-call_false-termination.c timeout (error (143)) 302    235    3063795712 false 210    151    3108040704
eca-rers2012/Problem14_label40_false-unreach-call_false-termination.c timeout (error (143)) 301    231    3077193728 false 229    172    2945298432
eca-rers2012/Problem14_label44_false-unreach-call_false-termination.c timeout (error (143)) 302    244    3027513344 false 286    219    3106004992
eca-rers2012/Problem14_label52_false-unreach-call_false-termination.c timeout (error (143)) 301    213    3030798336 false 258    193    3065585664
eca-rers2012/Problem14_label56_false-unreach-call_false-termination.c timeout (error (143)) 302    240    3050119168 false 241    181    2926465024
eca-rers2012/Problem14_label57_false-unreach-call_false-termination.c timeout (error (143)) 301    225    3089444864 false 222    162    2994864128
eca-rers2012/Problem16_label37_false-unreach-call.c timeout (error (143)) 305    242    3037896704 timeout (error: exception) 302    233    3102375936
eca-rers2012/Problem19_label14_false-unreach-call.c timeout 321    237    5995970560 timeout (error (143)) 302    235    3690442752
eca-rers2012/Problem19_label18_false-unreach-call.c timeout 321    232    6021709824 timeout (error (143)) 301    236    3574501376
eca-rers2012/Problem19_label22_false-unreach-call.c timeout 321    239    5228724224 timeout (error (143)) 300    235    3620941824
eca-rers2012/Problem19_label26_false-unreach-call.c timeout 321    232    5953925120 timeout (error (143)) 303    242    3758555136
eca-rers2012/Problem19_label27_false-unreach-call.c timeout 321    247    4650504192 timeout (error (143)) 301    239    3392806912
eca-rers2012/Problem19_label29_false-unreach-call.c timeout 320    239    4486750208 timeout (error (143)) 301    237    3323797504
eca-rers2012/Problem19_label32_false-unreach-call.c timeout 321    243    6152970240 timeout (error (143)) 302    236    3907264512
eca-rers2012/Problem19_label42_false-unreach-call.c timeout 321    243    6153814016 timeout (error (143)) 301    242    3332501504
eca-rers2012/Problem19_label47_false-unreach-call.c timeout 322    242    6320209920 timeout (error (143)) 301    238    3232600064
eca-rers2012/Problem19_label53_false-unreach-call.c timeout 321    228    6174830592 timeout (error (143)) 300    236    3467792384
eca-rers2012/Problem01_label01_true-unreach-call_false-termination.c timeout (error (143)) 307    273    2919227392 true 43.0  25.7  1047658496
eca-rers2012/Problem01_label02_true-unreach-call_false-termination.c timeout (error (143)) 301    264    2903654400 true 51.7  30.3  1087832064
eca-rers2012/Problem01_label03_true-unreach-call_false-termination.c timeout (error (143)) 302    260    2919915520 true 44.4  26.3  1046061056
eca-rers2012/Problem01_label04_true-unreach-call_false-termination.c timeout (error (143)) 301    269    2934190080 true 39.4  23.5  1054457856
eca-rers2012/Problem01_label05_true-unreach-call_false-termination.c timeout (error (143)) 302    248    2943049728 true 62.5  38.7  1211232256
eca-rers2012/Problem01_label08_true-unreach-call_false-termination.c timeout (error (143)) 302    260    2935615488 true 75.0  46.2  1357606912
eca-rers2012/Problem01_label11_true-unreach-call_false-termination.c timeout (error (143)) 306    269    2922422272 true 32.1  18.6  871059456
eca-rers2012/Problem01_label13_true-unreach-call_false-termination.c timeout (error (143)) 302    262    2924285952 true 38.4  21.8  899477504
eca-rers2012/Problem01_label14_true-unreach-call_false-termination.c timeout (error (143)) 302    260    2911420416 true 34.0  19.3  903966720
eca-rers2012/Problem01_label17_true-unreach-call_false-termination.c timeout (error (143)) 301    261    2903285760 true 47.6  27.6  1048403968
eca-rers2012/Problem01_label19_true-unreach-call_false-termination.c timeout (error (143)) 301    269    2899177472 true 28.6  16.4  849223680
eca-rers2012/Problem01_label22_true-unreach-call_false-termination.c timeout (error (143)) 302    262    2910662656 true 45.1  26.5  1113722880
eca-rers2012/Problem01_label23_true-unreach-call_false-termination.c timeout (error (143)) 302    263    2905038848 true 41.1  24.1  1107447808
eca-rers2012/Problem01_label25_true-unreach-call_false-termination.c timeout (error (143)) 303    245    2908704768 true 28.2  16.2  908701696
eca-rers2012/Problem01_label27_true-unreach-call_false-termination.c timeout (error (143)) 301    248    2934816768 true 44.4  26.6  1049804800
eca-rers2012/Problem01_label28_true-unreach-call_false-termination.c timeout (error (143)) 302    244    2905907200 true 32.5  18.4  885194752
eca-rers2012/Problem01_label29_true-unreach-call_false-termination.c timeout (error (143)) 303    262    2925395968 true 57.9  35.2  1195307008
eca-rers2012/Problem01_label30_true-unreach-call_false-termination.c timeout (error (143)) 302    259    2924433408 true 56.1  34.0  1193758720
eca-rers2012/Problem01_label34_true-unreach-call_false-termination.c timeout (error (143)) 303    264    2905010176 true 28.3  16.2  882884608
eca-rers2012/Problem01_label36_true-unreach-call_false-termination.c timeout (error (143)) 302    255    2930368512 true 45.0  26.4  1030918144
eca-rers2012/Problem01_label39_true-unreach-call_false-termination.c timeout (error (143)) 301    261    2918461440 true 49.2  29.3  1125462016
eca-rers2012/Problem01_label40_true-unreach-call_false-termination.c timeout (error (143)) 302    246    2908672000 true 41.7  24.6  1076834304
eca-rers2012/Problem01_label41_true-unreach-call_false-termination.c timeout (error (143)) 307    264    2907512832 true 73.5  44.9  1215188992
eca-rers2012/Problem01_label42_true-unreach-call_false-termination.c timeout (error (143)) 302    255    2941173760 true 43.6  25.8  1061572608
eca-rers2012/Problem01_label43_true-unreach-call_false-termination.c timeout (error (143)) 302    265    2898001920 true 40.0  23.9  1064345600
eca-rers2012/Problem01_label45_true-unreach-call_false-termination.c timeout (error (143)) 301    260    2933641216 true 41.5  24.1  1034350592
eca-rers2012/Problem01_label46_true-unreach-call_false-termination.c timeout (error (143)) 307    272    2929909760 true 42.0  24.8  1057427456
eca-rers2012/Problem01_label48_true-unreach-call_false-termination.c timeout (error (143)) 302    239    2913816576 true 38.1  22.1  1010171904
eca-rers2012/Problem01_label49_true-unreach-call_false-termination.c timeout (error (143)) 301    258    2920038400 true 36.8  21.1  894840832
eca-rers2012/Problem01_label52_true-unreach-call_false-termination.c timeout (error (143)) 301    267    2912956416 true 33.3  19.2  886689792
eca-rers2012/Problem01_label53_true-unreach-call_false-termination.c timeout (error (143)) 302    258    2926161920 true 46.1  27.1  1034784768
eca-rers2012/Problem01_label55_true-unreach-call_false-termination.c timeout (error (143)) 302    263    2916646912 true 49.8  30.1  1061343232
eca-rers2012/Problem01_label58_true-unreach-call_false-termination.c timeout (error (143)) 301    260    2904281088 true 30.9  17.9  885788672
eca-rers2012/Problem01_label59_true-unreach-call_false-termination.c timeout (error (143)) 303    268    2904522752 true 42.4  25.1  1069625344
eca-rers2012/Problem02_label00_true-unreach-call_false-termination.c error: exception 188    155    2899763200 true 63.2  37.7  1189445632
eca-rers2012/Problem02_label01_true-unreach-call_false-termination.c error: exception 74.7  49.1  2877054976 true 42.0  25.0  1018068992
eca-rers2012/Problem02_label02_true-unreach-call_false-termination.c error: exception 57.0  37.1  2857840640 true 37.6  22.4  1081352192
eca-rers2012/Problem02_label03_true-unreach-call_false-termination.c error: exception 174    142    2895577088 true 63.0  39.2  1204396032
eca-rers2012/Problem02_label04_true-unreach-call_false-termination.c error: exception 134    106    2896703488 true 56.1  33.0  1194315776
eca-rers2012/Problem02_label06_true-unreach-call_false-termination.c error: exception 208    173    2905497600 true 79.9  51.3  1359568896
eca-rers2012/Problem02_label07_true-unreach-call_false-termination.c error: exception 79.7  51.8  2879049728 true 44.2  25.9  1067302912
eca-rers2012/Problem02_label08_true-unreach-call_false-termination.c error: exception 76.6  49.8  2866434048 true 65.3  38.3  1217122304
eca-rers2012/Problem02_label09_true-unreach-call_false-termination.c error: exception 80.3  51.7  2876825600 true 44.7  26.2  1040764928
eca-rers2012/Problem02_label10_true-unreach-call_false-termination.c error: exception 185    155    2907521024 true 58.0  34.9  1218072576
eca-rers2012/Problem02_label11_true-unreach-call_false-termination.c error: exception 73.5  47.0  2873171968 true 44.3  26.0  1020825600
eca-rers2012/Problem02_label12_true-unreach-call_false-termination.c error: exception 59.3  38.9  2850332672 true 36.3  20.6  893038592
eca-rers2012/Problem02_label15_true-unreach-call_false-termination.c error: exception 177    142    2908680192 true 49.9  29.5  1051873280
eca-rers2012/Problem02_label17_true-unreach-call_false-termination.c error: exception 163    127    2902708224 true 47.2  28.1  1042157568
eca-rers2012/Problem02_label19_true-unreach-call_false-termination.c error: exception 65.0  42.4  2863603712 true 49.0  30.0  1054896128
eca-rers2012/Problem02_label21_true-unreach-call_false-termination.c error: exception 66.7  42.4  2867900416 true 49.1  28.7  1021534208
eca-rers2012/Problem02_label22_true-unreach-call_false-termination.c error: exception 151    122    2895224832 true 78.3  47.2  1370693632
eca-rers2012/Problem02_label23_true-unreach-call_false-termination.c error: exception 165    138    2893074432 true 55.7  33.0  1171349504
eca-rers2012/Problem02_label24_true-unreach-call_false-termination.c error: exception 142    116    2889572352 true 40.6  23.4  981573632
eca-rers2012/Problem02_label25_true-unreach-call_false-termination.c error: exception 73.0  47.8  2856189952 true 68.0  40.3  1196953600
eca-rers2012/Problem02_label26_true-unreach-call_false-termination.c error: exception 160    135    2883280896 true 82.9  51.5  1433313280
eca-rers2012/Problem02_label27_true-unreach-call_false-termination.c error: exception 126    99.6  2880749568 true 33.5  19.4  891273216
eca-rers2012/Problem02_label28_true-unreach-call_false-termination.c error: exception 149    125    2890452992 true 34.5  19.9  879067136
eca-rers2012/Problem02_label29_true-unreach-call_false-termination.c error: exception 54.1  34.7  2850734080 true 53.5  32.0  1071849472
eca-rers2012/Problem02_label30_true-unreach-call_false-termination.c error: exception 72.5  47.6  2868076544 true 53.1  31.5  1156173824
eca-rers2012/Problem02_label31_true-unreach-call_false-termination.c error: exception 68.8  43.9  2876436480 true 50.7  29.4  1035124736
eca-rers2012/Problem02_label32_true-unreach-call_false-termination.c error: exception 64.0  41.8  2858283008 true 42.5  24.8  1062010880
eca-rers2012/Problem02_label34_true-unreach-call_false-termination.c error: exception 62.3  39.6  2875109376 true 45.1  25.8  1062703104
eca-rers2012/Problem02_label35_true-unreach-call_false-termination.c error: exception 66.3  43.3  2861973504 true 53.8  32.7  1169424384
eca-rers2012/Problem02_label36_true-unreach-call_false-termination.c error: exception 164    137    2890637312 true 65.7  38.1  1192329216
eca-rers2012/Problem02_label37_true-unreach-call_false-termination.c error: exception 66.1  42.8  2869981184 true 48.3  28.4  1050775552
eca-rers2012/Problem02_label39_true-unreach-call_false-termination.c error: exception 168    134    2900307968 true 101    67.6  1528590336
eca-rers2012/Problem02_label40_true-unreach-call_false-termination.c error: exception 60.9  39.2  2872995840 true 82.0  50.2  1376043008
eca-rers2012/Problem02_label41_true-unreach-call_false-termination.c error: exception 49.9  32.5  2856222720 true 85.4  52.6  1475850240
eca-rers2012/Problem02_label42_true-unreach-call_false-termination.c error: exception 56.7  37.0  2857746432 true 38.3  22.6  1056284672
eca-rers2012/Problem02_label46_true-unreach-call_false-termination.c error: exception 58.7  39.2  2865577984 true 55.2  32.9  1205297152
eca-rers2012/Problem02_label47_true-unreach-call_false-termination.c error: exception 58.3  39.2  2857742336 true 27.3  15.6  887607296
eca-rers2012/Problem02_label48_true-unreach-call_false-termination.c error: exception 179    146    2896625664 true 108    68.6  1551802368
eca-rers2012/Problem02_label49_true-unreach-call_false-termination.c error: exception 171    137    2901962752 true 52.5  31.7  1162694656
eca-rers2012/Problem02_label51_true-unreach-call_false-termination.c error: exception 151    121    2893479936 true 73.4  45.7  1306279936
eca-rers2012/Problem02_label52_true-unreach-call_false-termination.c error: exception 170    141    2898546688 true 67.4  41.8  1198186496
eca-rers2012/Problem02_label53_true-unreach-call_false-termination.c error: exception 200    163    2904236032 true 58.8  37.0  1187762176
eca-rers2012/Problem02_label54_true-unreach-call_false-termination.c error: exception 66.3  43.5  2881306624 true 46.9  28.9  1085554688
eca-rers2012/Problem02_label55_true-unreach-call_false-termination.c error: exception 156    124    2894360576 true 94.0  60.3  1489719296
eca-rers2012/Problem02_label56_true-unreach-call_false-termination.c error: exception 73.1  48.3  2869706752 true 46.9  28.1  1039417344
eca-rers2012/Problem03_label06_true-unreach-call.c timeout (error (143)) 305    282    2918555648 true 101    64.3  2053775360
eca-rers2012/Problem03_label08_true-unreach-call.c timeout (error (143)) 302    277    2921967616 true 105    61.8  1564205056
eca-rers2012/Problem03_label10_true-unreach-call.c timeout (error (143)) 305    281    2912378880 true 300    237    3160698880
eca-rers2012/Problem03_label16_true-unreach-call.c timeout (error (143)) 305    280    2916802560 true 108    68.8  1995907072
eca-rers2012/Problem03_label22_true-unreach-call.c timeout (error (143)) 301    273    2925465600 true 126    83.0  2895507456
eca-rers2012/Problem03_label24_true-unreach-call.c timeout (error (143)) 305    280    2916114432 true 136    83.4  2457141248
eca-rers2012/Problem03_label29_true-unreach-call.c timeout (error (143)) 302    276    2918240256 true 89.5  55.6  1725624320
eca-rers2012/Problem03_label30_true-unreach-call.c timeout (error (143)) 302    277    2900422656 true 73.6  44.6  1432158208
eca-rers2012/Problem03_label32_true-unreach-call.c timeout (error (143)) 302    275    2912235520 true 136    78.9  2933301248
eca-rers2012/Problem03_label33_true-unreach-call.c timeout (error (143)) 305    278    2924761088 true 234    160    4227829760
eca-rers2012/Problem03_label38_true-unreach-call.c timeout (error (143)) 302    282    2918543360 true 75.8  46.3  1465344000
eca-rers2012/Problem03_label44_true-unreach-call.c timeout (error (143)) 303    278    2923495424 timeout 321    232    5047939072
eca-rers2012/Problem03_label46_true-unreach-call.c timeout (error (143)) 305    280    2929295360 true 102    61.9  1779515392
eca-rers2012/Problem03_label56_true-unreach-call.c timeout (error (143)) 305    286    2886012928 true 74.6  45.7  1446440960
eca-rers2012/Problem03_label57_true-unreach-call.c timeout (error (143)) 301    278    2940514304 true 113    71.9  2006892544
eca-rers2012/Problem04_label21_true-unreach-call.c timeout (error (143)) 303    260    2991976448 true 292    220    3439030272
eca-rers2012/Problem04_label44_true-unreach-call_false-termination.c timeout (error (143)) 303    265    2992701440 true 247    175    3237748736
eca-rers2012/Problem04_label46_true-unreach-call_false-termination.c timeout (error (143)) 302    258    3004760064 true 150    98.2  2944782336
eca-rers2012/Problem06_label34_true-unreach-call.c timeout (error (143)) 304    264    3048411136 timeout 322    237    4592197632
eca-rers2012/Problem06_label49_true-unreach-call.c timeout (error (143)) 306    259    3104378880 timeout 322    223    5568958464
eca-rers2012/Problem08_label11_true-unreach-call.c timeout (error: exception) 302    226    5187174400 timeout (error (143)) 306    223    5186875392
eca-rers2012/Problem08_label12_true-unreach-call.c timeout (error: exception) 305    229    5083938816 timeout (error (143)) 307    234    5053476864
eca-rers2012/Problem08_label17_true-unreach-call.c timeout (error: exception) 301    225    5044858880 timeout (error (143)) 305    232    4848533504
eca-rers2012/Problem08_label20_true-unreach-call.c timeout 321    237    5693841408 timeout (error: exception) 302    226    4928262144
eca-rers2012/Problem08_label21_true-unreach-call.c timeout (error (143)) 311    232    5468991488 timeout (error: exception) 302    225    5184323584
eca-rers2012/Problem08_label22_true-unreach-call.c timeout (error (143)) 306    228    5016162304 timeout (error: exception) 303    227    5193646080
eca-rers2012/Problem08_label30_true-unreach-call.c timeout (error: exception) 301    225    4871319552 timeout (error (143)) 305    231    4995342336
eca-rers2012/Problem08_label31_true-unreach-call.c timeout (error: exception) 302    226    5196132352 timeout (error (143)) 305    231    5014700032
eca-rers2012/Problem08_label33_true-unreach-call.c timeout (error (143)) 305    228    5176639488 timeout (error: exception) 301    224    5650128896
eca-rers2012/Problem08_label36_true-unreach-call.c timeout (error: exception) 301    227    5055762432 timeout (error (143)) 306    234    5019164672
eca-rers2012/Problem08_label38_true-unreach-call.c timeout (error: exception) 303    227    5178019840 timeout (error (143)) 307    235    5046308864
eca-rers2012/Problem08_label39_true-unreach-call.c timeout (error (143)) 309    230    5463724032 timeout (error: exception) 302    227    5226934272
eca-rers2012/Problem08_label40_true-unreach-call.c timeout 322    239    5885644800 timeout (error: exception) 302    226    5163585536
eca-rers2012/Problem08_label44_true-unreach-call.c timeout (error (143)) 305    231    5186195456 timeout (error: exception) 301    225    5189816320
eca-rers2012/Problem08_label45_true-unreach-call.c timeout (error (143)) 311    234    5749465088 timeout (error: exception) 301    225    5603377152
eca-rers2012/Problem08_label53_true-unreach-call.c timeout (error (143)) 307    233    5060259840 timeout (error: exception) 301    225    5052448768
eca-rers2012/Problem10_label00_true-unreach-call.c timeout (error (143)) 302    244    2976468992 true 73.2  47.2  1341587456
eca-rers2012/Problem10_label01_true-unreach-call.c timeout (error (143)) 301    237    2976698368 true 65.0  40.0  1337094144
eca-rers2012/Problem10_label02_true-unreach-call.c timeout (error (143)) 301    239    3007676416 true 76.1  47.1  1234374656
eca-rers2012/Problem10_label07_true-unreach-call.c timeout (error (143)) 302    241    2977005568 true 44.9  27.5  1128484864
eca-rers2012/Problem10_label08_true-unreach-call.c timeout (error (143)) 302    247    2989830144 true 45.9  27.8  1077534720
eca-rers2012/Problem10_label14_true-unreach-call.c timeout (error (143)) 301    229    2961526784 true 39.4  23.3  940994560
eca-rers2012/Problem10_label16_true-unreach-call.c timeout (error (143)) 301    238    2966409216 true 78.7  50.4  1392418816
eca-rers2012/Problem10_label17_true-unreach-call.c timeout (error (143)) 302    240    2956054528 true 59.0  38.4  1207271424
eca-rers2012/Problem10_label18_true-unreach-call.c timeout (error (143)) 301    237    2966802432 true 74.1  47.6  1364213760
eca-rers2012/Problem10_label23_true-unreach-call.c timeout (error (143)) 301    238    2947424256 true 195    152    1775640576
eca-rers2012/Problem10_label25_true-unreach-call.c timeout (error (143)) 302    229    2961666048 true 243    192    1915281408
eca-rers2012/Problem10_label27_true-unreach-call.c timeout (error (143)) 302    233    2977611776 true 70.0  45.6  1214398464
eca-rers2012/Problem10_label30_true-unreach-call.c timeout (error (143)) 301    231    2966298624 true 72.9  48.0  1333551104
eca-rers2012/Problem10_label31_true-unreach-call.c timeout (error (143)) 301    249    2980851712 true 28.4  17.2  913129472
eca-rers2012/Problem10_label33_true-unreach-call.c timeout (error (143)) 302    242    3011932160 true 29.2  17.7  895991808
eca-rers2012/Problem10_label36_true-unreach-call.c timeout (error (143)) 301    242    2974011392 true 36.5  22.0  940453888
eca-rers2012/Problem10_label38_true-unreach-call.c timeout (error (143)) 302    240    2958725120 true 38.1  22.5  929034240
eca-rers2012/Problem10_label39_true-unreach-call.c timeout (error (143)) 301    235    3004833792 true 48.2  30.6  1028198400
eca-rers2012/Problem10_label40_true-unreach-call.c timeout (error (143)) 305    220    2995224576 true 43.7  27.3  1090428928
eca-rers2012/Problem10_label43_true-unreach-call.c timeout (error (143)) 301    222    2982588416 true 84.7  57.4  1132666880
eca-rers2012/Problem10_label44_true-unreach-call.c timeout (error (143)) 301    238    2983579648 true 55.9  36.3  1071554560
eca-rers2012/Problem10_label45_true-unreach-call.c timeout (error (143)) 301    222    2998853632 true 55.9  37.1  1137192960
eca-rers2012/Problem10_label49_true-unreach-call.c timeout (error (143)) 302    240    2975698944 true 60.1  36.6  1213784064
eca-rers2012/Problem10_label53_true-unreach-call.c timeout (error (143)) 301    245    2989248512 true 32.4  18.8  905543680
eca-rers2012/Problem10_label54_true-unreach-call.c timeout (error (143)) 300    237    2985172992 true 40.6  23.6  1038901248
eca-rers2012/Problem11_label01_true-unreach-call.c timeout (error (143)) 307    242    4187107328 true 84.6  61.6  1372209152
eca-rers2012/Problem11_label03_true-unreach-call.c timeout (error (143)) 306    255    4276887552 true 62.2  39.9  1294786560
eca-rers2012/Problem11_label04_true-unreach-call.c timeout (error (143)) 306    249    4108529664 true 114    77.5  1610653696
eca-rers2012/Problem11_label07_true-unreach-call.c timeout (error (143)) 304    247    3883737088 true 65.1  41.3  1268543488
eca-rers2012/Problem11_label09_true-unreach-call.c timeout (error (143)) 302    247    3938951168 true 179    127    2822672384
eca-rers2012/Problem11_label12_true-unreach-call.c timeout (error (143)) 302    247    4010778624 true 65.2  41.4  1267953664
eca-rers2012/Problem11_label16_true-unreach-call.c timeout (error (143)) 302    251    3841773568 true 67.4  42.9  1286217728
eca-rers2012/Problem11_label17_true-unreach-call.c timeout (error (143)) 301    246    3868954624 true 81.7  51.0  1405562880
eca-rers2012/Problem11_label18_true-unreach-call.c timeout (error (143)) 304    230    4194992128 true 73.9  47.6  1234939904
eca-rers2012/Problem11_label21_true-unreach-call.c timeout (error (143)) 303    239    4154085376 true 177    120    2465169408
eca-rers2012/Problem11_label27_true-unreach-call.c timeout (error (143)) 304    243    3976028160 true 84.4  51.0  1329602560
eca-rers2012/Problem11_label32_true-unreach-call.c timeout (error (143)) 301    246    3740422144 true 95.4  62.1  1515880448
eca-rers2012/Problem11_label33_true-unreach-call.c timeout (error (143)) 301    231    3810197504 true 104    65.0  1459154944
eca-rers2012/Problem11_label37_true-unreach-call.c timeout (error (143)) 303    253    3943661568 true 74.1  45.8  1301671936
eca-rers2012/Problem11_label38_true-unreach-call.c timeout (error (143)) 302    240    3941376000 true 145    98.7  2662551552
eca-rers2012/Problem11_label41_true-unreach-call.c timeout (error (143)) 302    237    3854241792 timeout 310    229    8000000000
eca-rers2012/Problem11_label44_true-unreach-call.c timeout (error (143)) 307    257    3953770496 true 82.5  55.0  1299177472
eca-rers2012/Problem11_label53_true-unreach-call.c timeout (error (143)) 303    227    4141096960 true 62.4  39.1  1243811840
eca-rers2012/Problem11_label59_true-unreach-call.c timeout (error (143)) 301    246    3917766656 true 232    178    2421870592
eca-rers2012/Problem12_label02_true-unreach-call.c timeout (error (143)) 302    200    7799529472 error: exception 291    230    3288199168
eca-rers2012/Problem12_label04_true-unreach-call.c timeout 305    213    8000000000 timeout (error (143)) 301    225    4704727040
eca-rers2012/Problem12_label09_true-unreach-call.c out of memory 241    170    8000000000 timeout (error (143)) 301    226    4343934976
eca-rers2012/Problem12_label14_true-unreach-call.c timeout 321    204    6694715392 timeout (error (143)) 306    226    5218316288
eca-rers2012/Problem12_label17_true-unreach-call.c timeout 322    205    7380049920 timeout (error (143)) 303    227    4605526016
eca-rers2012/Problem12_label23_true-unreach-call.c timeout 321    202    6974418944 timeout (error (143)) 301    232    3723464704
eca-rers2012/Problem12_label29_true-unreach-call.c out of memory 235    159    8000000000 timeout (error (143)) 300    218    5112176640
eca-rers2012/Problem12_label33_true-unreach-call.c out of memory 292    196    8000000000 timeout (error (143)) 314    240    4275077120
eca-rers2012/Problem12_label44_true-unreach-call.c timeout 322    206    7722217472 timeout (error (143)) 301    227    4442509312
eca-rers2012/Problem12_label54_true-unreach-call.c out of memory 296    223    8000000000 timeout (error (143)) 302    236    4382187520
eca-rers2012/Problem12_label57_true-unreach-call.c timeout (error (143)) 305    189    7635349504 true 211    154    3231780864
eca-rers2012/Problem12_label58_true-unreach-call.c out of memory 256    174    8000000000 timeout (error (143)) 309    234    5137461248
eca-rers2012/Problem14_label01_true-unreach-call_false-termination.c timeout (error (143)) 301    241    3091406848 true 65.0  40.5  1252347904
eca-rers2012/Problem14_label05_true-unreach-call_false-termination.c timeout (error (143)) 301    242    3145744384 true 262    199    2925395968
eca-rers2012/Problem14_label06_true-unreach-call_false-termination.c timeout (error (143)) 302    244    3023769600 true 53.3  32.5  1218871296
eca-rers2012/Problem14_label16_true-unreach-call_false-termination.c timeout (error (143)) 301    240    3043180544 true 62.9  39.3  1238265856
eca-rers2012/Problem14_label21_true-unreach-call_false-termination.c timeout (error (143)) 301    231    3068571648 true 45.2  26.1  1114640384
eca-rers2012/Problem14_label24_true-unreach-call_false-termination.c timeout (error (143)) 300    231    3109597184 true 253    191    2897428480
eca-rers2012/Problem14_label26_true-unreach-call_false-termination.c timeout (error (143)) 300    237    3048517632 true 68.8  42.8  1250643968
eca-rers2012/Problem14_label32_true-unreach-call_false-termination.c timeout (error (143)) 301    232    3024670720 true 215    159    2915905536
eca-rers2012/Problem14_label33_true-unreach-call_false-termination.c timeout (error (143)) 300    222    3103473664 true 164    116    2901381120
eca-rers2012/Problem14_label36_true-unreach-call_false-termination.c timeout (error (143)) 305    245    3055030272 true 70.2  44.1  1249144832
eca-rers2012/Problem14_label38_true-unreach-call_false-termination.c timeout (error (143)) 302    212    3058085888 true 163    115    2819739648
eca-rers2012/Problem14_label42_true-unreach-call_false-termination.c timeout (error (143)) 301    238    2993225728 true 183    135    2919940096
eca-rers2012/Problem14_label47_true-unreach-call_false-termination.c timeout (error (143)) 301    238    3064479744 true 178    129    2913034240
eca-rers2012/Problem14_label49_true-unreach-call_false-termination.c timeout (error (143)) 302    239    3093028864 true 159    111    2665242624
eca-rers2012/Problem14_label55_true-unreach-call_false-termination.c timeout (error (143)) 302    246    3032195072 true 283    215    2920325120
eca-rers2012/Problem14_label59_true-unreach-call_false-termination.c timeout (error (143)) 302    233    3045724160 true 61.5  38.7  1208258560
eca-rers2012/Problem15_label20_true-unreach-call.c timeout (error (143)) 305    267    2989965312 true 298    233    3487019008
eca-rers2012/Problem15_label31_true-unreach-call.c timeout (error (143)) 305    271    3005771776 true 224    173    2473574400
eca-rers2012/Problem15_label35_true-unreach-call.c timeout (error (143)) 302    235    3185250304 true 286    217    3220643840
eca-rers2012/Problem15_label42_true-unreach-call.c timeout (error (143)) 302    248    2972524544 true 147    111    1774501888
eca-rers2012/Problem15_label43_true-unreach-call.c timeout (error (143)) 306    246    3075649536 true 248    193    3069149184
eca-rers2012/Problem15_label55_true-unreach-call.c timeout (error (143)) 301    236    3139051520 true 160    115    2778660864
eca-rers2012/Problem15_label56_true-unreach-call.c timeout (error (143)) 302    227    3056996352 true 241    185    3033165824
eca-rers2012/Problem15_label57_true-unreach-call.c timeout (error (143)) 301    240    3058319360 error: exception 246    191    3245232128
eca-rers2012/Problem15_label58_true-unreach-call.c timeout (error (143)) 301    239    3070160896 true 216    160    3032698880
eca-rers2012/Problem16_label02_true-unreach-call.c timeout (error (143)) 301    225    3073077248 error: exception 229    200    1389182976
eca-rers2012/Problem16_label09_true-unreach-call.c timeout (error (143)) 301    230    3082276864 true 244    185    2962530304
eca-rers2012/Problem16_label10_true-unreach-call.c timeout (error (143)) 301    237    3096875008 true 222    168    2931564544
eca-rers2012/Problem16_label11_true-unreach-call.c timeout (error (143)) 301    238    3068702720 true 148    103    2655330304
eca-rers2012/Problem16_label12_true-unreach-call.c timeout (error (143)) 300    229    3072270336 true 187    135    2937524224
eca-rers2012/Problem16_label13_true-unreach-call.c timeout (error (143)) 301    234    2986672128 true 278    214    2950705152
eca-rers2012/Problem16_label17_true-unreach-call.c timeout (error (143)) 301    244    3002048512 true 240    177    2964185088
eca-rers2012/Problem16_label19_true-unreach-call.c timeout (error (143)) 301    236    3035021312 true 225    166    3154210816
eca-rers2012/Problem16_label23_true-unreach-call.c timeout (error (143)) 300    227    3083685888 true 155    110    2938515456
eca-rers2012/Problem16_label24_true-unreach-call.c timeout (error (143)) 301    239    3065712640 true 132    90.2  2574667776
eca-rers2012/Problem16_label25_true-unreach-call.c timeout (error (143)) 301    234    3075956736 true 130    89.2  2665553920
eca-rers2012/Problem16_label26_true-unreach-call.c timeout (error (143)) 301    234    3045535744 true 139    97.7  2529869824
eca-rers2012/Problem16_label32_true-unreach-call.c timeout (error (143)) 300    232    3052314624 true 280    218    2958667776
eca-rers2012/Problem16_label35_true-unreach-call.c timeout (error (143)) 301    206    2994118656 true 168    121    2928742400
eca-rers2012/Problem16_label39_true-unreach-call.c timeout (error (143)) 301    233    3036545024 true 172    119    3005042688
eca-rers2012/Problem16_label42_true-unreach-call.c timeout (error (143)) 301    212    3182104576 true 164    117    3045584896
eca-rers2012/Problem16_label47_true-unreach-call.c timeout (error (143)) 301    232    3046014976 true 161    113    2863611904
eca-rers2012/Problem16_label48_true-unreach-call.c timeout (error (143)) 301    216    3042566144 true 146    100    2845753344
eca-rers2012/Problem16_label49_true-unreach-call.c timeout (error (143)) 301    229    3063926784 true 115    78.1  2162245632
eca-rers2012/Problem16_label50_true-unreach-call.c timeout (error (143)) 301    236    3105165312 true 85.7  57.4  1619456000
eca-rers2012/Problem16_label55_true-unreach-call.c timeout (error (143)) 301    234    3012403200 true 112    74.4  2668265472
eca-rers2012/Problem16_label56_true-unreach-call.c timeout (error (143)) 301    232    3040096256 true 101    70.2  1911476224
eca-rers2012/Problem16_label57_true-unreach-call.c timeout (error (143)) 301    243    3103072256 true 145    102    2914168832
eca-rers2012/Problem16_label58_true-unreach-call.c timeout (error (143)) 301    232    3098140672 true 243    183    3561861120
eca-rers2012/Problem16_label59_true-unreach-call.c timeout (error (143)) 300    222    3023036416 true 123    83.4  2901118976
eca-rers2012/Problem17_label18_true-unreach-call.c timeout (error (143)) 306    240    3100237824 error: exception 230    207    1400131584
eca-rers2012/Problem18_label13_true-unreach-call.c timeout (error (143)) 301    214    3068190720 true 299    227    3289202688
eca-rers2012/Problem18_label18_true-unreach-call.c timeout (error (143)) 301    230    3116097536 true 124    83.5  2254245888
eca-rers2012/Problem18_label41_true-unreach-call.c timeout (error (143)) 302    232    3160338432 true 289    217    3302690816
eca-rers2012/Problem18_label43_true-unreach-call.c timeout (error (143)) 302    230    3026862080 true 246    185    2972401664
eca-rers2012/Problem18_label46_true-unreach-call.c timeout (error (143)) 301    228    3091300352 true 182    128    2912391168
eca-rers2012/Problem18_label48_true-unreach-call.c timeout (error (143)) 307    230    3091386368 true 193    134    2902376448
eca-rers2012/Problem18_label51_true-unreach-call.c timeout (error (143)) 300    226    3074936832 true 295    216    3589828608
eca-rers2012/Problem18_label53_true-unreach-call.c timeout (error (143)) 301    228    3140554752 true 184    130    2940256256
eca-rers2012/Problem18_label56_true-unreach-call.c timeout (error (143)) 301    230    3140890624 true 190    134    3376594944
eca-rers2012/Problem18_label58_true-unreach-call.c timeout (error (143)) 302    226    3146616832 true 188    132    2911903744
eca-rers2012/Problem19_label00_true-unreach-call.c timeout 320    247    4684431360 timeout (error (143)) 301    239    3436134400
eca-rers2012/Problem19_label01_true-unreach-call.c timeout 322    248    5028745216 timeout (error (143)) 302    241    3425812480
eca-rers2012/Problem19_label02_true-unreach-call.c timeout 322    247    5023240192 timeout (error (143)) 301    241    3408896000
eca-rers2012/Problem19_label03_true-unreach-call.c timeout 321    245    5035409408 timeout (error (143)) 302    238    3440992256
eca-rers2012/Problem19_label06_true-unreach-call.c timeout 322    241    6546952192 timeout (error (143)) 301    244    3137359872
eca-rers2012/Problem19_label08_true-unreach-call.c timeout 322    241    4751306752 timeout (error (143)) 301    237    3464101888
eca-rers2012/Problem19_label16_true-unreach-call.c timeout (error (143)) 312    236    5608456192 timeout (error: exception) 302    240    3160076288
eca-rers2012/Problem19_label20_true-unreach-call.c timeout 321    232    5955096576 timeout (error (143)) 303    242    3398569984
eca-rers2012/Problem19_label23_true-unreach-call.c timeout 321    234    5951885312 timeout (error (143)) 301    238    3475017728
eca-rers2012/Problem19_label33_true-unreach-call.c timeout 320    239    4479180800 timeout (error (143)) 305    237    3778936832
eca-rers2012/Problem19_label54_true-unreach-call.c timeout 321    242    6388703232 timeout (error (143)) 301    236    3237638144
eca-rers2012/Problem19_label56_true-unreach-call.c timeout 320    229    5874601984 timeout (error (143)) 301    238    3188740096
psyco/psyco_abp_1_false-unreach-call_false-termination_true-no-overflow.c timeout (error (143)) 301    239    2966114304 false 179    126    1670389760
psyco/psyco_cev_3_false-unreach-call.c timeout 320    251    8000000000 out of memory 236    195    8000000000
psyco/psyco_abp_1_true-unreach-call_false-termination_true-no-overflow.c error: exception 23.9  12.7  1169727488 true 81.5  50.2  1270308864
../../../../trunk/examples/svcomp/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
total 336 90400 71500 1223304245248 336 52700 38500 794287570944
    correct results 0 0
        correct true 0 0
        correct false 0 0
    incorrect results 0 0
        incorrect true 0 0
        incorrect false 0 0
score (336 tasks, max score: 588) 0 0
Run set Taipan_OldIcfg RubberTaipan