Tool CPAchecker 1.7-svn 28809
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 1 timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 2 timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 4 timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 6 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-24 11:41:48 CEST 2018-07-25 11:34:42 CEST 2018-07-25 11:28:22 CEST 2018-07-25 11:39:28 CEST 2018-07-25 11:50:10 CEST
Run set bam-parallel-ECA-fl-core1-gc1.VA-parallelBAM-1.ReachSafety-ECA-true bam-parallel-ECA-fl-core2-gc2.VA-parallelBAM-2.ReachSafety-ECA-true bam-parallel-ECA-fl-core4-gc4.VA-parallelBAM-4.ReachSafety-ECA-true bam-parallel-ECA-fl-core6-gc6.VA-parallelBAM-6.ReachSafety-ECA-true bam-parallel-ECA-fl-core8-gc8.VA-parallelBAM-8.ReachSafety-ECA-true
Options -noout -benchmark -heap 14G -setprop cpa.bam.blockHeuristic=FunctionAndLoopPartitioning -XX:ParallelGCThreads=1 -XX:ConcGCThreads=1 -valueAnalysis-parallelBam -setprop algorithm.parallelBam.numberOfThreads=1 -noout -benchmark -heap 14G -setprop cpa.bam.blockHeuristic=FunctionAndLoopPartitioning -XX:ParallelGCThreads=2 -XX:ConcGCThreads=2 -valueAnalysis-parallelBam -setprop algorithm.parallelBam.numberOfThreads=2 -noout -benchmark -heap 14G -setprop cpa.bam.blockHeuristic=FunctionAndLoopPartitioning -XX:ParallelGCThreads=4 -XX:ConcGCThreads=4 -valueAnalysis-parallelBam -setprop algorithm.parallelBam.numberOfThreads=4 -noout -benchmark -heap 14G -setprop cpa.bam.blockHeuristic=FunctionAndLoopPartitioning -XX:ParallelGCThreads=6 -XX:ConcGCThreads=6 -valueAnalysis-parallelBam -setprop algorithm.parallelBam.numberOfThreads=6 -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_label00_true-unreach-call.c true 6.50 6.50 315633664 true 9.61 4.96 443359232 true 10.8  3.31 451563520 true 10.1  2.54 452894720 true 10.9 2.30 464023552
Problem03_label01_true-unreach-call.c true 6.76 6.77 314355712 true 9.90 5.09 442208256 true 10.8  3.31 452218880 true 10.5  2.67 448315392 true 10.5 2.28 465764352
Problem03_label02_true-unreach-call.c true 6.98 6.98 314757120 true 9.71 5.01 443174912 true 10.9  3.34 450297856 true 10.2  2.52 451170304 true 10.6 2.31 461565952
Problem03_label03_true-unreach-call.c true 6.47 6.47 310726656 true 9.82 5.07 443658240 true 10.9  3.35 453410816 true 9.80 2.48 449867776 true 11.0 2.40 457654272
Problem03_label04_true-unreach-call.c true 6.65 6.66 315281408 true 9.38 4.85 445251584 true 11.5  3.45 462057472 true 10.2  2.53 451289088 true 10.4 2.32 464285696
Problem03_label05_true-unreach-call.c true 6.42 6.42 316747776 true 9.59 4.96 442101760 true 10.3  3.20 441843712 true 10.1  2.57 451575808 true 10.9 2.31 461615104
Problem03_label06_true-unreach-call.c true 6.60 6.61 315039744 true 9.65 4.98 446373888 true 10.4  3.24 458964992 true 9.21 2.41 451514368 true 10.3 2.28 462376960
Problem03_label07_true-unreach-call.c true 6.55 6.56 314327040 true 9.67 4.99 445661184 true 10.5  3.22 456212480 true 8.81 2.37 437354496 true 10.4 2.27 458842112
Problem03_label08_true-unreach-call.c true 6.48 6.48 314347520 true 9.85 5.08 445206528 true 10.8  3.33 451186688 true 9.96 2.61 449904640 true 10.6 2.27 467976192
Problem03_label10_true-unreach-call.c true 6.50 6.51 309747712 true 9.65 4.98 444645376 true 10.3  3.16 452468736 true 8.97 2.37 441860096 true 10.4 2.29 457629696
Problem03_label11_true-unreach-call.c true 6.61 6.61 316665856 true 9.53 4.93 440733696 true 9.63 2.98 441159680 true 10.1  2.53 449650688 true 10.6 2.26 466370560
Problem03_label12_true-unreach-call.c true 6.48 6.49 314208256 true 9.81 5.04 442793984 true 10.4  3.17 458354688 true 10.1  2.52 452722688 true 10.7 2.35 462622720
Problem03_label14_true-unreach-call.c true 6.61 6.62 315219968 true 9.93 5.10 442064896 true 10.4  3.21 452857856 true 10.3  2.62 369029120 true 11.1 2.31 455393280
Problem03_label15_true-unreach-call.c true 6.75 6.76 314978304 true 9.77 5.05 442781696 true 9.84 3.04 441126912 true 9.11 2.40 437366784 true 10.3 2.28 459374592
Problem03_label16_true-unreach-call.c true 6.47 6.47 314802176 true 9.86 5.05 443764736 true 9.57 3.00 440082432 true 9.76 2.44 450985984 true 10.7 2.35 458108928
Problem03_label17_true-unreach-call.c true 6.18 6.18 296304640 true 9.81 5.04 443527168 true 10.3  3.15 452206592 true 10.5  2.65 449179648 true 10.6 2.33 462139392
Problem03_label18_true-unreach-call.c true 7.02 7.02 321527808 true 9.36 4.81 445902848 true 10.6  3.18 451637248 true 10.5  2.76 450326528 true 10.4 2.31 469835776
Problem03_label19_true-unreach-call.c true 6.56 6.58 316633088 true 8.96 4.64 431738880 true 10.4  3.27 453709824 true 10.2  2.55 452997120 true 10.6 2.28 466882560
Problem03_label20_true-unreach-call.c true 6.43 6.43 314966016 true 9.65 4.99 442359808 true 10.6  3.26 451567616 true 10.0  2.55 449593344 true 10.6 2.28 469520384
Problem03_label21_true-unreach-call.c true 6.43 6.43 315834368 true 9.76 5.03 441643008 true 9.94 3.02 437084160 true 10.3  2.65 449748992 true 10.3 2.29 460935168
Problem03_label22_true-unreach-call.c true 6.32 6.33 309850112 true 9.73 5.02 444796928 true 10.9  3.34 452042752 true 9.67 2.50 457056256 true 10.9 2.33 459415552
Problem03_label23_true-unreach-call.c true 6.43 6.45 315547648 true 9.68 5.00 442441728 true 10.7  3.32 452706304 true 10.0  2.61 377495552 true 10.6 2.31 457371648
Problem03_label24_true-unreach-call.c true 6.43 6.43 314892288 true 9.43 4.88 444309504 true 10.8  3.31 452276224 true 9.95 2.51 448352256 true 10.2 2.27 463155200
Problem03_label25_true-unreach-call.c true 6.22 6.23 312266752 true 9.61 4.95 444633088 true 10.2  3.11 451153920 true 9.59 2.46 454402048 true 10.1 2.23 458477568
Problem03_label29_true-unreach-call.c true 6.67 6.69 314974208 true 9.67 4.98 442081280 true 10.6  3.23 455155712 true 10.0  2.53 449970176 true 10.6 2.32 370003968
Problem03_label30_true-unreach-call.c true 6.78 6.78 315674624 true 9.71 5.02 445198336 true 10.3  3.14 452272128 true 10.0  2.50 452382720 true 10.4 2.29 461664256
Problem03_label32_true-unreach-call.c true 6.96 6.96 315199488 true 9.29 4.80 445042688 true 10.9  3.32 452071424 true 10.1  2.50 449908736 true 10.3 2.24 472379392
Problem03_label33_true-unreach-call.c true 6.87 6.88 320589824 true 9.34 4.82 442085376 true 10.5  3.18 450588672 true 10.0  2.57 453177344 true 10.7 2.37 459317248
Problem03_label34_true-unreach-call.c true 6.32 6.33 308838400 true 9.98 5.13 444039168 true 10.5  3.17 450748416 true 10.0  2.48 451637248 true 10.1 2.21 467664896
Problem03_label36_true-unreach-call.c true 6.60 6.61 318013440 true 9.41 4.87 442134528 true 9.46 2.91 441552896 true 9.76 2.49 447991808 true 11.0 2.37 380788736
Problem03_label38_true-unreach-call.c true 6.48 6.48 314892288 true 9.67 5.00 443060224 true 10.6  3.22 450404352 true 10.1  2.55 456388608 true 10.8 2.32 460218368
Problem03_label40_true-unreach-call.c true 6.88 6.89 309751808 true 9.64 4.96 442748928 true 10.4  3.15 470007808 true 9.83 2.45 448483328 true 10.6 2.30 460787712
Problem03_label41_true-unreach-call.c true 6.55 6.57 310738944 true 9.57 4.93 443527168 true 9.90 3.05 439242752 true 10.0  2.51 451305472 true 10.5 2.33 463015936
Problem03_label42_true-unreach-call.c true 6.66 6.67 314990592 true 9.70 5.01 444682240 true 11.0  3.38 451497984 true 9.92 2.52 453963776 true 10.5 2.27 464691200
Problem03_label44_true-unreach-call.c true 6.70 6.71 314781696 true 9.50 4.90 441839616 true 10.5  3.21 452304896 true 10.4  2.55 448442368 true 10.6 2.30 463912960
Problem03_label46_true-unreach-call.c true 6.53 6.53 315150336 true 9.59 4.96 442646528 true 10.1  3.09 437039104 true 9.87 2.46 450752512 true 10.3 2.26 469913600
Problem03_label47_true-unreach-call.c true 6.56 6.57 314818560 true 8.67 4.49 428642304 true 10.3  3.13 451969024 true 9.65 2.47 442441728 true 10.7 2.31 466419712
Problem03_label48_true-unreach-call.c true 6.34 6.34 315326464 true 9.60 4.94 441397248 true 10.6  3.26 448417792 true 9.69 2.49 452685824 true 10.9 2.31 457932800
Problem03_label49_true-unreach-call.c true 6.39 6.41 315842560 true 9.51 4.90 445378560 true 10.3  3.14 451821568 true 9.43 2.48 440291328 true 11.1 2.43 462438400
Problem03_label51_true-unreach-call.c true 5.98 6.00 290299904 true 9.59 4.93 444747776 true 10.4  3.18 449748992 true 9.89 2.48 450555904 true 10.8 2.39 456929280
Problem03_label53_true-unreach-call.c true 6.71 6.72 316809216 true 9.73 5.01 442621952 true 10.9  3.33 451850240 true 9.01 2.36 438312960 true 10.4 2.30 458850304
Problem03_label54_true-unreach-call.c true 6.65 6.66 310534144 true 9.05 4.69 428138496 true 10.6  3.29 449310720 true 9.66 2.39 451387392 true 10.4 2.27 467546112
Problem03_label55_true-unreach-call.c true 6.56 6.56 315293696 true 9.72 5.00 444653568 true 10.4  3.22 451031040 true 10.2  2.48 444538880 true 10.9 2.46 462020608
Problem03_label56_true-unreach-call.c true 6.76 6.77 314433536 true 9.95 5.13 442609664 true 10.7  3.19 454500352 true 10.2  2.53 448978944 true 10.8 2.38 374435840
Problem03_label57_true-unreach-call.c true 6.58 6.59 315166720 true 9.39 4.84 443994112 true 10.5  3.23 453595136 true 10.1  2.61 451571712 true 10.6 2.27 460820480
Problem03_label58_true-unreach-call.c true 6.92 6.93 320221184 true 9.64 4.98 442298368 true 10.3  3.13 450469888 true 10.4  2.74 448442368 true 10.5 2.27 467722240
Problem03_label59_true-unreach-call.c true 6.52 6.53 315641856 true 9.48 4.89 443129856 true 11.1  3.41 450285568 true 9.82 2.52 448122880 true 10.6 2.41 460513280
Problem04_label00_true-unreach-call.c true 21.9  21.9  1130651648 true 33.8  17.1  2348679168 true 37.7  10.6  2127011840 true 38.1  7.78 2220851200 true 40.2 6.89 2334130176
Problem04_label01_true-unreach-call.c true 21.3  21.4  1126993920 true 33.1  16.8  2156322816 true 37.7  10.7  2261774336 true 38.1  7.93 2121342976 true 40.6 6.79 2273013760
Problem04_label02_true-unreach-call.c true 21.7  21.7  1157210112 true 33.9  17.3  2322882560 true 36.5  10.5  2210025472 true 37.2  7.67 2351841280 true 40.0 6.69 2114187264
Problem04_label03_true-unreach-call.c true 22.1  22.1  1153540096 true 34.8  17.7  2123972608 true 36.0  10.3  2170298368 true 38.6  8.02 2353221632 true 39.5 6.58 2222596096
Problem04_label05_true-unreach-call.c true 21.6  21.6  1166233600 true 36.0  18.3  2083012608 true 37.5  10.6  2372743168 true 39.0  7.92 2403495936 true 41.1 6.81 2299850752
Problem04_label07_true-unreach-call.c true 21.8  21.8  1122664448 true 33.7  17.1  2356297728 true 37.7  10.5  2279059456 true 37.2  7.70 2186862592 true 40.6 6.97 2524487680
Problem04_label08_true-unreach-call.c true 21.4  21.4  1112150016 true 34.1  17.3  2181394432 true 36.4  10.5  2197413888 true 36.9  7.61 2279268352 true 38.1 6.48 2180096000
Problem04_label10_true-unreach-call.c true 21.1  21.1  1126350848 true 34.2  17.4  2354413568 true 38.2  10.8  2186043392 true 39.3  8.05 2095378432 true 39.2 6.58 2188115968
Problem04_label16_true-unreach-call.c true 21.7  21.7  1154183168 true 34.7  17.6  2256216064 true 37.3  10.5  2167341056 true 38.0  7.79 2243821568 true 39.9 6.65 2407141376
Problem04_label20_true-unreach-call_false-termination.c true 20.6  20.6  1117528064 true 34.4  17.4  2100662272 true 37.9  10.7  2384654336 true 39.6  8.06 2393817088 true 40.7 6.92 2331160576
Problem04_label21_true-unreach-call.c true 21.4  21.4  1108500480 true 34.8  17.7  2426146816 true 37.2  10.6  2214715392 true 37.4  7.75 2183589888 true 39.7 6.65 2448756736
Problem04_label22_true-unreach-call.c true 21.6  21.6  1126498304 true 34.0  17.3  2263265280 true 35.8  10.3  2445647872 true 37.8  7.82 2244509696 true 40.5 6.81 2471776256
Problem04_label23_true-unreach-call_false-termination.c true 21.3  21.3  1109209088 true 34.4  17.5  2446229504 true 37.8  10.7  2413043712 true 36.8  7.67 2207596544 true 39.5 6.70 2337488896
Problem04_label24_true-unreach-call_false-termination.c true 21.0  21.0  1127043072 true 34.0  17.3  2179997696 true 37.5  10.6  2156761088 true 38.3  8.07 2255376384 true 40.3 6.70 2360885248
Problem04_label25_true-unreach-call.c true 20.9  20.9  1135837184 true 34.6  17.6  2456596480 true 38.4  10.8  2379784192 true 37.5  7.73 2153795584 true 40.2 6.74 2222632960
Problem04_label28_true-unreach-call.c true 21.9  21.9  1121107968 true 34.2  17.4  2189574144 true 36.6  10.4  2370535424 true 38.3  8.01 2398609408 true 41.2 6.86 2518822912
Problem04_label29_true-unreach-call_false-termination.c true 21.3  21.3  1117396992 true 34.2  17.4  2421784576 true 37.1  10.5  2203770880 true 39.1  8.06 2113077248 true 39.1 6.58 2173325312
Problem04_label30_true-unreach-call.c true 21.9  21.9  1141104640 true 34.0  17.2  2317320192 true 37.9  10.6  2329907200 true 36.8  7.60 2150006784 true 38.6 6.60 2283417600
Problem04_label33_true-unreach-call.c true 21.1  21.1  1112952832 true 35.9  18.2  2389336064 true 37.6  10.6  2196291584 true 36.9  7.76 2159620096 true 41.0 6.72 2276126720
Problem04_label34_true-unreach-call.c true 21.4  21.5  1132072960 true 33.7  17.1  2279251968 true 35.6  10.2  2262110208 true 38.1  7.81 2241736704 true 38.2 6.39 2109116416
Problem04_label37_true-unreach-call_false-termination.c true 21.5  21.5  1132060672 true 34.3  17.4  2342240256 true 37.1  10.3  2126147584 true 39.3  8.06 2083250176 true 41.5 6.93 2181304320
Problem04_label41_true-unreach-call.c true 21.6  21.6  1138290688 true 34.0  17.2  2145681408 true 37.0  10.3  2259795968 true 37.9  8.07 2230001664 true 41.3 6.98 2226905088
Problem04_label42_true-unreach-call_false-termination.c true 20.8  20.8  1102528512 true 33.8  17.2  2217820160 true 36.6  10.3  2119692288 true 38.3  7.88 2104594432 true 39.5 6.67 2259984384
Problem04_label43_true-unreach-call_false-termination.c true 22.8  22.8  1125228544 true 35.0  17.7  2389381120 true 38.5  10.8  2467463168 true 38.0  7.81 2326392832 true 39.8 6.79 2225549312
Problem04_label44_true-unreach-call_false-termination.c true 21.5  21.5  1120235520 true 33.9  17.2  2183294976 true 38.4  10.9  2301255680 true 37.8  7.84 2120953856 true 39.8 6.63 2130247680
Problem04_label46_true-unreach-call_false-termination.c true 21.4  21.4  1135218688 true 33.7  17.1  2475102208 true 37.1  10.6  2238390272 true 39.0  8.07 2229653504 true 39.6 6.62 2142986240
Problem04_label47_true-unreach-call.c true 21.3  21.3  1148768256 true 34.4  17.5  2284888064 true 37.0  10.5  2319945728 true 38.0  7.93 2174332928 true 39.1 6.58 2299478016
Problem04_label48_true-unreach-call.c true 22.4  22.4  1155076096 true 34.5  17.5  2191015936 true 38.0  10.7  2123902976 true 37.3  7.76 2164789248 true 39.3 6.52 2115203072
Problem04_label49_true-unreach-call_false-termination.c true 21.2  21.2  1138184192 true 35.2  17.9  2394132480 true 36.9  10.4  2210189312 true 37.9  7.80 2209394688 true 39.6 6.57 2200846336
Problem04_label50_true-unreach-call.c true 21.3  21.3  1114132480 true 34.9  17.7  2351054848 true 36.3  10.3  2154188800 true 38.9  8.17 2180366336 true 39.1 6.56 2120679424
Problem04_label51_true-unreach-call.c true 21.9  21.9  1124634624 true 34.4  17.5  2361282560 true 37.1  10.6  2200276992 true 38.7  8.00 2288680960 true 41.5 6.88 2401648640
Problem04_label53_true-unreach-call.c true 21.3  21.3  1100689408 true 34.5  17.5  2133479424 true 37.8  10.8  2698858496 true 40.3  8.37 2331107328 true 39.5 6.53 2159112192
Problem04_label54_true-unreach-call.c true 21.7  21.7  1106980864 true 36.0  18.2  2312695808 true 37.1  10.6  2234904576 true 38.5  7.97 2336935936 true 40.9 7.00 2563842048
Problem04_label56_true-unreach-call.c true 21.8  21.8  1150963712 true 34.0  17.3  2371416064 true 38.1  10.7  2326568960 true 37.8  8.00 2211164160 true 39.0 6.53 2220519424
Problem04_label57_true-unreach-call_false-termination.c true 21.1  21.1  1123508224 true 34.0  17.3  2281824256 true 37.7  10.5  2131546112 true 38.1  7.81 2112307200 true 41.0 6.96 2224951296
Problem04_label59_true-unreach-call.c true 22.3  22.3  1108328448 true 34.0  17.2  2250846208 true 36.7  10.4  2174984192 true 38.3  7.86 2256392192 true 39.3 6.59 2189225984
Problem05_label02_true-unreach-call.c true 45.9  45.9  2412163072 true 98.5  49.8  5382868992 true 99.8  27.1  5420417024 true 114    21.6  5114040320 true 115   17.4  5179846656
Problem05_label03_true-unreach-call.c true 47.4  47.4  2469822464 true 93.1  47.1  4931387392 true 103    28.3  5158572032 true 107    20.2  5065629696 true 135   19.7  5385347072
Problem05_label04_true-unreach-call.c true 47.5  47.5  2428276736 true 96.0  48.6  5314523136 true 102    27.5  5362073600 true 110    20.9  5138350080 true 122   18.0  5031542784
Problem05_label05_true-unreach-call.c true 45.4  45.4  2424782848 true 95.8  48.5  5337210880 true 94.2  25.9  5072343040 true 113    21.4  5101199360 true 133   19.3  5187457024
Problem05_label06_true-unreach-call.c true 46.2  46.2  2458460160 true 78.0  39.5  5020282880 true 100    27.3  5240643584 true 83.7  16.4  4887187456 true 115   17.3  5319950336
Problem05_label07_true-unreach-call.c true 44.8  44.9  2504888320 true 93.7  47.3  5371408384 true 90.6  24.9  4920852480 true 111    20.9  4923289600 true 127   18.6  5202178048
Problem05_label08_true-unreach-call.c true 47.3  47.3  2447273984 true 98.6  49.8  5224562688 true 94.9  26.0  4998705152 true 110    20.7  5182943232 true 111   16.9  5007872000
Problem05_label09_true-unreach-call.c true 45.4  45.4  2455891968 true 78.2  39.6  5083578368 true 105    28.5  5253857280 true 111    20.9  4911276032 true 110   16.7  5031067648
Problem05_label10_true-unreach-call.c true 45.5  45.5  2482831360 true 96.5  48.9  5427380224 true 102    27.8  5479698432 true 106    20.2  5321363456 true 120   17.7  5168795648
Problem05_label12_true-unreach-call.c true 45.9  45.9  2430324736 true 96.7  48.9  5089198080 true 101    27.5  5231747072 true 112    21.3  5040967680 true 123   18.0  5440323584
Problem05_label14_true-unreach-call.c true 47.1  47.1  2451947520 true 98.1  49.6  5280755712 true 103    27.8  5178798080 true 107    20.3  5545467904 true 112   17.1  5215485952
Problem05_label16_true-unreach-call.c true 45.7  45.7  2450010112 true 95.5  48.3  5276934144 true 104    28.2  5150699520 true 109    20.9  4574240768 true 112   16.6  5156200448
Problem05_label17_true-unreach-call.c true 46.7  46.7  2435043328 true 97.7  49.4  5148573696 true 102    27.7  5139734528 true 107    20.5  5232586752 true 122   18.1  5075058688
Problem05_label19_true-unreach-call.c true 46.5  46.5  2458566656 true 99.9  50.5  5332094976 true 99.3  27.0  5317902336 true 110    20.9  5162389504 true 123   18.1  5082132480
Problem05_label20_true-unreach-call.c true 48.5  48.5  2454700032 true 96.5  48.8  5464276992 true 98.9  26.9  5035474944 true 114    21.5  5169840128 true 112   16.9  4874575872
Problem05_label21_true-unreach-call.c true 46.3  46.3  2495266816 true 79.1  40.1  5092782080 true 81.6  22.6  4945850368 true 105    20.2  4837044224 true 127   18.6  5192536064
Problem05_label22_true-unreach-call.c true 46.2  46.2  2428887040 true 90.5  45.9  4832579584 true 101    27.6  5323567104 true 100    19.2  4904480768 true 128   18.8  5189238784
Problem05_label23_true-unreach-call.c true 45.6  45.6  2437529600 true 97.0  49.1  5432492032 true 99.3  27.2  5116194816 true 109    20.7  4948807680 true 121   17.8  5574332416
Problem05_label25_true-unreach-call.c true 44.7  44.7  2478403584 true 97.5  49.3  5268963328 true 105    28.4  5342052352 true 107    20.3  5245243392 true 121   17.9  5197709312
Problem05_label27_true-unreach-call.c true 47.0  47.0  2467897344 true 96.7  48.9  5331419136 true 90.5  24.8  4589228032 true 115    21.8  5457833984 true 127   18.5  5020479488
Problem05_label28_true-unreach-call.c true 45.9  46.0  2441334784 true 95.4  48.3  5226668032 true 99.2  26.8  5227139072 true 88.0  17.2  5249806336 true 119   17.7  4789944320
Problem05_label29_true-unreach-call.c true 45.7  45.8  2409213952 true 95.4  48.3  5319335936 true 101    27.4  5423185920 true 106    20.3  5036961792 true 122   18.3  5344477184
Problem05_label31_true-unreach-call.c true 46.1  46.1  2444185600 true 97.0  49.0  5196275712 true 93.2  25.6  5050380288 true 109    20.7  4924612608 true 121   18.0  5063323648
Problem05_label34_true-unreach-call.c true 45.6  45.6  2440544256 true 98.6  49.8  5383147520 true 103    28.2  5025935360 true 113    21.5  5232431104 true 124   18.2  5130174464
Problem05_label35_true-unreach-call.c true 44.8  44.8  2457219072 true 99.8  50.4  5258625024 true 103    28.0  5173862400 true 113    21.2  4939575296 true 117   17.5  4993826816
Problem05_label42_true-unreach-call.c true 46.3  46.3  2476113920 true 98.6  49.8  5472051200 true 102    27.5  5522247680 true 112    21.6  5055492096 true 124   18.3  4933488640
Problem05_label43_true-unreach-call.c true 46.0  46.0  2468798464 true 95.1  48.1  5233778688 true 102    27.9  5128163328 true 107    20.3  4994846720 true 128   18.7  5388292096
Problem05_label45_true-unreach-call.c true 45.9  45.9  2417041408 true 95.7  48.4  5408825344 true 83.4  22.8  4727353344 true 117    22.3  5170900992 true 123   18.3  5280452608
Problem05_label46_true-unreach-call.c true 47.7  47.7  2474524672 true 103    52.2  5407186944 true 104    28.1  4978610176 true 107    20.4  5089968128 true 123   18.1  5604450304
Problem05_label49_true-unreach-call.c true 46.3  46.3  2437746688 true 94.9  48.0  5496774656 true 102    27.7  5471481856 true 110    21.0  5300498432 true 127   18.7  5193416704
Problem05_label50_true-unreach-call.c true 48.0  48.0  2472308736 true 96.4  48.7  5205901312 true 97.6  26.5  5067481088 true 111    21.0  5067649024 true 134   19.7  5384552448
Problem05_label52_true-unreach-call.c true 46.1  46.2  2448736256 true 99.6  50.4  5321744384 true 102    27.8  5253410816 true 107    20.3  5307920384 true 110   16.5  4933124096
Problem05_label53_true-unreach-call.c true 47.5  47.5  2436968448 true 96.5  48.9  5397520384 true 102    27.9  5403291648 true 109    20.8  5122859008 true 121   18.0  4972949504
Problem05_label54_true-unreach-call.c true 46.5  46.5  2437189632 true 79.0  40.0  5083361280 true 102    27.6  5180698624 true 112    21.5  5059354624 true 136   20.1  5424476160
Problem05_label56_true-unreach-call.c true 43.7  43.8  2433859584 true 97.0  49.0  5393289216 true 102    27.7  5022879744 true 108    20.5  5147271168 true 122   17.9  5116186624
Problem05_label59_true-unreach-call.c true 46.7  46.8  2413875200 true 101    51.2  5474336768 true 106    28.5  5137879040 true 102    19.7  5059858432 true 123   18.5  5047595008
Problem06_label03_true-unreach-call.c true 38.1  38.1  1976668160 true 64.4  32.6  3901771776 true 69.7  19.3  3607158784 true 67.4  13.5  3563360256 true 71.9 11.5  3672952832
Problem06_label06_true-unreach-call.c true 37.7  37.7  2023223296 true 63.4  32.1  3511013376 true 69.6  19.1  3688804352 true 66.4  13.4  3373232128 true 71.6 11.3  3690958848
Problem06_label07_true-unreach-call.c true 37.5  37.5  1982640128 true 62.8  31.9  3737526272 true 67.3  18.5  3806515200 true 73.0  14.4  3777654784 true 78.9 12.5  3599982592
Problem06_label08_true-unreach-call.c true 38.1  38.1  2001367040 true 64.4  32.7  4072673280 true 69.8  19.3  3631091712 true 70.4  14.0  3915157504 true 75.1 12.1  3836522496
Problem06_label13_true-unreach-call.c true 37.3  37.3  2029072384 true 64.4  32.6  3829493760 true 66.4  18.7  4004941824 true 72.1  14.2  3986866176 true 86.3 13.2  4001689600
Problem06_label14_true-unreach-call.c true 38.2  38.2  1973948416 true 66.8  33.8  3678453760 true 68.5  19.1  3689291776 true 69.2  13.8  3778826240 true 72.5 11.4  3652239360
Problem06_label16_true-unreach-call.c true 38.5  38.5  2012377088 true 66.6  33.7  3507798016 true 68.1  19.0  3847929856 true 77.7  15.6  3811184640 true 76.9 12.1  3607928832
Problem06_label17_true-unreach-call.c true 38.0  38.0  2048212992 true 66.4  33.6  4186669056 true 68.8  19.1  3940868096 true 79.5  15.6  3791572992 true 71.1 11.3  3771174912
Problem06_label18_true-unreach-call.c true 37.4  37.4  2028302336 true 62.4  31.7  3855892480 true 67.0  18.7  4119248896 true 68.5  13.7  3460968448 true 71.9 11.6  3852836864
Problem06_label19_true-unreach-call.c true 37.7  37.7  1966706688 true 66.1  33.5  4106895360 true 69.8  19.4  3997310976 true 67.1  13.4  3489660928 true 70.3 11.5  3614453760
Problem06_label22_true-unreach-call.c true 38.2  38.2  2013487104 true 65.3  33.1  3631255552 true 66.4  18.5  3636908032 true 69.2  13.8  3919515648 true 71.4 11.5  3522015232
Problem06_label23_true-unreach-call.c true 38.3  38.3  2036494336 true 64.8  32.9  3817717760 true 65.5  18.1  3526328320 true 68.1  13.6  3714719744 true 72.8 11.8  3983917056
Problem06_label25_true-unreach-call.c true 38.1  38.1  1960198144 true 61.6  31.2  3456704512 true 69.7  19.6  3837157376 true 70.9  14.1  3903746048 true 71.4 11.5  3733094400
Problem06_label26_true-unreach-call.c true 38.0  38.0  2015145984 true 65.2  33.1  4295233536 true 66.0  18.6  3763609600 true 70.2  14.2  3709874176 true 72.3 11.5  3711221760
Problem06_label28_true-unreach-call.c true 39.0  39.0  2026479616 true 62.8  31.8  3401351168 true 67.8  18.8  4003864576 true 67.4  13.5  3640700928 true 82.7 13.0  3822579712
Problem06_label30_true-unreach-call.c true 38.4  38.4  1972989952 true 66.1  33.5  4078567424 true 67.4  18.8  3903606784 true 77.1  15.2  3826397184 true 72.5 11.5  3759849472
Problem06_label31_true-unreach-call.c true 37.3  37.3  2005569536 true 64.1  32.5  4219375616 true 67.0  18.6  3454324736 true 70.8  14.0  3726372864 true 80.0 12.5  4174741504
Problem06_label32_true-unreach-call.c true 39.5  39.5  2022739968 true 66.0  33.5  4250599424 true 68.9  19.4  3744768000 true 70.9  14.2  3930750976 true 70.2 11.3  3681918976
Problem06_label34_true-unreach-call.c true 38.8  38.8  2049716224 true 65.8  33.3  3846377472 true 69.4  19.3  3729448960 true 69.8  14.0  3763445760 true 71.6 11.5  3626504192
Problem06_label35_true-unreach-call.c true 37.2  37.2  2005135360 true 64.2  32.6  3996971008 true 68.6  18.9  4240658432 true 70.5  13.9  3906379776 true 72.0 11.5  3694608384
Problem06_label39_true-unreach-call.c true 37.6  37.6  1982550016 true 63.4  32.2  3417296896 true 67.6  18.8  3550117888 true 80.0  15.8  3941015552 true 71.1 11.3  3612446720
Problem06_label40_true-unreach-call.c true 38.3  38.4  1984577536 true 63.9  32.3  3505319936 true 66.4  18.2  3430391808 true 67.2  13.4  3443056640 true 72.5 11.6  3565481984
Problem06_label41_true-unreach-call.c true 37.4  37.4  2016653312 true 65.3  33.1  3849629696 true 67.9  19.1  3654397952 true 72.2  14.3  3570282496 true 71.9 11.4  4140339200
Problem06_label42_true-unreach-call.c true 39.0  39.0  2027679744 true 68.2  34.6  3808448512 true 68.7  19.0  3644420096 true 71.0  14.4  3706961920 true 81.8 12.8  3668791296
Problem06_label43_true-unreach-call.c true 38.4  38.5  1979473920 true 64.6  32.7  3848564736 true 68.1  19.0  3802263552 true 72.7  14.7  3823149056 true 80.4 12.8  3867107328
Problem06_label45_true-unreach-call.c true 37.2  37.2  1966170112 true 67.6  34.3  3762495488 true 69.5  19.5  4015579136 true 70.3  14.1  3865534464 true 70.4 11.2  3452088320
Problem06_label46_true-unreach-call.c true 37.1  37.1  2008915968 true 63.3  32.1  3893456896 true 68.2  19.1  3671687168 true 72.4  14.4  3575185408 true 73.2 11.6  3832188928
Problem06_label49_true-unreach-call.c true 37.6  37.6  1984315392 true 62.6  31.7  3600855040 true 71.0  19.6  3640844288 true 68.3  13.9  3661471744 true 73.3 11.7  3755868160
Problem06_label50_true-unreach-call.c true 37.9  37.9  2019168256 true 64.6  32.8  4004294656 true 68.5  19.1  3671334912 true 65.3  13.1  3498782720 true 71.5 11.4  3565264896
Problem06_label51_true-unreach-call.c true 38.4  38.4  2030817280 true 64.1  32.6  3464859648 true 66.9  18.7  3687239680 true 71.6  14.2  3926040576 true 70.4 11.2  3466166272
Problem06_label52_true-unreach-call.c true 38.6  38.6  2053537792 true 63.7  32.3  3877421056 true 71.3  19.7  4054827008 true 70.1  14.1  3676041216 true 80.1 12.5  3975770112
Problem06_label53_true-unreach-call.c true 38.1  38.2  1970724864 true 63.5  32.2  3557859328 true 69.6  19.3  4061749248 true 65.1  13.1  3502125056 true 73.7 11.7  3660587008
Problem06_label54_true-unreach-call.c true 37.3  37.3  1962053632 true 68.3  34.6  4094808064 true 66.6  18.2  3454889984 true 88.7  17.0  4299878400 true 78.9 12.4  3588186112
Problem06_label55_true-unreach-call.c true 38.0  38.0  2018127872 true 67.7  34.3  3711426560 true 67.9  19.0  3774386176 true 72.6  14.3  4097966080 true 70.7 11.4  3674148864
Problem06_label57_true-unreach-call.c true 37.5  37.5  2004754432 true 64.5  32.7  3865985024 true 67.1  18.7  3593265152 true 69.0  13.8  3679174656 true 69.8 11.1  3531239424
../../../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 154 4080 4080 213719326720 154 7370 3740 426708500480 154 7800 2170 420554764288 154 8230 1640 415865765888 154 8920 1410 419720663040
    correct results 154 4080 4080 213719326720 154 7370 3740 426708500480 154 7800 2170 420554764288 154 8230 1640 415865765888 154 8920 1410 419720663040
        correct true 154 4080 4080 213719326720 154 7370 3740 426708500480 154 7800 2170 420554764288 154 8230 1640 415865765888 154 8920 1410 419720663040
        correct false 0 0 0 0 0
    incorrect results 0 0 0 0 0
        incorrect true 0 0 0 0 0
        incorrect false 0 0 0 0 0
score (154 tasks, max score: 308) 308 308 308 308 308
Run set bam-parallel-ECA-fl-core1-gc1.VA-parallelBAM-1.ReachSafety-ECA-true bam-parallel-ECA-fl-core2-gc2.VA-parallelBAM-2.ReachSafety-ECA-true bam-parallel-ECA-fl-core4-gc4.VA-parallelBAM-4.ReachSafety-ECA-true bam-parallel-ECA-fl-core6-gc6.VA-parallelBAM-6.ReachSafety-ECA-true bam-parallel-ECA-fl-core8-gc8.VA-parallelBAM-8.ReachSafety-ECA-true