Tool ULTIMATE Automizer 0.1.24-e4dfe744
Limits timelimit: 900 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-12-18 17:51:53 CET
Run set Taipan EXP+CONG.Array-Boogie Taipan Array-OCT.Array-Boogie AbsInt EXP+CONG.Array-Boogie AbsInt OCT+CONG.Array-Boogie AbsInt OCT.Array-Boogie AbsInt Array-EXP+CONG.Array-Boogie AbsInt Array-OCT+CONG.Array-Boogie AbsInt Array-OCT.Array-Boogie
Options -ea -tc ../../../trunk/examples/toolchains/AutomizerBplInline.xml -s ../../../trunk/examples/settings/ai/array-bench/reach_32bit_compound_exp_cong.epf -ea -tc ../../../trunk/examples/toolchains/AutomizerBplInline.xml -s ../../../trunk/examples/settings/ai/array-bench/reach_32bit_array_oct.epf -ea -tc ../../../trunk/examples/toolchains/AbstractInterpretationInline.xml -s ../../../trunk/examples/settings/ai/array-bench/reach_32bit_compound_exp_cong.epf -ea -tc ../../../trunk/examples/toolchains/AbstractInterpretationInline.xml -s ../../../trunk/examples/settings/ai/array-bench/reach_32bit_compound_oct_cong.epf -ea -tc ../../../trunk/examples/toolchains/AbstractInterpretationInline.xml -s ../../../trunk/examples/settings/ai/array-bench/reach_32bit_oct.epf -ea -tc ../../../trunk/examples/toolchains/AbstractInterpretationInline.xml -s ../../../trunk/examples/settings/ai/array-bench/reach_32bit_array_compound_exp_cong.epf -ea -tc ../../../trunk/examples/toolchains/AbstractInterpretationInline.xml -s ../../../trunk/examples/settings/ai/array-bench/reach_32bit_array_compound_oct_cong.epf -ea -tc ../../../trunk/examples/toolchains/AbstractInterpretationInline.xml -s ../../../trunk/examples/settings/ai/array-bench/reach_32bit_array_oct.epf
../../../trunk/examples/programs/ 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 status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
real-life/divisibilityWithArray.bpl timeout 901    782    1630535680 timeout 901    779    1573068800 unknown 6.55 3.85 212037632 unknown 7.06 3.95 212344832 unknown 6.39 3.65 211779584 unknown 8.26 4.64 233799680 unknown 51.4  30.4  1205641216 unknown 29.3  18.4  765087744
real-life/GuiTestExample.bpl false 29.9  18.3  788766720 false 30.5  18.5  792256512 error: exception 9.68 5.54 283066368 error: exception 10.2  5.76 292364288 error: exception 10.9  6.16 315867136 error: exception 10.8  6.03 291950592 error: exception 9.60 5.48 286924800 error: exception 10.5  5.97 293093376
real-life/GuiTestExampleUnsafe.bpl false 30.3  19.0  786784256 false 30.6  18.9  791576576 error: exception 10.0  5.64 293486592 error: exception 11.0  6.24 301936640 error: exception 11.1  6.30 313102336 error: exception 10.6  6.08 299741184 error: exception 9.76 5.56 287723520 error: exception 10.2  5.76 293969920
20170304-DifficultPathPrograms/array1.i_3.bpl timeout 900    752    1857458176 timeout 900    751    2388430848 unknown 6.60 3.65 212463616 unknown 6.63 3.71 212811776 unknown 6.59 3.91 212758528 unknown 9.04 5.15 249868288 timeout 900    890    2806247424 unknown 39.6  26.2  1098661888
20170304-DifficultPathPrograms/array2.i_3.bpl timeout 901    754    1923760128 timeout 901    753    2637496320 unknown 6.31 3.71 212467712 unknown 6.62 3.71 213094400 unknown 6.34 3.60 212226048 unknown 8.39 4.71 233988096 unknown 26.2  16.4  797536256 unknown 25.0  16.0  839315456
20170304-DifficultPathPrograms/array3.i_4.bpl timeout 901    762    1944436736 timeout 901    763    3442499584 unknown 6.57 3.93 211283968 unknown 7.66 4.22 226000896 unknown 7.39 4.04 214298624 unknown 8.13 4.51 229462016 unknown 72.8  51.8  1697628160 unknown 37.6  24.0  1004818432
20170304-DifficultPathPrograms/array4.i_4.bpl error: exception 274    219    3708358656 error: exception 360    294    4107624448 unknown 6.62 3.74 220327936 unknown 8.04 4.46 225959936 unknown 7.64 4.24 217391104 unknown 12.4  7.03 342679552 timeout 900    881    3295215616 unknown 69.5  51.4  1519480832
20170304-DifficultPathPrograms/array.i_3.bpl true 11.4  6.36 319238144 error: exception 80.1  63.5  1476841472 unknown 6.16 3.66 205352960 unknown 6.38 3.78 215879680 unknown 7.81 4.31 226471936 unknown 6.71 3.84 216322048 unknown 14.6  7.88 430747648 unknown 80.0  59.2  1428303872
20170304-DifficultPathPrograms/eureka_01.i_3.bpl true 13.8  7.63 318603264 timeout 901    879    3061252096 unknown 7.54 4.29 214212608 unknown 7.57 4.36 225071104 unknown 7.25 4.03 237314048 unknown 86.5  60.3  1845608448 timeout 900    853    3116724224 timeout 901    875    2805096448
20170304-DifficultPathPrograms/eureka_01.i_6.bpl true 14.4  8.48 326955008 timeout 900    885    2966704128 true 6.69 3.72 213540864 true 6.86 3.84 207712256 true 6.79 3.84 214822912 true 24.1  12.7  526278656 true 412    395    2955681792 true 711    696    2806140928
20170304-DifficultPathPrograms/eureka_05.i_5.bpl true 29.0  19.9  749936640 error: exception 121    93.5  2047864832 unknown 6.96 4.11 211976192 unknown 8.91 5.07 263622656 unknown 8.42 4.79 258572288 error: exception 15.5  8.82 391696384 timeout 900    893    2799099904 error: exception 75.0  54.3  1467662336
20170304-DifficultPathPrograms/insertion_sort.i_3.bpl true 12.2  6.97 305577984 true 49.1  37.4  1621766144 unknown 6.41 3.65 212418560 unknown 7.60 4.17 226930688 unknown 7.43 4.08 218583040 unknown 7.96 4.46 226062336 unknown 36.0  22.4  935329792 unknown 30.2  20.4  1212657664
20170304-DifficultPathPrograms/invert_string.i_4.bpl timeout 901    772    1456734208 error: exception 197    167    3009687552 unknown 6.89 4.00 213667840 unknown 12.6  6.92 433831936 unknown 11.7  6.27 396034048 unknown 11.5  6.35 289755136 timeout 900    891    2801152000 error: exception 351    302    2799681536
20170304-DifficultPathPrograms/linear_sea.ch.i_4.bpl true 16.3  8.87 331317248 out of memory 180    126    8000000000 unknown 7.25 4.19 214446080 unknown 31.3  21.0  1388834816 unknown 30.6  21.1  1537916928 unknown 53.5  38.7  1069756416 timeout 900    892    2799087616 out of memory 210    158    8000000000
20170304-DifficultPathPrograms/linear_search.i_5.bpl true 17.8  9.92 353701888 out of memory 232    164    8000000000 unknown 7.16 3.97 214872064 unknown 35.2  23.8  1608593408 unknown 33.1  23.1  1725861888 unknown 47.6  34.7  1027751936 timeout 900    892    2797969408 out of memory 185    132    8000000000
20170304-DifficultPathPrograms/matrix.i_4.bpl true 15.8  8.93 371077120 true 142    106    2494607360 unknown 6.78 3.78 216469504 unknown 6.30 3.57 225767424 unknown 9.71 5.30 319102976 unknown 7.91 4.41 218185728 unknown 36.2  21.4  918073344 unknown 808    725    2094387200
20170304-DifficultPathPrograms/mcmillan2006.c.i_3.bpl true 11.3  6.22 301039616 out of memory 182    145    8000000000 unknown 7.04 3.98 219279360 unknown 10.2  5.54 526143488 unknown 9.06 4.88 428802048 unknown 47.8  30.9  939155456 timeout 900    892    2794377216 out of memory 179    137    8000000000
20170304-DifficultPathPrograms/n.c11.i_3.bpl true 16.0  9.29 393932800 true 630    588    2149183488 unknown 6.44 4.01 205283328 unknown 8.02 4.40 229179392 unknown 7.80 4.31 221982720 unknown 11.4  6.37 298528768 timeout 900    890    2792579072 unknown 446    410    1439076352
20170304-DifficultPathPrograms/string.i_3.bpl unknown: overapproxcex 14.8  8.53 377683968 error: exception 127    102    3593940992 unknown 6.98 3.91 213864448 unknown 7.75 4.26 219475968 unknown 7.17 4.04 215224320 error: exception 9.56 5.30 250531840 error: exception 90.8  67.9  2189471744 error: exception 130    107    3071496192
20170304-DifficultPathPrograms/sum_array.i_3.bpl true 15.2  8.42 344322048 error: exception 40.8  27.7  1165946880 unknown 7.00 3.93 216342528 unknown 9.37 5.13 252104704 unknown 9.20 5.06 246358016 unknown 13.3  7.49 363335680 error: exception 33.3  18.5  765878272 error: exception 28.7  17.2  791072768
20170304-DifficultPathPrograms/veris.c_NetBSD-libc__loop.i_2.bpl true 13.2  7.55 340688896 out of memory 266    184    8000004096 unknown 6.76 3.82 213209088 true 8.54 4.56 354902016 true 9.16 4.87 479952896 unknown 66.5  44.6  1168654336 timeout 900    894    2795171840 out of memory 274    204    8000000000
20170304-DifficultPathPrograms/verisec_NetBSD-libc__loop.i_2.bpl false 13.7  7.59 325775360 out of memory 256    184    8000000000 unknown 7.25 4.02 216076288 unknown 12.4  6.75 668876800 unknown 9.55 5.16 540991488 unknown 69.7  47.6  1198030848 timeout 900    893    2799169536 out of memory 237    178    8000000000
20170304-DifficultPathPrograms/vogal.i_5.bpl true 52.3  45.2  539959296 out of memory 187    128    8000000000 unknown 7.22 4.07 218427392 unknown 40.5  22.4  953753600 unknown 38.3  21.3  922472448 unknown 48.6  28.3  923082752 timeout 900    871    3277930496 out of memory 187    127    8000000000
toy/tooDifficultLoopInvariant/ArrayInit01.bpl error: exception 99.7  89.4  2235514880 error: exception 116    95.3  2776080384 unknown 6.92 3.82 213708800 unknown 7.44 4.11 215552000 unknown 6.98 3.90 214147072 unknown 13.5  7.67 374407168 timeout 900    892    2792931328 true 115    95.2  2110562304
toy/tooDifficultLoopInvariant/ArrayInit02.bpl timeout 901    775    1631424512 timeout 901    773    1838075904 unknown 7.87 4.39 220090368 unknown 11.2  6.07 283537408 unknown 9.66 5.23 264241152 unknown 8.02 4.38 222117888 unknown 12.7  6.92 304132096 unknown 10.6  5.79 283283456
toy/tooDifficultLoopInvariant/codeblockAssertOrder01.bpl true 10.8  6.01 320745472 error: exception 21.1  12.4  432713728 unknown 6.49 3.63 215937024 unknown 7.07 3.94 211939328 unknown 7.16 4.00 208556032 unknown 7.16 4.03 215306240 timeout 900    888    2804576256 true 11.1  6.19 309993472
toy/tooDifficultLoopInvariant/CountTillBound-Jupiter.bpl true 9.80 5.58 269844480 true 13.5  7.65 386490368 unknown 6.31 3.56 211038208 true 7.07 3.94 214257664 true 7.23 4.04 214953984 unknown 6.51 3.69 213942272 true 8.74 4.86 232128512 true 8.47 4.69 227344384
toy/tooDifficultLoopInvariant/LargeConstant-ForwardSuccess.bpl true 14.0  8.28 439427072 true 38.1  23.3  821194752 unknown 6.07 3.42 209399808 unknown 6.51 3.63 212967424 unknown 6.39 3.59 210604032 unknown 7.56 4.22 216399872 unknown 28.1  16.2  718753792 unknown 31.0  18.6  780283904
toy/tooDifficultLoopInvariant/Luxembourg-WithArrays.bpl out of memory 133    124    8000000000 error: exception 12.9  7.24 348831744 unknown 5.67 3.28 213762048 unknown 6.07 3.46 207507456 unknown 6.20 3.51 210448384 unknown 6.82 3.78 213975040 timeout 900    889    2802528256 error: exception 11.3  6.27 290746368
toy/tooDifficultLoopInvariant/PointerIncrement.bpl error: exception 9.52 5.35 284872704 error: exception 10.6  5.98 296288256 error: exception 6.18 3.44 211243008 error: exception 6.42 3.57 213880832 error: exception 6.33 3.54 211619840 error: exception 6.51 3.65 213725184 error: exception 6.41 3.64 213557248 error: exception 6.70 3.73 213278720
toy/tooDifficultLoopInvariant/PointerIncrement-simplified01.bpl error: exception 9.69 5.44 269275136 error: exception 10.4  5.79 270671872 error: exception 6.09 3.38 210481152 error: exception 6.17 3.45 213446656 error: exception 6.14 3.67 214478848 error: exception 6.24 3.49 212250624 error: exception 5.97 3.40 206958592 error: exception 6.00 3.35 209530880
toy/tooDifficultLoopInvariant/PointerIncrement-simplified02.bpl error: exception 8.36 4.62 236437504 error: exception 8.90 4.97 238292992 error: exception 5.96 3.33 205709312 error: exception 5.88 3.37 196878336 error: exception 6.07 3.40 215220224 error: exception 5.79 3.29 218304512 error: exception 6.43 3.57 205950976 error: exception 6.08 3.39 210935808
toy/tooDifficultLoopInvariant/PointerIncrement-simplified03.bpl error: exception 8.45 4.64 244670464 error: exception 8.37 4.69 236154880 error: exception 5.87 3.31 204722176 error: exception 5.99 3.51 209788928 error: exception 6.02 3.37 214892544 error: exception 5.79 3.30 208044032 error: exception 6.07 3.43 210776064 error: exception 5.80 3.28 210317312
toy/tooDifficultLoopInvariant/Sandman01.bpl out of memory 126    112    8000000000 out of memory 155    140    8000000000 unknown 6.07 3.45 212303872 unknown 6.06 3.41 211177472 unknown 5.92 3.40 215326720 unknown 6.51 3.70 216465408 unknown 7.76 4.39 226185216 unknown 7.96 4.44 220581888
toy/tooDifficultLoopInvariant/ValueTerminatedArrayIteration01.bpl true 13.4  7.80 352403456 true 45.2  28.9  963170304 unknown 6.35 3.66 221679616 unknown 7.15 3.96 213094400 unknown 6.90 3.83 211316736 unknown 10.9  6.23 310607872 unknown 53.4  35.3  1244545024 unknown 51.3  35.8  1043431424
toy/tooDifficultLoopInvariant/HierarchicalTraceAbstraction/GeometricalIntegerCakeWithArray.bpl true 15.7  9.94 625930240 true 17.5  11.0  564346880 unknown 6.13 3.51 212492288 unknown 6.36 3.58 213876736 unknown 6.56 3.67 205615104 unknown 6.38 3.64 215318528 error: exception 9.49 5.30 247787520 error: exception 10.0  5.52 248373248
toy/tooDifficultLoopInvariant/HierarchicalTraceAbstraction/SkatingStrawberry.bpl error: type error 4.60 2.46 177283072 error: type error 4.64 2.47 178540544 error: type error 4.64 2.51 176328704 error: type error 4.45 2.42 176164864 error: type error 4.58 2.47 180310016 error: type error 4.55 2.48 177299456 error: type error 4.77 2.56 176922624 error: type error 4.83 2.65 177438720
heapseparator/speedup-poc-dd-1-limited.bpl false 6.94 3.86 219607040 false 6.79 3.77 219918336 error: exception 5.92 3.34 194617344 error: exception 5.57 3.19 196354048 error: exception 5.59 3.19 197615616 error: exception 5.64 3.21 191516672 error: exception 6.18 3.45 197562368 error: exception 6.22 3.45 197394432
heapseparator/speedup-poc-dd-1-unlimited.bpl false 7.05 3.85 218677248 false 7.17 3.98 220102656 error: exception 5.57 3.17 195825664 error: exception 5.55 3.12 193875968 error: exception 5.72 3.21 193773568 error: exception 5.68 3.19 196345856 error: exception 5.53 3.13 197128192 error: exception 5.44 3.09 197554176
heapseparator/speedup-poc-dd-10-limited.bpl error: exception 10.9  5.96 287191040 error: exception 10.9  6.19 306450432 error: exception 7.03 3.97 213618688 error: exception 7.49 4.12 203448320 error: exception 7.77 4.44 213889024 error: exception 7.13 4.00 217034752 error: exception 7.65 4.25 216645632 error: exception 7.37 4.17 216236032
heapseparator/speedup-poc-dd-10-unlimited.bpl error: exception 10.2  5.63 282447872 error: exception 10.1  5.69 287621120 error: exception 7.01 3.97 215326720 error: exception 7.36 4.14 210305024 error: exception 7.01 4.17 215371776 error: exception 7.23 4.03 212504576 error: exception 7.47 4.15 215670784 error: exception 7.00 3.88 213540864
heapseparator/speedup-poc-dd-2-limited.bpl false 7.28 3.96 225652736 false 7.47 4.18 225652736 error: exception 6.09 3.36 210944000 error: exception 5.92 3.31 212516864 error: exception 5.80 3.30 208818176 error: exception 5.64 3.21 205840384 error: exception 6.40 3.58 201875456 error: exception 6.25 3.47 196456448
heapseparator/speedup-poc-dd-2-unlimited.bpl false 6.86 3.90 225579008 false 7.24 4.06 227405824 error: exception 5.89 3.29 205676544 error: exception 5.92 3.29 197914624 error: exception 5.66 3.22 194973696 error: exception 5.95 3.32 195997696 error: exception 5.93 3.36 203366400 error: exception 5.55 3.15 197750784
heapseparator/speedup-poc-dd-3-limited.bpl false 7.84 4.42 242970624 false 9.01 4.98 245235712 error: exception 6.04 3.44 207151104 error: exception 6.09 3.44 210776064 error: exception 5.92 3.39 206946304 error: exception 6.22 3.67 210841600 error: exception 6.14 3.44 203866112 error: exception 6.91 3.80 208293888
heapseparator/speedup-poc-dd-3-unlimited.bpl false 9.00 5.03 259235840 false 9.15 5.06 244568064 error: exception 6.28 3.49 204464128 error: exception 6.04 3.45 213925888 error: exception 6.11 3.45 211292160 error: exception 5.88 3.34 210235392 error: exception 6.36 3.54 211197952 error: exception 6.40 3.52 210165760
heapseparator/speedup-poc-dd-4-limited.bpl error: exception 8.38 4.59 244174848 error: exception 8.94 4.94 247877632 error: exception 6.29 3.57 211169280 error: exception 6.61 3.61 211939328 error: exception 6.24 3.50 207650816 error: exception 6.26 3.51 212066304 error: exception 6.96 3.82 213463040 error: exception 6.61 3.68 214540288
heapseparator/speedup-poc-dd-4-unlimited.bpl error: exception 8.52 4.81 244465664 error: exception 8.79 4.80 245891072 error: exception 6.39 3.53 212033536 error: exception 6.46 3.57 209833984 error: exception 6.62 3.69 209334272 error: exception 6.14 3.49 211513344 error: exception 5.99 3.41 210595840 error: exception 6.35 3.63 211259392
heapseparator/speedup-poc-dd-5-limited.bpl error: exception 9.37 5.19 252559360 error: exception 8.83 5.00 251437056 error: exception 6.32 3.74 216354816 error: exception 6.47 3.64 216072192 error: exception 6.20 3.48 207040512 error: exception 6.31 3.58 212946944 error: exception 6.30 3.47 210939904 error: exception 6.46 3.60 209592320
heapseparator/speedup-poc-dd-5-unlimited.bpl error: exception 9.17 5.07 250658816 error: exception 9.06 5.07 251142144 error: exception 5.90 3.36 206008320 error: exception 6.19 3.48 210485248 error: exception 6.01 3.45 213102592 error: exception 6.14 3.46 211447808 error: exception 6.68 3.77 205410304 error: exception 6.21 3.53 211394560
heapseparator/speedup-poc-dd-6-limited.bpl error: exception 9.34 5.20 258678784 error: exception 9.27 5.21 261128192 error: exception 6.60 3.68 211210240 error: exception 6.37 3.61 206831616 error: exception 6.59 3.68 211668992 error: exception 6.44 3.59 217563136 error: exception 6.39 3.62 213655552 error: exception 6.69 3.77 212877312
heapseparator/speedup-poc-dd-6-unlimited.bpl error: exception 10.0  5.50 263221248 error: exception 9.42 5.27 254148608 error: exception 6.38 3.57 211521536 error: exception 6.64 3.71 215830528 error: exception 5.99 3.41 207654912 error: exception 6.37 3.60 209637376 error: exception 6.79 3.82 213852160 error: exception 6.77 3.81 214724608
heapseparator/speedup-poc-dd-7-limited.bpl error: exception 10.7  6.02 305270784 error: exception 10.9  6.15 310206464 error: exception 6.80 3.79 211841024 error: exception 6.49 3.69 211279872 error: exception 6.56 3.64 213184512 error: exception 6.66 3.75 205389824 error: exception 6.87 3.87 214618112 error: exception 6.64 3.67 208138240
heapseparator/speedup-poc-dd-7-unlimited.bpl error: exception 10.8  6.02 314732544 error: exception 10.9  6.00 304504832 error: exception 6.35 3.56 211243008 error: exception 6.83 3.81 213614592 error: exception 6.49 3.63 215138304 error: exception 6.32 3.57 212942848 error: exception 6.69 3.72 214994944 error: exception 6.85 3.86 214065152
heapseparator/speedup-poc-dd-8-limited.bpl error: exception 9.18 5.12 268771328 error: exception 9.62 5.40 275906560 error: exception 6.74 3.76 213262336 error: exception 6.66 3.79 213475328 error: exception 6.95 3.89 212869120 error: exception 6.77 3.80 208351232 error: exception 6.98 3.90 208142336 error: exception 6.87 3.82 213663744
heapseparator/speedup-poc-dd-8-unlimited.bpl error: exception 9.85 5.50 269692928 error: exception 10.4  5.71 273973248 error: exception 6.26 3.55 213569536 error: exception 6.64 3.76 206786560 error: exception 6.17 3.52 210685952 error: exception 6.61 3.72 207855616 error: exception 6.75 3.80 213762048 error: exception 7.15 3.98 212500480
heapseparator/speedup-poc-dd-9-limited.bpl error: exception 10.1  5.61 281264128 error: exception 10.3  5.75 291606528 error: exception 6.98 3.85 212803584 error: exception 6.82 3.85 213864448 error: exception 7.03 3.92 215810048 error: exception 7.31 4.04 212697088 error: exception 6.42 3.63 213688320 error: exception 6.83 3.86 213532672
heapseparator/speedup-poc-dd-9-unlimited.bpl error: exception 10.2  5.71 285847552 error: exception 10.9  6.07 283803648 error: exception 6.20 3.53 212586496 error: exception 6.78 3.78 222941184 error: exception 7.17 3.96 212623360 error: exception 6.40 3.59 211156992 error: exception 6.29 3.50 213774336 error: exception 7.52 4.16 204627968
../../../trunk/examples/programs/ 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 status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
total 57 6650 5510 48085172224 57 10100 8480 109900185600 57 377 213   12194697216 57 499 286   16871333888 57 489 282   17059061760 57 825 512   20236275712 57 14600 14100 63927304192 57 5470 4620 84444413952
local summary 3730 795 7410 957 377 18.1 500 28.0 489 27.2 825 60.7 14400 1770 5240 876
    correct results 0 0 0 0 0 0 0 0
        correct true 0 0 0 0 0 0 0 0
        correct false 0 0 0 0 0 0 0 0
    incorrect results 0 0 0 0 0 0 0 0
        incorrect true 0 0 0 0 0 0 0 0
        incorrect false 0 0 0 0 0 0 0 0
Run set Taipan EXP+CONG.Array-Boogie Taipan Array-OCT.Array-Boogie AbsInt EXP+CONG.Array-Boogie AbsInt OCT+CONG.Array-Boogie AbsInt OCT.Array-Boogie AbsInt Array-EXP+CONG.Array-Boogie AbsInt Array-OCT+CONG.Array-Boogie AbsInt Array-OCT.Array-Boogie