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 VA-noCegar-DFS VA-BAM-noCegar VA-BAM-noCegar-BFS VA-parallelBAM-8
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_label00_true-unreach-call.c true 9.16 2.99 383676416 true 8.88 2.90 379232256 true 9.18 2.73 463421440 true 9.78 2.87 459157504 true 10.6  2.29 456343552
Problem03_label01_true-unreach-call.c true 8.64 2.94 465223680 true 8.18 2.84 484712448 true 9.57 2.79 472010752 true 9.21 2.79 377110528 true 10.2  2.23 460562432
Problem03_label02_true-unreach-call.c true 8.41 2.95 465940480 true 9.11 3.10 459124736 true 9.01 2.80 466423808 true 9.02 2.81 465481728 true 10.9  2.30 464379904
Problem03_label03_true-unreach-call.c true 8.87 2.96 469553152 true 8.57 3.01 462229504 true 8.79 2.67 461565952 true 9.92 2.84 460398592 true 10.6  2.31 466006016
Problem03_label04_true-unreach-call.c true 9.03 2.92 378241024 true 8.86 2.95 466989056 true 9.01 2.72 466210816 true 9.70 2.89 385126400 true 10.4  2.29 465883136
Problem03_label05_true-unreach-call.c true 8.35 2.84 386441216 true 8.58 2.90 462696448 true 9.52 2.76 458342400 true 9.32 2.79 458674176 true 10.6  2.27 458641408
Problem03_label06_true-unreach-call.c true 8.35 2.87 461410304 true 9.73 3.20 465448960 true 9.04 2.80 469880832 true 9.37 2.78 462610432 true 10.8  2.30 460783616
Problem03_label07_true-unreach-call.c true 9.22 3.03 471191552 true 9.48 3.25 462680064 true 9.53 2.77 477679616 true 9.42 2.82 462835712 true 10.7  2.34 451407872
Problem03_label08_true-unreach-call.c true 8.50 2.87 468094976 true 9.30 3.15 464994304 true 9.82 2.92 461242368 true 9.56 2.88 471711744 true 10.7  2.30 465391616
Problem03_label10_true-unreach-call.c true 8.51 2.94 490569728 true 8.86 2.87 473518080 true 9.61 2.97 461283328 true 9.39 2.77 461316096 true 10.1  2.23 455254016
Problem03_label11_true-unreach-call.c true 9.01 2.99 465952768 true 8.64 2.84 462802944 true 9.31 2.94 459956224 true 8.75 2.66 458792960 true 10.3  2.31 468799488
Problem03_label12_true-unreach-call.c true 8.45 2.95 463646720 true 9.09 3.10 469618688 true 9.70 2.72 378888192 true 9.27 2.79 461488128 true 11.3  2.50 459649024
Problem03_label14_true-unreach-call.c true 9.14 3.00 459395072 true 9.20 2.93 465068032 true 9.76 2.84 374788096 true 9.37 2.74 386621440 true 10.6  2.32 466124800
Problem03_label15_true-unreach-call.c true 8.58 2.94 463093760 true 8.80 2.91 468811776 true 9.48 2.79 469024768 true 9.83 2.82 475373568 true 10.6  2.34 456949760
Problem03_label16_true-unreach-call.c true 8.42 2.89 461205504 true 8.67 3.07 465395712 true 9.68 2.84 463990784 true 9.60 2.84 460070912 true 10.7  2.36 466919424
Problem03_label17_true-unreach-call.c true 9.20 2.99 468017152 true 8.31 2.85 459059200 true 9.19 2.83 465965056 true 9.03 2.66 469610496 true 10.7  2.53 457678848
Problem03_label18_true-unreach-call.c true 8.79 2.99 468279296 true 8.29 2.88 459177984 true 9.53 2.75 373346304 true 9.00 2.71 463605760 true 11.2  2.46 455909376
Problem03_label19_true-unreach-call.c true 8.87 3.03 463269888 true 8.74 2.90 466063360 true 9.30 2.94 461590528 true 9.06 2.73 464760832 true 10.5  2.31 457752576
Problem03_label20_true-unreach-call.c true 9.58 3.26 465215488 true 8.90 2.87 467918848 true 8.89 2.69 458117120 true 8.99 2.73 458113024 true 10.4  2.26 459280384
Problem03_label21_true-unreach-call.c true 8.58 2.91 472547328 true 8.95 3.20 478580736 true 9.78 2.89 459935744 true 8.99 2.71 469393408 true 10.8  2.31 461996032
Problem03_label22_true-unreach-call.c true 9.46 3.23 466903040 true 8.83 2.92 468656128 true 9.20 2.75 461406208 true 10.5  3.10 381726720 true 10.7  2.32 460980224
Problem03_label23_true-unreach-call.c true 8.41 2.91 466276352 true 8.38 2.98 458948608 true 9.55 2.84 461967360 true 9.42 2.91 464359424 true 10.5  2.29 464240640
Problem03_label24_true-unreach-call.c true 9.04 3.00 474341376 true 9.47 3.00 386977792 true 9.86 2.87 466681856 true 9.39 2.79 461258752 true 10.2  2.26 379338752
Problem03_label25_true-unreach-call.c true 8.55 2.97 466706432 true 9.17 2.99 389615616 true 9.35 2.78 469114880 true 9.81 2.95 462721024 true 10.9  2.34 459857920
Problem03_label29_true-unreach-call.c true 8.79 2.93 491147264 true 8.22 2.87 458858496 true 9.31 2.83 463548416 true 9.77 2.99 370483200 true 10.9  2.35 457564160
Problem03_label30_true-unreach-call.c true 9.08 3.01 499097600 true 8.92 3.11 460587008 true 10.0  2.84 475684864 true 9.69 2.88 463679488 true 10.4  2.25 469946368
Problem03_label32_true-unreach-call.c true 8.20 2.89 460328960 true 8.66 3.00 458588160 true 10.2  2.99 378236928 true 9.28 2.73 465973248 true 10.3  2.29 463437824
Problem03_label33_true-unreach-call.c true 8.89 2.97 489123840 true 8.74 3.06 449695744 true 9.68 2.81 463937536 true 9.86 3.08 462434304 true 10.1  2.23 458448896
Problem03_label34_true-unreach-call.c true 8.47 2.93 473063424 true 8.35 2.90 482873344 true 9.45 2.69 365932544 true 9.30 2.70 461787136 true 10.9  2.37 459808768
Problem03_label36_true-unreach-call.c true 8.57 2.94 469004288 true 8.70 2.88 383643648 true 9.28 2.86 378195968 true 9.59 3.01 458645504 true 10.9  2.36 375963648
Problem03_label38_true-unreach-call.c true 8.29 2.92 465846272 true 8.89 3.13 455761920 true 9.18 2.84 466231296 true 9.46 2.75 469458944 true 10.4  2.24 466620416
Problem03_label40_true-unreach-call.c true 8.83 2.97 487313408 true 8.25 2.88 460054528 true 8.99 2.76 461688832 true 9.60 2.83 471486464 true 10.9  2.43 460980224
Problem03_label41_true-unreach-call.c true 8.81 2.94 474312704 true 8.55 3.03 460554240 true 9.12 2.85 458104832 true 9.93 2.85 460152832 true 10.4  2.25 465027072
Problem03_label42_true-unreach-call.c true 9.06 3.06 473776128 true 8.60 3.05 461352960 true 9.90 2.88 467017728 true 9.41 2.72 469815296 true 10.7  2.33 466444288
Problem03_label44_true-unreach-call.c true 8.36 2.91 466259968 true 8.71 2.89 467668992 true 9.17 2.74 476119040 true 8.74 2.72 464084992 true 11.0  2.47 461799424
Problem03_label46_true-unreach-call.c true 9.03 3.04 471994368 true 8.29 2.86 457641984 true 9.67 2.79 470298624 true 9.28 2.71 463421440 true 11.3  2.40 458809344
Problem03_label47_true-unreach-call.c true 8.47 2.96 470560768 true 8.10 2.88 465362944 true 8.87 2.70 464314368 true 9.11 2.72 468946944 true 11.0  2.38 461959168
Problem03_label48_true-unreach-call.c true 8.67 2.94 471674880 true 8.13 2.81 459620352 true 8.94 2.71 462254080 true 9.85 2.86 473505792 true 10.8  2.34 460918784
Problem03_label49_true-unreach-call.c true 8.87 2.96 488251392 true 8.33 2.82 460455936 true 9.33 2.89 462127104 true 9.57 2.94 370733056 true 10.4  2.32 460546048
Problem03_label51_true-unreach-call.c true 8.95 3.12 460554240 true 8.55 2.99 479965184 true 9.51 2.94 468422656 true 9.85 2.82 460881920 true 10.4  2.26 465301504
Problem03_label53_true-unreach-call.c true 8.84 3.07 458928128 true 8.42 2.84 375136256 true 8.98 2.78 464039936 true 9.07 2.71 467103744 true 10.4  2.23 464211968
Problem03_label54_true-unreach-call.c true 9.05 3.00 488587264 true 8.71 3.08 454549504 true 9.50 2.95 459091968 true 9.23 2.81 468172800 true 10.8  2.33 464142336
Problem03_label55_true-unreach-call.c true 8.91 2.97 470827008 true 9.13 2.94 479399936 true 9.28 2.91 461553664 true 9.31 2.77 467161088 true 10.7  2.47 390873088
Problem03_label56_true-unreach-call.c true 9.00 3.09 466132992 true 8.39 2.84 479019008 true 10.0  2.82 463097856 true 9.74 2.91 455909376 true 11.1  2.38 456773632
Problem03_label57_true-unreach-call.c true 9.36 3.13 461991936 true 8.35 2.91 482865152 true 9.48 2.81 473194496 true 9.47 2.90 462557184 true 10.7  2.35 459878400
Problem03_label58_true-unreach-call.c true 8.57 3.00 460288000 true 8.37 2.83 458502144 true 9.57 2.82 465215488 true 9.91 3.04 463609856 true 10.5  2.30 464969728
Problem03_label59_true-unreach-call.c true 8.38 2.93 472129536 true 8.37 2.93 466411520 true 8.75 2.69 468811776 true 8.97 2.76 471339008 true 10.2  2.29 455737344
Problem04_label00_true-unreach-call.c true 36.6  15.7  2645581824 true 33.9  14.7  2545266688 true 30.8  12.7  2107867136 true 31.0  12.6  1986097152 true 39.7  6.60 2326126592
Problem04_label01_true-unreach-call.c true 33.8  15.5  2491105280 true 42.5  16.1  2681528320 true 30.5  12.8  2116317184 true 31.4  13.2  2236903424 true 39.9  6.83 2262966272
Problem04_label02_true-unreach-call.c true 34.1  15.6  2458464256 true 35.9  15.3  2555334656 true 31.2  12.8  2023018496 true 31.4  12.7  2282409984 true 39.3  6.56 2210426880
Problem04_label03_true-unreach-call.c true 35.9  15.6  2292613120 true 34.1  14.8  2400239616 true 29.4  12.3  2267521024 true 30.9  12.6  2144350208 true 39.8  6.66 2214187008
Problem04_label05_true-unreach-call.c true 35.0  15.8  2364055552 true 34.5  15.2  2466156544 true 32.0  12.5  2301841408 true 29.9  12.2  2063794176 true 40.3  6.66 2360160256
Problem04_label07_true-unreach-call.c true 35.6  15.8  2467815424 true 33.5  14.8  2451939328 true 32.0  13.6  2147942400 true 32.2  12.9  2293370880 true 39.8  6.61 2112905216
Problem04_label08_true-unreach-call.c true 34.8  15.6  2412855296 true 43.0  16.1  2650861568 true 31.5  12.6  2161180672 true 30.5  12.6  2190159872 true 40.8  6.92 2154373120
Problem04_label10_true-unreach-call.c true 35.6  15.6  2478419968 true 34.7  14.6  2290225152 true 30.2  12.6  2316279808 true 31.2  12.5  2321416192 true 40.5  6.83 2345545728
Problem04_label16_true-unreach-call.c true 35.6  15.6  2346717184 true 33.0  14.6  2373586944 true 31.6  13.0  2128703488 true 31.2  12.5  2166890496 true 40.4  6.74 2400788480
Problem04_label20_true-unreach-call_false-termination.c true 35.4  15.7  2443116544 true 36.1  15.4  2526420992 true 31.4  12.5  2315735040 true 31.5  12.9  2142076928 true 38.5  6.50 2162049024
Problem04_label21_true-unreach-call.c true 36.4  15.9  2406699008 true 32.8  14.6  2622177280 true 31.6  12.6  2242297856 true 31.2  12.6  2241740800 true 41.5  6.89 2410414080
Problem04_label22_true-unreach-call.c true 34.5  15.5  2388348928 true 43.3  16.1  2751336448 true 31.4  12.5  2288545792 true 31.2  12.8  2274918400 true 41.6  6.93 2273828864
Problem04_label23_true-unreach-call_false-termination.c true 36.7  16.0  2722443264 true 35.2  15.3  2488643584 true 31.4  12.9  2256035840 true 32.0  12.8  2335576064 true 40.5  6.75 2366201856
Problem04_label24_true-unreach-call_false-termination.c true 33.9  15.6  2570903552 true 34.1  14.8  2393985024 true 31.6  12.6  2173784064 true 31.7  12.7  2251763712 true 41.0  6.82 2363588608
Problem04_label25_true-unreach-call.c true 42.2  16.6  2545565696 true 34.0  15.0  2530201600 true 31.5  12.7  2281639936 true 31.0  12.5  2240536576 true 38.7  6.49 2165092352
Problem04_label28_true-unreach-call.c true 34.0  15.6  2527141888 true 35.4  15.3  2530697216 true 30.9  12.8  2142801920 true 30.1  12.4  2225655808 true 40.5  6.70 2173247488
Problem04_label29_true-unreach-call_false-termination.c true 33.4  15.2  2420076544 true 34.8  15.0  2420252672 true 32.3  12.8  2185949184 true 30.2  12.8  2293727232 true 40.2  6.72 2249355264
Problem04_label30_true-unreach-call.c true 36.1  15.9  2283532288 true 34.7  14.8  2505895936 true 31.1  13.0  2335784960 true 30.9  12.5  2182098944 true 40.3  6.67 2393726976
Problem04_label33_true-unreach-call.c true 42.3  16.6  2851573760 true 34.2  14.7  2424545280 true 32.2  13.0  2267987968 true 31.2  12.9  2257584128 true 40.1  6.69 2397904896
Problem04_label34_true-unreach-call.c true 35.9  16.1  2443517952 true 32.2  14.8  2543706112 true 32.8  13.2  2081595392 true 32.2  12.8  2194161664 true 40.8  6.73 2214608896
Problem04_label37_true-unreach-call_false-termination.c true 37.9  16.0  2551218176 true 34.9  14.8  2584788992 true 33.0  13.0  2174283776 true 30.6  12.8  2190835712 true 39.0  6.62 2254041088
Problem04_label41_true-unreach-call.c true 35.7  15.7  2453172224 true 33.3  14.9  2669031424 true 30.0  12.4  2247303168 true 32.3  13.0  2179448832 true 39.2  6.57 2224680960
Problem04_label42_true-unreach-call_false-termination.c true 33.6  15.4  2581458944 true 34.0  15.2  2408243200 true 31.1  12.5  2161881088 true 30.8  12.6  2265509888 true 40.2  6.74 2131615744
Problem04_label43_true-unreach-call_false-termination.c true 33.4  15.4  2493747200 true 42.4  16.2  2783932416 true 30.3  12.5  2197704704 true 30.4  12.9  2205286400 true 41.3  7.19 2401583104
Problem04_label44_true-unreach-call_false-termination.c true 35.9  15.7  2521825280 true 33.3  14.9  2587189248 true 32.1  12.9  2090229760 true 31.8  12.9  2272256000 true 40.0  6.65 2168766464
Problem04_label46_true-unreach-call_false-termination.c true 35.7  15.7  2526494720 true 35.8  15.3  2661564416 true 31.3  12.7  2174267392 true 31.5  12.7  2077995008 true 40.8  6.73 2211622912
Problem04_label47_true-unreach-call.c true 34.3  15.4  2394984448 true 32.5  14.9  2550272000 true 30.4  12.3  2197688320 true 30.9  12.7  2082623488 true 40.9  6.73 2128617472
Problem04_label48_true-unreach-call.c true 33.5  15.5  2513002496 true 33.0  15.1  2544623616 true 31.3  12.8  2127503360 true 31.8  12.9  2222608384 true 41.1  6.80 2292936704
Problem04_label49_true-unreach-call_false-termination.c true 34.3  15.8  2471985152 true 33.8  14.9  2451881984 true 31.7  12.5  2042847232 true 29.7  12.4  2154713088 true 40.2  6.62 2218213376
Problem04_label50_true-unreach-call.c true 36.0  15.7  2497089536 true 35.5  15.4  2416619520 true 31.4  12.8  2206736384 true 31.5  12.7  2275934208 true 40.3  6.78 2243964928
Problem04_label51_true-unreach-call.c true 37.0  15.8  2530185216 true 32.3  14.8  2563141632 true 30.5  12.7  2369474560 true 30.8  12.7  2246971392 true 39.2  6.64 2212483072
Problem04_label53_true-unreach-call.c true 35.6  15.8  2511093760 true 33.0  14.6  2502942720 true 31.4  12.8  2174521344 true 31.5  12.9  2058907648 true 40.6  6.82 2140930048
Problem04_label54_true-unreach-call.c true 34.4  15.7  2657435648 true 34.3  14.9  2439237632 true 31.8  12.7  2187632640 true 30.5  12.6  2127278080 true 40.0  6.71 2296610816
Problem04_label56_true-unreach-call.c true 32.8  15.3  2489962496 true 34.4  15.1  2482892800 true 30.9  12.8  2169106432 true 31.6  12.7  2070818816 true 40.2  6.81 2336575488
Problem04_label57_true-unreach-call_false-termination.c true 35.8  16.0  2347921408 true 33.8  14.6  2509983744 true 29.8  12.4  2156761088 true 30.2  12.7  2205642752 true 42.8  7.01 2410106880
Problem04_label59_true-unreach-call.c true 34.4  15.2  2441633792 true 32.6  14.8  2507608064 true 31.5  12.9  1989406720 true 31.1  12.6  2160418816 true 40.9  6.78 2378444800
Problem05_label02_true-unreach-call.c true 109    43.3  5954752512 true 90.2  38.1  5837766656 true 102    33.5  5345611776 true 102    33.4  5065969664 true 121    17.9  5001818112
Problem05_label03_true-unreach-call.c true 124    45.2  5926584320 true 85.0  37.1  5692624896 true 111    34.3  5215326208 true 70.2  29.5  4785250304 true 119    17.7  5263110144
Problem05_label04_true-unreach-call.c true 92.7  40.5  5340893184 true 90.5  37.7  5792133120 true 109    34.2  5178785792 true 96.2  32.5  4932026368 true 124    18.3  5337833472
Problem05_label05_true-unreach-call.c true 102    41.8  5598486528 true 96.1  39.9  5893500928 true 73.4  29.3  4263849984 true 73.5  29.6  4868653056 true 130    19.0  5282885632
Problem05_label06_true-unreach-call.c true 121    44.8  5777469440 true 98.4  39.8  5284098048 true 73.3  29.5  5258272768 true 97.2  32.2  4765143040 true 119    17.7  5143932928
Problem05_label07_true-unreach-call.c true 107    42.6  5751603200 true 100    40.0  5532975104 true 116    34.3  5099405312 true 74.9  30.3  4673609728 true 122    18.4  5231263744
Problem05_label08_true-unreach-call.c true 90.7  40.3  5954719744 true 101    39.5  5623410688 true 99.1  32.8  5236277248 true 74.4  29.8  4362588160 true 115    17.1  4927913984
Problem05_label09_true-unreach-call.c true 119    44.6  5284442112 true 122    42.7  6146723840 true 98.6  33.3  5203345408 true 110    34.7  4813737984 true 124    18.2  5103489024
Problem05_label10_true-unreach-call.c true 121    45.2  5371052032 true 111    41.2  6162530304 true 110    34.0  5307494400 true 73.5  29.6  4719267840 true 85.9  13.6  4794499072
Problem05_label12_true-unreach-call.c true 107    42.6  5975277568 true 87.2  37.6  5832916992 true 72.5  29.4  4969668608 true 106    33.5  4590616576 true 123    18.1  5189242880
Problem05_label14_true-unreach-call.c true 98.0  41.2  5399179264 true 89.6  38.7  5870276608 true 68.2  28.9  4501536768 true 105    33.9  5144530944 true 119    17.7  5244178432
Problem05_label16_true-unreach-call.c true 98.3  41.6  5628731392 true 86.1  38.0  5713584128 true 98.1  32.9  5606526976 true 115    35.2  4961501184 true 124    18.4  5212925952
Problem05_label17_true-unreach-call.c true 106    43.6  5689057280 true 122    42.6  5914402816 true 70.6  29.5  4902793216 true 73.5  30.6  4959240192 true 119    17.5  5580079104
Problem05_label19_true-unreach-call.c true 92.2  40.9  5325660160 true 97.3  39.6  5752451072 true 68.8  29.1  4745986048 true 70.9  29.0  4947660800 true 123    18.1  5173624832
Problem05_label20_true-unreach-call.c true 93.1  41.0  5399011328 true 89.6  37.4  5765971968 true 110    34.2  5313646592 true 80.0  30.5  4836274176 true 112    16.5  4918321152
Problem05_label21_true-unreach-call.c true 99.3  41.8  5843173376 true 87.6  38.0  5634957312 true 100    33.2  5599219712 true 98.2  32.9  5023551488 true 120    17.7  5019475968
Problem05_label22_true-unreach-call.c true 113    44.2  5967319040 true 92.2  38.1  5461430272 true 69.6  28.8  4615618560 true 105    33.6  5209427968 true 126    18.5  5028954112
Problem05_label23_true-unreach-call.c true 114    44.4  6142763008 true 113    41.6  5960458240 true 104    33.6  5000257536 true 110    33.8  5179326464 true 122    18.0  5233381376
Problem05_label25_true-unreach-call.c true 91.5  40.7  5482860544 true 89.1  37.5  5546180608 true 98.7  33.1  4995686400 true 69.8  28.8  4835172352 true 120    18.0  5135122432
Problem05_label27_true-unreach-call.c true 102    42.3  5108961280 true 86.4  37.4  5662445568 true 74.8  30.4  4563677184 true 74.1  29.8  5054406656 true 123    18.1  5132181504
Problem05_label28_true-unreach-call.c true 118    44.9  5736939520 true 121    42.2  6029692928 true 105    34.0  5186207744 true 69.0  29.0  4702343168 true 121    17.8  5362290688
Problem05_label29_true-unreach-call.c true 90.5  41.5  5772632064 true 86.3  37.6  5305712640 true 76.1  29.8  4531073024 true 77.3  30.2  4603023360 true 117    17.4  5187649536
Problem05_label31_true-unreach-call.c true 138    47.0  5592924160 true 99.5  40.2  5859569664 true 70.7  29.2  5138608128 true 67.9  28.8  4686757888 true 126    18.6  5235273728
Problem05_label34_true-unreach-call.c true 87.1  39.8  5711519744 true 92.3  38.5  5432934400 true 113    34.7  5254127616 true 72.6  29.8  4241784832 true 120    18.1  5095354368
Problem05_label35_true-unreach-call.c true 128    46.2  5682884608 true 120    43.3  5894090752 true 73.5  30.4  4587810816 true 74.2  29.5  4893900800 true 87.6  13.7  5045796864
Problem05_label42_true-unreach-call.c true 93.8  41.6  5193551872 true 89.0  38.5  5729415168 true 68.0  28.6  4929859584 true 103    33.4  5104017408 true 132    19.2  5081829376
Problem05_label43_true-unreach-call.c true 96.5  41.4  5529583616 true 112    40.4  5701021696 true 99.6  33.1  4835553280 true 72.2  29.1  4890681344 true 128    19.0  5277065216
Problem05_label45_true-unreach-call.c true 109    43.1  5823295488 true 84.9  37.5  5728567296 true 108    34.1  5194076160 true 107    33.6  5355757568 true 124    18.2  5154836480
Problem05_label46_true-unreach-call.c true 115    43.5  6252171264 true 98.5  39.2  5560709120 true 70.0  29.1  4454887424 true 103    33.7  5117599744 true 136    19.8  5294190592
Problem05_label49_true-unreach-call.c true 94.2  40.7  5513306112 true 88.1  38.0  5565849600 true 75.4  29.9  4403720192 true 99.2  33.6  5189992448 true 131    19.1  4840640512
Problem05_label50_true-unreach-call.c true 103    42.5  5515755520 true 121    42.4  5826985984 true 108    34.9  5177024512 true 70.9  29.4  4964392960 true 126    19.0  5339942912
Problem05_label52_true-unreach-call.c true 95.7  41.8  5729406976 true 111    40.5  5737803776 true 113    35.0  5247676416 true 70.6  29.1  5173854208 true 128    19.0  5142319104
Problem05_label53_true-unreach-call.c true 92.5  41.0  5880692736 true 86.3  37.7  5897592832 true 100    32.8  5282746368 true 97.9  32.5  4804984832 true 83.5  13.1  4667191296
Problem05_label54_true-unreach-call.c true 107    43.0  5815353344 true 104    39.9  5815975936 true 102    33.7  5660893184 true 69.8  29.0  4843679744 true 122    18.1  5034430464
Problem05_label56_true-unreach-call.c true 94.0  40.7  5838397440 true 122    42.5  5970509824 true 75.0  29.5  4409344000 true 70.5  29.1  4808568832 true 124    18.2  5116706816
Problem05_label59_true-unreach-call.c true 112    43.3  6114971648 true 90.1  37.6  5256744960 true 113    35.0  5232955392 true 73.3  29.8  5051797504 true 117    17.8  4967432192
Problem06_label03_true-unreach-call.c true 84.6  37.0  4461588480 true 77.7  34.0  4803842048 true 70.5  26.2  3625132032 true 64.7  25.5  3544576000 true 72.2  11.5  3766484992
Problem06_label06_true-unreach-call.c true 81.2  35.8  4538142720 true 79.7  34.2  4447555584 true 65.2  26.4  3401089024 true 61.4  24.7  3220107264 true 71.0  11.3  3607355392
Problem06_label07_true-unreach-call.c true 79.6  35.4  4772859904 true 79.6  33.9  4606803968 true 64.9  26.0  3263356928 true 60.0  24.2  3181654016 true 70.9  11.4  3721420800
Problem06_label08_true-unreach-call.c true 83.9  36.4  4326039552 true 89.8  35.8  4627476480 true 65.6  26.1  3391602688 true 63.5  25.0  3417419776 true 72.3  11.5  3716726784
Problem06_label13_true-unreach-call.c true 76.7  35.3  4381605888 true 80.1  34.2  4443967488 true 65.7  26.4  3259498496 true 63.4  25.1  3380965376 true 72.3  11.5  3742601216
Problem06_label14_true-unreach-call.c true 86.0  37.1  4577632256 true 78.6  34.3  4686659584 true 63.4  25.1  3294769152 true 67.9  25.9  3612839936 true 72.4  11.4  3821998080
Problem06_label16_true-unreach-call.c true 79.6  35.7  4528594944 true 82.8  34.5  4729602048 true 62.5  25.1  3493154816 true 61.8  24.4  3269996544 true 74.3  11.9  3846852608
Problem06_label17_true-unreach-call.c true 79.3  35.2  4577492992 true 77.2  33.7  4709457920 true 71.2  26.5  3490091008 true 65.2  25.2  3477311488 true 75.5  12.4  3835523072
Problem06_label18_true-unreach-call.c true 76.9  35.3  4412657664 true 80.1  34.5  4646137856 true 62.8  25.3  3417374720 true 65.0  25.2  3504635904 true 71.5  11.5  3570860032
Problem06_label19_true-unreach-call.c true 79.4  35.7  4698771456 true 78.4  33.8  4659040256 true 65.8  26.1  3436236800 true 63.3  24.9  3434745856 true 71.9  11.5  3658272768
Problem06_label22_true-unreach-call.c true 80.3  35.7  4346683392 true 78.7  34.4  4588728320 true 62.0  25.2  3513356288 true 61.9  25.2  3550908416 true 71.4  11.3  3744694272
Problem06_label23_true-unreach-call.c true 82.2  36.3  4177784832 true 79.9  34.1  4596346880 true 64.4  25.7  3410534400 true 67.2  25.4  3655647232 true 72.4  11.5  3686674432
Problem06_label25_true-unreach-call.c true 82.1  36.4  4315004928 true 83.8  34.5  4362891264 true 64.4  25.4  3508563968 true 62.4  25.1  3254890496 true 72.8  11.6  3804446720
Problem06_label26_true-unreach-call.c true 82.8  36.5  4639342592 true 81.6  34.8  4351033344 true 73.0  27.4  3706777600 true 64.8  25.1  3533021184 true 75.8  11.9  3542839296
Problem06_label28_true-unreach-call.c true 81.8  35.9  4700221440 true 75.0  33.7  4480204800 true 75.4  27.7  3902435328 true 64.8  25.6  3572695040 true 70.5  11.3  3634810880
Problem06_label30_true-unreach-call.c true 83.0  36.7  4416262144 true 79.0  34.3  4594532352 true 66.3  25.9  3538055168 true 57.0  24.0  3295088640 true 72.6  11.6  3695591424
Problem06_label31_true-unreach-call.c true 87.0  37.0  4713840640 true 77.8  33.7  4883005440 true 64.0  25.8  3315781632 true 60.6  25.0  3717443584 true 72.1  11.5  3721486336
Problem06_label32_true-unreach-call.c true 80.9  35.9  4234559488 true 79.1  33.9  4770897920 true 57.8  25.2  3530055680 true 60.5  24.5  3179143168 true 87.9  13.6  3895410688
Problem06_label34_true-unreach-call.c true 84.2  36.4  4708036608 true 83.3  34.3  4484329472 true 62.3  25.3  3391324160 true 64.7  24.7  3514089472 true 71.8  11.4  3566383104
Problem06_label35_true-unreach-call.c true 81.7  35.8  4426502144 true 79.4  34.0  4630360064 true 63.5  25.3  3552505856 true 77.5  26.5  3582230528 true 70.4  11.2  3567300608
Problem06_label39_true-unreach-call.c true 83.1  36.1  4312330240 true 77.2  34.3  4567183360 true 50.7  23.6  3112841216 true 49.9  23.3  3181522944 true 71.5  11.5  3417149440
Problem06_label40_true-unreach-call.c true 83.0  36.3  4461977600 true 77.8  33.5  4437565440 true 66.9  26.0  3585388544 true 63.9  25.1  3554582528 true 70.5  11.4  3639861248
Problem06_label41_true-unreach-call.c true 82.8  36.5  4325441536 true 82.2  34.3  4575059968 true 65.4  25.7  3526291456 true 61.3  24.7  3129729024 true 72.4  11.4  3442241536
Problem06_label42_true-unreach-call.c true 85.0  36.5  4396576768 true 82.3  34.2  4629123072 true 62.0  25.2  3543564288 true 65.8  25.3  3682308096 true 70.4  11.2  3622162432
Problem06_label43_true-unreach-call.c true 81.1  36.5  4889444352 true 83.9  35.2  4553183232 true 65.6  26.4  3423764480 true 62.9  25.0  3284119552 true 72.1  11.6  3536678912
Problem06_label45_true-unreach-call.c true 81.2  36.5  4901236736 true 78.9  33.8  4635205632 true 63.0  25.7  3310080000 true 68.1  25.3  3761844224 true 72.8  11.9  3556757504
Problem06_label46_true-unreach-call.c true 81.9  35.8  4393246720 true 80.3  34.9  4293713920 true 64.6  25.5  3435307008 true 63.9  25.5  3414749184 true 70.0  11.2  3615735808
Problem06_label49_true-unreach-call.c true 79.4  36.0  4934914048 true 79.0  34.0  4923924480 true 64.8  25.5  3506692096 true 61.6  24.9  3791192064 true 71.0  11.4  3443027968
Problem06_label50_true-unreach-call.c true 80.2  36.5  4739993600 true 84.3  34.6  4473262080 true 62.4  25.5  3144421376 true 61.3  24.6  3383242752 true 71.4  11.4  3466612736
Problem06_label51_true-unreach-call.c true 94.5  38.0  4554006528 true 80.4  34.0  4343152640 true 58.4  24.7  3398778880 true 56.3  24.4  3667537920 true 72.9  11.5  3701174272
Problem06_label52_true-unreach-call.c true 80.8  35.7  4272185344 true 82.1  34.1  4681797632 true 67.8  26.6  3564904448 true 63.9  25.6  3437719552 true 71.5  11.4  3666972672
Problem06_label53_true-unreach-call.c true 78.4  35.8  4627771392 true 83.6  34.5  4493631488 true 63.2  25.5  3435995136 true 59.8  24.5  3558563840 true 72.7  11.6  3444838400
Problem06_label54_true-unreach-call.c true 77.6  36.0  4468203520 true 81.2  34.5  4532604928 true 64.9  25.7  3442794496 true 63.9  25.4  3433525248 true 70.2  11.3  3548397568
Problem06_label55_true-unreach-call.c true 84.3  36.4  4686786560 true 83.7  35.3  4487069696 true 64.2  25.9  3327086592 true 54.4  23.6  3522392064 true 71.7  11.4  3775373312
Problem06_label57_true-unreach-call.c true 84.1  36.2  4625666048 true 79.8  34.6  4740620288 true 66.8  25.6  3697516544 true 63.8  25.3  3305402368 true 71.9  11.5  3660066816
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 240 13600 5720 766623023104 240 12300 4950 717301256192 240 10100 3790 592304046080 240 10200 3910 615466430464 240 13400 2100 644075896832
local summary 2070 2070 2070 2070 2070
    correct results 240 13600 5720 766623023104 240 12300 4950 717301256192 240 10100 3790 592304046080 240 10200 3910 615466430464 240 13400 2100 644075896832
        correct true 154 8330 3510 474568933376 154 8050 3300 479147831296 154 7130 2640 401476804608 154 6840 2590 397605076992 154 8800 1400 415540953088
        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 (240 tasks, max score: 394) 394 394 394 394 394
Run set VA-noCegar VA-noCegar-DFS VA-BAM-noCegar VA-BAM-noCegar-BFS VA-parallelBAM-8