Tool CPAchecker 1.7-svn 28809
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8
Host apollon*
OS Linux 4.4.0-131-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33553 MB
Date of execution 2018-07-31 16:27:33 CEST
Run set VA-noCegar.ReachSafety-ECA-false VA-noCegar-DFS.ReachSafety-ECA-false VA-BAM-noCegar.ReachSafety-ECA-false VA-BAM-noCegar-BFS.ReachSafety-ECA-false VA-parallelBAM-8.ReachSafety-ECA-false
Options -noout -benchmark -heap 14G -setprop cpa.bam.blockHeuristic=FunctionAndLoopPartitioning -XX:ParallelGCThreads=8 -XX:ConcGCThreads=8 -valueAnalysis-NoCegar-plain -noout -benchmark -heap 14G -setprop cpa.bam.blockHeuristic=FunctionAndLoopPartitioning -XX:ParallelGCThreads=8 -XX:ConcGCThreads=8 -valueAnalysis-NoCegar-plain -setprop analysis.traversal.order=dfs -noout -benchmark -heap 14G -setprop cpa.bam.blockHeuristic=FunctionAndLoopPartitioning -XX:ParallelGCThreads=8 -XX:ConcGCThreads=8 -setprop analysis.algorithm.CEGAR=false -valueAnalysis-bam -noout -benchmark -heap 14G -setprop cpa.bam.blockHeuristic=FunctionAndLoopPartitioning -XX:ParallelGCThreads=8 -XX:ConcGCThreads=8 -setprop analysis.algorithm.CEGAR=false -valueAnalysis-bam -setprop analysis.traversal.order=bfs -noout -benchmark -heap 14G -setprop cpa.bam.blockHeuristic=FunctionAndLoopPartitioning -XX:ParallelGCThreads=8 -XX:ConcGCThreads=8 -valueAnalysis-parallelBam -setprop algorithm.parallelBam.numberOfThreads=8
../../../../sv-benchmarks/c/eca-rers2012/ 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
Problem03_label09_false-unreach-call.c false(unreach-call) 9.05 2.93 380633088 false(unreach-call) 8.31 2.43 423538688 false(unreach-call) 8.07 2.18 427716608 false(unreach-call) 9.09 2.59 467087360 false(unreach-call) 9.85 2.17 456577024
Problem03_label13_false-unreach-call.c false(unreach-call) 9.55 2.96 460193792 false(unreach-call) 7.22 2.04 295231488 false(unreach-call) 7.13 2.03 289157120 false(unreach-call) 8.31 2.32 430419968 false(unreach-call) 8.81 2.04 415809536
Problem03_label26_false-unreach-call.c false(unreach-call) 9.42 2.72 457756672 false(unreach-call) 9.33 2.79 456110080 false(unreach-call) 8.97 2.68 459554816 false(unreach-call) 7.60 2.14 346456064 false(unreach-call) 8.09 1.94 303382528
Problem03_label27_false-unreach-call.c false(unreach-call) 9.01 2.72 458387456 false(unreach-call) 8.66 2.37 422809600 false(unreach-call) 7.87 2.25 361209856 false(unreach-call) 8.41 2.31 439410688 false(unreach-call) 8.91 2.06 417968128
Problem03_label28_false-unreach-call.c false(unreach-call) 9.51 2.84 392970240 false(unreach-call) 7.80 2.13 296833024 false(unreach-call) 7.47 2.10 292728832 false(unreach-call) 8.68 2.46 426123264 false(unreach-call) 8.96 2.06 429899776
Problem03_label31_false-unreach-call.c false(unreach-call) 9.87 3.04 460263424 false(unreach-call) 8.07 2.27 342343680 false(unreach-call) 7.59 2.18 304381952 false(unreach-call) 8.93 2.42 437161984 false(unreach-call) 9.14 2.06 419299328
Problem03_label35_false-unreach-call.c false(unreach-call) 9.48 3.10 554643456 false(unreach-call) 8.99 2.49 314019840 false(unreach-call) 8.59 2.45 421330944 false(unreach-call) 9.67 2.71 466702336 false(unreach-call) 9.95 2.17 454758400
Problem03_label37_false-unreach-call.c false(unreach-call) 9.04 2.61 425734144 false(unreach-call) 8.28 2.49 422256640 false(unreach-call) 8.77 2.58 425779200 false(unreach-call) 8.62 2.43 426913792 false(unreach-call) 8.28 1.94 412831744
Problem03_label39_false-unreach-call.c false(unreach-call) 9.89 3.23 467976192 false(unreach-call) 8.75 2.43 421761024 false(unreach-call) 8.33 2.30 439627776 false(unreach-call) 9.19 2.61 464429056 false(unreach-call) 9.65 2.15 448200704
Problem03_label43_false-unreach-call.c false(unreach-call) 8.87 2.62 431124480 false(unreach-call) 9.63 2.96 459706368 false(unreach-call) 8.92 2.64 370020352 false(unreach-call) 9.15 2.61 425705472 false(unreach-call) 8.77 2.02 421036032
Problem03_label45_false-unreach-call.c false(unreach-call) 10.2  3.34 552112128 false(unreach-call) 8.68 2.62 418242560 false(unreach-call) 8.79 2.44 428494848 false(unreach-call) 9.22 2.60 355614720 false(unreach-call) 10.1  2.22 454139904
Problem03_label50_false-unreach-call.c false(unreach-call) 9.64 3.14 455446528 false(unreach-call) 7.89 2.18 312078336 false(unreach-call) 7.09 2.03 290127872 false(unreach-call) 8.04 2.23 420519936 false(unreach-call) 9.26 2.10 425213952
Problem03_label52_false-unreach-call.c false(unreach-call) 10.1  3.31 545796096 false(unreach-call) 9.32 2.72 464375808 false(unreach-call) 8.36 2.42 429785088 false(unreach-call) 9.58 2.75 468197376 false(unreach-call) 9.95 2.19 455569408
Problem04_label04_false-unreach-call.c false(unreach-call) 35.5  15.0  2206007296 false(unreach-call) 28.2  10.4  1777278976 false(unreach-call) 17.4  7.24 1335840768 false(unreach-call) 27.4  10.9  1806675968 false(unreach-call) 36.6  5.98 2091130880
Problem04_label06_false-unreach-call.c false(unreach-call) 38.0  16.2  2623447040 false(unreach-call) 30.8  12.1  1936531456 false(unreach-call) 25.4  8.99 1522384896 false(unreach-call) 28.2  11.6  1964511232 false(unreach-call) 38.9  6.24 2248884224
Problem04_label09_false-unreach-call.c false(unreach-call) 33.3  14.4  2394316800 false(unreach-call) 33.8  13.2  1965539328 false(unreach-call) 26.6  9.94 1672265728 false(unreach-call) 26.8  10.5  1740636160 false(unreach-call) 35.9  5.85 1937068032
Problem04_label11_false-unreach-call_false-termination.c false(unreach-call) 34.8  14.3  2315476992 false(unreach-call) 32.0  12.6  1992892416 false(unreach-call) 25.9  9.27 1608273920 false(unreach-call) 27.4  10.7  1878114304 false(unreach-call) 38.7  6.24 1960099840
Problem04_label12_false-unreach-call_false-termination.c false(unreach-call) 39.2  16.8  2458038272 false(unreach-call) 28.4  11.2  1968918528 false(unreach-call) 24.4  8.43 1424162816 false(unreach-call) 28.6  12.0  2244710400 false(unreach-call) 39.9  6.38 2343694336
Problem04_label13_false-unreach-call.c false(unreach-call) 33.6  14.8  2307330048 false(unreach-call) 28.0  10.3  1542541312 false(unreach-call) 17.0  7.02 1260171264 false(unreach-call) 25.8  9.61 1542406144 false(unreach-call) 35.7  5.94 1984647168
Problem04_label14_false-unreach-call_false-termination.c false(unreach-call) 35.4  15.2  2287992832 false(unreach-call) 31.1  12.8  1881890816 false(unreach-call) 26.4  9.75 1592811520 false(unreach-call) 25.7  9.86 1723842560 false(unreach-call) 36.1  5.89 1951502336
Problem04_label15_false-unreach-call.c false(unreach-call) 36.2  14.6  2298425344 false(unreach-call) 15.8  5.42 836055040 false(unreach-call) 14.1  4.49 815144960 false(unreach-call) 26.0  9.99 1751728128 false(unreach-call) 33.5  5.62 1676976128
Problem04_label17_false-unreach-call_false-termination.c false(unreach-call) 33.7  14.3  2132258816 false(unreach-call) 33.3  13.4  2177351680 false(unreach-call) 26.3  9.72 1625423872 false(unreach-call) 26.7  10.4  1840676864 false(unreach-call) 35.8  6.07 1943384064
Problem04_label18_false-unreach-call.c false(unreach-call) 35.9  14.9  2302832640 false(unreach-call) 27.5  10.2  1783672832 false(unreach-call) 23.0  7.79 1550729216 false(unreach-call) 27.0  9.93 1510256640 false(unreach-call) 35.5  5.83 1938583552
Problem04_label19_false-unreach-call.c false(unreach-call) 37.5  16.5  2630893568 false(unreach-call) 16.4  6.23 1284042752 false(unreach-call) 14.4  4.98 828522496 false(unreach-call) 29.6  11.7  2002051072 false(unreach-call) 35.4  5.90 1903886336
Problem04_label26_false-unreach-call.c false(unreach-call) 35.6  15.0  2473717760 false(unreach-call) 25.6  10.1  1814622208 false(unreach-call) 17.8  7.56 1337503744 false(unreach-call) 28.0  10.9  1854345216 false(unreach-call) 37.8  6.09 2117656576
Problem04_label27_false-unreach-call_false-termination.c false(unreach-call) 33.7  14.5  2138800128 false(unreach-call) 15.6  5.58 964669440 false(unreach-call) 13.1  4.50 767623168 false(unreach-call) 25.6  9.92 1668845568 false(unreach-call) 36.4  5.94 1950523392
Problem04_label31_false-unreach-call.c false(unreach-call) 37.8  15.7  2313879552 false(unreach-call) 30.5  11.6  1802768384 false(unreach-call) 25.2  8.78 1481490432 false(unreach-call) 28.6  11.6  1918128128 false(unreach-call) 37.5  6.17 1998139392
Problem04_label32_false-unreach-call.c false(unreach-call) 35.6  14.9  2209329152 false(unreach-call) 32.7  13.2  1942634496 false(unreach-call) 26.4  9.72 1591398400 false(unreach-call) 27.0  10.2  1842503680 false(unreach-call) 35.7  5.87 2009886720
Problem04_label35_false-unreach-call.c false(unreach-call) 35.5  14.3  2039095296 false(unreach-call) 30.9  12.6  1913090048 false(unreach-call) 25.8  9.45 1740828672 false(unreach-call) 26.9  9.94 1749102592 false(unreach-call) 34.2  5.64 1679241216
Problem04_label36_false-unreach-call_false-termination.c false(unreach-call) 32.9  14.4  2245632000 false(unreach-call) 26.8  9.85 1733451776 false(unreach-call) 23.6  8.06 1446567936 false(unreach-call) 24.9  9.66 1689772032 false(unreach-call) 35.9  5.88 1869000704
Problem04_label38_false-unreach-call.c false(unreach-call) 35.4  14.7  2275491840 false(unreach-call) 29.8  10.3  1530630144 false(unreach-call) 24.8  8.30 1463664640 false(unreach-call) 27.8  10.8  1826709504 false(unreach-call) 37.7  6.13 2149478400
Problem04_label39_false-unreach-call.c false(unreach-call) 37.7  16.0  2451218432 false(unreach-call) 31.3  12.3  1912541184 false(unreach-call) 24.9  9.00 1514786816 false(unreach-call) 28.8  11.8  1873989632 false(unreach-call) 39.3  6.31 2132946944
Problem04_label40_false-unreach-call_false-termination.c false(unreach-call) 35.6  15.8  2431324160 false(unreach-call) 15.8  5.78 995151872 false(unreach-call) 14.4  4.73 826642432 false(unreach-call) 27.8  10.9  1780633600 false(unreach-call) 36.3  5.87 1876889600
Problem04_label45_false-unreach-call.c false(unreach-call) 34.3  14.1  2060398592 false(unreach-call) 31.7  12.8  2023182336 false(unreach-call) 26.0  9.37 1706967040 false(unreach-call) 28.6  11.1  1715109888 false(unreach-call) 35.8  5.86 1922854912
Problem04_label52_false-unreach-call.c false(unreach-call) 36.9  16.3  2672558080 false(unreach-call) 30.4  12.1  1952038912 false(unreach-call) 26.2  9.43 1466630144 false(unreach-call) 28.0  11.4  1996414976 false(unreach-call) 38.0  6.26 2168848384
Problem04_label55_false-unreach-call.c false(unreach-call) 35.0  14.9  2171695104 false(unreach-call) 26.6  9.87 1640341504 false(unreach-call) 16.3  6.65 1327869952 false(unreach-call) 25.2  9.70 1645699072 false(unreach-call) 35.5  5.94 1877774336
Problem04_label58_false-unreach-call_false-termination.c false(unreach-call) 38.9  16.3  2592956416 false(unreach-call) 29.3  12.1  1978507264 false(unreach-call) 25.2  9.06 1577857024 false(unreach-call) 29.7  11.9  1963757568 false(unreach-call) 39.4  6.35 2181599232
Problem05_label00_false-unreach-call.c false(unreach-call) 92.5  41.6  5649784832 false(unreach-call) 65.3  26.1  3614539776 false(unreach-call) 48.4  18.2  3504627712 false(unreach-call) 60.1  24.3  4237668352 false(unreach-call) 81.8  12.0  4884570112
Problem05_label01_false-unreach-call.c false(unreach-call) 94.1  40.1  5694586880 false(unreach-call) 61.5  23.6  3370094592 false(unreach-call) 46.4  17.1  3348144128 false(unreach-call) 61.6  25.7  4988436480 false(unreach-call) 83.5  12.2  4437319680
Problem05_label11_false-unreach-call.c false(unreach-call) 101    42.4  5598748672 false(unreach-call) 111    40.8  5793583104 false(unreach-call) 101    31.7  4798214144 false(unreach-call) 67.5  27.6  4444647424 false(unreach-call) 121    17.1  5366304768
Problem05_label13_false-unreach-call.c false(unreach-call) 92.6  42.3  5739773952 false(unreach-call) 78.4  33.5  5052325888 false(unreach-call) 85.8  27.5  4599799808 false(unreach-call) 58.0  23.6  4236644352 false(unreach-call) 82.2  12.4  4466130944
Problem05_label15_false-unreach-call.c false(unreach-call) 114    44.4  5787365376 false(unreach-call) 98.0  39.8  5292765184 false(unreach-call) 94.8  31.1  5051985920 false(unreach-call) 68.3  28.0  4907327488 false(unreach-call) 85.3  12.5  4223434752
Problem05_label18_false-unreach-call.c false(unreach-call) 97.0  42.7  5479411712 false(unreach-call) 61.8  23.7  3607261184 false(unreach-call) 47.1  16.8  3289628672 false(unreach-call) 59.8  24.2  4484481024 false(unreach-call) 80.9  12.0  4448489472
Problem05_label24_false-unreach-call.c false(unreach-call) 95.2  39.8  5239021568 false(unreach-call) 57.8  21.5  3204108288 false(unreach-call) 34.6  14.3  3084271616 false(unreach-call) 57.2  23.7  4509429760 false(unreach-call) 108    15.3  4697935872
Problem05_label26_false-unreach-call.c false(unreach-call) 92.6  41.2  5517361152 false(unreach-call) 122    42.5  6170357760 false(unreach-call) 67.6  27.4  4393168896 false(unreach-call) 97.1  32.1  4792381440 false(unreach-call) 132    18.3  5263462400
Problem05_label30_false-unreach-call.c false(unreach-call) 92.7  39.4  5660823552 false(unreach-call) 65.2  23.7  3468599296 false(unreach-call) 46.5  16.4  3297316864 false(unreach-call) 97.4  30.7  4667195392 false(unreach-call) 82.4  12.1  4502732800
Problem05_label32_false-unreach-call.c false(unreach-call) 127    46.5  5999005696 false(unreach-call) 79.7  33.0  4484964352 false(unreach-call) 56.9  23.7  4322746368 false(unreach-call) 56.2  23.3  4093227008 false(unreach-call) 123    17.2  5020643328
Problem05_label33_false-unreach-call.c false(unreach-call) 107    44.1  5183094784 false(unreach-call) 84.6  34.1  5081628672 false(unreach-call) 58.0  24.1  4304424960 false(unreach-call) 61.8  24.2  4161241088 false(unreach-call) 78.1  11.8  4203966464
Problem05_label36_false-unreach-call.c false(unreach-call) 117    42.4  5300436992 false(unreach-call) 59.5  22.9  3272830976 false(unreach-call) 35.4  14.8  2961772544 false(unreach-call) 57.3  24.4  4217839616 false(unreach-call) 81.8  12.4  4646477824
Problem05_label37_false-unreach-call.c false(unreach-call) 97.4  42.3  5769895936 false(unreach-call) 61.8  24.2  3680591872 false(unreach-call) 47.6  18.0  3783143424 false(unreach-call) 98.4  30.6  4542976000 false(unreach-call) 125    17.5  5274075136
Problem05_label38_false-unreach-call.c false(unreach-call) 90.6  40.9  5242449920 false(unreach-call) 68.4  26.4  4002271232 false(unreach-call) 50.4  18.7  3474272256 false(unreach-call) 56.7  23.0  4215001088 false(unreach-call) 110    15.6  5033893888
Problem05_label39_false-unreach-call.c false(unreach-call) 109    45.0  5695590400 false(unreach-call) 60.0  24.0  3833696256 false(unreach-call) 48.0  17.1  3323678720 false(unreach-call) 70.0  26.3  4388773888 false(unreach-call) 112    16.1  4692856832
Problem05_label40_false-unreach-call.c false(unreach-call) 95.4  41.3  5192814592 false(unreach-call) 58.0  22.2  3248226304 false(unreach-call) 36.1  14.3  2771030016 false(unreach-call) 60.3  23.9  4137152512 false(unreach-call) 104    15.2  4637376512
Problem05_label41_false-unreach-call.c false(unreach-call) 107    42.4  5348581376 false(unreach-call) 62.6  24.0  3455041536 false(unreach-call) 36.6  15.8  3080699904 false(unreach-call) 62.1  26.5  4626845696 false(unreach-call) 83.5  12.2  4547776512
Problem05_label44_false-unreach-call.c false(unreach-call) 125    45.6  5891612672 false(unreach-call) 63.8  23.3  3378802688 false(unreach-call) 36.1  14.8  3020414976 false(unreach-call) 89.5  29.1  4618186752 false(unreach-call) 76.8  11.4  4196372480
Problem05_label47_false-unreach-call.c false(unreach-call) 94.2  40.8  5000081408 false(unreach-call) 64.3  23.4  3449327616 false(unreach-call) 46.7  16.5  3227258880 false(unreach-call) 93.7  30.2  4902625280 false(unreach-call) 84.4  12.4  4758122496
Problem05_label48_false-unreach-call.c false(unreach-call) 93.5  42.5  5734260736 false(unreach-call) 82.9  33.9  4961079296 false(unreach-call) 71.0  25.9  4355411968 false(unreach-call) 61.2  24.6  4137295872 false(unreach-call) 113    16.2  4743573504
Problem05_label51_false-unreach-call.c false(unreach-call) 97.1  43.7  5550694400 false(unreach-call) 81.5  33.9  4863737856 false(unreach-call) 54.7  23.3  4094996480 false(unreach-call) 61.8  23.8  4280340480 false(unreach-call) 79.7  12.1  4248485888
Problem05_label55_false-unreach-call.c false(unreach-call) 125    45.6  5622059008 false(unreach-call) 63.5  26.4  4126359552 false(unreach-call) 51.4  18.9  3551174656 false(unreach-call) 58.1  24.4  4282433536 false(unreach-call) 73.4  11.0  4338466816
Problem05_label57_false-unreach-call.c false(unreach-call) 96.6  41.7  5679644672 false(unreach-call) 68.5  26.5  3643932672 false(unreach-call) 50.1  18.7  3580686336 false(unreach-call) 65.8  24.8  4215222272 false(unreach-call) 117    16.4  5001687040
Problem05_label58_false-unreach-call.c false(unreach-call) 90.5  38.6  5192253440 false(unreach-call) 65.4  26.8  4058980352 false(unreach-call) 44.6  18.9  2691919872 false(unreach-call) 57.7  24.4  4384268288 false(unreach-call) 72.2  10.8  3957796864
Problem06_label00_false-unreach-call.c false(unreach-call) 87.8  37.2  4126699520 false(unreach-call) 51.6  23.0  3245441024 false(unreach-call) 36.4  15.6  2177732608 false(unreach-call) 35.9  15.0  2222845952 false(unreach-call) 40.8  6.88 2037743616
Problem06_label01_false-unreach-call.c false(unreach-call) 81.0  37.4  4360540160 false(unreach-call) 72.5  29.0  3941556224 false(unreach-call) 49.2  18.8  2929790976 false(unreach-call) 43.9  19.6  2856955904 false(unreach-call) 69.2  10.7  3301326848
Problem06_label02_false-unreach-call.c false(unreach-call) 89.7  38.6  4433186816 false(unreach-call) 66.1  26.6  3487731712 false(unreach-call) 37.4  16.5  2438078464 false(unreach-call) 40.0  16.8  2365095936 false(unreach-call) 68.2  10.5  3432058880
Problem06_label04_false-unreach-call.c false(unreach-call) 79.0  35.7  4278759424 false(unreach-call) 43.9  18.5  2652229632 false(unreach-call) 31.4  12.5  1767038976 false(unreach-call) 37.5  16.2  2410954752 false(unreach-call) 68.5  10.5  3125997568
Problem06_label05_false-unreach-call.c false(unreach-call) 80.1  35.9  4267507712 false(unreach-call) 81.1  33.0  4166717440 false(unreach-call) 56.3  22.6  3116404736 false(unreach-call) 36.5  15.1  2275393536 false(unreach-call) 59.4  9.22 2777214976
Problem06_label09_false-unreach-call.c false(unreach-call) 49.7  21.7  2612518912 false(unreach-call) 76.8  30.8  3954864128 false(unreach-call) 40.4  19.1  2665017344 false(unreach-call) 38.9  17.2  2550202368 false(unreach-call) 26.7  5.10 1409732608
Problem06_label10_false-unreach-call.c false(unreach-call) 75.0  33.0  4074942464 false(unreach-call) 78.5  32.7  4604497920 false(unreach-call) 59.4  23.2  3047141376 false(unreach-call) 36.1  15.4  2426892288 false(unreach-call) 38.2  6.54 1956409344
Problem06_label11_false-unreach-call.c false(unreach-call) 72.3  31.8  4281192448 false(unreach-call) 42.1  17.4  2586304512 false(unreach-call) 31.0  11.4  1638821888 false(unreach-call) 32.6  13.5  2049548288 false(unreach-call) 37.9  6.41 1989193728
Problem06_label12_false-unreach-call.c false(unreach-call) 78.5  35.6  4130435072 false(unreach-call) 76.7  33.7  4408049664 false(unreach-call) 48.4  22.0  3538677760 false(unreach-call) 38.7  16.8  2393731072 false(unreach-call) 44.5  7.38 2531569664
Problem06_label15_false-unreach-call.c false(unreach-call) 83.5  36.7  4634333184 false(unreach-call) 58.6  21.8  3005489152 false(unreach-call) 34.3  13.8  2079199232 false(unreach-call) 38.7  17.3  2599632896 false(unreach-call) 61.5  9.69 2988326912
Problem06_label20_false-unreach-call.c false(unreach-call) 70.1  29.3  3613618176 false(unreach-call) 84.4  34.1  4481404928 false(unreach-call) 44.7  21.2  3106701312 false(unreach-call) 37.6  17.1  2539384832 false(unreach-call) 37.4  6.26 1731780608
Problem06_label21_false-unreach-call.c false(unreach-call) 85.2  37.2  4406534144 false(unreach-call) 77.3  31.9  4514938880 false(unreach-call) 52.9  21.6  3101835264 false(unreach-call) 37.3  16.5  2558636032 false(unreach-call) 41.4  6.90 2101145600
Problem06_label24_false-unreach-call.c false(unreach-call) 83.6  36.3  4385730560 false(unreach-call) 51.3  22.9  3258306560 false(unreach-call) 35.2  15.0  2164314112 false(unreach-call) 37.5  15.8  2459123712 false(unreach-call) 46.7  7.93 2521497600
Problem06_label27_false-unreach-call.c false(unreach-call) 75.9  32.0  3781529600 false(unreach-call) 42.5  17.5  2670628864 false(unreach-call) 29.0  11.7  1782554624 false(unreach-call) 39.7  17.4  2613977088 false(unreach-call) 42.3  6.93 2120617984
Problem06_label29_false-unreach-call.c false(unreach-call) 45.8  20.5  2622500864 false(unreach-call) 85.2  32.4  4346494976 false(unreach-call) 60.8  21.8  2890960896 false(unreach-call) 38.4  17.2  2671943680 false(unreach-call) 67.6  10.3  3327766528
Problem06_label33_false-unreach-call.c false(unreach-call) 39.9  17.5  2379468800 false(unreach-call) 70.7  30.0  3901861888 false(unreach-call) 41.5  18.7  2947219456 false(unreach-call) 44.2  16.3  2532323328 false(unreach-call) 25.3  4.68 1184854016
Problem06_label36_false-unreach-call.c false(unreach-call) 76.5  31.9  3838615552 false(unreach-call) 64.3  24.7  3428954112 false(unreach-call) 38.2  15.8  2213482496 false(unreach-call) 31.8  13.8  2181427200 false(unreach-call) 58.1  9.19 2843549696
Problem06_label37_false-unreach-call.c false(unreach-call) 68.9  29.2  3492196352 false(unreach-call) 75.5  28.6  3573067776 false(unreach-call) 38.4  16.9  2554859520 false(unreach-call) 37.2  16.2  2529337344 false(unreach-call) 40.9  6.78 2089504768
Problem06_label38_false-unreach-call.c false(unreach-call) 70.8  28.3  3463991296 false(unreach-call) 72.5  27.5  3605876736 false(unreach-call) 37.8  16.8  2570743808 false(unreach-call) 35.4  14.8  2242723840 false(unreach-call) 43.4  7.09 2322546688
Problem06_label44_false-unreach-call.c false(unreach-call) 87.0  38.1  4725493760 false(unreach-call) 72.0  29.6  3938140160 false(unreach-call) 39.5  18.2  2631798784 false(unreach-call) 42.4  19.9  2993033216 false(unreach-call) 69.2  10.6  3509899264
Problem06_label47_false-unreach-call.c false(unreach-call) 48.0  22.2  2800390144 false(unreach-call) 75.6  30.8  3963957248 false(unreach-call) 49.7  21.1  2861027328 false(unreach-call) 37.8  16.1  2508533760 false(unreach-call) 35.6  6.08 1654157312
Problem06_label48_false-unreach-call.c false(unreach-call) 83.8  35.4  4445184000 false(unreach-call) 67.2  27.1  3585548288 false(unreach-call) 36.9  16.6  2499411968 false(unreach-call) 35.3  15.5  2286424064 false(unreach-call) 66.7  10.2  3289534464
Problem06_label56_false-unreach-call.c false(unreach-call) 42.8  19.1  2736275456 false(unreach-call) 75.5  31.6  4104458240 false(unreach-call) 44.6  20.1  2922696704 false(unreach-call) 42.6  18.3  2639835136 false(unreach-call) 45.9  7.63 2615840768
Problem06_label58_false-unreach-call.c false(unreach-call) 85.1  38.0  4681445376 false(unreach-call) 72.7  29.5  4069859328 false(unreach-call) 40.5  18.3  2887966720 false(unreach-call) 50.4  19.7  2862522368 false(unreach-call) 67.7  10.4  3352129536
Problem06_label59_false-unreach-call.c false(unreach-call) 94.0  39.3  4635492352 false(unreach-call) 57.6  20.8  3142287360 false(unreach-call) 30.9  12.7  1957498880 false(unreach-call) 37.8  16.9  2513870848 false(unreach-call) 67.0  10.2  3299209216
../../../../sv-benchmarks/c/eca-rers2012/ 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 86 5260 2220 292054089728 86 4210 1650 238153424896 86 2980 1150 190827241472 86 3370 1330 217861353472 86 4560 708 228534943744
    correct results 86 5260 2220 292054089728 86 4210 1650 238153424896 86 2980 1150 190827241472 86 3370 1330 217861353472 86 4560 708 228534943744
        correct true 0 0 0 0 0
        correct false 86 5260 2220 292054089728 86 4210 1650 238153424896 86 2980 1150 190827241472 86 3370 1330 217861353472 86 4560 708 228534943744
    incorrect results 0 0 0 0 0
        incorrect true 0 0 0 0 0
        incorrect false 0 0 0 0 0
score (86 tasks, max score: 86) 86 86 86 86 86
Run set VA-noCegar.ReachSafety-ECA-false VA-noCegar-DFS.ReachSafety-ECA-false VA-BAM-noCegar.ReachSafety-ECA-false VA-BAM-noCegar-BFS.ReachSafety-ECA-false VA-parallelBAM-8.ReachSafety-ECA-false