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 bam-parallel-ECA-fl-core2-gc2.VA-parallelBAM-2 bam-parallel-ECA-fl-core4-gc4.VA-parallelBAM-4 bam-parallel-ECA-fl-core6-gc6.VA-parallelBAM-6 bam-parallel-ECA-fl-core8-gc8.VA-parallelBAM-8
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
Problem03_label09_false-unreach-call.c false(unreach-call) 5.64 5.64 294064128 false(unreach-call) 8.13 4.20 408875008 false(unreach-call) 9.88 3.03 449421312 false(unreach-call) 9.81 2.61 449503232 false(unreach-call) 9.79 2.21 464707584
Problem03_label13_false-unreach-call.c false(unreach-call) 4.69 4.70 266264576 false(unreach-call) 7.40 3.81 400748544 false(unreach-call) 8.45 2.74 412745728 false(unreach-call) 8.02 2.11 407461888 false(unreach-call) 8.72 2.04 416206848
Problem03_label26_false-unreach-call.c false(unreach-call) 5.68 5.70 294195200 false(unreach-call) 7.07 3.67 321597440 false(unreach-call) 7.88 2.49 406478848 false(unreach-call) 7.21 2.14 282046464 false(unreach-call) 8.03 1.95 408330240
Problem03_label27_false-unreach-call.c false(unreach-call) 4.79 4.80 266346496 false(unreach-call) 7.70 4.01 405868544 false(unreach-call) 9.05 2.83 413343744 false(unreach-call) 8.50 2.28 413339648 false(unreach-call) 9.55 2.09 456089600
Problem03_label28_false-unreach-call.c false(unreach-call) 4.81 4.82 267370496 false(unreach-call) 7.59 3.92 406360064 false(unreach-call) 8.71 2.76 415924224 false(unreach-call) 7.82 2.17 400678912 false(unreach-call) 9.71 2.17 415199232
Problem03_label31_false-unreach-call.c false(unreach-call) 4.77 4.77 266039296 false(unreach-call) 7.34 3.83 406548480 false(unreach-call) 8.88 2.82 415678464 false(unreach-call) 8.59 2.21 415121408 false(unreach-call) 8.91 2.04 421863424
Problem03_label35_false-unreach-call.c false(unreach-call) 5.96 5.98 294854656 false(unreach-call) 8.64 4.49 410636288 false(unreach-call) 9.99 2.99 453079040 false(unreach-call) 9.89 2.48 449236992 false(unreach-call) 10.1  2.21 458186752
Problem03_label37_false-unreach-call.c false(unreach-call) 6.00 6.01 300691456 false(unreach-call) 9.05 4.66 443375616 false(unreach-call) 9.24 2.88 413896704 false(unreach-call) 7.94 2.17 411779072 false(unreach-call) 8.69 2.09 414588928
Problem03_label39_false-unreach-call.c false(unreach-call) 5.81 5.81 290111488 false(unreach-call) 8.54 4.41 406855680 false(unreach-call) 9.63 2.99 450977792 false(unreach-call) 9.51 2.46 449404928 false(unreach-call) 9.96 2.24 456368128
Problem03_label43_false-unreach-call.c false(unreach-call) 6.34 6.34 305381376 false(unreach-call) 9.48 4.90 443871232 false(unreach-call) 8.72 2.71 418136064 false(unreach-call) 7.71 2.11 409534464 false(unreach-call) 9.73 2.20 417701888
Problem03_label45_false-unreach-call.c false(unreach-call) 6.15 6.15 294346752 false(unreach-call) 8.93 4.60 441761792 false(unreach-call) 9.91 2.98 450252800 false(unreach-call) 9.97 2.56 450834432 false(unreach-call) 10.3  2.26 454832128
Problem03_label50_false-unreach-call.c false(unreach-call) 4.74 4.76 265592832 false(unreach-call) 7.25 3.76 363843584 false(unreach-call) 9.07 2.87 414965760 false(unreach-call) 8.04 2.13 408399872 false(unreach-call) 9.30 2.12 415473664
Problem03_label52_false-unreach-call.c false(unreach-call) 5.86 5.87 290721792 false(unreach-call) 9.03 4.68 445034496 false(unreach-call) 9.73 3.05 448176128 false(unreach-call) 9.24 2.37 447119360 false(unreach-call) 10.6  2.29 457773056
Problem04_label04_false-unreach-call.c false(unreach-call) 18.2  18.2  853282816 false(unreach-call) 29.6  15.1  1944715264 false(unreach-call) 32.5  9.17 1855913984 false(unreach-call) 32.9  6.73 1820528640 false(unreach-call) 37.5  6.08 1922351104
Problem04_label06_false-unreach-call.c false(unreach-call) 18.7  18.8  948641792 false(unreach-call) 31.5  16.0  2058035200 false(unreach-call) 34.8  9.75 2121781248 false(unreach-call) 35.7  7.22 2077048832 false(unreach-call) 40.5  6.51 2177998848
Problem04_label09_false-unreach-call.c false(unreach-call) 17.0  17.0  843231232 false(unreach-call) 32.2  16.3  2094702592 false(unreach-call) 32.9  9.28 1842204672 false(unreach-call) 33.3  6.80 1803448320 false(unreach-call) 35.1  5.74 1917321216
Problem04_label11_false-unreach-call_false-termination.c false(unreach-call) 18.2  18.2  921329664 false(unreach-call) 33.1  16.8  2120691712 false(unreach-call) 33.4  9.40 1938305024 false(unreach-call) 34.7  7.05 1945542656 false(unreach-call) 37.6  6.11 1942265856
Problem04_label12_false-unreach-call_false-termination.c false(unreach-call) 20.7  20.7  977551360 false(unreach-call) 33.9  17.2  2169438208 false(unreach-call) 35.8  9.95 2042179584 false(unreach-call) 37.7  7.55 2086428672 false(unreach-call) 39.7  6.37 2309287936
Problem04_label13_false-unreach-call.c false(unreach-call) 16.6  16.6  824406016 false(unreach-call) 29.3  14.9  1840492544 false(unreach-call) 32.1  9.04 1881280512 false(unreach-call) 31.8  6.59 1896796160 false(unreach-call) 37.0  6.11 2212483072
Problem04_label14_false-unreach-call_false-termination.c false(unreach-call) 16.6  16.6  829100032 false(unreach-call) 31.5  16.0  2010505216 false(unreach-call) 32.6  9.24 1919254528 false(unreach-call) 32.7  6.78 1849638912 false(unreach-call) 38.0  6.20 1986482176
Problem04_label15_false-unreach-call.c false(unreach-call) 16.4  16.4  820240384 false(unreach-call) 28.0  14.2  1771941888 false(unreach-call) 31.6  8.86 1676099584 false(unreach-call) 33.3  6.82 1855635456 false(unreach-call) 33.2  5.62 1664221184
Problem04_label17_false-unreach-call_false-termination.c false(unreach-call) 16.5  16.5  829644800 false(unreach-call) 30.9  15.7  1956999168 false(unreach-call) 31.6  9.00 1888796672 false(unreach-call) 32.5  6.77 1825431552 false(unreach-call) 35.8  5.81 1954844672
Problem04_label18_false-unreach-call.c false(unreach-call) 16.4  16.4  829546496 false(unreach-call) 30.8  15.6  1757437952 false(unreach-call) 33.1  9.35 1979670528 false(unreach-call) 34.7  7.18 1907576832 false(unreach-call) 35.7  5.84 1980346368
Problem04_label19_false-unreach-call.c false(unreach-call) 18.1  18.1  906457088 false(unreach-call) 31.6  16.1  2081001472 false(unreach-call) 34.4  9.71 2042073088 false(unreach-call) 36.5  7.39 2062716928 false(unreach-call) 38.8  6.44 2199896064
Problem04_label26_false-unreach-call.c false(unreach-call) 16.6  16.6  846606336 false(unreach-call) 32.2  16.4  2100371456 false(unreach-call) 33.6  9.44 1986719744 false(unreach-call) 34.7  7.09 2171793408 false(unreach-call) 36.0  5.94 1898799104
Problem04_label27_false-unreach-call_false-termination.c false(unreach-call) 17.2  17.2  822571008 false(unreach-call) 30.8  15.6  1945559040 false(unreach-call) 32.2  9.01 1680523264 false(unreach-call) 34.2  7.01 1865150464 false(unreach-call) 34.2  5.64 1803292672
Problem04_label31_false-unreach-call.c false(unreach-call) 18.5  18.5  932278272 false(unreach-call) 31.6  16.0  2026860544 false(unreach-call) 35.3  9.89 2187522048 false(unreach-call) 36.6  7.45 2068946944 false(unreach-call) 37.7  6.12 2403164160
Problem04_label32_false-unreach-call.c false(unreach-call) 16.5  16.5  838434816 false(unreach-call) 32.7  16.6  2037878784 false(unreach-call) 33.0  9.25 1822146560 false(unreach-call) 36.6  7.37 2101579776 false(unreach-call) 35.6  5.87 1976401920
Problem04_label35_false-unreach-call.c false(unreach-call) 16.2  16.2  804327424 false(unreach-call) 28.6  14.6  1755635712 false(unreach-call) 34.6  9.75 2054004736 false(unreach-call) 31.2  6.44 1916575744 false(unreach-call) 35.5  5.83 1839976448
Problem04_label36_false-unreach-call_false-termination.c false(unreach-call) 16.2  16.2  815243264 false(unreach-call) 28.9  14.7  1937186816 false(unreach-call) 32.0  9.12 1932496896 false(unreach-call) 33.6  6.88 1842733056 false(unreach-call) 35.8  6.05 1956274176
Problem04_label38_false-unreach-call.c false(unreach-call) 16.5  16.5  839974912 false(unreach-call) 30.2  15.3  2128711680 false(unreach-call) 33.6  9.40 1898323968 false(unreach-call) 36.2  7.41 1977425920 false(unreach-call) 36.3  5.93 1935142912
Problem04_label39_false-unreach-call.c false(unreach-call) 19.3  19.3  946245632 false(unreach-call) 34.9  17.7  2040172544 false(unreach-call) 33.9  9.57 1854640128 false(unreach-call) 36.1  7.34 1941696512 false(unreach-call) 40.4  6.61 2361806848
Problem04_label40_false-unreach-call_false-termination.c false(unreach-call) 17.2  17.2  873766912 false(unreach-call) 33.0  16.7  2033094656 false(unreach-call) 33.8  9.46 1945862144 false(unreach-call) 35.3  7.16 2065539072 false(unreach-call) 38.0  6.15 2274488320
Problem04_label45_false-unreach-call.c false(unreach-call) 18.5  18.5  924205056 false(unreach-call) 31.3  15.9  1932185600 false(unreach-call) 34.3  9.70 2139430912 false(unreach-call) 33.9  6.92 1885745152 false(unreach-call) 37.4  6.03 2111123456
Problem04_label52_false-unreach-call.c false(unreach-call) 18.6  18.6  929042432 false(unreach-call) 34.3  17.4  2123661312 false(unreach-call) 35.8  10.0  2169974784 false(unreach-call) 36.8  7.40 2204282880 false(unreach-call) 37.9  6.14 2100011008
Problem04_label55_false-unreach-call.c false(unreach-call) 16.1  16.1  807596032 false(unreach-call) 28.3  14.4  1766711296 false(unreach-call) 32.8  9.02 1800179712 false(unreach-call) 33.1  6.97 1763491840 false(unreach-call) 36.2  5.91 1920245760
Problem04_label58_false-unreach-call_false-termination.c false(unreach-call) 18.5  18.5  945590272 false(unreach-call) 32.7  16.6  2249101312 false(unreach-call) 34.2  9.54 2025312256 false(unreach-call) 36.5  7.37 2104348672 false(unreach-call) 40.0  6.38 2067042304
Problem05_label00_false-unreach-call.c false(unreach-call) 29.8  29.8  1557479424 false(unreach-call) 76.5  38.6  4675547136 false(unreach-call) 76.0  20.3  4616253440 false(unreach-call) 72.3  13.7  3932020736 false(unreach-call) 115    16.2  5154709504
Problem05_label01_false-unreach-call.c false(unreach-call) 42.5  42.5  2268831744 false(unreach-call) 89.1  44.9  4888408064 false(unreach-call) 77.3  20.6  4662714368 false(unreach-call) 72.4  13.7  4312412160 false(unreach-call) 84.5  12.3  4460638208
Problem05_label11_false-unreach-call.c false(unreach-call) 41.7  41.8  2225352704 false(unreach-call) 68.9  34.8  4436332544 false(unreach-call) 95.1  25.5  4998397952 false(unreach-call) 101    18.4  4988579840 false(unreach-call) 114    16.4  5064335360
Problem05_label13_false-unreach-call.c false(unreach-call) 35.8  35.9  1912803328 false(unreach-call) 61.8  31.2  3855814656 false(unreach-call) 66.6  18.3  3734167552 false(unreach-call) 74.5  14.1  4291555328 false(unreach-call) 114    16.1  4101775360
Problem05_label15_false-unreach-call.c false(unreach-call) 40.6  40.6  2193907712 false(unreach-call) 86.6  43.6  4735512576 false(unreach-call) 96.0  25.6  4795748352 false(unreach-call) 99.5  18.6  4780822528 false(unreach-call) 117    16.6  4585172992
Problem05_label18_false-unreach-call.c false(unreach-call) 43.4  43.4  2288111616 false(unreach-call) 73.1  36.9  4604153856 false(unreach-call) 78.5  21.2  4602847232 false(unreach-call) 79.8  15.1  4509282304 false(unreach-call) 86.6  12.6  4626677760
Problem05_label24_false-unreach-call.c false(unreach-call) 42.1  42.1  2240057344 false(unreach-call) 90.6  45.7  5212303360 false(unreach-call) 79.0  21.3  4773724160 false(unreach-call) 78.7  14.8  4486696960 false(unreach-call) 79.0  11.6  4153909248
Problem05_label26_false-unreach-call.c false(unreach-call) 41.2  41.2  2243399680 false(unreach-call) 71.3  36.0  4787019776 false(unreach-call) 69.8  19.0  4311281664 false(unreach-call) 109    19.9  5188648960 false(unreach-call) 122    17.2  5132820480
Problem05_label30_false-unreach-call.c false(unreach-call) 43.1  43.1  2282221568 false(unreach-call) 73.4  37.1  4673658880 false(unreach-call) 74.9  20.2  4292284416 false(unreach-call) 102    19.1  4812922880 false(unreach-call) 111    16.0  4790517760
Problem05_label32_false-unreach-call.c false(unreach-call) 34.9  34.9  1861021696 false(unreach-call) 63.6  32.1  3769536512 false(unreach-call) 66.5  18.1  3900358656 false(unreach-call) 67.9  13.0  3950567424 false(unreach-call) 74.8  11.1  4011827200
Problem05_label33_false-unreach-call.c false(unreach-call) 35.4  35.5  1927516160 false(unreach-call) 63.8  32.2  3632631808 false(unreach-call) 72.9  19.9  4331233280 false(unreach-call) 76.7  14.5  4358750208 false(unreach-call) 75.4  11.3  4173656064
Problem05_label36_false-unreach-call.c false(unreach-call) 41.2  41.2  2219110400 false(unreach-call) 88.8  44.8  4999110656 false(unreach-call) 75.8  20.3  4351811584 false(unreach-call) 76.9  14.5  4242866176 false(unreach-call) 81.2  11.9  4189286400
Problem05_label37_false-unreach-call.c false(unreach-call) 43.0  43.0  2292543488 false(unreach-call) 68.9  34.8  4596953088 false(unreach-call) 97.6  26.2  5212291072 false(unreach-call) 104    19.3  4794884096 false(unreach-call) 78.9  11.7  4656762880
Problem05_label38_false-unreach-call.c false(unreach-call) 32.4  32.4  1600741376 false(unreach-call) 60.7  30.7  3681292288 false(unreach-call) 99.4  26.6  5195767808 false(unreach-call) 103    18.9  5073518592 false(unreach-call) 122    17.0  5173989376
Problem05_label39_false-unreach-call.c false(unreach-call) 42.5  42.5  2290307072 false(unreach-call) 64.1  32.4  3978072064 false(unreach-call) 98.1  26.1  5292961792 false(unreach-call) 111    20.3  4784640000 false(unreach-call) 109    15.7  4771942400
Problem05_label40_false-unreach-call.c false(unreach-call) 42.2  42.2  2264006656 false(unreach-call) 71.3  36.0  4600037376 false(unreach-call) 70.8  19.2  4389842944 false(unreach-call) 83.4  16.0  4506632192 false(unreach-call) 85.0  12.4  4699365376
Problem05_label41_false-unreach-call.c false(unreach-call) 41.3  41.3  2259591168 false(unreach-call) 89.0  44.9  4825206784 false(unreach-call) 97.1  25.8  5198512128 false(unreach-call) 78.7  14.7  4472655872 false(unreach-call) 79.6  11.8  4350484480
Problem05_label44_false-unreach-call.c false(unreach-call) 42.2  42.2  2281594880 false(unreach-call) 70.4  35.6  4650074112 false(unreach-call) 94.6  25.3  4663640064 false(unreach-call) 82.3  15.4  4714622976 false(unreach-call) 118    16.6  4883243008
Problem05_label47_false-unreach-call.c false(unreach-call) 42.6  42.6  2339282944 false(unreach-call) 67.4  34.1  4094353408 false(unreach-call) 92.5  24.7  4700659712 false(unreach-call) 78.3  14.8  4235431936 false(unreach-call) 83.7  12.3  4322754560
Problem05_label48_false-unreach-call.c false(unreach-call) 34.1  34.1  1855684608 false(unreach-call) 72.1  36.3  4687589376 false(unreach-call) 65.7  17.9  4120641536 false(unreach-call) 75.3  14.4  4361220096 false(unreach-call) 76.4  11.6  4082425856
Problem05_label51_false-unreach-call.c false(unreach-call) 35.5  35.5  1877217280 false(unreach-call) 64.0  32.3  4019781632 false(unreach-call) 75.4  20.3  4629262336 false(unreach-call) 73.3  13.9  3921678336 false(unreach-call) 76.6  11.4  4186988544
Problem05_label55_false-unreach-call.c false(unreach-call) 33.1  33.1  1799856128 false(unreach-call) 92.8  46.8  5325774848 false(unreach-call) 99.7  26.4  5174235136 false(unreach-call) 70.9  13.5  4019625984 false(unreach-call) 83.7  12.3  4592136192
Problem05_label57_false-unreach-call.c false(unreach-call) 34.2  34.2  1788256256 false(unreach-call) 86.4  43.6  4724637696 false(unreach-call) 105    27.5  5421621248 false(unreach-call) 72.6  13.8  4150804480 false(unreach-call) 108    15.4  4988407808
Problem05_label58_false-unreach-call.c false(unreach-call) 29.7  29.7  1563693056 false(unreach-call) 60.3  30.5  3636682752 false(unreach-call) 77.8  20.8  4591804416 false(unreach-call) 103    19.1  5084459008 false(unreach-call) 70.0  10.6  3767156736
Problem06_label00_false-unreach-call.c false(unreach-call) 20.0  20.0  942682112 false(unreach-call) 62.8  31.7  3406442496 false(unreach-call) 41.6  11.6  2313908224 false(unreach-call) 61.3  11.9  3203850240 false(unreach-call) 64.0  10.0  3216977920
Problem06_label01_false-unreach-call.c false(unreach-call) 35.0  35.0  1779613696 false(unreach-call) 58.7  29.7  3786809344 false(unreach-call) 66.1  17.9  3627814912 false(unreach-call) 55.4  11.0  3011055616 false(unreach-call) 64.0  9.81 2945982464
Problem06_label02_false-unreach-call.c false(unreach-call) 21.7  21.7  967143424 false(unreach-call) 59.7  30.2  3728891904 false(unreach-call) 59.3  16.1  3181105152 false(unreach-call) 71.0  13.6  3241025536 false(unreach-call) 67.0  10.3  3446620160
Problem06_label04_false-unreach-call.c false(unreach-call) 36.0  36.0  1940414464 false(unreach-call) 33.8  17.2  2246844416 false(unreach-call) 61.2  17.0  3227246592 false(unreach-call) 40.6  8.38 2437533696 false(unreach-call) 67.7  10.4  3508805632
Problem06_label05_false-unreach-call.c false(unreach-call) 16.9  17.0  789147648 false(unreach-call) 26.1  13.3  1949855744 false(unreach-call) 35.2  9.84 2383622144 false(unreach-call) 36.9  7.75 2209787904 false(unreach-call) 64.5  9.90 2992132096
Problem06_label09_false-unreach-call.c false(unreach-call) 18.5  18.5  863240192 false(unreach-call) 51.9  26.2  2714742784 false(unreach-call) 59.0  16.2  2958708736 false(unreach-call) 32.6  6.90 1558577152 false(unreach-call) 26.1  4.88 1491214336
Problem06_label10_false-unreach-call.c false(unreach-call) 16.8  16.8  780251136 false(unreach-call) 32.1  16.4  2077863936 false(unreach-call) 24.2  7.12 1831849984 false(unreach-call) 40.8  8.41 2262274048 false(unreach-call) 37.4  6.48 1981624320
Problem06_label11_false-unreach-call.c false(unreach-call) 16.0  16.0  768172032 false(unreach-call) 59.9  30.2  3545481216 false(unreach-call) 33.2  9.37 1684746240 false(unreach-call) 59.3  11.5  2934521856 false(unreach-call) 37.5  6.56 1737519104
Problem06_label12_false-unreach-call.c false(unreach-call) 19.1  19.1  899735552 false(unreach-call) 41.0  20.8  2993537024 false(unreach-call) 35.3  10.1  1817690112 false(unreach-call) 61.6  12.1  2802188288 false(unreach-call) 61.6  9.58 3019104256
Problem06_label15_false-unreach-call.c false(unreach-call) 35.8  35.8  1861677056 false(unreach-call) 58.8  29.7  3507093504 false(unreach-call) 33.3  9.49 1700061184 false(unreach-call) 40.1  8.42 2028617728 false(unreach-call) 67.1  10.3  3476754432
Problem06_label20_false-unreach-call.c false(unreach-call) 18.8  18.8  893894656 false(unreach-call) 50.5  25.5  3153522688 false(unreach-call) 63.8  17.4  3559809024 false(unreach-call) 24.5  5.70 1626595328 false(unreach-call) 56.9  8.94 2750177280
Problem06_label21_false-unreach-call.c false(unreach-call) 19.3  19.3  894230528 false(unreach-call) 38.4  19.5  2819149824 false(unreach-call) 42.8  12.1  2467217408 false(unreach-call) 33.5  7.11 1630666752 false(unreach-call) 40.1  6.73 1944825856
Problem06_label24_false-unreach-call.c false(unreach-call) 25.2  25.2  1311100928 false(unreach-call) 61.7  31.2  3599556608 false(unreach-call) 64.8  17.6  3568156672 false(unreach-call) 44.1  9.32 2430328832 false(unreach-call) 38.6  6.55 1905266688
Problem06_label27_false-unreach-call.c false(unreach-call) 29.2  29.2  1480863744 false(unreach-call) 34.0  17.2  2127978496 false(unreach-call) 59.3  16.3  3117035520 false(unreach-call) 34.2  7.51 1778917376 false(unreach-call) 65.6  10.0  3317723136
Problem06_label29_false-unreach-call.c false(unreach-call) 18.6  18.6  871452672 false(unreach-call) 39.1  19.8  2415394816 false(unreach-call) 38.6  10.9  2160160768 false(unreach-call) 44.9  9.08 2494599168 false(unreach-call) 66.9  10.2  3399753728
Problem06_label33_false-unreach-call.c false(unreach-call) 17.7  17.7  825466880 false(unreach-call) 39.8  20.2  2876227584 false(unreach-call) 30.4  8.72 1426595840 false(unreach-call) 54.2  10.8  2646343680 false(unreach-call) 40.5  6.72 1960210432
Problem06_label36_false-unreach-call.c false(unreach-call) 19.3  19.3  912994304 false(unreach-call) 33.0  16.8  1947279360 false(unreach-call) 27.5  8.08 1684766720 false(unreach-call) 61.6  11.9  3149017088 false(unreach-call) 39.2  6.62 2069925888
Problem06_label37_false-unreach-call.c false(unreach-call) 29.3  29.4  1473748992 false(unreach-call) 29.2  14.8  1653751808 false(unreach-call) 39.6  11.3  2015703040 false(unreach-call) 65.1  12.6  3828781056 false(unreach-call) 68.2  10.6  3387895808
Problem06_label38_false-unreach-call.c false(unreach-call) 27.9  27.9  1464422400 false(unreach-call) 38.2  19.4  2660294656 false(unreach-call) 66.8  18.3  3555975168 false(unreach-call) 58.2  11.5  3049160704 false(unreach-call) 47.3  7.68 2541297664
Problem06_label44_false-unreach-call.c false(unreach-call) 35.4  35.5  1828372480 false(unreach-call) 61.7  31.2  3398762496 false(unreach-call) 64.8  17.6  3392380928 false(unreach-call) 68.7  13.1  3500703744 false(unreach-call) 69.3  10.5  3421151232
Problem06_label47_false-unreach-call.c false(unreach-call) 17.4  17.4  834056192 false(unreach-call) 58.5  29.6  3767431168 false(unreach-call) 36.5  10.3  2102931456 false(unreach-call) 62.6  12.0  3263598592 false(unreach-call) 35.1  6.01 1710505984
Problem06_label48_false-unreach-call.c false(unreach-call) 28.9  28.9  1480007680 false(unreach-call) 37.8  19.2  2723467264 false(unreach-call) 42.8  11.8  2403123200 false(unreach-call) 37.2  7.72 2008346624 false(unreach-call) 64.8  9.99 3119398912
Problem06_label56_false-unreach-call.c false(unreach-call) 18.0  18.0  851714048 false(unreach-call) 39.5  20.0  2620211200 false(unreach-call) 49.7  13.8  2927546368 false(unreach-call) 45.1  9.26 2845310976 false(unreach-call) 41.5  6.79 2187481088
Problem06_label58_false-unreach-call.c false(unreach-call) 35.5  35.5  1959997440 false(unreach-call) 61.7  31.2  4113666048 false(unreach-call) 62.4  17.1  3679092736 false(unreach-call) 66.8  12.8  3705118720 false(unreach-call) 68.7  10.4  3475341312
Problem06_label59_false-unreach-call.c false(unreach-call) 37.1  37.1  1926295552 false(unreach-call) 55.4  28.0  3551977472 false(unreach-call) 61.3  16.8  3246530560 false(unreach-call) 74.0  14.2  3551080448 false(unreach-call) 59.8  9.27 2753392640
../../../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 240 6110 6110 318357905408 240 11200 5660 660373688320 240 11900 3300 650798379008 240 12500 2480 643473629184 240 13600 2130 650975318016
local summary 8710 451 574 556 575
    correct results 240 6110 6110 318357905408 240 11200 5660 660373688320 240 11900 3300 650798379008 240 12500 2480 643473629184 240 13600 2130 650975318016
        correct true 154 4080 4080 213719326720 154 7370 3740 426708500480 154 7800 2170 420554764288 154 8230 1640 415865765888 154 8920 1410 419720663040
        correct false 86 2030 2030 104638578688 86 3800 1920 233665187840 86 4120 1130 230243614720 86 4260 838 227607863296 86 4640 717 231254654976
    incorrect results 0 0 0 0 0
        incorrect true 0 0 0 0 0
        incorrect false 0 0 0 0 0
score (240 tasks, max score: 394) 394 394 394 394 394
Run set bam-parallel-ECA-fl-core1-gc1.VA-parallelBAM-1 bam-parallel-ECA-fl-core2-gc2.VA-parallelBAM-2 bam-parallel-ECA-fl-core4-gc4.VA-parallelBAM-4 bam-parallel-ECA-fl-core6-gc6.VA-parallelBAM-6 bam-parallel-ECA-fl-core8-gc8.VA-parallelBAM-8